code wiki / (root) / nx_quality_grade_test.nx

nx_quality_grade_test.nx

buildroot/runtime/nx_quality_grade_test.nx

12108 B281 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic quality
docsdependenciesstructsconstsfunctions

about

nx_quality_grade_test.nx -- smoke: synthesize a tiny Module IR and grade it via every Layer-0 rule. Asserts: license_tier: ORIGINAL 1. Sealed-enum validity predicates accept all in-range values and reject out-of-range. 2. A clean synthetic Module (1 main function, 0 BR_COND, 5 instrs, no dead funcs) grades A. 3. A messy synthetic Module (1 function with CCN > 25, 1 dead function) grades D or worse. 4. The grader correctly counts findings per category. We hand-build Module + Function structs in mmap'd memory instead of running the self-host parser. This isolates the grader logic from any parser bugs and lets the smoke run in milliseconds.

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_runtime.nx nx_types.nx nx_tier.nx nx_quality_grade.nx nx_quality_grade_test.nx

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

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_grade_severity_is_valid nx_grade_kind_is_valid nx_grade_verdict_is_valid nx_grade_letter_is_valid _build_function sys_mmap _build_module_1fn sys_mmap ↻ sys_mmap ↻ nx_grade_profile_sonarqube nx_grade_card_alloc sys_mmap ↻ nx_grade_card_init _cat_zero _grade_cat_at nx_grade_card_scan _run_per_fn_rules _run_layer0_rules _rule_complexity _count_ccn _instr_at _classify_severity _rule_function_length _classify_severity ↻ _rule_explicit_return _count_returns _instr_at ↻ _rule_tier_zero_fits _classify_severity ↻ _run_layer2_rules _rule_fanout _count_calls _instr_at ↻ _classify_severity ↻ _rule_syscall_leak _is_syscall_wrapper _count_syscalls _instr_at ↻ _rule_fd_leak

structs

none

consts

none

functions

26func _build_function(name: *u8, name_len: nx_int,
called by 1: main calls 1: sys_mmap
70func _build_module_1fn(f0: *Function) -> *Module
called by 1: main calls 1: sys_mmap
94func _build_module_2fns(f0: *Function, f1: *Function) -> *Module
called by 1: main calls 1: sys_mmap
111func main() -> nx_int