-
Notifications
You must be signed in to change notification settings - Fork 0
Publish an architecture, invariant, and artifact-contract reference for users and contributors #33
Copy link
Copy link
Closed
Labels
area:docsPublic documentation and contract accuracyPublic documentation and contract accuracyarea:verificationExecutable contracts and artifact verificationExecutable contracts and artifact verificationaudit-3Findings from audit round 3Findings from audit round 3documentationImprovements or additions to documentationImprovements or additions to documentationpriority:P1High: required for a trustworthy supported workflowHigh: required for a trustworthy supported workflowpublic-readinessRequired before independent public consumptionRequired before independent public consumptiontest-layer:L0Invariant inventory and collection-time contract gatesInvariant inventory and collection-time contract gates
Milestone
Description
Metadata
Metadata
Assignees
Labels
area:docsPublic documentation and contract accuracyPublic documentation and contract accuracyarea:verificationExecutable contracts and artifact verificationExecutable contracts and artifact verificationaudit-3Findings from audit round 3Findings from audit round 3documentationImprovements or additions to documentationImprovements or additions to documentationpriority:P1High: required for a trustworthy supported workflowHigh: required for a trustworthy supported workflowpublic-readinessRequired before independent public consumptionRequired before independent public consumptiontest-layer:L0Invariant inventory and collection-time contract gatesInvariant inventory and collection-time contract gates
Problem
The most valuable design ideas live across README, ROADMAP, CLAUDE.md, comments, and agent instructions. Public users cannot easily tell what is guaranteed, generated, verified, optional, or merely planned.
Acceptance criteria