Stellar: Soroban commit + first funded gated swap (ledger 65,338,112) — requesting $150K
Logs assert. CoreGuard proves.
The verifiable execution truth layer for Bitcoin DeFi and the agent economy. Independently verifiable evidence of what was authorized — and what actually executed. Deterministic. Replayable by anyone. UNKNOWN stays HELD.
$ npm install && npm run demo:90s:live
01
Signed intent
02
Firewall ALLOW
03
Execution
04
Independent verify
05
Anchored on Core
One ladder · three networks
Pinned per ecosystem.
Core DAO
LIVEThe execution truth layer for Bitcoin DeFi on Core.
See the offerStellar
LIVEFail-closed execution for Soroban and Stellar DEX flows.
See the offerPi Network
DRY_RUNExecution truth for Pi Network — commerce shield, wallet guard, verified badge, 7-run ladder, mainnet anchor (prepared), attestation service (planned), cross-network with Core + Stellar.
See the offerThe product ladder
Full catalog →★ Stellar DEX-GATE/1 — Signed Swap Gate
First signed funded swap on Stellar mainnet: 4.0598146 XLM → 0.6306239 USDC, both gates VERIFIED before submission (ledger 65,338,112).
★ SOROBAN/1 Commitment Anchor
Live Soroban contract; first commit(proofId, commitment) invoked on mainnet with byte-exact read-back (ledger 65,337,373).
CGEP/1 Execution Receipts
Intent → policy → commitment → receipt → independent verifier → anchor.
Execution Firewall
Wrap any action — swap, lend, bridge, vote, agent proposal — with ALLOW / DENY / HOLD.
x402 Reserve-before-sign
Payment-gated escrow with deterministic replay and on-chain commission.
ESCROW/1 — Bounty Escrow Mirror
SHIPPED JS mirror · NOT LAUNCHED. Verify-before-release, digest-bound signatures, single-spend release and full refund; no chain calls or funds moved.
AgentProof
Declared, signer-bound actor provenance — never a behavioural guess.
DDE/1 Dispute Boundary
Execution/acceptance disputes resolved with offline, deterministic evidence packages.
Proof Artifact #1
A real agent execution. Verified on Core Mainnet.
An automated agent transferred 0.001 CORE. CoreGuard recovered the signer, checked the policy, anchored the commitment and re-derived the verdict independently: L1 VERIFIED.
Inspect the evidence →- tx
- 0xe67c61fda81200bf026faee31c23a7b7e7f56ed24f06ffe24f071fa06891a9b8
- block
- 38712625
- registry
- 0x037dF08F2d43c5D03759279Fe35664f6AFf9EA6E
- receiptId
- 0x4f9d85865b6c42e007496615a47309aa30579bd05f396ae801703447bb51767a
