Align EDCM with gonol-native language architecture

CANON.md

@@ -27,6 +27,54 @@ The joint construction is intentionally reciprocal:
 
 This reciprocal loop is the intended meaning of **UCNS–EDCM canon**.
 
+## Gonol language boundary
+
+The stack's current language-object construction is gonol-native:
+
+```text
+Unicode character gonols
+        ↓
+fixed floor word gonols
+        ↓
+complete lexical floor F
+        ↓
+definitions expressed only with members of F
+        ↓
+floor-definition gonols
+```
+
+UCNS owns these language-object construction rules. Unicode character gonols are
+the primitive inscription objects. Once the lexical floor `F` is admitted, its
+floor definitions are closed over that floor:
+
+```text
+support(definition_gonol(word, sense)) ⊆ F
+```
+
+A definition that needs lexical material outside `F` is not a floor definition
+and does not expand the floor. The current path does not insert conventional NLP
+tokens, token IDs, subword pieces, or an opaque external embedding lookup.
+Arbitrary source definition text may remain provenance but is not itself a
+floor-definition gonol.
+
+A floor-definition gonol is intended to occupy the semantic-representation role
+for which conventional systems commonly use vector embeddings. That analogy
+establishes no semantic quality, metric behavior, equivalence, benchmark
+advantage, or downstream utility.
+
+EDCM may consume exact UCNS gonol identities and source-bound receipts only
+under an explicit consumer contract. Any EDCM scalar projection or measurement
+must separately declare its mapping and information loss. UCNS representation
+does not activate or validate EDCM measurement; EDCM outcomes do not validate
+UCNS semantics, proof status, or construction law.
+
+Historical EDCM experiment or profile surfaces may retain `token` and
+`word-gonol` terminology where those names are part of frozen evidence. Such
+terms do not create a tokenizer layer or redefine the current lexical primitive.
+Historical artifacts are not rewritten by this correction.
+
+See [`docs/GONOL_LANGUAGE_BOUNDARY.md`](docs/GONOL_LANGUAGE_BOUNDARY.md).
+
 ## Evidence states
 
 These states may not be collapsed:
@@ -65,6 +113,9 @@ The joint program currently retains four immutable evidence generations.
 - resolution horizon, peak, accumulated, and terminal state;
 - unit, token, occurrence, and dissonance support assignments.
 
+Here `token` is preserved as a frozen experimental support-unit label. It is not
+an active tokenizer or subword architecture in the gonol-native language path.
+
 ### v0.3 — assertion and local scope
 
 - assertion versus negation;
@@ -143,6 +194,16 @@ Where discourse graphs are involved, the experiment must additionally retain:
 - a canonical bundle identity across alternatives;
 - information loss for every graph projection.
 
+For new language-semantic experiments, the experiment must additionally retain:
+
+- the exact UCNS lexical-floor identity;
+- source-bound floor-definition-gonol receipt identities;
+- floor-closure verification for every admitted definition;
+- constituent order, multiplicity, sense, context, source, and provenance;
+- explicit failure on tokenizer, subword, opaque-vector, or out-of-floor substitution;
+- the EDCM projection and declared information loss separately from the UCNS representation; and
+- preregistered comparison criteria before semantic or downstream outcome inspection.
+
 Hypothesis failure is a valid experiment result and must not be converted into a build failure merely to preserve a preferred model.
 
 ## Non-transfer firewall
@@ -155,6 +216,7 @@ edcm_fit_implies_ucns_proof = false
 candidate_registration_implies_canon = false
 passing_development_fixtures_implies_canon = false
 majority_candidate_agreement_implies_truth = false
