Q markBridgeBoundary And Native Vault Surface

Proof and receipts

Proof Surfaces

Bridge receipts are boundary facts. They can prove a crossing event, outside feeder observation, refusal, timeout, or delivery label, but not universal meaning.

Public evidence categories

Bridge proof pages should make the category visible before any live route opens.

Lane

Source, destination, enabled or paused posture, and route class can become public labels when safe.

Finality

Public labels can describe finality posture without exposing safety limits or private timing.

Proof

Public proof status can say staged, pending, verified, refused, expired, or unavailable when backed by a safe source.

Receipt

Receipts show what happened at the boundary: accepted, delivered, refused, timed out, or quarantined.

Quarantine

Unsupported or unclear inbound material stops at the border until the receiving chain decides meaning.

Replay

Replay posture belongs in public labels only when it can be described without exposing exploit procedure.

Historical smoke evidence

Older Sepolia intake events can be retained as host-contract smoke evidence. They do not admit destination value or open a public bridge-across product.

Native vault evidence

Gold native-vault posture and silver-wrapper fallback must stay distinguishable so wrapper claims do not become source-asset equivalence.

Production-gate evidence

Production native-vault activation requires verifier, signer, finality, DA binding, quarantine/refusal, fee/dust, and authority-boundary gates to be satisfied together.

DA receipt evidence

Bridge exports become reader-consumable evidence only after accepted Infra DA receipt binding; missing, stale, challenged, or mismatched receipts should block, sleep, quarantine, or refuse consumption.

Pricing evidence

Native purchase quotes must keep asset cost, host execution cost, proof and memory cost, Bridge service margin, and risk buffer visibly separate.

Infra epoch export wire

VPS proof evidence can show Bridge epoch export wires staged and acknowledged for Infra. That ack is transport evidence, not Infra admission or Core truth.

Resident Comet/ABCI node

The live resident node runs from a clean Comet home. CLI proof-soak homes stay preserved as evidence, not reused as resident block history.

Counterparty route ticket

A route ticket can name a receiving boundary for native host exposure or yield ownership while refusing admission, accounting, sell, or public-exit claims.

Dated proof timeline

Each public proof opens only the named claim and leaves the listed product claims closed.

2026-05-20 surface parityProduct surface inventory proof. Not mounted execution or value movement.
2026-05-20 router planProduct router mount plan. Mounted route parity remains gated until source-backed evidence exists.
2026-05-20 query rehearsalQuery route coverage. Not SDK/IBC output parity.
2026-05-20 tx rehearsalTx route coverage. Not keeper execution, IBC execution, or destination admission.
2026-05-21 provider soakActivated Osmo provider path sampled repeatedly with relayer health and quorum clear. Not route execution, host truth, or value movement.
2026-05-19 timeout proofLive transport timeout evidence. Not product-runtime IBC.
2026-05-19 packet planFresh-genesis product packet plan consumed timeout observation. No value movement or local bank mint.
2026-05-13 VPS soakResident node and Infra export-wire evidence. Not production bridge or receiver admission.