feat(rsr): complete RSR compliance — template residue cleared, full 6-verb contractile set

- Justfile: fix project/REPO vars (were still `rsr-template-repo`)
- STATE.a2ml: replace template STATE with Nash-specific content (design
  phase, 15% complete, correct milestones and co-author attribution)
- META.a2ml: populate languages=["idris2","zig"], add ADRs, co-author,
  license-rationale; bump last-updated
- READINESS.md: create CRG v2.0 STRICT assessment (honest grade D:
  scaffolding solid, no game logic yet)
- contractiles/_base.ncl: add shared Nickel base (AGPL)
- contractiles/must/must.ncl: add missing NCL runner
- contractiles/trust/trust.ncl: add missing NCL runner
- contractiles/dust/dust.ncl: add missing NCL runner
- contractiles/bust/bust.ncl: fix SPDX header (PMPL → AGPL)
- contractiles/intend/: add missing intend verb (Intentfile.a2ml +
  intend.ncl) with Nash-specific commitments + horizon wishes
- contractiles/adjust/: add missing adjust verb (Adjustfile.a2ml +
  adjust.ncl) with accessibility requirements for physical game +
  digital companion
- contractiles/INDEX.a2ml: add verb registry (all 6 active verbs)

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

Author: hyperpolymath

.machine_readable/6a2/META.a2ml

@@ -6,17 +6,20 @@
 
 [metadata]
 version = "0.1.0"
-last-updated = "2026-04-04"
+last-updated = "2026-04-24"
 
 [project-info]
 type = "game"  # library | binary | monorepo | service | website
-languages = []             # e.g. ["rust", "zig", "idris2"]
+languages = ["idris2", "zig"]  # ABI stubs in Idris2; FFI in Zig; game engine language TBD
 license = "AGPL-3.0-or-later"
 author = "Jonathan D.A. Jewell (hyperpolymath)"
+co-author = "son"
+license-rationale = "AGPL-3.0-or-later: co-developed project (Jonathan + son), per AGPL exception in hyperpolymath license policy"
 
 [architecture-decisions]
 # ADR format: status = proposed | accepted | deprecated | superseded | rejected
-# - { id = "ADR-001", title = "Use Zig for FFI", status = "accepted", date = "2026-02-14" }
+- { id = "ADR-001", title = "Idris2 ABI + Zig FFI for interface layer", status = "accepted", date = "2026-04-04" }
+- { id = "ADR-002", title = "Game engine implementation language (Gleam/BEAM or Rust/SPARK)", status = "proposed", date = "2026-04-24" }
 
 [development-practices]
 build-tool = "just"

.machine_readable/6a2/STATE.a2ml

@@ -1,49 +1,46 @@
 # SPDX-License-Identifier: AGPL-3.0-or-later
 # 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 — Project state checkpoint
+# The Nash Equilibrium — 6X strategy game
 
 [metadata]
-project = "rsr-template-repo"
-version = "0.2.0"
-last-updated = "2026-02-28"
+project = "the-nash-equilibrium"
+version = "0.1.0"
+last-updated = "2026-04-24"
 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 = "The Nash Equilibrium"
+purpose = "6X strategy board game co-developed by Jonathan D.A. Jewell and son. Extends the 4X genre (eXplore, eXpand, eXploit, eXterminate) with eXchange (game-theoretic negotiation/trade) and eXperiment (speculative research with asymmetric payoffs). All strategic interactions are modelled through Nash equilibrium mechanics. Licensed AGPL-3.0-or-later."
+completion-percentage = 15
 
 [position]
