From 461ee4d0f412f619e9c1169276667e0ed50a75f5 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 3 Jul 2026 01:40:05 +0000 Subject: [PATCH] ECOSYSTEM: record proven-tests-and-benches as the test framework proven-tests-and-benches grades proven's modules by three-tier provenance from proven's own MODULE-STATUS.txt + STATE.a2ml OWED ledger (no re-checking). The two repos previously had zero references in either direction; this adds the reciprocal link. Co-Authored-By: Claude Opus 4.8 Claude-Session: https://claude.ai/code/session_01SW76f8XBgwsiGXU9x5vmQU --- .machine_readable/6a2/ECOSYSTEM.a2ml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.machine_readable/6a2/ECOSYSTEM.a2ml b/.machine_readable/6a2/ECOSYSTEM.a2ml index a1f76df1..0ca836d0 100644 --- a/.machine_readable/6a2/ECOSYSTEM.a2ml +++ b/.machine_readable/6a2/ECOSYSTEM.a2ml @@ -8,3 +8,8 @@ ecosystem = "hyperpolymath" [position] type = "component" + +[relations] +relations = [ + { project = "proven-tests-and-benches", relation = "test-framework", detail = "grades proven's modules by three-tier provenance (Actually-/Provisionally-/Unproven) from proven's own MODULE-STATUS.txt + STATE.a2ml OWED ledger, without re-checking proofs. As-declared 4/37/47 reconciles with MODULE-STATUS; strict evidence-carrying grading reports 0 Actually-Proven (the 4 proof-bearing modules all carry OWED axioms). See that repo's integrations/proven and .machine_readable/6a2/ECOSYSTEM.a2ml." }, +]