diff --git a/.machine_readable/6a2/ECOSYSTEM.a2ml b/.machine_readable/6a2/ECOSYSTEM.a2ml index 1654966..982b607 100644 --- a/.machine_readable/6a2/ECOSYSTEM.a2ml +++ b/.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) # # 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" diff --git a/.machine_readable/6a2/META.a2ml b/.machine_readable/6a2/META.a2ml index 3599ec3..53becb0 100644 --- a/.machine_readable/6a2/META.a2ml +++ b/.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) # # 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] diff --git a/.machine_readable/6a2/STATE.a2ml b/.machine_readable/6a2/STATE.a2ml index 1212a39..0674bdc 100644 --- a/.machine_readable/6a2/STATE.a2ml +++ b/.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) # # 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"] diff --git a/PROOF-NEEDS.md b/PROOF-NEEDS.md index 65e6e16..3b91f25 100644 --- a/PROOF-NEEDS.md +++ b/PROOF-NEEDS.md @@ -1,7 +1,7 @@ # Proof Requirements — NEXTGEN_TYPING - + ## 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` diff --git a/READINESS.md b/READINESS.md index acf5a1c..1c2eadf 100644 --- a/READINESS.md +++ b/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 ---