nx_claim_audit.nx

nx_claim_audit.nx -- substrate scanner verifying claim-vs-implementation. module: nishi-core.audit.claim_audit depends: nishi-core.audit.wired_status, nishi-core.io.syscalls, nishi-core.io.csv disk_kb: 5 capability: CORE_IO wired_status: PARTIAL_WIRED (Honest: this file's substrate STRUCTURE is wired; the actual file- system-walking implementation depends on nx_dir which is queued. I'm marking PARTIAL_WIRED not FULLY_WIRED accordingly.) license_tier: PUBLIC_NISHI_SUBSTRATE genealogy_id: nishi_no_false_ok_cardinal_2026 + software_engineering_static_analysis + type_state_implementation_pattern Per cardinal [[feedback-no-false-ok-substrate-honesty-audit]]: substrate scanner reads every `.nx` file's module header + function bodies; compares CLAIMS to IMPLEMENTATION presence; flags discrepancies. ===== Audit algorithm ============================================ 1. For each .nx file in the substrate: a. Parse the module header comment block — extract: module / depends / disk_kb / capability / wired_status b. If wired_status missing → CLAIM_HEADER_MISSING c. Walk function bodies — count: - lines of code (non-comment, non-empty) - functions - stub-return statements (NX_STUB_* + uninitialized verdict) d. Infer wired_status from body: - if every function returns STUB → HONEST_STUB - if some return STUB, some return real verdicts → PARTIAL_WIRED - if no STUB returns + has substantive function bodies → FULLY_WIRED candidate - if all functions are body-less → DECLARED_ONLY e. Compare declared vs inferred: - declared FULLY_WIRED but inferred HONEST_STUB → CLAIM_IMPL_DOESNT_MATCH