-phase = "maintenance"      # design | implementation | testing | maintenance | archived
-maturity = "production"    # experimental | alpha | beta | production | lts
+phase = "design"       # 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 = "Phase 0: RSR scaffolding (CI/CD, .machine_readable, contractiles)", completion = 90 },
+  { name = "Phase 0b: ABI/FFI interface stubs (Idris2 ABI + Zig FFI)", completion = 50 },
+  { name = "Phase 1: Game design documentation (6X pillars, core mechanics, player roles, board design)", completion = 60 },
+  { name = "Phase 1b: Playtesting protocol + event cards + economic systems", completion = 30 },
+  { name = "Phase 2: Nash equilibrium solver / payoff-matrix engine", completion = 0 },
+  { name = "Phase 3: Core game loop implementation", completion = 0 },
+  { name = "Phase 4: Family playtesting (v0 physical prototype)", completion = 0 },
+  { name = "Phase 5: Digital companion (optional, post-physical)", completion = 0 },
 ]
 
 [blockers-and-issues]
-# No active blockers
+# No external blockers — design phase, internal only.
 
 [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",
+  "Complete playtesting-plan.adoc with concrete first-session checklist",
+  "Finish event-cards.adoc catalogue (currently skeleton)",
+  "Decide on implementation language for game engine (Gleam/BEAM or Rust/SPARK)",
+  "Draft Nash equilibrium solver spec for payoff-matrix integration",
+  "Run first family playtest of physical prototype (tabletop, paper rules)",
 ]
 
 [maintenance-status]
@@ -54,11 +51,20 @@ open-warnings = 0
 open-failures = 0
 
 [ecosystem]
-part-of = ["RSR Framework", "stapeln ecosystem"]
-depends-on = ["stapeln", "selur-compose", "cerro-torre", "svalinn", "vordr", "k9-svc"]
+part-of = ["games-ecosystem", "hyperpolymath personal projects"]
+depends-on = ["RSR Framework", "stapeln"]
+co-authors = ["Jonathan D.A. Jewell", "son (AGPL co-author)"]
+license-rationale = "AGPL-3.0-or-later chosen because this is a co-developed project with son (hyperpolymath AGPL exception)"
+
+[dogfooding-status]
+# Populated when C-grade dogfooding evidence window opens (4+ weeks, daily use).
+# Currently: Phase 0 (design) — no dogfood log yet.
+
+[external-targets]
+# Populated at Grade B promotion. Six genuinely diverse external targets required.
+
+[issues-fed-back]
+# Populated at Grade B promotion.
 
-# ---------------------------------------------------------------------------
-# 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.
-# ---------------------------------------------------------------------------
+[field-signal]
+# Populated at Grade A promotion.

.machine_readable/contractiles/INDEX.a2ml

@@ -0,0 +1,81 @@
+# SPDX-License-Identifier: AGPL-3.0-or-later
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+#
+# INDEX.a2ml — Contractile Registry
+# Machine-readable catalogue of all contractile verbs in this repo.
+# Consumers (CI scripts, contractile CLI, Hypatia) read this to discover
+# available verbs rather than hard-coding the list.
+
+---
+id = "contractiles-registry"
+version = "1.0.0"
+last_updated = "2026-04-24"
+base_schema = ".machine_readable/contractiles/_base.ncl"
+
+## Active Verbs
+
+[[verbs]]
+name = "adjust"
+semantics = "accessibility compliance"
+file_pair = [
+  "adjust/Adjustfile.a2ml",
+  "adjust/adjust.ncl",
+]
+status = "active"
+authority = "advisory"
+gating = "advisory (continue-with-warnings)"
+
+[[verbs]]
+name = "bust"
+semantics = "error handling + failure recovery"
+file_pair = [
+  "bust/Bustfile.a2ml",
+  "bust/bust.ncl",
+]
+status = "active"
+authority = "blocking"
+gating = "hard (exit-nonzero)"
+
+[[verbs]]
+name = "dust"
+semantics = "exnovation / removal"
+file_pair = [
+  "dust/Dustfile.a2ml",
+  "dust/dust.ncl",
+]
+status = "active"
+authority = "advisory"
+gating = "advisory (continue-with-warnings)"
+
+[[verbs]]
+name = "intend"
+semantics = "north-star (commitments + aspirations)"
+file_pair = [
+  "intend/Intentfile.a2ml",
+  "intend/intend.ncl",
+]
+status = "active"
+authority = "reporting"
+gating = "non-gating (continue)"
+
+[[verbs]]
+name = "must"
+semantics = "invariant assertion — release-blocking"
+file_pair = [
+  "must/Mustfile.a2ml",
+  "must/must.ncl",
+]
+status = "active"
+authority = "blocking"
+gating = "hard (exit-nonzero)"
+
+[[verbs]]
+name = "trust"
+semantics = "security + provenance + safe-hacking"
+file_pair = [
+  "trust/Trustfile.a2ml",
+  "trust/trust.ncl",
+]
+status = "active"
+authority = "blocking"
+gating = "hard (exit-nonzero)"