+definition_gonol_role_analogy_implies_embedding_efficacy = false
 NA_equals_zero = false
 ```
 
@@ -170,7 +232,9 @@ This phase may implement:
 - competing resolver and graph-projection policies;
 - positive unresolved-reference and alternative-bundle evidence;
 - reproducible reports and policy-preservation findings;
-- CI execution against an exact UCNS commit.
+- CI execution against an exact UCNS commit;
+- fail-closed consumer validation for future source-bound definition-gonol receipts; and
+- preregistered EDCM evaluations of those receipts once the upstream construction exists.
 
 This phase may not promote:
 
@@ -180,6 +244,9 @@ This phase may not promote:
 - canonical product character `M`;
 - canonical faithful breadth `B`;
 - canonical discourse resolver, relation vocabulary, or graph precedence;
+- arbitrary dictionary prose into a floor-definition gonol;
+- a tokenizer, subword vocabulary, or opaque vector lookup into the gonol-native language path;
+- definition-gonol role analogy into a claim of embedding replacement efficacy;
 - diagnosis, intention, morality, consciousness, or external truth claims;
 - a complete production `UCNSObject` or EDCM deployment contract.
 
@@ -195,6 +262,14 @@ python -m edcm.ucns_edcm_experiments_v4 \
 
 Every report is research evidence. No report is a canon file, and no report may be renamed or imported as one.
 
+For new semantic work, do not treat EDCM's existing arbitrary definition strings or historical word-profile outputs as completed floor-definition gonols. Consume the exact future UCNS producer receipt, freeze the EDCM mapping and falsifier, then evaluate.
+
 ## hmmm
 
-External holdout custody, independently authored graph annotations, human outcome labels, multilingual evidence, separate implementation replication, and the authority procedure for the first joint canon selection remain open.
+The exact UCNS relation/composition law for closed floor-definition gonols and
+the source/custody procedure for a complete closed definition set remain
+upstream unresolved boundaries. EDCM has not yet selected a lawful projection,
+metric, benchmark, or falsifier for evaluating that future representation.
+External holdout custody, independently authored graph annotations, human
+outcome labels, multilingual evidence, separate implementation replication, and
+the authority procedure for the first joint canon selection also remain open.

CLAUDE.md

@@ -8,11 +8,12 @@ This repository is the maintained Python package for the Energy–Dissonance Cir
 2. `codex-handoff/2026-07-12-stack-repair/COMPLETED_LOOKS_LIKE.md`
 3. `codex-handoff/2026-07-12-stack-repair/IMPLEMENTATION_STATUS.md`
 4. `README.md`
-5. `docs/integrity-gates.md`
-6. `docs/ucns-adapter.md`
-7. `docs/shared-stack-result.md`
-8. `docs/consolidation-edcmbone.md`
-9. `docs/codex_edcmucns_v031_handoff.md`
+5. `docs/GONOL_LANGUAGE_BOUNDARY.md`
+6. `docs/integrity-gates.md`
+7. `docs/ucns-adapter.md`
+8. `docs/shared-stack-result.md`
+9. `docs/consolidation-edcmbone.md`
+10. `docs/codex_edcmucns_v031_handoff.md`
 
 Unknown or unresolved facts are written `hmmm`, not guessed.
 
@@ -82,6 +83,51 @@ Preserve exact source statements, references, constraints, permitted interpretat
 
 Direct absence of `metapat` is typed unavailability. Transitive import errors, missing producer surfaces, unsupported schemas, invalid provenance, unknown fields, and wrong envelope types remain visible failures.
 
+## Gonol-native language architecture
+
+For current stack language work, UCNS owns this construction boundary:
+
+```text
+Unicode character gonols
+        ↓
+fixed floor word gonols
+        ↓
+complete lexical floor F
+        ↓
+definitions expressed only with members of F
+        ↓
+floor-definition gonols
+```
+
+Unicode character gonols are the primitive inscription objects. Once the
+lexical floor is admitted, floor definitions cannot enlarge it:
+
+```text
+support(definition_gonol(word, sense)) ⊆ F
+```
+
+Do not insert a conventional NLP tokenizer, token IDs, subword pieces, or an
+opaque external vector lookup between inscription and the gonol construction.
+Do not treat arbitrary dictionary definition prose as a completed
+floor-definition gonol. Source prose may remain custody/provenance evidence.
+
+A floor-definition gonol is intended to occupy the semantic-representation role
+for which conventional systems commonly use vector embeddings. This is a role
+analogy only. Do not promote it into semantic-quality, equivalence, similarity,
+benchmark-advantage, or downstream-utility claims without a separate frozen
+evaluation.
+
+EDCM owns neither lexical-floor membership nor UCNS character-, word-, or
+definition-gonol construction. EDCM may consume exact source-bound receipts and
+may separately define a measurement projection. UCNS representation does not
+activate EDCM measurement; EDCM results do not validate UCNS semantics or
+mathematics.
+
+The exact UCNS definition-gonol relation/composition law and the source/custody
+procedure for a complete closed definition set are still `hmmm`. Until the
+upstream producer exists, do not fabricate an EDCM semantic adapter by reusing
+arbitrary definition text or the historical word-profile schema.
+
 ## Exact EDCM UCNS observation profile
 
 EDCM owns the consumer adapter. UCNS owns the exact EDCM-only word-gonol
@@ -90,20 +136,28 @@ from merged UCNS v0.19 producer
 `a98c9e6c69804a8a08d0786b1d8b450bb2c49a97`, which includes the final
 integrity repairs.
 
+This is a sealed observation/replay producer epoch. Its names and options are
+preserved for reproducibility; they do not override the later gonol-native
+language architecture above. In particular, `smallest_gonol: word`,
+`token_alphabet`, `token_identity`, and token-record field names are frozen
+profile/schema vocabulary, not current ontology and not authorization for a
+tokenizer layer.
+
 The adapter activates only for `ucns.profile.edcm-word-gonol/0.2.0` with all
 fourteen fixed options, `source_domain=unicode-scalar-values`, the exact
 157-token public gonol digest, and the exact ordered 25-value pin behind
 `space_assignment=unicode-white-space-origin-v1`. Consume
 ordered `ucns_turns` as exact `(speaker_id, text)` tuples. Never infer speaker
 turns from a flattened transcript, sample a corpus, or normalize source text.
 
-Every word is a maximal sequence not assigned to carrier position zero. Each
-pinned Unicode SPACE manifestation is assigned to the public SPACE carrier at
-position zero and emitted as an explicit superpositioned nesting boundary.
-Source value/code point and carrier token/position are serialized separately,
-so tab, newline, and non-breaking space remain exact source witnesses. Each
-complete speaker turn has support one. True non-SPACE out-of-alphabet code
-points remain ordered positive evidence.
+Every word is a maximal sequence not assigned to carrier position zero under
+this pinned profile. Each pinned Unicode SPACE manifestation is assigned to the
+public SPACE carrier at position zero and emitted as an explicit
+superpositioned nesting boundary. Source value/code point and carrier
+token/position are serialized separately, so tab, newline, and non-breaking
+space remain exact source witnesses. Each complete speaker turn has support
+one. True non-SPACE out-of-alphabet code points remain ordered positive
+evidence.
 
 UCNS v0.19 also exposes a nonselected trace-local source-coordinate candidate
 over its fixed full producer demonstration. This adapter does not attach or
@@ -216,6 +270,8 @@ proof_status_transfers_to_measurement_validity = false
 - METAPAT semantic labels never become measured values merely by being named.
 - Deterministic transcript metrics do not establish diagnosis, intent, consciousness, external truth, or root ontology.
 - UCNS observation digests establish content identity, not signed producer authentication.
+- Historical `token` or `word-gonol` profile vocabulary never authorizes a tokenizer or overrides the current gonol-language boundary.
+- Arbitrary definition prose never substitutes for a source-bound closed floor-definition gonol.
 
 These frontier gates remain non-operational until their named falsifiers and tests exist:
 
@@ -242,6 +298,12 @@ The UCNS profile suite must prove:
 - package availability alone attaches no observation;
 - profile evidence never becomes geometry, factorization, theorem, or measurement validity.
 
+A future floor-definition-gonol consumer suite must additionally prove exact
+producer/floor identity, closure over `F`, source-bound replay, constituent
+order/multiplicity/sense/context/source provenance, and fail-closed rejection of
+out-of-floor words, arbitrary definition prose, tokenizer IDs, subwords, and
+opaque-vector substitution before any EDCM semantic evaluation runs.
+
 The full-stack fixture proves identity separation, deterministic measurement, `NA != 0`, fail-closed producer validation, canon/manifest epoch rotation, and no proof-status transfer.
 
 The integrity suite must include adversarial byte mutation, added/missing canon files, authority reversal, and no-fork identity checks.
@@ -265,8 +327,10 @@ Optional skips are explicit. Fake sibling implementations may test adversarial c
 
 Still unresolved:
 
+- exact UCNS closed floor-definition-gonol composition and source/custody procedure;
+- EDCM projection, metric, benchmark, and falsifier for future definition-gonol evaluation;
 - cryptographically signed UCNS producer or transport authentication;
 - mutation-level verification for the repository-wide CONTRACTS/CHECKS graph;
 - remaining historical L0/L1/L2/L3 split, P assignment, matrix wiring, bidirectional alerts, and Bridge-home decisions.
 
-These unresolveds do not reopen measurement authority, semantic-authority ownership, canonical evidence schemas, certification policy, integrity guarantees, or the proof-transfer firewall.
+These unresolveds do not reopen measurement authority, semantic-authority ownership, canonical evidence schemas, certification policy, integrity guarantees, lexical-floor closure, or the proof-transfer firewall.

README.md

@@ -6,7 +6,7 @@ The repository has three deliberately separate surfaces:
 
 1. **Frozen maintained baseline:** `edcm/measurement/`, preserved as candidate `edcm-measurement-v1` with byte-checked canon and provenance.
 2. **Experiment-first joint program:** reproducible UCNS–EDCM experiments that determine which structural and measurement candidates deserve later canon review.
-3. **Exact corpus-observation profile:** the optional EDCM-only UCNS word-gonol configuration used to expose incomplete assumptions against full real-system corpora.
+3. **Exact corpus-observation profile:** the optional pinned EDCM UCNS word-gonol configuration used to expose incomplete assumptions against full real-system corpora. It is an observation/replay surface, not the definition of the stack's current lexical primitive or semantic representation.
 
 The baseline is executable. It is not automatically the final UCNS–EDCM canon.
 
@@ -41,6 +41,41 @@ implemented v0.3.1 architecture layer, joint experiment candidates, controlled
 goal-vector candidate, and unresolved formal boundaries. A textbook or website
 may carry a source-pinned copy but is not the mathematical authority.
 
+## Gonol language boundary
+
+The current stack language path is gonol-native end to end:
+
+```text
+Unicode character gonols
+        ↓
+fixed floor word gonols
+        ↓
+complete lexical floor F
+        ↓
+definitions expressed only with members of F
+        ↓
+floor-definition gonols
+```
+
+Unicode character gonols are the primitive inscription objects. The admitted
+lexical floor is closed: a floor definition cannot add another word to the
+floor. New semantic construction therefore consumes existing floor word gonols;
+it does not insert a tokenizer, token IDs, subword pieces, or an opaque external
+vector lookup. Arbitrary source definition prose may be retained as provenance
+but is not itself a floor-definition gonol.
+
+The floor-definition gonol is intended to occupy the semantic-representation
+role for which conventional systems commonly use vector embeddings. That is a
+role analogy, not evidence of semantic quality, equivalence, benchmark
+advantage, or downstream utility.
+
+UCNS owns the gonol construction. EDCM may consume exact source-bound gonol
+identities and receipts and may later evaluate an explicitly declared
+measurement projection. UCNS representation does not activate or validate EDCM
+measurement, and EDCM results do not validate UCNS semantics or mathematics.
+
+See [`docs/GONOL_LANGUAGE_BOUNDARY.md`](docs/GONOL_LANGUAGE_BOUNDARY.md).
+
 ## First joint experiment
 
 The initial fixed corpus pressures four load-bearing distinctions:
@@ -58,6 +93,9 @@ It compares:
 - UCNS ordered, multiset, and set structural views;
 - noncanonical UCNS product-character and faithful-breadth candidate families.
 
+Here `token` names a frozen support unit in that historical experiment. It must
+not be read forward as a tokenizer layer in the current gonol language path.
+
 The experiment records supported, falsified, and errored hypotheses. A falsified hypothesis is valid research evidence and does not fail the build merely because a preferred candidate lost.
 
 ### Run locally
@@ -118,8 +156,10 @@ python -m edcm.goal_vector_experiment \
 ```
 
 This is controlled candidate-measured evidence, not empirical validation.
