The Verifiable Alpha Ledger

call payload --sha256--> bytes32 --60s merkle batch--> AlphaLedger.emitBatch (Base)
     |                                                        |
     +-- state/alpha_ledger/batches/<root>.json               | horizon passes
         (canonical payload + proof, persisted                v
          BEFORE any tx is broadcast)              binder: attestBatchLeaf
                                                   + price from source chain
                                                   + bindOutcomeWithSig (EIP-191)
                                                              |
                            /edge/ledger  <-------------------+
                            /proof/<hash>  (sha256 re-checked in YOUR browser)

​

The two facts it proves

1. When the call was made. The hash of the call payload lands in a Merkle batch committed to AlphaLedger.sol on Base (Optimism as failover). Batch roots inherit the block’s timestamp, so a late attestation can never improve a call’s recorded time.
2. What actually happened. Exactly one bound outcome per hash, submitted by a dedicated verifier key over EIP-191, sourced from real price/fill data (Hyperliquid, on-chain price feeds, or — for equities — a connected broker via SnapTrade). There is no update, delete, or admin override once an outcome is bound.

​

What’s deliberately NOT claimed

• Emission is permissionless, not identity-verified. The chain proves when a hash existed — never that its author is trustworthy. Anyone can emit a hash; the leaderboard attributes by submitter wallet.
• A source without a defensible price returns nothing. If no data source can resolve an outcome, the call stays visibly unsettled rather than getting a fabricated result. See the “DORMANT, with a reason” convention throughout Scienter — a missing input is never silently treated as a zero or a pass.

​

Verify a call yourself

curl http://127.0.0.1:8777/proof/0x<callHash>.json

​

Current status

• Contract: contracts/src/AlphaLedger.sol, 28 Foundry tests.
• SDK: @scienter/alpha-ledger (Node/TypeScript, viem), 23 tests with vectors byte-checked against the Solidity implementation.
• Not yet deployed to any network. The deploy runbook targets Base Sepolia (testnet) first; every *_ADDRESS environment variable ships empty in .env.example. Mainnet deployment requires explicit sign-off and has not happened.
• Payload archival to Arweave/S3 is scaffolded in configuration but not yet wired — local batch files are the interim payload store.