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 · 3d 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
Denmark: 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 52m 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 24m ago, from GitHub and the index every 30 minutes.
287 citations · where each one is now
Includes 6 citations encoded outside the pipeline and 0 encoded inside another citation's run.
Top blockers
Weekly
- Dispatched0
- Encoded0
- Merged0
- Merged outside0
Details
DenmarkSteps
| Step | Median time | Runs advanced | Stopped or pending |
|---|---|---|---|
| Signing approval | 1m | of 331 | |
| Encode run | 4m encoded5m failed | of 329 | |
| Pull request | — | of 204 | — |
| Review | 26m merged7h 41m closed54d open now | of 204 | |
| Main branch | 49m from dispatch | of 19 | — |
| Index | — | 0 of 19 |
Inside the encode run
- Setup
- 2m
- Encode loop
- Encoded
- 1m
- Failed
- 3m
- Model timeNot timed yet
- Check timeNot timed yet
- Sign and open the PR
- 13s
Tries used
Not recorded yet