One case. Five moments. Every answer opens into proof.

Follow a synthetic prior-authorization case through the exact boundary LogicPearl governs: AI helps find evidence, policy rules make the repeatable call, a reviewer verifies the proof, and a receipt preserves what happened.

Synthetic patient Published payer policy No sign-in

What to watch for

  1. The packetMessy evidence arrives as it is.
  2. The model boundaryExtraction can vary; policy cannot.
  3. The decisionEvery criterion lands in a named state.
  4. The reviewA clinician can verify the exact proof.
  5. The receiptThe reason survives policy changes and appeals.

The packet arrives

It arrives as faxes, scans, copied-forward chart language, and handwriting. Before anyone can apply the policy, the case has to become evidence a reviewer can inspect, with the page each fact came from.

The job: preserve where every fact came from while turning the packet into reviewable evidence.

Clinical note · p.11
Imaging report · p.6
PA-2214Intake

Prior auth · lumbar radiofrequency ablation

Requested
CPT 64635 · L4–L5, right
Diagnosis
M54.16 · lumbar radiculopathy
Payer
Commercial PPO
“MRI reviewed; conservative therapy plateaued after 12 PT visits.”
16 pages2 handwritten notes1 date conflict

24 recorded determinations

20 / 4 split
GPT-5.5 ✓
Opus 4.8 ✓
GPT-4.1 ✓
GPT-4o ✓
4.1-mini ✓
4o-mini ✓
Sonnet 4.6 ✕
Haiku 4.5 ↕

Three recorded runs per model group. Haiku changed its own answer; matching verdicts still cited different criteria.

AI proposes the evidence

Document and language models find candidate evidence in the packet. Their answers can drift across vendors and reruns, so LogicPearl keeps that work in the evidence step, where every finding can be checked.

The boundary: models may propose facts; they do not become the policy of record.

Policy rules make the repeatable call

The compiled policy artifact evaluates the same criteria the reviewer has to defend: what is satisfied, what is missing, what conflicts, what blocks the case, and what would make it ready.

PA-2214 Readiness result
policy_artifact_v2026.04 Blocked
Requirements
✓ Chronic low back pain ≥ 6 months satisfied: packet p.8 ¶2 · policy §1.a
✓ Conservative therapy trialed ≥ 6 weeks satisfied: packet p.11 ¶4 · policy §1.b
✓ No exclusion criteria matched satisfied: prior fusion at level documented absent
✕ Advanced imaging within 90 days of request missing: most recent MRI dated 141 days before request · policy §2.b
? Symptom laterality consistent across chart needs review: p.9 notes left-sided pain, p.14 notes right-sided
What would make it ready

An MRI dated within 90 days of the request, and reviewer sign-off on the laterality conflict.

Next action

Request missing evidence

Records request drafted for imaging; laterality conflict routed to the nurse-review queue.

Source policy

§2.b · imaging recency · p.4 of source PDF
quote hash sha256:9f3c...a41e

A reviewer verifies the proof

The reviewer sees the case and policy together. Each criterion links back to the packet location and the verbatim source-policy excerpt, including OCR QA state for uncertain or handwritten evidence.

  • Evidence boxes anchored directly to the scanned page
  • Policy requirements linked to source text and page
  • Agree, flag, and reject states for every proposed match
A reviewer workbench with evidence highlighted on a scanned clinical packet beside the matching policy criteria

The receipt preserves the decision

The packet, evidence spans, rule, source policy, reviewer history, and exact artifact version stay bound together. If a policy changes, the semantic diff explains why the same case would route differently, and the original record stays as it was.

Decision receipt
Replayable
Artifact hashsha256:c81d...f209
Policy sourcePublished payer medical policy · §2.b, p.4 · verbatim quote hash bound
Ruleimaging_recency.v3
Evidence14 packet spans, each anchored to page and paragraph
Reviewer historyNo overrides · nurse-review sign-off 2026-04-18
Semantic diffv2026.03 → v2026.04: imaging window tightened, 180 → 90 days
Replay Same packet and same policy version, same answer.

Why an answer changed is a question you can answer.

Run the same case against the April source set and it routes to review. No covering policy existed yet. Run it against June, where a new policy took effect on the first, and it decides. Same case facts; the source set changed. That is an explanation an auditor accepts, and a model can't give.

When a payer updates a policy PDF, LogicPearl shows what changed between versions and which open cases it affects, before they surprise you.

When a denial comes back, the first question is which criterion it turned on.

LogicPearl keeps the rule, the evidence, and the policy version bound to every result, so an appeal starts from the exact criterion the payer applied and the chart page that meets it.

You have seen the story. Now inspect the machinery.

Open the full reviewer workbench, or run the same decision layer beside your own historical cases.

Open the prior-auth demoTalk to us