<!-- CANARY: REQ=REQ-GQL-024; FEATURE="Conformance Profile Ledger"; ASPECT=Docs; STATUS=TESTED; TEST=TestCANARY_REQ_GQL_024_ImplDefinedCollationAndNullOrdering; OWNER=docs; UPDATED=2025-09-24 --> <h2 id="gql-conformance-profile" class="position-relative d-flex align-items-center group"> <span>GQL Conformance Profile</span> <button type="button" class="h-share btn btn-link p-0 text-decoration-none link-secondary opacity-50 hover-opacity-100 transition-all ms-1" data-share-target="gql-conformance-profile" aria-haspopup="dialog" aria-label="Share link: GQL Conformance Profile"> <i class="fa-sharp-duotone fa-solid fa-share-nodes" aria-hidden="true" style="font-size: 0.8em;"></i> <span class="visually-hidden">Share link</span> </button> </h2><div id="headingShareModal" class="heading-share-modal" role="dialog" aria-modal="true" aria-labelledby="headingShareTitle" hidden> <div class="hsm-dialog" role="document"> <div class="hsm-header"> <h2 id="headingShareTitle" class="h6 mb-0 fw-bold">Share this section</h2> <button type="button" class="hsm-close" aria-label="Close"> <i class="fa-solid fa-xmark"></i> </button> </div> <div class="hsm-body"> <label for="headingShareInput" class="form-label small text-muted mb-1 text-uppercase fw-bold" style="font-size: 0.7rem; letter-spacing: 0.5px;">Permalink</label> <div class="input-group mb-4 hsm-url-group"> <input id="headingShareInput" type="text" class="form-control font-monospace" readonly aria-readonly="true" style="font-size: 0.85rem;" /> <button class="btn btn-primary hsm-copy" type="button" aria-label="Copy" title="Copy"> <i class="fa-duotone fa-clipboard" aria-hidden="true"></i> </button> </div> <div class="small fw-bold mb-2 text-muted text-uppercase" style="font-size: 0.7rem; letter-spacing: 0.5px;">Share via</div> <div class="hsm-share-grid"> <a id="share-twitter" class="btn btn-outline-secondary w-100" target="_blank" rel="noopener noreferrer"> <i class="fa-brands fa-twitter me-2"></i>Twitter </a> <a id="share-linkedin" class="btn btn-outline-secondary w-100" target="_blank" rel="noopener noreferrer"> <i class="fa-brands fa-linkedin me-2"></i>LinkedIn </a> <a id="share-facebook" class="btn btn-outline-secondary w-100" target="_blank" rel="noopener noreferrer"> <i class="fa-brands fa-facebook me-2"></i>Facebook </a> </div> </div> </div> </div> <style> .heading-share-modal { position: fixed; inset: 0; display: flex; justify-content: center; align-items: center; background: rgba(0, 0, 0, 0.6); z-index: 1050; padding: 1rem; backdrop-filter: blur(4px); -webkit-backdrop-filter: blur(4px); } .heading-share-modal[hidden] { display: none !important; } .hsm-dialog { max-width: 420px; width: 100%; background: var(--bs-body-bg, #fff); color: var(--bs-body-color, #212529); border: 1px solid var(--bs-border-color, rgba(0,0,0,0.1)); border-radius: 1rem; box-shadow: 0 25px 50px -12px rgba(0, 0, 0, 0.25); overflow: hidden; animation: hsm-fade-in 0.2s ease-out; } @keyframes hsm-fade-in { from { opacity: 0; transform: scale(0.95); } to { opacity: 1; transform: scale(1); } } [data-bs-theme="dark"] .hsm-dialog { background: #1e293b; border-color: rgba(255,255,255,0.1); color: #f8f9fa; } .hsm-header { display: flex; justify-content: space-between; align-items: center; padding: 1rem 1.5rem; border-bottom: 1px solid var(--bs-border-color, rgba(0,0,0,0.1)); background: rgba(0,0,0,0.02); } [data-bs-theme="dark"] .hsm-header { background: rgba(255,255,255,0.02); border-color: rgba(255,255,255,0.1); } .hsm-close { background: transparent; border: none; color: inherit; opacity: 0.5; padding: 0.25rem 0.5rem; border-radius: 0.25rem; font-size: 1.2rem; line-height: 1; transition: opacity 0.2s; } .hsm-close:hover { opacity: 1; } .hsm-body { padding: 1.5rem; } .hsm-url-group { display: flex !important; align-items: stretch; } .hsm-url-group .form-control { flex: 1; min-width: 0; margin: 0; background: var(--bs-secondary-bg, #f8f9fa); border-color: var(--bs-border-color, #dee2e6); border-top-right-radius: 0; border-bottom-right-radius: 0; height: 42px; } .hsm-url-group .btn { flex: 0 0 auto; margin: 0; margin-left: -1px; border-top-left-radius: 0; border-bottom-left-radius: 0; height: 42px; display: flex; align-items: center; justify-content: center; padding: 0 1.25rem; z-index: 2; } [data-bs-theme="dark"] .hsm-url-group .form-control { background: #0f172a; border-color: #334155; color: #e2e8f0; } .hsm-share-grid { display: flex; flex-direction: column; gap: 0.5rem; } .hsm-share-grid .btn { display: flex; align-items: center; justify-content: center; font-size: 0.9rem; padding: 0.6rem; border-color: var(--bs-border-color); width: 100%; } [data-bs-theme="dark"] .hsm-share-grid .btn { color: #e2e8f0; border-color: #475569; } [data-bs-theme="dark"] .hsm-share-grid .btn:hover { background: #334155; border-color: #cbd5e1; } </style> <script> (function(){ const modal = document.getElementById('headingShareModal'); if(!modal) return; const input = modal.querySelector('#headingShareInput'); const copyBtn = modal.querySelector('.hsm-copy'); const twitter = modal.querySelector('#share-twitter'); const linkedin = modal.querySelector('#share-linkedin'); const facebook = modal.querySelector('#share-facebook'); const closeBtn = modal.querySelector('.hsm-close'); let lastFocus=null; let trapBound=false; function buildUrl(id){ return window.location.origin + window.location.pathname + '#' + id; } function isOpen(){ return !modal.hasAttribute('hidden'); } function hydrate(id){ const url=buildUrl(id); input.value=url; const enc=encodeURIComponent(url); const text=encodeURIComponent(document.title); if(twitter) twitter.href=`https://twitter.com/intent/tweet?url=${enc}&text=${text}`; if(linkedin) linkedin.href=`https://www.linkedin.com/sharing/share-offsite/?url=${enc}`; if(facebook) facebook.href=`https://www.facebook.com/sharer/sharer.php?u=${enc}`; } function openModal(id){ lastFocus=document.activeElement; hydrate(id); if(!isOpen()){ modal.removeAttribute('hidden'); } requestAnimationFrame(()=>{ input.focus(); }); trapFocus(); } function closeModal(){ if(!isOpen()) return; modal.setAttribute('hidden',''); if(lastFocus && typeof lastFocus.focus==='function') lastFocus.focus(); } function copyCurrent(){ try{ navigator.clipboard.writeText(input.value).then(()=>feedback(true),()=>fallback()); } catch(e){ fallback(); } } function fallback(){ input.select(); try{ document.execCommand('copy'); feedback(true);}catch(e){ feedback(false);} } function feedback(ok){ if(!copyBtn) return; const icon=copyBtn.querySelector('i'); if(!icon) return; const prev=copyBtn.getAttribute('data-prev')||icon.className; if(!copyBtn.getAttribute('data-prev')) copyBtn.setAttribute('data-prev',prev); icon.className= ok ? 'fa-duotone fa-clipboard-check':'fa-duotone fa-circle-exclamation'; setTimeout(()=>{ icon.className=prev; },1800); } function handleShareClick(e){ e.preventDefault(); const btn=e.currentTarget; const id=btn.getAttribute('data-share-target'); if(id) openModal(id); } function bindShareButtons(){ document.querySelectorAll('.h-share').forEach(btn=>{ if(!btn.dataset.hShareBound){ btn.addEventListener('click', handleShareClick); btn.dataset.hShareBound='1'; } }); } bindShareButtons(); if(document.readyState==='loading'){ document.addEventListener('DOMContentLoaded', bindShareButtons); } else { requestAnimationFrame(bindShareButtons); } document.addEventListener('click', function(e){ const shareBtn=e.target.closest && e.target.closest('.h-share'); if(shareBtn && !shareBtn.dataset.hShareBound){ handleShareClick.call(shareBtn, e); } }, true); document.addEventListener('click', e=>{ if(e.target===modal) closeModal(); if(e.target.closest && e.target.closest('.hsm-close')){ e.preventDefault(); closeModal(); } if(copyBtn && (e.target===copyBtn || (e.target.closest && e.target.closest('.hsm-copy')))) { e.preventDefault(); copyCurrent(); } }); document.addEventListener('keydown', e=>{ if(e.key==='Escape' && isOpen()) closeModal(); }); function trapFocus(){ if(trapBound) return; trapBound=true; modal.addEventListener('keydown', f=>{ if(f.key==='Tab' && isOpen()){ const focusable=[...modal.querySelectorAll('a[href],button,input,textarea,select,[tabindex]:not([tabindex="-1"])')].filter(el=>!el.hasAttribute('disabled')); if(!focusable.length) return; const first=focusable[0]; const last=focusable[focusable.length-1]; if(f.shiftKey && document.activeElement===first){ f.preventDefault(); last.focus(); } else if(!f.shiftKey && document.activeElement===last){ f.preventDefault(); first.focus(); } } }); } if(closeBtn) closeBtn.addEventListener('click', e=>{ e.preventDefault(); closeModal(); }); })(); </script><p>This document captures implementation-defined behaviors and diagnostics relevant to ordering, pagination, and query execution. Geode maintains full ISO/IEC 39075:2024 GQL compliance; the profile explains how those requirements are met in practice.</p> <h3 id="supported-highlights" class="position-relative d-flex align-items-center group"> <span>Supported (highlights)</span> <button type="button" class="h-share btn btn-link p-0 text-decoration-none link-secondary opacity-50 hover-opacity-100 transition-all ms-1" data-share-target="supported-highlights" aria-haspopup="dialog" aria-label="Share link: Supported (highlights)"> <i class="fa-sharp-duotone fa-solid fa-share-nodes" aria-hidden="true" style="font-size: 0.8em;"></i> <span class="visually-hidden">Share link</span> </button> </h3><p>The highlights below are non-exhaustive and focus on areas with implementation-defined behavior or additional policy constraints.</p> <ul> <li>MATCH with: <ul> <li>Node label and single property equality predicate (baseline)</li> <li>Single-hop expand and bounded path expansion</li> <li>OPTIONAL MATCH (null-preserving) semantics</li> </ul> </li> <li>ORDER BY over RETURN items for MATCH result bindings, with deterministic comparator and JSON lexicographic tiebreak.</li> <li>LIMIT/OFFSET slicing post-ordering.</li> <li>Set operations: UNION/INTERSECT/EXCEPT (existing engine path).</li> <li>Data modification statements (CREATE/INSERT/UPDATE/DELETE/MERGE).</li> <li>Schema and type system behaviors (labels, property types, constraints, indexes).</li> <li>Functions and aggregations (scalar and aggregate semantics).</li> <li>Transaction semantics with ACID guarantees and MVCC isolation.</li> </ul> <h4 id="deterministic-transport-parity-evidence-curated-datasets" class="position-relative d-flex align-items-center group"> <span>Deterministic Transport Parity Evidence (Curated Datasets)</span> <button type="button" class="h-share btn btn-link p-0 text-decoration-none link-secondary opacity-50 hover-opacity-100 transition-all ms-1" data-share-target="deterministic-transport-parity-evidence-curated-datasets" aria-haspopup="dialog" aria-label="Share link: Deterministic Transport Parity Evidence (Curated Datasets)"> <i class="fa-sharp-duotone fa-solid fa-share-nodes" aria-hidden="true" style="font-size: 0.8em;"></i> <span class="visually-hidden">Share link</span> </button> </h4><ul> <li>Curated varlen determinism dataset (<code>data/varlen_determinism</code>) exercises equal-length path expansions to validate whole-row JSON lex tie-break and UA005/UA006 ordering consistency.</li> <li>Transport parity (QUIC vs gRPC) verified for: simple RETURN ordering, set operations DISTINCT, projection slices, ORDER/LIMIT/OFFSET pagination, MATCH variable-length expansions, diagnostics (US001, IllegalOrderKey), CASE 3VL null semantics, and nulls-last ordering.</li> </ul> <p>// CANARY: REQ=REQ-GQL-018; FEATURE=&ldquo;Transport Parity VarLen Dataset Rows&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=TestCANARY_REQ_GQL_018_TransportParity_VarLenDatasetRows; OWNER=engine; UPDATED=2025-09-24 // CANARY: REQ=REQ-GQL-091; FEATURE=&ldquo;Client Server Arg Passthrough&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=TestCANARY_REQ_GQL_091_ClientServerArgPassthrough; OWNER=client; UPDATED=2025-09-24</p> <p>// CANARY: REQ=REQ-GQL-017; FEATURE=&ldquo;Transport Parity Simple RETURN&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=TestCANARY_REQ_GQL_017_TransportParity_ReturnOrdered; OWNER=engine; UPDATED=2025-09-24 // CANARY: REQ=REQ-GQL-017; FEATURE=&ldquo;Transport Parity SetOp DISTINCT&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=TestCANARY_REQ_GQL_017_TransportParity_SetOpDistinct; OWNER=engine; UPDATED=2025-09-24 // CANARY: REQ=REQ-GQL-017; FEATURE=&ldquo;Transport Parity Projection Rows&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=TestCANARY_REQ_GQL_017_TransportParity_ProjectionRows; OWNER=engine; UPDATED=2025-09-24 // CANARY: REQ=REQ-GQL-017; FEATURE=&ldquo;Transport Parity ORDER/LIMIT/OFFSET Rows&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=TestCANARY_REQ_GQL_017_TransportParity_OrderPaginationRows; OWNER=engine; UPDATED=2025-09-24 // CANARY: REQ=REQ-GQL-017; FEATURE=&ldquo;Transport Parity MATCH VarLen Rows&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=TestCANARY_REQ_GQL_017_TransportParity_MatchVarLenRows; OWNER=engine; UPDATED=2025-09-24</p> <p>// CANARY: REQ=REQ-GQL-017; FEATURE=&ldquo;VarLen Path Determinism UA005/UA006&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=TestCANARY_REQ_GQL_017_VarLenDeterminism_QUIC; OWNER=engine; UPDATED=2025-09-24 // CANARY: REQ=REQ-GQL-017; FEATURE=&ldquo;VarLen Path Determinism UA005/UA006&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=TestCANARY_REQ_GQL_017_VarLenDeterminism_GRPC; OWNER=engine; UPDATED=2025-09-24 // CANARY: REQ=REQ-GQL-017; FEATURE=&ldquo;Transport Parity Diagnostics US001&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=TestCANARY_REQ_GQL_017_TransportParity_US001; OWNER=engine; UPDATED=2025-09-24</p> <h3 id="policies-and-diagnostics" class="position-relative d-flex align-items-center group"> <span>Policies and Diagnostics</span> <button type="button" class="h-share btn btn-link p-0 text-decoration-none link-secondary opacity-50 hover-opacity-100 transition-all ms-1" data-share-target="policies-and-diagnostics" aria-haspopup="dialog" aria-label="Share link: Policies and Diagnostics"> <i class="fa-sharp-duotone fa-solid fa-share-nodes" aria-hidden="true" style="font-size: 0.8em;"></i> <span class="visually-hidden">Share link</span> </button> </h3><ul> <li>US001 (unordered pagination): LIMIT/OFFSET without explicit ORDER is rejected. Anchor: 16.18–16.19.</li> <li>IllegalOrderKey (policy): ORDER BY keys restricted to identifiers by default. Anchor: 14.10. // CANARY: REQ=REQ-GQL-017; FEATURE=&ldquo;Transport Parity Diagnostics IllegalOrderKey&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=TestCANARY_REQ_GQL_017_TransportParity_IllegalOrderKey; OWNER=engine; UPDATED=2025-09-24 // CANARY: REQ=REQ-GQL-017; FEATURE=&ldquo;Transport Parity CASE 3VL&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=TestCANARY_REQ_GQL_017_TransportParity_Case3VL; OWNER=engine; UPDATED=2025-09-24</li> <li>Null ordering policy: implementation-defined default; see Requirements — binary collation, nulls-last policy (flagger exposed). // CANARY: REQ=REQ-GQL-024; FEATURE=&ldquo;Nulls-Last Ordering Parity&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=TestCANARY_REQ_GQL_024_TransportParity_NullsLastOrder; OWNER=engine; UPDATED=2025-09-24</li> <li>UA005/UA006 (bounded path tie-break determinism): Shorter paths preferred; ties broken deterministically by bound IDs and JSON-lex row key. Transport-parity enforced by tests.</li> </ul> <h3 id="safety-guards-execution-limits" class="position-relative d-flex align-items-center group"> <span>Safety Guards (Execution Limits)</span> <button type="button" class="h-share btn btn-link p-0 text-decoration-none link-secondary opacity-50 hover-opacity-100 transition-all ms-1" data-share-target="safety-guards-execution-limits" aria-haspopup="dialog" aria-label="Share link: Safety Guards (Execution Limits)"> <i class="fa-sharp-duotone fa-solid fa-share-nodes" aria-hidden="true" style="font-size: 0.8em;"></i> <span class="visually-hidden">Share link</span> </button> </h3><p>The engine enforces protective upper bounds during MATCH evaluation to prevent excessive memory or time consumption. These are implementation-defined and surfaced via diagnostics (ExecutionGuardTrip) when tripped; partial results MAY be returned (truncated) per STEAL/NO-FORCE policy while maintaining deterministic ordering of emitted rows.</p> <ul> <li>Default <code>max_results</code>: 100,000 (bindings)</li> <li>Default <code>max_frontier</code>: 100,000 (active frontier nodes / partial paths in BFS)</li> <li>Default <code>max_hops_limit</code>: 64</li> <li>Diagnostic code: <code>ExecutionGuardTrip</code></li> <li>Policy: Guard trip preserves already produced bindings and sets deterministic ordering</li> </ul> <p>// CANARY: REQ=REQ-GQL-017; FEATURE=&ldquo;MatchSafetyGuardsPolicy&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=geodetestlab/specs/gql_pattern_matching_comprehensive.yml; TEST=TestCANARY_REQ_GQL_017_MatchGuardTrips; OWNER=engine; UPDATED=2025-09-25 // CANARY: REQ=REQ-GQL-017; FEATURE=&ldquo;MatchFrontierGuard&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=geodetestlab/specs/gql_pattern_matching_comprehensive.yml; TEST=TestCANARY_REQ_GQL_017_MatchGuardTrips; OWNER=engine; UPDATED=2025-09-25 // CANARY: REQ=REQ-GQL-017; FEATURE=&ldquo;MatchResultGuard&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=geodetestlab/specs/gql_pattern_matching_comprehensive.yml; TEST=TestCANARY_REQ_GQL_017_MatchGuardTrips; OWNER=engine; UPDATED=2025-09-25</p> <h3 id="flagger" class="position-relative d-flex align-items-center group"> <span>Flagger</span> <button type="button" class="h-share btn btn-link p-0 text-decoration-none link-secondary opacity-50 hover-opacity-100 transition-all ms-1" data-share-target="flagger" aria-haspopup="dialog" aria-label="Share link: Flagger"> <i class="fa-sharp-duotone fa-solid fa-share-nodes" aria-hidden="true" style="font-size: 0.8em;"></i> <span class="visually-hidden">Share link</span> </button> </h3><ul> <li>I:IllegalOrderKeyPolicy=ident-only</li> <li>U:US001=enforced</li> <li>U:OrderTiebreak=LexJSON</li> <li>U:PathTieBreak=UA005/UA006</li> </ul> <h3 id="implementation-defined" class="position-relative d-flex align-items-center group"> <span>Implementation-defined</span> <button type="button" class="h-share btn btn-link p-0 text-decoration-none link-secondary opacity-50 hover-opacity-100 transition-all ms-1" data-share-target="implementation-defined" aria-haspopup="dialog" aria-label="Share link: Implementation-defined"> <i class="fa-sharp-duotone fa-solid fa-share-nodes" aria-hidden="true" style="font-size: 0.8em;"></i> <span class="visually-hidden">Share link</span> </button> </h3><ul> <li>Default collation: binary; Unicode collation optional.</li> <li>Null ordering policy: default nulls-last; nulls-first via env override.</li> </ul> <h3 id="wire-mapping-executionguardtrip-additional-status" class="position-relative d-flex align-items-center group"> <span>Wire Mapping: ExecutionGuardTrip Additional Status</span> <button type="button" class="h-share btn btn-link p-0 text-decoration-none link-secondary opacity-50 hover-opacity-100 transition-all ms-1" data-share-target="wire-mapping-executionguardtrip-additional-status" aria-haspopup="dialog" aria-label="Share link: Wire Mapping: ExecutionGuardTrip Additional Status"> <i class="fa-sharp-duotone fa-solid fa-share-nodes" aria-hidden="true" style="font-size: 0.8em;"></i> <span class="visually-hidden">Share link</span> </button> </h3><p>// CANARY: REQ=REQ-GQL-017; FEATURE=&ldquo;MatchGuardStatusWireMapping&rdquo;; ASPECT=Docs; STATUS=TESTED; TEST=geodetestlab/specs/gql_pattern_matching_comprehensive.yml; TEST=TestCANARY_REQ_GQL_017_MatchGuardStatusWireMapping; OWNER=engine; UPDATED=2025-09-24 When a safety guard trips during MATCH evaluation (result/frontier/hops), the server emits primary success frames with <code>status_class</code> <code>00000</code> and includes <code>ExecutionGuardTrip</code> inside the <code>additional_statuses</code> array of the <code>SchemaDefinition</code> frame and (for redundancy) the first <code>DataPage</code> frame. This indicates a partial result truncation event without elevating to an error-class status. Clients SHOULD surface a warning and MAY retry with adjusted guard thresholds. No change to exit codes (remain 0).</p> <h4 id="environment-overrides-test--diagnostics" class="position-relative d-flex align-items-center group"> <span>Environment Overrides (Test / Diagnostics)</span> <button type="button" class="h-share btn btn-link p-0 text-decoration-none link-secondary opacity-50 hover-opacity-100 transition-all ms-1" data-share-target="environment-overrides-test--diagnostics" aria-haspopup="dialog" aria-label="Share link: Environment Overrides (Test / Diagnostics)"> <i class="fa-sharp-duotone fa-solid fa-share-nodes" aria-hidden="true" style="font-size: 0.8em;"></i> <span class="visually-hidden">Share link</span> </button> </h4><p>Guard threshold overrides (test/support use only):</p> <ul> <li>CLI (preferred for determinism): <ul> <li><code>geode serve --match-max-results &lt;N&gt;</code> lowers the <code>max_results</code> guard at process start.</li> <li><code>geode serve --match-max-frontier &lt;N&gt;</code> lowers the <code>max_frontier</code> guard at process start.</li> </ul> </li> <li>Environment (legacy/fallback): <code>GEODE_MATCH_MAX_RESULTS</code> and <code>GEODE_MATCH_MAX_FRONTIER</code> may still be set; if both CLI and env are provided, the CLI flags win.</li> </ul> <p>Production deployments SHOULD leave these unset (defaults: 100,000). Frames emitted under overridden thresholds still carry the additional status for transparency.</p>