code wiki / (root) / nx_forge_ctx_gate.nx

nx_forge_ctx_gate.nx

buildroot/runtime/nx_forge_ctx_gate.nx

8773 B188 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic forge
docsdependenciesstructsconstsfunctions

about

nx_forge_ctx_gate.nx -- gate for the F2 pack emitter (nx_forge_ctx.nx). Teeth: T1 emit from the REAL tree -> sig count sane + all three sections present T2 sig cross-check: every emitted `func std_` line exists verbatim in the LIVE lib (0 bad) T3 NEG planted-signature: fixture lib + std_fake_planted -> cross-check vs REAL lib CATCHES it T4 exemplar embedded byte-exact (tail-compare vs runtime/nx_fbench_probe.nx) T5 NEG UNVERIFIED marker: fixture rules with a planted UNVERIFIED line -> fc_emit REFUSES (-3) GREEN requires 5/5 (a rubber-stamp emitter or checker fails T3/T5 structurally). license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_forge_ctx.nx nx_gate_verdict.nx nx_forge_ctx_gate.nx

imports: nx_forge_ctx.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 fc_emit sys_mmap fc_read sys_openat_rd sys_read sys_close fc_has_unverified sys_openat_wr fc_ws std_slen fc_wb sys_write fc_wb ↻ fc_render_rules fc_fstart fc_fend fc_ws ↻ fc_wb ↻ sys_close ↻ fc_extract_sigs fc_line_is_sig fc_line_cend fc_wb ↻ fc_ws ↻ fc_read ↻ std_slen ↻ fc_contains std_puts std_slen ↻ sys_write ↻ std_pdec sys_mmap ↻ std_itoa sys_mmap ↻ sys_write ↻ std_putln std_puts ↻ fc_check_sigs fc_line_is_sig ↻

structs

none

consts

none

functions

12func g_write2(path: *u8, a: *u8, an: i64, b: *u8, bn: i64) -> i64
called by 1: main calls 2: sys_openat_wrfc_wb
25func main(argc: i64, argv: *i64) -> i64
calls 12: fc_emitfc_readstd_slenfc_containsstd_putsstd_pdec+6