code wiki / (root) / nx_formatlaw_gate.nx

nx_formatlaw_gate.nx

buildroot/runtime/nx_formatlaw_gate.nx

8559 B146 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_formatlaw_gate.nx -- the referee for nx_formatlaw_lib: does the source-law scanner fire on every planted class, stay silent on every exemption and on prose, and count what it cannot show? Fixtures are ASSEMBLED AT RUNTIME (never written as literals in this file, or a scanner that reads source would find its own test), in memory -- no files, no /tmp, idempotent by construction. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 2 imports · 0 importers

nx_gate_verdict.nx nx_formatlaw_lib.nx nx_formatlaw_gate.nx

imports: nx_gate_verdict.nxnx_formatlaw_lib.nx

imported by: nobody (leaf or entry point)

structs

none

consts

9const FG_BUF: i64 = 65536
10const FG_Q: i64 = 34
11const FG_NL: i64 = 10

functions

13func fg_cat(d: *u8, o: i64, s: *u8) -> i64 { var i: i64 = 0; var p: i64 = o; while s[i] != (0 as u8) { d[p] = s[i]; p = p + 1; i = i + 1 } return p }
called by 2: fg_linefg_comment
15func fg_line(d: *u8, o: i64, lit_a: *u8, lit_b: *u8) -> i64
called by 1: fg_comment calls 1: fg_cat
24func fg_comment(d: *u8, o: i64, text_a: *u8, text_b: *u8) -> i64
29func fg_license(d: *u8, o: i64) -> i64 { return fg_comment(d, o, "license_tier" as *u8, ": ORIGINAL" as *u8) }
31func main(argc: i64, argv: *i64) -> i64