code wiki / rt
topic: rt
6 modules sharing the rt name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| _rt_addk.nx | PROOF FIXTURE for pe16 GATE_HARNESS (NOT a deliverable organ; a reversible | 8 | 2 |
| _rt_addk_gate.nx | composes <uut>_encode/_decode, no Claude logic | 28 | 1 |
| _rt_addk_gate_test.nx | asserts the round-trip+tamper gate is GREEN | 8 | 1 |
| _rt_bad.nx | DISCRIMINATION FIXTURE for pe16: a BROKEN inverse pair (decode does NOT invert | 6 | 2 |
| _rt_bad_gate.nx | composes <uut>_encode/_decode, no Claude logic | 28 | 1 |
| _rt_bad_gate_test.nx | asserts the round-trip+tamper gate is GREEN | 8 | 1 |