-METAPAT constraints, formal UCNS geometry, formal completion, higher-gonol
-composition, proof transfer, and canon selection remain absent.
+METAPAT constraints, formal UCNS geometry, formal completion, closed
+floor-definition-gonol construction, proof transfer, and canon selection were
+not part of this sealed experiment and are not retroactively supplied by the
+later language-boundary correction.
 
 ## First externally labelled booking-outcome holdout
 
@@ -193,7 +233,7 @@ METAPAT integration remains optional:
 python -m pip install -e .[dev,metapat]
 ```
 
-The exact word-gonol profile is also optional:
+The exact historical/replay word-gonol profile is also optional:
 
 ```bash
 python -m pip install -e .[dev,ucns-profile]
@@ -277,7 +317,8 @@ The shared-stack pipeline separates:
 
 - source evidence;
 - METAPAT semantic constraints;
-- exact UCNS word-gonol observations;
+- exact pinned UCNS word-gonol observations where historical/replay profiles are used;
+- future source-bound UCNS floor-definition-gonol receipts where explicitly integrated;
 - typed UCNS geometry and factorization absence;
 - EDCM policy and implementation provenance;
 - readouts;
@@ -305,9 +346,11 @@ Historical implementation, source packets, repair handoffs, and prior adapter co
 
 ## hmmm
 
-UCNS v0.19 supplies a nonselected trace-local source-coordinate candidate over
-its fixed full producer demonstration. This EDCM observation path does not
-attach or consume that candidate, and higher-gonol composition plus lawful projection
-into EDCM readouts remain open. The corrected MultiWOZ 2.1 SPACE-origin
-aggregate is sealed represented evidence, not measurement validity; true
-non-SPACE carrier coverage remains a separate hmmm.
+The current EDCM runtime still consumes the pinned word-gonol observation profile
+for its historical/replay paths; it does not yet consume a closed
+floor-definition-gonol producer. The exact UCNS definition-gonol
+relation/composition law and source-custody procedure remain upstream hmmm, and
+EDCM has not selected a lawful projection, metric, or benchmark for evaluating
+that future representation. The corrected MultiWOZ 2.1 SPACE-origin aggregate
+is sealed represented evidence, not measurement validity; true non-SPACE
+carrier coverage remains a separate hmmm.