0xf5a52e74 relies on unsafe/foreign

0xf5a52e743a7f75c5d624c27c9e0ec81f

no description

Anonymous package: import it by hash.

Earlier versions (1)

0x653e10f8 2026-09-21

Published: 2026-09-21
Size: 146,665 bytes, 17 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 5 laws (5 proved), 135 defs, 41 types

Import

import 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/LAWS.bend as LAWS
import 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/PROOF.bend as PROOF
import 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.bend as MApp
import 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/http.bend as Http
import 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/io.bend as Io
import 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.bend as Json
import 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/router.bend as Router
import 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/schema.bend as Schema
import 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.bend as Server
import 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/store.bend as Store
import 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/url.bend as Url
import 0xf5a52e743a7f75c5d624c27c9e0ec81f/stiff.bend as Stiff

Modules

src/LAWS.bend 5 declarations, 5 laws
src/PROOF.bend 0 declarations
src/app.bend 33 declarations
src/http.bend 17 declarations
src/io.bend 18 declarations
src/json.bend 26 declarations
src/router.bend 25 declarations
src/schema.bend 38 declarations
src/server.bend 68 declarations
src/store.bend 28 declarations
src/url.bend 7 declarations
stiff.bend 1 declarations — MIT License

Other files

src/effects/json.c 12,401 bytes
src/effects/server.c 49,603 bytes
src/effects/stiff.c 16,407 bytes
src/effects/store.c 25,030 bytes
src/effects/url.c 5,098 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

