code wiki / (root) / nx_validation_cycle_test.nx

nx_validation_cycle_test.nx

buildroot/runtime/nx_validation_cycle_test.nx

5076 B132 linesdepth 8pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic validation
docsdependenciesstructsconstsfunctions

about

nx_validation_cycle_test.nx -- monthly cycle smoke (parallel shards).

dependencies 6 imports · 0 importers

syscalls.nx nx_axioms.nx nx_qed_db.nx nx_auto_verify.nx nx_shard.nx nx_validation_cycle.nx nx_validation_cycle_test.nx

imports: syscalls.nxnx_axioms.nxnx_qed_db.nxnx_auto_verify.nxnx_shard.nxnx_validation_cycle.nx

imported by: nobody (leaf or entry point)

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

main nx_qed_db_alloc nx_qed_insert nx_qed_entry_at nx_shard_plan_build nx_shard_plan_alloc sys_mmap nx_shard_at nx_verify_stats_alloc nx_shard_at ↻ nx_shard_run_all nx_shard_at ↻ nx_shard_run nx_qed_entry_at ↻ nx_auto_verify_entry nx_auto_try_prove nx_prover_state_alloc nx_prover_add_axiom nx_axiom_is_valid nx_prover_fact_at nx_prover_search nx_prover_has_target nx_prover_step_mp nx_verify_stats_alloc ↻ nx_shard_aggregate nx_shard_at ↻ nx_vc_alloc nx_vc_should_run nx_monthly_report_alloc nx_verify_stats_alloc ↻ nx_vc_run nx_shard_plan_build ↻ nx_shard_run_all ↻ nx_shard_aggregate ↻ nx_qed_count_by_verify nx_qed_entry_at ↻ nx_vc_emit_report vr_str vr_i64 vr_putc

structs

none

consts

none

functions

10func main() -> i64 {
calls 13: nx_qed_db_allocnx_qed_insertnx_shard_plan_buildnx_shard_atnx_shard_run_allnx_verify_stats_alloc+7