Arxo Law for developers

Law as Code infrastructure.

Software and AI agents that take the official text as given inherit its bugs. Arxo gives them an executable model of the rule instead.

Send case facts and a date. Get a result, its legal basis and the version of the law used.

Change the facts. Check the result.

The first example is a recorded run of the Medicaid community engagement requirement on example facts: one case clears the condition, one is missing facts, one is not established. The flight case runs in your browser: change the distance or the notice period and recalculate.

Your question

An adult in the expansion group applies for Medicaid on 10 February 2027 and cares for a six-year-old. Is the community engagement condition cleared?

Chain of reasoning3 grounds
  1. 42 CFR 435.554(a)A child 13 years of age or under who relies on another individual for care is a dependent child.
  2. 1396a(xx)(9)(A)(ii)(III)A parent, guardian, caretaker relative or family caregiver of a dependent child 13 years of age and under is a specified excluded individual.
  3. 1396a(xx)(9)(A)(ii)A specified excluded individual is not an applicable individual, so the condition is cleared without activity hours.
ResultCLEARED

The condition is cleared through the exclusion. One condition of eligibility on example facts, not a Medicaid decision.

recorded run · example facts · CFR edition of 23 Oct 2026
  • Source and editionThe text and the version the rules come from.
  • GroundsThe provisions behind each step from the facts to the result.
  • Clear answer statesThe outcome, the facts still needed, and any decision assigned to a person.
  • Repeatable runsKeep the model version, the question, the facts and the date, and the run repeats exactly; a checksum confirms the match.
  • Scope on recordEach result names the model version and what that model covers; the model’s status passport says what has been reviewed.

Choose how Arxo fits your stack.

Call a pinned model from your application or connect an agent to it.