nx_validation_cycle.nx
buildroot/runtime/nx_validation_cycle.nx
about
nx_validation_cycle.nx -- monthly validation cycle orchestrator.
Runs nx_auto_verify across the entire QED database on a fixed
cadence (default monthly). Uses sharded parallelism via nx_shard.
Tracks last_run_ns + cycle_id; emits structured monthly report.
Per user mandate 2026-05-13: 'we want NishiLang where we can
validate its math monthly as it ingests more theorems quickly so
parallelism etc are required so we can address the catalog'.
genealogy_id: continuous_integration + ci_cd + parallel_validation
lineage_id: periodic_orchestration + shard_dispatch
axioms: NX_AX_ALG_ASSOCIATIVITY (shard aggregation is associative)
dependencies 7 imports · 1 importers
imports: syscalls.nxnx_axioms.nxnx_clock.nxnx_qed_db.nxnx_prover.nxnx_auto_verify.nxnx_shard.nx
imported by: nx_validation_cycle_test.nx
structs
| 35 | struct ValidationCycle |
| 69 | struct MonthlyReport |
consts
| 31 | const NX_VC_MONTH_NS: i64 = 2592000000000000 // 30 days in ns |
| 43 | const NX_VC_BYTES: i64 = 40 |
| 83 | const NX_MONTHLY_REPORT_BYTES: i64 = 80 |
functions
| 45 | func nx_vc_alloc(n_shards: i64, cycle_budget: i64) -> *ValidationCycle called by 1: main |
| 61 | func nx_vc_should_run(v: *ValidationCycle, now_ns: i64) -> i64 called by 1: main |
| 85 | func nx_monthly_report_alloc() -> *MonthlyReport |
| 104 | func nx_vc_run(v: *ValidationCycle, db: *QedDb, targets: *i64, called by 1: main calls 4: nx_shard_plan_buildnx_shard_run_allnx_shard_aggregatenx_qed_count_by_verify |
| 142 | func vr_putc(fd: i64, c: i64) -> i64 called by 1: vr_i64 |
| 149 | func vr_str(fd: i64, s: *u8, n: i64) -> i64 called by 1: nx_vc_emit_report |
| 154 | func vr_i64(fd: i64, n: i64) -> i64 |
| 178 | func nx_vc_emit_report(fd: i64, r: *MonthlyReport) -> i64 |