diff --git a/README.md b/README.md
index 06b84939..3efeb6c8 100644
--- a/README.md
+++ b/README.md
@@ -126,6 +126,14 @@ access boundaries are recorded in
 [`docs/EDCM_REAL_SYSTEM_CORPORA.md`](docs/EDCM_REAL_SYSTEM_CORPORA.md). No option
 dimension has a hidden global default.
 
+The authority-declared, option-preserving display proposal for the one-, two-,
+three-, and seven-gonol primitive range is recorded in
+[`docs/GONOL_RELATIONSHIP_DISPLAY_V1.md`](docs/GONOL_RELATIONSHIP_DISPLAY_V1.md),
+with a machine contract, receipt schema, and cross-repository stack manifest.
+Its registry integration, continuous Möbius geometry, seven-gonol construction,
+and embedding law remain explicit `hmmm`; publication of the proposal does not
+select them.
+
 ## Current implemented carrier candidates and relationship evidence
 
 The repository retains two implemented carrier candidates and an ordered
diff --git a/docs/GONOL_RELATIONSHIP_DISPLAY_V1.md b/docs/GONOL_RELATIONSHIP_DISPLAY_V1.md
new file mode 100644
index 00000000..27f4dddd
--- /dev/null
+++ b/docs/GONOL_RELATIONSHIP_DISPLAY_V1.md
@@ -0,0 +1,329 @@
+# UCNS gonol relationship-display contract v1
+
+**Authority:** Erin Spencer
+
+**Recorded:** 2026-08-03
+
+**Status:** authority-declared, option-preserving display proposal; registry integration pending
+
+**Machine contract:** [`gonol-relationship-display-v1.json`](gonol-relationship-display-v1.json)
+
+**Receipt schema:** [`gonol-relationship-receipt-v1.schema.json`](gonol-relationship-receipt-v1.schema.json)
+
+**Work graph:** [`gonol-relationship-display-stack-manifest-v1.json`](gonol-relationship-display-stack-manifest-v1.json)
+
+**Selection effect:** none
+
+This contract records the admitted one-, two-, three-, and seven-gonol display
+primitives and the evidence receipt needed to compare gonols without flattening
+their scale, source, order, or unresolved structure. It is a display and
+relationship boundary. It does not complete the missing UCNS assignment,
+higher-gonol composition, continuous Möbius motion, embedding, or completion
+laws.
+
+## I. Jurisdiction
+
+1. **The display is not the carrier.** A projected line, circle, lens, or
+   crossing is a view of retained UCNS evidence. It does not replace the
+   continuously twisted band-space or turn a drawing coordinate into a vertex.
+
+2. **The primitive range is plural.** The admitted primitive arities are:
+
+   - one: a single Möbius-gonol display;
+   - two: a vesica Möbius relationship display;
+   - three: a triquetra relationship display that retains all three vesicas;
+   - seven: a full-UCNS primitive whose display geometry and pairing plan remain
+     `hmmm`.
+
+   The range \(\{1,2,3,7\}\) is not a ladder in which a later primitive erases
+   an earlier one. No member is a hidden default, and none is inferred from the
+   number of available operands.
+
+3. **Space remains non-vertex.** The Möbius band is the space of the gonol. A
+   cut, seam, projected self-crossing, circle center, pairwise intersection, or
+   whitespace boundary does not instantiate a SPACE vertex or Structural Null.
+   Only possessed Unicode-character occurrences instantiate word-gonol
+   vertices.
+
+4. **Static projection does not complete motion.** A step-twist or parity view
+   may preserve the one-turn frame change and two-turn local return endpoints.
+   It does not preserve the continuously changing local view between them. Any
+   motion renderer must identify its frame law and version separately.
+
+5. **No authority transfer.** A website, SVG, screenshot, comparison table, or
+   receipt publication consumes this contract. It receives no authority to
+   canonize geometry, comparison, measurement, proof, embedding, or completion.
+
+|∆|The primitive records how gonols may be displayed together; it does not
+decide what a gonol ultimately is.|∆|
+
+## II. Exact operand identity and any-scale admission
+
+1. Every displayed operand retains:
+
+   - an occurrence-addressed `operand_id`;
+   - its own `gonol_id` and exact `source_identity`;
+   - a named, versioned content adapter and its digest when one exists;
+   - its untouched payload or a recoverable source reference;
+   - its declared `native_scale`;
+   - its retained-structure or trajectory reference when one exists;
+   - represented or candidate-measured evidence status; and
+   - its unresolved constraints.
+
+2. **Any scale may meet any scale.** Admission does not require equal native
+   scale, a shared unit, or a scalar rank. Native scale is an opaque, declared,
+   namespaced identity unless a separate scale law supplies more structure.
+
+3. **Display size is not native scale.** The vesica and triquetra use equalized
+   display radii so their relationship geometry remains legible. The renderer
+   must label this policy `relation-equalized/0.1.0`, retain every native scale,
+   and declare that visible radius has discarded native-scale magnitude.
+
+4. **Comparison is explicit.** Every admitted pair may be represented. A
+   numerical or structural comparison result exists only when the receipt names
+   the policy, version, parameters, standing, and information loss. No hidden
+   tolerance, equality, normalization, sorting, deduplication, or scale coercion
+   is allowed.
+
+5. Exact UTF-8 byte equality and exact ordered public-gonol occurrence equality
+   may be offered as named candidate projections. They are not canonical
+   structural equivalence and they do not infer geometric proximity.
+
+## III. Primitive one — single Möbius display
+
+1. A figure eight is an admitted projection of one Möbius circle:
+
+   \[
+   x(t)=\sin t,\qquad y(t)=\sin t\cos t,
+   \qquad 0\le t<2\pi.
+   \]
+
+2. The line is one continuous traversal. The projected crossing contains two
+   traversal occurrences at one screen coordinate; those occurrences are not
+   merged, and the crossing is not a second gonol, a vertex, a seam, or
+   Structural Null.
+
+3. The figure eight may carry all 157 Public Gonol addresses around one ordered
+   traversal. A word highlights only the character occurrences it possesses.
+   Repetitions retain occurrence order and multiplicity.
+
+4. The display must say `projection: figure-eight-centerline`. It must not claim
+   that a planar figure eight is itself a complete embedded Möbius band or that
+   its self-crossing proves the twist topology.
+
+## IV. Primitive two — vesica Möbius relationship
+
+1. Let the equalized operand centerline circles have radius \(r\) and centers
+   \((-r/2,0)\) and \((r/2,0)\). Their center distance is \(r\), so each
+   circumference passes through the other center.
+
+2. The two centerlines intersect at exactly two visible coordinate events:
+
+   \[
+   \left(0,\;\frac{\sqrt3}{2}r\right),\qquad
+   \left(0,\;-\frac{\sqrt3}{2}r\right).
+   \]
+
+   The vesica is the overlap region bounded between those events. A renderer
+   retains both complete operand circles and the complete lens; it does not
+   replace them with detached arcs.
+
+3. Two derived, concentric display layers complete the declared construction:
+
+   - the **scope circle**, centered at the operand midpoint with radius
+     \(3r/2\), is the smallest midpoint-centered circle enclosing both operand
+     disks;
+   - the **relationship circle**, centered at the same midpoint with radius
+     \(r/2\), lies wholly inside the vesica and is tangent to both operand
+     centerlines along the line of centers.
+
+4. The scope and relationship circles do not increment primitive arity. They
+   are derived display layers, not implicit operands, vertices, gonols, or
+   Structural Null. Whether a later construction promotes either layer into a
+   gonol requires an explicit receipt.
+
+5. Primitive two owns exactly one occurrence-addressed pairwise receipt. Left
+   and right sidedness remain explicit even when the visible construction is
+   symmetric.
+
+## V. Primitive three — triquetra with retained vesicas
+
+1. Let three equalized centerline circles of radius \(r\) have centers
+
+   \[
+   A=\left(-\frac r2,-\frac{\sqrt3}{6}r\right),\quad
+   B=\left( \frac r2,-\frac{\sqrt3}{6}r\right),\quad
+   C=\left(0,\frac{\sqrt3}{3}r\right).
+   \]
+
+   Every pair of centers is distance \(r\). Each pair therefore remains a full
+   vesica construction.
+
+2. Primitive three retains three distinct pairwise relationship receipts in
+   operand order:
+
+   1. \(A\leftrightarrow B\);
+   2. \(B\leftrightarrow C\);
+   3. \(C\leftrightarrow A\).
+
+3. Each pair retains both complete circles, its lens, its two intersection
+   occurrences, and—when requested—its own scope and relationship circles from
+   Section IV. Coordinates shared with a third center do not merge occurrence
+   identity.
+
+4. The central three-way overlap is joint context. It is not a fourth pair,
+   fourth gonol, or new vertex unless a later construction explicitly promotes
+   it and records that decision.
+
+5. A stylized three-lobed triquetra outline may be shown as a linked projection,
+   but it cannot replace the three recoverable vesica receipts.
+
+|∆|The triquetra adds a joint view while every vesica continues to exist.|∆|
+
+## VI. Primitive seven — retained without guessed geometry
+
+1. Seven is admitted beside one, two, and three as a full-UCNS primitive.
+
+2. This contract does not choose:
+
+   - seven-circle placement;
+   - which pairs meet;
+   - whether pairwise receipts are complete, selected, cyclic, epicyclic, or
+     differently composed;
+   - a seven-way scope or relationship circle; or
+   - a center, crossing, or overlap as an extra gonol.
+
+3. A conforming renderer may accept and retain seven exact operand identities,
+   but it must display the geometry as `hmmm-unresolved` until a pairing plan and
+   construction law are declared. It must not silently substitute the flower of
+   life, a heptagon, a complete graph, or another familiar seven-form.
+
+## VII. Public Gonol occurrence-address vectors
+
+1. The Public Gonol remains the exact 157-position Unicode code-point carrier
+   pinned in the machine contract. Its position index is an address, not a
+   derived geometric coordinate.
+
+2. For exact source text \(c_0c_1\ldots c_{n-1}\), the proposed display vector
+   for a possessed non-SPACE occurrence is:
+
+   \[
+   a_j=(j,\operatorname{ord}(c_j),p(c_j)),
+   \]
+
+   where \(j\) is source occurrence order, `ord` is the Unicode scalar value,
+   and \(p\) is the exact Public Gonol position when assigned.
+
+3. This vector is identity-and-address evidence only. It is not the missing
+   hyperdimensional embedding or source-to-geometric-coordinate law.
+
+4. Source processing is fail-closed and preserves:
+
+   - exact Unicode scalar values without normalization or case folding;
+   - repeated occurrences in source order;
+   - profile-pinned SPACE manifestations as non-vertex word boundaries and
+     superpositioned nesting interfaces; and
+   - non-SPACE carrier-unassigned scalars as positive coverage-failure evidence
+     with `carrier_position: null`.
+
+5. A full English lexical-floor artifact requires a separately admitted and
+   completed lexical source, root policy, exact corpus receipt, and embedding
+   law. This display contract neither claims nor fabricates that completion.
+
+## VIII. Relationship receipt
+
+1. The receipt schema is
+   `ucns.gonol-relationship-receipt/0.1.0`.
+
+2. A receipt contains the primitive arity, ordered operands, equalized display
+   policy, occurrence-addressed pairwise receipts, optional joint context,
+   provenance, evidence status, losses, and `hmmm` boundaries.
+
+3. Required pairwise counts are:
+
+   - primitive one: zero;
+   - primitive two: one;
+   - primitive three: three in the declared order;
+   - primitive seven: no inferred count; an explicit pairing plan is required.
+
+4. A pairwise record contains untouched left and right operand references. A
+   result may be `represented-evidence` without a comparison outcome. If a
+   comparison exists, it records its policy, version, standing, parameters,
+   outcome, evidence, and losses.
+
+5. A digest identifies content under its named adapter. It is neither geometry
+   nor a cryptographic producer signature.
+
+## IX. Publication-consumer contract
+
+1. A website consumer pins the exact UCNS commit, path, Git blob, and SHA-256 of
+   the machine contract. It does not fetch `main` at runtime.
+
+2. The static page remains useful without JavaScript by publishing the primitive
+   range, source identities, Public Gonol fixture, scale boundary, and unresolved
+   seven-form.
+
+3. JavaScript may enhance the static page with:
+
+   - primitive selection;
+   - exact operand entry;
+   - occurrence-address vectors;
+   - figure-eight, vesica, and triquetra SVG projections;
+   - explicit candidate comparison policies; and
+   - downloadable or copyable relationship receipts.
+
+4. Every substantive displayed text field and generated receipt receives one
+   copy action. Form controls retain ordinary keyboard copy behavior.
+
+5. The consumer must expose the equalized-radius loss, native scales, source
+   identities, evidence standing, comparison policy, and all `hmmm` fields near
+   the visualization.
+
+## Work graph
+
+- `The-Interdependency/ucns@a98c9e6c69804a8a08d0786b1d8b450bb2c49a97`
+  — UCNS representation and option-standing authority — producer and edit owner.
+- `The-Interdependency/a0-betatest@7af8debf6ef3905f01baff02b43d8c3bee16ccbc`
+  — historical exact Public Gonol source — immutable evidence source.
+- `The-Interdependency/skill-lib@2b24be24947223b86440f59f1bd9766130f9cc11`
+  — reusable build and evidence discipline — build-doctrine source.
+- `The-Interdependency/The-Interdependency.github.io@39d237f097948da251ba55de9d24ad6c49f81132`
+  — public presentation and accessibility behavior — publication consumer.
+
+## Edit ownership
+
+- UCNS owns this contract, the machine primitive data, and receipt schema.
+- A website owns only interaction, accessibility, static fallback, and rendering
+  of a commit-pinned copy.
+- A lexical corpus or embedding producer must own its source admission,
+  completion receipt, root policy, and generated embedding artifacts.
+
+## Cross-repository boundaries
+
+- Semantic, mathematical, proof, certification, measurement, and empirical
+  standing do not transfer through publication.
+- The machine contract digest is identity evidence, not producer
+  authentication.
+- A dependent website PR remains draft until the producer contract is available
+  at the exact pinned commit.
+
+## Validation
+
+- Recompute the stack-manifest work-graph digest.
+- Validate the machine contract and receipt schema as strict JSON.
+- Recompute the Public Gonol arity, uniqueness, source-compatible SHA-256, SPACE
+  origin, and digit-zero position.
+- Run UCNS skill-lib contract verification, tests, package build, and Twine
+  checks before claiming `test-backed` status.
+- Run the website's static build, source tests, browser tests, accessibility
+  tests, and a cross-repository machine-contract drift check.
+
+## hmmm
+
+The primitive range is recorded, but the continuous band geometry, moving local
+frame, seven-gonol layout and pairing plan, promotion rules for derived scope or
+relationship circles, cross-scope higher-gonol composition, complete English
+root policy, and hyperdimensional embedding law remain unresolved. The lawful
+next step after this display boundary is not to guess those forms; it is to give
+each one an explicit producer, version, evidence packet, and falsifiable
+contract.
diff --git a/docs/gonol-relationship-display-stack-manifest-v1.json b/docs/gonol-relationship-display-stack-manifest-v1.json
new file mode 100644
index 00000000..5b494f53
--- /dev/null
+++ b/docs/gonol-relationship-display-stack-manifest-v1.json
@@ -0,0 +1,44 @@
+{
+  "schema": "the-interdependency.stack-manifest",
+  "version": "1.0.0",
+  "work_graph_sha256": "cb642cb5cbde47d456f6c512448e557686530eb41f77b21543b3dba955d1f1da",
+  "repositories": [
+    {
+      "repository": "The-Interdependency/ucns",
+      "commit": "cfad06cf41bd1cc82861f08f6076f0d398a0089b",
+      "authority": "UCNS mathematical representation, option standing, and relationship-display contract",
+      "relation": "producer and edit owner"
+    },
+    {
+      "repository": "The-Interdependency/a0-betatest",
+      "commit": "7af8debf6ef3905f01baff02b43d8c3bee16ccbc",
+      "authority": "historical exact public-gonol-157 source fixture",
+      "relation": "immutable evidence source"
+    },
+    {
+      "repository": "The-Interdependency/skill-lib",
+      "commit": "2b24be24947223b86440f59f1bd9766130f9cc11",
+      "authority": "reusable build and evidence discipline",
+      "relation": "build-doctrine source"
+    },
+    {
+      "repository": "The-Interdependency/The-Interdependency.github.io",
+      "commit": "39d237f097948da251ba55de9d24ad6c49f81132",
+      "authority": "public presentation and accessibility behavior",
+      "relation": "publication consumer and later edit target"
+    }
+  ],
+  "boundaries": {
+    "authority_transfer": false,
+    "proof_status_transfer": false,
+    "measurement_status_transfer": false,
+    "semantic_mapping": "declared mapping",
+    "agent_scope": "cross-repository-work-graph",
+    "hmmm": [
+      "Seven-gonol display geometry and pairing plan are unresolved.",
+      "Continuous Mobius perspective motion is not implemented by the static projections.",
+      "The English lexical-floor materialization is incomplete and outside this display contract.",
+      "Content identities do not authenticate producer transport."
+    ]
+  }
+}
diff --git a/docs/gonol-relationship-display-v1.json b/docs/gonol-relationship-display-v1.json
new file mode 100644
index 00000000..fdb94ff8
--- /dev/null
+++ b/docs/gonol-relationship-display-v1.json
@@ -0,0 +1,140 @@
+{
+  "schema_id": "ucns.gonol-relationship-display",
+  "schema_version": "0.1.0",
+  "authority": "Erin Spencer",
+  "recorded_on": "2026-08-03",
+  "record_status": "authority-declared-option-preserving-proposal",
+  "selection_effect": "none",
+  "primitive_arities": [1, 2, 3, 7],
+  "scale_contract": {
+    "admission": "any-declared-native-scale",
+    "display_policy_id": "ucns.display.relation-equalized",
+    "display_policy_version": "0.1.0",
+    "display_radius": 1,
+    "native_scale_retained": true,
+    "visible_radius_represents_native_scale": false,
+    "comparison_policy_default": null,
+    "comparison_policy_required_for_result": true,
+    "information_loss": [
+      "native-scale magnitude is not encoded by visible radius",
+      "continuous Mobius band width and local-frame motion are not encoded by the centerline projection"
+    ]
+  },
+  "primitives": [
+    {
+      "arity": 1,
+      "primitive_id": "single-mobius",
+      "projection_id": "figure-eight-centerline",
+      "operand_count": 1,
+      "pairwise_receipt_count": 0,
+      "geometry_standing": "declared-static-projection",
+      "path": {
+        "parameter": "t in [0, 2*pi)",
+        "x": "sin(t)",
+        "y": "sin(t)*cos(t)"
+      },
+      "crossing_semantics": "two traversal occurrences at one projected coordinate; not a vertex, seam, second gonol, or Structural Null",
+      "continuous_frame_required_for_motion": true
+    },
+    {
+      "arity": 2,
+      "primitive_id": "vesica-mobius",
+      "projection_id": "equal-circle-vesica-piscis",
+      "operand_count": 2,
+      "pairwise_receipt_count": 1,
+      "geometry_standing": "declared-static-projection",
+      "operand_radius": 1,
+      "centers": [
+        {"operand_slot": "A", "x_exact": "-1/2", "y_exact": "0", "x_binary64": -0.5, "y_binary64": 0},
+        {"operand_slot": "B", "x_exact": "1/2", "y_exact": "0", "x_binary64": 0.5, "y_binary64": 0}
+      ],
+      "center_distance": 1,
+      "visible_boundary_intersections": 2,
+      "intersection_points_exact": [
+        {"x": "0", "y": "sqrt(3)/2"},
+        {"x": "0", "y": "-sqrt(3)/2"}
+      ],
+      "pairwise_vesicas": [["A", "B"]],
+      "scope_circle": {"center": "operand midpoint", "radius": 1.5},
+      "relationship_circle": {"center": "operand midpoint", "radius": 0.5},
+      "derived_circle_semantics": "display layers only; no implicit operand, gonol, vertex, or Structural Null promotion"
+    },
+    {
+      "arity": 3,
+      "primitive_id": "triquetra-retained-vesicas",
+      "projection_id": "equilateral-three-circle-triquetra",
+      "operand_count": 3,
+      "pairwise_receipt_count": 3,
+      "geometry_standing": "declared-static-projection",
+      "operand_radius": 1,
+      "centers": [
+        {"operand_slot": "A", "x_exact": "-1/2", "y_exact": "-sqrt(3)/6", "x_binary64": -0.5, "y_binary64": -0.28867513459481287},
+        {"operand_slot": "B", "x_exact": "1/2", "y_exact": "-sqrt(3)/6", "x_binary64": 0.5, "y_binary64": -0.28867513459481287},
+        {"operand_slot": "C", "x_exact": "0", "y_exact": "sqrt(3)/3", "x_binary64": 0, "y_binary64": 0.5773502691896257}
+      ],
+      "pairwise_vesicas": [["A", "B"], ["B", "C"], ["C", "A"]],
+      "each_vesica_retained": true,
+      "coordinate_coincidences_merge_occurrences": false,
+      "joint_overlap_semantics": "joint context; not an implicit fourth pair, gonol, or vertex"
+    },
+    {
+      "arity": 7,
+      "primitive_id": "full-ucns-seven",
+      "projection_id": null,
+      "operand_count": 7,
+      "pairwise_receipt_count": null,
+      "geometry_standing": "hmmm-unresolved",
+      "pairing_plan_required": true,
+      "forbidden_implicit_substitutions": ["flower-of-life", "heptagon", "complete-graph", "seven-circle-rosette"]
+    }
+  ],
+  "public_gonol": {
+    "id": "public-gonol-157",
+    "arity": 157,
+    "token_identity": "unicode-code-point",
+    "source_repository": "The-Interdependency/a0-betatest",
+    "source_commit": "7af8debf6ef3905f01baff02b43d8c3bee16ccbc",
+    "source_path": "backend/interdependent_lib/gonal/gonal.py",
+    "sha256": "55d10c84529a4d7bc7714786357e977b68d9df2ac3f73d20e229580b552c2ef5",
+    "origin_position": 0,
+    "origin_token": " ",
+    "digit_zero_position": 139,
+    "normalization": "none-preserve-source",
+    "space_manifestation_code_points": [
+      "U+0009", "U+000A", "U+000B", "U+000C", "U+000D", "U+0020", "U+0085", "U+00A0",
+      "U+1680", "U+2000", "U+2001", "U+2002", "U+2003", "U+2004", "U+2005", "U+2006",
+      "U+2007", "U+2008", "U+2009", "U+200A", "U+2028", "U+2029", "U+202F", "U+205F", "U+3000"
+    ],
+    "space_semantics": "source-preserved boundary and superpositioned nesting interface; not a word-gonol vertex",
+    "occurrence_address_vector": ["source_ordinal", "unicode_scalar_value", "carrier_position_or_null"],
+    "vector_standing": "identity-and-address-evidence-not-geometric-embedding",
+    "tokens": [
+      " ", "A", "!", "\"", "B", "#", "$", "C", "%", "(", "D", "&", "'", "E", "1", "*",
+      "F", "+", "[", "G", ",", "-", "H", ".", "/", "I", "3", "{", "J", ":", ";", "K",
+      "=", "?", "L", "<", "@", "M", "5", "\\", "N", "^", "_", "O", "‘", "`", "P", "|",
+      "~", "Q", "7", "…", "R", "“", "—", "S", "–", "·", "T", "°", "«", "U", "9", "±",
+      "V", "×", "÷", "W", "√", "∂", "X", "∫", "∑", "Y", "∏", "∇", "Z", "∞", "≈", "≠",
+      "a", "≤", "≥", "b", "→", "←", "c", ")", "↑", "d", "↓", "2", "e", "↔", "⊕", "f",
+      "]", "⊗", "g", "⊙", "⊘", "h", "∈", "4", "i", "}", "∉", "j", "⊂", "⊃", "k", "⊆",
+      ">", "l", "⊇", "6", "m", "∩", "∪", "n", "∧", "’", "o", "∨", "¬", "p", "∀", "8",
+      "q", "∃", "”", "r", "⊢", "⊨", "s", "∴", "∵", "t", "»", "0", "u", "≡", "ψ", "v",
+      "φ", "ω", "w", "α", "β", "x", "γ", "δ", "y", "λ", "π", "z", "σ"
+    ]
+  },
+  "receipt_schema": "ucns.gonol-relationship-receipt/0.1.0",
+  "nonclaims": [
+    "not a complete UCNSObject",
+    "not a selected Mobius embedding or continuous motion law",
+    "not canonical structural or numerical comparison",
+    "not a higher-gonol composition law",
+    "not a completed English lexical-floor embedding",
+    "not proof, measurement, empirical, certification, or producer-authentication evidence"
+  ],
+  "hmmm": [
+    "continuous local-frame geometry across the Mobius band",
+    "seven-gonol display geometry and pairing plan",
+    "promotion law for derived scope or relationship circles",
+    "cross-scope and higher-gonol composition",
+    "English root policy, lexical source completion, and hyperdimensional embedding law"
+  ]
+}
diff --git a/docs/gonol-relationship-receipt-v1.schema.json b/docs/gonol-relationship-receipt-v1.schema.json
new file mode 100644
index 00000000..569ff5ce
--- /dev/null
+++ b/docs/gonol-relationship-receipt-v1.schema.json
@@ -0,0 +1 @@
+{"$schema":"https://json-schema.org/draft/2020-12/schema","$id":"https://theinterdependentway.org/schemas/ucns/gonol-relationship-receipt-v1.schema.json","title":"UCNS gonol relationship receipt","description":"Option-preserving evidence receipt for the declared one-, two-, three-, and seven-gonol display primitives.","type":"object","additionalProperties":false,"required":["schema_id","schema_version","receipt_id","primitive_arity","operands","display_policy","pairing_plan","pairwise_receipts","joint_context","evidence_status","candidate_identity","provenance","non_transfer","information_loss","hmmm"],"properties":{"schema_id":{"const":"ucns.gonol-relationship-receipt"},"schema_version":{"const":"0.1.0"},"receipt_id":{"type":"string","minLength":1},"primitive_arity":{"enum":[1,2,3,7]},"operands":{"type":"array","minItems":1,"maxItems":7,"items":{"$ref":"#/$defs/operand"}},"display_policy":{"$ref":"#/$defs/displayPolicy"},"pairing_plan":{"$ref":"#/$defs/pairingPlan"},"pairwise_receipts":{"type":"array","items":{"$ref":"#/$defs/pairwiseReceipt"}},"joint_context":{"oneOf":[{"type":"null"},{"type":"object","additionalProperties":false,"required":["standing","evidence","promoted_to_gonol"],"properties":{"standing":{"enum":["represented-evidence","hmmm-unresolved"]},"evidence":{"type":"array","items":{"type":"string","minLength":1},"uniqueItems":true},"promoted_to_gonol":{"const":false}}}]},"evidence_status":{"enum":["represented-evidence","candidate-measured-evidence"]},"candidate_identity":{"oneOf":[{"type":"null"},{"$ref":"#/$defs/candidateIdentity"}]},"provenance":{"type":"object","additionalProperties":false,"required":["contract_repository","contract_commit","contract_path","contract_blob","contract_sha256","producer_authenticated","consumer_reference"],"properties":{"contract_repository":{"const":"The-Interdependency/ucns"},"contract_commit":{"type":"string","pattern":"^[0-9a-f]{40}$"},"contract_path":{"const":"docs/gonol-relationship-display-v1.json"},"contract_blob":{"type":"string","pattern":"^[0-9a-f]{40}$"},"contract_sha256":{"type":"string","pattern":"^[0-9a-f]{64}$"},"producer_authenticated":{"const":false},"consumer_reference":{"type":["string","null"]}}},"non_transfer":{"$ref":"#/$defs/nonTransfer"},"information_loss":{"type":"array","minItems":2,"uniqueItems":true,"items":{"type":"string","minLength":1},"allOf":[{"contains":{"const":"native-scale magnitude is not encoded by visible radius"},"minContains":1},{"contains":{"const":"continuous Mobius band width and local-frame motion are not encoded by the centerline projection"},"minContains":1}]},"hmmm":{"type":"array","minItems":5,"uniqueItems":true,"items":{"type":"string","minLength":1},"allOf":[{"contains":{"const":"continuous local-frame geometry across the Mobius band"},"minContains":1},{"contains":{"const":"seven-gonol display geometry and pairing plan"},"minContains":1},{"contains":{"const":"promotion law for derived scope or relationship circles"},"minContains":1},{"contains":{"const":"cross-scope and higher-gonol composition"},"minContains":1},{"contains":{"const":"English root policy, lexical source completion, and hyperdimensional embedding law"},"minContains":1}]}},"allOf":[{"if":{"properties":{"primitive_arity":{"const":1}},"required":["primitive_arity"]},"then":{"properties":{"operands":{"minItems":1,"maxItems":1,"prefixItems":[{"$ref":"#/$defs/operandA"}],"items":false},"pairing_plan":{"properties":{"plan_id":{"const":"ucns.pairing.none-one"},"standing":{"const":"declared-static-projection"},"pairs":{"minItems":0,"maxItems":0,"items":false}}},"pairwise_receipts":{"minItems":0,"maxItems":0,"items":false},"joint_context":{"type":"null"}}}},{"if":{"properties":{"primitive_arity":{"const":2}},"required":["primitive_arity"]},"then":{"properties":{"operands":{"minItems":2,"maxItems":2,"prefixItems":[{"$ref":"#/$defs/operandA"},{"$ref":"#/$defs/operandB"}],"items":false},"pairing_plan":{"properties":{"plan_id":{"const":"ucns.pairing.vesica-two"},"standing":{"const":"declared-static-projection"},"pairs":{"minItems":1,"maxItems":1,"items":false,"prefixItems":[{"const":["A","B"]}]}}},"pairwise_receipts":{"minItems":1,"maxItems":1,"items":false,"prefixItems":[{"$ref":"#/$defs/pairAB"}]},"joint_context":{"type":"null"}}}},{"if":{"properties":{"primitive_arity":{"const":3}},"required":["primitive_arity"]},"then":{"properties":{"operands":{"minItems":3,"maxItems":3,"prefixItems":[{"$ref":"#/$defs/operandA"},{"$ref":"#/$defs/operandB"},{"$ref":"#/$defs/operandC"}],"items":false},"pairing_plan":{"properties":{"plan_id":{"const":"ucns.pairing.triquetra-three"},"standing":{"const":"declared-static-projection"},"pairs":{"minItems":3,"maxItems":3,"items":false,"prefixItems":[{"const":["A","B"]},{"const":["B","C"]},{"const":["C","A"]}]}}},"pairwise_receipts":{"minItems":3,"maxItems":3,"items":false,"prefixItems":[{"$ref":"#/$defs/pairAB"},{"$ref":"#/$defs/pairBC"},{"$ref":"#/$defs/pairCA"}]}}}},{"if":{"properties":{"primitive_arity":{"const":7}},"required":["primitive_arity"]},"then":{"properties":{"operands":{"minItems":7,"maxItems":7,"prefixItems":[{"$ref":"#/$defs/operandA"},{"$ref":"#/$defs/operandB"},{"$ref":"#/$defs/operandC"},{"$ref":"#/$defs/operandD"},{"$ref":"#/$defs/operandE"},{"$ref":"#/$defs/operandF"},{"$ref":"#/$defs/operandG"}],"items":false},"pairing_plan":{"properties":{"plan_id":{"const":"ucns.pairing.full-seven-unresolved"},"standing":{"const":"hmmm-unresolved"},"pairs":{"minItems":0,"maxItems":0,"items":false}}},"pairwise_receipts":{"minItems":0,"maxItems":0,"items":false},"joint_context":{"type":"null"}}}},{"if":{"properties":{"evidence_status":{"const":"represented-evidence"}},"required":["evidence_status"]},"then":{"properties":{"candidate_identity":{"type":"null"},"operands":{"items":{"properties":{"evidence_status":{"const":"represented-evidence"}}}},"pairwise_receipts":{"items":{"properties":{"relationship_status":{"const":"represented-evidence"}}}}}}},{"if":{"properties":{"evidence_status":{"const":"candidate-measured-evidence"}},"required":["evidence_status"]},"then":{"properties":{"candidate_identity":{"$ref":"#/$defs/candidateIdentity"}}}},{"if":{"anyOf":[{"properties":{"operands":{"contains":{"properties":{"evidence_status":{"const":"candidate-measured-evidence"}},"required":["evidence_status"]}}}},{"properties":{"pairwise_receipts":{"contains":{"properties":{"relationship_status":{"const":"candidate-measured-evidence"}},"required":["relationship_status"]}}}}]},"then":{"properties":{"evidence_status":{"const":"candidate-measured-evidence"},"candidate_identity":{"$ref":"#/$defs/candidateIdentity"}}}}],"$defs":{"operand":{"type":"object","additionalProperties":false,"required":["operand_slot","operand_id","gonol_id","occurrence_ordinal","source_identity","content_adapter","content_digest","native_scale","payload_reference","evidence_status","hmmm"],"properties":{"operand_slot":{"enum":["A","B","C","D","E","F","G"]},"operand_id":{"type":"string","minLength":3},"gonol_id":{"type":"string","minLength":1},"occurrence_ordinal":{"type":"integer","minimum":0},"source_identity":{"type":"string","minLength":1},"content_adapter":{"type":"object","additionalProperties":false,"required":["name","version"],"properties":{"name":{"type":"string","minLength":1},"version":{"type":"string","minLength":1}}},"content_digest":{"oneOf":[{"type":"null"},{"type":"string","pattern":"^[0-9a-f]{64}$"}]},"native_scale":{"type":"object","additionalProperties":false,"required":["scale_id","declaration","numeric_rank"],"properties":{"scale_id":{"type":"string","minLength":1},"declaration":{"type":"string","minLength":1},"numeric_rank":{"const":null}}},"payload_reference":{"type":"string","minLength":1},"retained_structure_reference":{"type":["string","null"]},"trajectory_reference":{"type":["string","null"]},"evidence_status":{"enum":["represented-evidence","candidate-measured-evidence"]},"hmmm":{"type":"array","minItems":1,"uniqueItems":true,"items":{"type":"string","minLength":1}}}},"operandA":{"allOf":[{"$ref":"#/$defs/operand"},{"properties":{"operand_slot":{"const":"A"},"operand_id":{"type":"string","pattern":"^A:.+"}}}]},"operandB":{"allOf":[{"$ref":"#/$defs/operand"},{"properties":{"operand_slot":{"const":"B"},"operand_id":{"type":"string","pattern":"^B:.+"}}}]},"operandC":{"allOf":[{"$ref":"#/$defs/operand"},{"properties":{"operand_slot":{"const":"C"},"operand_id":{"type":"string","pattern":"^C:.+"}}}]},"operandD":{"allOf":[{"$ref":"#/$defs/operand"},{"properties":{"operand_slot":{"const":"D"},"operand_id":{"type":"string","pattern":"^D:.+"}}}]},"operandE":{"allOf":[{"$ref":"#/$defs/operand"},{"properties":{"operand_slot":{"const":"E"},"operand_id":{"type":"string","pattern":"^E:.+"}}}]},"operandF":{"allOf":[{"$ref":"#/$defs/operand"},{"properties":{"operand_slot":{"const":"F"},"operand_id":{"type":"string","pattern":"^F:.+"}}}]},"operandG":{"allOf":[{"$ref":"#/$defs/operand"},{"properties":{"operand_slot":{"const":"G"},"operand_id":{"type":"string","pattern":"^G:.+"}}}]},"displayPolicy":{"type":"object","additionalProperties":false,"required":["policy_id","policy_version","standing","parameters","information_loss"],"properties":{"policy_id":{"const":"ucns.display.relation-equalized"},"policy_version":{"const":"0.1.0"},"standing":{"const":"declared-static-projection"},"parameters":{"type":"object","additionalProperties":false,"required":["display_radius","native_scale_retained","visible_radius_represents_native_scale","derived_layers_visible"],"properties":{"display_radius":{"const":1},"native_scale_retained":{"const":true},"visible_radius_represents_native_scale":{"const":false},"derived_layers_visible":{"type":"boolean"}}},"information_loss":{"type":"array","minItems":2,"uniqueItems":true,"items":{"type":"string","minLength":1},"allOf":[{"contains":{"const":"native-scale magnitude is not encoded by visible radius"},"minContains":1},{"contains":{"const":"continuous Mobius band width and local-frame motion are not encoded by the centerline projection"},"minContains":1}]}}},"pairingPlan":{"type":"object","additionalProperties":false,"required":["plan_id","plan_version","pairs","standing"],"properties":{"plan_id":{"type":"string","minLength":1},"plan_version":{"const":"0.1.0"},"pairs":{"type":"array","items":{"type":"array","prefixItems":[{"enum":["A","B","C","D","E","F","G"]},{"enum":["A","B","C","D","E","F","G"]}],"items":false,"minItems":2,"maxItems":2}},"standing":{"enum":["declared-static-projection","hmmm-unresolved"]}}},"candidateIdentity":{"type":"object","additionalProperties":false,"required":["name","evaluator_kind","version","code_reference","scope","policy_dependencies"],"properties":{"name":{"type":"string","minLength":1},"evaluator_kind":{"type":"string","minLength":1},"version":{"type":"string","minLength":1},"code_reference":{"type":"string","minLength":1},"scope":{"type":"string","minLength":1},"policy_dependencies":{"type":"array","minItems":1,"uniqueItems":true,"items":{"type":"string","minLength":1}}}},"comparisonPolicy":{"type":"object","additionalProperties":false,"required":["policy_id","policy_version","standing","parameters","information_loss"],"properties":{"policy_id":{"type":"string","minLength":1},"policy_version":{"type":"string","minLength":1},"standing":{"const":"experiment-candidate"},"parameters":{"type":"object"},"information_loss":{"type":"array","minItems":1,"uniqueItems":true,"items":{"type":"string","minLength":1}}}},"pairwiseReceipt":{"type":"object","additionalProperties":false,"required":["pair_id","left_operand_slot","right_operand_slot","relationship_status","comparison_policy","comparison_outcome","evidence","information_loss","hmmm"],"properties":{"pair_id":{"type":"string","minLength":1},"left_operand_slot":{"enum":["A","B","C","D","E","F","G"]},"right_operand_slot":{"enum":["A","B","C","D","E","F","G"]},"relationship_status":{"enum":["represented-evidence","candidate-measured-evidence"]},"comparison_policy":{"oneOf":[{"type":"null"},{"$ref":"#/$defs/comparisonPolicy"}]},"comparison_outcome":{},"evidence":{"type":"array","minItems":1,"uniqueItems":true,"items":{"type":"string","minLength":1}},"information_loss":{"type":"array","minItems":1,"uniqueItems":true,"items":{"type":"string","minLength":1}},"hmmm":{"type":"array","minItems":1,"uniqueItems":true,"items":{"type":"string","minLength":1}}},"allOf":[{"if":{"properties":{"relationship_status":{"const":"represented-evidence"}},"required":["relationship_status"]},"then":{"properties":{"comparison_policy":{"type":"null"},"comparison_outcome":{"type":"null"}}}},{"if":{"properties":{"relationship_status":{"const":"candidate-measured-evidence"}},"required":["relationship_status"]},"then":{"properties":{"comparison_policy":{"$ref":"#/$defs/comparisonPolicy"},"comparison_outcome":{"not":{"type":"null"}}}}}]},"pairAB":{"allOf":[{"$ref":"#/$defs/pairwiseReceipt"},{"properties":{"pair_id":{"const":"A-B"},"left_operand_slot":{"const":"A"},"right_operand_slot":{"const":"B"}}}]},"pairBC":{"allOf":[{"$ref":"#/$defs/pairwiseReceipt"},{"properties":{"pair_id":{"const":"B-C"},"left_operand_slot":{"const":"B"},"right_operand_slot":{"const":"C"}}}]},"pairCA":{"allOf":[{"$ref":"#/$defs/pairwiseReceipt"},{"properties":{"pair_id":{"const":"C-A"},"left_operand_slot":{"const":"C"},"right_operand_slot":{"const":"A"}}}]},"nonTransfer":{"type":"object","additionalProperties":false,"required":["authority_transfer","semantic_authority_transfer","proof_status_transfer","certification_status_transfer","measurement_status_transfer","empirical_status_transfer","completion_status_transfer","embedding_status_transfer","producer_authentication_transfer"],"properties":{"authority_transfer":{"const":false},"semantic_authority_transfer":{"const":false},"proof_status_transfer":{"const":false},"certification_status_transfer":{"const":false},"measurement_status_transfer":{"const":false},"empirical_status_transfer":{"const":false},"completion_status_transfer":{"const":false},"embedding_status_transfer":{"const":false},"producer_authentication_transfer":{"const":false}}}}}
\ No newline at end of file