feat(v-ecosystem): expand 25 v-api-interface connectors + 6a2 innervation sweep

Connectors expanded from stub (80-140 lines) to substantive implementations
(200-400 lines each) for the V community transfer bundle:

v_nts — NTS-KE wire format (RFC 8915): encode/decode_ke_record, build_ke_request,
  key_establish (simulated AEAD key derivation), build_ntp_request with NTS
  extension fields (UID, cookie, authenticator), verify_ntp_response, 4 tests.

v_metrics — Prometheus-compatible collector: Metric/Histogram/Summary types,
  register_metric/counter_inc/gauge_set/histogram_observe, Prometheus text
  format export, push_gateway_push stub, 4 tests.

v_bfd, v_kms, v_ids, v_ssh_bastion, v_loadbalancer, v_chat, v_appserver,
v_container, v_firewall, v_gameserver, v_proxy, v_airgap, v_agentic,
v_ospf, v_ocsp, v_pqc, v_sdn, v_tacacs, v_zerotrust, v-mdns, v-socks,
v_fileserver — all expanded with protocol-specific types, constants,
meaningful operations, and 3-5 tests each.

6a2 innervation sweep: 310 A2ML machine-readable files updated across all
ecosystem subdirectories (ada, aggregate, coq, deno, devkit-risc-v, idris2,
julia, rescript, zig and supporting satellites).

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath

ada-ecosystem/ada-loom-registry/.machine_readable/6a2/AGENTIC.a2ml

@@ -1,16 +1,34 @@
-;; SPDX-License-Identifier: PMPL-1.0-or-later
-;; AGENTIC.scm - AI agent interaction patterns for ada-loom-registry (Spindle)
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+#
+# AGENTIC.a2ml — AI agent constraints and capabilities
+[metadata]
+version = "0.1.0"
+last-updated = "2026-04-11"
 
