code wiki / (root) / nx_etg_test.nx

nx_etg_test.nx

buildroot/runtime/nx_etg_test.nx

7479 B166 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic etg
docsdependenciesstructsconstsfunctions

about

nx_etg_test.nx -- KAT for nx_etg.nx Empirical-Truth Gamification substrate primitive. Verifies: T1 Outcome sealed-enum completeness: every NX_ETG_OUTCOME_* value 0..N-1 validates true; sentinels out-of-range validate false. T2 Probe-kind + claim-source enum validity gates. T3 Outcome → reclamation mapping: VENDOR_LIED_OMISSION / PAYWALLED_BUT_RESPONSIVE / RECLAIMED / THROTTLED / UNDOCUMENTED_CAPABILITY all imply reclamation; CONFIRMED / FALSIFIED / FUSED_OFF / INCONCLUSIVE / NONE do not. T4 Entry init rejects invalid arguments deterministically. T5 Entry init records reclamation_delta correctly per outcome. T6 Attestation determinism: same substantive fields -> same hash; differing fields -> different hash. T7 FNV step / FNV i64 sanity (round-trip property on known constants from the FNV-1a public spec).

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_etg.nx nx_etg_test.nx

imports: nx_syscalls.nxnx_etg.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_etg_outcome_is_valid nx_etg_probe_is_valid nx_etg_claim_is_valid nx_etg_outcome_implies_rec sys_mmap nx_etg_entry_init nx_etg_probe_is_valid ↻ nx_etg_claim_is_valid ↻ nx_etg_outcome_is_valid ↻ nx_etg_outcome_implies_rec ↻ nx_etg_attestation_hash sys_mmap ↻ fnv1a nx_etg_attestation_determi nx_etg_attestation_hash ↻

structs

none

consts

none

functions

23func main() -> i64
calls 7: nx_etg_outcome_is_validnx_etg_probe_is_validnx_etg_claim_is_validnx_etg_outcome_implies_reclamationsys_mmapnx_etg_entry_init+1