code wiki / _hdl_build / _sponsor_review_gate_authored.nx

_sponsor_review_gate_authored.nx

buildroot/runtime/_hdl_build/_sponsor_review_gate_authored.nx

8233 B196 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind tooltopic sponsor

docs dependencies structs consts functions

about

_sponsor_review_gate_authored.nx -- gate for the executive-sponsor loop. Proves the FULL subjective lifecycle on a scratch queue with the REAL reconcile elf and the sponsor core -- no mocks: 1. CTRL (TODO, MARK green, NO ASK) -> reconcile -> DONE (objective rows never wait for the sponsor: the doctrine's other half) 2. SV1 (TODO, MARK green, ||ASK=result) -> reconcile -> VIEW not DONE 3. APPROVE SV2 (VIEW) -> DONE 4. DENY SV3 <feedback> (VIEW) -> NOVEL + PREF row appended 5. APPROVE SV4 (TODO) -> REFUSED (illegal transition) 6. APPROVE NOSUCH -> REFUSED (unknown id) 7. SV5 (NOVEL ||ASK=spec) -> SPONSOR-SPEC census row 8. re-run -> idempotent (applied=0, no duplicate PREF row) Markers: SRG-*; final SPONSORGATE row -> knowledge/status/sponsor_review.log license_tier: ORIGINAL

dependencies 1 imports · 0 importers

imports: nx_sponsor_core.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

19	func srg_p(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } called by 2: srg_chk main
20	func srg_f(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 } called by 3: srg_seed_queue srg_seed_decisions main
22	func srg_chk(label: u8, ok: i64, bad: i64) -> i64 called by 1: main calls 1: srg_p
29	func srg_seed_queue(qp: *u8) -> i64 called by 1: main calls 2: sys_openat_wr srg_f
48	func srg_seed_decisions(dp: *u8) -> i64 called by 1: main calls 2: sys_openat_wr srg_f
66	func srg_status_of(qp: u8, id: u8) -> i64 called by 1: main calls 1: sr_status
70	func srg_count(path: u8, pat: u8) -> i64 called by 1: main calls 2: sys_read wd_at
90	func srg_reconcile(qp: *u8) -> i64 called by 1: main calls 3: sys_fork sys_execve sys_wait4
107	func main() -> i64 calls 11: srg_p srg_seed_queue sys_openat_append srg_f srg_reconcile srg_status_of+5