0x4ee0ec16 relies on unsafe/foreign

0x4ee0ec16258e9b8ad6ef37e5b8c4f95e

no description

Anonymous package: import it by hash.

Other versions (1)

0x958db28b 2026-10-06 latest

Published: 2026-10-05
Size: 163,662 bytes, 20 files
License: MIT (LICENSE)
Declarations: 13 laws (13 proved), 159 defs, 47 types

Import

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

Modules

src/CONTRACTS_PROOF.bend 8 declarations, 8 laws
src/LAWS.bend 5 declarations, 5 laws
src/PROOF.bend 0 declarations
src/app.bend 33 declarations
src/contracts.bend 40 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

LICENSE 1,061 bytes
src/effects/json.c 14,197 bytes
src/effects/server.c 50,797 bytes
src/effects/stiff.c 17,155 bytes
src/effects/store.c 27,149 bytes
src/effects/url.c 5,800 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/CONTRACTS_PROOF.bend	checks	ALL PROOFS CHECK	0.9 s
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.8 s
src/app.bend	relies on unsafe/foreign	37 defs rely on unsafe or foreign code defs: `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.parse`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify_with_limit`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.json_value`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_with_limits`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming_with_limits`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next_stream`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.body_next`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.reply`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start_raw`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.stream_start_mode`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_write`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_end`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.active`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.finish`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stop`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.finish_reply`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_live`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.discard_request`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_active`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve_next`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/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: - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.parse - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify_with_limit - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.json_value - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_with_limits - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming_with_limits - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next_stream - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.body_next - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.reply - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start_raw - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.stream_start_mode - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_write - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_end - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.active - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.finish - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stop - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.finish_reply - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_live - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.discard_request - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_active - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve_next - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.metrics - error - selected - route - guard - parsed - json_body - validation_error - observed - observe	1.0 s
src/contracts.bend	checks	ALL PROOFS CHECK	0.5 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: `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.parse`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify_with_limit`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify`, `Stiff.send`, `decode_response`, `Stiff.send_json` output SOME PROOFS FAIL Error: 6 defs rely on unsafe or foreign code: - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.parse - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify_with_limit - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify - Stiff.send - decode_response - Stiff.send_json	0.6 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.8 s
src/router.bend	relies on unsafe/foreign	39 defs rely on unsafe or foreign code defs: `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.parse`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify_with_limit`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.json_value`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_with_limits`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming_with_limits`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next_stream`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.body_next`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.reply`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start_raw`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.stream_start_mode`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_write`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_end`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.active`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.finish`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stop`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.finish_reply`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_live`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.discard_request`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_active`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve_next`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.metrics`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.error`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.selected`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.route`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.guard`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.parsed`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.json_body`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.validation_error`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.observed`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.observe`, `selected`, `route` output SOME PROOFS FAIL Error: 39 defs rely on unsafe or foreign code: - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.parse - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify_with_limit - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.json_value - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_with_limits - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming_with_limits - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next_stream - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.body_next - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.reply - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start_raw - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.stream_start_mode - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_write - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_end - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.active - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.finish - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stop - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.finish_reply - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_live - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.discard_request - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_active - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve_next - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.metrics - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.error - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.selected - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.route - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.guard - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.parsed - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.json_body - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.validation_error - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.observed - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.observe - selected - route	0.8 s
src/schema.bend	relies on unsafe/foreign	33 defs rely on unsafe or foreign code defs: `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.parse`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify_with_limit`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.json_value`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_with_limits`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming_with_limits`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next_stream`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.body_next`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.reply`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start_raw`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.stream_start_mode`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_write`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_end`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.active`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.finish`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stop`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.finish_reply`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_live`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.discard_request`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_active`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve_next`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.metrics`, `run`, `validate`, `error`, `accepted`, `apply` output SOME PROOFS FAIL Error: 33 defs rely on unsafe or foreign code: - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.parse - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify_with_limit - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.json_value - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_with_limits - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming_with_limits - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next_stream - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.body_next - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.reply - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start_raw - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.stream_start_mode - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_write - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_end - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.active - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.finish - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stop - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.finish_reply - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_live - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.discard_request - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_active - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve_next - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/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: `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.parse`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify_with_limit`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/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: - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.parse - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify_with_limit - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/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.9 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.6 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.6 s
stiff.bend	relies on unsafe/foreign	53 defs rely on unsafe or foreign code defs: `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.parse`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify_with_limit`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/io.Stiff.send`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/io.decode_response`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/io.Stiff.send_json`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/url.Url.encode_component`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/url.Url.with_query`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.json_value`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_with_limits`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming_with_limits`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next_stream`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.body_next`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.reply`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start_raw`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.stream_start_mode`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_write`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_end`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.active`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.finish`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stop`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.finish_reply`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_live`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.discard_request`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_active`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve_next`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.metrics`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.error`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.selected`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.route`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.guard`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.parsed`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.json_body`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.validation_error`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.observed`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.observe`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/router.selected`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/router.route`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/schema.run`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/schema.validate`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/schema.error`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/schema.accepted`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/schema.apply`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/store.Store.open`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/store.Store.read`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/store.Store.compare_write`, `0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/store.Store.operation` output SOME PROOFS FAIL Error: 53 defs rely on unsafe or foreign code: - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.parse - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify_with_limit - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/json.Json.stringify - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/io.Stiff.send - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/io.decode_response - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/io.Stiff.send_json - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/url.Url.encode_component - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/url.Url.with_query - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.json_value - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_with_limits - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.listen_streaming_with_limits - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.next_stream - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.body_next - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.reply - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start_raw - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.stream_start_mode - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_start - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_write - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stream_end - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.active - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.finish - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.stop - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.finish_reply - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_live - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.discard_request - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch_active - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.dispatch - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve_next - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.serve - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/server.Server.metrics - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.error - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.selected - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.route - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.guard - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.parsed - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.json_body - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.validation_error - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.observed - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/app.observe - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/router.selected - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/router.route - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/schema.run - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/schema.validate - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/schema.error - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/schema.accepted - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/schema.apply - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/store.Store.open - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/store.Store.read - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/store.Store.compare_write - 0x4ee0ec16258e9b8ad6ef37e5b8c4f95e/src/store.Store.operation	1.1 s