Declare the repo's RSR profile (docs-site) so #15's packaging verdict is deliberate - #18
Merged
Merged
Conversation
|
Navigate logical layers of code changes, visualize relationships, and explore their blast radius. Note Currently processing new changes in this PR. This may take a few minutes, please wait... ⚙️ Run configuration
📒 Files selected for processing (2)
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. Comment |
hyperpolymath
marked this pull request as ready for review
October 4, 2026 01:31
hyperpolymath
force-pushed
the
arena/01a10483-awesome-haskell
branch
from
October 4, 2026 01:31
6630fb3 to
c3ad474
Compare
hyperpolymath
marked this pull request as draft
October 4, 2026 01:31
The estate's RSR model scores and requires modules by capability, but this repo had no .machine_readable/rsr-profile.a2ml at all. That absence is why two gates had nothing to read: * criterion 3.2.2 (rsr-profile present) is `universal`, so the advisory RSR scorecard marked it failed for a missing declaration; * the Guix packaging gate applies only to repos declaring `reproducible-build` or `container` (standards#1120, 2026-10-01), so an awesome-list was being judged as if it shipped a build. Declare the surface that actually exists: docs-site (README.adoc published by .github/workflows/pages.yml). Packaging is deliberately not claimed — an annotated bibliography has nothing to pin or seal. A false claim would fail loudly, which is the point. Refs #15 Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>
hyperpolymath
force-pushed
the
arena/01a10483-awesome-haskell
branch
from
October 4, 2026 01:33
c3ad474 to
ff5d986
Compare
hyperpolymath
marked this pull request as ready for review
October 4, 2026 01:33
|
Autopilot could not be updated. Open Coding to check access and billing. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Declares the surface this repo actually has, so the green on #15 is a statement about the repo rather than an inference from a missing file.
Why the checks from #15 are already green on main
Both jobs conclude success on main as of run 37146756341 (2026-10-03T19:07Z). Neither was fixed in this repo:
CONTRIBUTING.adoclanded past the 2026-08-21 cutoff (the gate blocks on README/LICENSE at once, and arms CONTRIBUTING on a date, not a flag).rsr-profile.a2mldeclaresreproducible-buildorcontainer. The previous universal rule was red on 86/325 callers, nearly all docs/proofs libraries with nothing to package. Noguix.scmbelongs here.What this PR changes
.machine_readable/rsr-profile.a2ml— declaresdocs-site(README.adoc published by.github/workflows/pages.yml). An absent profile is indistinguishable from an unfinished one, and criterion 3.2.2 (universal, silver) fails for a missing declaration.reproducible-build/containerare deliberately not claimed; a false claim fails the gate, which is the point.Verified
check-package-policy.sh:✅ Packaging not applicable (no packaging capability declared). Withreproducible-buildfalsely added it fails, as it should.check-rsr-profile.sh:effective capabilities: docs-site,OK.The re-pin is deliberately NOT in this PR
Refreshing
governance.ymloff standards@571cc734 (370 commits behind) would make the packaging verdict profile-driven instead of fallback-driven — but it also pulls in a UUID v7 conformance gate that fails on a pre-existing, external identifier:scripts/check-uuid-v7.shscans every text file for non-v7 UUID literals, and that is IHP Casts' legacy episode id inside a third-party URL — not an estate UUID and not ours to re-mint. Measured on run 37168136775: with the re-pin + this profile, the packaging job went green (so the profile works) and only the UUID gate failed. The re-pin will be re-attempted once the gate can express "external identifier, leave it alone" — until then this repo keeps its current pin and stays green.Refs #15.