Axiom / Operations
Encoding operations
From source law to executable rules. Follow the fleet, explore recent encodings, and see what’s next.
Fleet activity
Idle — no machines encoding
Last encode · 2d ago
ca:policy/cra/t1-2025/t1-income-net-taxable-income/step-2
Canada — CRA 2025 T1 Income Net and Taxable Income Aggregation — Step 2 - Total income
completed
Workflows
Encoding ledger
Latest encodings
Every run, grouped by jurisdiction and document. Open a section for its runs.
Loading runs…
Program bundles
Documents complete (dark green) and partly encoded (light green), as each bundle's page counts them. A state's bundle includes the program's federal law. Validated: done without resting on a validation waiver. Updated 34m ago.
ProgramCompleteness
| State | Tier 1 · screener-level parity | Tier 2 · full bundle |
|---|---|---|
| Federal lawshared by every state | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 199 not started · 1 not in the corpus |
| Alabama | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | 1%3 complete (2 validated) · 60 partly · 234 not started · 1 not in the corpus |
| Alaska | 1%2 complete (1 validated) · 34 partly · 116 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 440 not started · 1 not in the corpus |
| Arizona | 2%3 complete (1 validated) · 35 partly · 114 not started · 1 not in the corpus | 1%4 complete (2 validated) · 45 partly · 201 not started · 31 not in the corpus |
| Arkansas | 1%2 complete (1 validated) · 34 partly · 115 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 205 not started · 1 not in the corpus |
| California | 1%2 complete (1 validated) · 34 partly · 121 not started · 1 not in the corpus | <1%1 complete (1 validated) · 42 partly · 222 not started · 1 not in the corpus |
| Colorado | 1%2 complete (1 validated) · 35 partly · 114 not started · 1 not in the corpus | <1%1 complete (1 validated) · 38 partly · 202 not started · 1 not in the corpus |
| Connecticut | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 478 not started · 1 not in the corpus |
| Delaware | 1%2 complete (1 validated) · 34 partly · 117 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 202 not started · 1 not in the corpus |
| District of Columbia | 1%2 complete (1 validated) · 34 partly · 116 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 202 not started · 1 not in the corpus |
| Florida | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%2 complete (1 validated) · 38 partly · 266 not started · 1 not in the corpus |
| Georgia | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | 2%7 complete (3 validated) · 39 partly · 287 not started · 1 not in the corpus |
| Hawaii | 1%2 complete (1 validated) · 34 partly · 117 not started · 1 not in the corpus | <1%1 complete (1 validated) · 38 partly · 220 not started · 1 not in the corpus |
| Idaho | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 38 partly · 199 not started · 1 not in the corpus |
| Illinois | 1%2 complete (1 validated) · 34 partly · 115 not started · 1 not in the corpus | <1%4 complete (2 validated) · 38 partly · 4,946 not started · 1 not in the corpus |
| Indiana | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 38 partly · 199 not started · 1 not in the corpus |
| Iowa | 1%2 complete (1 validated) · 34 partly · 116 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 211 not started · 1 not in the corpus |
| Kansas | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 218 not started · 1 not in the corpus |
| Kentucky | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 202 not started · 1 not in the corpus |
| Louisiana | 1%2 complete (1 validated) · 34 partly · 117 not started · 1 not in the corpus | <1%2 complete (1 validated) · 37 partly · 547 not started · 1 not in the corpus |
| Maine | 1%2 complete (1 validated) · 34 partly · 116 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 202 not started · 1 not in the corpus |
| Maryland | 1%2 complete (1 validated) · 34 partly · 122 not started · 1 not in the corpus | <1%1 complete (1 validated) · 38 partly · 258 not started · 1 not in the corpus |
| Massachusetts | 1%2 complete (1 validated) · 35 partly · 117 not started · 1 not in the corpus | 7%21 complete (13 validated) · 45 partly · 227 not started · 2 not in the corpus |
| Michigan | 1%2 complete (1 validated) · 34 partly · 117 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 212 not started · 1 not in the corpus |
| Minnesota | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 200 not started · 1 not in the corpus |
| Mississippi | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 200 not started · 1 not in the corpus |
| Missouri | 2%3 complete (2 validated) · 34 partly · 118 not started · 1 not in the corpus | 2%13 complete (10 validated) · 37 partly · 705 not started · 1 not in the corpus |
| Montana | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 282 not started · 1 not in the corpus |
| Nebraska | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 205 not started · 1 not in the corpus |
| Nevada | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 201 not started · 1 not in the corpus |
| New Hampshire | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 38 partly · 702 not started · 1 not in the corpus |
| New Jersey | 1%2 complete (1 validated) · 34 partly · 119 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 204 not started · 1 not in the corpus |
| New Mexico | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 227 not started · 1 not in the corpus |
| New York | 1%2 complete (1 validated) · 34 partly · 114 not started · 2 not in the corpus | <1%1 complete (1 validated) · 37 partly · 216 not started · 2 not in the corpus |
| North Carolina | 1%2 complete (1 validated) · 35 partly · 115 not started · 1 not in the corpus | 6%19 complete (11 validated) · 95 partly · 226 not started · 1 not in the corpus |
| North Dakota | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 270 not started · 1 not in the corpus |
| Ohio | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 201 not started · 1 not in the corpus |
| Oklahoma | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 206 not started · 1 not in the corpus |
| Oregon | 1%2 complete (1 validated) · 34 partly · 115 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 201 not started · 1 not in the corpus |
| Pennsylvania | 1%2 complete (1 validated) · 34 partly · 117 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 496 not started · 1 not in the corpus |
| Rhode Island | 1%2 complete (1 validated) · 34 partly · 115 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 200 not started · 1 not in the corpus |
| South Carolina | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 38 partly · 218 not started · 1 not in the corpus |
| South Dakota | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 200 not started · 1 not in the corpus |
| Tennessee | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%3 complete (2 validated) · 68 partly · 310 not started · 1 not in the corpus |
| Texas | 1%2 complete (1 validated) · 34 partly · 116 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 485 not started · 1 not in the corpus |
| Utah | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 290 not started · 1 not in the corpus |
| Vermont | 1%2 complete (1 validated) · 34 partly · 117 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 231 not started · 1 not in the corpus |
| Virginia | 1%2 complete (1 validated) · 34 partly · 116 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 207 not started · 1 not in the corpus |
| Washington | 1%2 complete (1 validated) · 34 partly · 117 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 211 not started · 1 not in the corpus |
| West Virginia | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%1 complete (1 validated) · 37 partly · 200 not started · 1 not in the corpus |
| Wisconsin | 1%2 complete (1 validated) · 34 partly · 115 not started · 1 not in the corpus | <1%1 complete (1 validated) · 37 partly · 201 not started · 1 not in the corpus |
| Wyoming | 1%2 complete (1 validated) · 34 partly · 114 not started · 1 not in the corpus · no state documents | <1%2 complete (1 validated) · 37 partly · 206 not started · 1 not in the corpus |
Pipeline
Where every citation is
Updated 3m ago, from GitHub and the index every 30 minutes.
1,192 citations · where each one is now
Includes 685 citations encoded outside the pipeline and 4 encoded inside another citation's run.
Top blockers
Weekly
- Dispatched19
- Encoded6
- Merged0
- Merged outside1
Details
Steps
| Step | Median time | Runs advanced | Stopped or pending |
|---|---|---|---|
| Signing approval | 1m | of 1,353 | |
| Encode run | 4m encoded9m failed | of 1,262 | |
| Pull request | — | of 349 | |
| Review | 23m merged41m closed53d open now | of 336 | |
| Main branch | 57m from dispatch | of 43 | |
| Index | 1h 51m | of 35 | |
| Tests on main | 1h 58m | of 9 | — |
Inside the encode run
- Setup
- 2m
- Encode loop
- Encoded
- 1m
- Failed
- 8m
- Model time
- Encoded
- 54s
- Failed
- 2m
- Check time
- Encoded
- 2m
- Failed
- 12m
- Sign and open the PR
- 13s
Tries used
| Tries | 1 | 2 | 3 | 4 |
|---|---|---|---|---|
| Encoded | 33 | 11 | 14 | 4 |
| Failed | 8 | 19 | 12 | 222 |