diff --git a/docs/scratchpads/828-lease-broker.md b/docs/scratchpads/828-lease-broker.md index ae19f24..c356ec0 100644 --- a/docs/scratchpads/828-lease-broker.md +++ b/docs/scratchpads/828-lease-broker.md @@ -57,7 +57,15 @@ Verified before code on session start; all exact SHA-256 values matched: - Independent Codex code review round 2 found 2 blockers + 1 relevant should-fix (half-close contract ambiguity, incomplete persisted-state validation, symlink/non-regular state); all were remediated with tests and documentation. Pre-existing `.mosaic/*` session dirt remains excluded from the PR. - Unrestricted focused situational suite: `35/35` GREEN. - New Python product module coverage: `90%` (`356` statements, `36` missed), above the user-required 85%. -- Root typecheck and lint gates passed after remediation; final package/full-suite/format evidence is recorded below before push. +- Root typecheck: `42/42` Turbo tasks GREEN. +- Root lint: `23/23` Turbo tasks GREEN. +- Root format check: GREEN. +- Package build + suite: `71/71` files and `1,369/1,369` tests GREEN, including framework shell tests. +- Full root suite: `43/43` Turbo tasks GREEN after the oversized-frame production race fix. +- Focused acceptance suite: `35/35` GREEN in three consecutive unrestricted runs; exact-head instrumented run also `35/35` GREEN. +- Exact-head Python product coverage: `90%` (`365` statements, `37` missed), above the required 85%. +- Review-triggered oversized-frame race was fixed in production by bounded drain-to-EOF; tests were not changed. +- Commits banked in red/green cadence: `d61c5441` (RED contract), `deb11df7` (GREEN implementation/docs), `57770e34` (oversized-frame production fix). ## Coordinator handoff requirements