code wiki / (root) / nx_build_plan_sim_test.nx

nx_build_plan_sim_test.nx

buildroot/runtime/nx_build_plan_sim_test.nx

3647 B84 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic build
docsdependenciesstructsconstsfunctions

about

nx_build_plan_sim_test.nx -- verify build_plan simulator second stone of the simulation discipline. Closed-form invariants: (a) Null inputs -> 0 issues written (b) Christus 3-process plan (total 2910min, max cure 2880min) under deadline=3000min + max_cure=3000min -> 0 issues (c) Same plan under deadline=1000min -> DEADLINE_MISSED, magnitude = 2910-1000 = 1910 min (d) Same plan under max_cure=1000min -> POST_CURE_OVERRUN issues for the two parts that exceed (base 1440min, crown 2880min) (e) Tight deadline + tight cure together -> multiple issues (f) Issue records have correct part_id mapping expect_exit: 0 license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_print_process.nx nx_build_plan.nx nx_build_plan_sim.nx nx_build_plan_sim_test.nx

imports: nx_syscalls.nxnx_print_process.nxnx_build_plan.nxnx_build_plan_sim.nx

imported by: nobody (leaf or entry point)

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

main nx_build_plan_new sys_mmap nx_build_plan_add_part nx_process_is_valid nx_build_plan_solve sys_mmap ↻ nx_build_plan_sim_check nx_build_sim_issue_is_vali

structs

none

consts

none

functions

23func main() -> i64
calls 6: nx_build_plan_newnx_build_plan_add_partnx_build_plan_solvesys_mmapnx_build_plan_sim_checknx_build_sim_issue_is_valid