nx_license_check_test.nx
buildroot/runtime/nx_license_check_test.nx
about
nx_license_check_test.nx -- smoke for the licensing-wall grader.
Asserts:
1. Sealed-enum validity predicate behaves
2. Synthetic header `// license_tier: ORIGINAL` extracts as ORIGINAL
3. Synthetic header `// license_tier: TIER_0_UNENCUMBERED` extracts
4. Synthetic header `// license_tier: INDEPENDENT_REDERIVE` extracts
5. Synthetic header `// license_tier: COPY_WITH_ATTRIB` extracts as
FORBIDDEN (banned tier from older drafts)
6. Source with no header at all extracts as UNKNOWN
7. Verdict mapping: WIN for 3 allowed, LOSE for FORBIDDEN + UNKNOWN
8. nx_license_scan_file on this very file returns ORIGINAL
expect_exit: 0
license_tier: ORIGINAL
dependencies 4 imports · 0 importers
imports: nx_syscalls.nxnx_runtime.nxnx_types.nxnx_license_check.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 23 | func _strlen(s: *u8) -> nx_int called by 1: main |
| 34 | func main() -> nx_int |