code wiki / (root) / nx_safety_critical_grade_test.nx

nx_safety_critical_grade_test.nx

buildroot/runtime/nx_safety_critical_grade_test.nx

3103 B59 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic safety
docsdependenciesstructsconstsfunctions

about

nx_safety_critical_grade_test.nx -- smoke for the 8th grader. Exercises the 4 lexical-scan axes (bounded_loop / assertion_density / sealed_enum / soup_purity) against KNOWN input strings. Verifies the 4 queued axes (mcdc / fault_inj / hazard_reg / iv_and_v) all return NX_SC_VERDICT_UNMEASURED. Requires nxc.elf built with the parser extension that supports &card.field chains (commit 6bdc738f). The C-anchor nxc2.exe will reject this file -- expected per cardinal feedback-no-nxc2-c- extension-only-nishilang-forward.

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_runtime.nx nx_types.nx nx_tier.nx nx_safety_critical_grade.nx nx_safety_critical_grade_test.

imports: nx_syscalls.nxnx_runtime.nxnx_types.nxnx_tier.nxnx_safety_critical_grade.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

19func main() -> i64