File	Status	Checker says	Time
src/LAWS.bend	open laws/TODOs	5 TODOs found. Checked alone, a law without a def is a TODO; all of them are proved in files that check, so the package counts this file as checks. output SOME PROOFS FAIL Error: 5 TODOs found. The code is incomplete, and not a valid proof yet.	0.7 s
src/PROOF.bend	checks	ALL PROOFS CHECK	0.9 s
src/app.bend	relies on unsafe/foreign	37 defs rely on unsafe or foreign code defs: `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.parse`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify_with_limit`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.json_value`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_with_limits`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming_with_limits`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next_stream`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.body_next`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.reply`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start_raw`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.stream_start_mode`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_write`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_end`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.active`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.finish`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stop`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.finish_reply`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_live`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.discard_request`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_active`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve_next`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.metrics`, `error`, `selected`, `route`, `guard`, `parsed`, `json_body`, `validation_error`, `observed`, `observe` output SOME PROOFS FAIL Error: 37 defs rely on unsafe or foreign code: - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.parse - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify_with_limit - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.json_value - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_with_limits - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming_with_limits - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next_stream - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.body_next - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.reply - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start_raw - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.stream_start_mode - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_write - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_end - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.active - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.finish - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stop - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.finish_reply - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_live - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.discard_request - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_active - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve_next - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.metrics - error - selected - route - guard - parsed - json_body - validation_error - observed - observe	0.8 s
src/http.bend	checks	ALL PROOFS CHECK	0.8 s
src/io.bend	relies on unsafe/foreign	6 defs rely on unsafe or foreign code defs: `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.parse`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify_with_limit`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify`, `Stiff.send`, `decode_response`, `Stiff.send_json` output SOME PROOFS FAIL Error: 6 defs rely on unsafe or foreign code: - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.parse - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify_with_limit - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify - Stiff.send - decode_response - Stiff.send_json	1.0 s
src/json.bend	relies on unsafe/foreign	3 defs rely on unsafe or foreign code defs: `Json.parse`, `Json.stringify_with_limit`, `Json.stringify` output SOME PROOFS FAIL Error: 3 defs rely on unsafe or foreign code: - Json.parse - Json.stringify_with_limit - Json.stringify	0.7 s
src/router.bend	relies on unsafe/foreign	39 defs rely on unsafe or foreign code defs: `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.parse`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify_with_limit`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.json_value`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_with_limits`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming_with_limits`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next_stream`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.body_next`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.reply`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start_raw`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.stream_start_mode`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_write`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_end`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.active`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.finish`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stop`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.finish_reply`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_live`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.discard_request`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_active`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve_next`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.metrics`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.error`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.selected`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.route`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.guard`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.parsed`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.json_body`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.validation_error`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.observed`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.observe`, `selected`, `route` output SOME PROOFS FAIL Error: 39 defs rely on unsafe or foreign code: - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.parse - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify_with_limit - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.json_value - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_with_limits - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming_with_limits - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next_stream - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.body_next - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.reply - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start_raw - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.stream_start_mode - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_write - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_end - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.active - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.finish - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stop - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.finish_reply - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_live - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.discard_request - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_active - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve_next - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.metrics - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.error - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.selected - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.route - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.guard - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.parsed - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.json_body - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.validation_error - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.observed - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.observe - selected - route	0.8 s
src/schema.bend	relies on unsafe/foreign	33 defs rely on unsafe or foreign code defs: `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.parse`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify_with_limit`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.json_value`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_with_limits`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming_with_limits`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next_stream`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.body_next`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.reply`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start_raw`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.stream_start_mode`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_write`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_end`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.active`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.finish`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stop`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.finish_reply`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_live`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.discard_request`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_active`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve_next`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.metrics`, `run`, `validate`, `error`, `accepted`, `apply` output SOME PROOFS FAIL Error: 33 defs rely on unsafe or foreign code: - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.parse - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify_with_limit - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.json_value - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_with_limits - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming_with_limits - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next_stream - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.body_next - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.reply - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start_raw - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.stream_start_mode - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_write - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_end - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.active - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.finish - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stop - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.finish_reply - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_live - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.discard_request - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_active - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve_next - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.metrics - run - validate - error - accepted - apply	1.0 s
src/server.bend	relies on unsafe/foreign	28 defs rely on unsafe or foreign code defs: `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.parse`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify_with_limit`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify`, `json_value`, `Server.listen`, `Server.listen_with_limits`, `Server.listen_streaming`, `Server.listen_streaming_with_limits`, `Server.next`, `Server.next_stream`, `Server.body_next`, `Server.reply`, `Server.stream_start_raw`, `stream_start_mode`, `Server.stream_start`, `Server.stream_write`, `Server.stream_end`, `Server.active`, `Server.finish`, `Server.stop`, `finish_reply`, `dispatch_live`, `discard_request`, `dispatch_active`, `dispatch`, `serve_next`, `serve`, `Server.metrics` output SOME PROOFS FAIL Error: 28 defs rely on unsafe or foreign code: - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.parse - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify_with_limit - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify - json_value - Server.listen - Server.listen_with_limits - Server.listen_streaming - Server.listen_streaming_with_limits - Server.next - Server.next_stream - Server.body_next - Server.reply - Server.stream_start_raw - stream_start_mode - Server.stream_start - Server.stream_write - Server.stream_end - Server.active - Server.finish - Server.stop - finish_reply - dispatch_live - discard_request - dispatch_active - dispatch - serve_next - serve - Server.metrics	0.7 s
src/store.bend	relies on unsafe/foreign	4 defs rely on unsafe or foreign code defs: `Store.open`, `Store.read`, `Store.compare_write`, `Store.operation` output SOME PROOFS FAIL Error: 4 defs rely on unsafe or foreign code: - Store.open - Store.read - Store.compare_write - Store.operation	0.8 s
src/url.bend	relies on unsafe/foreign	2 defs rely on unsafe or foreign code defs: `Url.encode_component`, `Url.with_query` output SOME PROOFS FAIL Error: 2 defs rely on unsafe or foreign code: - Url.encode_component - Url.with_query	0.8 s
stiff.bend	relies on unsafe/foreign	53 defs rely on unsafe or foreign code defs: `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.parse`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify_with_limit`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/io.Stiff.send`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/io.decode_response`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/io.Stiff.send_json`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/url.Url.encode_component`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/url.Url.with_query`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.json_value`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_with_limits`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming_with_limits`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next_stream`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.body_next`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.reply`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start_raw`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.stream_start_mode`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_write`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_end`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.active`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.finish`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stop`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.finish_reply`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_live`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.discard_request`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_active`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve_next`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.metrics`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.error`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.selected`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.route`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.guard`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.parsed`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.json_body`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.validation_error`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.observed`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.observe`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/router.selected`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/router.route`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/schema.run`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/schema.validate`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/schema.error`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/schema.accepted`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/schema.apply`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/store.Store.open`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/store.Store.read`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/store.Store.compare_write`, `0xf5a52e743a7f75c5d624c27c9e0ec81f/src/store.Store.operation` output SOME PROOFS FAIL Error: 53 defs rely on unsafe or foreign code: - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.parse - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify_with_limit - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/json.Json.stringify - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/io.Stiff.send - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/io.decode_response - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/io.Stiff.send_json - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/url.Url.encode_component - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/url.Url.with_query - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.json_value - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_with_limits - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.listen_streaming_with_limits - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.next_stream - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.body_next - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.reply - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start_raw - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.stream_start_mode - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_start - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_write - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stream_end - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.active - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.finish - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.stop - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.finish_reply - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_live - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.discard_request - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch_active - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.dispatch - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve_next - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.serve - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/server.Server.metrics - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.error - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.selected - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.route - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.guard - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.parsed - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.json_body - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.validation_error - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.observed - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/app.observe - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/router.selected - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/router.route - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/schema.run - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/schema.validate - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/schema.error - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/schema.accepted - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/schema.apply - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/store.Store.open - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/store.Store.read - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/store.Store.compare_write - 0xf5a52e743a7f75c5d624c27c9e0ec81f/src/store.Store.operation	1.1 s