What we can show today — and what stays grey until a funded pack lands.
No invented explorer hashes. No public $1.9M figures.
A · Live today (§3.1-safe)
| Item | Status | Note |
|---|---|---|
| Hash-timed lock / claim / refund across branches | Evidenced | Mechanism · not a mint bridge |
| Wrong-branch claim rejected | Evidenced | Mechanism + behavioural checks |
| Nonce compare before lock | Evidenced | Client method |
| User wallet signs | Evidenced | Unsigned tx built here; you sign |
| Counterparty required | Stated | No invented liquidity |
Behavioural harness uses eth_call-style checks. It is not the 10,000 BDAG centerpiece.
B · Pending
Public funded 10,000 BDAG settlement pack — pending
Grey until Evidence §4. Design will not invent tx hashes or explorer links.
Explicit non-claims