fix(dogfood): a2ml identity fields + record echo-types dependency in ECOSYSTEM

Fixes the 2 pre-existing A2ML-validate errors (verified locally against the
pinned a2ml-validate-action@6bff6ec): add identity 'name' to
docs/governance/{MAINTENANCE-CHECKLIST,TSDM}.a2ml. Record the echo-types
typesystem dependency in .machine_readable/ECOSYSTEM.a2ml related-projects
(EchoTyping.agda imports echo-types; affine subtyping = weaken; erasure = fiber).
A2ML validator: 2 errors -> 0. (Pre-existing K9 errors on 4 .k9 files remain —
flagged separately; ambiguous file intent + unfilled template placeholders.)

https://claude.ai/code/session_01DQACj3RFmAPZaBPgR9SAaS

Author: claude

.machine_readable/ECOSYSTEM.a2ml

@@ -5,4 +5,9 @@
   (name "nextgen-typing")
   (type "library")
   (purpose "Coordination monorepo for the hyperpolymath type-theory pipeline (katagoria -> typell -> typed-wasm -> PanLL); hosts cross-project verification and the echo-types typesystem integration.")
-  (related-projects))
+  (related-projects
+    (project
+      (name "echo-types")
+      (url "https://github.com/hyperpolymath/echo-types")
+      (relation "dependency")
+      (detail "verification/proofs/agda/EchoTyping.agda imports echo-types (Echo, EchoLinear) under --safe: AffineScript linear->affine subtyping IS echo weaken (no-section, distinction-forgetting); refinement erasure IS a fiber. Ledger: echo-types docs/bridges/cross-repo-bridge-status.md."))))

docs/governance/MAINTENANCE-CHECKLIST.a2ml

@@ -2,6 +2,7 @@
 # Cross-repo maintenance baseline (machine-readable canonical)
 
 [metadata]
+name = "maintenance-checklist"
 version = "1.1.0"
 last-updated = "2026-02-24"
 scope = "cross-repo"

docs/governance/TSDM.a2ml

@@ -1,6 +1,7 @@
 # SPDX-License-Identifier: MPL-2.0
 ---
 ### [TSDM_SPEC]
+name = "tsdm-standard"
 id: "tsdm-standard"
 version: "1.0.0"