univer-tdd

univer-tdd is SaC adapted TDD: workbook behavior is complete only when assertion contracts prove the changed packs through univer sac verify.

It is not generic code TDD. It is source-first workbook behavior development with plans/, migrations/, assertions.ts, and .sac/runs/<run-id>/verify-report.json.

Operating Contract

• Use univer-plan first for complex workbook behavior.
• Treat assertions.ts as the workbook-visible contract for each non-trivial changed pack.
• Allow bounded bootstrap or readonly probes when needed, but never use them as final completion evidence.
• Do not claim completion from univer sac apply success.
• Do not claim completion from a zero-assertion, all-skipped, or unchecked changed pack verify run.

Assertion Coverage

Derive assertions from user intent, baseline evidence, range roles, and final-layout reasoning. Do not derive them from whatever the migration happened to write.

Assertions should cover: