Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.aethis.ai/llms.txt

Use this file to discover all available pages before exploring further.

Every example on this page is a real, currently-active ruleset in production at api.aethis.ai. Copy, paste, run. If a ruleset here ever 404s, file an issue — we take doc breakage seriously.
Anonymous /decide accepts a public ruleset by ruleset_id or slug. Composed rulebooks (multiple sections bound together) are looked up via the separate rulebook_id field and require an x-api-key header — anonymous callers can still hit each section individually by its slug. See Nomenclature for the full distinction.
Decision tools return deterministic, structured audit envelopes on every response — sub-5ms in the engine, ~100–150ms end-to-end round-trip from Europe.

​
UK Free School Meals — the canonical worked example

Three composed sections (age + school type gate, household means-test, universal infant route). Represents the “rules compiled from legislation” pattern in one compact case.

​
Section A — child eligibility (anonymous)

# State-funded Year 5 child, age 10 — Section A alone
curl -X POST https://api.aethis.ai/api/v1/public/decide \
  -H "Content-Type: application/json" \
  -d '{
    "ruleset_id": "aethis/uk-fsm/child-eligibility",
    "field_values": {
      "child.age": 10,
      "child.school_type": "state_funded"
    }
  }'
# → "decision": "eligible"

​
Section B — household means-test (anonymous)

curl -X POST https://api.aethis.ai/api/v1/public/decide \
  -H "Content-Type: application/json" \
  -d '{
    "ruleset_id": "aethis/uk-fsm/household-criteria",
    "field_values": {
      "household.receives_universal_credit": true,
      "household.annual_net_earnings": 6000,
      "household.receives_income_support": false,
      "household.receives_income_based_jsa": false,
      "household.receives_income_related_esa": false,
      "household.receives_child_tax_credit_only": false,
      "household.receives_nass_support": false,
      "child.is_looked_after": false,
      "child.is_care_leaver": false
    }
  }'
# → "decision": "eligible" — qualifies via Universal Credit under £7,400 threshold

​
Section C — universal infant (anonymous)

# Reception-class child — income-blind route under Children and Families Act 2014
curl -X POST https://api.aethis.ai/api/v1/public/decide \
  -H "Content-Type: application/json" \
  -d '{
    "ruleset_id": "aethis/uk-fsm/universal-infant",
    "field_values": {
      "child.year_group": "reception"
    }
  }'
# → "decision": "eligible"

​
The composed rulebook (A AND (B OR C)) — requires an API key

curl -X POST https://api.aethis.ai/api/v1/public/decide \
  -H "Content-Type: application/json" \
  -H "x-api-key: $AETHIS_API_KEY" \
  -d '{
    "rulebook_id": "aethis/uk-fsm",
    "field_values": {
      "child.age": 10,
      "child.school_type": "state_funded",
      "child.year_group": "year_5",
      "household.receives_universal_credit": true,
      "household.annual_net_earnings": 6000,
      "household.receives_income_support": false,
      "household.receives_income_based_jsa": false,
      "household.receives_income_related_esa": false,
      "household.receives_child_tax_credit_only": false,
      "household.receives_nass_support": false,
      "child.is_looked_after": false,
      "child.is_care_leaver": false
    }
  }'
# → "decision": "eligible" with per-section breakdown
Inspect each section individually: 
curl https://api.aethis.ai/api/v1/public/rulesets/aethis/uk-fsm/child-eligibility/schema
curl https://api.aethis.ai/api/v1/public/rulesets/aethis/uk-fsm/household-criteria/explain

​
Spacecraft Crew Certification Act 2049 — the demo rule

Synthetic but carefully built to exercise ENUM, date, and exception-chain logic. Great for agents learning the tool. 
curl -X POST https://api.aethis.ai/api/v1/public/decide \
  -H "Content-Type: application/json" \
  -d '{
    "ruleset_id": "aethis/spacecraft-crew-certification",
    "field_values": {
      "space.crew.species": "Vogon"
    },
    "include_trace": true
  }'
# → "decision": "not_eligible" — Vogons are disqualified under Section 3(1)

curl https://api.aethis.ai/api/v1/public/rulesets/aethis/spacecraft-crew-certification/schema

​
Construction All Risks insurance — the adversarial benchmark

Five levels of nested exceptions from a real Construction All Risks (CAR) policy. The rule GPT-4 / Claude / Gemini consistently get wrong — and the engine gets right, deterministically, every time. 
curl https://api.aethis.ai/api/v1/public/rulesets/aethis/construction-all-risks/schema
See the CAR benchmark narrative for the full “LLMs get it wrong, compiler gets it right” story.

​
Consumer credit prequalification

Affordability checks with numeric thresholds + soft-fail paths. 
curl https://api.aethis.ai/api/v1/public/rulesets/aethis/consumer-credit-prequalification/schema

​
List every live ruleset

curl https://api.aethis.ai/api/v1/public/rulesets
Returns all currently-active public rulesets with their slugs, schemas, and rule counts. Always reference a ruleset by its slug (e.g. aethis/uk-fsm/child-eligibility); the dated ruleset_id underneath rotates on every regeneration but the slug stays stable. See Decision envelope for the version-pin story.

​
Next steps

  • MCP server — wire the same rulesets into Claude Code / Cursor / Windsurf
  • CLI — uv tool install aethis-cli && aethis decide -b aethis/uk-fsm/child-eligibility ... (or pipx install aethis-cli)
  • REST API — full endpoint reference
  • Author your own rules — invite-only private beta