code wiki / _hdl_build / nx_evidence_gate.nx

nx_evidence_gate.nx

buildroot/runtime/_hdl_build/nx_evidence_gate.nx

5761 B110 linesdepth 8pulls 12 transitivereach 0 importersview sourcekind gate/prooftopic evidence
docsdependenciesstructsconstsfunctions

about

nx_evidence_gate.nx -- GATE for graded evidence admission. Every tooth carries its OPPOSITE, because the failure this organ exists to prevent is evidence that LOOKS like corroboration. Verdict emission inherits nx_gate_verdict (D001). license_tier: ORIGINAL expect_exit: 0

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_evidence.nx nx_gate_verdict.nx nx_evidence_gate.nx

imports: nx_syscalls.nxnx_evidence.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

8const EVG_BUF: i64 = 8192
9const EVG_IC_GOV: i64 = 1
10const EVG_IC_VENDOR: i64 = 2
11const EVG_IC_CONSUMER: i64 = 3
12const EVG_REL_OK: i64 = 2
13const EVG_CRED_OK: i64 = 2
14const EVG_REL_CANNOT_JUDGE: i64 = 6
15const EVG_REL_INVALID: i64 = 9

functions

18func evg_row(buf: *u8, o: i64, id: *u8, class: *u8, ic: i64, rel: i64, cred: i64, party: i64, method: i64) -> i64
calls 1: lc_lit
41func evg_chk(name: *u8, got: i64, want: i64, ctr: *i64) -> i64
51func main(argc: i64, argv: *i64) -> i64