code wiki / _hdl_build / _sponsor_review_gate_authored.nx
_sponsor_review_gate_authored.nx
buildroot/runtime/_hdl_build/_sponsor_review_gate_authored.nx
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 } |
| 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 } |
| 22 | func srg_chk(label: *u8, ok: i64, bad: *i64) -> i64 |
| 29 | func srg_seed_queue(qp: *u8) -> i64 |
| 48 | func srg_seed_decisions(dp: *u8) -> i64 |
| 66 | func srg_status_of(qp: *u8, id: *u8) -> i64 |
| 70 | func srg_count(path: *u8, pat: *u8) -> i64 called by 1: main |
| 90 | func srg_reconcile(qp: *u8) -> i64 called by 1: main |
| 107 | func main() -> i64 |