Axiom / Operations
Encoding operations
From source law to executable rules. Follow the fleet, explore recent encodings, and see what’s next.
Encoding now — 1 machine
ca:policy/cra/t1-2025/provincial-territorial-foreign-tax-credit
Canada — CRA Form T2036 2025 Provincial or Territorial Foreign Tax Credit
in progress · started 1m 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 | 5 | 3h ago | |
| US Federal | ||||
CERTIFICATION OF ELIGIBLE HOUSEHOLDS | ||||
| 4 | Citizenship and alien status | flagged | 1 | 9h ago |
| 7 | Work provisions | in progress | 1 | 10h 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 | 15h 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 | |
Hawaii SNAP
Each part of the program, and how far each delivery tier has come in it. Updated 18m ago.
154 in scope
260 in scope
3,170 in Tier 1
- Encoded61
- Encoded, not validated79
- Partly encoded25
- Deferred191
- In progress10
- Failed24
- Not started2,779
- Not in the corpus1
4,782 in Tier 2
- Encoded69
- Encoded, not validated82
- Partly encoded33
- Deferred192
- In progress10
- Failed24
- Not started4,371
- Not in the corpus1
Where the numbers come from
Tier 1: Screener-level parity154 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, 3 state
Tier 2: Full document bundle260 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, 22 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,779 | 3,169 | ||
|---|---|---|---|---|---|---|---|---|---|---|
| Not in the corpus | each Tier 1 provision of a document the corpus does not hold | 1 | ||||||||