PORTABLE DECISION EVIDENCE
Evidence that travels.Authority that stays accountable. A decision is not its proof. Package the evidence and decision context you actually hold; let another party inspect the bundle beyond the originating system. Source truth, delegated authority and live execution require separate witnesses.
DETERMINISTIC KERNEL PORTABLE BUNDLE INDEPENDENT CHECKS
Try Evidence Lab: CVE policy + tamper verification ↗
INTERACTIVE TRUST PATH 01 / 06
FOLLOW ONE REAL SOURCE EXAMPLE
Trace a Pack, without inventing a receipt. Choose a published Kernel Pack, select one of six stations, and open its real source material. The final verifier is an independent generic demo, not a receipt generated from your selected Pack.
SELECT AN EXISTING PACK
Critical CVE GHG Scope 1 + 2 ISO 27001
CVE fixture: example CVSS 9.8, expected DENY; no real-world scan is being performed.
SELECT A STATION
01 Fixture input02 Declared context03 Pack policy04 Expected decision05 Receipt contract06 Verifier demo
01 / 06 Fixture input Read the defined example input. This is a fixture—not live telemetry.
Fixture expectation ≠ actual execution ≠ independent verification ≠ authorization to release.
EVIDENCE LENS / TAP TO EXAMINE
See the claim. Then inspect its evidence. Every statement has a source, a bounded witness, and something it cannot establish. This is a read-only navigation layer—not a live integrity test.
Portable evidence One authority Pack controls
Switch between editorial claim and concrete source boundaries. STORY / CLAIM PROOF / SOURCES
WHAT IS SUPPORTED Evidence beyond the producing system The transferred bundle can be inspected for defined integrity and binding checks without a producer application session.
NOT ESTABLISHED The files must actually be present in a transferred bundle; this statement is about named verifier checks.
WHAT IS SUPPORTED Inspectable verifier contract The standalone verifier documents checks on committed artifacts, receipts, ledgers, and optional issuer authentication.
NOT ESTABLISHED Does not establish external source truth, universally trusted time, replay, or actual payment release.
WHAT IS SUPPORTED One canonical decision owner Registered adapters submit to the Kernel; they may not originate another verdict, receipt, or bundle identity.
NOT ESTABLISHED This restriction has bounded CI witnesses for registered adapters—not a guarantee about every external system.
WHAT IS SUPPORTED Named repository boundary witness The repository boundary document describes its registered-adapter gate and forbids local decision, receipt, and bundle origins.
NOT ESTABLISHED Does not cover arbitrary off-repository adapters or prove a bank's authorization.
WHAT IS SUPPORTED Readable controls and test fixtures A CVE Pack declares policy and test inputs, including an illustrative critical CVE expected to produce DENY.
NOT ESTABLISHED The test definition does not prove a live scanner, production deployment, or independent release authority.
WHAT IS SUPPORTED Actual Pack source and example test inputs The critical-cve-blocker pack defines an integer CVSS threshold; its cases include an example score of 98/10 and expected DENY.
NOT ESTABLISHED Expected YAML assertions are not a witnessed live scan or production receipt.
BOUNDARY PRINCIPLES
Built around boundaries, not promises. 01 Evidence first Move files and commitments; do not replace them with a screenshot.
02 Single decision path Keep decision ownership in the canonical Kernel.
03 Independent verification The recipient can check integrity without your app session.
04 Explicit limits Authenticity, time, correctness and authority are separate claims.
IMPLEMENTED FIXTURES / NOT DEPLOYED INTEGRATIONS
Real Kernel Pack examples Executable Pack fixtures in source, not integrated production deployments.
Explore ↗ DEVELOPERS / EIK Synthetic reference only; no live scanner or deployment authorization.
Build your own Pack — EIK for developers and agents ↗ EVIDENCE LAB Illustrative CVE policy + real integrity checks on a synthetic bundle.
Try the interactive Evidence Lab ↗