Audit the first v0.3.0-rc.1 candidate after issues #6–#14 are closed or explicitly deferred.
Two reviewers outside the implementation work should build cleanly, replay the reference bundles, verify artifact digests, and confirm that operational checks never claim theorem-level assurance.
End with one decision: ship, revise, or defer.
Audit the first
v0.3.0-rc.1candidate after issues #6–#14 are closed or explicitly deferred.Two reviewers outside the implementation work should build cleanly, replay the reference bundles, verify artifact digests, and confirm that operational checks never claim theorem-level assurance.
End with one decision:
ship,revise, ordefer.