Commit

0bed926

depending on the domain, but for example if it's a verifiable domain, then maybe the definition of "done" is: - code covers all invariants, and they're all true - some conformance check to ensure code "implements" the spec (TLA+, etc)

commit 0bed926