Skip to content

Commit 2248113

Browse files
claudeclaude
committed
docs(state): refresh 6a2 state to current reality; fix non-portable master-list path + readiness date
Reconcile the 6a2 machine-readable state with the repo's actual maturity and recent history, and remove a non-portable local path. - .machine_readable/6a2/{STATE,META,ECOSYSTEM}.a2ml: set last-updated 2026-06-05; unify author email to j.d.a.jewell@open.ac.uk (matches LICENSE/README). - STATE.a2ml: reconcile completion=100 against PROOF-STATUS.md (0 of 7 proofs done = 0% proven) and the scaffold reality — completion 100->10, phase/maturity -> scaffold; refresh maintenance-status; add recent-activity (2026-05-22 MPL-2.0 licence migration, 2026-05-26 tech-debt audit, 2026-05-26..05-30 CI reusable-wrapper rework); add OPEN-only OQ-001 identity-contradiction question (docs-only monorepo vs un-rescoped RSR proof scaffold) without deciding it. - META.a2ml: add ADR-005 recording the PMPL-1.0-or-later -> MPL-2.0 migration. - PROOF-NEEDS.md: replace both ~/Desktop/PROOF-REQUIREMENTS-MASTER.md references with the canonical master list in the hyperpolymath/standards repo. - READINESS.md: set the {{DATE}} assessment placeholder to 2026-06-05. Factual updates only. SPDX MPL-2.0 headers preserved. No contractiles, no identity decision, no scaffold/proof-tree changes. https://claude.ai/code/session_01BwV2DWsjkBiNP3oscimMLV
1 parent 4a848fd commit 2248113

5 files changed

Lines changed: 33 additions & 16 deletions

File tree

‎.machine_readable/6a2/ECOSYSTEM.a2ml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
11
# SPDX-License-Identifier: MPL-2.0
2-
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <6759885+hyperpolymath@users.noreply.github.com>
2+
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
33
#
44
# ECOSYSTEM.a2ml — Project ecosystem position
55
# Relationships, dependencies, integration points.
66

77
[metadata]
88
version = "0.1.0"
9-
last-updated = "2026-04-12"
9+
last-updated = "2026-06-05"
1010

1111
[project]
1212
name = "nextgen-typing"

‎.machine_readable/6a2/META.a2ml‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
11
# SPDX-License-Identifier: MPL-2.0
2-
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <6759885+hyperpolymath@users.noreply.github.com>
2+
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
33
#
44
# META.a2ml — Project meta-level information
55
# Architecture decisions, design rationale, governance.
66

77
[metadata]
88
version = "0.1.0"
9-
last-updated = "2026-04-12"
9+
last-updated = "2026-06-05"
1010

