Refill prescriptions on a schedule

python -c "import gnd, pathlib, shutil; shutil.copytree(pathlib.Path(gnd.__file__).parent / 'examples/plan_apps', 'plan_apps', ignore=shutil.ignore_patterns('recordings', 'skill-sessions', '__pycache__'), dirs_exist_ok=True)"
ls plan_apps/clinic

README.md
app.py
model.orm.json
plans
rules.md
stand_in_bot.py
state.pop.json

# Pharmacy refill rules

- Only prescribed drugs are refilled.
- A refill can't be given before the drug's refill interval has passed since
  the last refill.
- A patient never gets two drugs that interact on the same day, whichever way
  round the interaction is listed.
- A patient should not go more than 60 days between refills (a guideline: the
  checker warns, it doesn't refuse).
- The pharmacist uses judgement for anything the rules don't cover (not
  something a checker can check; it is listed as not checked).

## What the pharmacy does

- Refill a drug for a patient on a day.

## On 10 March 2024

Sam is prescribed a statin (every 30 days, last on 20 February), warfarin
(every 7 days, last on 1 March) and aspirin (every 30 days, last on
15 January). Warfarin and aspirin interact.

/gnd:gnd-model-from-text rules.md

gnd validate plan_apps/clinic/model.orm.json

OK: plan_apps/clinic/model.orm.json is a valid GND ORM model

python plan_apps/clinic/app.py rules

The rules as PyRel, generated from the model by `gnd export pyrel`. In a plan, every relation also
takes the state as its first argument: `step` is the state after a step, `before` the state before it.
These are the LQP program's requirements; the DuckDB program checks the same rules as violation queries.

Derived facts
  interacting_pair: Drug and Drug interact, either way round
    m.where(interacts(step, a, b)).define(interacting_pair_derived(step, a, b))
    m.where(interacts(step, b, a)).define(interacting_pair_derived(step, a, b))

Rules checked on every state
  one_last_refill: (must) A patient has one last refill per drug.
    m.where(last_refill(step, patient, drug, day_1), last_refill(step, patient, drug, day_2)).require(day_1 == day_2)
  refill_not_early: (must) A refill can't be given before the drug's refill interval has passed.
    m.where(refill(step, p, d, on), last_refill(step, p, d, last), refill_interval(step, d, n)).require(on >= std_date.add(last, days(n)))
  no_interacting_refills: (must) A patient never gets two drugs that interact on the same day.
    m.where(refill(step, p, a, on), refill(step, p, b, on), interacting_pair(step, a, b)).require(a == b)
  not_too_late: (should) A patient should not go more than 60 days between refills.
    m.where(refill(step, p, d, on), last_refill(step, p, d, last)).require(on <= std_date.add(last, days(60)))

Preconditions, checked on the state before each step
  pre_prescribed: Only prescribed drugs are refilled.
    m.where(do_refill_drug(step, patient, drug, on), previous(step, before)).require(prescribed(before, patient, drug))

Refill Sam's prescriptions today.

python plan_apps/clinic/app.py ask "Refill Sam's prescriptions today." --out next-clinic.pop.json

attempt 1
  plan  refill_drug(patient='sam', drug='statin', on='2024-03-10')
  plan  refill_drug(patient='sam', drug='warfarin', on='2024-03-10')
  plan  refill_drug(patient='sam', drug='aspirin', on='2024-03-10')
  gnd check: exit 1
    states 0-3  pharmacist_judgement  not checked  a textual rule: no checker can check it, so it is listed as not checked
    states 1-3  refill_not_early  violated  [{"$p": "sam", "$d": "statin", "$on": "2024-03-10", "$last": "2024-02-20", "$n": 30}]
      the rule in PyRel: m.where(refill(step, p, d, on), last_refill(step, p, d, last), refill_interval(step, d, n)).require(on >= std_date.add(last, days(n)))
    state 3  no_interacting_refills  violated  [{"$p": "sam", "$a": "aspirin", "$on": "2024-03-10", "$b": "warfarin"}, {"$p": "sam", "$a": "warfarin", "$on": "2024-03-10", "$b": "aspirin"}]
      the rule in PyRel: m.where(refill(step, p, a, on), refill(step, p, b, on), interacting_pair(step, a, b)).require(a == b)
attempt 2
  plan  refill_drug(patient='sam', drug='statin', on='2024-03-21')
  plan  refill_drug(patient='sam', drug='warfarin', on='2024-03-10')
  plan  refill_drug(patient='sam', drug='aspirin', on='2024-03-10')
  gnd check: exit 1
    states 0-3  pharmacist_judgement  not checked  a textual rule: no checker can check it, so it is listed as not checked
    state 3  no_interacting_refills  violated  [{"$p": "sam", "$a": "aspirin", "$on": "2024-03-10", "$b": "warfarin"}, {"$p": "sam", "$a": "warfarin", "$on": "2024-03-10", "$b": "aspirin"}]
attempt 3
  plan  refill_drug(patient='sam', drug='statin', on='2024-03-21')
  plan  refill_drug(patient='sam', drug='warfarin', on='2024-03-10')
  gnd check: exit 0 (accepted)
    states 0-2  pharmacist_judgement  not checked  a textual rule: no checker can check it, so it is listed as not checked
  executed: the new state is in next-clinic.pop.json

printf '%s\n' '{"steps": [{"op": "refill_drug", "bindings": {"patient": "sam", "drug": "aspirin", "on": "2024-03-20"}}]}' > late.steps.json
python plan_apps/clinic/app.py check late.steps.json

gnd check: exit 0
  states 0-1  pharmacist_judgement  not checked  a textual rule: no checker can check it, so it is listed as not checked
  state 1  not_too_late  warning  [{"$p": "sam", "$d": "aspirin", "$on": "2024-03-20", "$last": "2024-01-15"}]