code wiki / _hdl_build / nx_conductor_recall_gate.nx
nx_conductor_recall_gate.nx
buildroot/runtime/_hdl_build/nx_conductor_recall_gate.nx
about
nx_conductor_recall_gate.nx -- THE LOCK for rung 3 (recall wired into the live give-up path).
Proves cond_recall_verdict converts a self-heal verdict correctly + honestly. HERMETIC: seeds its
OWN catalogue (knowledge/store/kicgate-) with one non-reserved-keyword signatured fixture (C-SEGV),
so it exercises the give-up->recall path that the production catalogue cannot yet (the only
production signature, reserved-keyword, is already caught by the Doctor's PRIMARY classifier and
never reaches give-up). No compiler is driven -- the decision layer is pure.
G1 recall-rescues-giveup : (COND_UNFIXABLE, diag w/ C-SEGV signature) -> COND_SEEN, id=C-SEGV
G2 honest-novel : (COND_UNFIXABLE, novel diag) -> COND_UNFIXABLE (no rubber-stamp)
G3 passthrough-clean : (COND_CLEAN, anything) -> COND_CLEAN (recall never meddles)
G4 passthrough-council : (arbitrary verdict 99, anything) -> 99 (only give-up is special-cased)
G5 tamper : (COND_UNFIXABLE, diag w/ corrupted sig) -> COND_UNFIXABLE (real match)
GREEN only if G1..G5 all hold. Evidence -> knowledge/status/conductor_recall.log. license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_conductor_recall.nxnx_seg_store.nxnx_syscalls.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
| 18 | const CR_LOG: *u8 = "knowledge/status/conductor_recall.log" |
| 19 | const KICGATE_PREFIX: *u8 = "knowledge/store/kicgate-" |
functions
| 21 | func cr_w(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 cr_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 24 | func cr_streq(a: *u8, b: *u8) -> i64 called by 1: main |
| 34 | func cr_streq_store(key: *u8, val: *u8) -> i64 |
| 47 | func cr_row(fd: i64, name: *u8, pass: i64) -> i64 |
| 53 | func main() -> i64 |