Finish RSR-template instantiation + reconcile stack-diagram vs KRL-stack grounding

[hyperpolymath]

Source: AFFIRMATION.adoc (2026-06-19 real-gate run).

State (verified 2026-06-19, commit 102499d)

The most rigorous repo in the estate (OCaml compiler + Rust LSP/WASM + Lean-4 type-safety proofs; TG-3 LANDED). MUST/TRUST pass, but:

• 5 {{PLACEHOLDER}} files + 8 rsr-template-repo references remain.
• The maintainer-confirmed README stack diagram (KRL → TangleIR → VerisimCore → Skein/QuandleDB) dropped "KRL … not merely a query language" and softened the Skein/QuandleDB labels — a mild tension with the groundings that still emphasise those.

Acceptance criteria

• Clear the 5 {{PLACEHOLDER}} files + 8 rsr-template-repo references.
• Decide + document whether the simplified stack diagram supersedes, or should re-state, the "not merely a query language" / "Skein = engine" nuance (reconcile with the krl & Skein groundings).

Cross-references

• AFFIRMATION.adoc (this repo); the groundings it tensions with: docs(grounding): reconcile Skein role to KRL stack — compute/backend engine Skein.jl#20, docs(krl): ground KRL identity + 5-role stack per canonical spec krl#35.

Out of scope

• Re-running the Lean/OCaml proofs (need lean/dune; absent this session — see AFFIRMATION).
• The VerisimCore placement itself — settled, maintainer-confirmed 2026-06-19.

Filed from the 2026-06-19 estate AFFIRMATION-rollout retrospective.