[hyperpolymath]

Summary

Adopts the real registry values for haec's CLADE.a2ml, following the registry's ruling on gv-clade-index#58 (reclassify rm → fv, secondary nl — landing via hyperpolymath/gv-clade-index#88). Per that issue: "haec's in-repo .machine_readable/6a2/CLADE.a2ml carried the rsr-template's identity until haec#47; it now needs the real registry values, which will follow whatever this issue decides."

Changes

• prefixed-name: rm-haec → fv-haec
• [clade]: primary rm → fv; primary-name added (Formal Verification & Proofs) — it was absent entirely, so the file could not satisfy CLADE-006
• secondary: ["gv"] → ["nl"] (the old gv was a mis-abbreviation with no relationship to this repo)
• rationale: filled with the registry description (was empty)
• [lineage].parent: template text ("RSR template — scaffold for new repos") → "" — the registry lineage is standalone, and a standalone repo has no parent
• [status] phase = "active" added — CLADE-004 requires a lifecycle phase; its prescribed default is active

RSR Quality Checklist

Required

• Tests pass (just test or equivalent)
• Code is formatted
• Linter is clean (no new warnings or errors)
• No banned language patterns (no TypeScript, no npm/bun, no Go/Python)
• No unsafe blocks without // SAFETY: comments
• No banned functions (believe_me, unsafeCoerce, Obj.magic, Admitted, sorry)
• SPDX license headers present on all new/modified source files
• No secrets, credentials, or .env files included

As Applicable

• .machine_readable/STATE.a2ml updated — n/a (identity metadata only)
• Documentation updated — the CLADE declaration is the documentation of identity
• New dependencies reviewed — none

Testing

• CLADE-003 (code ∈ taxonomy): fv ✓
• CLADE-004/005 (phase present/valid): active ✓
• CLADE-006 (primary-name matches primary code): fv|Formal Verification & Proofs ✓
• uuid re-derived from github.com/hyperpolymath/haec matches the stored value (90db7939-1d8d-5fec-9dbf-f2674b7818f5) — identity unchanged by reclassification ✓
• Cross-checked against the registry export on gv-clade-index#88: haec → fv/["nl"]/fv-haec ✓

Screenshots

Not applicable — identity metadata.

[coderabbitai]

Understand this PR’s impact

Explore downstream dependencies and potential security impact with Blast Radius.

Preview blast radius → · Advanced feature

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Free

Run ID: 3b2c758d-7d74-4f45-915c-24168c70a214

📥 Commits

Reviewing files that changed from the base of the PR and between d4b1e82 and 0edb6ed.

📒 Files selected for processing (1)

• .machine_readable/6a2/CLADE.a2ml

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

---

📝 Summary

Summary by CodeRabbit

• Updates
  • Reclassified Clade from rm with secondary gv to primary fv with secondary nl.
  • Updated the prefixed name to fv-haec.
  • Added an active status and removed the previous lineage parent.
  • Updated registry commentary and rationale to reflect the resolved classification and Haec’s type discipline and Trope IR.

Walkthrough

The Clade registry entry changes from rm/gv to fv/nl, uses the name fv-haec, and records Haec’s type discipline and Trope IR. The entry has no parent and has an active status.

Changes

Clade registry metadata

Layer / File(s)	Summary
Registry classification and lifecycle metadata .machine_readable/6a2/CLADE.a2ml	The entry uses fv with secondary nl, adds the formal-verification primary name, and uses the prefixed name fv-haec. The rationale describes Haec’s language and Trope IR. The scaffold parent is cleared, and the status is active.

Estimated code review effort: 2 (Simple) | ~10 minutes

---

Note

🎁 Summarized by CodeRabbit Free

The PR author is not assigned a seat. If you are a newly provisioned user and your organization has automatic seat assignment enabled, open a new pull request to trigger seat assignment. Otherwise, ask an organization administrator to assign a seat through the team management page at https://app.coderabbit.ai/settings/team-management.

_{A rabbit checks the registry line
Formal marks now fit just fine
Haec’s types hop through Trope IR
No scaffold parent follows far
An active flag now shines clear
The Clade record rests sincere}

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

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud