Deterministic policy execution

AI drafts the policy.
The engine decides.

Every other RCM tool fights denials with a black-box agent that guesses, and can't tell you why. Atlas turns payer medical policy into deterministic, page-cited, executable logic — a pre-submission gate that returns PASS / REVIEW / BLOCK with an audit trace you could take to a hearing.

Same input → same verdict Every clause page-cited Reviewable by a human coder
verdict · reproducible audit trace
claim837P · outpatient MRI · facility NPI 1063███412
policyoxford-imaging-013B.62 v2026.1
BLOCK would be denied on submission — stop it here
ruleIMG.ACCRED.MISSING
clause§4.2 — facility must hold ACR / IAC accreditation for advanced imaging ↳ p.7
evidenceaccreditation roster: facility not listed
fixattach accreditation ID, or route to accredited site → re-run
dispositionBLOCK coverage 1 block1 review3 pass 2 not evaluated ⚠
trace sha256:9f2c…a71b · deterministic
Executes real policy, cited to source — not a model's opinion
Payer medical policy NCCI PTP edits LCD / NCD coverage Prior-auth criteria Payer pharmacy PA 837P claims 835 / ERA remittance NPPES + accreditation rosters
The category has it backwards

Everyone else put the AI inside the decision. We took it out.

The whole market is selling “our AI is smarter.” But an agent that auto-corrects and auto-appeals is a black box: probabilistic, unrepeatable, and impossible to audit when a payer — or a regulator — asks why. Atlas draws a hard line: AI only drafts the policy encoding and triages the gray cases. The engine that renders every verdict is pure, deterministic logic.

The black-box agent

“Fight AI with AI”

  • A model decides the claim — same input can yield a different answer tomorrow
  • “Why was this flagged?” → an explanation, generated after the fact, not the reason
  • Auto-resubmits on the model's confidence — hallucination reaches the payer
  • Nothing a compliance officer or a coder can read, review, or sign
// probabilistic · unrepeatable · unauditable
The Atlas engine

Policy as executable logic

  • Deterministic engine decides — same inputs, same verdict, forever
  • “Why?” → the exact clause, rule id, and page that fired the verdict
  • Blocks the would-be denial before submission — never generate it
  • Policy is YAML a CPC can review and sign — not weights nobody can inspect
// deterministic · reproducible · audit-grade
How it works

Encode once. Execute deterministically. Prove every verdict.

AI is used exactly where it's safe — reading a dense payer PDF and drafting a first pass — and nowhere near the decision.

01 / ENCODE

Payer PDF → reviewable logic

AI drafts a candidate rule from the source policy. It stays a candidate — unable to touch a verdict — until a reviewer with coding / RCM knowledge approves it Active, clause by clause, each tied to a page.

candidate → active gate · page-cited · versioned
02 / EXECUTE

Deterministic verdict

The engine runs the encoded policy against the 837 before submission and returns PASS / REVIEW / BLOCK. No model in the decision path — pure logic.

same input → same output · zero drift
03 / PROVE

Audit trace, on demand

Every verdict carries its full chain: the clause, rule id, evidence, page, and a stable fingerprint. Reproducible on the next run, and the one after.

defensible · exportable · reconcilable to 835
From source policy to a verdict you can proveOxford imaging 013B.62 · v2026.1
Payer policy PDF
the source document, on file
AI reads
& drafts
Candidate rule
page-cited draft — cannot touch a verdict
◇ decision boundary CPC reviews
& signs
Active rule
signed · versioned · immutable
IMG.ACCRED.MISSING§4.2 · p.7 · verdict BLOCK
engine executes
on the 837
Verdict + trace
PASS / REVIEW / BLOCK · audit chain
◂ AI assists — drafting only deterministic — the engine decides ▸
Each active rule compiles to reviewable, page-cited data a certified coder signs — not model weights nobody can inspect. Same rule + same claim, forever the same verdict.
Honest by construction

It separates “did we check it?” from “did it pass?” — and shows you both.

Every black-box agent quietly implies it looked at everything. Atlas keeps two fields apart: evaluation status — could we even run this rule? — and rule result — what did it decide? A rule Atlas couldn't evaluate is never dressed up as a PASS. If evidence is missing, a policy has a gap, or a source can't be verified, Atlas says so, by name — so you never have to leave the tool to find out why.

evaluation_statuscan Atlas run this rule at all?
EVALUATEDthe rule ran to a result — the only state that may yield a PASS
NOT_APPLICABLErule doesn't apply to this claim — not the same as passing
POLICY_GAPno executable policy or rule exists yet for this case
INSUFFICIENT_DATAclaim or evidence too thin to complete the check
SOURCE_UNVERIFIEDcan't confirm the policy source is still current and complete
EXECUTION_ERRORparser, rule execution, or data processing failed

Every finding answers six questions

