neurophone: licence drift → MPL-2.0, language-policy/STATE refresh, GOVERNANCE.adoc#160
Merged
Merged
Conversation
…roved) neurophone is a sole-owner repo; its LICENSE is MPL-2.0 and the licence was reverted from PMPL in #102/#118 (per HANDOVER.adoc), but several functional declarations still read "PMPL-1.0-or-later", contradicting the actual LICENSE. Owner approved correcting this drift. Corrected functional declarations only: - README.adoc: license badge alt-text (PMPL-1.0 -> MPL-2.0) + link now points at the repo LICENSE; body "Palimpsest-MPL-1.0 License" -> "MPL-2.0 License" (documentation remains CC-BY-SA-4.0, the canonical pair). - .machine_readable/6a2/META.a2ml, stapeln.toml: license field -> MPL-2.0. - .machine_readable/6a2/AGENTIC.a2ml: "use PMPL" guidance -> "use MPL-2.0". - 0-AI-MANIFEST.a2ml: license-consistency rule + License field -> MPL-2.0. - QUICKSTART-MAINTAINER.adoc, llm-warmup-{dev,user}.md: License line -> MPL-2.0. Deliberately NOT touched (owner territory per HANDOVER.adoc / estate guardrail): PALIMPSEST.adoc, docs/CITATIONS.adoc, docs/governance/*, LICENSES/*.txt, and the README "Philosophy-Palimpsest" branding badge. Cargo.toml already MPL-2.0. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0172RBMz3qYjb1ttzD2i7RNh
.claude/CLAUDE.md — align the language policy to the current estate standard: - Remove the stale "Python | SaltStack only" allowance (Python fully banned, no exceptions, since 2026-01-03) and the "Nix (flake.nix) fallback" (this repo is Guix-only; Nix is banned estate-wide). - Rust -> "Rust/SPARK"; add Zig (FFI/gateways) and Idris2 (ABI proofs) to ALLOWED. - Add ReScript (banned 2026-04-30), V-lang (2026-04-10), ATS2, Nix, Makefiles to BANNED with correct replacements (ReScript is no longer a Python target). .machine_readable/6a2/STATE.a2ml — correct to ground truth: the neural crates (bridge/llm/sensors/claude-client) were mislabelled "stub" but carry real code + property suites; neurophone-android is now the full JNI surface. Record 160 tests all-pass, clippy/fmt clean, TLC pass; add a [proofs] block (discharged vs open) and honest [blockers] (external gossamer #83 / conative-gating #103). Completion 80%. CONTRIBUTING.adoc — removed: a 402-byte generic stub duplicating the 3500-byte CONTRIBUTING.md. Estate rule keeps the GitHub-required .md; no file references the .adoc. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0172RBMz3qYjb1ttzD2i7RNh
- GOVERNANCE.adoc (was missing at root): estate BDFL model, roles incl. bounded LLM agents, decision framework, the licence-owner-only and security-critical review gates, and pointers into the machine-readable substrate (AGENTIC/META/contractiles/proofs). Required by the RSR baseline. - docs/migrations/JNI-SURFACE-AUDIT.adoc: add an IMPLEMENTED note — the audit is fulfilled by #110 (11-method surface, QueryRoute resolving Gap 3, sensor map Gap 2, getNeuralContext Gap 4). Historical body retained for provenance. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0172RBMz3qYjb1ttzD2i7RNh
hyperpolymath
marked this pull request as ready for review
July 1, 2026 11:54
|
hyperpolymath
added a commit
that referenced
this pull request
Jul 1, 2026
…ixes (#161) ## Summary RSR wire-first follow-up (after merged #160). `MUST.contractile` promised "quality.yml runs must-check on every PR", but neither the workflow nor the validator existed — and the estate Nickel k9 runner (with its `_base.ncl`/`template-hunt.k9.ncl` bases) isn't wired into this repo (the existing `bust.ncl` already imports a missing `_base.ncl`). So I delivered a **portable enforcer that actually runs today**. - **`.machine_readable/contractiles/k9/must-check.sh`** — read-only bash enforcer for the mechanically-verifiable MUST invariants: LICENSE = MPL-2.0, `0-AI-MANIFEST` + `.machine_readable` preserved, no loose root SCM files, **all Actions SHA-pinned**, no proof escape hatches (`believe_me`/`sorry`/`Admitted`/…), no new TS/Python/Go, no hardcoded `/home|/mnt` paths, **SPDX header on every Rust source**. Exits 0. - **`.github/workflows/quality.yml`** — runs must-check on push(main)/PR; SHA-pinned, least-privilege, always-created (stable check); advisory EditorConfig pass. - **`MUST.contractile` [enforcement]** — references the runnable `must-check.sh` alongside the declarative `.k9.ncl` (no invariants changed; the reference is no longer dangling). - **Fix the real MUST violation must-check found:** added the missing SPDX header to `crates/claude-client/src/lib.rs` and `crates/lsm/src/lib.rs`. Verified: `must-check` exit 0, `quality.yml` YAML valid, `cargo build` OK, fmt clean. ## FLAGS — external / owner-plane - **`gossamer` + `conative-gating` clones are still 403-blocked** by the environment's egress/scope policy (retried on owner request; the proxy README says not to route around a policy denial). **#83** gossamer-migration and **#103** egress-veto remain **staged** until these repos are added to the session's allowlist at the platform level. - **MR layout:** keeping `6a2/` (standards canon doesn't mandate `descriptiles/`; it's an estate-wide convention) — see the plan; owner can request the full migration if preferred. - OPEN proof obligations 1.1 / 1.2 (formal) / 3.2 remain honestly staged. 🤖 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
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
Documentation-correctness + RSR-compliance follow-up (after merged #158).
is a sole-owner MPL-2.0 repo (licence reverted from PMPL in fix(license): revert #81 + sweep stray PMPL→MPL stamps (corrects mis-merge) #102/fix(license): final PMPL residue — 5 new test files + NOTICE + orphan PMPL.txt #118 per HANDOVER),
but several functional declarations still read PMPL. Corrected README badge/body,
META.a2ml/stapeln.tomllicence 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..claude/CLAUDE.mdlanguage policy — drop the removedPython/SaltStack allowance and the Nix fallback (Guix-only); Rust→Rust/SPARK; add
Zig/Idris2; add ReScript/V-lang/ATS2/Nix/Makefiles to BANNED.
STATE.a2ml— the neural crates were mislabelled "stub" but carryreal 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]..adocstub (estate keeps theGitHub-required
.md; nothing referenced the.adoc).GOVERNANCE.adoc(was missing at root) and mark the JNI surfaceaudit as implemented by build(#83): port NativeLib JNI to crates/neurophone-android (Rust) #110.
No code changes; docs/config only. (Prior branch verification stands: 160 tests, clippy
-D warningsclean, fmt clean.)FLAGS (unchanged)
gossamer+conative-gatingremain 403-blocked → build: migrate Kotlin/Gradle Android app to gossamer (clears banned-language CI) #83 / Adopt conative-gating as policy/egress GO/NO-GO veto (refs proof-obligation #84-3.1) #103 staged.{{PLACEHOLDER}}crypto at signing time.🤖 Generated with Claude Code
https://claude.ai/code/session_0172RBMz3qYjb1ttzD2i7RNh
Generated by Claude Code