chore: sync metadata, manifest, Justfile updates from arXiv session

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.devcontainer/Containerfile

@@ -1,26 +1,33 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
+# 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 = "{{CURRENT_DATE}}"
+last-updated = "2026-03-30"
 
 [project]
-name = "{{PROJECT_NAME}}"
-purpose = "{{PROJECT_PURPOSE}}"
-role = "{{PROJECT_ROLE}}"  # e.g. ffi-infrastructure, cli-tool, library, service
+name = "typed-wasm"
+purpose = "Apply TypeLL-style progressive type safety to WebAssembly linear memory with a checked L1-L10 core and audited research extensions."
+role = "library"
 
 [position-in-ecosystem]
 tier = "infrastructure"  # 1 | 2 | infrastructure
 
 [related-projects]
-# relationship types: sibling-standard, dependency, dependent, inspiration, potential-consumer
-# - { name = "language-bridges", relationship = "sibling-standard" }
-# - { name = "hypatia", relationship = "potential-consumer" }
+projects = [
+  { name = "typell", relationship = "dependency" },
+  { name = "typedqliser", relationship = "inspiration" },
+  { name = "vql-ut", relationship = "sibling-standard" },
+  { name = "echidna", relationship = "dependency" },
+]
 
 [integration-points]
-# External systems this project connects to
-# - { system = "gitbot-fleet", direction = "outbound", protocol = "repository_dispatch" }
+systems = [
+  { system = "Idris2 proof build", direction = "inbound", protocol = "idris2 --build" },
+  { system = "ReScript parser toolchain", direction = "inbound", protocol = "rescript build" },
+  { system = "Zig FFI and oracle tests", direction = "inbound", protocol = "zig build" },
+  { system = "ECHIDNA property testing", direction = "inbound", protocol = "node harness + oracle tests" },
+]

.devcontainer/README.adoc

@@ -1,28 +1,31 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
+# 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 = "{{CURRENT_DATE}}"
+last-updated = "2026-03-30"
 
 [project-info]
-type = "{{PROJECT_TYPE}}"  # library | binary | monorepo | service | website
-languages = []             # e.g. ["rust", "zig", "idris2"]
+type = "library"
+languages = ["idris2", "rescript", "zig", "javascript", "ebnf", "latex", "asciidoc"]
 license = "PMPL-1.0-or-later"
-author = "{{AUTHOR}} ({{OWNER}})"
+author = "Jonathan D.A. Jewell (hyperpolymath)"
 
 [architecture-decisions]
-# ADR format: status = proposed | accepted | deprecated | superseded | rejected
-# - { id = "ADR-001", title = "Use Zig for FFI", status = "accepted", date = "2026-02-14" }
+decisions = [
+  { id = "ADR-001", title = "Use Idris2 for the checked ABI core", status = "accepted", date = "2026-03-21" },
+  { id = "ADR-002", title = "Use Zig for the FFI and oracle test surface", status = "accepted", date = "2026-03-21" },
+  { id = "ADR-003", title = "Bound all public claims to the checked L1-L10 core until higher levels compile and enter the package", status = "accepted", date = "2026-03-30" },
+]
 
 [development-practices]
 build-tool = "just"
 container-runtime = "podman"
 ci-platform = "github-actions"
-package-manager = "guix"  # guix | nix | cargo | mix
+package-manager = "npm"
 
 [maintenance-axes]
 scoping-first = true
@@ -32,7 +35,7 @@ axis-2 = "corrective > adaptive > perfective"
 axis-3 = "systems > compliance > effects"
 
 [scoping]
-sources = "README, roadmap, status docs, maintenance checklist, CI/security docs"
+sources = "README, roadmap, level status, audit reports, maintenance checklist, CI/security docs"
 marker-scan = "TODO/FIXME/XXX/HACK/STUB/PARTIAL"
 idris-unsound-scan = "believe_me/assert_total"
 
@@ -46,8 +49,12 @@ perfective-source = "axis-1 honest state after corrective/adaptive updates"
 [axis-3-audit-rules]
 audit-focus = "systems in place, documentation explains actual state, safety/security accounted for, observed effects reviewed"
 compliance-focus = "seams/compromises/exception register, bounded exceptions, anti-drift checks"
-drift-risk-example = "single exception broadening into policy violation (e.g. ReScript->TypeScript spread)"
+drift-risk-example = "single exception broadening into policy violation (e.g. a draft proof claim escaping into release metadata)"
 effects-evidence = "benchmark execution/results and maintainer status dialogue/review"
 
 [design-rationale]
-# Key design decisions and their reasoning
+summary = [
+  "The checked claim envelope is L1-L10 only until higher levels type-check and are integrated into the default proof build.",
+  "Machine-readable state must report audit failures and missing evidence instead of aspirational release posture.",
+  "Publication assets must not claim benchmark, proof, or integration results that cannot be reproduced from the repository.",
+]

