@hypequery/protocol-conformance 0.11.2 → 0.13.0

package/dist/adapters/generators.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generators.d.ts","sourceRoot":"","sources":["../../src/adapters/generators.ts"],"names":[],"mappings":"AAIA,KAAK,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAkBpC,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAuC1D;AAID,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAMxD;AAMD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAoCzD;AAID,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CA2BrD;AAgBD,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAuB7D;AA4CD,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAsFjE;AAkBD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAyBpD;AAeD,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAoB1D;AAmBD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAmBrD;AAaD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAgBtD"}
+{"version":3,"file":"generators.d.ts","sourceRoot":"","sources":["../../src/adapters/generators.ts"],"names":[],"mappings":"AAIA,KAAK,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAkBpC,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAuC1D;AAID,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAMxD;AAMD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CA0CzD;AAID,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CA2BrD;AAgBD,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAuB7D;AA4CD,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAsFjE;AAkBD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAyBpD;AAeD,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAoB1D;AAmBD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAmBrD;AAaD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAgBtD"}

package/dist/adapters/generators.js

@@ -89,6 +89,12 @@ export function materializeExpression(spec) {
                     operands: Array.from({ length: groupIndex === 9 ? spec.lastGroupItems : 100 }, () => ({ ...EXPR_LITERAL })),
                 })),
             };
