pyric-tools 0.1.0-alpha.7

package/dist/verify/cases.d.ts

@@ -0,0 +1,37 @@
+import type { TestCase } from 'pyric/rules';
+import { type PyricVerifyFixture } from './fixture.js';
+export type VerifyFixtureWarning = {
+    service: 'firestore';
+    eventId?: string;
+    path?: string;
+    method?: string;
+    code: string;
+    message: string;
+};
+export type VerifyUnsupportedEvent = {
+    service: 'firestore';
+    eventId?: string;
+    path?: string;
+    method?: string;
+    reason: string;
+};
+export interface DeriveRulesTestCasesOptions {
+    service?: 'firestore';
+    includeAllowed?: boolean;
+    includeDenied?: boolean;
+    mockReads?: 'strict' | 'omit';
+}
+export interface DerivedRulesTestCase {
+    eventId: string;
+    testCase: TestCase;
+}
+export interface DeriveRulesTestCasesResult {
+    ok: boolean;
+    service: 'firestore';
+    testCases: TestCase[];
+    derived: DerivedRulesTestCase[];
+    warnings: VerifyFixtureWarning[];
+    unsupportedEvents: VerifyUnsupportedEvent[];
+}
+export declare function deriveRulesTestCases(fixtureInput: PyricVerifyFixture | unknown, opts?: DeriveRulesTestCasesOptions): DeriveRulesTestCasesResult;
+//# sourceMappingURL=cases.d.ts.map

package/dist/verify/cases.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cases.d.ts","sourceRoot":"","sources":["../../src/verify/cases.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAiC,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC3E,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,cAAc,CAAC;AAEtB,MAAM,MAAM,oBAAoB,GAAG;IACjC,OAAO,EAAE,WAAW,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,OAAO,EAAE,WAAW,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,WAAW,2BAA2B;IAC1C,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,SAAS,CAAC,EAAE,QAAQ,GAAG,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;CACpB;AAED,MAAM,WAAW,0BAA0B;IACzC,EAAE,EAAE,OAAO,CAAC;IACZ,OAAO,EAAE,WAAW,CAAC;IACrB,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAChC,QAAQ,EAAE,oBAAoB,EAAE,CAAC;IACjC,iBAAiB,EAAE,sBAAsB,EAAE,CAAC;CAC7C;AAED,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,kBAAkB,GAAG,OAAO,EAC1C,IAAI,GAAE,2BAAgC,GACrC,0BAA0B,CA6E5B"}

package/dist/verify/cases.js

