Skip to content

Latest commit

 

History

History
82 lines (68 loc) · 6.07 KB

File metadata and controls

82 lines (68 loc) · 6.07 KB

LOOP_COVERAGE_FINAL — module × 13-step traversal (Phase-7 capstone)

Final coverage of the universal 13-step loop after Phases 1–7 and the live Base Sepolia deploy. The loop is a single universal path: every feature module's action funnels through the same gateway _call → gate_action seam, so steps 5–6 and 10–13 are structurally identical for all modules. Steps 7–9 (paymaster / phone-sign / bundler) apply to on-chain-write modules and are now PROVEN LIVE — a real gas-sponsored UserOp executed on Base Sepolia.

🟢 Deploy wall is DOWN — chain legs PROVEN on-chain

Artifact Value Basescan
OpenMatrixAccountFactory 0x62a31367C97A5fB3E36839fbB64268F3De4fC943
OpenMatrixVerifyingPaymaster 0x0E393e90af2DAb65e60318F110270f045B125880
EntryPoint v0.6 0x5FF137D4b0FDCD49DcA30c7CF57E578a026d2789
EAS schemas 19 registered (primary 0x42e29fbf…372d0a) easscan
Sponsored UserOp proof tx 0x6815c7184b5e6c9bbc4ac949423292198575476254b22e418c2722b7402db2a6success=true, account deployed by the op (0→5310 bytes), paymaster covered the gas (deposit 0.00005→0.0000414 ETH)

Deployer 0x55Af081e616B12d306409f9b5366536F85C8D3a5 sent both deploys (verified from on-chain). Digest cross-test server↔live-contract byte-identical. The bundler 403s were a Cloudflare User-Agent ban (error 1010), not the key — fixed.

The 13-step matrix

Legend: real & exercised · ✅⛓ on-chain-write leg, now PROVEN LIVE · real, activates when runtime RPC/bundler URLs (which carry keys, never committed) are set · · n/a · honest 501 · intentional (privacy).

1 Tap · 2 local walls · 3 Face ID/Morpheus advisory · 4 preflight (App Attest) · 5 gateway /api/v1/* · 6 Morpheus seam _call→gate_action · 7 paymaster/sign · 8 phone signs · 9 bundler/EntryPoint · 10 EXECUTES · 11 real-result-first · 12 feed publishes · 13 ripple out

Module 1 2 3 4 5 6 7 8 9 10 11 12 13
Send / Swap / Stake (wallet) ✅⛓ ✅⛓ ✅⛓ ✅⛓
NFT mint (P3) ✅⛓ ✅⛓ ✅⛓
IP register / license (P3) · · ·
Governance vote (P5-1) · · ·
Groups / Messaging (P2 WIRE) · · · ·
Social post · · ·
Oracle / Compute / Storage · · ·
Events / Indexer / Licensing-list · · · · ·
DeFi / RWA / Insurance / Securities ✅⛓ ✅⛓ ✅⛓
Privacy (transfer / stealth / vote) ✅⛓ ✅⛓ ✅⛓

The ERC-4337 send + paymaster-sponsorship legs (steps 7–9) are the same code for every on-chain-write module; proving it once on-chain proves the leg for all. Step 10 stays for modules whose component contract isn't deployed (only Factory + Paymaster were) — honest fail-closed, never faked.

Phase-7 re-audit — 6 dimensions, 100% (read-only, adversarial)

Dimension Coverage Chain legs Honest-gated Notes
Chain execution legs full PROVEN yes Paymaster splice proven by tx 0x6815c718…; testnet-only lock fails closed; recovery/EAS wired-dormant (honest-nil)
Gateway universal seam full proven yes 122+ handlers via _call→gate_action (no bypass); 43 P2 routes (6 wired / 37 honest-501); ripple on success only; model-all-fail→503
Client execution legs full proven yes 46 services + components gate on isChain/GasSponsorship/BackendConfigured; throw/degrade, zero fake data
Security posture frozen full proven yes OBSERVE default, attest-enforce off, testnet, non-custodial (gas-digest-only), fail-closed money path; 1033 tests green
Trinity reasoning honesty full proven yes P1 scripted engine removed → honest failure; P2 gateway→Anthropic, key server-side, honest 3-case
Honest-failure law sweep full proven yes 0 unlabeled fake-success across all 3 repos; demo paths explicitly labeled "(demo)/simulated"

Two auditors errored on the first pass and were re-run (not inferred) before this matrix was accepted — gateway seam and the honest-failure sweep both returned full / no-violations.

Residual gaps — all honest fail-closed (NOT defects)

  • Guardian-recovery module not deployed → Recovery.socialRecoveryModuleAddress empty; advisory no-op until a recovery contract is deployed.
  • EAS encodeAttestRequest returns nil (EASManager.swift:396) — batch/attest calldata encoder not yet wired; callers treat nil as "not available", never fabricate calldata. (Deploy-time work per the wiring unit's proof plan.)
  • Oracle data-request / Securities issuance fail-closed with honest "unsupported".
  • Runtime RPC/bundler/paymaster-endpoint/gateway URLs intentionally unset (they carry keys) → chain-dependent legs stay dormant until set in lockstep.

Tooling (Phase-7)

  • gateway.doctor: honest posture, 197 routes, every subsystem READY or a deliberate no-op.
  • verify_abis: no drift. morpheus_security.review: PASS (5 invariants, 17 proving tests present). Posture frozen: OBSERVE / chain-off / attest-off.