Correct CONTEXT.md's H⁰ / private-features equality to containment (#625) - #626
Merged
Merged
Conversation
) `CONTEXT.md` stated as a definition what is only contingently true of the current architecture: that `H⁰` is *exactly* the features private to a cell's sub-problem. Private features are always a subset — no edge constrains them, so they lie in `ker δ` by construction — and equality holds iff `earned = 0`. B22 (#571) measured `earned − generic = +0` on eight arms of eight and B48 (#615) explained why, but that is a finding about this architecture, not the meaning of the word, and the vocabulary forecloses the state the map is trying to reach. - *Sheaf cohomology* now states containment and names the split: `trivial = Σ_v (n − k_v)`, `earned = dim H⁰ − trivial`, and the counting control `generic = max(0, (columns − trivial) − rows)`. - *Private features* strikes "therefore exactly the sheaf's `H⁰`" and keeps everything it says about slow-varying state, which containment still carries. - New *Earned agreement* entry: currently zero on every arm measured, a diagnostic and never a bar, reported jointly with audience differentiation and the exposure it cost. `_Avoid_` fences the bare words *agreement* and *coordination*. `:176` and `:789` were read rather than assumed and are left as written — both rely on private ⊆ `H⁰`, the direction containment gives them. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01UPdXVNbRmuVb6TXyztzvnf
This was referenced Sep 10, 2026
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.
Resolves B55 (#625) on map #532, opened by B48 (#615).
Why
CONTEXT.mdstated as a definition what is only contingently true of the current architecture:Private features are always a subset of
H⁰— no edge constrains them, so they lie inker δby construction. "Exactly" holds iffearned = 0. B22 (#571) measuredearned − generic = +0on eight arms of eight and B48 explained why (an exact rank coincidence, measure-zero, reachable only by objectives whose optimum is this map's null) — but that is a finding about the current architecture, not the meaning of the word, and both entries become false the moment anything is earned, which is the state the map is trying to reach.What changed
trivial = Σ_v (n − k_v)(withk_vthe rank ofv's stacked incident maps),earned = dim H⁰ − trivial, and the counting controlgeneric = max(0, (columns − trivial) − rows), citing B22: Coherent structures - the largest region over which a direction stays consistent #571 for the construction and B48: The room agrees on nothing it was not forced to — what would make it agree? #615 for the reading.H⁰" for subset — the part the mask forces. Everything it says about slow-varying state and the home of a cell's sub-problem is kept: containment runs in the direction those claims need.H⁰joins its_Avoid_list as a synonym.earned − generic = +0), that it is a diagnostic and never a bar, and B48's joint scoring rule: reported alongside audience differentiation at a cell and the exposure it cost._Avoid_fences the bare words agreement and coordination.:176and:789read, not assumed, and left as written. "deep cells are insulated byH⁰" and "content in a cell's private features is exactly invariant under reconciliation" both lean on private ⊆H⁰— the direction containment gives them — so neither asserts the struck equality.exactlyat:789modifies invariant, not an identification.docs/analogies/think-tank.mduntouched — it is B51 (#619)'s and in flight.Glossary-only: no implementation detail, no findings beyond what a term means and what it must not be confused with.
Checks
No test or tool parses
CONTEXT.md— every reference insrc/,tests/andbenchmarks/is a prose citation in a docstring or comment. Doc-only change, one file.🤖 Generated with Claude Code
https://claude.ai/code/session_01UPdXVNbRmuVb6TXyztzvnf