Axiom / Operations
Encoding operations
From source law to executable rules. Follow the fleet, explore recent encodings, and see what’s next.
Recently active — 1 run finished in the last hour
ca:policy/cra/t1-2025/provincial-territorial-foreign-tax-credit
Canada — CRA Form T2036 2025 Provincial or Territorial Foreign Tax Credit
failed after 4 attempts 31m ago
Workflows
Encoding ledger
Latest encodings
Recent activity, grouped by jurisdiction and document.
| Section | Provision | Status | Attempts | Last run |
|---|---|---|---|---|
| Canada | ||||
CRA Form T2036 2025 Provincial or Territorial Foreign Tax Credit | ||||
| provincial-territorial-foreign-tax-credit | flagged | 6 | 31m ago | |
| US Federal | ||||
CERTIFICATION OF ELIGIBLE HOUSEHOLDS | ||||
| 4 | Citizenship and alien status | flagged | 1 | 9h ago |
| 7 | Work provisions | in progress | 1 | 11h ago |
| 10 | Determining household eligibility and benefit levels | flagged | 1 | 7d ago |
SNAP FY 2026 Income Eligibility Standards | ||||
| snap-fy2026-income-eligibility-standards | flagged | 3 | 3d ago | |
SNAP FY 2026 Maximum Allotments and Deductions | ||||
| page-2 | Page 2 | flagged | 4 | 5d ago |
SNAP - Fiscal Year 2026 Cost-of-Living Adjustments (memorandum) | ||||
| page-3 | Page 3 | in progress | 2 | 5d ago |
AGRICULTURE | ||||
| 2012/j | 7 U.S.C. § 2012(j) | flagged | 5 | 7d ago |
| N.J.S.A. 54A | ||||
N.J.S.A. 54A:6-10 | ||||
| N.J.S.A. 54A:6-10 | in progress | 1 | 16h ago | |
| Israel | ||||
חוק ביטוח בריאות ממלכתי, התשנ״ד–1994 | ||||
| section-14 | חובת תשלום דמי ביטוח בריאות | flagged | 2 | 5d ago |
| Oklahoma | ||||
Person 65 years of age or older or totally disabled person - Filing of claim | ||||
| 68-2906 | flagged | 2 | 7d ago | |
| New Mexico | ||||
Deduction from net income for certain dependents. | ||||
| 7-2-39 | flagged | 2 | 7d ago | |
Idaho SNAP
Each part of the program, and how far each delivery tier has come in it. Updated 29m ago.
151 in scope
239 in scope
3,165 in Tier 1
- Encoded61
- Encoded, not validated79
- Partly encoded25
- Deferred191
- In progress10
- Failed24
- Not started2,774
- Not in the corpus1
4,201 in Tier 2
- Encoded72
- Encoded, not validated81
- Partly encoded33
- Deferred206
- In progress10
- Failed24
- Not started3,774
- Not in the corpus1
Where the numbers come from
Tier 1: Screener-level parity151 documents
The reference model's citations at the release it was built from (the newest, by default) and the plan's documents, each in the layer of the law it names, grouped into documents.
- Tier 1 built from reference version
- 2.29.11 (4c900b6d3d), 460 references; newest is 2.49.12
- Plan
- 155 documents for the program
- Fiscal year
- FY2027
- By layer
- 151 federal; no state documents in this tier
Tier 2: Full document bundle239 documents
Every in-scope document of Tier 1; the federal law of the program, section by section, from its needs-closure schema, and its federal guidance manifests; each state's own sources from its manifests for the program; and the sources the config knows the corpus does not hold yet.
- Tier 1
- every in-scope document, included
- Federal law
- docs/coverage/needs-closure-2026-09-14/snap-schema.yaml
- Federal guidance
- manifests matching ^us-(snap|hhs-poverty)
- State sources
- the state's manifests matching snap|nutrition|faa[0-9]|food-?stamp|calfresh|foodshare|3squares|fsp-manual|-nap-|fns-manual
- Not in the corpus yet
- 12 known sources
- By layer
- 238 federal, 1 state
Membership: TheAxiomFoundation/axiom-corpus@main:manifests/program-bundles/snap.yaml#95d6f88364f7, built from its config in axiom-corpus. Progress: the served corpus, every RuleSpec module's rules and deferrals, the validation waivers, and the encode runs, read by the collector every 30 minutes.
Documents
| Total | 61 | 79 | 25 | 191 | 10 | 24 | 2,774 | 3,164 | ||
|---|---|---|---|---|---|---|---|---|---|---|
| Not in the corpus | each Tier 1 provision of a document the corpus does not hold | 1 | ||||||||