The decision
Is this member eligible for this benefit on this date, and what is their cost share?
Encode plan rules once and get the same determination every time, whether the question comes from a portal, a call center screen, or a batch file. Every answer carries the reason, and every plan year keeps its own version of the logic.
Is this member eligible for this benefit on this date, and what is their cost share?
A portal, a call center screen, a claims process, or a nightly batch asks the same endpoint the same question and gets the same answer.
Enrollment status, effective and termination dates, waiting periods, service categories, network status, accumulators, and dependent rules run as explicit conditions authored from the plan document.
Ask for eligibility and cost share and only the rules that can establish those answers are evaluated. Nothing irrelevant to the question runs.
Eligible, not eligible, or needs review, with the specific plan provision that produced it rather than a bare code.
When no rule can establish the answer, you get a proof tree showing what was missing instead of a confident wrong answer.
Most automation records that a decision happened. This records why it happened, on logic you can prove was in force at the time.
The trace names the rules that fired and the values they matched, so a determination points back at the plan language it came from.
Each plan year is a published version. A determination for a service date in a prior year is explained by that year logic, not by the current one.
Goal-driven evaluation produces a proof tree. When eligibility cannot be established, the tree shows which fact was absent, which is the difference between a real answer and a guess.
Saved test cases run against the ruleset on every change, and a release can be gated on them passing. A new plan year is validated against known members before anyone relies on it.
Every edit to plan logic is on an append-only audit trail with the actor and address, retained per your plan and exportable.
Determinations that fall outside the encoded rules route to a benefits analyst rather than defaulting either way. The analyst sees which conditions matched and which did not, answers the open question, and the run continues with their response recorded as part of the determination.
The boundary is enforced by how the workflow is built, not by a policy document. AI turns text into facts. Rules you wrote decide what those facts mean.
Portal, call center, and claims all call the same rules, so the plan gives one answer regardless of who is asking.
The determination, the version, and the reasoning are already stored, so responding to an appeal is a lookup rather than an investigation.
A plan year is authored, tested against saved cases, and published. Adding a client does not mean adding a branch.
Cases that genuinely need a person are routed as such, and cases that do not stop consuming analyst time.
It does, in code that only engineering can read and change. This is the same determination in logic an analyst can author, test, and version per plan year, called by your administration system rather than replacing it.
They are complicated in exactly the way a real inference engine handles: conclusions that depend on other conclusions. Rules re-fire as facts change, and when a fact is withdrawn, everything derived from it withdraws too rather than lingering.
It does not. AI helps you write and explain rules. The determination is made by rules a person authored and approved, and the trace shows which ones.
Premium Support adds business-hours coverage with a same-business-day P1 target and a named technical contact. We will not claim 24/7 that we cannot staff. On a dedicated deployment the platform is in your subscription, with your own monitoring around it.
The AI template generator can draft a ruleset from a description or document as a starting point. Treat it as a first draft: it is reviewed, corrected, tested, and approved before it can be published.
Each publish is a version, and runs are pinned to the version that produced them. Prior years remain readable and re-runnable.
Yes. The synchronous endpoint returns the determination inside the caller request. Goal-driven evaluation also means only the rules needed for the question are evaluated.
You open the run, read the trace, and see the rules and values that produced it, on the version in force for that service date.
Pick the decision that costs your team the most time and the most argument. In one working session we will model it, run it against your own examples, and show you the trace it produces. If it is not a fit, we will say so.