Test-Driven Univer Development

Test-Driven Univer Development is package-local SaC TDD for Univer workbooks. Behavior is complete only when assertion contracts prove the changed packs through univer sac verify.

This is not generic code TDD. The goal is correct Univer package behavior through source, runtime, and assertion evidence. For spreadsheet projects, that includes Excel domain semantics, range roles, formulas, computed values, formatting, validation, protection, preservation, and negative constraints.

If you wrote migration source before the assertion failed for the intended workbook-visible reason: Delete or revert the migration source change and restart from the plan-derived assertion gate.

No exceptions: