code wiki / dfl
topic: dfl
8 modules sharing the dfl name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| _dfl_comp_test.nx | proves rung-2 COMPRESSION: encode a repetitive buffer, assert round-trip | 25 | 3 |
| _dfl_enc_gate.nx | self-validating gate for X-CDC-DEFLATE-ENC-001 (operator-sanctioned de-novel, | 53 | 3 |
| _dfl_rtgate.nx | composes encode/decode, no Claude logic | 32 | 1 |
| _dfl_rtgate_sa.nx | composes encode/decode, no Claude logic | 32 | 1 |
| _dfl_rtgate_sa_test.nx | asserts the round-trip+tamper gate is GREEN | 8 | 1 |
| _dfl_rtgate_test.nx | asserts the round-trip+tamper gate is GREEN | 8 | 1 |
| _dfl_specgate.nx | composes encode/decode, no Claude logic | 32 | 1 |
| _dfl_specgate_test.nx | asserts the round-trip+tamper gate is GREEN | 8 | 1 |