[EthanThatOneKid]

What

A scoped wiki check FILE... (which build --only and the file watcher also use) called checkShaclFile once per file. Each call re-extracted the shapes graph with loadShapes, which scans every quad in the corpus several times (shacl.ts:88-154). A scoped check of k files cost O(k × corpus) for shapes that never change between files.

• shacl.ts: new loadWikiShapes(config) (the uninferred graph's shapes, the same expression checkShaclFile used inline). checkShaclFile takes an optional third shapesGraph, which defaults to loadWikiShapes(config), so existing callers and the public API behave the same.
• audit.ts: runCheck builds the shapes once per scoped check and passes them to each file.
• mod.ts: exports loadWikiShapes alongside checkShaclFile, so in-process callers can do the same.

This is item 1 of "Where Wiki's cost grows with corpus size" in #414.

Measured

A generated wiki of 2,000 Person pages plus one node shape, wiki check on 50 of them, two runs each, Windows:

	Run 1	Run 2
main @ a7074ee	73.5 s	102.6 s
this branch	12.5 s	15.0 s

A single-file scoped check on the same wiki takes about 10 s, which is mostly the graph load the cache already covers. So almost all of the remaining time for 50 files is fixed cost, not per-file cost. I also checked by hand that an invalid page still reports shacl_violation alongside a valid one.

Checks

deno task check, deno task lint, deno task fmt:check, and deno task test (574 passed, 1 ignored). The new test asserts that a passed-in shapes graph is used as given: the wiki's own shapes give the same result as the default, and an empty graph has nothing to violate.

Not changed

• Full-wiki checkShaclAll already loads shapes once. Building the validator dataset only once (Performance: SHACL validation at scale (10^6+ quads) across Wiki and Worlds — shared benchmark, shapes memoization, delta-scoped validation #414 item 2) and validating only what changed (item 3) are separate follow-ups.
• No contract change for downstream templates: one new export plus an optional parameter.

Refs #414

🤖 Generated with Claude Code