Axiom / Operations

Encoding operations

Stages

INGESTSTARTLANDSERVEIN PARALLEL16 reached Release publish4 reached Release activate12 reached Release pin4 reached Review4 reached Merge4 reached Tests on main4 reached Compile4 left Release activate12 left Release pin4 reached PR checks4 reached IndexCorpus ingest: Source documents enter axiom-corpus: the PR a release is cut from, open to merge.CORPUS INGEST16100% passed · 3.1hRelease publish: axiom-corpus's publish run signs and uploads the release. One visit per run.RELEASE PUBLISH16100% passed · 14mtries: 16 of 18 passedRelease activate: A person activates the release: the site serves it.RELEASE ACTIVATE · PERSON4100% passedRelease pin: The jurisdiction's rulespec repo pins the release, or a later one, in .axiom/toolchain.toml: the pin lag.RELEASE PIN · PERSON12100% passed · 22hTarget gate: The encoder's pre-encode gate stops an empty or repealed target before a model call. Not measured: gate not live yet.TARGET GATE—not measuredgate not live yetPR checks: CI on the signed manifest PR.PR CHECKS4100% passedReview: Review and the merge decision.REVIEW · PERSON4100% passedMerge: Into the default branch, directly or through a side branch's PR.MERGE · PERSON4100% passedIndex: The rulespec_files sync picks the module up.INDEX4100% passedTests on main: The jurisdiction's validation on the default branch.TESTS ON MAIN4100% passedCompile: axiom-api's nightly compile sweep.COMPILE4100% passedOracle: The axiom-oracles comparison against a reference model.ORACLE0no finished visits
line width: cases that reached the stage a person acts left the line there not measured yet
StageReachedResultPassed by weekMedianp95Open nowMain reason a case left
Ingest
Corpus ingest16100%2026-10-05: 1 of 1 passed 2026-10-12: 3 of 3 passed 2026-10-19: 9 of 9 passed 2026-10-26: 1 of 1 passed 2026-11-02: 2 of 2 passed3.1h2.4d
Release publish16100% · tries 89%2026-10-05: 1 of 1 passed 2026-10-12: 3 of 3 passed 2026-10-19: 9 of 11 passed 2026-10-26: 1 of 1 passed 2026-11-02: 2 of 2 passed14m4.0h
Release activate4100%1 weeknot measured3
Release pin12100%2026-10-12: 3 of 3 passed 2026-10-19: 5 of 5 passed 2026-10-26: 3 of 3 passed 2026-11-02: 1 of 1 passed22h2.8d1
Start
Target gate–not measuredGate not live yet
Land
PR checks4100%2026-10-05: 3 of 3 passed 2026-10-12: 1 of 1 passednot measured
Review4100%2026-10-05: 3 of 3 passed 2026-10-12: 1 of 1 passednot measured
Merge4100%2026-10-05: 3 of 3 passed 2026-10-12: 1 of 1 passednot measured
Serve
Index4100%2026-10-05: 3 of 3 passed 2026-10-12: 1 of 1 passednot measured
Tests on main4100%2026-10-05: 3 of 3 passed 2026-10-12: 1 of 1 passednot measured42
Compile4100%not measured
Oracle0–not measured1

passedfailedcancelledstill there a person acts at this stage

Where the time goes

Summed time of finished visits at each stage

Corpus ingest10d · 16 visits
Release publish13h · 18 visits
Release activate20h · 2 visits
Release pin13d · 12 visits
Review3.0d · 4 visits
Index6.2h · 4 visits
Tests on main1.4h · 4 visits

Validator rules

Rules that rejected tries in the window, most tries first

RuleTriesRunsNext try fails it againPassed later
Complete source unit: deferral221071% · 10 of 141
Complete source unit: tests169100% · 7 of 75
Axiom rules engine compile failed failed15773% · 8 of 110
Proof source evidence not found12830% · 3 of 101
External source replacement must preserve the123100% · 9 of 90
Complete source unit: source explicit conditions11543% · 3 of 70
Ungrounded generated numeric literal does not8467% · 4 of 62
Complete source unit: formula output8457% · 4 of 71
Test case execution failed missing input7380% · 4 of 51
Complete source unit: structure7367% · 4 of 61

Validator rules by week

Share of runs with a try that hit the rule

Complete source unit: tests
2026-11-02: 5 of 31 runs16%11-0211-02

No citation run again 7+ days later

Complete source unit: deferral
2026-11-02: 7 of 31 runs23%11-0211-02

No citation run again 7+ days later

External source replacement must preserve the
2026-11-02: 3 of 31 runs10%11-0211-02

No citation run again 7+ days later

Axiom rules engine compile failed failed
2026-11-02: 4 of 31 runs13%11-0211-02

No citation run again 7+ days later

Complete source unit: source explicit conditions
2026-11-02: 1 of 31 runs3%11-0211-02

Run again 7+ days later: 0 of 1 citations still hit it

Proof source evidence not found
2026-11-02: 2 of 31 runs6%11-0211-02

Run again 7+ days later: 0 of 1 citations still hit it

What the data covers

  • 0 dispatched runs: 0 have per-try records, 0 have a model cost.
  • Time not measured: Release activate, PR checks, Review, Merge, Index, Tests on main, Compile, Oracle.
  • Not measured: Target gate (gate not live yet).
  • 16 corpus releases in the window. Corpus ingest is the axiom-corpus PR a release is cut from, open to merge; Release publish is each run of its publish workflow; Release activate is its first activation (corpus.scope_activation_history); Release pin runs from the upload to the first pin in its rulespec repo's .axiom/toolchain.toml of it or of a release signed after it (superseded).
  • Window 2026-10-10 to 2026-11-09 · 28,308 events · read 2026-11-09 16:06 UTC.