chore(v-ecosystem): fill template placeholders + annotate proof obligations

Preparing v_rest, v_grpc, v_graphql connectors for community transfer:
- Replace all {{CURRENT_YEAR}}/{{AUTHOR}}/{{AUTHOR_EMAIL}}/{{REPO}} placeholders
- Add PROOF OBLIGATION comments to all Idris2 holes in Layout.idr files
- Explain what each proof requires and suggest approach for V community

Transfer offer pending — PMPL-1.0-or-later (MPL-2.0 fallback available).

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

Author: hyperpolymath

v-ecosystem/v_api_interfaces/v_graphql/.clinerules

@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} (hyperpolymath) <{{AUTHOR_EMAIL}}>
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 # Authoritative source: docs/AI-CONVENTIONS.md
 
 # STARTUP: Read 0-AI-MANIFEST.a2ml first, then .machine_readable/STATE.a2ml.
@@ -8,7 +8,7 @@
 # All original code: PMPL-1.0-or-later.
 # Never AGPL-3.0. MPL-2.0 only as platform-required fallback.
 # SPDX header required on every source file.
-# Copyright: {{AUTHOR}} (hyperpolymath) <{{AUTHOR_EMAIL}}>
+# Copyright: Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 
 # STATE FILES (.machine_readable/ ONLY)
 # Never create in repo root: STATE.a2ml, META.a2ml, ECOSYSTEM.a2ml,

v-ecosystem/v_api_interfaces/v_graphql/.cursorrules

@@ -1,13 +1,13 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} (hyperpolymath) <{{AUTHOR_EMAIL}}>
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 # Authoritative source: docs/AI-CONVENTIONS.md
 
 # Read 0-AI-MANIFEST.a2ml in the repo root FIRST for canonical file locations.
 
 # LICENSE
 # All original code: PMPL-1.0-or-later (SPDX header required on every file).
 # Never use AGPL-3.0. Fallback to MPL-2.0 only when platform requires it.
-# Copyright: {{AUTHOR}} (hyperpolymath) <{{AUTHOR_EMAIL}}>
+# Copyright: Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 
 # STATE FILES
 # .a2ml metadata files go in .machine_readable/ ONLY.

v-ecosystem/v_api_interfaces/v_graphql/.devcontainer/Containerfile

@@ -1,5 +1,5 @@
 # SPDX-License-Identifier: PMPL-1.0-or-later
-# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} (hyperpolymath) <{{AUTHOR_EMAIL}}>
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # Dev Container image for {{PROJECT_NAME}}
 # Base: Chainguard Wolfi (minimal, supply-chain-secure)

v-ecosystem/v_api_interfaces/v_graphql/.guix-channel

@@ -1,5 +1,5 @@
 ;; SPDX-License-Identifier: PMPL-1.0-or-later
-;; Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} (hyperpolymath) <{{AUTHOR_EMAIL}}>
+;; Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 ;;
 ;; Guix channel definition for {{PROJECT_NAME}}
 ;;

v-ecosystem/v_api_interfaces/v_graphql/.machine_readable/6a2/AGENTIC.a2ml

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

v-ecosystem/v_api_interfaces/v_graphql/.machine_readable/6a2/ECOSYSTEM.a2ml

@@ -6,12 +6,12 @@
 
 [metadata]
 version = "0.1.0"
-last-updated = "{{CURRENT_DATE}}"
+last-updated = "2026-04-11"
 
 [project]
 name = "v-graphql"
-purpose = "{{PROJECT_PURPOSE}}"
-role = "{{PROJECT_ROLE}}"  # e.g. ffi-infrastructure, cli-tool, library, service
+purpose = ""  # TODO: describe project purpose
+role = ""  # TODO: describe project role  # e.g. ffi-infrastructure, cli-tool, library, service
 
 [position-in-ecosystem]
 tier = "infrastructure"  # 1 | 2 | infrastructure

v-ecosystem/v_api_interfaces/v_graphql/.machine_readable/6a2/META.a2ml

@@ -6,10 +6,10 @@
 
 [metadata]
 version = "0.1.0"
-last-updated = "{{CURRENT_DATE}}"
+last-updated = "2026-04-11"
 
 [project-info]
-type = "{{PROJECT_TYPE}}"  # library | binary | monorepo | service | website
+type = "library"  # TODO: update type (library|binary|service|website|monorepo)  # library | binary | monorepo | service | website
 languages = []             # e.g. ["rust", "zig", "idris2"]
 license = "PMPL-1.0-or-later"
 author = "Jonathan D.A. Jewell (hyperpolymath)"

v-ecosystem/v_api_interfaces/v_graphql/.machine_readable/6a2/NEUROSYM.a2ml

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

v-ecosystem/v_api_interfaces/v_graphql/.machine_readable/6a2/PLAYBOOK.a2ml

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

v-ecosystem/v_api_interfaces/v_graphql/.machine_readable/6a2/STATE.a2ml

@@ -7,12 +7,12 @@
 [metadata]
 project = "v-graphql"
 version = "0.1.0"
-last-updated = "{{CURRENT_DATE}}"
+last-updated = "2026-04-11"
 status = "active"  # active | paused | archived
 
 [project-context]
 name = "v-graphql"
-purpose = "{{PROJECT_PURPOSE}}"
+purpose = ""  # TODO: describe project purpose
 completion-percentage = 0
 
 [position]