From 86c95b13274ebe3fe1b2a17f1d872d105fd0413f Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 9 Nov 2026 14:04:56 +0000 Subject: [PATCH 1/2] docs(readme): record ephapax as a design-reference-only relationship Add README section "Relationship to ephapax (design reference only)". ephapax uses anytype as a design reference only ("pick the algebra, get the discipline"). There is no code or build dependency in either direction, per the kernel ruling D-2026-10-12, and no soundness proof exists for the relationship. The source is the ephapax v2 survey's cross-repo action list. Add a matching CHANGELOG entry. Recorded in the README rather than ECOSYSTEM.a2ml, because A2ML is retired estate-wide. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01J4QvDjUNwStGwcKTtAQ3NY --- CHANGELOG.adoc | 4 ++++ README.adoc | 20 ++++++++++++++++++++ 2 files changed, 24 insertions(+) diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc index 0306966..55c6b59 100644 --- a/CHANGELOG.adoc +++ b/CHANGELOG.adoc @@ -24,6 +24,10 @@ explicit honesty notice that no working checker exists yet (the ==== Added +* `+README.adoc+` §"Relationship to ephapax (design reference only)": +ephapax uses anytype as a design reference only. There is no code or +build dependency (per the kernel ruling D-2026-10-12), and no soundness +proof exists for the relationship. * Instantiated identity descriptiles (CLADE/ECOSYSTEM/ANCHOR/STATE/META) and the AFFIRMATION honesty snapshot with the anytype identity and an honest early-stage status; ANCHOR pins systemet upstream. diff --git a/README.adoc b/README.adoc index f0e776f..567c63a 100644 --- a/README.adoc +++ b/README.adoc @@ -191,6 +191,26 @@ parameter (the L2 grade algebra), not a fixed feature set: * *AffineScript* is one *product profile* of this kernel (`grade = affine + cost`), aimed at WASM contracts and edge functions. It is downstream of anytype. +== Relationship to ephapax (design reference only) + +* link:https://github.com/hyperpolymath/ephapax[*ephapax*] uses anytype as a + *design reference only*: it borrows the idea "pick the algebra, get the + discipline". It is not a downstream profile of this kernel. +* There is *no code or build dependency* in either direction. ephapax does not + import, link, vendor or pin anytype, and anytype does not depend on ephapax. + This follows the estate kernel ruling (D-2026-10-12: Agda is the family proof + kernel and Idris2 is for ABI/runtime only; cross-kernel use is port plus + ledger, and nothing is imported across kernels). Under that ruling anytype + must not become an ephapax dependency. +* *No soundness proof exists for this relationship.* Nothing here or in ephapax + shows that ephapax's typing discipline is an instance of an anytype grade + algebra, or that any anytype result carries over to ephapax. ephapax's v2 plan + keeps its {0,1,ω} usage grades separate from an anytype-style single algebra, + and records its anytype row as UNVERIFIED. +* Source: the ephapax v2 survey, + link:https://github.com/hyperpolymath/ephapax/blob/main/docs/reports/2026-11-04-v2-survey/EPHAPAX-V2-ARCHITECTURE-AND-PLAN.adoc[`EPHAPAX-V2-ARCHITECTURE-AND-PLAN.adoc`] + ("How sibling repositories plug in" and "Cross-repo action list"). + == RSR integration This repository uses the Rhodium Standard Repository pattern: machine-readable From 5acc99388949847dab0d92898451971267669c78 Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 9 Nov 2026 14:17:59 +0000 Subject: [PATCH 2/2] fix(ci): install the ABI package from src/interface/abi.ipkg #55 moved abi.ipkg from the repo root to src/interface/, but the Justfile `test` recipe and the idris2-proof workflow still ran `idris2 --install abi.ipkg` from the root, which fails with "File Not Found". The workflow has failed on main since that commit (7329ceb, 2026-09-19). Both now install src/interface/abi.ipkg. Checked locally with Idris2 0.8.0 (the workflow pins 0.7.0): kernel and ABI install exit 0, anytype-tests 19/19 pass, check-cli.sh PASS, and check-idris2-proofs.sh PASS. The Zig seam step was not run here: the repo pins Zig 0.16.0, which this environment does not have. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01J4QvDjUNwStGwcKTtAQ3NY --- .github/workflows/idris2-proof.yml | 2 +- Justfile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/idris2-proof.yml b/.github/workflows/idris2-proof.yml index e8b034b..d365925 100644 --- a/.github/workflows/idris2-proof.yml +++ b/.github/workflows/idris2-proof.yml @@ -87,7 +87,7 @@ jobs: run: | set -euo pipefail idris2 --install anytype.ipkg - idris2 --install abi.ipkg + idris2 --install src/interface/abi.ipkg idris2 --build anytype-tests.ipkg ./build/exec/anytype-tests idris2 --build anytype-cli.ipkg diff --git a/Justfile b/Justfile index abae01e..74eb2c3 100644 --- a/Justfile +++ b/Justfile @@ -135,7 +135,7 @@ clean-all: clean test *args: @command -v idris2 >/dev/null || { echo "FAIL: idris2 not on PATH (install Idris2 0.7.0)"; exit 1; } idris2 --install anytype.ipkg - idris2 --install abi.ipkg + idris2 --install src/interface/abi.ipkg idris2 --build anytype-tests.ipkg ./build/exec/anytype-tests idris2 --build anytype-cli.ipkg