Skip to content

Website: hosting headers, one file for the coverage figures - #74

Closed
kvlonge wants to merge 1 commit into
mainfrom
land/r3
Closed

kvlonge wants to merge 1 commit into
mainfrom
land/r3

Conversation

@kvlonge

@kvlonge kvlonge commented Nov 5, 2026

Copy link
Copy Markdown
Contributor

Website-only. public/_headers (for hosts that read it; GitHub Pages ignores it) caches content-hashed assets and the version-named DuckDB-WASM directory as immutable, and the engine revalidates. src/data/figures.json holds every headline figure, including the catalogued form count (3,475, replacing a hard-coded 3,348); llms.txt is filled from it too; npm run check:figures fails while any figure is a placeholder. Nothing deploys.

- public/_headers caches content-hashed assets and DuckDB-WASM, now in a
  directory named for its version, as immutable; the engine revalidates.
  For hosts that read the file; GitHub Pages ignores it.
- src/data/figures.json also holds the number of catalogued syntax forms
  (3,475, from coverage/syntax/baseline.json), which replaces the
  hard-coded 3,348. The llms.txt files are filled from it too.
- npm run check:figures fails while any figure is still a placeholder.

kvlonge commented Nov 5, 2026

Copy link
Copy Markdown
Contributor Author

Landed on main by fast-forward as 8a1dab87 (53ea383..8a1dab8).

  • Gate: make check-merge RECORDER=0 on the exact head 8a1dab8: exit code 0.
  • Public-repository hygiene scan on the same head: exit code 0.

kvlonge commented Nov 5, 2026

Copy link
Copy Markdown
Contributor Author

Closing: this head is on main by fast-forward (see the landing comment above); GitHub did not mark it merged.

@kvlonge kvlonge closed this Nov 5, 2026
@kvlonge
kvlonge deleted the land/r3 branch November 9, 2026 21:32
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