Not just a label like “Medical Necessity Not Met.”

  1. What failed — the submitted value vs. the expected condition
  2. Why it failed — the exact reason, in plain words
  3. Which policy & rule caused it — cited to version and page
  4. What evidence is missing or was used
  5. Who should act next — coder, biller, or supervisor
  6. What actions are safe to take
// rule_result (PASS · WARNING · REVIEW · BLOCK) is produced only when evaluation_status = EVALUATED. Atlas never launders “couldn't check” into “passed,” and never implies it covered every risk.
The property nobody else can offer

Same claim + same inputs + same rule versions = same result.

That equation is the acceptance test Atlas is built to pass. A black-box agent can't promise it — its answer depends on the weather inside a model. Atlas's verdict is a function of the policy and the claim, nothing else. Every re-run is written to an immutable evaluation history — old evaluations are never overwritten, each one snapshots the claim, evidence, and exact rule versions behind it. That's what makes a verdict defensible in an appeal, reconcilable against the 835, and safe to put in front of a payer. Determinism isn't a feature. It's the whole product.

try it — the hero verdict above

↻ Re-run 1,000× → the fingerprint never moves

The same claim and the same rule versions always produce the identical sha256 trace. Change one input — a missing accreditation, a new policy version — and Atlas writes a new evaluation (the old one stays on the record), with the verdict change cited to the clause that moved. Nothing is hidden in a model.

// this is the property a regulator, a payer, and your own auditor all require — and the one an agent can't give them
Atlas vs. the black-box agent

Same wedge. Opposite philosophy.

We share the goal — stop preventable denials — with the AI-agent RCM tools. We disagree on the one thing that matters: whether a machine should be allowed to make the decision.

DimensionBlack-box AI agentAtlas
Who decidesA model, inside the decision loopA deterministic engine; AI stays outside the boundary
ReproducibilityProbabilistic — may differ run to runSame inputs → same verdict + same trace, always
ExplainabilityA generated explanation, after the factThe actual clause · rule id · page that fired it
The productOpaque model weightsPolicy-as-data (YAML) a CPC can read and sign
PostureOverturn denials after they happenBlock the would-be denial before submission
Audit & appealsHard — nothing stable to point toBuilt-in — every verdict is defensible evidence
Who it's for

One deterministic core. Three people who can finally trust it.

For the CFO

Revenue you can defend on paper

Preventable denials caught at the source, with a per-claim evidence chain that survives audit. No model-confidence hand-waving — a number that reconciles to the 835.

“Show me why” → a clause and a page, every time.
For RCM leaders

Fewer denials, not more appeals

Stop reworking claims after the payer says no. Atlas gates the 837 pre-submission and hands your team a ranked worklist with the exact fix — clean claims out the door.

Denial prevention, not denial cleanup.
For compliance & legal

Every decision is evidence

A version-controlled, page-cited, reproducible trace for each verdict. When a payer or regulator asks how a determination was made, the answer isn't a model — it's the record.

Deterministic by design. Auditable by default.
Security & posture

Built to earn the trust the decision requires.

Determinism is also a security property: a system that can't surprise you is a system you can audit. Atlas is engineered so the decision path holds no model, no hidden state, and no PHI it doesn't need.

No model in the loop
The decision path is pure logic — no inference call to trust, drift, or leak.
Tenant-isolated rules
One customer's rules are never visible, callable, or influential to another.
Immutable history
Every rule change and evaluation is diffable, dated, signed, and never overwritten.
No false PASS
What Atlas couldn't evaluate is labeled — never quietly reported as passing.
Partners & embed

A Decision Engine you can call — not just a standalone UI.

Atlas exposes a stable input/output contract, so your clearinghouse, EHR, or RCM stack can call it and get back the whole picture in one response: the claim disposition, every finding at once, what couldn't be evaluated and why, the owner for each, and a trace id that reproduces. Your product keeps the UI; Atlas provides the decision you can stand behind.

POST /api/evaluateall findings · one call
# one call → disposition + every finding, honestly scoped
{
  "claim_disposition": "BLOCK",
  "eligible_for_release": false,
  "findings": [
    {
      "rule_id": "IMG.ACCRED.MISSING",
      "evaluation_status": "EVALUATED",
      "rule_result": "BLOCK",
      "owner": "biller",
      "policy_version": "2026.1"
    }
  ],
  // honest about what it could NOT evaluate
  "not_evaluated": [
    {
      "rule_id": "MED.NEC.STEP",
      "evaluation_status": "INSUFFICIENT_DATA"
    }
  ],
  "policy_provenance": "oxford-013B.62 §4.2 p.7",
  "trace_id": "sha256:9f2c…a71b"
}

Stop denials before you make them.

See the engine render a real payer policy into a deterministic, page-cited verdict — live, on synthetic claims, with the full audit trace exposed.