Skip to content

docs: bring the org docs and state of play to 2026-10-15 - #25

Merged
CameronBrooks11 merged 3 commits into
mainfrom
docs/state-refresh
Oct 15, 2026
Merged

CameronBrooks11 merged 3 commits into
mainfrom
docs/state-refresh

Conversation

@CameronBrooks11

@CameronBrooks11 CameronBrooks11 commented Oct 15, 2026 •

Copy link
Copy Markdown
Member

What changes

STATE.md brought to 2026-10-15. Every figure was re-measured today, in fresh clones of each public repository's main, through just, with a private uv cache (UV_CACHE_DIR=<scratch> UV_LINK_MODE=copy). Sections that no longer describe anything are removed rather than annotated.

  • blockspec: the binding spike verdict is pre-registration 3's run 2, FOUND, under the owner's ruling of 2026-10-14 (spike/LOG.md §34–§35), with the rules it overrides and the noise figures beside it. Pre-registration 2 and run 1 stay INCONCLUSIVE. Adjudications 0001 (CommonMark 0.31.2 block-level profile) and 0002 (the block model), with their addenda. The case tree (blockspec#36, #38), the reference implementation (blockspec#37), and the required checks conformance and reference. The "trending toward do not build" paragraph and the blockspec#19 timing paragraph are gone.
  • rowspec: refusal identifiers, the CSV profile and its own tree and gate, and xlsx formulas. The fixes and spec rulings of rowspec#104 to #139, including that #136 was closed on #128 and #137 by #139. The 22 open issues, including #142–#145 filed today, and the one open pull request, #141, which addresses rowspec#112, #113 and #132–#135. The GitHub Release object that now exists for v0.3.0.
  • nodespec: the mermaid spike ran and is closed; identity is parked.
  • kindkit: blockspec is a second consumer, at a different pin from rowspec's.
  • .github: the audit now counts 9 pull request jobs and 9 required checks, with 0 findings. Daily runs listed.
  • What comes next, owner decisions, setup, traps and the decided list updated to match. blockspec's own README.md and spike/README.md still say there is no verdict on its main; blockspec#39 (open) updates them, and STATE.md points at it.
  • The spike's 432 is described as what it is: each FOUND cell's distinct count summed over the 35 cells, not a count of distinct units. The noise figures of pre-registration 3 §2.6 are quoted in full beside the verdict.
  • Citations corrected:
  • A setup note: kindkit's figures need bytecode writing enabled.
  • AGENTS.md and profile/README.md (second commit): §1's table and the org page said blockspec was "spike, no verdict"; they now give draft 0 (decisions, cases, a reference) and the spike's FOUND, with nodespec's spike closed. §3.1's required-checks table adds blockspec's reference, which gh api repos/kindspec/blockspec/rules/branches/main lists beside conformance.
  • §6 gains one entry: 98 of rowspec's 116 refusing parse cases had asserted refusal_contains: "" (rowspec#61, per CHANGELOG.md).

Measured

All on 2026-10-15.

The audit, here at cb04c2c:

$ python3 -I scripts/check_required_checks.py --public-only
1 private repositories skipped (--public-only)
6 repositories, 8 workflows, 9 pull request jobs, 9 required checks: 0 finding(s), 0 not evaluated

rowspec at 40e5647 (rowspec#139's merge):

find conformance/cases -name expect.json | wc -l       483
find conformance/cases-csv -name expect.json | wc -l   85
just conform        0 failure(s) across 483 case(s) in the fixture tree
just conform-alt    0 failure(s) across 483 case(s) in the fixture tree
just conform-csv    0 failure(s) across 85 case(s) in the fixture tree
just mutants        86 killed, 0 survived, 2 equivalent, 0 stale, 0 broken
just mutants-csv    33 killed, 0 survived, 2 equivalent, 0 stale, 0 broken
just test           418 passed, 2 skipped
just test-xlsx      20 passed
just test-libreoffice   1 passed
just check          450 files already formatted / All checks passed!
gh api repos/kindspec/rowspec/compare/v0.3.0...main --jq .ahead_by    28
gh issue list -R kindspec/rowspec --state open --limit 200 --json number --jq length    22
gh pr list -R kindspec/rowspec --state merged --search 'merged:2026-10-14..2026-10-15' --limit 200 --json number --jq length    27
grep -rl '"refusal":' conformance/cases --include=expect.json | wc -l  130
grep -rl '"refusal_contains"' conformance/cases-csv --include=expect.json | wc -l  43

blockspec at d5355ab:

find conformance/cases -name expect.json | wc -l   237
just tree      237 cases: 160 accept, 77 refuse / 0 problem(s)
just conform   0 failure(s) across 237 case(s) in the fixture tree
just mutants   91 killed, 0 survived, 0 equivalent, 0 stale, 0 broken
just test      8 passed
just check     10 files already formatted / All checks passed!
gh api repos/kindspec/blockspec/rules/branches/main    22723622 strict, conformance, reference

python3 -I -c "import json,collections,sys; v=json.load(open(sys.argv[1])); print(v['overall'], dict(collections.Counter(c['verdict'] for c in v['cells'].values())))" <file>
spike/results/prereg2/verdict.json        INCONCLUSIVE {'NO VERDICT': 52, 'NOT FOUND': 4}
spike/results/prereg3/verdict.json        INCONCLUSIVE {'NO VERDICT': 52, 'NOT FOUND': 4}
spike/results/prereg3/run2/verdict.json   FOUND {'NO VERDICT': 16, 'FOUND': 35, 'NOT FOUND': 5}

kindkit at 6ebd80d (throwaway clone, node on PATH):

just mutants   148 mutations, 148 caught, 0 survived, 0 broken
just test      220 passed
just check     28 files already formatted
just cases     6 case(s), 0 invalid
gh api repos/kindspec/kindkit/compare/v0.1.0...main --jq .ahead_by   8

with PYTHONDONTWRITEBYTECODE=1:
uv run pytest -q    3 failed, 217 passed
just mutants        148 mutations, 147 caught, 1 survived, 0 broken

Rule suites (gh api repos/kindspec/<repo>/rulesets/rule-suites/<id> --jq '.result+" "+.pushed_at'):

.github  4014197203   fail 2026-09-10T00:19:14-04:00
rowspec  4014189520   fail 2026-09-10T00:18:20-04:00
nodespec 4014318589   fail 2026-09-10T00:34:02-04:00

git show --stat --format= ebfc86a -- conformance/cases/case-body.schema.json   (in blockspec)
 conformance/cases/case-body.schema.json | 3 ++-

Issue and pull request lists: gh issue list and gh pr list with --state all --limit 200 for rowspec, blockspec, nodespec, kindkit, research and .github. Every other figure in the file names its command beside it.

Shown to fail

n/a: a documentation change; no check is added or altered.

Review

None yet.

Re-measure every figure on today's main of each public repository and
record what changed since 2026-10-09: blockspec's binding spike verdict
(FOUND, under the 2026-10-14 ruling), its two adjudications, case tree
and reference implementation; rowspec's refusal identifiers, CSV
profile, xlsx formulas and the 2026-10-14/15 fixes and rulings, with
its open issues; nodespec's closed spike; and the required-checks
audit, now 9 checks with 0 findings. Obsolete sections are removed.

Signed-off-by: Cameron Brooks <cambrooks3393@gmail.com>
AGENTS.md §1's table gave blockspec as "spike, no verdict" and §3.1's
required-checks table listed only `conformance` for it; the ruleset
requires `conformance` and `reference`. profile/README.md said the same
"no verdict". Bring both into line, and drop STATE.md's notes that they
were behind.

Signed-off-by: Cameron Brooks <cambrooks3393@gmail.com>
rowspec moved on while this was open: #136 and #137 are closed, five
issues were filed (#142 to #145), and #141 is the open pull request.
Re-measure rowspec at 40e5647 (418 passed, 450 files). Say what the
spike's 432 counts (a sum over cells, not distinct units) and quote the
noise figures in full. Cite the three recorded rule-suite rejections by
id, correct blockspec's prereg 2 PR range and where the ambiguous-table
schema change landed, keep the information-barrier decision in one place
without attributing blind judgement to AGENTS.md, and note that
kindkit's figures need bytecode writing enabled.

Signed-off-by: Cameron Brooks <cambrooks3393@gmail.com>
@CameronBrooks11 CameronBrooks11 changed the title docs(state): bring the state of play to 2026-10-15 docs: bring the org docs and state of play to 2026-10-15 Oct 15, 2026
@CameronBrooks11
CameronBrooks11 merged commit 8f269e0 into main Oct 15, 2026
3 checks passed
@CameronBrooks11
CameronBrooks11 deleted the docs/state-refresh branch October 15, 2026 13:07
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