code wiki / auto
topic: auto
7 modules sharing the auto name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_auto_builder.nx | the BUILDER's SELF-BUILD organ (the S-class-exceed rung of build-code | 441 | 22 |
| nx_auto_builder_gate.nx | the SELF-BUILD gate: proves spec-in/gated-capability-out works | 81 | 6 |
| nx_auto_builder_register.nx | records the SELF-BUILD organ. Engineer gate = the | 39 | 2 |
| nx_auto_builder_s20.nx | the BUILDER's SELF-BUILD organ (the S-class-exceed rung of build-code | 419 | 20 |
| nx_auto_supports_v2_target_test.nx | four-pillar MONITOR | 126 | 2 |
| nx_auto_verify.nx | bulk re-prove every entry in nx_qed_db. | 184 | 8 |
| nx_auto_verify_test.nx | smoke for autonomous bulk verification. | 80 | 1 |