Repository navigation
docs(status): mark blockspec#2 closed and nodespec as drafted - #68
Merged
Merged
Conversation
DESIGN-BRIEF.md §2 said blockspec#2 stays open; it was closed on 2026-10-21 with the spike's FOUND verdict. The README's kinds table still called nodespec "spike closed, not started"; it now has specification draft 0, conformance cases and a reference checker. Signed-off-by: Cameron Brooks <95648474+CameronBrooks11@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Two status lines had fallen behind.
DESIGN-BRIEF.md§2: "blockspec#2 stays open" becomes "blockspec#2 is closed".README.mdkinds table: nodespec's status "spike closed, not started" becomes "specification draft 0, conformance cases and reference checker", which is nodespec's own README wording for itself.Evidence for each claim
gh api repos/kindspec/blockspec/issues/2 --jq '.state, .state_reason, .closed_at'printsclosed,completed,2026-10-21T01:48:05Z. Its closing comment names prereg 3 run 2's verdict FOUND.head -2 SPEC.mdin kindspec/nodespec at9b7c89bprints# nodespec — specification, draft 0.reference/nodespec/andconformance/cases/exist at9b7c89b, andjust conformthere prints322 case(s): 322 passed, 0 failed, 0 malformed; 0 provisional, 0 of them failed.specification draft 0, conformance cases and reference checker(grep -n 'named, not positional' README.mdat9b7c89b).Checked and left as is
README.mdandDESIGN-BRIEF.md(The spike: does prose have a silent-wrong-merge? #2, Adjudicate: djot or markdown #3, Adjudicate: what is a block? #4, and docs(D8): make §3.3's uniqueness table reproducible and re-measure it research#7) was checked withgh. Adjudicate: djot or markdown #3 and Adjudicate: what is a block? #4 are closed (2026-10-14), and the brief already describes them as decided by 0001 and 0002. research#7 is a merged PR, cited as a reproducibility point, which is still accurate.gh release list -R kindspec/rowspecshows v0.4.0, "rowspec 0.4.0 — draft 0", as latest.spike/LOG.md§31 and §33 andspike/PRE-REGISTRATION-2.md§8 also say blockspec#2 "stays open". Those are log entries and an approved pre-registration recording the state at the time, so they are not edited.Gate
just check,just test(181 passed) andjust conform(0 failure(s) across 547 case(s)) each exit 0 on this branch.