1111
[project-info]
1212
type = "monorepo" # library | binary | monorepo | service | website
@@ -24,6 +24,8 @@ adrs = [
2424
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." },
2525
{ id = "ADR-004", title = "katagoria is the research upstream of typell", status = "accepted", date = "2026-04-11",
2626
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." },
27+
{ id = "ADR-005", title = "Licence migrated from PMPL-1.0-or-later to MPL-2.0", status = "accepted", date = "2026-05-22",
28+
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." },
2729
]
2830

2931
[development-practices]

‎.machine_readable/6a2/STATE.a2ml‎

Lines changed: 24 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
11
# SPDX-License-Identifier: MPL-2.0
2-
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <6759885+hyperpolymath@users.noreply.github.com>
2+
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
33
#
44
# STATE.a2ml — nextgen-typing project state
55

66
[metadata]
77
project = "nextgen-typing"
88
version = "0.1.0"
9-
last-updated = "2026-04-12"
9+
last-updated = "2026-06-05"
1010
status = "active"
1111

1212
[project-context]
@@ -17,17 +17,21 @@ Documents and connects: katagoria (research) → typell (kernel) → typed-wasm
1717
Hosts cross-repo architecture docs, pipeline roadmap, and research artefacts that span projects.
1818
Does NOT contain compiler code.
1919
"""
20-
completion-percentage = 100
20+
# Reconciled 2026-06-05: the earlier completion=100 was inconsistent with reality.
21+
# PROOF-STATUS.md records 0 of 7 mandated proofs done (0% proven), and the repo
22+
# still carries an un-rescoped RSR code scaffold (src/interface/, verification/proofs/).
23+
# Maturity reflects scaffold/early state, not a finished coordination layer.
24+
completion-percentage = 10
2125

2226
[position]
23-
phase = "implementation"
24-
maturity = "alpha"
27+
phase = "scaffold"
28+
maturity = "scaffold"
2529

2630
[route-to-mvp]
2731
milestones = [
2832
{ name = "Repo scaffolded and pushed to GitHub", completion = 100 },
2933
{ name = "README + ROADMAP with pipeline description", completion = 100 },
30-
{ name = "Machine-readable files populated and state-aligned (STATE/META/ECOSYSTEM)", completion = 100 },
34+
{ name = "Machine-readable files populated and state-aligned (STATE/META/ECOSYSTEM)", completion = 80 },
3135
{ name = "docs/ARCHITECTURE.adoc cleaned up as pure architecture doc", completion = 100 },
3236
{ name = "docs/PIPELINE.adoc added as machine-readable A2ML pipeline spec", completion = 100 },
3337
{ name = "katagoria repo created and linked from pipeline docs", completion = 100 },
@@ -36,7 +40,11 @@ milestones = [
3640
]
3741

3842
[blockers-and-issues]
39-
issues = []
43+
issues = [
44+
{ id = "OQ-001", kind = "open-question", status = "open", raised = "2026-06-05",
45+
title = "Identity contradiction — coordination monorepo vs RSR proof scaffold",
46+
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." },
47+
]
4048

4149
[critical-next-actions]
4250
actions = [
@@ -47,11 +55,18 @@ actions = [
4755
]
4856

4957
[maintenance-status]
50-
last-run-utc = "2026-04-12T00:00:00Z"
51-
last-result = "unknown"
58+
last-run-utc = "2026-06-05T00:00:00Z"
59+
last-result = "docs-checkpoint"
5260
open-warnings = 0
5361
open-failures = 0
5462

63+
[recent-activity]
64+
events = [
65+
{ date = "2026-05-22", kind = "licence", detail = "Migrated licence from PMPL-1.0-or-later to MPL-2.0 across the repo (commit 7a84a1d)." },
66+
{ 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)." },
67+
{ 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)." },
68+
]
69+
5570
[ecosystem]
5671
part-of = ["hyperpolymath coordination infrastructure"]
5772
coordinates = ["typell", "typed-wasm", "katagoria", "tropical-resource-typing", "protocol-squisher"]

‎PROOF-NEEDS.md‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# Proof Requirements — NEXTGEN_TYPING
22
<!-- SPDX-License-Identifier: MPL-2.0 -->
33
<!-- Template: rsr-template-repo/PROOF-NEEDS.md -->
4-
<!-- Authoritative master list: ~/Desktop/PROOF-REQUIREMENTS-MASTER.md -->
4+
<!-- Authoritative master list: the canonical master list maintained in the hyperpolymath/standards repo -->
55

66
## Proof Tier
77

@@ -97,7 +97,7 @@ verification/proofs/
9797

9898
## References
9999

100-
- Master list: `~/Desktop/PROOF-REQUIREMENTS-MASTER.md`
100+
- Master list: the canonical master list maintained in the hyperpolymath/standards repo
101101
- Proof status tracking: `PROOF-STATUS.md` (this repo)
102102
- Proven library: `proven` repo (Idris2 verified foundations)
103103
- Template: `rsr-template-repo/PROOF-NEEDS.md`

‎READINESS.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55

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

1111
---

0 commit comments

Comments
 (0)