code wiki / _hdl_build / nx_langintel_trustfence_gate.nx

nx_langintel_trustfence_gate.nx

buildroot/runtime/_hdl_build/nx_langintel_trustfence_gate.nx

4398 B60 linesdepth 7pulls 9 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 4 imports · 0 importers

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

imports: nx_trustfence_lib.nxnx_ingest_base.nxnx_syscalls.nxnx_gate_verdict.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 nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ 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 gv_ctr sys_mmap ↻ gv_check gv_puts sys_write ↻

structs

none

consts

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

functions

16func ltgate_case(js: *u8, expect_code: i64, label: *u8, counters: *i64) -> i64
called by 1: main calls 7: ib_slensys_mmapltg_classify_codegv_ctrgv_checkib_wr+1
44func main() -> i64
calls 5: sys_mmapib_wrltgate_casegv_ctrgv_verdict