Skip to content

chore(openspec): archive the five completed changes and sync their specs - #253

Merged
jeremiepas merged 1 commit into
mainfrom
chore/archive-completed-changes
Nov 12, 2026
Merged

jeremiepas merged 1 commit into
mainfrom
chore/archive-completed-changes

Conversation

@jeremiepas

Copy link
Copy Markdown
Owner

What

These five changes have every task checked but were never archived, so their requirements were missing from openspec/specs. Each is archived with openspec archive -y, which merges its spec changes into the main specs.

Change Tasks Specs synced
cap-oversized-communities 14/14 new community-size-cap (+4 requirements); Purpose written
usable-leiden-on-code-graphs 10/10 community-detection +3, checkpoint-controls +1
imports-edges-go-rust-ruby 10/10 import-resolution +2
lean-proof-methodology 6/6 embedding-throughput +3
cypher-eval-graphindex 10/10 no spec changes (--skip-specs)

This unblocks bunch-real-projects (#252): its D1 has to amend community-size-cap, which did not exist in openspec/specs before this PR.

Not done here: leftovers that need a decision

These four folders are in both openspec/changes/ and openspec/changes/archive/, but the two copies differ, so deleting the open one could lose content:

  • streaming-embeddings: the open copy has Lean edits from 2026-10-27, newer than the archive (2026-09-18).
  • devhaskell-g5-gap-1: the open copy has extra files, including a nested archive/.
  • checkpoint-and-cluster-only-controls: the tasks differ from the archived copy.
  • fix-pipeline-e2e: the open copy is a 1-file stub of the 13-file archive.

Verification

  • openspec validate --all: 9 failures, the same as main.
  • openspec validate --all --strict: 72 failures, the same as main. All are placeholder-Purpose warnings in existing specs; the new spec has a real Purpose and passes --strict.
  • The five touched specs have warnings or info only, no errors.

Every task of these changes is checked; none was archived, so their
requirements were missing from openspec/specs:

- cap-oversized-communities (14/14): new spec community-size-cap (+4),
  Purpose written
- usable-leiden-on-code-graphs (10/10): community-detection +3,
  checkpoint-controls +1
- imports-edges-go-rust-ruby (10/10): import-resolution +2
- lean-proof-methodology (6/6): embedding-throughput +3
- cypher-eval-graphindex (10/10): no spec delta (--skip-specs)

openspec validate --all: 9 failures, unchanged from main; with --strict
72, unchanged from main (all placeholder-Purpose warnings).
@jeremiepas
jeremiepas merged commit f9022a3 into main Nov 12, 2026
5 checks passed
@jeremiepas
jeremiepas deleted the chore/archive-completed-changes branch November 12, 2026 14:29
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