chore(rsr): standards compliance — adoc-first cleanup + licence invariant#10
Merged
Conversation
Aligns arghda-core to the hyperpolymath standards / RSR baseline and tidies the root. Docs/scaffolding only — no source changes, CI gate unaffected. - README.md -> README.adoc (adoc-first; README is not one of the four GitHub-required .md community-health files). Refreshed to the feature-complete v0.1 status (all seven lints, config, dag headlines). No duplicate doc formats. - New EXPLAINME.adoc (orientation pointer: humans -> README.adoc, status -> STATE.a2ml, agents -> 0-AI-MANIFEST.a2ml), mirroring the estate convention. - New LICENSE (full MPL-2.0 text, copied from standards). - New CODE_OF_CONDUCT.md (Contributor Covenant 2.1). - Licence headers per estate policy (LICENCE-POLICY.adoc Rule 1): new prose docs carry CC-BY-SA-4.0; code/config/state stay MPL-2.0. - Refreshed machine-readable artefacts: STATE.a2ml (v0.1 feature-complete, 85%, accurate milestones + maintenance pass), META.a2ml (ADR-005..007 for the unused-import shell-out, config precedence, dag-headlines decisions), 0-AI-MANIFEST.a2ml read-order (README.md -> README.adoc, EXPLAINME first). - Removed local dist-newstyle/ build cruft (agda-unused build output; already gitignored). Deliberately NOT done (owner-manual only, per LICENCE-POLICY.adoc A2 — an agent must never bulk-sweep SPDX): per-file MPL-2.0 SPDX headers on src/*.rs. Flagged in STATE.a2ml as the one remaining compliance gap. Also deliberately did NOT scaffold the maximalist rsr-template tree (build/just, verification/ proofs, container/, hundreds of placeholder dirs) — that would be the vestigial cruft this cleanup removes. `just validate-rsr` passes; `cargo build` + `cargo fmt --check` green. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019GiSiEfgZCte35dyykgBHs
Owner-directed (satisfies LICENCE-POLICY.adoc A2's "manual, per-file, by the owner" gate). Makes the licence split a formal, enforced invariant. - Applied SPDX headers per file: MPL-2.0 to all code/config/scripts/state (25 src+tests .rs, Cargo.toml, .gitignore); CC-BY-SA-4.0 to prose. Fixed prose drift: CHANGELOG/CONTRIBUTING/SECURITY MPL-2.0 -> CC-BY-SA-4.0, and docs/*.adoc CC-BY-4.0 -> CC-BY-SA-4.0 (the check caught the missing -SA). - New scripts/check-spdx.sh enforces the invariant; wired into `just check` (new `license-check` recipe) and .github/workflows/rust-ci.yml. - New .machine_readable/licensing-policy.toml declares the rule + the excluded set machine-readably. Third-party protection: nothing not ours is relicensed. Cargo.lock (generated, enumerates third-party deps), LICENSE (the MPL text itself), and tests/fixtures/ (Agda test-input data) are excluded. There is no vendored third-party source in-tree; if any is added, the checker FAILS until it is listed as excluded with its original SPDX preserved — that failure is the guard against silent relicensing. `bash scripts/check-spdx.sh` OK; fmt/clippy/test green. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019GiSiEfgZCte35dyykgBHs
hyperpolymath
changed the title
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.
Summary
Brings arghda-core to the hyperpolymath standards / RSR baseline, clears root cruft, and makes the MPL-2.0 / CC-BY-SA-4.0 licence split a formal, enforced invariant. Two commits:
1 — adoc-first cleanup + RSR baseline (
5b7aff4)README.md→README.adoc(adoc-first), refreshed to feature-complete v0.1. NewEXPLAINME.adoc,LICENSE(full MPL-2.0),CODE_OF_CONDUCT.md. RefreshedSTATE/META/0-AI-MANIFEST. Removeddist-newstyle/. No duplicate doc formats;just validate-rsrpasses.2 — licence invariant (
af5fa44, owner-directed)MPL-2.0to all code/config/scripts/state (25.rs,Cargo.toml,.gitignore),CC-BY-SA-4.0to prose. Fixed drift: prose docs that wereMPL-2.0orCC-BY-4.0→CC-BY-SA-4.0.scripts/check-spdx.shenforces the split; wired intojust check+ Rust CI. New.machine_readable/licensing-policy.tomldeclares it machine-readably.Cargo.lock(generated),LICENSE(the licence text), andtests/fixtures/(Agda test data) are excluded and never relicensed. No vendored third-party source exists in-tree; if any is added, the checker fails until it's listed as excluded with its original SPDX preserved — the guard against silent relicensing.Deliberately NOT done
build/just,verification/proofs,container/, hundreds of placeholder dirs) — vestigial for a small Rust CLI. A formal capability-gated rule for this ("carry a template module iff the repo has the capability it serves") is the proposed follow-up (recorded inSTATE.a2ml).Verification
bash scripts/check-spdx.sh✓ ·cargo fmt --check✓ ·cargo clippy -D warnings✓ ·cargo test✓ (7 groups) ·just validate-rsr✓.🤖 Generated with Claude Code
https://claude.ai/code/session_019GiSiEfgZCte35dyykgBHs