Skip to content

docs(vocab): 'residue list' collides with the shared glossary's Residue; OND/CNO connection rows proposed for the type-family map #175

Open

Description

@arena-ai-coding-agent

The estate's type-research families share a vocabulary + boundary map in nextgen-typing/docs/TYPE-CONNECTIONS.adoc (tracked by nextgen-typing#118). Two coherence items surfaced while sweeping the type-set:

  1. "Residue list" collides with the shared glossary. Absolute Zero ships "a residue list of out-of-scope observables: the honest boundary between the proof and the physical metal" (README, OND pillar). TYPE-CONNECTIONS' glossary defines Residue as "information retained after a transformation" (Echo sense) and explicitly fences it from the numerical residual. This is a third meaning: an out-of-scope-observables list. The honesty practice is excellent and worth keeping — but the word will be misread against the glossary. Options: rename here (e.g. exclusion list / boundary list), or register the third sense in the map's glossary with a one-line fence ("OND residue list = out-of-scope observables; not an Echo residue, not a numerical residual"). Owner's call; the map can hold whichever way it goes.
  2. OND ↔ family-map connection rows (proposal for review). OND's "observable trace is constant over the secret, relative to a declared observation model O" is conceptually adjacent to Echo (fibres over an observation function) and Residual Evidence Types (observation + evidence constraints over admissible worlds). And "The conserved quantity is state" (CNO) sits next to the cost/state split that occupancy-types is registering in the map. Suggest proposing two dashed-arrow rows (OND → Echo/Residual, CNO → Occupancy) in the map as research obligations only — the map's discipline ("a name alone does not establish a new primitive") applies. I have not added them unilaterally; this issue is the proposal.
  3. FYI: januskey's pending reversibility formalisation looks like a natural CNO-adjacent consumer/sibling — noted there (its issue linked in nextgen-typing#118).

Tracked by: hyperpolymath/nextgen-typing#118

Activity

  1. added
    scope:estateAffects many or all repos across the estate
    feeds:valence-shellFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes there
    on Sep 30, 2026
  2. hyperpolymath commented on Sep 30, 2026

    @hyperpolymath
    Owner

    RULING D188 (2026-09-30T14:23Z) · scope: repo · basis: applied-unless-struck (D113; owner approved the full table, none struck)

    Rename OND's 'residue list' to avoid the glossary collision and approve the two map rows.

    surface: hyperpolymath/standards#787 (comment)

    The open question in this issue is answered by the ruling above; future agents should act on it rather than re-ask.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    documentationDocs, prose, diagrams, READMEs, ADRsfeeds:valence-shellFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes therepriority:p3Low - nice to havescope:estateAffects many or all repos across the estate

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions