Complete RSR-template instantiation (close half-instantiated debt)

[hyperpolymath]

Source: AFFIRMATION.adoc (2026-06-19 real-gate run). krl is functional KRL design (spec/grammar.ebnf, src/{core,definitions,errors,bridges}) sitting on a half-instantiated RSR template.

State (verified 2026-06-19, commit d8b9768)

MUST + licence/secrets TRUST gates pass, but verify-template, validate-rsr, and container-pinning FAIL.

Acceptance criteria

• Justfile no longer references rsr-template-repo (set the real project/REPO).
• EXPLAINME.adoc {project-name} token replaced.
• Clear the ~8 remaining {{PLACEHOLDER}} files.
• Add .machine_readable/anchors/ANCHOR.a2ml.
• Add src/interface/abi (or record an explicit exception).
• Assign the Groove port (kill (port 0)).
• Digest-pin the Containerfile base image (@sha256:).
• just verify-template and just validate-rsr both pass.

Effort

~0.5 day (mechanical instantiation).

Cross-references

• AFFIRMATION.adoc (this repo).
• Estate repo-hygiene umbrella: [e] Catch-all: repo hygiene + workflow-audit backlog boj-server#199.

Out of scope

• The 0/7 PROOF-NEEDS obligations (Typing/Invariant/Algorithm/ABI) — tracked in PROOF-STATUS.md.
• Any KRL language-design change.

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