Axiom / Operations

Encoding operations

Stages

INGESTSTARTLANDSERVEIN PARALLEL2 reached Release publish1 reached Release activate1 reached Release pin1 left Release activate1 left Release pinCorpus ingest: Source documents enter axiom-corpus: the PR a release is cut from, open to merge.CORPUS INGEST2100% passedRelease publish: axiom-corpus's publish run signs and uploads the release. One visit per run.RELEASE PUBLISH2100% passedRelease activate: A person activates the release: the site serves it.RELEASE ACTIVATE · PERSON1no finished visitsRelease pin: The jurisdiction's rulespec repo pins the release, or a later one, in .axiom/toolchain.toml: the pin lag.RELEASE PIN · PERSON1100% passedTarget 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 CHECKS0no finished visitsReview: Review and the merge decision.REVIEW · PERSON0no finished visitsMerge: Into the default branch, directly or through a side branch's PR.MERGE · PERSON0no finished visitsIndex: The rulespec_files sync picks the module up.INDEX0no finished visitsTests on main: The jurisdiction's validation on the default branch.TESTS ON MAIN0no finished visitsCompile: axiom-api's nightly compile sweep.COMPILE0no finished visitsOracle: 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 ingest2100%1 weeknot measured
Release publish2100%1 weeknot measured
Release activate1–not measured3
Release pin1100%1 weeknot measured1
Start
Target gate–not measuredGate not live yet
Land
PR checks0–not measured
Review0–not measured
Merge0–not measured
Serve
Index0–not measured
Tests on main0–not measured42
Compile0–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 ingest5.6h · 2 visits
Release publish9m · 2 visits
Release pin45h · 1 visits

Validator rules

Rules that rejected tries in the window, most tries first

RuleTriesRunsNext try fails it againPassed later
Complete source unit: deferral17773% · 8 of 111
External source replacement must preserve the123100% · 9 of 90
Complete source unit: tests105100% · 5 of 54
Axiom rules engine compile failed failed8467% · 4 of 60
Complete source unit: structure7367% · 4 of 61
Ungrounded generated numeric literal does not52100% · 3 of 31
Test case execution failed missing input4267% · 2 of 31
Complete source unit: numeric recall32100% · 1 of 11
Complete source unit: source explicit conditions3150% · 1 of 20
Test case output expected integer got21100% · 1 of 11

Validator rules by week

Share of runs with a try that hit the rule

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

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

No citation run again 7+ days later

What the data covers

  • 0 dispatched runs: 0 have per-try records, 0 have a model cost.
  • Time not measured: Corpus ingest, Release publish, Release pin, Release activate, PR checks, Review, Merge, Index, Tests on main, Compile, Oracle.
  • Not measured: Target gate (gate not live yet).
  • 2 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-11-02 to 2026-11-09 · 28,308 events · read 2026-11-09 16:09 UTC.