CLI

# Isolated, no venv juggling:
uv tool install aethis-cli

# Browse the public catalogue
aethis rulesets list --public

# Inspect a public ruleset
aethis fields -b aethis/uk-fsm/child-eligibility

# Evaluate a public ruleset
aethis decide -b aethis/uk-fsm/child-eligibility \
  -i '{"child.age": 10, "child.school_type": "state_funded"}'

aethis decide \
  -b aethis/uk-fsm/child-eligibility \
  -i '{"child.age": 10, "child.school_type": "state_funded"}'

Decision:  eligible
Fields:    2 provided, 2 evaluated

aethis decide \
  -b aethis/uk-fsm/child-eligibility \
  -i '{"child.age": 10, "child.school_type": "independent"}' \
  --explain

Decision:  not_eligible

Explanation:
  school_type_check  FAIL — school_type must be state_funded (Regulation 3, Education Act 1996 s.512ZA)

# Inspect the fields a ruleset expects
aethis fields -b aethis/uk-fsm/child-eligibility

Fields for aethis/uk-fsm/child-eligibility

  child.age          Int     Age in whole years at start of academic year
  child.school_type  Enum    state_funded | independent | home_educated

# 1. Initialise a project (the wizard prompts for a name, runs sign-in, scaffolds)
aethis init my-rules
cd my-rules

Project initialised: my-rules (ruleset)
  aethis.yaml          project config
  sources/             put your policy documents here
  fields/fields.yaml   the field vocabulary for this ruleset
  guidance/hints.yaml  guidance hints (optional)
  tests/scenarios.yaml test cases

# 2. Add source documents
cp policy.pdf sources/
# or .md, .txt — any text format

# 3. Write test cases (see format below)
# 4. Generate rules
aethis generate

Uploading sources...   ✓  1 document
Uploading guidance...  ✓  0 hints
Triggering generation...
Polling...  ████████████████████  done (87s)

Ruleset generated: income_eligibility:20260416-f3a1b2c3

# 5. Run tests
aethis test

Running 4 test cases against income_eligibility:20260416-f3a1b2c3

  PASS  Below threshold — eligible
  PASS  Above threshold — not eligible
  FAIL  Edge case — at exact threshold
        Expected: eligible   Got: not_eligible
        Hint: the threshold condition may be using strict < rather than ≤

1 failure. Run `aethis generate` after adding guidance.

# 6. Add guidance and regenerate
#    Edit guidance/hints.yaml (see format below), then re-run generate:
aethis generate && aethis test

Ruleset generated: income_eligibility:20260416-g4b2c3d4
Running 4 test cases...  4/4 passing ✓

# 7. Publish
aethis publish

Published: income_eligibility:20260416-g4b2c3d4 (v2)
Tests:     4/4 passing
Previous:  income_eligibility:20260416-f3a1b2c3 → deprecated

# targets.yaml
"GRANT-RULES#2.1":
  url: https://example.org/grants/rules
  title: Community Grants Rules, section 2
  authority: Example Council
  licence: OGL-UK-3.0
  quote:
    exact: "must be a resident of the borough"

"GRANT-GUIDE#4.2":
  file: ./corpus/grant-guidance.pdf
  title: Community Grants Guidance
  authority: Example Council
  licence: OGL-UK-3.0
  quote:
    exact: "Applications must include proof of address"

aethis publish --source-targets targets.yaml

aethis review                       # review the current project directory
aethis review proj_abc123           # review a specific project by id
aethis review --coach               # add LLM mentoring prose (needs ANTHROPIC_API_KEY)
aethis review --verbose             # full per-check breakdown
aethis review --json | jq .score    # machine-readable report

Authoring review — score 56/100

  Do next:  Add source-cited 'why' rationales — upload the governing document
            and re-generate so each field's rationale cites it.  (G1)

  Strengths
    ✓ Golden test coverage meets the bar — 6 test cases (threshold 5)
    ✓ The refine loop was driven to green — final pass rate 6/6

  8 checks evaluated. Run with --verbose for the full table.

my-rules/
├── aethis.yaml              # project config
├── sources/                 # policy documents (PDF, MD, TXT)
├── fields/
│   └── fields.yaml          # field vocabulary — manage with `aethis fields`
├── guidance/
│   └── hints.yaml           # guidance hints
├── tests/
│   └── scenarios.yaml       # test cases
└── .aethis/
    └── state.json           # local tool state — auto-updated, don't hand-edit

project: my-rules
api_key_env: AETHIS_API_KEY

hints:
  - process_type: rule_generation
    text: >
      The £30,000 threshold is inclusive — an applicant with exactly £30,000
      annual income qualifies. Use ≤ not <.

  - process_type: field_extraction
    text: >
      All income fields represent annual gross income in whole pounds sterling.
      Do not use monthly or weekly figures.

tests:
  - name: "Below threshold — eligible"
    inputs:
      applicant.annual_income: 25000
    expect:
      outcome: eligible

  - name: "Above threshold — not eligible"
    inputs:
      applicant.annual_income: 35000
    expect:
      outcome: not_eligible

  - name: "Exactly at threshold — eligible"
    inputs:
      applicant.annual_income: 30000
    expect:
      outcome: eligible

aethis generate --model deepseek-flash
aethis refine --model deepseek-flash --hint "Apply the lower age bound inclusively."

deepseek_key_env: MY_DEEPSEEK_API_KEY

aethis --install-completion zsh    # or bash, fish, powershell