{ "schema": "szl.vessels-proof-receipt/v8", "surface": "https://a11oy.net/vessels/", "product_desk": "https://a-11-oy.com/vessels", "kernel_version": "8.0.0", "kernel_schema": "szl.decision-integrity-kernel/v8", "kernel_sha256": "be143acc1cbb52591a05b56da7b9ae362c315a65cd570087faba08966e339f85", "kernel_bytes": 11004, "source": "github.com/szl-holdings/a11oy/verticals/_kernel/a11oy_kernel.py", "source_revision": "9dc70869694f72ba3fb4e632f86f96118ccb39ae", "engine": "python-stdlib", "origin": "proof", "kernel_run_here": false, "status": "ROADMAP", "data_label": "SAMPLE", "formula_authority": "NONE", "lambda": "Conjecture 1 / ADVISORY_CONJECTURAL", "licensed_ais_admitted": false, "production_ready": false, "stamps_live": false, "note": "Static binding of expected states to kernel 8.0.0 digest plus the AIS message-type authority lattice digest. This origin does not run evaluate. Replay on a-11-oy.com/vessels after the pack is in the image.", "cases": [ { "eval_id": "VESSELS-E-ABSTAIN", "case_id": "vessels-stale-list", "expected_state": "ABSTAINED", "observed_state": "ABSTAINED", "match": true, "expected_reason_codes": [ "STALE_OR_UNAVAILABLE_SOURCE" ], "observed_reason_codes": [ "STALE_OR_UNAVAILABLE_SOURCE" ], "reason_match": true, "receipt_digest": "ec8868f29dea05cd9fe94c74fd765a1914d6545c0f11db7f48c3752f9eb86458", "replay_hold": true, "proposed_action": "draft sanctions case", "formula_authority": "NONE" }, { "eval_id": "VESSELS-E-AWAIT-01", "case_id": "vessels-aurora-wave", "expected_state": "AWAITING_APPROVAL", "observed_state": "AWAITING_APPROVAL", "match": true, "expected_reason_codes": [ "HUMAN_APPROVAL_REQUIRED" ], "observed_reason_codes": [ "HUMAN_APPROVAL_REQUIRED" ], "reason_match": true, "receipt_digest": "ae6e3fc7fdc6fb28e62040926d474848b729f31ef3fda7a4253575880638e5be", "replay_hold": true, "proposed_action": "draft sanctions case", "formula_authority": "NONE" }, { "eval_id": "VESSELS-E-DENY-AIS", "case_id": "vessels-licensed-ais", "expected_state": "DENIED", "observed_state": "DENIED", "match": true, "expected_reason_codes": [ "PROHIBITED_ACTION" ], "observed_reason_codes": [ "PROHIBITED_ACTION" ], "reason_match": true, "receipt_digest": "0829bcbcd01154d383dca25ff996a8a4704e3183bbce00b393e0426a91bd9275", "replay_hold": true, "proposed_action": "licensed AIS query", "formula_authority": "NONE" } ], "sample": { "frozen_cases": 3, "state_match": 3, "reason_match": 3, "replay_hold": 3, "licensed_ais_queries": 0, "honesty": "SAMPLE. Local stdlib replay of frozen payloads against kernel 8.0.0. Not a production certificate. Not a licensed-AIS TPR. Entity-resolution precision remains OUTSTANDING." }, "ofac_sdn": { "observed_at_utc": "2026-09-11T18:46:16Z", "leader": "OFAC SDN", "pattern": "named sanctions list, not a quality score", "public_url": "https://ofac.treasury.gov/specially-designated-nationals-and-blocked-persons-list-sdn-human-readable-lists", "csv_url": "https://www.treasury.gov/ofac/downloads/sdn.csv", "html_http_status": 200, "csv_http_status": 200, "csv_content_type": "text/csv", "csv_content_length_bytes": 5692851, "csv_last_modified": "Thu, 10 Sep 2026 18:31:57 GMT", "csv_etag": "7b8d1e512b838d3b39d0e7758e004dbe", "honesty": "MEASURED reachability only. Not a quality score. Not a match. Not entity-resolution precision. Not a licensed-AIS feed. Signed redirect URLs are not stored." }, "ais_standards": { "honesty": "CITATION_ONLY. Citing the instruments names the licensed-AIS gate. This origin is not Class A or Class B shipborne equipment. It does not transmit. It does not claim type approval, SOLAS V/19 carriage, AtoN service, or a licensed-AIS true-positive rate.", "surface": "https://a11oy.net/vessels/ais-standards.json", "licensed_ais_admitted": false, "licensed_ais_queries": 0, "ais_equipment_class": "NONE", "ais_transmit": false, "solas_v19_applies": false, "aton_provider": false, "vhf_data_link_occupied": false, "vessels_e03_licensed_ais_tpr": "OUTSTANDING", "fail_closed_eval": "VESSELS-E-DENY-AIS", "instruments": [ "ITU-R M.1371", "IEC 61993-2:2018", "IMO MSC.74(69) Annex 3", "IMO A.1106(29)", "IMO MSC.347(91)", "SOLAS V/19", "IALA G1082 Ed 2.1", "IALA A-126" ] }, "ais_lattice": { "honesty": "CITATION_ONLY", "surface": "https://a11oy.net/vessels/ais-lattice.json", "html": "https://a11oy.net/vessels/lattice/", "digest": "f931b48544bcf70b1ca0d1c03b38b6c8e9dbf1933adfb8128316324e82eeb457", "schema": "szl.vessels-ais-message-lattice/v8", "message_types": 27, "licensed_ais_queries": 0, "codecs_refused": [ "pyais", "libais", "aiscat", "gpsd-aivdm", "MAGI-System" ], "fail_closed_eval": "VESSELS-E-DENY-AIS", "note": "Types are authority classes. Cite admitted. Live query DENIED. Lattice classify is not the Packet 8 kernel." }, "pilot": { "scope": "public OFAC SDN plus frozen demonstration vessels. Licensed AIS remains CLOSED without a live key.", "phases": [ "read-only public lists", "case prioritization", "draft sanctions case", "approval" ], "buyer": "Maritime operators, trade-compliance officers, and sanctions desks who need a fail-closed case, not a live AIS feed they do not hold a license for.", "wedge": "Sanctions-to-Case Decision Assurance. Licensed AIS stays CLOSED.", "success_metrics_named": [ "time from public list hit to evidence-complete case", "licensed AIS remain CLOSED without a key", "false priority rate", "approval latency" ], "licensed_ais_queries": 0 }, "outstanding": [ { "id": "VESSELS-E01", "claim": "IMO/vessel/owner entity resolution", "class": "BLOCKING", "in_this_demo": "OUTSTANDING" }, { "id": "VESSELS-E02", "claim": "sanctions match precision", "class": "BLOCKING", "in_this_demo": "SEED POLICY" }, { "id": "VESSELS-E03", "claim": "licensed AIS true-positive rate", "class": "BLOCKING", "in_this_demo": "OUTSTANDING" } ], "boundaries": { "this_origin_does_not_run_the_kernel": true, "this_origin_is_not_a_product_host": true, "hub_spaces_required": false, "fifth_flagship": false, "stamps_live": false, "licensed_ais_admitted": false, "formula_grants_authority": false, "lambda_uniqueness": "Conjecture 1 OPEN", "lattice_is_not_the_kernel": true, "never": "a11oy.com" }, "public_lists_world": { "honesty": "CITATION_ONLY", "surface": "https://a11oy.net/vessels/public-lists-world.json", "html": "https://a11oy.net/vessels/world/", "digest": "70fd1918fb38791159cfa2c520dc989f32125e4e0de4104b59d0a26fa48e1cb5", "schema": "szl.vessels-public-lists-world/v8", "lists": 50, "measured_200_or_206": 45, "licensed_ais_queries": 0, "fail_closed_stale": "VESSELS-E-ABSTAIN", "fail_closed_ais": "VESSELS-E-DENY-AIS", "note": "Clocks are reachability. Not a match score. Lattice classify is not the Packet 8 kernel." }, "public_list_lattice": { "honesty": "CITATION_ONLY", "surface": "https://a11oy.net/vessels/public-list-lattice.json", "digest": "b2d23ac69631667c09a8e3c4715d9a7caabda23edc9739b74d743fe6d9f88c1d", "authority_classes": 7, "typed_judgment": "SAMPLE_TEXT_MISS", "frozen_identity": "AURORA WAVE", "miss_is_not_clearance": true, "note": "Official-list names are authority classes. Cite admitted. Radio query DENIED." }, "joint_freshness": { "honesty": "CITATION_ONLY", "surface": "https://a11oy.net/vessels/joint-freshness.json", "html": "https://a11oy.net/vessels/world/", "digest": "1cb5b1178b7cda2327443eb7b8e33703aae26a23b4102a0d5f91291cff149898", "schema": "szl.vessels-joint-freshness/v8", "rule": "min-link over current official clocks; stale twins are disagreement; winner not picked", "coverage_holes": 7, "disagreements": 3, "negative_evidence": "SAMPLE_TEXT_MISS", "miss_is_not_clearance": true, "note": "Joint freshness is not the Packet 8 kernel. A coverage hole is a named cell, not missing data." }, "cn_kr_ua": { "honesty": "CITATION_ONLY", "surface": "https://a11oy.net/vessels/public-lists-cn-kr-ua.json" } }