From 15b3dbfeabe528213a2ca32559af110ca259d968 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Sun, 19 Apr 2026 00:53:37 +0100
Subject: [PATCH] chore(state): populate [dogfooding-status] with
 proven/bindings/ephapax consumer
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Per AI-WORK-todo.md §3a — CRG Phase 3 dogfooding-status population queue.
Ephapax is the proven-alternatives source; `proven` consumes it via
verification-ecosystem/proven/bindings/ephapax/ (Zig types, adapters,
impl layer, dyadic FFI design).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
---
 .machine_readable/6a2/STATE.a2ml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.machine_readable/6a2/STATE.a2ml b/.machine_readable/6a2/STATE.a2ml
index 4e66cd70..108ddf6f 100644
--- a/.machine_readable/6a2/STATE.a2ml
+++ b/.machine_readable/6a2/STATE.a2ml
@@ -15,6 +15,12 @@ phase = "implementation"
 description = "Linear type system compiler — 19 crates, formal proofs FULLY CLOSED (67 Qed, 0 Admitted)"
 crg-grade = "C"
 
+[dogfooding-status]
+# Populated 2026-04-19 against real on-disk integrations. Each entry must
+# resolve to a grep-hit in the cited path. Per memory: ephapax is the
+# proven-alternatives source, so `proven` is its canonical downstream consumer.
+proven-consumer = "2026-04-19 — proven repo consumes ephapax via Zig bindings (types.zig, ephapax_proven.zig, lru_adapter.zig + lru_impl.zig, buffer_adapter.zig + buffer_impl.zig, resource_adapter.zig + resource_impl.zig, stubs.c + build.zig + DYADIC-FFI-DESIGN.md). Path: verification-ecosystem/proven/bindings/ephapax/"
+
 [formal-proofs]
 rocq-version = "9.1.1"
 compiles-clean = true