code wiki / (root) / nx_evoracle.nx

nx_evoracle.nx

buildroot/runtime/nx_evoracle.nx

17445 B286 linesdepth 0pulls 0 transitivereach 3 importersview sourcekind librarytopic evoracle
docsdependenciesstructsconstsfunctions

about

nx_evoracle.nx -- THE INDEPENDENCE LAW. Sibling of nx_evidence_verdict.nx (which grades what a claim's EXECUTION earns); this grades WHOSE AUTHORITY that execution rests on. OPERATOR DIRECTIVE 2026-07-31: real 3rd party validated evidence, judged independently, so nishi cant game the system but has to climb the hard thorough way like a PhD or a government certification. THE GAP THIS EXISTS TO KILL, MEASURED LIVE ON THE NAS 2026-07-31 (not inferred): M1 knowledge/status/evclass_*.conf -- ZERO rows existed anywhere. find evclass . over 176,764 files returned 0 matches (reader proven before the corpus was blamed). The whole attestation plane -- built, crypto-enforced, oracle-aware -- had never carried a single row. Every domain therefore carried exactly ONE class (MECH), min_classes=2 could not be met, and PROVEN=0/40 was produced by an EMPTY TABLE, not by any failed measurement. M2 knowledge/attest_keys.conf is ABSENT, so at_verify_row refuses every signature. M3 EV_CLASS_ORACLE had ONE consumer (nx_sota_status.nx:220) and NO producer (now nx_evoracle_sweep). M4 nx_evattest.nx knew MECH|LLM|HUMAN only -- oracle rows verified by FALL-THROUGH. Now declared. THE FINDING THIS LIBRARY ENCODES -- KAT NAMES THE FORM, NOT THE PROVENANCE. nx_x25519_kat_gate.nx cites RFC 7748 5.2/6.1 and cross-checks OpenSSL: questions AND answers authored outside Nishi. It even found the RFC own 8448-3 vector internally inconsistent. nx_lex_kat.nx tests all 256 bytes vs INLINED ground truth defined in that same file, by us. A known-answer test whose answers you wrote yourself is a CONSISTENCY test, not an INDEPENDENCE test. This is why independence must NEVER be classified by FILENAME: both files above end in _kat. The name-suffix rule (gate|test|kat) is correct for PROMOTABILITY and catastrophic for INDEPENDENCE. PARTY-NESS (ISO/IEC 17000 series -- the vocabulary the accreditation world already settled). FIRST the subject attests to itself (a supplier declaration of conformity). Self-consistency only. SECOND a party with a user interest attests. THE OPERATOR OWN SIGNATURE IS THIS, NOT THIRD. It is a management assertion, exactly as in a SOC 2 report -- which is why such reports carry a SEPARATE auditor opinion. Valuable; not independence. THIRD authority external to both provider and user, editable by neither: published normative vectors (RFC/FIPS/NIST/ISO/IEEE/BIP/W3C/Khronos/ITU/Unicode) and differential agreement with a reference implementation we did not write. We can never hire an accredited lab -- but we can SIT AN EXTERNALLY SET EXAM. THE ANTI-GAMING PRINCIPLE: AN ORACLE ATTESTATION MUST BE DERIVED FROM AN EXECUTION, NEVER DECLARED. A signature buys attribution and tamper-evidence; it does NOT buy truth, because whoever holds the key can sign a false claim. What buys truth for a mechanical claim is RE-DERIVABILITY: ref= (the external authority), refdig= (digest of the exact bytes compared -- prose can CLAIM RFC 7748, a digest COMMITS to the bytes) and gate= (the re-derivation recipe). ENFORCED AT THE VERIFIER (nx_evattest at_verify_row), not only in the producer -- the producer is one program among many. Same structure the field converged

dependencies 0 imports · 3 importers

nx_evoracle.nx nx_evindep_gate.nx nx_evoracle_gate.nx nx_evoracle_sweep.nx

imports: none

imported by: nx_evindep_gate.nxnx_evoracle_gate.nxnx_evoracle_sweep.nx

structs

none

consts

48const EVO_P_UNRESOLVED: i64 = 0
49const EVO_P_FIRST: i64 = 1
50const EVO_P_SECOND: i64 = 2
51const EVO_P_THIRD: i64 = 3
54const EVO_R_OK: i64 = 0
55const EVO_R_NO_CITATION: i64 = 1
56const EVO_R_SELF_ORACLE: i64 = 2
57const EVO_R_NOT_DERIVED: i64 = 3
58const EVO_R_NO_REFDIGEST: i64 = 4
223const EVO_V_NONE: i64 = 0
224const EVO_V_SPECIFIED: i64 = 1
225const EVO_V_VALIDATED: i64 = 2

functions

60func evo_starts(b: *u8, n: i64, at: i64, s: *u8) -> i64
called by 1: evo_find
73func evo_find(b: *u8, n: i64, s: *u8) -> i64
called by 3: evo_hasmainextract_ref calls 1: evo_starts
82func evo_has(b: *u8, n: i64, s: *u8) -> i64
88func evo_cites_spec(b: *u8, n: i64) -> i64
called by 1: evo_classify calls 1: evo_has
142func evo_cites_refimpl(b: *u8, n: i64) -> i64
152func evo_self_oracle(b: *u8, n: i64) -> i64
172func evo_classify(b: *u8, n: i64) -> i64
183func evo_refuse_reason(b: *u8, n: i64) -> i64
called by 1: main calls 2: evo_self_oracleevo_classify
190func evo_row_derived_ok(b: *u8, n: i64) -> i64
called by 1: main calls 1: evo_has
197func evo_row_reason(b: *u8, n: i64) -> i64
called by 1: main calls 1: evo_has
247func evo_answers_external(b: *u8, n: i64) -> i64
called by 2: evo_row_tiermain calls 1: evo_has
255func evo_row_tier(b: *u8, n: i64, subject_tier: i64) -> i64
called by 1: main calls 1: evo_answers_external
261func evo_validation_tier(b: *u8, n: i64) -> i64
282func evo_independence_ok(party: i64, min_party: i64) -> i64
called by 1: main