Settlement & proof posture, corrected against implementation
Audited the public posture: verifier attestations and escrow settlement are live on SUM Chain mainnet; Halo2 zkML proofs verify off-chain and are deliberately not yet a mainnet-eligibility signal. The site now states both precisely.