Skip to content

Release: v0.8.2

Latest
Latest

Choose a tag to compare

View all tags
@shinpr shinpr released this 06 Jul 07:41
v0.8.2
bb6735b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Highlights

  • Added explicit Design Doc handling for behavioral assumptions that rely on framework defaults, existing capabilities, or already-implemented behavior.
  • Strengthened reviewer checks so unverified assumptions must either have evidence or a matching implementation-phase verification/guard.
  • Propagated unverified assumptions into WorkPlan proof obligations and traceability.
  • Trimmed WorkPlan and Design Doc prompt wording while preserving execution-critical guidance.
Assets 2
Loading