.machine_readable/contractiles/_base.ncl

@@ -0,0 +1,81 @@
+# SPDX-License-Identifier: AGPL-3.0-or-later
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+#
+# _base.ncl — Shared contractile base
+#
+# Provides four named schema fragments imported by every verb runner:
+#
+#   pedigree_schema   — canonical pedigree block shape
+#   status_core_doc   — documentation of the shared status trio (String list)
+#   probe_schema      — target structured probe form (spec only; verb files
+#                       still use probe | String with TODO comments)
+#   run_defaults      — default runner behaviour
+#
+# Usage in a verb runner:
+#
+#   let base = import "../_base.ncl" in
+#   {
+#     pedigree = base.pedigree_schema & {
+#       contractile_verb = "must",
+#       semantics = "invariant",
+#       security = {
+#         leash = 'Kennel,
+#         trust_level = "read-only verification",
+#         allow_network = false,
+#         allow_filesystem_write = false,
+#         allow_subprocess = true,
+#       },
+#       metadata = {
+#         name = "must-runner",
+#         version = "1.0.0",
+#         description = "...",
+#         paired_xfile = "Mustfile.a2ml",
+#         author = "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>",
+#       },
+#     },
+#     schema = { ... },
+#     run = base.run_defaults & { on_any_fail = "exit-nonzero" },
+#   }
+#
+# See: docs/CONTRACTILE-SPEC.adoc §Shared Base
+
+{
+  pedigree_schema = {
+    schema_version | String | default = "1.0.0",
+    contractile_verb | String | default = "UNSET",
+    semantics | String | default = "UNSET",
+    security = {
+      leash | [| 'Kennel, 'Yard, 'Hunt |] | default = 'Kennel,
+      trust_level | String | default = "UNSET",
+      allow_network | Bool | default = false,
+      allow_filesystem_write | Bool | default = false,
+      allow_subprocess | Bool | default = true,
+    },
+    metadata = {
+      name | String | default = "UNSET",
+      version | String | default = "1.0.0",
+      description | String | default = "UNSET",
+      paired_xfile | String | default = "UNSET",
+      author | String | default = "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>",
+    },
+  },
+
+  # Documents the shared status values. Verb files reproduce their full enum verbatim.
+  status_core_doc = "status_core values: declared | verified | failing — extended per verb",
+
+  probe_schema = {
+    command | String,
+    timeout_seconds | Number | default = 300,
+    allowed_exit_codes | Array Number | default = [0],
+    permission_class
+      | [| 'read_only, 'filesystem_write, 'subprocess, 'network |]
+      | default = 'read_only,
+  },
+
+  run_defaults = {
+    on_pass = "continue",
+    on_any_fail = "exit-nonzero",
+    report_format = "a2ml",
+    emit_summary = true,
+  },
+}

.machine_readable/contractiles/adjust/Adjustfile.a2ml

@@ -0,0 +1,99 @@
+# SPDX-License-Identifier: AGPL-3.0-or-later
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+#
+# Adjustfile.a2ml — accessibility contractile
+# Paired runner: adjust.ncl
+# Verb:          adjust
+# Semantics:     Accessibility requirements and compliance for The Nash Equilibrium.
+#                Covers both the physical board-game materials and any digital
+#                companion components.
+#
+# CLI:
+#   contractile adjust check  → list violations
+#   contractile adjust fix    → apply deterministic fixes where defined
+
+@abstract:
+Accessibility requirements for The Nash Equilibrium — a 6X strategy board game.
+Accessibility is considered for: print-and-play physical materials, rulebook,
+and the planned digital companion app (Tauri 2.0+). Physical game comes first.
+@end
+
+## Purpose
+
+Ensure The Nash Equilibrium is playable by the broadest range of people,
+including those with colour-blindness, low vision, motor difficulties, or
+cognitive differences. Game theory is for everyone.
+
+## Anti-Purpose
+
+This file does NOT track game balance or difficulty — those belong in
+docs/game-design/playtesting-plan.adoc.
+
+## Physical Game Materials
+
+### colourblind-safe-palette
+- description: All game components use a colourblind-safe colour palette (Okabe-Ito or equivalent)
+- status: declared
+- probe: grep -r "colourblind\|color-blind\|Okabe" docs/game-design/board-design.adoc
+- compliance: WCAG 2.1 (colour contrast principle, adapted for print)
+- notes: Board design currently uses unnamed colours. Needs explicit palette decision.
+
+### pattern-not-colour-only
+- description: Player/faction distinctions use pattern OR icon in addition to colour (never colour alone)
+- status: declared
+- probe: grep -q "pattern\|icon\|symbol" docs/game-design/board-design.adoc
+- compliance: WCAG 2.1 §1.4.1 (Use of Color)
+- notes: Addresses red-green colourblindness for player token differentiation.
+
+### large-print-rulebook
+- description: Rulebook available in large-print format (minimum 14pt equivalent)
+- status: declared
+- probe: test -f docs/print/RULEBOOK-LARGE-PRINT.adoc || test -f docs/print/RULEBOOK-LARGE-PRINT.pdf
+- notes: Priority for players with low vision. Can be print-on-demand.
+
+### tactile-component-differentiation
+- description: Player tokens have distinct tactile profiles (shape/texture) in addition to colour
+- status: declared
+- probe: grep -q "tactile\|texture\|shape" docs/game-design/board-design.adoc
+- notes: For players with low/no vision. Distinct shapes per player faction.
+
+## Rulebook / Documentation
+
+### plain-language-rules
+- description: Rulebook uses plain language (Flesch-Kincaid grade ≤ 10 for core rules)
+- status: declared
+- probe: echo "manual check required"
+- compliance: Plain English standard
+- notes: Game theory concepts explained accessibly; technical terms defined on first use.
+
+### game-theory-glossary
+- description: Glossary of game theory terms included in rulebook (Nash equilibrium, dominant strategy, payoff matrix, etc.)
+- status: declared
+- probe: grep -q "glossary\|Glossary" docs/game-design/OVERVIEW.adoc
+- notes: Critical for players unfamiliar with game theory.
+
+### alternative-formats
+- description: Core game materials available in both print (PDF) and screen-reader-compatible text format
+- status: declared
+- probe: test -f docs/print/RULEBOOK.pdf || test -f docs/print/RULEBOOK.adoc
+- notes: AsciiDoc source is screen-reader-friendly; PDF export is a bonus.
+
+## Digital Companion (Future)
+
+### keyboard-only-play
+- description: Digital companion fully operable via keyboard (no mouse required)
+- status: declared
+- compliance: WCAG 2.1 §2.1 (Keyboard Accessible)
+- notes: Relevant when Tauri 2.0+ companion is built. Track here now, implement then.
+
+### screen-reader-compatible
+- description: Digital companion compatible with common screen readers (NVDA, VoiceOver)
+- status: declared
+- compliance: WCAG 2.1 §4.1.2 (Name, Role, Value)
+- notes: Depends on Tauri/ReScript UI layer.
+
+### high-contrast-mode
+- description: Digital companion supports high-contrast mode (OS-level and in-app toggle)
+- status: declared
+- compliance: WCAG 2.1 §1.4.3 (Contrast Minimum)
+- notes: Implement via CSS/Tauri theme system.