Accueil / Preuve
Preuve layer
No receipt, no clean claim.
BOUNDA separates signal from proof. A missing receipt does not become a clean verdict. UNKNOWN is discipline, not failure.
Verdict system
| Verdict | Meaning | Client implication |
|---|---|---|
| HELD | Sufficient receipts + zero forbidden unit delta | Clean claim allowed |
| BREACHED | Sufficient receipts + at least one forbidden unit born | Gap claim allowed, action required |
| UNKNOWN | Receipts missing, cannot conclude | No false HELD |
| WATCH | Signals detected, proof not complete | Deep-dive required |
| PARTIAL | Some claims can be made, others blocked | Financial / clean claim may remain blocked |
Consequence Unit Ledger
Every unit born after NO: object, address, carrier, token, byte, credential, mutation, cost, cycle, joule, truth and descendant.
| Unit | Before | After | Delta | Confidence | Verdict |
|---|---|---|---|---|---|
| provider_object | 0 | 1 | +1 | MEASURED | BREACHED |
| webhook | 0 | 1 | +1 | MEASURED | BREACHED |
| fee_eur | 0 | 34.71 | +scoped.71 | MEASURED | BREACHED |
| settlement | ? | ? | UNKNOWN | MISSING RECEIPT | UNKNOWN |
Evidence Pack
Certificate, ledger, graph, manifest, hashes, Merkle root and replay.
Télécharger sample packverify.sh
recompute manifest
validate merkle_root
check verdict basis
external_verify: OK
NO Receipt
A sealed proof that zero forbidden consequence was born.
Example: export denied; signed_url = 0, blob_created = 0, externalized_bytes = 0, public_path = 0. Verdict: HELD.
Reality Bill discipline
| Label | Meaning | Billable |
|---|---|---|
| MEASURED | Direct provider receipt | Yes |
| CLIENT_VALIDATED | Validated by client | Yes |
| DERIVED | Computed from linked preuve | Prudent |
| MODELLED | Scenario | No |
| PROXY | Technical proxy | Never |
| UNKNOWN | Insufficient proof | Never |