.devcontainer/devcontainer.json

@@ -1,64 +1,53 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
-# STATE.a2ml — Project state checkpoint (META-TEMPLATE)
-#
-# This is the STATE file for rsr-template-repo itself.
-# When consumed by a new project, replace {{PLACEHOLDER}} tokens
-# and customize sections below for the target project.
+# STATE.a2ml — typed-wasm project state
 
 [metadata]
-project = "rsr-template-repo"
-version = "0.2.0"
-last-updated = "2026-02-28"
+project = "typed-wasm"
+version = "0.1.0"
+last-updated = "2026-03-30"
 status = "active"  # active | paused | archived
 
 [project-context]
-name = "rsr-template-repo"
-purpose = "Canonical RSR-compliant repository template providing scaffolding for all hyperpolymath projects — including CI/CD, AI manifests, ABI/FFI standards, container ecosystem, and governance infrastructure."
-completion-percentage = 95
+name = "typed-wasm"
+purpose = "Typed region schemas and compile-time safety checks for WebAssembly linear memory, with a checked L1-L10 core and higher-level research extensions still under audit."
+completion-percentage = 45
 
 [position]
-phase = "maintenance"      # design | implementation | testing | maintenance | archived
-maturity = "production"    # experimental | alpha | beta | production | lts
+phase = "implementation"   # design | implementation | testing | maintenance | archived
+maturity = "experimental"  # experimental | alpha | beta | production | lts
 
 [route-to-mvp]
 milestones = [
-  { name = "Phase 0: Core scaffolding (justfile, CI/CD, .machine_readable)", completion = 100 },
-  { name = "Phase 1: ABI/FFI standard (Idris2/Zig templates)", completion = 100 },
-  { name = "Phase 1b: AI Gatekeeper Protocol (0-AI-MANIFEST.a2ml)", completion = 100 },
-  { name = "Phase 1c: TOPOLOGY.md standard and guide", completion = 100 },
-  { name = "Phase 1d: Maintenance gate (axes, checklist, approach)", completion = 100 },
-  { name = "Phase 1e: Trustfile / contractiles", completion = 100 },
-  { name = "Phase 2: Container ecosystem templates (stapeln)", completion = 100 },
-  { name = "Phase 3: Multi-forge sync hardening", completion = 0 },
-  { name = "Phase 4: Nix/Guix reproducible shells", completion = 50 },
+  { name = "Checked L1-L10 ABI core", completion = 100 },
+  { name = "Parser, Zig FFI, and smoke-test surface", completion = 80 },
+  { name = "De-template release/build metadata", completion = 15 },
+  { name = "Evidence-backed benchmarks and aspect coverage", completion = 10 },
+  { name = "L11-L12 checked integration", completion = 0 },
 ]
 
 [blockers-and-issues]
-# No active blockers
+issues = [
+  "Release and container scaffolding still contains template residue outside the checked core.",
+  "The L11-L12 research modules are not part of the checked package and currently fail standalone type-checking.",
+  "Venue-facing paper and benchmark claims still outrun the evidence present in-repo.",
+]
 
 [critical-next-actions]
 actions = [
-  "Container templates complete — test with `just container-init`",
-  "Validate container templates across wolfi-base and static Chainguard images",
-  "Harden multi-forge sync for GitLab/Bitbucket mirroring edge cases",
-  "Expand Nix/Guix development shell templates",
+  "Remove template residue from release, container, and packaging surfaces.",
+  "Keep all public claims bounded to the checked L1-L10 core until the higher levels compile and are integrated.",
+  "Add real benchmark, aspect, and end-to-end evidence before any stable or publication push.",
 ]
 
 [maintenance-status]
-last-run-utc = "never"
-last-report = "docs/reports/maintenance/latest.json"
-last-result = "unknown"  # unknown | pass | warn | fail
+last-run-utc = "2026-03-30T00:00:00Z"
+last-report = "docs/reports/audit/2026-03-30-typed-wasm-audit.adoc"
+last-result = "fail"  # unknown | pass | warn | fail
 open-warnings = 0
-open-failures = 0
+open-failures = 4
 
 [ecosystem]
-part-of = ["RSR Framework", "stapeln ecosystem"]
-depends-on = ["stapeln", "selur-compose", "cerro-torre", "svalinn", "vordr", "k9-svc"]
-
-# ---------------------------------------------------------------------------
-# NOTE FOR CONSUMERS: When using this template to create a new repo, reset
-# the fields above to your project's values and replace all {{PLACEHOLDER}}
-# tokens. The milestones above describe the TEMPLATE's evolution, not yours.
-# ---------------------------------------------------------------------------
+part-of = ["TypeLL ecosystem", "typed query safety lineage", "WebAssembly research toolchain"]
+depends-on = ["Idris2", "ReScript", "Zig", "ECHIDNA"]