Skip to content

docs: retire the plan of spec 079 and finish its distillation - #342

Merged
plainprogrammer merged 4 commits into
mainfrom
079-retire-plan
Nov 13, 2026
Merged

plainprogrammer merged 4 commits into
mainfrom
079-retire-plan

Conversation

@plainprogrammer

Copy link
Copy Markdown
Owner

Housekeeping after the merge of #341 (spec 079, the deck checks). Documents only.

  • docs(specs): retire the plan of spec 079 deletes docs/specs/079-deck-checks/plan.md and changes nothing else (git show --stat 2086fd14).
  • docs(specs): point to the retired plan of spec 079 (spec 027 D4) adds the **Plan:** pointer under the spec's header, sets the index row's Plan to "retired in 2086fd14…", and replaces the one link to plan.md in verification.md with plain text. git show 2086fd14^:docs/specs/079-deck-checks/plan.md prints the plan (checked).
  • docs(architecture): name the pull request of spec 079 in the distillation log replaces the placeholder "spec 079's pull request" with #341.
  • docs(architecture): list every spec the collection-and-lots doc covers: the "Specs it covers" cell in docs/architecture/README.md stopped at 073. The specs index names sixteen more rows frozen by that doc (038, 040, 042, 048, 059, 061, 064, 065, 067 to 071, 077 to 079); they are added, with a short qualifier only where the spec's own name gives one. Not part of spec 027's steps, noticed while distilling feat(decks): check a deck's size, copy limits and owned plus proxy (spec 079, #258) #341.

bin/yard doc --no-cache builds with no warnings. No code, no migration, no spec behaviour changes.

🤖 Generated with Claude Code

plainprogrammer and others added 4 commits November 12, 2026 19:05
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…tion log

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
The Specs it covers cell stopped at 073; the specs index names sixteen more rows frozen by this doc.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@plainprogrammer plainprogrammer self-assigned this Nov 13, 2026
@plainprogrammer
plainprogrammer merged commit 100c961 into main Nov 13, 2026
15 of 17 checks passed
@plainprogrammer
plainprogrammer deleted the 079-retire-plan branch November 13, 2026 01:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant