Skip to content

docs: corpus pages read their figures, two limits not four, coverage header gated - #103

Merged
lex00 merged 1 commit into
mainfrom
docs-followup
Sep 12, 2026
Merged

lex00 merged 1 commit into
mainfrom
docs-followup

Conversation

@lex00

@lex00 lex00 commented Sep 12, 2026

Copy link
Copy Markdown
Contributor

Follow-up to #96, #99 and #102.

…he coverage header is gated

The four conformance and platform pages still carried the 0.70.1 numbers
and the four-limit table from before #96; every number is now read from
figures.json, and figures written inside backticks (which MDX renders
literally) are <code> elements. forgejo-warden's page says the example
uses export default and a same-file helper, which fold since 1.2.

UNCOVERED.md said 107 of 132 after 1.4 added six rules; the gate computes
107 of 138 and now asserts the header says so. The paper's coverage
figures follow. The prose linter reads an MDX expression as the number it
renders, so the dots in figures.corpus.files no longer end sentences.
@lex00
lex00 merged commit 1e677f4 into main Sep 12, 2026
2 checks passed
@lex00
lex00 deleted the docs-followup branch September 12, 2026 18:23
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