HYP-S increment 3: rsr-conformance oracle + repo-wide mix format

[hyperpolymath]

Review guide — two independent commits, review per-commit

1. style: apply mix format repo-wide — pure mix format output across 133 files, zero semantic change. Main carried 132+ files failing mix format --check-formatted, so the Format CI gate has been red on every PR regardless of content (ci: advance standards reusable-workflow pins to consume #466 (fix baseline gate) #600, HYP-S increment 2: record-dialect reader + RSR v2.0 criteria loader #601 both merged red). After this commit the repo-wide check passes, so a Format failure once again means something. Verify mechanically: check out the commit, run mix format --check-formatted (clean) and mix compile (clean).
2. HYP-S increment 3: the rsr-conformance oracle — the feature (2 files: module + tests), written on the formatted base.

(One PR because the designated working branch is single; the commits are strictly separated so the mechanical diff can't hide anything.)

The oracle

RSR-SPEC-v2.adoc §6 names hypatia's rsr-conformance family as the one normative oracle for RSR v2.0. Hypatia.Rules.RsrConformance implements the scoring engine per §5:

• Capability-gated applicable set — reads .machine_readable/rsr-profile.a2ml (record dialect) for declared capabilities; non-applicable criteria are :na and excluded from the denominator. No profile ⇒ only universal criteria apply (and universal criterion 3.2.2 — profile presence — fails, which is the intended signal).
• Verdicts pass / partial (half weight) / fail; category weight split equally per criterion (documented interpretation of the SSOT's category-level weights; flagged as a v2.0.x spec clarification).
• Tier from the catalogue's own [tiers] thresholds; rhodium requires a non-provisional run with every applicable rhodium-tier criterion passing.

Honesty guarantees (the load-bearing part)

Detection is deliberately partial in this increment: a built-in tranche of ~30 file-presence / record-dialect-parse detectors (community-health files, .well-known/, the descriptile substrate incl. a real parse gate 3.2.1, workflows). Every criterion outside the tranche is returned :unverified — reported, never assumed passed. Each scorecard publishes automatable_coverage (§7), and any coverage < 100% forces provisional = true — a provisional scorecard MUST NOT be cited as a firm tier claim. This is what "no silent green" looks like in an oracle: the path from provisional to firm is extending the detector table, visible in a published number.

• Scorecards serialize via to_record_dialect/1 and round-trip through Hypatia.A2ml.RecordDialect — the oracle's output is itself a conforming record-dialect document.

Verification (in-session toolchain, Elixir 1.17.3 / OTP 25)

• 8 new tests, 0 failures: synthetic fully-detectable catalogue exercising the non-provisional path end-to-end (weights, partial=half, :na exclusion, threshold→tier); real-SSOT scoring of an empty tree, a well-formed universal tree, and a malformed descriptile (parse gate fails, not just presence); serialization round-trip; self-application smoke — the oracle scores the hypatia repo itself without raising and reports its own pre-descriptiles layout honestly.
• rules+a2ml domain: 190 tests, same 3 pre-existing failures (2 vlang, 1 chapel — untouched).
• Zero new compile warnings; repo-wide mix format --check-formatted clean.

What this unlocks

RSR v2.0's ratification bar (spec §10): step 1 (oracle consumes the SSOT) was #601; this delivers the scoring half of step 1 and makes step 3 (a published corpus run) executable. Remaining to leave Draft: detector coverage → 100% (or delegation to live scanner rules named in detect), the dogfood gate wired in CI, and the corpus run to verisim-data.

Guardrails

No licence content touched (criterion 7.1.1 remains in the unverified set — licence detection stays flag-only with the live scanner, never this file-presence tranche). New files carry MPL-2.0 SPDX per lib/ convention.

🤖 Generated with Claude Code

https://claude.ai/code/session_0112RkdER2wtwHdNmbEhThUz

---

Generated by Claude Code