Forged verdict
The packet reports a reassuring verdict. The declared source still contains both supporting and refuting evidence.
Interactive agent assurance laboratory
A policy-shaped agent answer can still be forged, swapped, replayed, correlated, incomplete, or stale. Judge six packets before VERITAS reveals what survives.
No model call. No signup. No production action. Your labels stay on your device unless you explicitly contribute them on GitHub.
$ verify decision.packet.json
schema ............. VALID
source digest ...... BOUND
claimed result ..... SUPPORTED_ONLY
recomputed result .. CONFLICTED
exact comparison ... MISMATCH
execution authority FALSE
Six packets. Three are clean and three are tampered. Make every decision before the answer key appears.
The packet reports a reassuring verdict. The declared source still contains both supporting and refuting evidence.
An approval packet was issued for one repository action. The presented operation may or may not still be the exact action approved.
The packet is well-formed and authentic-looking. Its one-use nonce may already have been consumed.
Two evaluators agree. Their model family, prompt ancestry, retrieval corpus, and code path determine whether that is independent evidence.
The presented packet contains a passing test. Its sealed source identity determines whether a refuting integration result disappeared.
The authorization was valid when issued. Continuing validity depends on a signed heartbeat remaining inside its declared TTL.
Toggle any fixture between clean and tampered. The visible verdict may stay reassuring; the assurance path must not.
VTL-FORGE-001
The packet reports a reassuring verdict. The declared source still contains both supporting and refuting evidence.
SURFACE_PLAUSIBLESCHEMA_SHAPEDBOUNDARY Demonstrates deterministic mechanics only. It does not validate factual truth, issue signatures, enforce external policy, certify a system, or authorize execution.
Every hostile fixture must block or revoke. Every generated result fixes execution authorization to false.
Recompute the complete result from the declared source and compare canonical output.
Bind the exact operation, target, parameters, roots, network scope, count, and expiry.
Shared model family, prompts, retrieval, and tooling create correlated evidence.
Heartbeat expectations, expiry, replay protection, and revocation preserve the lifecycle.
The first commercial offer is deliberately small enough to finish, inspect, and falsify.
FOUNDING PILOT / TWO SLOTS
We map one consequential workflow, define its evidence and exact-operation boundaries, attack six likely failure modes, and hand back a replayable packet plus findings.
Sandboxes, policy engines, identity systems, and standards work solve adjacent layers. These organizations do not endorse VERITAS.