docs(machine-readable): currency refresh of 6a2 + ANCHOR

Bump last-updated 2026-04-1x -> 2026-06-12 across the 6a2 set; correct STATE
maintenance-status (last-result unknown -> pass, per READINESS.md green gates) and
add a recent-activity line for the 2026-05-30 CI/governance hardening; fill the
ANCHOR domain placeholder ({{PROJECT_DOMAIN}} -> 'type theory / type safety').
Content/ADRs verified accurate; no padding.

Flagged separately (NOT changed): legacy root-level Scheme-form
.machine_readable/*.a2ml retain rsr-template-repo template identity + placeholder
residue (needs a maintainer re-identification pass).

https://claude.ai/code/session_013wg3Mtq2QFhYi4XVw1Z6z7

Author: claude

.machine_readable/6a2/AGENTIC.a2ml

@@ -6,7 +6,7 @@
 
 [metadata]
 version = "0.1.0"
-last-updated = "2026-04-11"
+last-updated = "2026-06-12"
 
 [agent-permissions]
 can-edit-source = true

.machine_readable/6a2/ECOSYSTEM.a2ml

@@ -6,7 +6,7 @@
 
 [metadata]
 version = "0.1.0"
-last-updated = "2026-04-12"
+last-updated = "2026-06-12"
 
 [project]
 name = "nextgen-typing"

.machine_readable/6a2/META.a2ml

@@ -6,7 +6,7 @@
 
 [metadata]
 version = "0.1.0"
-last-updated = "2026-04-12"
+last-updated = "2026-06-12"
 
 [project-info]
 type = "monorepo"  # library | binary | monorepo | service | website

.machine_readable/6a2/NEUROSYM.a2ml

@@ -6,7 +6,7 @@
 
 [metadata]
 version = "0.1.0"
-last-updated = "2026-04-11"
+last-updated = "2026-06-12"
 
 [hypatia-config]
 scan-enabled = true

.machine_readable/6a2/PLAYBOOK.a2ml

@@ -6,7 +6,7 @@
 
 [metadata]
 version = "0.1.0"
-last-updated = "2026-04-11"
+last-updated = "2026-06-12"
 
 [deployment]
 # method = "gitops"  # gitops | manual | ci-triggered

.machine_readable/6a2/STATE.a2ml

@@ -6,7 +6,7 @@
 [metadata]
 project = "nextgen-typing"
 version = "0.1.0"
-last-updated = "2026-04-12"
+last-updated = "2026-06-12"
 status = "active"
 
 [project-context]
@@ -47,10 +47,11 @@ actions = [
 ]
 
 [maintenance-status]
-last-run-utc = "2026-04-12T00:00:00Z"
-last-result = "unknown"
+last-run-utc = "2026-06-12T00:00:00Z"
+last-result = "pass"  # CRG Grade C: dogfood-gate, hypatia-scan, static-analysis-gate green (READINESS.md)
 open-warnings = 0
 open-failures = 0
+recent-activity = "2026-05-30 CI/governance hardening: reusable-workflow wrappers (scorecard, secret-scanner, mirror, rust-ci, hypatia-scan), SHA repinning to live commits, stale ReScript fixture removal, tech-debt audit findings recorded."
 
 [ecosystem]
 part-of = ["hyperpolymath coordination infrastructure"]

.machine_readable/anchors/ANCHOR.a2ml

@@ -5,7 +5,7 @@
 
 [metadata]
 version = "1.0.0"
-last-updated = "2026-04-11"
+last-updated = "2026-06-12"
 
 [anchor]
 schema = "hyperpolymath.anchor/1"
@@ -22,7 +22,7 @@ purpose = [
 project = "nextgen-typing"
 kind = "{{PROJECT_KIND}}"                # language | library | service | tool
 one-sentence = "Coordination monorepo for the hyperpolymath type theory pipeline (katagoria → typell → typed-wasm → PanLL)"
-domain = "{{PROJECT_DOMAIN}}"
+domain = "type theory / type safety"
 
 [semantic-authority]
 policy = "canonical"