Execution Authority vs. Policy Engines
Policy engines and VB-OS both evaluate inputs and produce authorization decisions. At the rule-evaluation level, the mechanics are similar: receive input, check conditions, return a result. The architectural difference is in what happens after the decision — and what is required to reproduce it.
The Shared Problem
Section titled “The Shared Problem”For consequential authorization decisions, an important question arises later: “Can we verify exactly why this decision was authorized?”
Answering that question requires reproducing the decision. Reproduction requires preserving everything that contributed to the original result: the exact rules or boundary that governed it, the exact inputs that were evaluated, the identity of the system that performed the evaluation, and the result it produced.
How these preservation requirements are met — and whether they are architectural guarantees or operational responsibilities — is where the approaches diverge.
Reconstruction vs. Reproduction
Section titled “Reconstruction vs. Reproduction”Reconstruction assembles an account of a past decision from logs, database snapshots, version control history, and operational records. The accuracy of reconstruction depends on the completeness and integrity of these surrounding systems.
Policy engines produce authorization decisions. Whether those decisions can be accurately reconstructed later depends on how the surrounding infrastructure preserves the policy version, input data, runtime context, and evaluation result. Some implementations version policies rigorously and log evaluation inputs; others leave preservation to operational practice. The range is wide.
Reproduction re-executes the original evaluation from sealed artifacts. VB-OS binds the evidence, exact boundary version, evaluator identity, and verdict to the evaluation at decision time. With the required frozen inputs and evaluator artifacts, the replay engine produces identical observable results.
The distinction is not that policy engines cannot preserve their evaluation context — some can, with sufficient engineering. The distinction is that VB-OS makes these preservation properties architectural rather than operational:
- The boundary version is immutable after compilation — the same version evaluates identically regardless of when replay occurs
- Evidence is bound to the evaluation as structured, content-addressed input — not reconstructed from application logs
- The evaluator artifact is identified by cryptographic hash — replay verifies that the same evaluator performed the reproduction
- The evaluation result includes a deterministic replay identity that can be independently verified
What VB-OS Binds to Each Evaluation
Section titled “What VB-OS Binds to Each Evaluation”Each VB-OS evaluation produces an immutable record binding:
| Artifact | Role |
|---|---|
| Evidence | The structured inputs evaluated — content-addressed |
| Boundary version | The exact compiled boundary — immutable after creation |
| Evaluator identity | Cryptographic hash of the evaluation engine artifact |
| Verdict | ASSERT or DEFER — the binary authorization result |
| Replay identity | Deterministic identifier enabling independent verification |
These artifacts are not assembled after the fact from surrounding systems. They are produced as part of the evaluation itself.
Architectural Guarantees vs. Operational Practices
Section titled “Architectural Guarantees vs. Operational Practices”The practical difference becomes clear over time. Months or years later, conventional reconstruction may require recovering and correctly associating the original policy, input, runtime, and logs from surrounding infrastructure. VB-OS binds replay-relevant artifacts to the original evaluation so that the decision can be reproduced directly — the replay engine verifies artifact integrity, re-executes the evaluation, and produces identical observable results.
Deterministic Evaluation Properties
Section titled “Deterministic Evaluation Properties”VB-OS evaluation has specific properties that distinguish it from general-purpose rule evaluation:
Integer-only arithmetic. Core evaluation semantics use 64-bit integer arithmetic. Floating-point arithmetic is excluded from deterministic boundary evaluation. This eliminates a class of cross-platform reproducibility issues.
Three-stage pipeline. Evaluation follows a fixed sequence — admissibility, prohibition, predicate evaluation — with deterministic short-circuit behavior between stages.
Model independence. The evaluation engine does not inspect, depend on, or vary with the system that proposed the action. Swap the recommendation engine; the verification boundary is unchanged.
Fail-closed. Missing evidence produces DEFER. Integrity verification failures halt evaluation immediately. There is no degraded-mode or best-effort path.
Using Policy Engines and VB-OS Together
Section titled “Using Policy Engines and VB-OS Together”Policy engines and VB-OS can coexist. A policy engine may handle application permissions, access-control decisions, or other rule-based authorization, while VB-OS provides an independent execution-authority boundary for consequential actions requiring deterministic verdicts and replayable proof.
The distinction is architectural: VB-OS is designed so that the authority to execute can remain independent from the system proposing the action and the infrastructure enforcing ordinary application policy.
Next Steps
Section titled “Next Steps”- What is VB-OS? — complete technical introduction
- Execution Authority vs. Guardrails — how VB-OS differs from guardrail approaches
- Replay — how deterministic replay works
- Deterministic Authorization — authorization design patterns