-(define agentic-config
-  `((version . "1.0.0")
-    (claude-code
-      ((model . "claude-opus-4-5-20251101")
-       (tools . ("read" "edit" "bash" "grep" "glob"))
-       (permissions . "read-all")))
-    (patterns
-      ((code-review . "thorough")
-       (refactoring . "conservative")
-       (testing . "comprehensive")))
-    (constraints
-      ((languages . ("haskell" "nickel" "bash" "guile-scheme"))
-       (banned . ("typescript" "go" "python" "makefile" "node" "npm"))))))
+[agent-permissions]
+can-edit-source = true
+can-edit-tests = true
+can-edit-docs = true
+can-edit-config = true
+can-create-files = true
+
+[agent-constraints]
+# What AI agents must NOT do:
+# - Never use banned language patterns (believe_me, unsafeCoerce, etc.)
+# - Never commit secrets or credentials
+# - Never use banned languages (TypeScript, Python, Go, etc.)
+# - Never place state files in repository root (must be in .machine_readable/)
+# - Never use AGPL license (use PMPL-1.0-or-later)
+
+[maintenance-integrity]
+fail-closed = true
+require-evidence-per-step = true
+allow-silent-skip = false
+require-rerun-after-fix = true
+release-claim-requires-hard-pass = true
+
+[automation-hooks]
+# on-enter: Read 0-AI-MANIFEST.a2ml, then STATE.a2ml
+# on-exit: Update STATE.a2ml with session outcomes
+# on-commit: Run just validate-rsr

ada-ecosystem/ada-loom-registry/.machine_readable/6a2/ECOSYSTEM.a2ml

@@ -1,51 +1,20 @@
-;; SPDX-License-Identifier: PMPL-1.0-or-later
-;; ECOSYSTEM.scm - Ecosystem position for ada-loom-registry (Spindle)
-;; Media-Type: application/vnd.ecosystem+scm
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+#
+# ECOSYSTEM.a2ml — Ada Loom Registry ecosystem position
+[metadata]
+version = "1.0"
+last-updated = "2026-04-11"
 
-(ecosystem
-  (version "1.0")
-  (name "spindle")
-  (type "library-and-cli")
-  (purpose "Parse Nickel configuration files into type-safe Haskell data structures")
+[project]
+name = "Ada Loom Registry"
+purpose = "Parse Nickel configuration files into type-safe Haskell data structures"
+role = "library-and-cli"
 
-  (position-in-ecosystem
-    (category "configuration-management")
-    (subcategory "nickel-tooling")
-    (unique-value
-      ("Type-safe Nickel to Haskell bridge")
-      ("GHC WASM support for browser deployment")
-      ("Registry for validated configurations")))
+[position-in-ecosystem]
+category = "configuration-management"
 
-  (related-projects
-    (project
-      (name "scaffoldia")
-      (relationship "potential-merge")
-      (description "Haskell scaffolding tool that could use Spindle for Nickel configs")
-      (integration "Spindle could become scaffoldia's Nickel module"))
-    (project
-      (name "valence")
-      (relationship "potential-consumer")
-      (description "Elixir web framework")
-      (integration "Could use Spindle for Nickel configuration parsing"))
-    (project
-      (name "hnickel")
-      (relationship "dependency")
-      (description "Haskell bindings for Nickel language")
-      (integration "Core parsing functionality"))
-    (project
-      (name "nickel-lang")
-      (relationship "upstream")
-      (description "The Nickel configuration language")
-      (integration "Source language for configuration files")))
-
-  (what-this-is
-    ("Haskell library for parsing Nickel files")
-    ("CLI tool for validating and managing Nickel configs")
-    ("Registry for tracking validated configurations")
-    ("Bridge between Nickel's type contracts and Haskell's type system"))
-
-  (what-this-is-not
-    ("NOT an Ada project (despite repository name)")
-    ("NOT a textile/loom project")
-    ("NOT a general package registry")
-    ("NOT a replacement for Nickel itself")))
+[related-projects]
+projects = [
+  # No related projects recorded
+]

ada-ecosystem/ada-loom-registry/.machine_readable/6a2/META.a2ml

@@ -1,49 +1,27 @@
-;; SPDX-License-Identifier: PMPL-1.0-or-later
-;; META.scm - Meta-level information for ada-loom-registry (Spindle)
-;; Media-Type: application/meta+scheme
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+#
+# META.a2ml — Ada Loom Registry meta-level information
+[metadata]
+version = "0.1.0"
+last-updated = "2026-04-11"
 
-(meta
-  (architecture-decisions
-    (adr
-      (id "0001")
-      (title "Adopt Rhodium Standard")
-      (status "accepted")
-      (context "Project documentation and compliance tracking")
-      (decision "Use Rhodium Standard Silver level for documentation"))
-    (adr
-      (id "0002")
-      (title "Nickel Parser Integration")
-      (status "accepted")
-      (context "Configuration file parsing strategy")
-      (decision "Use Haskell with hnickel library for type-safe Nickel parsing")))
+[project-info]
+license = "PMPL-1.0-or-later"
+author = "Jonathan D.A. Jewell (hyperpolymath)"
 
-  (development-practices
-    (code-style
-      (language "Haskell")
-      (formatter "ormolu")
-      (linter "hlint")
-      (extensions "OverloadedStrings" "DeriveGeneric" "DeriveAnyClass")
-      (warnings "-Wall" "-Wcompat" "-Widentities" "-Wincomplete-record-updates"))
-    (security
-      (principle "Defense in depth")
-      (validation "Type-safe parsing via Aeson")
-      (file-access "Validate paths before reading")
-      (secrets "No hardcoded credentials"))
-    (testing
-      (framework "HSpec")
-      (property-testing "QuickCheck")
-      (coverage-target "80%")
-      (test-types "unit" "integration" "golden"))
-    (versioning "SemVer")
-    (documentation "AsciiDoc")
-    (branching "main for stable"))
+[architecture-decisions]
+decisions = [
+  # No ADRs recorded
+]
 
-  (design-rationale
-    (why-haskell
-      "Type safety, GHC WASM support, strong ecosystem for parsing")
-    (why-nickel
-      "Contract-based configuration with rich type system")
-    (why-aeson-bridge
-      "Standard JSON serialization enables interop with Nickel's JSON export")
-    (why-registry
-      "Track validated configurations with metadata and timestamps")))
+[development-practices]
+versioning = "SemVer"
+documentation = "AsciiDoc"
+build-tool = "just"
+
+[maintenance-axes]
+scoping-first = true
+axis-1 = "must > intend > like"
+axis-2 = "corrective > adaptive > perfective"
+axis-3 = "systems > compliance > effects"

ada-ecosystem/ada-loom-registry/.machine_readable/6a2/NEUROSYM.a2ml

@@ -1,19 +1,21 @@
-;; SPDX-License-Identifier: PMPL-1.0-or-later
-;; NEUROSYM.scm - Neurosymbolic integration config for ada-loom-registry (Spindle)
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+#
+# NEUROSYM.a2ml — Neurosymbolic integration metadata
+[metadata]
+version = "0.1.0"
+last-updated = "2026-04-11"
 
-(define neurosym-config
-  `((version . "1.0.0")
-    (symbolic-layer
-      ((type . "scheme")
-       (reasoning . "deductive")
-       (verification . "formal")
-       (type-system . "hindley-milner")
-       (contracts . "nickel-contracts")))
-    (neural-layer
-      ((embeddings . false)
-       (fine-tuning . false)
-       (llm-integration . "claude-code")))
-    (integration
-      ((config-validation . "nickel-contracts-to-haskell-types")
-       (error-messages . "structured-adt")
-       (ai-assistance . "code-generation-and-review")))))
+[hypatia-config]
+scan-enabled = true
+scan-depth = "standard"  # quick | standard | deep
+report-format = "logtalk"
+
+[symbolic-rules]
+# Custom symbolic rules for this project
+# - { name = "no-unsafe-ffi", pattern = "believe_me|unsafeCoerce", severity = "critical" }
+
+[neural-config]
+# Neural pattern detection settings
+# confidence-threshold = 0.85
+# model = "hypatia-v2"

