fix(license): final PMPL residue — 5 new test files + NOTICE + orphan PMPL.txt#118
Merged
Merged
Conversation
…E + orphan PMPL.txt After PR #102 landed, PR #106 added 5 new property-test files with stray PMPL-1.0-or-later SPDX headers — same drift pattern. Also NOTICE still asserted PMPL governance + 'MPL is just a compat shim' framing, which is the OLD policy explicitly superseded by the 2026-06-02 owner directive ([[estate-license-policy-umbrella]]). Changes: - 5 .rs test files: SPDX header PMPL-1.0-or-later → MPL-2.0 - proofs/affine/README.adoc: same fix - NOTICE: rewritten to plain MPL-2.0 statement (drops Palimpsest narrative) - LICENSES/PMPL-1.0-or-later.txt: deleted (orphan — no SPDX header now references PMPL after this commit; NOTICE no longer references it) Verification: grep -rln 'SPDX-License-Identifier:.*PMPL\|MPL.*or-later' . → zero matches outside .git/ Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> Signed-off-by: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
hyperpolymath
enabled auto-merge (squash)
June 2, 2026 13:15
hyperpolymath
added a commit
that referenced
this pull request
Jun 6, 2026
## Consolidation: fix the one real CI red + a stale licence badge ### `rust-ci` — the only foundational CI failure on `main` `rust-ci.yml` pinned the estate reusable at SHA `cc5a372…`, which is **stale** (the `standards` rust-ci-reusable moved). The run failed at **startup with 0 jobs** on `main` — not a Rust code failure (the workspace is green locally and via #106). Re-pinned to `@main`, matching the working `governance.yml`. Once `standards` publishes a verified SHA, this should be re-pinned (ideally by estate propagation). ### README licence badge The top badge still read **`License: PMPL-1.0`**; the repo is **MPL-2.0** (`Cargo.toml`, `LICENSE`, all SPDX headers, post-#102/#118). Corrected to MPL-2.0. The *Palimpsest philosophy* badge is intentional estate identity and left untouched. ### Context / non-goals - The two perpetual Kotlin reds are already resolved on `main` (carve-out #105 + `.hypatia-baseline.json`); `Language Policy` and `Governance` are green. - Other reds (Instant Sync, Mirror, Scorecard) are infrastructure/external-forge/token issues, out of scope here. - Other PMPL/Palimpsest *philosophy* mentions (`PALIMPSEST.adoc`, citations, governance audit) are deliberate and untouched — licence/philosophy is owner territory. Merging once CI (esp. `rust-ci`) is green. https://claude.ai/code/session_01Gu1JFCZHuBtBhAWPr4sMQw --- _Generated by [Claude Code](https://claude.ai/code/session_01Gu1JFCZHuBtBhAWPr4sMQw)_ --------- Co-authored-by: Claude <noreply@anthropic.com>
hyperpolymath
added a commit
that referenced
this pull request
Jul 1, 2026
…OVERNANCE.adoc (#160) ## Summary Documentation-correctness + RSR-compliance follow-up (after merged #158). - **chore(licence): PMPL-1.0 → MPL-2.0 drift correction (owner-approved).** neurophone is a sole-owner MPL-2.0 repo (licence reverted from PMPL in #102/#118 per HANDOVER), but several *functional* declarations still read PMPL. Corrected README badge/body, `META.a2ml`/`stapeln.toml` licence fields, `AGENTIC.a2ml`, `0-AI-MANIFEST.a2ml`, `QUICKSTART-MAINTAINER.adoc`, `llm-warmup-{dev,user}.md`. **Deliberately not touched** (owner territory): `PALIMPSEST.adoc`, `docs/CITATIONS.adoc`, `docs/governance/*`, `LICENSES/*.txt`, and the README Palimpsest-*philosophy* badge. Docs stay CC-BY-SA-4.0. - **docs: refresh stale `.claude/CLAUDE.md` language policy** — drop the removed Python/SaltStack allowance and the Nix fallback (Guix-only); Rust→Rust/SPARK; add Zig/Idris2; add ReScript/V-lang/ATS2/Nix/Makefiles to BANNED. - **docs: correct `STATE.a2ml`** — the neural crates were mislabelled "stub" but carry real code + property suites; neurophone-android is now the full JNI surface. Records 160 tests, clippy/fmt/TLC clean, a `[proofs]` block, and honest external `[blockers]`. - **docs: dedup CONTRIBUTING** — removed the 402-byte `.adoc` stub (estate keeps the GitHub-required `.md`; nothing referenced the `.adoc`). - **docs(rsr): add `GOVERNANCE.adoc`** (was missing at root) and mark the JNI surface audit as implemented by #110. No code changes; docs/config only. (Prior branch verification stands: 160 tests, clippy `-D warnings` clean, fmt clean.) ## FLAGS (unchanged) - `gossamer` + `conative-gating` remain 403-blocked → #83 / #103 staged. - Owner fills the Trustfile `{{PLACEHOLDER}}` crypto at signing time. 🤖 Generated with [Claude Code](https://claude.com/claude-code) https://claude.ai/code/session_0172RBMz3qYjb1ttzD2i7RNh --- _Generated by [Claude Code](https://claude.ai/code/session_0172RBMz3qYjb1ttzD2i7RNh)_ --------- Co-authored-by: Claude <noreply@anthropic.com>
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.
Summary
Completes the PMPL→MPL-2.0 cleanup started in #102.
After #102 landed, PR #106 added 5 new property-test files with stray `PMPL-1.0-or-later` SPDX headers — same drift pattern. Also NOTICE still asserted PMPL governance with the OLD "MPL is just a compat shim" framing that the 2026-06-02 owner directive explicitly supersedes.
Changes (8 files)
Verification
```
grep -rln 'SPDX-License-Identifier:.*PMPL|MPL.*or-later' .
→ zero matches outside .git/
```
Test plan
🤖 Generated with Claude Code