@@ -0,0 +1,173 @@
+import { parseVerifyFixture, } from './fixture.js';
+export function deriveRulesTestCases(fixtureInput, opts = {}) {
+    const fixture = parseVerifyFixture(fixtureInput);
+    const includeAllowed = opts.includeAllowed ?? true;
+    const includeDenied = opts.includeDenied ?? true;
+    const mockReads = opts.mockReads ?? 'strict';
+    const derived = [];
+    const warnings = [];
+    const unsupportedEvents = [];
+    for (const event of fixture.events) {
+        if (!isFirestoreRequestEvent(event))
+            continue;
+        if (event.origin === 'listener')
+            continue;
+        if (event.detail?.admin === true)
+            continue;
+        if (event.result === 'allow' && !includeAllowed)
+            continue;
+        if (event.result === 'deny' && !includeDenied)
+            continue;
+        if (event.result === 'unsupported') {
+            unsupportedEvents.push({
+                service: 'firestore',
+                eventId: event.id,
+                path: event.path,
+                method: event.method,
+                reason: event.reasons.join('\n') || 'captured Firestore request was unsupported locally.',
+            });
+            continue;
+        }
+        const method = lowerFirestoreMethod(event);
+        if (!method) {
+            unsupportedEvents.push({
+                service: 'firestore',
+                eventId: event.id,
+                path: event.path,
+                method: event.method,
+                reason: `cannot derive a Rules Test API case for Firestore method '${event.method}'.`,
+            });
+            continue;
+        }
+        const functionMocks = extractFunctionMocks(event);
+        if (mockReads === 'strict' && functionMocks === null) {
+            unsupportedEvents.push({
+                service: 'firestore',
+                eventId: event.id,
+                path: event.path,
+                method: event.method,
+                reason: 'captured request appears to depend on get()/exists(), but the fixture does not contain exact rule-read mocks.',
+            });
+            continue;
+        }
+        if (mockReads === 'omit' && eventMayNeedFunctionMocks(event)) {
+            warnings.push({
+                service: 'firestore',
+                eventId: event.id,
+                path: event.path,
+                method: event.method,
+                code: 'READ_MOCKS_OMITTED',
+                message: 'captured request may depend on get()/exists(); deriving the case without functionMocks may change hosted Rules Test API behavior.',
+            });
+        }
+        derived.push({
+            eventId: event.id,
+            testCase: buildTestCase(event, method, functionMocks ?? []),
+        });
+    }
+    return {
+        ok: unsupportedEvents.length === 0,
+        service: 'firestore',
+        testCases: derived.map((item) => item.testCase),
+        derived,
+        warnings,
+        unsupportedEvents,
+    };
+}
+function isFirestoreRequestEvent(event) {
+    if (!isCapturedRequestEvent(event) || event.kind !== 'request')
+        return false;
+    const service = event.service;
+    return service === undefined || service === 'firestore';
+}
+function lowerFirestoreMethod(event) {
+    if (event.method === 'get' || event.method === 'list' || event.method === 'create' || event.method === 'update' || event.method === 'delete') {
+        return event.method;
+    }
+    if (event.method === 'set') {
+        return event.resourceBefore?.exists ? 'update' : 'create';
+    }
+    return null;
+}
+function buildTestCase(event, method, functionMocks) {
+    const testCase = {
+        description: `${event.result === 'allow' ? 'allow' : 'deny'} ${method} ${event.path}`,
+        expectation: event.result === 'allow' ? 'ALLOW' : 'DENY',
+        method,
+        path: event.path,
+        auth: event.auth,
+        requestTime: new Date(event.at).toISOString(),
+    };
+    if (event.resourceBefore?.exists && event.resourceBefore.data !== null) {
+        testCase.resource = event.resourceBefore.data;
+    }
+    if (isWriteMethod(method)) {
+        if (method !== 'delete') {
+            const data = event.resourceAfter?.data ?? event.request?.resourceData;
+            if (isFirestoreWriteData(data))
+                testCase.data = data;
+        }
+        testCase.writeMode = writeModeFor(method);
+    }
+    if (functionMocks.length > 0) {
+        testCase.functionMocks = functionMocks;
+    }
+    const query = event.detail?.query;
+    if (isListQuery(query)) {
+        testCase.query = query;
+    }
+    return testCase;
+}
+function writeModeFor(method) {
+    if (method === 'create')
+        return { kind: 'create' };
+    if (method === 'update')
+        return { kind: 'update' };
+    if (method === 'delete')
+        return { kind: 'delete' };
+    return undefined;
+}
+function isWriteMethod(method) {
+    return method === 'create' || method === 'update' || method === 'delete';
+}
+function extractFunctionMocks(event) {
+    const detail = event.detail;
+    if (Array.isArray(detail?.functionMocks)) {
+        return detail.functionMocks.filter(isFunctionMock);
+    }
+    return eventMayNeedFunctionMocks(event) ? null : [];
+}
+function isFunctionMock(value) {
+    if (!isFunctionMockCandidate(value))
+        return false;
+    if (value.function !== 'get' && value.function !== 'exists')
+        return false;
+    return typeof value.path === 'string' && 'result' in value;
+}
+function isListQuery(value) {
+    if (!isListQueryCandidate(value))
+        return false;
+    if ('limit' in value && value.limit !== undefined && typeof value.limit !== 'number')
+        return false;
+    if ('offset' in value && value.offset !== undefined && typeof value.offset !== 'number')
+        return false;
+    if ('orderBy' in value && value.orderBy !== undefined && typeof value.orderBy !== 'string')
+        return false;
+    return true;
+}
+function eventMayNeedFunctionMocks(event) {
+    return event.reasons.some((reason) => /\b(get|exists)\s*\(/.test(reason));
+}
+function isCapturedRequestEvent(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function isFirestoreWriteData(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function isFunctionMockCandidate(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function isListQueryCandidate(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+//# sourceMappingURL=cases.js.map

package/dist/verify/cases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cases.js","sourceRoot":"","sources":["../../src/verify/cases.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,kBAAkB,GAEnB,MAAM,cAAc,CAAC;AAwCtB,MAAM,UAAU,oBAAoB,CAClC,YAA0C,EAC1C,OAAoC,EAAE;IAEtC,MAAM,OAAO,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC;IACjD,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC;IACnD,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC;IACjD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,QAAQ,CAAC;IAC7C,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,MAAM,iBAAiB,GAA6B,EAAE,CAAC;IAEvD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC;YAAE,SAAS;QAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;YAAE,SAAS;QAC1C,IAAI,KAAK,CAAC,MAAM,EAAE,KAAK,KAAK,IAAI;YAAE,SAAS;QAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,cAAc;YAAE,SAAS;QAC1D,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,aAAa;YAAE,SAAS;QAExD,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;YACnC,iBAAiB,CAAC,IAAI,CAAC;gBACrB,OAAO,EAAE,WAAW;gBACpB,OAAO,EAAE,KAAK,CAAC,EAAE;gBACjB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,qDAAqD;aAC1F,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,iBAAiB,CAAC,IAAI,CAAC;gBACrB,OAAO,EAAE,WAAW;gBACpB,OAAO,EAAE,KAAK,CAAC,EAAE;gBACjB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,MAAM,EAAE,6DAA6D,KAAK,CAAC,MAAM,IAAI;aACtF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,aAAa,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,SAAS,KAAK,QAAQ,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;YACrD,iBAAiB,CAAC,IAAI,CAAC;gBACrB,OAAO,EAAE,WAAW;gBACpB,OAAO,EAAE,KAAK,CAAC,EAAE;gBACjB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,MAAM,EACJ,+GAA+G;aAClH,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,SAAS,KAAK,MAAM,IAAI,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7D,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,WAAW;gBACpB,OAAO,EAAE,KAAK,CAAC,EAAE;gBACjB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EACL,mIAAmI;aACtI,CAAC,CAAC;QACL,CAAC;QAED,OAAO,CAAC,IAAI,CAAC;YACX,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,QAAQ,EAAE,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,aAAa,IAAI,EAAE,CAAC;SAC5D,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,EAAE,EAAE,iBAAiB,CAAC,MAAM,KAAK,CAAC;QAClC,OAAO,EAAE,WAAW;QACpB,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC/C,OAAO;QACP,QAAQ;QACR,iBAAiB;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAc;IAC7C,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7E,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,WAAW,CAAC;AAC1D,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAmB;IAC/C,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC7I,OAAO,KAAK,CAAC,MAAM,CAAC;IACtB,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC5D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CACpB,KAAmB,EACnB,MAAuB,EACvB,aAA6B;IAE7B,MAAM,QAAQ,GAAa;QACzB,WAAW,EAAE,GAAG,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,IAAI,MAAM,IAAI,KAAK,CAAC,IAAI,EAAE;QACrF,WAAW,EAAE,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;QACxD,MAAM;QACN,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,WAAW,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE;KAC9C,CAAC;IAEF,IAAI,KAAK,CAAC,cAAc,EAAE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACvE,QAAQ,CAAC,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC;IAChD,CAAC;IAED,IAAI,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,aAAa,EAAE,IAAI,IAAI,KAAK,CAAC,OAAO,EAAE,YAAY,CAAC;YACtE,IAAI,oBAAoB,CAAC,IAAI,CAAC;gBAAE,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC;QACvD,CAAC;QACD,QAAQ,CAAC,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC;IAED,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,QAAQ,CAAC,aAAa,GAAG,aAAa,CAAC;IACzC,CAAC;IAED,MAAM,KAAK,GAAI,KAAK,CAAC,MAA0C,EAAE,KAAK,CAAC;IACvE,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,QAAQ,CAAC,KAAK,GAAG,KAAK,CAAC;IACzB,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,YAAY,CAAC,MAAuB;IAC3C,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,aAAa,CAAC,MAAuB;IAC5C,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,QAAQ,CAAC;AAC3E,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAmB;IAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAiD,CAAC;IACvE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC;QACzC,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1E,OAAO,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,IAAI,KAAK,CAAC;AAC7D,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,IAAI,OAAO,IAAI,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACnG,IAAI,QAAQ,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtG,IAAI,SAAS,IAAI,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACzG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAmB;IACpD,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc;IAC5C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAc;IAC7C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC"}

package/dist/verify/fixture.d.ts

@@ -0,0 +1,79 @@
+import type { Sandbox, SandboxEvent } from 'pyric/sandbox';
+export declare const VERIFY_FIXTURE_SCHEMA: "pyric.verify.fixture.v1";
+export interface VerifyFirestoreRulesBlock {
+    format: 'firestore.rules';
+    source: string;
+}
+export interface VerifyRtdbRulesBlock {
+    format: 'rtdb.rules.json';
+    json: {
+        rules: Record<string, unknown>;
+    };
+}
+export interface PyricVerifyFixture {
+    schema: typeof VERIFY_FIXTURE_SCHEMA;
+    description?: string;
+    createdAt?: string;
+    /** Opaque id of the sandbox instance that produced this capture (the served
+     *  SharedWorker's `instanceId`). Purely additive: `pyric verify` ignores it.
+     *  Present only on captures written by the worker's capture flush; used by
+     *  boot-time event hydration to SKIP priming a capture that belongs to a
+     *  DIFFERENT instance (e.g. another browser profile sharing one `pyric dev`),
+     *  so someone else's session never shows up as yours. Absent on older /
+     *  standalone captures → hydration primes best-effort. */
+    capturedBy?: string;
+    events: SandboxEvent[];
+    services: {
+        firestore?: {
+            rules: VerifyFirestoreRulesBlock;
+            state: {
+                documents: Record<string, Record<string, unknown>>;
+            };
+        };
+        rtdb?: {
+            rules: VerifyRtdbRulesBlock;
+            state: {
+                tree: unknown;
+            };
+            databaseUrl?: string;
+        };
+        auth?: {
+            state: {
+                users?: unknown[];
+                currentUser?: unknown;
+            };
+        };
+        storage?: {
+            rules?: {
+                format: 'storage.rules';
+                source: string;
+            };
+            state: unknown;
+        };
+        [service: string]: unknown;
+    };
+}
+export interface BuildVerifyFixtureInput {
+    sandbox: Pick<Sandbox, 'history' | 'snapshot'> & {
+        currentUser?: unknown;
+    };
+    description?: string;
+    firestoreRules?: string | null;
+    rtdbRules?: {
+        rules: Record<string, unknown>;
+    } | null;
+    rtdbState?: unknown;
+    rtdbDatabaseUrl?: string | null;
+    authState?: {
+        users?: unknown[];
+        currentUser?: unknown;
+    } | null;
+    createdAt?: string;
+    /** Stamped into the fixture as `capturedBy` (identity for boot-time event
+     *  hydration). Omit for `pyric verify` builds — they have no instance. */
+    capturedBy?: string;
+}
+export declare function buildVerifyFixture(input: BuildVerifyFixtureInput): PyricVerifyFixture;
+export declare function parseVerifyFixture(value: unknown): PyricVerifyFixture;
+export declare function fixtureVerifiableServices(fixture: PyricVerifyFixture): Array<'firestore' | 'rtdb'>;
+//# sourceMappingURL=fixture.d.ts.map

package/dist/verify/fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixture.d.ts","sourceRoot":"","sources":["../../src/verify/fixture.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAgB,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAGzE,eAAO,MAAM,qBAAqB,EAAG,yBAAkC,CAAC;AAExE,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC;CAC1C;AAED,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IACrC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;;8DAM0D;IAC1D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,QAAQ,EAAE;QACR,SAAS,CAAC,EAAE;YACV,KAAK,EAAE,yBAAyB,CAAC;YACjC,KAAK,EAAE;gBAAE,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;aAAE,CAAC;SAC/D,CAAC;QACF,IAAI,CAAC,EAAE;YACL,KAAK,EAAE,oBAAoB,CAAC;YAC5B,KAAK,EAAE;gBAAE,IAAI,EAAE,OAAO,CAAA;aAAE,CAAC;YACzB,WAAW,CAAC,EAAE,MAAM,CAAC;SACtB,CAAC;QACF,IAAI,CAAC,EAAE;YACL,KAAK,EAAE;gBACL,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;gBAClB,WAAW,CAAC,EAAE,OAAO,CAAC;aACvB,CAAC;SACH,CAAC;QACF,OAAO,CAAC,EAAE;YACR,KAAK,CAAC,EAAE;gBAAE,MAAM,EAAE,eAAe,CAAC;gBAAC,MAAM,EAAE,MAAM,CAAA;aAAE,CAAC;YACpD,KAAK,EAAE,OAAO,CAAC;SAChB,CAAC;QACF,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;KAC5B,CAAC;CACH;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,GAAG,UAAU,CAAC,GAAG;QAAE,WAAW,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;IAC3E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,SAAS,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,GAAG,IAAI,CAAC;IACtD,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,SAAS,CAAC,EAAE;QACV,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;QAClB,WAAW,CAAC,EAAE,OAAO,CAAC;KACvB,GAAG,IAAI,CAAC;IACT,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;8EAC0E;IAC1E,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,uBAAuB,GAAG,kBAAkB,CAsDrF;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,kBAAkB,CA0BrE;AAED,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,kBAAkB,GAC1B,KAAK,CAAC,WAAW,GAAG,MAAM,CAAC,CAK7B"}

package/dist/verify/fixture.js

@@ -0,0 +1,114 @@
+import { isRtdbRulesJson } from '../rtdb/rules-json.js';
+export const VERIFY_FIXTURE_SCHEMA = 'pyric.verify.fixture.v1';
+export function buildVerifyFixture(input) {
+    const events = input.sandbox.history();
+    const snapshot = input.sandbox.snapshot();
+    const firestoreDocuments = snapshot.firestore;
+    const services = {};
+    if (input.firestoreRules != null ||
+        Object.keys(firestoreDocuments).length > 0 ||
+        events.some((event) => eventService(event) === 'firestore')) {
+        services.firestore = {
+            rules: {
+                format: 'firestore.rules',
+                source: input.firestoreRules ?? '',
+            },
+            state: { documents: firestoreDocuments },
+        };
+    }
+    if (input.rtdbRules != null ||
+        input.rtdbState !== undefined ||
+        events.some((event) => eventService(event) === 'rtdb')) {
+        services.rtdb = {
+            rules: {
+                format: 'rtdb.rules.json',
+                json: input.rtdbRules ?? { rules: {} },
+            },
+            state: { tree: input.rtdbState ?? null },
+            ...(input.rtdbDatabaseUrl ? { databaseUrl: input.rtdbDatabaseUrl } : {}),
+        };
+    }
+    const authUsers = input.authState?.users;
+    const currentUser = input.authState?.currentUser ?? input.sandbox.currentUser;
+    if ((authUsers && authUsers.length > 0) || currentUser != null) {
+        services.auth = {
+            state: {
+                ...(authUsers ? { users: authUsers } : {}),
+                ...(currentUser != null ? { currentUser } : {}),
+            },
+        };
+    }
+    return {
+        schema: VERIFY_FIXTURE_SCHEMA,
+        ...(input.description ? { description: input.description } : {}),
+        createdAt: input.createdAt ?? new Date().toISOString(),
+        ...(input.capturedBy ? { capturedBy: input.capturedBy } : {}),
+        events,
+        services,
+    };
+}
+export function parseVerifyFixture(value) {
+    if (!isVerifyFixtureObject(value)) {
+        throw new Error('fixture must be a JSON object.');
+    }
+    if (value.schema !== VERIFY_FIXTURE_SCHEMA) {
+        throw new Error(`fixture schema must be '${VERIFY_FIXTURE_SCHEMA}'.`);
+    }
+    if (!Array.isArray(value.events)) {
+        throw new Error('fixture.events must be an array.');
+    }
+    if (!isVerifyFixtureObject(value.services)) {
+        throw new Error('fixture.services must be an object.');
+    }
+    const services = value.services;
+    if (services.firestore !== undefined) {
+        assertFirestoreService(services.firestore);
+    }
+    if (services.rtdb !== undefined) {
+        assertRtdbService(services.rtdb);
+    }
+    if (services.auth !== undefined && !isVerifyFixtureObject(services.auth)) {
+        throw new Error('fixture.services.auth must be an object.');
+    }
+    return value;
+}
+export function fixtureVerifiableServices(fixture) {
+    const services = [];
+    if (fixture.services.firestore)
+        services.push('firestore');
+    if (fixture.services.rtdb)
+        services.push('rtdb');
+    return services;
+}
+function assertFirestoreService(value) {
+    if (!isVerifyFixtureObject(value))
+        throw new Error('fixture.services.firestore must be an object.');
+    if (!isVerifyFixtureObject(value.rules) || value.rules.format !== 'firestore.rules' || typeof value.rules.source !== 'string') {
+        throw new Error('fixture.services.firestore.rules must contain firestore.rules source.');
+    }
+    if (!isVerifyFixtureObject(value.state) || !isVerifyFixtureObject(value.state.documents)) {
+        throw new Error('fixture.services.firestore.state.documents must be an object.');
+    }
+}
+function assertRtdbService(value) {
+    if (!isVerifyFixtureObject(value))
+        throw new Error('fixture.services.rtdb must be an object.');
+    if (!isVerifyFixtureObject(value.rules) ||
+        value.rules.format !== 'rtdb.rules.json' ||
+        !isRtdbRulesJson(value.rules.json)) {
+        throw new Error('fixture.services.rtdb.rules must contain RTDB rules JSON.');
+    }
+    if (!isVerifyFixtureObject(value.state) || !('tree' in value.state)) {
+        throw new Error('fixture.services.rtdb.state.tree is required.');
+    }
+}
+function eventService(event) {
+    if ('service' in event && typeof event.service === 'string') {
+        return event.service;
+    }
+    return 'firestore';
+}
+function isVerifyFixtureObject(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+//# sourceMappingURL=fixture.js.map

package/dist/verify/fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixture.js","sourceRoot":"","sources":["../../src/verify/fixture.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,MAAM,CAAC,MAAM,qBAAqB,GAAG,yBAAkC,CAAC;AAkExE,MAAM,UAAU,kBAAkB,CAAC,KAA8B;IAC/D,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;IAC1C,MAAM,kBAAkB,GAAG,QAAQ,CAAC,SAAS,CAAC;IAC9C,MAAM,QAAQ,GAAmC,EAAE,CAAC;IAEpD,IACE,KAAK,CAAC,cAAc,IAAI,IAAI;QAC5B,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,MAAM,GAAG,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,EAC3D,CAAC;QACD,QAAQ,CAAC,SAAS,GAAG;YACnB,KAAK,EAAE;gBACL,MAAM,EAAE,iBAAiB;gBACzB,MAAM,EAAE,KAAK,CAAC,cAAc,IAAI,EAAE;aACnC;YACD,KAAK,EAAE,EAAE,SAAS,EAAE,kBAAkB,EAAE;SACzC,CAAC;IACJ,CAAC;IAED,IACE,KAAK,CAAC,SAAS,IAAI,IAAI;QACvB,KAAK,CAAC,SAAS,KAAK,SAAS;QAC7B,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,EACtD,CAAC;QACD,QAAQ,CAAC,IAAI,GAAG;YACd,KAAK,EAAE;gBACL,MAAM,EAAE,iBAAiB;gBACzB,IAAI,EAAE,KAAK,CAAC,SAAS,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;aACvC;YACD,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI,EAAE;YACxC,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACzE,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC;IACzC,MAAM,WAAW,GAAG,KAAK,CAAC,SAAS,EAAE,WAAW,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;IAC9E,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,WAAW,IAAI,IAAI,EAAE,CAAC;QAC/D,QAAQ,CAAC,IAAI,GAAG;YACd,KAAK,EAAE;gBACL,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1C,GAAG,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAChD;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,qBAAqB;QAC7B,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtD,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,MAAM;QACN,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,qBAAqB,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,2BAA2B,qBAAqB,IAAI,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACrC,sBAAsB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,KAAsC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,OAA2B;IAE3B,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC3D,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI;QAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc;IAC5C,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACpG,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,iBAAiB,IAAI,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC9H,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QACzF,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC/F,IACE,CAAC,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC;QACnC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,iBAAiB;QACxC,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAClC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAmB;IACvC,IAAI,SAAS,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAC,OAAuB,CAAC;IACvC,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc;IAC3C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC"}

package/dist/verify/index.d.ts

@@ -0,0 +1,102 @@
+import { type EventService } from 'pyric/sandbox';
+import { type ExpressionReportLevel, type TestResult } from 'pyric/rules';
+import type { RtdbRulesDocument } from 'pyric/rules/rtdb';
+import type { ProjectScope } from '../deploy/index.js';
+import { type PyricVerifyFixture } from './fixture.js';
+import { type DeriveRulesTestCasesOptions, type DeriveRulesTestCasesResult } from './cases.js';
+export { buildVerifyFixture, fixtureVerifiableServices, parseVerifyFixture, VERIFY_FIXTURE_SCHEMA, type BuildVerifyFixtureInput, type PyricVerifyFixture, type VerifyFirestoreRulesBlock, type VerifyRtdbRulesBlock, } from './fixture.js';
+export { deriveRulesTestCases, type DerivedRulesTestCase, type DeriveRulesTestCasesOptions, type DeriveRulesTestCasesResult, type VerifyFixtureWarning, type VerifyUnsupportedEvent, } from './cases.js';
+export { createVerifyTools, type VerifyToolDeps } from './tools.js';
+export type VerifiableService = 'firestore' | 'rtdb';
+export type VerifyEngine = 'sandbox' | 'rulesTestApi';
+export type VerifyRulesInput = {
+    firestore?: string | {
+        source: string;
+    };
+    rtdb?: {
+        rules: Record<string, unknown>;
+    } | RtdbRulesDocument;
+    storage?: string | {
+        source: string;
+    };
+};
+export interface VerifyFixtureOptions {
+    rules: VerifyRulesInput;
+    services?: VerifiableService[];
+    engines?: VerifyEngine[];
+    rulesTestApi?: {
+        scope: ProjectScope;
+        expressionReportLevel?: ExpressionReportLevel;
+    };
+    caseDerivation?: Omit<DeriveRulesTestCasesOptions, 'service'>;
+}
+export interface VerifyResult {
+    ok: boolean;
+    services: Partial<Record<VerifiableService, VerifyServiceResult>>;
+}
+export interface VerifyServiceResult {
+    service: VerifiableService;
+    ok: boolean;
+    checkedEvents: number;
+    divergences: VerifyDivergence[];
+    engines?: Partial<Record<VerifyEngine, VerifyEngineResult>>;
+}
+export interface VerifyEngineResult {
+    engine: VerifyEngine;
+    ok: boolean;
+    checkedEvents: number;
+    divergences: VerifyDivergence[];
+    testCases?: number;
+    passed?: number;
+    failed?: number;
+    unsupported?: number;
+    derivation?: DeriveRulesTestCasesResult;
+    results?: TestResult[];
+}
+export type VerifyDivergence = {
+    service: EventService | string;
+    kind: 'now-denied';
+    path?: string;
+    method?: string;
+    reason?: string;
+} | {
+    service: EventService | string;
+    kind: 'now-allowed';
+    path?: string;
+    method?: string;
+    reason?: string;
+} | {
+    service: EventService | string;
+    kind: 'state-drift';
+    path?: string;
+    field?: string;
+    before: unknown;
+    after: unknown;
+} | {
+    service: EventService | string;
+    kind: 'unsupported';
+    path?: string;
+    method?: string;
+    reason: string;
+} | {
+    service: EventService | string;
+    kind: 'expected-drift';
+    drift: string;
+    path?: string;
+    field?: string;
+    before?: unknown;
+    after?: unknown;
+} | {
+    service: EventService | string;
+    kind: 'engine-drift';
+    path?: string;
+    method?: string;
+    sandbox: string;
+    rulesTestApi: string;
+    reason?: string;
+};
+export declare class VerifyInputError extends Error {
+    constructor(message: string);
+}
+export declare function verifyFixture(fixtureInput: PyricVerifyFixture | unknown, opts: VerifyFixtureOptions): Promise<VerifyResult>;
+//# sourceMappingURL=index.d.ts.map

package/dist/verify/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verify/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,YAAY,EAClB,MAAM,eAAe,CAAC;AAKvB,OAAO,EAGL,KAAK,qBAAqB,EAE1B,KAAK,UAAU,EAChB,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAMvD,OAAO,EAIL,KAAK,kBAAkB,EACxB,MAAM,cAAc,CAAC;AACtB,OAAO,EAEL,KAAK,2BAA2B,EAChC,KAAK,0BAA0B,EAEhC,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,kBAAkB,EAClB,yBAAyB,EACzB,kBAAkB,EAClB,qBAAqB,EACrB,KAAK,uBAAuB,EAC5B,KAAK,kBAAkB,EACvB,KAAK,yBAAyB,EAC9B,KAAK,oBAAoB,GAC1B,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,oBAAoB,EACpB,KAAK,oBAAoB,EACzB,KAAK,2BAA2B,EAChC,KAAK,0BAA0B,EAC/B,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,GAC5B,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,iBAAiB,EAAE,KAAK,cAAc,EAAE,MAAM,YAAY,CAAC;AAEpE,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG,MAAM,CAAC;AACrD,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,cAAc,CAAC;AAEtD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,SAAS,CAAC,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACxC,IAAI,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,GAAG,iBAAiB,CAAC;IAC9D,OAAO,CAAC,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CACvC,CAAC;AAEF,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,gBAAgB,CAAC;IACxB,QAAQ,CAAC,EAAE,iBAAiB,EAAE,CAAC;IAC/B,OAAO,CAAC,EAAE,YAAY,EAAE,CAAC;IACzB,YAAY,CAAC,EAAE;QACb,KAAK,EAAE,YAAY,CAAC;QACpB,qBAAqB,CAAC,EAAE,qBAAqB,CAAC;KAC/C,CAAC;IACF,cAAc,CAAC,EAAE,IAAI,CAAC,2BAA2B,EAAE,SAAS,CAAC,CAAC;CAC/D;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,CAAC,CAAC;CACnE;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,iBAAiB,CAAC;IAC3B,EAAE,EAAE,OAAO,CAAC;IACZ,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,gBAAgB,EAAE,CAAC;IAChC,OAAO,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAC,CAAC;CAC7D;AAED,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,YAAY,CAAC;IACrB,EAAE,EAAE,OAAO,CAAC;IACZ,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,gBAAgB,EAAE,CAAC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,0BAA0B,CAAC;IACxC,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC;CACxB;AAED,MAAM,MAAM,gBAAgB,GACxB;IACE,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC;IAC/B,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GACD;IACE,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC;IAC/B,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GACD;IACE,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC;IAC/B,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;CAChB,GACD;IACE,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC;IAC/B,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC;IAC/B,IAAI,EAAE,gBAAgB,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB,GACD;IACE,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC;AAEN,qBAAa,gBAAiB,SAAQ,KAAK;gBAC7B,OAAO,EAAE,MAAM;CAI5B;AAED,wBAAsB,aAAa,CACjC,YAAY,EAAE,kBAAkB,GAAG,OAAO,EAC1C,IAAI,EAAE,oBAAoB,GACzB,OAAO,CAAC,YAAY,CAAC,CAyBvB"}