ada-ecosystem/ada-loom-registry/.machine_readable/6a2/PLAYBOOK.a2ml

@@ -1,31 +1,26 @@
-;; SPDX-License-Identifier: PMPL-1.0-or-later
-;; PLAYBOOK.scm - Operational runbook for ada-loom-registry (Spindle)
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+#
+# PLAYBOOK.a2ml — Operational playbook
+[metadata]
+version = "0.1.0"
+last-updated = "2026-04-11"
 
-(define playbook
-  `((version . "1.0.0")
-    (procedures
-      ((build
-         (("update-deps" . "cabal update")
-          ("build-all" . "just build")
-          ("build-release" . "just build-release")))
-       (test
-         (("run-tests" . "just test")
-          ("run-lint" . "just lint")
-          ("check-format" . "just check")))
-       (deploy
-         (("generate-docs" . "just docs")
-          ("release" . "cabal sdist")))
-       (rollback
-         (("git-revert" . "git revert HEAD")
-          ("clean-build" . "just clean")))
-       (debug
-         (("check-registry" . "cat .spindle/registry.json")
-          ("parse-test" . "cabal run spindle -- parse config/build.ncl")
-          ("list-entries" . "cabal run spindle -- list")))))
-    (alerts
-      ((build-failure . "Check GHC version compatibility")
-       (test-failure . "Review hlint suggestions")
-       (parse-error . "Validate Nickel syntax with nickel check")))
-    (contacts
-      ((maintainer . "hyperpolymath@users.noreply.github.com")
-       (issues . "https://github.com/hyperpolymath/ada-loom-registry/issues")))))
+[deployment]
+# method = "gitops"  # gitops | manual | ci-triggered
+# target = "container"  # container | binary | library | wasm
+
+[incident-response]
+# 1. Check .machine_readable/STATE.a2ml for current status
+# 2. Review recent commits and CI results
+# 3. Run `just validate` to check compliance
+# 4. Run `just security` to audit for vulnerabilities
+
+[release-process]
+# 1. Update version in STATE.a2ml, META.a2ml
+# 2. Run `just release-preflight` (validate + quality + security + maint-hard-pass)
+# 3. Tag and push
+
+[maintenance-operations]
+# Baseline audit: just maint-audit
+# Hard release gate: just maint-hard-pass