Tools reference

aethis_decide({
  ruleset_id: "aethis/uk-fsm/child-eligibility",
  field_values: { "child.age": 10, "child.school_type": "state_funded" },
  include_trace: true,
  include_explanation: true
})

{
  "decision": "eligible",
  "fields_provided": 2,
  "fields_evaluated": 2,
  "trace": {
    "status": "eligible",
    "group_statuses": {
      "school_type_check": "satisfied",
      "age_check": "satisfied"
    }
  },
  "explanation": [
    {
      "criterion_id": "relevant_school",
      "group": "school_type_check",
      "title": "Pupil attends a relevant school",
      "rule_text": "child.school_type equals \"state_funded\""
    },
    {
      "criterion_id": "age_range",
      "group": "age_check",
      "title": "Child is aged 4 to 15 inclusive",
      "rule_text": "( AND child.age is at least 4 AND child.age is at most 15)"
    }
  ]
}

aethis_schema({ ruleset_id: "aethis/uk-fsm/child-eligibility" })

{
  "ruleset_id": "aethis/uk-fsm/child-eligibility",
  "fields": [
    {
      "key": "child.age",
      "sort": "Int",
      "description": "Age of the child in years at the start of the school year."
    },
    {
      "key": "child.school_type",
      "sort": "Enum",
      "enum_values": ["state_funded", "independent", "home_educated"],
      "description": "Type of school the child attends."
    }
  ]
}

aethis_next_question({
  ruleset_id: "aethis/uk-fsm/household-criteria",
  field_values: {}
})

Decision: undetermined (0/9 fields provided)

Next question to ask:
  Field: household.receives_universal_credit
  Question: Does the household receive Universal Credit?
  Priority weight: 1 (lower = more important)

Full remaining path (2 questions):
  1. Does the household receive Universal Credit? (household.receives_universal_credit)
  2. Household annual net earnings (household.annual_net_earnings)

All missing fields: household.receives_universal_credit, household.annual_net_earnings,
  household.receives_income_support, ... (9 total)

aethis_next_question({
  ruleset_id: "aethis/uk-fsm/household-criteria",
  field_values: {
    "household.receives_universal_credit": true,
    "household.annual_net_earnings": 5000
  }
})

Decision: eligible. No more questions needed.

aethis_explain({ ruleset_id: "aethis/uk-fsm/household-criteria" })

{
  "ruleset_id": "aethis/uk-fsm/household-criteria",
  "criteria": [
    {
      "criterion_id": "reg4_universal_credit",
      "group": "qualifying_criterion",
      "title": "Reg 4(a) — Universal Credit with net earnings ≤ £7,400",
      "rule_text": "( AND household.receives_universal_credit equals true AND household.annual_net_earnings is at most 7400)"
    },
    {
      "criterion_id": "reg4_income_support",
      "group": "qualifying_criterion",
      "title": "Reg 4(b) — Income Support",
      "rule_text": "household.receives_income_support equals true"
    }
  ]
}

aethis_explain_failure({
  ruleset_id: "aethis/uk-fsm/child-eligibility",
  field_values: { "child.age": 10, "child.school_type": "independent" },
  expected_outcome: "not_eligible",
  test_name: "Age 10, independent school — not eligible"
})

{
  "actual_outcome": "eligible",
  "expected_outcome": "not_eligible",
  "is_failure": true,
  "diagnosis": "The compiled rule checks age only. The school_type constraint is missing.",
  "dsl_hint": "Add guidance: Regulation 3(2)(b) restricts eligibility to state-funded schools.",
  "criteria": [
    {
      "criterion_id": "age_range",
      "group": "age_check",
      "title": "Child is aged 4 to 15 inclusive",
      "rule_text": "( AND child.age >= 4 AND child.age <= 15)"
    }
  ],
  "group_statuses": { "age_check": "satisfied" }
}

