code wiki / _hdl_build / nx_doctor_heal_test.nx

nx_doctor_heal_test.nx

buildroot/runtime/_hdl_build/nx_doctor_heal_test.nx

4050 B76 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic doctor
docsdependenciesstructsconstsfunctions

about

nx_doctor_heal_test.nx -- the AUTO-FIX leg: the Doctor heals the loop UNDER GOVERNANCE. Detect a problem -> propose a fix -> the crew gauntlet (the WARDEN derives safety from the fix's target PATH; the ENGINEER requires the fix to re-verify) -> APPLY only if cleared. So the loop heals itself but can never clobber a canonical asset and never ships an unverified patch. This closes the last [next] autonomy item (auto-FIX in the governed tick), composing nx_warden_paths (path safety) + nx_crew_council (3->2->1) + verify. APPLY additive + re-verified fix (e.g. ADD a missing regression gate) DENY a fix that would OVERWRITE the known-good compiler (Warden hard-no) ESCALATE a fix that does not re-verify sound (Engineer -> operator) Known answer: 3 detected problems -> 1 APPLIED, 1 DENIED, 1 ESCALATED. exit 0.

dependencies 2 imports · 0 importers

nx_crew_council.nx nx_warden_paths.nx nx_doctor_heal_test.nx

imports: nx_crew_council.nxnx_warden_paths.nx

imported by: nobody (leaf or entry point)

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

main cc_puts sys_write nx_warden_path_safe wp_is_protected wp_contains wp_slen wp_endswith wp_slen ↻ cc_set cc_council cc_verdict_name

structs

none

consts

19const DH_N: i64 = 3

functions

21func main() -> i64