HirModel's picture
Upload 19 files
34ce4b3 verified
|
Raw
History Blame Contribute Delete
1.95 kB
---
title: Shattered Diamond Test
emoji: πŸ’Ž
colorFrom: blue
colorTo: purple
sdk: gradio
app_file: app.py
pinned: false
license: mit
---
# Shattered Diamond Test β€” Interactive Ledger Harness v0.2
Created for: **Primordial Code | Collin D. Weber**
This Hugging Face Space turns the deterministic v0.1 ledger harness into an interactive proof surface.
## Core invariant
**OAM repairs bounded damage. HIR refuses false continuity.**
## What the Space does
Choose a mutation and inspect the full route:
```text
source + Diamond Seed
β†’ atom ledger
β†’ mutation
β†’ coherence / strain read
β†’ OAM bounded repair proposal layer
β†’ HIR Settlement Gate
β†’ receipt JSON
```
## Deterministic mutation matrix
| Mutation | Expected state |
|---|---|
| clean | HELD |
| remove_atom | HELD_W_RECEIPT |
| duplicate_atom | STRAINED |
| shuffle_order | STRAINED |
| corrupt_atom | HELD_W_RECEIPT |
| swap_source | CONFLICT |
| forge_origin | MUST_STOP |
| identity_swap | MUST_STOP |
| launder_route | MUST_STOP |
| ambiguous_partial | QUARANTINED |
## Locked rules
- Diamond Seed, not Diamond Feed.
- OAM is only a bounded repair proposal layer.
- HIR Settlement Gate is the final authority.
- Repair is not settlement.
- The route must earn return.
## What this proves
This v0.2 Space demonstrates the settlement firewall in an inspectable synthetic harness:
- damaged source-coherent traces may enter receipt-bound repair;
- false continuity, forged origin, identity swap, and route laundering are refused;
- every verdict traces back to atom-level evidence and receipt JSON.
## What this does not prove yet
This is not yet a real-file, media-provenance, C2PA, malware, or forensic production system. It is a deterministic synthetic proof surface for the route-settlement logic.
## Local run
```bash
pip install -r requirements.txt
python app.py
```
Expected invariant:
```text
OAM repairs bounded damage. HIR refuses false continuity.
```