docs(state): 6a2 checkpoint — reconcile completion/identity; fix non-portable paths

.machine_readable/6a2/ECOSYSTEM.a2ml

@@ -1,12 +1,12 @@
 # SPDX-License-Identifier: MPL-2.0
-# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <6759885+hyperpolymath@users.noreply.github.com>
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # ECOSYSTEM.a2ml — Project ecosystem position
 # Relationships, dependencies, integration points.
 
 [metadata]
 version = "0.1.0"
-last-updated = "2026-04-12"
+last-updated = "2026-06-05"
 
 [project]
 name = "nextgen-typing"

.machine_readable/6a2/META.a2ml

@@ -1,12 +1,12 @@
 # SPDX-License-Identifier: MPL-2.0
-# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <6759885+hyperpolymath@users.noreply.github.com>
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # META.a2ml — Project meta-level information
 # Architecture decisions, design rationale, governance.
 
 [metadata]
 version = "0.1.0"
-last-updated = "2026-04-12"
+last-updated = "2026-06-05"
 
 [project-info]
 type = "monorepo"  # library | binary | monorepo | service | website
@@ -24,6 +24,8 @@ adrs = [
     rationale = "typed-wasm is both the TypeLL WASM safety application AND the aggregate library for AffineScript+Ephapax cross-language binary conventions. Both roles are first-class. See typed-wasm/.machine_readable/6a2/META.a2ml#ADR-004." },
   { id = "ADR-004", title = "katagoria is the research upstream of typell", status = "accepted", date = "2026-04-11",
     rationale = "Type theory ideas need an origination space before promotion to production repos. katagoria is that space: Idris2/Lean proofs-of-concept, reading notes, prototype formalizations. The repository was created on 2026-04-11 and is now active in the pipeline." },
+  { id = "ADR-005", title = "Licence migrated from PMPL-1.0-or-later to MPL-2.0", status = "accepted", date = "2026-05-22",
+    rationale = "Repo-wide licence migration to the Palimpsest License (MPL-2.0) (commit 7a84a1d). All SPDX headers now read MPL-2.0; LICENSE body is the Palimpsest variant." },
 ]
 
 [development-practices]

.machine_readable/6a2/STATE.a2ml

@@ -1,12 +1,12 @@
 # SPDX-License-Identifier: MPL-2.0
-# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <6759885+hyperpolymath@users.noreply.github.com>
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # STATE.a2ml — nextgen-typing project state
 
 [metadata]
 project = "nextgen-typing"
 version = "0.1.0"
-last-updated = "2026-04-12"
+last-updated = "2026-06-05"
 status = "active"
 
 [project-context]
@@ -17,17 +17,21 @@ Documents and connects: katagoria (research) → typell (kernel) → typed-wasm
 Hosts cross-repo architecture docs, pipeline roadmap, and research artefacts that span projects.
 Does NOT contain compiler code.
 """
-completion-percentage = 100
+# Reconciled 2026-06-05: the earlier completion=100 was inconsistent with reality.
+# PROOF-STATUS.md records 0 of 7 mandated proofs done (0% proven), and the repo
+# still carries an un-rescoped RSR code scaffold (src/interface/, verification/proofs/).
+# Maturity reflects scaffold/early state, not a finished coordination layer.
+completion-percentage = 10
 
 [position]
-phase = "implementation"
-maturity = "alpha"
+phase = "scaffold"
+maturity = "scaffold"
 
 [route-to-mvp]
 milestones = [
   { name = "Repo scaffolded and pushed to GitHub", completion = 100 },
   { name = "README + ROADMAP with pipeline description", completion = 100 },
-  { name = "Machine-readable files populated and state-aligned (STATE/META/ECOSYSTEM)", completion = 100 },
+  { name = "Machine-readable files populated and state-aligned (STATE/META/ECOSYSTEM)", completion = 80 },
   { name = "docs/ARCHITECTURE.adoc cleaned up as pure architecture doc", completion = 100 },
   { name = "docs/PIPELINE.adoc added as machine-readable A2ML pipeline spec", completion = 100 },
   { name = "katagoria repo created and linked from pipeline docs", completion = 100 },
@@ -36,7 +40,11 @@ milestones = [
 ]
 
 [blockers-and-issues]
-issues = []
+issues = [
+  { id = "OQ-001", kind = "open-question", status = "open", raised = "2026-06-05",
+    title = "Identity contradiction — coordination monorepo vs RSR proof scaffold",
+    detail = "Narrative/STATE describe a docs-only coordination monorepo (\"does NOT contain compiler code\"), but src/interface/ + verification/proofs/ carry an un-rescoped RSR code scaffold; reconcile (docs-only ⇒ Tier T5/Exempt, drop scaffold) vs (real proof repo ⇒ re-scope). NOT decided here." },
+]
 
 [critical-next-actions]
 actions = [
@@ -47,11 +55,18 @@ actions = [
 ]
 
 [maintenance-status]
-last-run-utc = "2026-04-12T00:00:00Z"
-last-result = "unknown"
+last-run-utc = "2026-06-05T00:00:00Z"
+last-result = "docs-checkpoint"
 open-warnings = 0
 open-failures = 0
 
+[recent-activity]
+events = [
+  { date = "2026-05-22", kind = "licence", detail = "Migrated licence from PMPL-1.0-or-later to MPL-2.0 across the repo (commit 7a84a1d)." },
+  { date = "2026-05-26", kind = "audit", detail = "Recorded estate-wide tech-debt audit findings in docs/tech-debt-2026-05-26.md (combined severity LOW; proof debt = 6 Idris2 believe_me markers in scaffold proof files; licence + docs debt OK)." },
+  { date = "2026-05-30", kind = "ci", detail = "CI reusable-wrapper rework (2026-05-26..2026-05-30): hypatia-scan, scorecard, secret-scanner, rust-ci, and mirror workflows converted to thin wrappers of standards reusables; reusable SHA pins repinned to live merge-commit SHAs (latest commit 4a848fd)." },
+]
+
 [ecosystem]
 part-of = ["hyperpolymath coordination infrastructure"]
 coordinates = ["typell", "typed-wasm", "katagoria", "tropical-resource-typing", "protocol-squisher"]

PROOF-NEEDS.md

@@ -1,7 +1,7 @@
 # Proof Requirements — NEXTGEN_TYPING
 <!-- SPDX-License-Identifier: MPL-2.0 -->
 <!-- Template: rsr-template-repo/PROOF-NEEDS.md -->
-<!-- Authoritative master list: ~/Desktop/PROOF-REQUIREMENTS-MASTER.md -->
+<!-- Authoritative master list: the canonical master list maintained in the hyperpolymath/standards repo -->
 
 ## Proof Tier
 
@@ -97,7 +97,7 @@ verification/proofs/
 
 ## References
 
-- Master list: `~/Desktop/PROOF-REQUIREMENTS-MASTER.md`
+- Master list: the canonical master list maintained in the hyperpolymath/standards repo
 - Proof status tracking: `PROOF-STATUS.md` (this repo)
 - Proven library: `proven` repo (Idris2 verified foundations)
 - Template: `rsr-template-repo/PROOF-NEEDS.md`

READINESS.md

@@ -5,7 +5,7 @@
 
 **Standard:** [Component Readiness Grades (CRG) v2.2](https://github.com/hyperpolymath/standards/tree/main/component-readiness-grades)
 **Current Grade:** C
-**Assessed:** {{DATE}}
+**Assessed:** 2026-06-05
 **Assessor:** Jonathan D.A. Jewell
 
 ---