code wiki / _hdl_build / nx_langintel_trustfence_gate.nx

nx_langintel_trustfence_gate.nx

buildroot/runtime/_hdl_build/nx_langintel_trustfence_gate.nx

3206 B44 linesdepth 7pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic langintel
docsdependenciesstructsconstsfunctions

about

nx_langintel_trustfence_gate.nx -- LangIntel LI9 WARDEN CI fixture: re-proves the trust fence each run. Self-contained inline fixtures, each carrying its EXPECTED sealed verdict (per the ecosystem law: a neg control must assert the synthesized OUTCOME, never call 'the old code' which rots when fixed). Runs the SHARED ltg_classify_code from nx_trustfence_lib -- so this gate proves the exact classifier the CLI uses. Fixture A permanently guards the master->main rename regression I found on rust-lang/rust#50000. exit 0 = all GREEN, 1 = any FAIL. Read-only, NO exec (Rule 26). license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_trustfence_lib.nx nx_ingest_base.nx nx_syscalls.nx nx_langintel_trustfence_gate.n

imports: nx_trustfence_lib.nxnx_ingest_base.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap ib_wr ib_slen sys_write ltgate_case ib_slen ↻ sys_mmap ↻ ltg_classify_code ib_find ib_slen ↻ sys_mmap ↻ ltg_qkey ltg_bool ib_find ↻ ib_slen ↻ ib_jstr ib_find ↻ ib_slen ↻ ltg_obj_span ltg_streq ib_wr ↻ ib_wn sys_write ↻ sys_mmap ↻ ib_wn ↻

structs

none

consts

11const LTGATE_EXPECT: *u8 = "rust-lang/rust"

functions

13func ltgate_case(js: *u8, expect_code: i64, label: *u8, counters: *i64) -> i64
called by 1: main calls 5: ib_slensys_mmapltg_classify_codeib_wrib_wn
30func main() -> i64
calls 4: sys_mmapib_wrltgate_caseib_wn