+        case 'segments':
+            return {
+                kind: 'dataset',
+                dataset: 'orders',
+                segments: Array.from({ length: spec.count }, (_, index) => `s${index}`),
+            };
         case 'unsafe-accessor': {
             const value = { kind: 'reference' };
             Object.defineProperty(value, 'name', { enumerable: true, get: () => 'orders' });

package/dist/adapters/reference.d.ts

@@ -9,7 +9,7 @@ export declare const REFERENCE_HOSTILE_OBJECT_SUITE: {
     readonly count: 7;
     readonly mechanisms: readonly ["getter", "toJSON", "proxy", "custom-prototype", "symbol-key", "sparse-array", "cycle"];
 };
-export declare const REFERENCE_FAMILIES: readonly ["cache-keys-v1", "tagged-values-v1", "identifiers-v1", "expressions-v1", "query-schemas-v1", "query-implementations-v1", "query-events-v1", "query-diagnostics-v1", "deployments-v2", "deployment-bundles-v1", "deployment-releases-v1", "semantic-invocations-v1"];
+export declare const REFERENCE_FAMILIES: readonly ["cache-keys-v1", "tagged-values-v1", "identifiers-v1", "expressions-v1", "expressions-v2", "query-schemas-v1", "query-implementations-v1", "query-events-v1", "query-diagnostics-v1", "deployments-v2", "deployments-v3", "deployment-bundles-v1", "deployment-releases-v1", "semantic-invocations-v1", "semantic-invocations-v2"];
 export declare function referenceHandle(family: string, role: FixtureRole, c: Case, section?: string): HandlerResult;
 export {};
 //# sourceMappingURL=reference.d.ts.map

package/dist/adapters/reference.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reference.d.ts","sourceRoot":"","sources":["../../src/adapters/reference.ts"],"names":[],"mappings":"AA+BA,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAc9D,KAAK,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AA0BpC;;;;GAIG;AACH,eAAO,MAAM,8BAA8B;;;CAWjC,CAAC;AAEX,eAAO,MAAM,kBAAkB,+QAarB,CAAC;AAEX,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,WAAW,EACjB,CAAC,EAAE,IAAI,EACP,OAAO,CAAC,EAAE,MAAM,GACf,aAAa,CAsCf"}
+{"version":3,"file":"reference.d.ts","sourceRoot":"","sources":["../../src/adapters/reference.ts"],"names":[],"mappings":"AAmCA,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAc9D,KAAK,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AA0BpC;;;;GAIG;AACH,eAAO,MAAM,8BAA8B;;;CAWjC,CAAC;AAEX,eAAO,MAAM,kBAAkB,8UAgBrB,CAAC;AAEX,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,WAAW,EACjB,CAAC,EAAE,IAAI,EACP,OAAO,CAAC,EAAE,MAAM,GACf,aAAa,CA4Cf"}

package/dist/adapters/reference.js

@@ -2,7 +2,7 @@
 // root export of @hypequery/protocol and returns a wire result. Every operation
 // goes through the package's supported surface — this is exactly what a second
 // implementation must reproduce.
-import { decodeCanonicalValue, deriveProtocolCacheKey, deriveProtocolCacheNamespaceToken, encodeCanonicalValue, hashCanonicalValue, parseProtocolIdentifier, parseProtocolQualifiedIdentifier, prepareProtocolDeploymentBundleManifest, prepareProtocolDeploymentContract, prepareProtocolDeploymentReleaseEnvelope, splitProtocolQualifiedIdentifier, validateCanonicalValue, validateProtocolDeploymentBundleManifest, validateProtocolDeploymentContract, validateProtocolDeploymentReleaseEnvelope, validateProtocolExpression, validateProtocolQueryDiagnostics, validateProtocolQueryEvent, validateProtocolQueryImplementation, validateProtocolSchema, validateProtocolSemanticInvocation, validateProtocolSemanticInvocationFailure, validateProtocolSemanticInvocationResult, validateProtocolSemanticQuery, validateProtocolSqlExpression, } from '@hypequery/protocol';
+import { decodeCanonicalValue, deriveProtocolCacheKey, deriveProtocolCacheNamespaceToken, encodeCanonicalValue, hashCanonicalValue, parseProtocolIdentifier, parseProtocolQualifiedIdentifier, prepareProtocolDeploymentBundleManifest, prepareProtocolDeploymentContract, prepareProtocolDeploymentContractV3, prepareProtocolDeploymentReleaseEnvelope, splitProtocolQualifiedIdentifier, validateCanonicalValue, validateProtocolDeploymentBundleManifest, validateProtocolDeploymentContract, validateProtocolDeploymentContractV3, validateProtocolDeploymentReleaseEnvelope, validateProtocolExpression, validateProtocolQueryDiagnostics, validateProtocolQueryEvent, validateProtocolQueryImplementation, validateProtocolSchema, validateProtocolSemanticInvocation, validateProtocolSemanticInvocationFailure, validateProtocolSemanticInvocationResult, validateProtocolSemanticInvocationV2, validateProtocolSemanticQuery, validateProtocolSqlExpression, } from '@hypequery/protocol';
 import { materializeBundle, materializeDiagnostics, materializeEvent, materializeSemanticInvocation, materializeExpression, materializeIdentifier, materializeImplementation, materializeRelease, materializeSchema, materializeTaggedValue, } from './generators.js';
 const STABLE_CODE = /^HQ_[A-Z0-9_]+$/;
 /** Turns a thrown protocol error into a wire rejection; rethrows anything else. */
@@ -47,14 +47,17 @@ export const REFERENCE_FAMILIES = [
     'tagged-values-v1',
     'identifiers-v1',
     'expressions-v1',
+    'expressions-v2',
     'query-schemas-v1',
     'query-implementations-v1',
     'query-events-v1',
     'query-diagnostics-v1',
     'deployments-v2',
+    'deployments-v3',
     'deployment-bundles-v1',
     'deployment-releases-v1',
     'semantic-invocations-v1',
+    'semantic-invocations-v2',
 ];
 export function referenceHandle(family, role, c, section) {
     switch (family) {
@@ -63,7 +66,9 @@ export function referenceHandle(family, role, c, section) {
         case 'identifiers-v1':
             return handleIdentifier(role, c);
         case 'expressions-v1':
-            return handleExpression(role, c, section);
+            return handleExpression(role, c, section, 1);
+        case 'expressions-v2':
+            return handleExpression(role, c, section, 2);
         case 'query-schemas-v1':
             return attempt(() => {
                 validateProtocolSchema(validationInput(c, materializeSchema));
@@ -83,12 +88,16 @@ export function referenceHandle(family, role, c, section) {
             });
         case 'deployments-v2':
             return handleDeploymentV2(role, c);
+        case 'deployments-v3':
+            return handleDeploymentV3(role, c);
         case 'deployment-bundles-v1':
             return handleBundle(role, c);
         case 'deployment-releases-v1':
             return handleRelease(role, c);
         case 'semantic-invocations-v1':
-            return handleSemanticInvocation(c);
+            return handleSemanticInvocation(c, 1);
+        case 'semantic-invocations-v2':
+            return handleSemanticInvocation(c, 2);
         case 'cache-keys-v1':
             return handleCacheKey(role, c);
         default:
@@ -99,9 +108,9 @@ export function referenceHandle(family, role, c, section) {
  * One family covers the invocation, result, and failure records, so each case
  * names which one it validates against.
  */
-function handleSemanticInvocation(c) {
+function handleSemanticInvocation(c, version) {
     const validators = {
-        invocation: validateProtocolSemanticInvocation,
+        invocation: version === 2 ? validateProtocolSemanticInvocationV2 : validateProtocolSemanticInvocation,
         result: validateProtocolSemanticInvocationResult,
         failure: validateProtocolSemanticInvocationFailure,
     };
@@ -185,17 +194,17 @@ function handleIdentifier(role, c) {
         return ACCEPT;
     });
 }
-function handleExpression(role, c, section) {
+function handleExpression(role, c, section, extension) {
     const isQuery = section === '/queries' || c.mode === 'query';
     const validate = isQuery ? validateProtocolSemanticQuery : validateProtocolExpression;
     if (role === 'success') {
         return attempt(() => {
-            validate(validationInput(c, materializeExpression));
+            validate(validationInput(c, materializeExpression), { extension });
             return ACCEPT;
         });
     }
     return attempt(() => {
-        validate(validationInput(c, materializeExpression));
+        validate(validationInput(c, materializeExpression), { extension });
         return ACCEPT;
     });
 }
@@ -220,6 +229,18 @@ function handleDeploymentV2(role, c) {
         return ACCEPT;
     });
 }
+function handleDeploymentV3(role, c) {
+    if (role === 'identity') {
+        return attempt(() => {
+            const prepared = prepareProtocolDeploymentContractV3(c.value);
+            return { ok: true, output: { canonical: prepared.canonical, sha256: prepared.identity } };
+        });
+    }
+    return attempt(() => {
+        validateProtocolDeploymentContractV3(c.value);
+        return ACCEPT;
+    });
+}
 function handleBundle(role, c) {
     if (role === 'identity') {
         return attempt(() => {

package/fixtures/deployments-v2/README.md

@@ -0,0 +1,15 @@
+# Deployment contract v2 fixtures
+
+`success.json` holds contracts every implementation must accept, `identity.json`
+pins the canonical bytes and SHA-256 of the success case sharing its id, and
+`rejections.json` pins a stable failure code for each rule the contract states.
+
+Acceptance of RFC 0006 added the rejection corpus. Before it, the family had one
+success and one identity case, which cannot tell a faithful validator from one
+that accepts contracts another implementation rejects — the corpus now covers
+the envelope's forbidden fields, the null-versus-absent distinction, relationship
+and tenant agreement, measure shape, semantic metadata, defaults, endpoint
+policy, and derived-measure rules.
+
+Every case was checked against both the TypeScript and Python implementations
+before being recorded; none of them changed either implementation's behaviour.