refactor: complete evidence-only semantic cutover

[akcorca]

Closes #193.

Outcome

Completes the v0.19 hard-cutover audit so typed, source-linked evidence is the only path to law recognition. No notation-only compatibility recognizer remains.

Changes

• consume exact wasmtex source identity and complete-application boundaries for styled/decorated/operator selections
• support bounded copula elision and contextual additive zero without pack-specific branches
• delete notation-role fallback and require typed local or imported role/quantity evidence
• separate corpus relation recognition from the exhaustive meaning-decision status
• inject deterministic typed evidence into positive synthetic cases, including TeX command symbols
• extend the legacy-path audit across protocol, pack, corpus, runtime, and docs contracts
• correct foundation/challenge premises exposed by the hard cutover
• rebuild release WASM on x86_64 Linux and document live-state memory measurement boundaries

Evidence

• bun run check
• bun run challenge: 48/48
• bun run corpus: 3,106 authored + 249 metamorphic cases; all laws 100% recall, precision, roles, evidence, and refusal
• bun run foundation: 118/118
• awiki lint -r
• stable x86_64 Linux performance:
  • 61 documents: delta p95 4.96 ms, semantic delta 5.25 ms, peak RSS growth 100,605,952 B, 950 law-rule visits
  • 501 documents: delta p95 25.28 ms, semantic delta 20.98 ms, peak RSS growth 135,090,176 B, 7,914 law-rule visits
• native/WASM parity and package smoke pass
• release WASM: 2,805,033 bytes

Dependency direction remains wasmtex → Semath → CorTeX. wasmtex structural scope support is already merged in corca-ai/wasmtex#43; the Protocol 7 CorTeX consumer is already merged in corca-ai/cortex#425 and will be pinned to this final Semath commit after merge.

[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: ab3022d6-8d17-482a-b22a-02ccccfaddf8

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.}