SOP reasoner
Every claim is walked node by node through the procedure that governs its type. Deterministic checks resolve first; a node only needs a scoped model call where the rules cannot answer on the data available. Every terminal decision traces to the node that produced it, and every node carries what it cited.
How the batch terminated
Traversal trace
$.eligibility.coverage_from$.eligibility.coverage_to$.service_date
$.eligibility.benefit$.eligibility.plan
$.eligibility.primacy$.eligibility.other_coverage
$.prior_auth.status$.prior_auth.required
$.policy_refs$.service_date
$.lines
$.lines
$.lines
$.record.medication_administration.administered_dose
The branch taken is on field missing, which is a
different outcome from the check evaluating to false.
$.prior_auth.authorized$.lines
$.lines$.findings
1 check could not be evaluated: the field it reads is not on the claim. 2 other checks did not pass, but the agent does not recommend on the merits while a material check is unresolved. $1,344.96 is at stake. The agent recommends holding for the missing information; a person decides.
The agent recommends holding for missing information. A check could not be evaluated, so no recommendation on the merits is offered.
Compiled procedures
How nodes resolve
Where a scoped call is genuinely needed
$.record.inpatient.clinical_indicators
mcc_substantiation · 2 claims: CLM-0000013, CLM-0000014
$.record.medication_administration.administered_dose
dose_reconciliation · 1 claim: CLM-0000021