CONSEQUENCE COVERAGE / REFERENCE LAB

Prove what did not go through the Gate.

A receipt proves one action was mediated. Coverage reconciliation asks the harder population question: did the system of record contain an effect with no corresponding receipt?

Independent source 01

Payer system of record

Operator: loading
Population: — records
Signed root: loading

Independent source 02

Gate receipt population

Operator: loading
Population: — records
Signed root: loading

POPULATION EXCEPTION

Effect observed. Receipt absent.

This record appears in the signed payer population and has no exact-action match in the independently signed Gate population.

Source record: loading
CAID: loading
Action digest: loading

CONSERVING COUNTS

Every supplied record receives a disposition.

Loading bounded period

—Matched exact action

—Effect without receipt

—Receipt without effect

—Uncertain outcome

—Declared exclusion

—Source exception

Signed reportgenerating

Attestationgenerating

independent issuers

What this proves—and what it does not.

This reference run executes the real signing, verification, exact-action join, and attestation code over synthetic records. It proves reconciliation of the two supplied signed populations. It does not prove either source was complete, and it touches no production payer, patient record, or external effect system.