code wiki / (root) / nx_uxcx_grade_test.nx

nx_uxcx_grade_test.nx

buildroot/runtime/nx_uxcx_grade_test.nx

4100 B70 linesdepth 2pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_uxcx_grade_test.nx -- sovereign gate for the UX/CX grader. Proves the byte-scan detectors catch the two operator-reported bug classes (browser-only back nav; & double-encoding) and pass clean input, and that the combined permil moves. Same verdicts as the nishilib.uxcx Python benchmark on the same fixtures. Exit code = failed assertion #; 0 = all pass.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_uxcx_grade.nx nx_uxcx_grade_test.nx

imports: nx_syscalls.nxnx_uxcx_grade.nx

imported by: nobody (leaf or entry point)

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

main uxg_back_ok uxg_has_lit uxg_has uxg_len uxg_len ↻ uxg_escaping_ok uxg_has_lit ↻ uxg_viewport_ok uxg_has_lit ↻ uxg_skiplink_ok uxg_has_lit ↻ uxg_permil uxg_escaping_ok ↻ uxg_viewport_ok ↻ uxg_skiplink_ok ↻ uxg_back_ok ↻

structs

none

consts

none

functions

11func main() -> i64