docs: cite launcher-standard_praxis.deed, not the deleted a2ml

[hyperpolymath]

What

standards#952 deleted launcher/launcher-standard.a2ml. This repo still
cited it by name, so the links 404 and the prose instructs a reader to open a
file that no longer exists. Every citation now names the live
launcher-standard_praxis.deed in hyperpolymath/standards.

Why this is safe

Citation text only. No code path reads these strings, no behaviour changes, and
this is independent of the file extension — converting launcher descriptors
to .deed is a separate workstream gated behind launch-scaffolder#40 under
R-G's dual-accept rule. This PR does not rename or move any file.

Verification

launcher-standard.a2ml no longer appears anywhere in the repo.

Refs: hyperpolymath/standards#960 (AC1), standards#837, owner ruling D73-C.

🤖 Generated with Claude Code

https://claude.ai/code/session_01WPSJ7fBhVAMcpSffCBWUDo

[coderabbitai]

Navigate logical layers of code changes, visualize relationships, and explore their blast radius.

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: b9b4b40b-4c53-4bf4-bb89-fb5a16c5fe0d

📥 Commits

Reviewing files that changed from the base of the PR and between 48bd5cb and 729c706.

📒 Files selected for processing (3)

• ui/launcher/README.adoc
• ui/launcher/betlang-playground.sh
• ui/launcher/keepopen.sh

Included review availability: Your plan provides up to 1 included review per hour; 0 remain after this review.

📜 Recent review details

⏰ Context from checks skipped due to timeout. (9)

• GitHub Check: governance / Code quality + docs
• GitHub Check: governance / Allowlist Preflight
• GitHub Check: governance / Trusted-base reduction policy
• GitHub Check: governance / Guix packaging policy (Nix retired)
• GitHub Check: governance / Language / package anti-pattern policy
• GitHub Check: governance / Security policy checks
• GitHub Check: hypatia / Hypatia Neurosymbolic Analysis
• GitHub Check: Lean 4 (lake build)
• GitHub Check: analyze (javascript-typescript, none)

🔇 Additional comments (3)

ui/launcher/README.adoc (1)

14-14: LGTM!

Also applies to: 399-399

ui/launcher/betlang-playground.sh (1)

4-4: LGTM!

Also applies to: 29-29

ui/launcher/keepopen.sh (1)

4-4: LGTM!

---

📝 Summary

Summary by CodeRabbit

• Documentation
  • Updated launcher compliance references to the current Launcher Standard (DEED) document.
  • Corrected links and labels in the launcher documentation and related script comments.
  • No functional behaviour was changed.

Walkthrough

The change updates launcher documentation and compliance comments from the A2ML standard path to the DEED standard path. No functional code changed.

Changes

Launcher standard references

Layer / File(s)	Summary
Update launcher standard references ui/launcher/README.adoc, ui/launcher/betlang-playground.sh, ui/launcher/keepopen.sh	Links and comments now reference launcher-standard_praxis.deed through the blob path. Labels now use “Launcher Standard (DEED)”.

Priority: ⬇️ Low

Estimated code review effort: 1 (Trivial) | ~3 minutes

Change: Other

Merge Risk: ⚪ Minimal · up to 729c7

This PR corrects launcher-standard documentation links and comments without changing launcher behavior, so no merge-blocking risk remains.

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Description check	✅ Passed	The description accurately explains that repository citations changed from the deleted launcher-standard.a2ml to launcher-standard_praxis.deed. It matches the documented changes.
Title check	✅ Passed	The title clearly and concisely identifies the main change: updating citations to launcher-standard_praxis.deed instead of the deleted A2ML file.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 2…
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

✨ Finishing Touches 💡 1

🛠️ Fix failing CI checks 💡

• Commit to this branch
• Create a new PR

📝 Generate docstrings

• Commit to this branch
• Create a new PR

---

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

_{A rabbit checks the launcher trail
The DEED link now sets the sail
Old A2ML paths hop away
Comments point to the right display
No code changed in this array}

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