PAS + CMS + GRAPH ATLAS

See how a governed policy decision works.

Enter a small set of claim facts and see how Graph Atlas applies a published policy-logic version, shows the reasoning path, and identifies the required next action.

Mock Policy Administration System

In force

Policy context supplied to Graph Atlas

Policy

LIFE-2026-00124

Insured

Alex Morgan

Product

Asteron Life Complete — Trauma Cover

Applicable governed ruleset

Heart Attack (myocardial infarction) v1.0

Sum insured

$250,000

Policy effective

1 January 2026

Mock Claims Management System

CLM-2026-00381 · Event date: 4 October 2026

Heart attack (myocardial infarction)

Appropriate medical specialist confirmed diagnosis

The PDS requires confirmation by a registered doctor who is an appropriate medical specialist.

Biomarker rise/fall with a result above the 99th percentile

This is a required element of the policy definition.

Published qualifying evidence pathway

Select the one evidence path represented by Triggers 3–7 in the published graph.

Published tests are inconclusive

Trigger 7 selects the published branch for considering other medically recognised tests.

Graph Atlas decision

Bounded demonstration only — it does not create a claim decision or payment side effect.

Awaiting assessment

Decision summary

Supply claim evidence to evaluate published Graph Atlas version 326.

Reason codes

No claim facts have been assessed yet.

Required next action

Record the available evidence in the mock Claims Management System and assess against the governed logic.

Graph Atlas proof

This is the exact immutable Mermaid graph shown in Claims Atlas for governed version 326. Green nodes were activated by supplied facts; the coloured Decision Outcome is the evaluated result.

flowchart TD E0(["Decision Outcome 1 Policy subject: we will pay a claim Policy condition: is present"]) E1(["Trigger 1 / prerequisite Policy subject: the diagnosis of a heart attack, confirmed by a *registered doctor* who is an appropriate medical specialist and evidenced by Policy condition: is present"]) E2(["Trigger 2 / prerequisite Policy subject: Typical rise and/or fall of cardiac biomarkers with at least one value above the 99th percentile of the upper reference range Policy condition: is present"]) E3(["Trigger 3 / prerequisite Policy subject: signs and symptoms of ischemia which are consistent with a heart attack Policy condition: is present"]) E4(["Trigger 4 / prerequisite Policy subject: new serial ECG changes consistent with heart attack Policy condition: is present"]) E5(["Trigger 5 / prerequisite Policy subject: development of pathological Q waves in the ECG Policy condition: is present"]) E6(["Trigger 6 / prerequisite Policy subject: imaging evidence of new loss of viable myocardium or new regional wall motion abnormality Policy condition: is present"]) E7(["Trigger 7 / prerequisite Policy subject: the above tests are inconclusive Policy condition: is present"]) E8(["Decision Outcome 2 Policy subject: we will consider other appropriate and medically recognised tests Policy condition: is present"]) I0(["All conditions relationship (Prec: False)"]) I1(["All conditions relationship (Prec: False)"]) I2(["Any condition relationship (Prec: False)"]) I3(["All conditions relationship (Prec: False)"]) I4(["All conditions relationship (Prec: False)"]) style E0 fill:#43D585,stroke:#09110C,stroke-width:4px,color:#09110C style E1 fill:#EAF3EC,stroke:#1B2A22 style E2 fill:#EAF3EC,stroke:#1B2A22 style E3 fill:#EAF3EC,stroke:#1B2A22 style E4 fill:#EAF3EC,stroke:#1B2A22 style E5 fill:#EAF3EC,stroke:#1B2A22 style E6 fill:#EAF3EC,stroke:#1B2A22 style E7 fill:#EAF3EC,stroke:#1B2A22 style E8 fill:#EAF3EC,stroke:#1B2A22,stroke-width:2px,color:#09110C style I0 fill:#F5F6F2,stroke:#1B2A22,stroke-width:2px,color:#09110C style I1 fill:#F5F6F2,stroke:#1B2A22,stroke-width:2px,color:#09110C style I2 fill:#F5F6F2,stroke:#1B2A22,stroke-width:2px,color:#09110C style I3 fill:#F5F6F2,stroke:#1B2A22,stroke-width:2px,color:#09110C style I4 fill:#F5F6F2,stroke:#1B2A22,stroke-width:2px,color:#09110C E1 -->|leads to| I1 E2 -->|leads to| I1 I1 -->|leads to| I0 E3 -->|leads to| I2 E4 -->|leads to| I2 E5 -->|leads to| I2 E6 -->|leads to| I2 I2 -->|leads to| I0 I0 -->|leads to| I3 E7 -. NOT .-> I3 I3 -->|leads to| E0 I0 -->|leads to| I4 E7 -->|leads to| I4 I4 -->|leads to| E8 style E0 fill:#F5F6F2,stroke:#94A3B8,stroke-width:2px,color:#475569 style E8 fill:#F5F6F2,stroke:#94A3B8,stroke-width:2px,color:#475569

Graph source: Claims Atlas published governed version 326 (TRAUMA-TRAUMA-HEART-ATTACK-RULES-1.3).

Demo source excerpt

This excerpt supports only the narrow Heart Attack definition shown above. It is not a complete coverage or payment assessment.

We will pay a claim upon the diagnosis of a heart attack, confirmed by a registered doctor who is an appropriate medical specialist and evidenced by a typical rise and/or fall of cardiac biomarkers with at least one value above the 99th percentile of the upper reference range PLUS one of: signs and symptoms of ischemia; new serial ECG changes; pathological Q waves; or qualifying imaging evidence. If the above tests are inconclusive we will consider other appropriate and medically recognised tests. Other acute coronary syndromes, including but not limited to angina pectoris, are excluded.