@hypequery/protocol-conformance 0.11.1 → 0.12.0

package/dist/adapters/generators.d.ts

@@ -7,7 +7,6 @@ export declare function materializeImplementation(spec: Spec): unknown;
 export declare function materializeSemanticInvocation(spec: Spec): unknown;
 export declare function materializeEvent(spec: Spec): unknown;
 export declare function materializeDiagnostics(spec: Spec): unknown;
-export declare function materializeDeployment(spec: Spec): unknown;
 export declare function materializeBundle(spec: Spec): unknown;
 export declare function materializeRelease(spec: Spec): unknown;
 export {};

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;AA2BD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAyFzD;AAkBD,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,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"}

package/dist/adapters/generators.js

@@ -368,118 +368,6 @@ export function materializeDiagnostics(spec) {
         default: throw new Error(`Unknown diagnostics generator: ${String(spec.type)}`);
     }
 }
-// --- deployments-v1 ---
-function minimalDataset(name = 'orders') {
-    return {
-        name,
-        source: 'orders',
-        tenant: { kind: 'not-required' },
-        dimensions: [],
-        measures: [],
-        filters: [],
-        metrics: [],
-        relationships: [],
-    };
-}
-function baseDeployment() {
-    return {
-        kind: 'hypequery-deployment',
-        version: 1,
-        datasets: [minimalDataset()],
-        queries: [],
-        artifacts: [],
-    };
-}
-export function materializeDeployment(spec) {
-    const value = baseDeployment();
-    switch (spec.type) {
-        case 'wrong-root-type': return [];
-        case 'unknown-root-field': return { ...value, extra: true };
-        case 'unsupported-version': return { ...value, version: 2 };
-        case 'invalid-dataset-identifier': return { ...value, datasets: [minimalDataset('bad-name')] };
-        case 'invalid-relationship-queryability':
-            return {
-                ...value,
-                datasets: [{
-                        ...minimalDataset(),
-                        relationships: [{
-                                name: 'items', kind: 'hasMany', target: 'orders', from: 'id', to: 'order_id', queryable: true,
-                            }],
-                    }],
-            };
-        case 'missing-runtime-artifact':
-            return {
-                ...value,
-                queries: [{
-                        name: 'health',
-                        input: { kind: 'any' },
-                        output: { kind: 'any' },
-                        implementation: {
-                            kind: 'runtime-reference', runtime: 'node', artifactSha256: '0'.repeat(64), entrypoint: 'queries.health',
-                        },
-                        endpoint: { access: { kind: 'public' }, tenant: { kind: 'not-required' }, method: 'GET', path: '/health' },
-                        tags: [],
-                    }],
-            };
-        case 'ambiguous-query-route': {
-            const namedQuery = (name) => ({
-                name,
-                input: { kind: 'void' },
-                output: { kind: 'void' },
-                implementation: {
-                    kind: 'semantic-plan',
-                    query: { kind: 'dataset', dataset: 'orders', dimensions: [], measures: [], filters: [], orderBy: [] },
-                },
-                endpoint: { access: { kind: 'public' }, tenant: { kind: 'not-required' }, method: 'GET', path: '/same' },
-                tags: [],
-            });
-            return { ...value, queries: [namedQuery('first'), namedQuery('second')] };
-        }
-        case 'invalid-sensitivity':
-            return { ...value, datasets: [{ ...minimalDataset(), sensitivity: 'secret' }] };
-        case 'invalid-currency':
-            return { ...value, datasets: [{ ...minimalDataset(), currency: 'usd' }] };
-        case 'empty-defaults':
-            return { ...value, datasets: [{ ...minimalDataset(), defaults: {} }] };
-        case 'default-dimension-not-groupable':
-            return {
-                ...value,
-                datasets: [{
-                        ...minimalDataset(),
-                        dimensions: [{
-                                name: 'status',
-                                type: 'string',
-                                source: { kind: 'column', column: 'status' },
-                                filterable: true,
-                                groupable: false,
-                            }],
-                        defaults: { dimensions: ['status'] },
-                    }],
-            };
-        case 'default-grain-without-time-field':
-            // `timeGrain` has nothing to apply to unless the dataset declares
-            // `timeField`, so the reference reports it as a broken reference.
-            return { ...value, datasets: [{ ...minimalDataset(), defaults: { timeGrain: 'day' } }] };
-        case 'too-many-datasets':
-            return { ...value, datasets: Array.from({ length: 101 }, (_, i) => minimalDataset(`dataset_${i}`)) };
-        case 'too-many-synonyms':
-            return {
-                ...value,
-                datasets: [{
-                        ...minimalDataset(),
-                        synonyms: Array.from({ length: 101 }, (_, i) => `synonym_${i}`),
-                    }],
-            };
-        case 'source-too-large':
-            return { ...value, datasets: [{ ...minimalDataset(), source: repeat('a', 1_025) }] };
-        case 'unsafe-accessor': {
-            const unsafe = baseDeployment();
-            Object.defineProperty(unsafe, 'kind', { enumerable: true, get: () => 'hypequery-deployment' });
-            return unsafe;
-        }
-        default: throw new Error(`Unknown deployment generator: ${String(spec.type)}`);
-    }
-}
 // --- deployment-bundles-v1 ---
 function bundleArtifact(index = 0) {
     const sha256 = index.toString(16).padStart(64, '0');

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-v1", "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", "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 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;AAe9D,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":"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"}

package/dist/adapters/reference.js

@@ -3,7 +3,7 @@
 // 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 { materializeBundle, materializeDeployment, materializeDiagnostics, materializeEvent, materializeSemanticInvocation, materializeExpression, materializeIdentifier, materializeImplementation, materializeRelease, materializeSchema, materializeTaggedValue, } from './generators.js';
+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. */
 function mapError(error) {
@@ -51,7 +51,7 @@ export const REFERENCE_FAMILIES = [
     'query-implementations-v1',
     'query-events-v1',
     'query-diagnostics-v1',
-    'deployments-v1',
+    'deployments-v2',
     'deployment-bundles-v1',
     'deployment-releases-v1',
     'semantic-invocations-v1',
@@ -81,8 +81,8 @@ export function referenceHandle(family, role, c, section) {
                 validateProtocolQueryDiagnostics(validationInput(c, materializeDiagnostics));
                 return ACCEPT;
             });
-        case 'deployments-v1':
-            return handleDeployment(role, c);
+        case 'deployments-v2':
+            return handleDeploymentV2(role, c);
         case 'deployment-bundles-v1':
             return handleBundle(role, c);
         case 'deployment-releases-v1':
@@ -208,7 +208,7 @@ function handleImplementation(c) {
         return ACCEPT;
     });
 }
