sql-client-conformance-postgresql18.historical.json

{
  "schemaVersion": 1,
  "ownerRequirementDate": "2026-10-03",
  "decision": "ADR-065",
  "workingDialect": "PostgreSQL18",
  "dialectSelectedBy": "integration-planning-owner; optional owner preference unanswered",
  "targetDefinition": "https://www.postgresql.org/docs/18/sql.html",
  "fullSqlComplete": false,
  "nativeClientProtocolQualified": false,
  "currentTransport": [
    "HTTP JSON",
    "official MCP Streamable HTTP"
  ],
  "nativeWireTarget": {
    "initial": "3.0",
    "laterNegotiation": "3.2",
    "implementation": "closed PostgreSQL3.0 TLS/API-key session source; qualification pending",
    "initialProfile": {
      "name": "native-sql-v1-jsonb-result",
      "transport": "native Kestrel TLS ConnectionContext/Pipelines; not HTTP",
      "authentication": "same persisted API-key verifier, verified subject only, fresh credential/policy every Execute",
      "result": "one JSONB keyload_result containing entire canonical result",
      "queryDialects": [
        1,
        2
      ],
      "callQueryDialect": 1,
      "preparedProtocol": [
        "Parse",
        "Bind",
        "Describe",
        "Execute",
        "Close",
        "Sync",
        "Flush",
        "Terminate"
      ],
      "limits": "eight statements/eight portals, current native query/JSON/frame/output and shared retained byte grants",
      "driver": "Npgsql10.0.3 VerifyFull/root CA; GSS encryption disabled; pooling false; built-in-only type loading; no parameter logging",
      "qualification": "pending exact-source Linux Aspire RF3 original artifacts",
      "int16ParameterSourceContract": "Guarded next source: exact signedInt16 int2 OID21 text/two-byte binary using original canonical numeric parameters. Wrong width/syntax/overflow Validation, no new grants/SQLgrammar/fallback; genuine Npgsql/SDK/MCP complete operation source and exact Linux qualification pending.",
      "notDelivered": [
        "general PostgreSQL catalog/bootstrap and typed column metadata",
        "SQL PREPARE/EXECUTE/DEALLOCATE syntax",
        "suspended portals/cursors",
        "explicit/implicit multistatement transactions",
        "full PostgreSQL SQL grammar",
        "protocol3.2 negotiation"
      ],
      "numericParameterSourceContract": "Prepared guarded source only: text/binary OID1700 exact .NET decimal96/scale28 without rounding; malformed Validation, specials/nonrepresentable/hidden-dscale precision UnsupportedCapability. Genuine Npgsql/SDK/MCP whole-flow and exact-source Linux qualification pending; no general PostgreSQL numeric compatibility."
    }
  },
  "inventoryStatus": "183 official command names inventoried; complete semantic contracts and execution fixtures pending",
  "families": [
    {
      "id": "SQLC-LEX",
      "nextLeadingDecimalCandidate": "Closed leading decimal point and adjacent sign forms through existing bounded Number/.NET decimal AST; field/source dot separators and unsigned resource counts unchanged. Complete original Unit and actual SDK/MCP/Npgsql RF3 malformed/fractional-count/type-fault repair/policy/cancel/receipt/two-cold operation source; coherent compiler/runtime/Linux/full SQL and physical-owner gates OPEN.",
      "nextPositiveNumericCandidate": "Closed adjacent +decimal literal token folding through the existing exact .NET decimal AST path; signs on fields/parameters/separated tokens are unsupported. Existing minus/exponent behavior and unsigned LIMIT/OFFSET/FETCH remain unchanged. Independent full original Unit/Aspire RF3 SDK/MCP/Npgsql malformed-count/type-fault refusal, exact repair, policy/cancellation/receipts/two-cold flows are source candidates only; full SQL/compiler/runtime/Linux and physical-owner qualification remain OPEN.",
      "name": "lexical comments, quoting, identifiers, literals, parameters",
      "syntax": "Q1 subset plus line and nested block comments",
      "execution": "Q1 subset",
      "evidence": "Original full CI baseline7d9852 and existing lexical/RF3 cases; Historical intermediate report removed from repository; no current qualification inferred; full PostgreSQL lexical conformance pending",
      "sourceContract": "Bounded token-kind admission: SQL String/Parameter tokens cannot replace grammar keywords, separators or comparison symbols; literal data and quoted identifiers retain their roles. SqlLexicalAdmissionTests whole typed Q2 refusal/repair/GUID replay/two-cold source packet; current execution pending.",
      "nextEscapeStringCandidate": "REQ-SQLC-006 / AC-SQLC-006 SQLC-LEX and REQ/AC-QUERY-004/005/006, ADR-065: NEXT guarded SQL.EscapeStringLiteral.v1 accepts adjacent E/e single-quoted string literals using C-style escapes, octal/hex UTF-8 byte escapes and validated Unicode scalar/surrogate-pair escapes (u/U widths may be mixed; a backslash-x without hex digits is the literal x), lowered to the same original String ValueOperand. Invalid UTF-8, malformed Unicode, NUL, incomplete escape/quote refuse the existing fixed Validation diagnostic; ordinary strings, quoted identifiers, parameters and original unsupported operations remain unchanged. Native PostgreSQL positional-parameter rewriting must preserve escaped quotes and literal $n content and map only actual external parameters to original source positions. Native .NET Rune/UTF8Encoding/ArrayBufferWriter are used with original source/token/read/depth/output bounds and original cancellation; no package, AST/version/serializer, authorization, connection owner, admission quota or deadline changes. Independent complete scalar SQL/AST literal pages, real SDK/official MCP/Npgsql simple/prepared parity and a genuine bound positional argument outside an escaped literal, malformed refusal followed by healthy operation on the original connection, current persisted query-policy denial and exact epoch restoration, real retained scalar-type fault and revision3 repair, original-token pre-cancellation, seed/fault/repair receipt replay, complete Unit raw image/position/identity and RF3 public document/outbox image, warm and two original owned cold waves are required. Public query cuts remain opaque. Physical-owner correlation, admitted row-progress cancellation, native binding/compilation/runtime/Linux RF3/resource/recovery and full SQL/client compatibility remain separate OPEN; this is a prepared source contract, not delivered capability.",
      "nextHexadecimalIntegerCandidate": "NEXT closed 0x/0X and adjacent-sign hexadecimal integer literal to existing decimal AST using first-party Char/UInt128; decimal domain bound, raw source spelling/positions and unsigned resource counts unchanged. Binary/octal/separators/fractional radix/general arithmetic stay unsupported. Complete original native and SDK/MCP/Npgsql RF3 refusal/repair/policy/cancel/full rows/receipts/two-cold source; no current runtime/fullSQL qualification.",
      "nextHexQ2CallerCoverage": "NEXT hex operation coverage also reuses the original PostgresNativeSessionRf3Tests scalar/join instances and existing PostgresRf3Parity caller/wire scopes: three independently true exact decimal-domain hexadecimal predicates precede the original ORDER BY and preserve each full original seeded page through actual SDK/MCP and Npgsql simple/prepared execution. This does not add seed fields, AST capabilities, request declarations, deadlines, or physical-owner/cut correlation. Original whole owner/no-effect/receipt/policy/cancellation/cold lifecycle remains; dedicated Q2 numeric-field type-repair and new-hex independent AST lowering beyond the scalar full-flow stay separate OPEN, not inferred from parity.",
      "nextDollarQuotedStringCandidate": "REQ-SQLC-006 / AC-SQLC-006 SQLC-LEX and existing REQ/AC-QUERY-004/005/006 under ADR-065: NEXT guarded SQL.DollarQuotedString.v1 lowers untagged or current identifier-letter/underscore tagged dollar literals to the existing String ValueOperand. Ordinal case-sensitive delimiters preserve quotes, backslashes, Unicode, other tags and literal $n as data; the native parameter translator shields the same bounded quote spans and translates only actual external parameters. Require separation from preceding identifiers. No identifier grammar, library, AST/version/serializer, procedural language, automatic concatenation or transport expansion. Original query bytes/tokens/depth, cancellation, fresh persisted authority, connection-owned Orleans/CQRS and joined failure/disposal ownership remain unchanged. Native span comparison is first-party; resource/performance qualification stays OPEN.\n\nOriginal NullDistinct/Offset/native-session declarations/Args/UIDs remain. Independent complete SQL+AST literal pages, malformed/mismatched delimiter and unsupported adjacency refusal followed by healthy SDK/MCP/Npgsql on the original connection, genuine external positional parameter shielding in simple/prepared driver execution, policy denial/restoration, real Boolean fault then exact revision3 repair/full receipts/replay, original canceled token plus independent healthy execution and two owned cold continuations are required. Q1/Q2 original native-session parity adds independently true dollar predicates and full original seeded pages. Unit full raw image/position/identity and RF3 document/outbox parity stay distinct; public cuts remain opaque. Raw NUL driver framing, physical-owner authority, compiler/runtime/Linux/fault/resources/fullSQL gates remain OPEN. This NEXT N source is not delivery or qualification.",
      "nextBinaryOctalIntegerCandidate": "REQ-SQLC-006 / AC-SQLC-006 SQLC-LEX and existing REQ/AC-QUERY-004/005/006 under ADR-065: NEXT guarded SQL.BinaryOctalIntegerLiteral.v1 adds adjacent signed 0b/0B and 0o/0O integers to the current hexadecimal reader within the unchanged exact .NET decimal96-bit magnitude. Reuse native UInt128 binary/hex parsing and bounded octal arithmetic; no new library, AST/version/serializer/provider/transport or general unary operator. First invalid radix digit/empty prefix/positive or negative magnitude2^96 refuse Validation; original trailing-token/fraction/visual-separator/later incompatible-digit forms remain UnsupportedCapability. Unsigned LIMIT/OFFSET/FETCH refuse radix/sign counts. Decimal/scientific behavior and original raw source remain.\n\nIndependent full SQL+AST literal rows and exact maximum/minimum true-constant predicates distinguish arithmetic correctness from an empty filtered page. Complete existing SDK/MCP/Npgsql simple/prepared Q1/Q2 pages, malformed/count refusals followed by healthy original owner, both binary/oct policy denial and Boolean type-fault SQL+AST refusal before exact original repair/receipts/replay, original canceled token plus independent healthy token, full Unit raw image/position/identity and RF3 document/outbox parity across two original cold continuations are required. Same current authority/cut/read/output/cancellation/producer/disposal limits remain; physical-owner/fullSQL/Linux/fault/resources/compiler/runtime gates OPEN. The combined planned profile order preserves current HEX/E/continuation then dollar then binary/oct. Existing parent N/NF/NS are retained as history; this combined future source still needs fresh actual admission after the shared lease.",
      "nextUnicodeStringCandidate": "REQ-SQLC-006 / AC-SQLC-006 SQLC-LEX and existing REQ/AC-QUERY-004/005/006, ADR-065: NEXT SQL.UnicodeStringLiteral.v1 accepts adjacent U/u& single-quoted Unicode strings through the same original String ValueOperand. Default backslash or explicit UESCAPE supports four hexadecimal digits, plus-six digits, mixed-width adjacent surrogate pairs, doubled escape, doubled quotes and the original newline string continuation. Preserve exact raw SQL and original positional parameter mapping. UESCAPE consumes a current ordinary/E/dollar simple string whose decoded UTF-8 value is one non-NUL ASCII byte, excluding hex digits, plus, quotes and ASCII whitespace, matching the native PostgreSQL18 parser contract. Invalid scalar/surrogate/hex/NUL/unfinished literal or escape option refuses the existing fixed Validation. Each original fragment and the two UESCAPE source tokens consume unchanged MaxQueryTokens; original source/depth/read/output/cancellation/producer/connection ownership limits remain. Use current native .NET Rune, existing hex/trivia/strict literal helpers, no package, AST/version/serializer/provider or authority-store change. Original wholecase declarations/Args/UIDs, full SQL+AST literal low/empty/emoji/mixed-surrogate/doubled-escape/continuation pages, actual SDK/official MCP/Npgsql simple/prepared parity, external bound $1 beside a protected raw Unicode literal containing $1, malformed-to-same-owner healthy continuation, fresh query-policy epoch denial/restore, actual Boolean field fault/exact repair and seed/fault/repair receipt replay, exact original canceled token plus independent healthy token, full Unit raw image/position/identity, public RF3 document/outbox parity and two owned cold continuations are required. Native positional rewriting already preserves the ordinary quote/continuation raw source; no second translator is introduced. Public query cut stays opaque. U& quoted identifiers, general encodings/settings, admitted row-progress cancellation, physical-owner authority, compiler/runtime/Linux RF3/fault/resources and full SQL/client interoperability remain separate OPEN. This NEXT source-only candidate is not qualification.",
      "nextNumericDigitSeparatorCandidate": "SQL.NumericDigitSeparators.v1 \u2014 source candidate, qualification OPEN\n\nREQ-SQLC-006 / AC-SQLC-006 SQLC-LEX/READ and REQ/AC-QUERY-004/005/006 under ADR-065: bounded decimal mantissa/exponent and binary/octal/hexadecimal integer digit groups may contain one underscore between valid digits. One underscore directly after a radix prefix is accepted, including adjacent existing signs. Separators cannot be repeated, trailing, adjacent to decimal point/exponent/sign, or separate invalid base digits. Normalize only for the original native decimal/radix value parsing; preserve raw SqlToken.Text and source spelling. The private nullable NumericText token value is ephemeral parser metadata, not public JSON, persistence or an AST/version/serializer change. Original lex bytes/source-token count, native read/deadline/cancellation cadence, decimal.MaxValue/MinValue domain, fixed safe errors, field authority and canonical ValueOperand remain unchanged. The one exact normalized string is allocated only for a token containing separators; normalized characters never exceed raw token characters. Both bounded passes check the original read budget and cadence. No package, provider, deadline or limit changes.\n\nLIMIT/OFFSET/FETCH retain original unsigned Int32 NumberStyles.None parsing and original limit-plus-offset validation. Grouped decimal counts are supported; signs, radix, fractions, exponents and Int32 overflow remain Validation, even if numerically integral. Duplicate or mixed trailing clauses retain the original UnsupportedCapability contract. Non-decimal fractional forms and invalid trailing base digits remain UnsupportedCapability where the original lexer/parser already defines them; malformed separator groups refuse the existing fixed Validation diagnostic. Ordinary identifiers, quoted strings, parameters, unsupported operators and all other original diagnostics remain unchanged. This is a defined product subset, not full PostgreSQL numeric type/coercion or full SQL compatibility.\n\nThe formerly unsupported 0x1_0, 0b1_0 and 0o1_0 now have independent complete SQL/AST literal results (16, 2 and 8 respectively) inside the original whole-flow cases. Their unsupported fraction successors 0x1_0.0, 0b1_0.0 and 0o1_0.0 retain explicit refusal/no-effects/same-connection healthy controls. No original native whole-class declaration, Args or UID is retired or filtered away. Original native/Aspire owners, literal rows/revisions/refs/access paths, persisted policy denial and exact epoch restoration, real scalar-type fault and revision3 repair, original fault/repair GUID receipt replay, original canceled token and independent healthy token, full native image/position/identity and caller-visible public image, warm and two original joined cold waves remain required.\n\nOriginal SqlNullDistinct Unit/RF3 cases execute complete decimal/radix maxima and signed/grouped mantissa/exponent rows, malformed/count-overflow and unsupported refusals followed by healthy SDK/official MCP/Npgsql on the original wire owner. Original SqlOffset pages execute grouped windows with independent scalar/Q2 AST pages and original signed continuation. Native-session Q1/Q2 parity runs grouped constant predicates and genuine SDK/MCP/Npgsql positional parameter values, simple and prepared; scalar parameter SQL/AST and grouped count pages repeat across warm/two cold. Original primary/cleanup observers and fixture ownership remain unchanged. Public cuts remain opaque; exact physical-owner correlation, admitted row-progress cancellation, resource/performance/fault/endurance and Linux RF3 qualification stay OPEN. No source/native preview/compilation/runtime result is inferred from this candidate.\n",
      "nextUnicodeIdentifierCandidate": "AC-SQLC-006 SQLC-LEX; REQ/AC-QUERY-004/005/006; ADR065. U& escaped double-quoted identifiers decode using existing bounded Unicode codec and optional original ASCII-only UESCAPE, then canonical Identifier Quoted=true. Existing field/source/projection alias validation remains authoritative: no identifier alphabet/length/case/authorization widening or PG truncation promise. Double quotes double themselves; newline-adjacent identifiers never concatenate. Quoted decoded keywords never become grammar. Existing raw SQL byte/token/depth/read/cancel budgets retained; UESCAPE tokens charged through original helper. No AST/version/library/serializer/deadline change. Native compilation/runtime/fault/resource/Linux/full SQL/physical owner gates OPEN. Q2 literal source-alias proof also preserves existing REQ-QUERY-007 / AC-QUERY-007-JOIN-001/002 and AC-REL-004-JOIN contracts."
    },
    {
      "id": "SQLC-READ",
      "nextNullPredicateSynonymsCandidate": "REQ-SQLC-006 / AC-SQLC-006 SQLC-READ and REQ/AC-QUERY-004/005/006, ADR-065: guarded SQL.NullPredicateSynonyms.v1 accepts PostgreSQL18 nonstandard ISNULL and NOTNULL for currently supported scalar operands. Both lower to the original NullTest(value, negated, missing:false) used by IS NULL and IS NOT NULL, preserving exact existing JSON-null versus KeyLoad MISSING behavior; this is not row-valued PostgreSQL null-test compatibility or a standard-SQL/full-SQL claim. Existing token-kind/quoted identifier/source alias validation, charged canonical predicate depth/read/output limits, scoped cut, fresh persisted authority and connection-owned Orleans dispatch remain unchanged. No library, AST/version/serializer, provider, settings, deadline or architecture change. Original NullDistinct wholecase declarations/Args/UIDs and source type-fault/repair/seed/fault/repair receipt replay stay intact. Independent full SQL/AST literal null/MISSING/present rows, malformed refusal followed by healthy results on the same original SDK/MCP/Npgsql owner, current query-policy epoch denial and exact restoration, original-token pre-cancellation, complete Unit raw image/position/identity and RF3 caller-visible document/outbox parity, warm and two original owned cold continuations are required. Public query cuts remain opaque; physical-owner correlation, admitted row-progress cancellation, coherent compiler/runtime/Linux RF3/resource/recovery and full SQL/client interoperability qualification stay separate OPEN. Native PredicateEvaluator confirms NullTest(missing:false) compares null directly: JSON nulls select null_a/null_b; NOTNULL and NOT ISNULL select high/low/missing because the existing MissingValue sentinel is distinct from null. NOT NOTNULL selects null_a/null_b. These independently literal results preserve current IS [NOT] NULL semantics; they do not change MISSING into PostgreSQL SQL NULL.",
      "nextAsymmetricRangeCandidate": "REQ-SQLC-006 / AC-SQLC-006 SQLC-READ and REQ/AC-QUERY-004/005/006, ADR-065: next guarded SQL.BetweenAsymmetric.v1 accepts explicit BETWEEN ASYMMETRIC / NOT BETWEEN ASYMMETRIC as the existing ordered inclusive comparisons and optional Negation. It never swaps endpoints; reversed endpoints produce false, NOT reverses that result, JSON null and KeyLoad MISSING retain existing unknown semantics. SYMMETRIC, implicit ordered BETWEEN, quoted identifiers and all original unsupported operations remain unchanged. Same canonical nodes are charged by the original normalizer, limits, authorization, cut, depth, cancellation and output accounting; no library, AST/version/serializer/transport/deadline change. Preserve original range wholeclass declarations, Args, UIDs and all controls. Six independent literal SQL/AST pages, malformed rejection then healthy same original SDK/MCP/Npgsql connection, true retained scalar-type fault then exact revision3 repair, persisted policy epoch1->2->3 refusal/healthy continuation, original-token pre-cancel, complete Unit raw image/cut/identity and public document/outbox image, exact seed/fault/repair receipt replay and two original owned cold waves are required. Public cut is opaque; physical owner correlation, admitted row-progress cancellation, integrated compiler/runtime/Linux RF3/resource/recovery and full SQL/native protocol qualification remain separate OPEN.",
      "nextSelectAllCandidate": "REQ-SQLC-006 / AC-SQLC-006 SQLC-READ and REQ/AC-QUERY-004/005/006, ADR-065: NEXT guarded SQL.SelectAll.v1 accepts one unquoted ALL directly after SELECT, preserving the same canonical SelectQuery, default duplicate-preserving rows, bounds, authorization and connection owner. Quoted identifiers remain ordinary fields. SELECT DISTINCT and all unsupported families retain original diagnostics; this does not add deduplication. Original NullOrdering wholeflow declarations/Args/UIDs remain unchanged. Complete SQL ALL/default/canonical AST row pages, two independent identical projected null rows with distinct canonical row IDs, SDK/official MCP/Npgsql simple/prepared parity, original malformed-refusal to same-connection healthy repair, original-token pre-cancel, current persisted query permission denial to restore, complete raw Unit image/cut/identity plus public document/outbox image, exact seed receipt replay and two cold continuations are required. Public cuts remain opaque and physical owner correlation, actual admitted cancellation and Linux/fullSQL qualification remain separate OPEN. No library/AST version/serializer/schema/quota/timeout change.",
      "nextImplicitProjectionAliasCandidate": "REQ-SQLC-006 / AC-SQLC-006 SQLC-READ and REQ/AC-QUERY-004/005/006, ADR-065: NEXT bounded SQL.ImplicitProjectionAlias.v1 accepts ordinary identifier or quoted output label without AS through the existing Selection and canonical identifier/source binding rules. Explicit AS/default path label remain unchanged. Bare currently parsed structural keywords are not consumed as labels; quoting permits ORDER/FROM labels. This is not a complete PostgreSQL keyword-table or full-grammar compatibility promise; those conformance gates stay OPEN. Existing duplicate output aliases refuse Validation before execution. Existing native .NET FrozenSet holds the closed current structural word set once; no library/package/AST/version/serializer/admission/store change. Complete independently literal projected_score/ORDER/FROM JSON rows, original SQL AS and independent AST equality, canonical Q2 joined source lineage with implicit projection/table labels, SDK/official MCP and Q1/Q2 Npgsql simple/prepared outputs, malformed/duplicate-label refusal then same-wire healthy continuation, persisted policy denial/restore, original-token pre-cancel, full Unit raw image/cut/identity and caller-visible RF3 document/outbox parity, exact original seed receipt replay and two cold continuations are required. All original wholecase declarations/Args/lifetimes remain; public query cuts stay opaque and physical-owner/admitted-cancel gates remain separate OPEN.",
      "nextBooleanTruthCandidate": "REQ-SQLC-006 / AC-SQLC-006 SQLC-READ and REQ/AC-QUERY-004/005/006, ADR-065: NEXT N-only SQL.BooleanTruth.v1 lowers IS [NOT] TRUE/FALSE/UNKNOWN into existing charged canonical Comparison/NullTest/Logical/Negation nodes. Present Booleans and JSON null follow PostgreSQL18 truth-test semantics; KeyLoad MISSING remains unknown under every form/NOT, and incompatible present scalar types refuse existing Validation without implicit conversion. Quoted keywords, malformed IS targets and absent parameter targets remain Validation; unsupported operators/statements retain their original diagnostics. Dedicated actual ZoneTree and Aspire-owned SDK/official MCP/Npgsql simple/prepared flows independently require full literal rows, numeric field fault/no partial result/no-effect/type repair, current policy epoch fence, exact original seed/fault/repair receipt replay and two cold continuations. Public cut stays opaque, pre-cancellation remains pre-cancellation, all original owners/primary+disposal ledgers remain joined. Existing System.Boolean/JsonElement and native typed nodes suffice; no new library, AST type/version/serializer/schema, provider, request dispatcher, quota or deadline. Source, compiler/census/runtime/Linux/RF3/physical-owner/fullSQL gates remain independent.",
      "nextSymmetricRangeCandidate": "Guarded N-only candidate SQL.BetweenSymmetric.v1 adds BETWEEN SYMMETRIC and NOT BETWEEN SYMMETRIC by lowering two inclusive ordered ranges through existing Comparison/Logical OR/Negation nodes. Ordinary BETWEEN remains ordered and unchanged. Existing normalizer charges every generated node; parameter, path, authorization, scan/read/output/depth limits and cancellation remain unchanged. Null/MISSING retain unknown; incompatible present scalar operands refuse existing Validation. No implicit conversion, AST version, serializer or package change. Independent literal forward/reversed/equal/null/field-bound SQL+AST pages, malformed refusal, genuine type fault to repair and exact original GUID receipt replay, fresh persisted query-policy denial to restore, original-token pre-cancel, complete SDK/official MCP/Npgsql simple/prepared continuation and two cold opens are source candidates; no admitted row-progress cancellation or physical-owner cut proof is claimed. Native binding, source-qualified Linux RF3, recovery and resource gates remain OPEN; this family does not complete full SQL.",
      "name": "SELECT expressions, types, casts, nulls, collations, scalar functions",
      "syntax": "Q1 fields and predicates plus bounded BETWEEN/NOT BETWEEN qualified at source7d1196",
      "execution": "Qualified bounded Q1 only; full PostgreSQL18 typed expressions pending",
      "evidence": "AC-SQLC-006A original21unit cases in each normal/scalar mode and2genuine RF3cases pass; Historical intermediate report removed from repository; no current qualification inferred; complete AC-SQLC-006 remains pending",
      "sourceContract": "Bounded SQL.NullDistinct.v1 source candidate: IS [NOT] DISTINCT FROM lowers into existing charged canonical predicate nodes. Two JSON nulls are not distinct, one null is distinct, present non-null values use existing comparison; MISSING remains unknown and incompatible present scalar types refuse Validation. Independent whole ZoneTree and genuine Npgsql/SDK/MCP Aspire RF3 policy/refusal/type-repair/original-receipt/two-cold source flows; compilation/runtime/Linux/physical-owner/fullSQL gates OPEN. SELECT DISTINCT is not included.",
      "nextBooleanOperandCandidate": "SQL.BooleanPredicate.v1 (source candidate; not qualified)\n\nREQ-SQLC-006 / AC-SQLC-006 SQLC-READ and REQ/AC-QUERY-004/005/006, ADR-065: a Boolean field, scalar Boolean parameter or TRUE/FALSE/NULL operand may be a complete WHERE predicate and may participate in NOT/AND/OR/grouping. Lower it to the existing Comparison(value, equals, true) AST. Native null/missing three-valued semantics remain: NOT NULL and NOT missing do not admit a row; do not lower bare NOT to IS NOT TRUE. Non-Boolean retained values refuse the existing Validation diagnostic; no numeric/string truth coercion. Only existing end, group, logical, ORDER and bounded LIMIT/OFFSET/FETCH boundaries terminate a bare operand; incomplete comparison, missing parameter, malformed predicate and unsupported operators retain their existing safe diagnostic contract. No AST/version/serializer/protocol/library, policy/read-cut, deadline or resource-limit changes.\n\nPreserve original SqlBooleanTruth Unit and Aspire RF3 declarations/Args/UIDs. Extend their genuine native whole flows with independently authored full SQL/AST rows for bare and negated fields, TRUE/FALSE/NULL, grouped/logical predicates and real Boolean true/false/null parameters; SDK and official MCP plus Npgsql simple/prepared execute the same complete results. Malformed refusal must be followed by a healthy request on the original native connection. Original persisted query-permission denial/restoration, retained scalar-type fault and exact revision3 repair, original cancellation token, seed/fault/repair receipt replay, full native store image/position/identity and public document/outbox image, warm and two owned cold waves remain mandatory. Query cuts remain opaque publicly. Source/native admission, compilation, runtime, Linux RF3/recovery/resource, physical-owner correlation and full SQL/client compatibility gates remain OPEN until actual evidence.\n"
    },
    {
      "id": "SQLC-JOIN",
      "nextDefaultInnerJoinCandidate": "REQ-SQLC-006 / AC-SQLC-006 SQLC-JOIN, REQ-QUERY-007 / AC-QUERY-007-JOIN-001/002 and existing AC-REL-004-JOIN criteria under ADR-118/065: NEXT guarded SQL.DefaultInnerJoin.v1 recognizes unquoted JOIN as the standard optional-INNER spelling of the existing closed Q2 InnerJoinClause. Both source aliases, same atomic partition, Text primary-key equijoin, model-reference/row integrity, current field/resource permissions, one admitted read cut, full retained-source validation and all native cumulative record/byte/depth/output limits remain unchanged. Q1 still refuses joins with UnsupportedCapability; quoted JOIN stays an ordinary identifier. This adds no OUTER/CROSS/NATURAL/USING/multi-join or AST/version/library/serializer/transport capability. Real ZoneTree full joined rows/source lineage, malformed missing-ON refusal then original healthy repair, Q1 refusal, fresh persisted query-policy denial/restore, original-token pre-cancel, complete raw image/cut/identity, SDK/official MCP and Npgsql simple/prepared same-connection pages, original seed receipts and two cold continuations are required. Query cuts remain opaque publicly; admitted row-progress cancellation, physical-owner authority and exact-source Linux/fault/resource/fullSQL gates remain separate OPEN. Current source draft is not source Y or qualification.",
      "name": "joins, subqueries, correlated queries, CTEs including recursive/data modifying",
      "syntax": "Closed Q2/AST2 Text primary-key INNER equijoin source joined; all other join/subquery/CTE forms remain pending",
      "execution": "Real ZoneTree single authorized committed cut, literal SQL/AST projections, ordinal ordering, both source identities, policy/redaction, cumulative bounds, cancellation and reopen exercised in owning local normal/scalar; public RF3/Linux and remaining negative inventories pending",
      "evidence": "ADR118/RelationalStorage/QueryExecution mapped subcriteria; R291/R292 owning606/606 with zero drift/skips. No full REQ/AC-SQLC-006 closure, full SQL or native SQL protocol inferred."
    },
    {
      "id": "SQLC-GROUP",
      "name": "aggregates, grouping sets, having, windows",
      "syntax": "pending",
      "execution": "pending",
      "evidence": "AC-SQLC-006 pending"
    },
    {
      "id": "SQLC-SET",
      "nextOrderUsingCandidate": "REQ-SQLC-006 / AC-SQLC-006 SQLC-SET and REQ/AC-QUERY-004/005/006, ADR-065: next guarded SQL.OrderUsing.v1 accepts ORDER BY a currently supported field USING < or USING >, with the original optional NULLS FIRST/LAST, by lowering to the existing natural ascending/descending Ordering. Default placement, KeyLoad MISSING ordering, full-reference tie break, source validation, supported-model restrictions, per-operation persisted permissions, native read cut, read/output/depth limits and signed canonical cursor stay unchanged. This closed natural-operator profile does not implement arbitrary PostgreSQL operator families, user-defined type/collation/default-null semantics, expressions or full SQL. Missing/literal/parameter direction refuses Validation; other valid symbolic or qualified operators and mixed/duplicate direction refuse UnsupportedCapability before result publication. No custom comparator/delegate, library, AST/version/serializer/store/protocol/deadline change. Preserve original NullOrdering and SqlOffset wholeclass declarations, Args, UIDs and all ALL/alias/order controls. Independent complete ascending/descending/null-first/null-last SQL/AST rows, native SQL-to-AST-to-SQL cursor continuation, seven malformed/unsupported operator refusal-to-healthy flows on the same original SDK/MCP/Npgsql owner, current persisted policy deny-to-exact epoch repair, original-token pre-cancel-to-healthy, complete Unit raw image/cut/identity and RF3 document/outbox image, original seed receipt replay and two actual fixture-owned cold waves are required. Public cuts remain opaque; admitted cancellation, physical-owner correlation, integrated compiler/runtime/Linux RF3/resource/recovery and full SQL/client compatibility remain separate OPEN.",
      "nextSourceCandidate": "REQ-SQLC-006 / AC-SQLC-006 (SQLC-SET), REQ/AC-QUERY-004/005/006 and ADR-065: NEXT N-only bounded standard OFFSET/FETCH source candidate accepts OFFSET unsigned-count [ROW|ROWS] FETCH FIRST|NEXT [positive-count] ROW|ROWS ONLY through the existing canonical Limit/Offset tuple. Existing long-checked MaxResults, read/output budgets, cancellation, persisted policy, signed logical cursor, Q1/Q2 full-history validation and unsupported WITH TIES/duplicate/mixed LIMIT refusal remain unchanged. Preserve original SqlOffsetWholeFlowTests/SqlOffsetRf3WholeFlowTests/SqlFetchCountRf3WholeFlowTests declarations and all controls; extend full literal Q1 cursor continuation and Q2 SQL/AST rows, negative/overflow/zero/duplicate/TIES refusal, repaired policy, original seed replay and two cold workflows. Real Npgsql simple/prepared plus SDK/MCP compare independent complete offset b/c JSONB pages. Public cut remains opaque; no physical-owner, full SQL, compile/runtime/Linux or qualified protocol claim. Current source is unchanged until a later reviewed writer slot.",
      "name": "set operations, distinct, order, offset, fetch, limit",
      "syntax": "Current Q1 order/limit; coherent source candidate explicit NULLS FIRST/LAST, bounded Q1/Q2 INNER JOIN OFFSET and separate FETCH FIRST/NEXT optional positive literal ROW/ROWS ONLY; DISTINCT/set/mixed FETCH-OFFSET/WITH TIES pending",
      "execution": "Current Q1 order/limit; source candidate preserves original authorization/read view/read and output budgets, positive MaxResults windows, signed continuation, canonical identity/full-history validation and default-zero compatibility",
      "evidence": "AC-SQLC-006 remains pending; complete independently authored Unit ZoneTree and Aspire RF3 SDK/MCP/Npgsql operation flows are source candidates only; native new-role compilation/UIDs/Linux/fault/resource/physical-owner gates OPEN"
    },
    {
      "id": "SQLC-DML",
      "name": "INSERT, UPDATE, DELETE, MERGE, conflict handling, RETURNING, COPY",
      "syntax": "pending",
      "execution": "typed canonical row APIs only",
      "evidence": "AC-SQLC-006 pending"
    },
    {
      "id": "SQLC-DDL",
      "name": "database/schema/table/type/domain/index/view/materialized view/sequence create alter drop",
      "syntax": "pending",
      "execution": "canonical resource/schema APIs only",
      "evidence": "AC-SQLC-006 pending"
    },
    {
      "id": "SQLC-INTEGRITY",
      "name": "primary unique check foreign keys, deferred constraints, triggers, rules",
      "syntax": "pending",
      "execution": "typed row required/type/key checks only",
      "evidence": "AC-SQLC-006 pending"
    },
    {
      "id": "SQLC-TXN",
      "name": "BEGIN, COMMIT, ROLLBACK, SAVEPOINT, isolation, locks, prepared transactions",
      "syntax": "pending",
      "execution": "canonical atomic command boundary only",
      "evidence": "AC-SQLC-006/008 pending"
    },
    {
      "id": "SQLC-ROUTINE",
      "name": "functions, procedures, DO, CALL",
      "syntax": "canonical CALL envelope in default query dialect1 only; nondefault version explicitly unsupported",
      "execution": "sole canonical operation catalog only; additive source-only CALL keyload_messages_receive_across_lanes(@args) uses MultiLaneReceiveRequest and independent typed lane outcomes in SQL envelope1/queryDialectVersion1",
      "evidence": "TASK-KL087-MULTI-LANE-RECEIVE-001, REQ-MSG-007/AC-MSG-007, ADR-026; MultiLaneReceiveRf3Tests authors real SDK/MCP/SQL-SDK/SQL-MCP parity, execution pending. Full routine execution, full SQL and native client protocol qualification remain pending"
    },
    {
      "id": "SQLC-SESSION",
      "name": "SET, RESET, SHOW, PREPARE, EXECUTE, DEALLOCATE, cursor lifecycle",
      "syntax": "pending",
      "execution": "pending",
      "evidence": "AC-SQLC-007/008 pending",
      "sourceContract": "Coherent native source candidate: exact statement-object dependent portal retirement, atomic existing byte grant, simple-query unnamed invalidation, safe Sync repair, positive Execute limit for the same one complete JSONB result and original failure-delivery ledger. Fresh persisted auth/native CQRS/deadline/disposal remain. General SQL session syntax/transactions/suspended portals/full PostgreSQL compatibility and deterministic ErrorResponse receiver-failure/Linux qualification remain OPEN."
    },
    {
      "id": "SQLC-AUTH",
      "name": "roles, GRANT, REVOKE, row security and policy DDL",
      "syntax": "pending",
      "execution": "persisted canonical authorization APIs only",
      "evidence": "AC-SQLC-006/008 pending"
    },
    {
      "id": "SQLC-META",
      "name": "EXPLAIN, catalog/information_schema, diagnostics and client bootstrap",
      "syntax": "Q1 EXPLAIN only",
      "execution": "Q1 EXPLAIN only",
      "evidence": "AC-SQLC-006/007 pending"
    },
    {
      "id": "SQLC-ADMIN",
      "name": "maintenance, notifications, publication/subscription, extensions and remaining PostgreSQL18 SQL commands",
      "syntax": "pending",
      "execution": "pending",
      "evidence": "complete command inventory and AC-SQLC-001/006 pending"
    },
    {
      "id": "SQLC-MODELS",
      "name": "linked documents, rows, graph, vector/text search, series, blobs, queues, events",
      "syntax": "canonical CALL only",
      "execution": "existing canonical operations only",
      "evidence": "declarative typed execution AC-SQLC-006 pending"
    }
  ],
  "qualification": {
    "testsLocation": "GitHub Actions only",
    "newLexicalCasesExecuted": "Existing comment cases are included in the genuine qualified baseline; full PostgreSQL lexical conformance is not established.",
    "coverage": "collector unavailable; pending",
    "fullNativeClientEvidence": null,
    "completePerformanceCohort": null,
    "latestQualifiedBaseline": "Historical intermediate report removed from repository; no current qualification inferred",
    "currentBetween": {
      "sourceRevision": "be2e8918d9636c2507af26588279035e7183c918",
      "sourceRunConclusion": "cancelled_no_steps_or_original_reports",
      "successorSourceRevision": "7d1196db51f682f64ffcf4560e7b3f12b49b499b",
      "ciRunId": 37132491153,
      "ownedSourceFilesByteEquivalent": 11,
      "runtimeQualification": "passed44original_execution_rows_and_full_source_ci",
      "normalCasesExpected": 21,
      "scalarCasesExpected": 21,
      "rf3CasesExpected": 2,
      "originalPassedCounts": {
        "normal": 21,
        "scalar": 21,
        "rf3": 2
      },
      "qualificationReceipt": "Historical intermediate report removed from repository; no current qualification inferred",
      "coverageQualified": false,
      "performanceQualified": false
    }
  },
  "commandInventory": "docs/implementation/sql-client-commands-postgresql18.json",
  "officialCommandCount": 183,
  "commandInventoryStatus": "all official names mapped for planning; semantic contracts and real execution fixtures pending; family mappings are research inference",
  "currentLanguageContract": {
    "decision": "ADR-118",
    "defaultAstVersion": 1,
    "defaultQueryDialectVersion": 1,
    "sourceTargetAstVersions": [
      1,
      2
    ],
    "sourceTargetQueryDialectVersions": [
      1,
      2
    ],
    "q2Profile": "Q2.InnerJoin.v1",
    "q2Profiles": [
      "Q2.InnerJoin.v1",
      "Q2.InnerJoin.LeftPredicate.v1",
      "Q2.QueueEntityRefJoin.v1",
      "Q2.EventEntityRefJoin.v1"
    ],
    "q2Scope": "Explicit source projection; one same-partition typed Text-primary-key INNER JOIN with declared top-level left predicates, or QUEUE_MESSAGES/EVENTS payload.to canonical reference JOIN to one typed target. Left ordinal primary-key/message-id or event revision order, explicit full-scan consent, bounded LIMIT and one authorized native read cut",
    "sourceStage": "Current source contains the four finite Q2 profiles; current-source public RF3/Linux and complete SQL/client qualification remain pending. The preserved normal/scalar606 receipts below are immutable historical development evidence, not current-source qualification",
    "q2Unsupported": [
      "right-source WHERE predicates",
      "nested or metadata predicates on typed left tables",
      "arbitrary model sources/reference paths",
      "cursor",
      "self or multiple joins",
      "outer/cross joins",
      "non-primary-key right key",
      "non-Text key",
      "star projection",
      "EXPLAIN INNER JOIN",
      "GROUP/aggregate/subquery/CTE",
      "CALL with nondefault query dialect"
    ],
    "fullSqlComplete": false,
    "nativeClientProtocolQualified": false,
    "localDevelopmentEvidence": {
      "normalTrxSha256": "523837cecb848838ed013f6cdaa6352a4f72e813c0576b683937f50efe97621c",
      "scalarTrxSha256": "55357a69d0c777973beaec0ba6e5b7b175480a7329acc250361281e6fd6f30ab",
      "fullSqlComplete": false,
      "nativeClientProtocolQualified": false
    }
  },
  "textIndexFoundation": {
    "repository": "https://github.com/ZoneTree/ZoneTree.FullTextSearch",
    "decision": "selected by owner on2026-10-03",
    "ownership": "native node-local full-text index over canonical ZoneTree records; not an SQL parser or replacement canonical database",
    "integration": "existing native selected provider; its scoped tests and qualification remain in Search/FullTextNative",
    "performanceQualification": "open; SQL conformance does not qualify comparative search performance"
  },
  "preparedStringContinuation": {
    "profile": "SQL.StringContinuation.v1",
    "criteria": [
      "AC-SQLC-006",
      "AC-QUERY-004",
      "AC-QUERY-005",
      "AC-QUERY-006"
    ],
    "sourceOnly": true,
    "qualified": false,
    "sameLineAndBlockOnly": "unsupported",
    "fragmentBudget": "each original quoted fragment counts unchanged MaxQueryTokens",
    "utf8": "validate entire E byte stream after final fragment"
  },
  "nextTableShorthandCandidate": {
    "profile": "SQL.TableShorthand.v1",
    "criterion": "REQ-SQLC-006 / AC-SQLC-006 SQLC-READ; REQ/AC-QUERY-004/005/006; ADR065",
    "state": "native-source-draft-not-qualified",
    "syntax": "TABLE ordinaryCollection [ORDER BY existing ordering] [existing bounded LIMIT/OFFSET/FETCH]",
    "lowering": "Existing SelectQuery star projection; no new AST or transport.",
    "unsupported": [
      "aliases",
      "WHERE",
      "JOIN",
      "model source functions",
      "schema qualified source",
      "ONLY inheritance",
      "set operators",
      "aggregates",
      "locking"
    ],
    "flowOwners": [
      "SqlOffsetWholeFlowTests",
      "PostgresNativeSessionRf3Tests"
    ],
    "remainingGates": [
      "Fresh native binding/N/NF/creationNS",
      "compile",
      "runtime",
      "Linux",
      "resource",
      "physical owner"
    ]
  },
  "nextOrdinalOrderingCandidate": {
    "profile": "SQL.OrdinalOrder.v1",
    "criterion": "REQ-SQLC-006 / AC-SQLC-006 SQLC-READ; REQ/AC-QUERY-004/005/006; ADR065",
    "state": "native-source-draft-not-qualified",
    "syntax": "ORDER BY positive Int32 decimal explicit projection ordinal",
    "lowering": "Existing explicit Selection.Path; existing left-source-only Q2 ordering boundary.",
    "unsupported": [
      "star schema expansion",
      "new order expression grammar",
      "wire cursor transport"
    ],
    "flowOwners": [
      "SqlOffsetWholeFlowTests"
    ],
    "futureRf3Owner": "OPEN pending exact current four-row fixture/profile native contracts",
    "remainingGates": [
      "native binding/N/NF/creationNS",
      "compiler/runtime",
      "Linux",
      "resource",
      "physical owner"
    ]
  }
}