chore: migrate STATE.scm → STATE.a2ml v2 thin journal (Estate Item 10)

Replaces the v1 s-expr STATE.scm machine-state file with the canonical
v2 "thin session journal" a2ml format per
standards/a2ml-templates/STATE.a2ml.v2.spec.adoc.

v2 deliberately keeps only what cannot be reconstructed from git/VeriSimDB:
phase, next_action, last_action, updated, and active blockers. Derivable
content (session history, milestones, file inventory, completion %) is
intentionally dropped — it lives in git log / ROADMAP / VeriSimDB.

Generated by state_scm_to_v2.py (robust s-expr → v2 converter).

Note: a residual boilerplate reference to "STATE.scm" remains in
.claude/CLAUDE.md (agent-instruction prose, non-executing) — left for a
follow-up doc pass; nothing in build/CI references the file.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

Author: hyperpolymath

.machine_readable/STATE.a2ml

@@ -0,0 +1,37 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Migrated from STATE.scm by state_scm_to_v2.py on 2026-05-17
+
+@state(version="2.0"):
+phase: "v0.1-complete"
+next_action: "Complete shell_validator.adb implementation"
+last_action: "Populated comprehensive STATE.scm with project status"
+updated: 2026-01-04
+
+@blockers:
+- id: shell-validator-implementation-needs-com
+  description: "Shell validator implementation needs completion"
+  waiting_on: "high-priority — internal"
+  since: 2026-01-04
+- id: justfile-recipes-are-stubs-need-actual-b
+  description: "Justfile recipes are stubs - need actual build/test/clean commands"
+  waiting_on: "medium-priority — internal"
+  since: 2026-01-04
+- id: no-unit-test-suite-yet-aunit-integration
+  description: "No unit test suite yet - AUnit integration pending"
+  waiting_on: "medium-priority — internal"
+  since: 2026-01-04
+- id: man-page-and-shell-completion-scripts-no
+  description: "Man page and shell completion scripts not created"
+  waiting_on: "medium-priority — internal"
+  since: 2026-01-04
+- id: powershell-config-path-handling-needs-pl
+  description: "PowerShell config path handling needs platform detection"
+  waiting_on: "low-priority — internal"
+  since: 2026-01-04
+- id: cross-compilation-for-macos-and-windows-
+  description: "Cross-compilation for macOS and Windows not configured"
+  waiting_on: "low-priority — internal"
+  since: 2026-01-04
+@end
+
+@end