code wiki / safety
topic: safety
4 modules sharing the safety name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_safety.nx | SafetyEnvelope as a native NishiLang construct. | 233 | 2 |
| nx_safety_critical_grade.nx | Layer-3 safety-critical grader. | 433 | 12 |
| nx_safety_critical_grade_test.nx | smoke for the 8th grader. | 59 | 1 |
| nx_safety_gate.nx | GATE for nx_safety (the SafetyEnvelope native type). Flagged by the HONESTY SYSTEM | 75 | 4 |