Skip to content

Reference → Languages: runtime sections from runtime conformance - #42

Merged
Kinflou merged 3 commits into
mainfrom
docs/language-runtime
Oct 18, 2026
Merged

Kinflou merged 3 commits into
mainfrom
docs/language-runtime

Conversation

@Kinflou

@Kinflou Kinflou commented Oct 18, 2026 •

Copy link
Copy Markdown
Member

Stacked on #41.

Each language page's Runtime section is now rendered from runtime conformance. Before, it was a placeholder.

  • scripts/sync-language-support.py also reads:
  • From those it renders:
    • a Runtime table per language page (state, note, tracking link, the cases still failing, and the number of proving cases linked to the vectors);
    • a runtime matrix on the overview.
  • New flags read local files instead of fetching: --runtime-features and --runtime-report NAME=FILE. --runtime-rev picks the revision to fetch (default main).
  • The overview explains what the runtime states mean and how a runtime claim is proven.
  • The Rust and TypeScript framing pages' "Shipped combinations" tables link to the reference page.
  • The design contract's wire section names the vectors as the normative examples.

Checked:

  • zensical build --strict passes.
  • --check passes against local reports.
  • The CLI drift check passes.

The drift check fetches the reports from main, so it fails until runtime#13 and comline-typescript#50 merge.

Kinflou added 3 commits October 19, 2026 00:53
Reference → Languages has an overview (the states, how claims are proven,
the side-by-side matrix) and one page per language: its code generation
support, feature by feature, with the fixtures that prove it, and a Runtime
section for when runtime conformance covers it. scripts/sync-language-support.py
renders them from generation's features.json, replacing the single generator
support page under Tools and its sync script.
The sync script now also renders, from the runtime wire corpus and each
runtime's conformance report, a Runtime table per language page and a
runtime matrix on the overview. The framing pages' shipped-combination
tables point at them.
@Kinflou
Kinflou changed the base branch from docs/language-reference to main October 18, 2026 17:20
@Kinflou
Kinflou merged commit e75d5cc into main Oct 18, 2026
3 of 4 checks passed
@Kinflou
Kinflou deleted the docs/language-runtime branch October 18, 2026 17:21
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