Assurance

Testing & Conformance

What the DecisionHypervisor™ preview implementation is tested against, and how conformance evidence will be published.

Test program

The preview implementation is being tested against defined invariants for resolution precedence, replay consistency, and grant binding. Public conformance artifacts will be published as they become available.

Invariants under test

Deny precedence

Under test

When a matching policy rule evaluates to DENY, the decision resolves DENIED, regardless of any ALLOW rules that also match.

Method · Property test · unit test

Allow never overrides deny

Under test

No ALLOW rule can change a DENIED resolution. Precedence is enforced inside the resolver, not by policy-authoring convention.

Method · Property test · unit test

Identical inputs, identical resolution

Under test

Re-evaluation from pinned inputs — intent, policy version, schema digest, and kernel version — produces an identical resolution.

Method · Property test · portable conformance suite

Grant fails on changed action or target

Under test

An Execution Grant is bound to the exact action and target it was issued for; verification fails if either changes.

Method · Unit test · portable conformance suite

Independent assessment

None on file. Every public claim, its approved wording, evidence artifact, methodology, and review dates are listed in the Public Evidence Index →