docs: four-layer redesign rollout (regions, modality, echo, dyadic mode)#154
Closed
hyperpolymath wants to merge 2 commits into
Closed
docs: four-layer redesign rollout (regions, modality, echo, dyadic mode)#154hyperpolymath wants to merge 2 commits into
hyperpolymath wants to merge 2 commits into
Conversation
Implements PRESERVATION-DESIGN.md §12 rollout plan. All 16 files follow the verbatim draft text in §12.2 through §12.12 to keep voice consistent. Front door: - README.adoc — new "The four layers" section after "What this is"; L1/L2 cross-refs in the existing table; Soundness story admonition. - EXPLAINME.adoc — new "Claim: Sibling-safe region capabilities (L1)" and "Claim: Irreversibility residue is first-class (L3, planned)" sections after the existing Region-Based Memory claim. - docs/vision/EPHAPAX-VISION.adoc — new "The Dyad and the Layers" section between "The Dyad" and "One Language, One Feel". Roadmap + changelog: - ROADMAP.adoc — Preservation closure plan (~245 lines) SUPERSEDED by new "Four-layer redesign" section using §12.5 verbatim; new "Future research tracks" section with "Echo as operational foundation (v2)" seed entry from §12.16; dangling xrefs rewired to the new anchor. - CHANGELOG.md — three new subsections under [Unreleased]: Architecture (four-layer redesign), Proof/theory (verified counterexample), Docs (this PR). Sublanguage + metadata: - ephapax-linear/README.md — "Naming note" banner clarifying the crate implements both L2 modalities (Linear and Affine). - .machine_readable/6a2/STATE.a2ml — new @architecture block. - .machine_readable/6a2/META.a2ml — [project-meta.layers] table. - .machine_readable/6a2/ECOSYSTEM.a2ml — [theory-dependencies] + echo-types as related project. - .machine_readable/6a2/AGENTIC.a2ml — disambiguation table for the overlapping L/Linear/Affine name spaces. - .machine_readable/6a2/NEUROSYM.a2ml — preservation status updated to "closed-with-redesign-planned". - .machine_readable/6a2/PLAYBOOK.a2ml — operational rule: escalate to L1 redesign rather than patching with disjointness side conds. Normative spec: - spec/SPEC.md — new §0 "Preamble — The Four Disciplines"; §5.1 judgement form rewritten to R_in;G ⊢ e:T -| R_out;G'; §7.2 preservation theorem restated. - spec/ephapax-spec.md — "The Four Disciplines" section after Purpose; new §3.0 "Typing Judgment Shape (L1)" at top of PART 3. Homepage + topology: - site/index.md — new hero block with four-layer tagline + L1-L4 bullet list + design/vision/spec/roadmap link strip. - TOPOLOGY.md — new "Layer mapping" section with path → purpose → layer(s) table. CLAUDE.md update intentionally deferred — that file is on the docs/disambig-ephapax-vs-affinescript branch and will be updated when that lands. Cross-references to formal/PRESERVATION-DESIGN.md will resolve once PR #153 merges; both PRs are independent and the dangling-ref window is the auto-merge gap. Refs ephapax#153 (design + counterexample, auto-merge queued). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
# Conflicts: # .machine_readable/6a2/AGENTIC.a2ml # ROADMAP.adoc
hyperpolymath
added a commit
that referenced
this pull request
May 26, 2026
Adds the four-layer overview promised by PRESERVATION-DESIGN.md §12.8 (deferred from PR #154 because CLAUDE.md was on the disambig branch at the time). Now that the disambig PR has merged, this is the follow-on. - "The four orthogonal layers" — L1/L2/L3/L4 table with one-line questions an agent should ask to identify which layer a question touches. - Standing rule: if a fix needs a side condition on a compound typing rule, pause — four-layer threading should make that derivable. - Disambiguation reminder for the overlapping L/Linear/Affine names. - Reference TypingL1.v alongside Semantics.v as authoritative. - Note the legacy preservation closure plan is superseded. - Spell out the ephapax-affine proof debt bound (per §12.15). Refs ephapax#153. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
3 tasks
hyperpolymath
added a commit
that referenced
this pull request
May 27, 2026
## Summary Adds the four-layer overview promised by \`PRESERVATION-DESIGN.md §12.8\`, deferred from PR #154 because CLAUDE.md was on the disambig branch at the time. Now that the disambig PR has merged, this is the small follow-on. ## What's added to CLAUDE.md - **"The four orthogonal layers" section** — L1/L2/L3/L4 table with the one-line question an agent should ask to identify which layer their question touches. - **Standing rule** about not patching with sibling-region-disjointness side conditions; the four-layer threading should make that derivable. - **Disambiguation reminder** for the overlapping L/Linear/Affine name spaces. - **Updated standing reminders**: TypingL1.v authoritative alongside Semantics.v; legacy closure plan superseded; ephapax-affine proof debt bound spelled out (§12.15). ## Test plan - [x] CLAUDE.md edits applied cleanly, no other files touched - [ ] CI green - [ ] Review: layer-question phrasing matches §12.8 draft text Refs ephapax#153, ephapax#154, ephapax#152 (disambig PR that landed CLAUDE.md initially). 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Owner
Author
|
Closed in favour of #184 (just merged) — the consolidated past-present-future doctrine landing. This PR (#154) was filed 2026-05-26 against §12.2-§12.12 of an earlier PRESERVATION-DESIGN.md. The framing has since matured: the L3 ASCII diagram, the 3-superpower model, the explicit "Echo Types are NOT a tracing-GC replacement" caveat, and the per-sublanguage PROOF-NEEDS rewrite were not in §12 at the time #154 was drafted. The ROADMAP wording in #154 also contradicted the consolidated owner directive of 2026-05-27. #184 lands the canonical post-discovery doctrine. Any linguistically-safe file-additions from this PR that #184 doesn't cover (notably EXPLAINME.adoc, docs/vision/EPHAPAX-VISION.adoc, spec/SPEC.md, site/index.md, ephapax-linear/README.md, TOPOLOGY.md) can be ported in a smaller follow-up PR with the current framing — owner-greenlit. |
hyperpolymath
added a commit
that referenced
this pull request
May 27, 2026
…ADME banner + L3 diagram + .v signposts) (#184) ## Summary Single-PR landing of the orientation doctrine that prevents future sessions from "redoing the old stuff". Seven coordinated artefacts so the doctrine catches every reader at every entry point — human or machine. ## Files | Type | File | Purpose | |---|---|---| | NEW | `STATUS.adoc` | Single-page past / present / future map at repo root. The doc that answers "where are we?" with a top-of-document disambiguation banner (ephapax ≠ AffineScript). | | REWRITE | `PROOF-NEEDS.md` | Per-sublanguage proof debt audit, separated for ephapax-linear and ephapax-affine. Sections: done / todo / banned (6 anti-pattern categories) / counts. Replaces the prior version which still carried the pre-discovery legacy-preservation closure plan as viable. | | PATCH | `README.adoc` | Foundational-redesign-in-progress banner; replaces pre-discovery "12 admits / 910 closed" Coq narrative with post-discovery per-layer picture; adds "Three superpowers" section with the NOT-a-tracing-GC-replacement caveat; adds "What this enables" (GDPR / verified resource management / policy enforcement); doc-map updated. | | PATCH | `formal/PRESERVATION-DESIGN.md §6` | One-sentence anchor + ASCII diagram + 3-point explanation of L3 architecture (one type former, two observation disciplines, one-way Linear→Affine via degrade). | | BANNER | `formal/Semantics.v` | 🛑 ARCHAEOLOGY — do not extend | | BANNER | `formal/Typing.v` | 🛑 ARCHAEOLOGY — Counterexample.v depends on falsity | | BANNER | `formal/Semantics_L1.v` | ✅ ACTIVE — 9 admits are L2-integration debt | | BANNER | `formal/TypingL1.v` | ✅ ACTIVE — judgment 100%, modality-indexed | | BANNER | `formal/Modality.v` | ✅ ACTIVE — L2 (thin poset); L3 must not pattern-match | | BANNER | `formal/Echo.v` | ✅ ACTIVE — ONE type former; do not split LinearEcho/AffineEcho | | BANNER | `formal/Counterexample.v` | 📌 PINNED REGRESSION WITNESS — do not weaken | ## Disambiguation reinforced STATUS.adoc opens with a CAUTION callout aimed at both human + machine readers: Ephapax ≠ AffineScript; ephapax-affine (the sublanguage *inside* this repo) ≠ AffineScript. The lexical overlap of "affine" is a coincidence of substructural-logic terminology, not a project relationship. PROOF-NEEDS.md leads with the same disambiguation. The README's existing IMPORTANT callout is strengthened with the cross-repo lesson-warning. ## Safety envelope - No `.v` semantic changes. - No new `Admitted` or `Axiom` introduced. - No legacy code touched (`Semantics.v`, `Typing.v`) except top-of-file banner comments. - L1, L2, L3 calculi unchanged. - Counterexample.v unchanged. ## Closes This PR is the canonical post-discovery doctrine landing. It supersedes the in-flight #154 (filed 2026-05-26 with pre-consolidated framing). #154 will be closed in a follow-up after this lands; any unique linguistically-safe file-additions from #154 (`EXPLAINME.adoc`, `EPHAPAX-VISION.adoc`, `spec/SPEC.md`, `site/index.md`, `ephapax-linear/README.md`, `TOPOLOGY.md`) can be ported in a smaller follow-up with the current framing. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
auto-merge was automatically disabled
May 27, 2026 15:10
Pull request was closed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Documentation rollout for the four-layer typing redesign per
formal/PRESERVATION-DESIGN.md§12 (in PR #153). 16 files updated using verbatim draft text from §12.2 through §12.12.This PR does not change the implementation. It updates the documentation so the framing matches the verified counterexample + redesign that PR #153 documents.
Files
Front door
README.adoc— new "The four layers" section; L1/L2 cross-refs; Soundness story admonitionEXPLAINME.adoc— new L1 and L3-planned "Claim" sectionsdocs/vision/EPHAPAX-VISION.adoc— new "The Dyad and the Layers" sectionRoadmap + changelog
ROADMAP.adoc— Preservation closure plan (~245 lines) superseded by "Four-layer redesign"; new "Future research tracks" with "Echo as operational foundation (v2)" seedCHANGELOG.md— three new `[Unreleased]` subsectionsSublanguage + metadata
ephapax-linear/README.md— "Naming note" banner.machine_readable/6a2/{STATE,META,ECOSYSTEM,AGENTIC,NEUROSYM,PLAYBOOK}.a2mlNormative spec
spec/SPEC.md— new §0 preamble; §5.1 judgement form rewritten; §7.2 preservation restatedspec/ephapax-spec.md— new "Four Disciplines" + §3.0 judgment-shape sectionsHomepage + topology
site/index.md— new hero with L1–L4 bullet listTOPOLOGY.md— new "Layer mapping" tableCLAUDE.md update intentionally deferred (on `docs/disambig-ephapax-vs-affinescript` branch).
Cross-reference window
References to
formal/PRESERVATION-DESIGN.mdresolve once PR #153 merges. Auto-merge handles ordering.Test plan
Refs ephapax#153.
🤖 Generated with Claude Code