code wiki / (root) / nx_readiness_test.nx

nx_readiness_test.nx

buildroot/runtime/nx_readiness_test.nx

1998 B47 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic readiness
docsdependenciesstructsconstsfunctions

about

nx_readiness_test.nx -- smoke for nx_readiness. Proves TRL/MRL validity, definitions, gap analysis, next-rung advancement, the hardware-rung guidance, and the market-readiness verdicts for software vs hardware. Exit code = failed assertion number; 0 = all pass.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_readiness.nx nx_readiness_test.nx

imports: nx_syscalls.nxnx_readiness.nx

imported by: nobody (leaf or entry point)

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

main rd_trl_valid rd_mrl_valid rd_gap rd_next_trl rd_trl_to_market rd_gap ↻ rd_mrl_to_market rd_gap ↻ rd_market_entry_ready rd_full_market rd_trl_name rd_trl_exit rd_mrl_name rd_next_hardware_rung

structs

none

consts

none

functions

9func main() -> i64
calls 12: rd_trl_validrd_mrl_validrd_gaprd_next_trlrd_trl_to_marketrd_mrl_to_market+6