v0.16: cut over to the compositional semantic engine

[akcorca]

Outcome

Cuts Semath over to one compositional semantic runtime and one project-owned fact store. This intentionally breaks the v0.15 protocol, pack schema, formula completion/rewrite surface, and raw inspection model instead of preserving duplicate architecture.

Closes #131
Closes #132
Closes #133
Closes #134
Closes #135
Closes #137

#136 is completed by the follow-up CorTeX integration PR and will close there.

Architecture

• wasmtex syntax contract v3 is the only document/macro frontend
• canonical, source-preserving semantic IR and bounded generic typed-law unification
• ProjectSemanticIndex is the sole owner of definitions, roles, shapes, quantities, domains, and law relations
• schema-4 packs compile once in Rust; the old TS validator, JSON schema, matcher, pattern, and rewrite runtimes are deleted
• protocol 2 exposes selection, semanticView, navigation, rename, and diagnostics

Evidence

• 68 Rust tests and 26 TypeScript/LSP/Worker/adapter tests
• 420 independently authored cases: 400 architecture-proof + 20 post-freeze blind-extension cases
• per-law recall 96.7–100%; precision 100%; 372 variation tags and 59 refusal categories
• native/WASM exact parity for semantic view, refusal, navigation, and incremental result
• 61-document performance fixture: cold ~351 ms, delta median ~11.8 ms, p95 ~12.4 ms, peak RSS growth ~69 MB, max affected set 2
• clean package smoke passes
• documentation passes awiki lint -r
• release WASM built on x86_64 Linux and verified to contain only the protocol-2 query surface

Intentional deletions

• matcher.rs, pattern.rs, rewrite.rs
• formula recognition/completion/rewrite and raw equation-tree/inspection queries
• TypeScript pack runtime and duplicate validator
• pack schema 3 and compatibility adapters
• obsolete v0.1–v0.15 goldens, calibration runners, and dead synthetic runner

Verification

bun run check
awiki lint -r

[coderabbitai]

Important

Review skipped

Auto reviews are disabled on this repository. Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro Plus

Run ID: c6457500-1442-43fa-9bc4-ba5a3c74abe6

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}