Axiom / Operations
Encoding operations
Stages
| Stage | Reached | Result | Passed by week | Median | p95 | Open now | Main reason a case left |
|---|---|---|---|---|---|---|---|
| Ingest | |||||||
| Corpus ingest | 16 | 100% | 3.1h | 2.4d | |||
| Release publish | 16 | 100% · tries 89% | 14m | 4.0h | |||
| Release activate | 4 | 100% | 1 week | not measured | 3 | ||
| Release pin | 12 | 100% | 22h | 2.8d | 1 | ||
| Start | |||||||
| Dispatch | 95 | 100% | |||||
| Signing approval | 94 | 96% | 17m | 2.2d | Cancelled while it waited for the signing approval · 4 | ||
| Setup | 91 | 79% | 6m | 20m | Fetch pinned corpus provision objects · 5 | ||
| Target gate | – | not measured | Gate not live yet | ||||
| Encode | |||||||
| Generate | 74 | 100% · tries 100% | 30s | 54s | |||
| Validate | 76 | 36% · tries 13% | 4m | 10m | Complete source unit: deferral · 7 | ||
| Sign & open PR | 28 | 54% | 23s | 10m | 9 | The run passed but opened no PR · 8 | |
| Land | |||||||
| PR checks | 18 | 44% | not measured | Check failed: validate / validate (us-ak) · 6 | |||
| Review | 8 | 100% | not measured | 1 | |||
| Merge | 7 | 71% | not measured | 6 | Merged into a side branch that is not on main yet · 2 | ||
| Serve | |||||||
| Index | 5 | 100% | not measured | ||||
| Tests on main | 5 | 100% | not measured | 68 | |||
| Compile | 5 | 100% | not measured | 4 | |||
| Oracle | 0 | – | not measured | 1 | |||
passedfailedcancelledstill there a person acts at this stage
Failure classes
Encode cases that failed in the window, by who owns the fix
| Class | Owner | Failed cases | Classified by | Main reason |
|---|---|---|---|---|
| Validator rejected the output | Encoder or validator | 36 · 40% | stage or rule 19 · error text 17 | Validate: Complete source unit: deferral · 7 |
| Migration debt | Engine and toolchain | 14 · 16% | error text 14 | PR checks: Check failed: validate / validate (us-ak) · 4 |
| Infra or transient | Infra | 9 · 10% | error text 9 | Setup: Fetch pinned corpus provision objects · 5 |
| Policy or process block | Policy review | 8 · 9% | error text 8 | PR checks: Check failed: validate / validate (us-ak) · 2 |
| Encoder error | Encoder | 1 · 1% | error text 1 | Validate: Valueerror repair artifact is not a · 1 |
| Not classified | – | 22 · 24% | – | Sign & open PR: The run passed but opened no PR · 8 |
A rejected try is an encoder error or a validator false positive; the data cannot split them yet. Encoders from axiom-encode #1997 on record their own class, and that class comes first.
Where the time goes
Summed time of finished visits at each stage
Encode loop
Tries that passed validation, by try number
Validator rules
Rules that rejected tries in the window, most tries first
| Rule | Tries | Runs | Next try fails it again | Passed later |
|---|---|---|---|---|
| Complete source unit: deferral | 22 | 10 | 71% · 10 of 14 | 1 |
| Complete source unit: tests | 16 | 9 | 100% · 7 of 7 | 5 |
| Axiom rules engine compile failed failed | 15 | 7 | 73% · 8 of 11 | 0 |
| Proof source evidence not found | 12 | 8 | 30% · 3 of 10 | 1 |
| External source replacement must preserve the | 12 | 3 | 100% · 9 of 9 | 0 |
| Complete source unit: source explicit conditions | 11 | 5 | 43% · 3 of 7 | 0 |
| Ungrounded generated numeric literal does not | 8 | 4 | 67% · 4 of 6 | 2 |
| Complete source unit: formula output | 8 | 4 | 57% · 4 of 7 | 1 |
| Test case execution failed missing input | 7 | 3 | 80% · 4 of 5 | 1 |
| Complete source unit: structure | 7 | 3 | 67% · 4 of 6 | 1 |
Validator rules by week
Share of runs with a try that hit the rule
No citation run again 7+ days later
No citation run again 7+ days later
No citation run again 7+ days later
No citation run again 7+ days later
Run again 7+ days later: 0 of 1 citations still hit it
Run again 7+ days later: 0 of 1 citations still hit it
What the data covers
- 95 dispatched runs: 52 have per-try records (recorded since 2026-09-13), 49 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 15:57 UTC.