-function handleDeployment(role, c) {
+function handleDeploymentV2(role, c) {
     if (role === 'identity') {
         return attempt(() => {
             const prepared = prepareProtocolDeploymentContract(c.value);
@@ -216,7 +216,7 @@ function handleDeployment(role, c) {
         });
     }
     return attempt(() => {
-        validateProtocolDeploymentContract(validationInput(c, materializeDeployment));
+        validateProtocolDeploymentContract(c.value);
         return ACCEPT;
     });
 }

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.

package/fixtures/deployments-v2/identity.json

@@ -0,0 +1,7 @@
+[
+  {
+    "id": "derived-measures",
+    "canonical": "{\"datasets\":[{\"dimensions\":[],\"filters\":[],\"measures\":[{\"aggregation\":\"sum\",\"field\":\"amount\",\"filters\":[],\"name\":\"revenue\"},{\"aggregation\":\"count\",\"field\":\"id\",\"filters\":[],\"name\":\"orders\"},{\"expression\":{\"kind\":\"binary\",\"left\":{\"kind\":\"reference\",\"name\":\"revenue\"},\"operator\":\"divide\",\"right\":{\"args\":[{\"kind\":\"reference\",\"name\":\"orders\"}],\"function\":\"nullIfZero\",\"kind\":\"call\"}},\"kind\":\"derived\",\"name\":\"averageOrderValue\",\"uses\":[{\"alias\":\"revenue\",\"measure\":\"revenue\"},{\"alias\":\"orders\",\"measure\":\"orders\"}]}],\"name\":\"orders\",\"relationships\":[],\"source\":\"orders\",\"tenant\":{\"kind\":\"not-required\"}}],\"kind\":\"hypequery-deployment\",\"version\":2}",
+    "sha256": "bd7b6818e8028e609923324455c3842425dcaa447dfd7d792b50de288769f379"
+  }
+]