nx_wired_status.nx
buildroot/runtime/nx_wired_status.nx
about
nx_wired_status.nx -- mandatory wired-status declaration per primitive.
module: nishi-core.audit.wired_status
depends: nishi-core.io.syscalls
disk_kb: 4
capability: CORE_IO
wired_status: FULLY_WIRED
license_tier: PUBLIC_NISHI_SUBSTRATE
genealogy_id: nishi_no_false_ok_cardinal_2026 +
type_state_pattern_haskell_indexed_monad +
software_engineering_progress_honesty_research
Per cardinal [[feedback-no-false-ok-substrate-honesty-audit]]:
every `.nx` file in the Nishi family declares its wired_status in
the module header. Substrate audit reads these + verifies against
implementation presence + refuses external claims that diverge.
THIS file's own wired_status is FULLY_WIRED because: sealed-enum
declaration is the implementation; no further execution needed; it
is a TYPE-LEVEL primitive.
dependencies 1 imports · 4 importers
imports: nx_syscalls.nx
imported by: nx_adversarial_pattern_audit.nxnx_claim_audit.nxnx_dependency_audit.nxnx_honesty_grader.nx
structs
| 150 | struct WiredFileRecord |
consts
| 35 | const NX_WIRED_FULLY_WIRED: i64 = 1 |
| 36 | const NX_WIRED_PARTIAL_WIRED: i64 = 2 |
| 37 | const NX_WIRED_HONEST_STUB: i64 = 3 |
| 38 | const NX_WIRED_DECLARED_ONLY: i64 = 4 |
| 39 | const NX_WIRED_REFACTOR_TARGET: i64 = 5 |
| 40 | const NX_WIRED_DEPRECATED: i64 = 6 |
| 58 | const NX_VERB_SCAFFOLDED: i64 = 1 // file exists with declared signatures + types |
| 59 | const NX_VERB_STUBBED: i64 = 2 // signatures + STUB-variant return; no execution |
| 60 | const NX_VERB_PARTIAL: i64 = 3 // some paths execute |
| 61 | const NX_VERB_WIRED: i64 = 4 // composes against substrate that runs end-to-end + passing smoke |
| 62 | const NX_VERB_SHIPPED: i64 = 5 // WIRED + commit landed + visible to downstream |
| 92 | const NX_CLAIM_HONEST: i64 = 1 |
| 93 | const NX_CLAIM_OVERSTATED: i64 = 2 // used SHIPPED where WIRED applicable |
| 94 | const NX_CLAIM_UNDERSTATED: i64 = 3 // used SCAFFOLDED where SHIPPED accurate |
| 95 | const NX_CLAIM_HEADER_MISSING: i64 = 4 // primitive doesn't declare wired_status |
| 96 | const NX_CLAIM_IMPL_DOESNT_MATCH: i64 = 5 // header says WIRED but body is stub |
| 116 | const NX_STUB_NOT_WIRED: i64 = -7777 // sentinel: substrate detects this in audit |
| 117 | const NX_STUB_PARTIAL_IMPL: i64 = -7778 |
| 118 | const NX_STUB_DECLARED_ONLY: i64 = -7779 |
| 164 | const NX_WIRED_FILE_RECORD_BYTES: i64 = 80 // 10 fields * 8 bytes |
functions
| 42 | func nx_wired_status_name(s: i64) -> *u8 |
| 64 | func nx_verb_name(v: i64) -> *u8 |
| 77 | func nx_wired_max_claimable_verb(status: i64) -> i64 |
| 98 | func nx_claim_verdict_name(v: i64) -> *u8 |
| 126 | func nx_audit_is_stub_verdict(v: i64) -> i64 |
| 140 | func nx_claim_compose_verb(my_status: i64, dep_max_verb: i64) -> i64 calls 1: nx_wired_max_claimable_verb |