chore(rsr): machine-readable artefacts, Justfile, community-health#4
Merged
Conversation
…health The repo had none of the estate's RSR scaffolding (no .machine_readable/, no Justfile). This adds the mandated, safe core — deliberately NOT the estate CI-workflow battery, which pulls reusable workflows that are red and would jeopardise the currently-green build (a careful separate step). Added - `.machine_readable/6a2/` — the six mandated A2ML artefacts (STATE, META, ECOSYSTEM, AGENTIC, NEUROSYM, PLAYBOOK), authored to reflect arghda-core specifically (not template residue). META.a2ml carries the verbatim maintenance-axis strings the RSR validator greps. - `0-AI-MANIFEST.a2ml` — root AI entry point (read-order + allocation + the "arghda never proves" policy). - `Justfile` — real recipes wrapping the cargo gates: `build`, `test`, `fmt`/`fmt-check`, `lint`, `check` (= the exact CI gate), `scan`/`dag`/ `agda-check`, and `validate-rsr`/`validate`. - `.well-known/` — `security.txt` (RFC 9116), `ai.txt`, `humans.txt`. - `SECURITY.md`, `CONTRIBUTING.md`, `CHANGELOG.md` (community-health). Discipline - New files carry MPL-2.0 SPDX from birth; existing `.rs` files are NOT swept (estate licence guardrail). No source/logic changed. Verification - `just check` (fmt-check + clippy -D warnings + build + test) green via the new recipes; `just validate-rsr` passes. 28 tests unchanged. Deferred (follow-ups): the CI-gate workflows (openssf-compliance, estate-rules, wellknown-enforcement, etc.), guix.scm/flake.nix dev-shells, the contractiles, and the optional .adoc authority docs (EXPLAINME/GOVERNANCE/MAINTAINERS/AUDIT/AFFIRMATION). Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019GiSiEfgZCte35dyykgBHs
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
2 participants
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.
RSR retrofit — machine-readable artefacts, Justfile, community-health
arghda-core had none of the estate's RSR scaffolding (no
.machine_readable/, noJustfile). This adds the mandated, safe core.Deliberately not in this PR: the estate CI-workflow battery (
openssf-compliance,estate-rules,wellknown-enforcement, …). Those pull reusable workflows fromstandardsthat are currently red, and wiring them in would jeopardise this repo's currently-green inlinedrust-ci.yml. That's a careful, separate step.Added
.machine_readable/6a2/— the six mandated A2ML artefacts (STATE,META,ECOSYSTEM,AGENTIC,NEUROSYM,PLAYBOOK), authored to reflect arghda-core specifically (not template residue).META.a2mlcarries the verbatim maintenance-axis strings the RSR validator greps (scoping-first = true,axis-1 = "must > intend > like",idris-unsound-scan = "believe_me/assert_total", …).0-AI-MANIFEST.a2ml— root AI entry point (read-order, allocation, and the "arghda never proves" policy).Justfile— real recipes wrapping the cargo gates:build,test,fmt/fmt-check,lint,check(= the exact CI gate),scan/dag/agda-check, andvalidate-rsr/validate..well-known/—security.txt(RFC 9116),ai.txt,humans.txt.SECURITY.md,CONTRIBUTING.md,CHANGELOG.md.Discipline
.rsfiles are not swept (estate licence guardrail). No source/logic changed — purely additive.Verification
just check(fmt-check + clippy-D warnings+ build + test) green via the new recipes;just validate-rsrpasses. 28 tests unchanged.Deferred (follow-ups)
The CI-gate workflows,
guix.scm/flake.nixdev-shells, the contractiles, and the optional.adocauthority docs (EXPLAINME/GOVERNANCE/MAINTAINERS/AUDIT/AFFIRMATION).Draft for review.
🤖 Generated with Claude Code
https://claude.ai/code/session_019GiSiEfgZCte35dyykgBHs
Generated by Claude Code