univer-tddlisted

# 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: - workbook-visible final state: sheets, used ranges, headers, representative values, formulas, and computed values - range role preservation: source data, helper/control input, lookup/reference, example/demo, existing output, and preserve-only ranges - boundary and negative constraints: no extra headings, no helper sheets, cleared tails, no unintended overwrite, no unwanted formatting changes - workbook-behavior contract decisions: one assertion for each non-obvious output shape, sort/group/mapping, value/formula