aethis_discover_sections({
  domain: "uk_fsm",
  sources: [
    { name: "Education Act 1996", content: "Section 512 — Provision of meals..." },
    { name: "FSM Regulations 2014", content: "Regulation 3 — Persons who..." }
  ],
  anthropic_key: "sk-ant-..."
})

aethis_validate_sections({
  domain: "uk_fsm",
  expected_sections: ["child_eligibility", "household_qualifying_criteria", "universal_infant_fsm"],
  discovered_sections: ["child_eligibility", "household_benefits", "universal_infant_fsm"]
})

aethis_refine_sections({
  domain: "uk_fsm",
  feedback: "Rename 'household_benefits' to 'household_qualifying_criteria' — it covers Regulation 4 qualifying criteria, not just benefits.",
  sources: [...],
  anthropic_key: "sk-ant-..."
})

aethis_set_field_spec({
  project_id: "proj_8CzLVwyx53rTGEJv",
  expected_fields: [
    { key: "child.age", sort: "Int" },
    { key: "child.school_type", sort: "Enum", enum_values: ["state_funded", "independent", "home_educated"] }
  ]
})

aethis_refine_fields({
  project_id: "proj_8CzLVwyx53rTGEJv",
  feedback: "Section 512ZA defines 'relevant school' as maintained schools and Academies only. Add child.school_type as an Enum with values: state_funded, independent, home_educated.",
  anthropic_key: "sk-ant-..."
})

aethis_create_ruleset({
  name: "Child eligibility gate",
  section_id: "child_eligibility",
  domain: "uk_fsm",
  source_text: "Section 512 — Provision of meals...",
  test_cases: [
    { name: "Age 4, state school — eligible", field_values: { "child.age": 4, "child.school_type": "state_funded" }, expected_outcome: "eligible" },
    { name: "Age 3, state school — too young", field_values: { "child.age": 3, "child.school_type": "state_funded" }, expected_outcome: "not_eligible" }
  ]
})

aethis_generate_and_test({
  project_id: "proj_8CzLVwyx53rTGEJv",
  anthropic_key: "sk-ant-..."
})

aethis_refine({
  project_id: "proj_8CzLVwyx53rTGEJv",
  feedback: "Regulation 3(2)(b) restricts eligibility to state-funded schools. Independent schools and home-educated children are excluded.",
  anthropic_key: "sk-ant-..."
})

aethis_add_domain_guidance({
  domain: "uk_fsm",
  guidance_text: "Use child.* prefix for child fields, household.* for household fields.",
  process_type: "field_extraction",
  adherence: "exact"
})

aethis_publish({
  project_id: "proj_8CzLVwyx53rTGEJv",
  label: "v1 — child eligibility gate (age 4–15, state-funded schools)"
})

aethis_schema({ ruleset_id })          → field names, types, enum values
aethis_decide({ ruleset_id, fields })  → eligible / not_eligible / undetermined

aethis_next_question({ ruleset_id, field_values: {} })        → first question
aethis_next_question({ ruleset_id, field_values: { ... } })   → next question or decision
// Repeat until decision is reached

aethis_create_ruleset(name, section_id, source_text, test_cases)  → project_id
aethis_discover_fields(project_id)                                → confirm field names
                                                                  → write test cases
aethis_generate_and_test(project_id)                              → run tests
aethis_refine(project_id, feedback) × N                           → iterate on failures
aethis_publish(project_id)                                        → ruleset_id

aethis_discover_sections(domain, sources)
aethis_validate_sections(domain, expected, discovered)
aethis_refine_sections(domain, feedback, sources)     // if wrong

aethis_set_field_spec(project_id, expected_fields)    // optional, recommended
aethis_discover_fields(project_id)
aethis_validate_fields(project_id, expected_fields)   // explicit gate
aethis_refine_fields(project_id, feedback)            // if wrong

aethis_create_ruleset(...)
aethis_generate_and_test(project_id)
aethis_refine(project_id, feedback)     // repeat until all pass
aethis_publish(project_id)             → ruleset_id