@innovatorstack/harness 0.0.0-stage → 0.1.1

package/dist/compatibility/index.js

@@ -0,0 +1,4 @@
+export { checkCompatibility } from "./check.js";
+export { CapabilityId, CapabilitySupport } from "./capabilities.js";
+export { CompatibilityIssueCode, IssueSeverity, ExecutorStatus, MockCoverage, CompilationStatus, } from "./types.js";
+//# sourceMappingURL=index.js.map

package/dist/compatibility/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/compatibility/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEpE,OAAO,EACH,sBAAsB,EACtB,aAAa,EACb,cAAc,EACd,YAAY,EACZ,iBAAiB,GACpB,MAAM,YAAY,CAAC"}

package/dist/compatibility/metadata.d.ts

@@ -0,0 +1,6 @@
+import type { HarnessConfig } from "../harness/configuration.js";
+import type { HarnessStorage } from "../storage/types.js";
+import type { CompatibilityIssue } from "./types.js";
+/** Metadata requirements only: presence identifies a boundary, not proof it will be exercised. */
+export declare function inspectMetadata(storage: HarnessStorage, files: ReadonlySet<string>, settings: HarnessConfig): readonly CompatibilityIssue[];
+//# sourceMappingURL=metadata.d.ts.map

package/dist/compatibility/metadata.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"metadata.d.ts","sourceRoot":"","sources":["../../src/compatibility/metadata.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAKjE,OAAO,KAAK,EAAgB,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAKxE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAErD,kGAAkG;AAClG,wBAAgB,eAAe,CAC3B,OAAO,EAAE,cAAc,EACvB,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,EAC1B,QAAQ,EAAE,aAAa,GACxB,SAAS,kBAAkB,EAAE,CAyD/B"}

package/dist/compatibility/metadata.js

@@ -0,0 +1,137 @@
+import { dataNodesMax } from "../core/limits.js";
+import { PlatformError } from "../platform/errors.js";
+import { EventBindings } from "../platform/events/bindings.js";
+import { ServerEventVersion } from "../platform/events/types.js";
+import { eventVersion } from "../platform/events/version.js";
+import { CapabilityId, capabilityForError } from "./capabilities.js";
+import { inspectRevisions } from "./revisions.js";
+import { inspectSecurity } from "./security.js";
+import { CompatibilityIssueCode, IssueSeverity } from "./types.js";
+/** Metadata requirements only: presence identifies a boundary, not proof it will be exercised. */
+export function inspectMetadata(storage, files, settings) {
+    const issues = [];
+    const entries = storage.listCatalogEntries().filter((entry) => files.has(entry.source.file));
+    const eventOrder = new Map();
+    for (const entry of entries) {
+        const properties = entry.properties;
+        const type = entry.type.toLowerCase();
+        inspectServerEvent(entry, eventOrder, issues);
+        if (type === "life cycle transition" &&
+            Boolean(properties.post_action) &&
+            String(properties.execute_post_in_main_txn ?? "0") !== "1") {
+            unsupported(issues, entry, "UnsupportedPostTransactionMethod", "This transition runs a post Method outside the main transaction, which is unavailable.");
+        }
+        if (type === "life cycle state" && Boolean(properties.workflow)) {
+            unsupported(issues, entry, "UnsupportedWorkflow", `State '${properties.name}' starts a workflow, which requires an adapter.`);
+        }
+        inspectItemType(entry, issues);
+        const restrictedMethod = type === "method" && Boolean(properties.execution_allowed_to);
+        const restrictedTransition = type === "life cycle transition" && Boolean(properties.role);
+        if ((restrictedMethod || restrictedTransition) && settings.authorization === undefined) {
+            issues.push(Object.freeze({
+                code: CompatibilityIssueCode.AuthorizationRequired,
+                severity: IssueSeverity.Warning,
+                capability: CapabilityId.NativePermissions,
+                causeCode: "AuthorizationRequired",
+                message: `Restricted ${entry.type} '${properties.name ?? entry.id}' requires an explicit authorization policy or unchecked execution.`,
+                source: entry.source,
+            }));
+        }
+    }
+    inspectInheritedEvents(storage, entries, issues);
+    return [
+        ...issues,
+        ...inspectRevisions(storage, files),
+        ...inspectSecurity(entries, settings.authorization),
+    ];
+}
+function inspectServerEvent(entry, eventOrder, issues) {
+    const properties = entry.properties;
+    const type = entry.type.toLowerCase();
+    if (type === "server event") {
+        const name = String(properties.server_event ?? "");
+        const version = String(properties.event_version ?? "version_1");
+        if (name.toLowerCase() === "onafterresetlifecycle") {
+            unsupported(issues, entry, "UnsupportedLifecycleResetEvent", "Lifecycle reset callbacks require native reset event metadata, which is unavailable.");
+        }
+        try {
+            eventVersion(name, properties.event_version, entry.source);
+        }
+        catch (error) {
+            if (!(error instanceof PlatformError)) {
+                throw error;
+            }
+            unsupported(issues, entry, error.code, error.message);
+        }
+        const owner = String(properties.source_id).toLowerCase();
+        const order = Number(properties.sort_order ?? 0);
+        const key = `${owner}:${name.toLowerCase()}:${version}:${order}`;
+        if (eventOrder.has(key)) {
+            unsupported(issues, entry, "AmbiguousEventOrder", `Events for '${name}' share sort_order '${properties.sort_order ?? 0}'; runtime rejects tied ordering.`);
+        }
+        else {
+            eventOrder.set(key, entry);
+        }
+    }
+}
+function inspectItemType(entry, issues) {
+    const properties = entry.properties;
+    const type = entry.type.toLowerCase();
+    if (type === "itemtype") {
+        const implementation = properties.implementation_type;
+        if (Boolean(implementation) && implementation !== "table") {
+            const capability = String(implementation).toLowerCase() === "polymorphic"
+                ? CapabilityId.Polymorphism
+                : CapabilityId.Federation;
+            unsupported(issues, entry, "UnsupportedImplementation", `ItemType '${properties.name}' uses '${implementation}' storage; its metadata can import but runtime queries require an adapter.`, capability);
+        }
+    }
+}
+function unsupported(issues, entry, causeCode, message, capability = capabilityForError(causeCode)) {
+    issues.push(Object.freeze({
+        code: CompatibilityIssueCode.UnsupportedCapability,
+        severity: IssueSeverity.Warning,
+        causeCode,
+        message,
+        source: entry.source,
+        ...(capability !== undefined ? { capability } : {}),
+    }));
+}
+function inspectInheritedEvents(storage, entries, issues) {
+    const bindings = new EventBindings(storage);
+    const related = new Set(storage
+        .listCatalogEntries("Morphae")
+        .map((entry) => String(entry.properties.related_id).toLowerCase()));
+    const types = storage.listItemTypes().filter((type) => related.has(type.id.toLowerCase()));
+    const names = new Set(entries
+        .filter((entry) => entry.type === "Server Event")
+        .map((entry) => String(entry.properties.server_event)));
+    if (types.length * names.size > dataNodesMax) {
+        throw new PlatformError("ProtocolLimit", "Inherited event inspection exceeds its work budget.");
+    }
+    for (const type of types) {
+        for (const name of names) {
+            for (const version of Object.values(ServerEventVersion)) {
+                try {
+                    bindings.select(type, name, true, version);
+                }
+                catch (error) {
+                    if (!(error instanceof PlatformError)) {
+                        throw error;
+                    }
+                    issues.push(Object.freeze({
+                        code: CompatibilityIssueCode.UnsupportedCapability,
+                        severity: IssueSeverity.Warning,
+                        causeCode: error.code,
+                        message: error.message,
+                        ...(error.capability !== undefined
+                            ? { capability: error.capability }
+                            : {}),
+                        ...(error.source ? { source: error.source } : {}),
+                    }));
+                }
+            }
+        }
+    }
+}
+//# sourceMappingURL=metadata.js.map

package/dist/compatibility/metadata.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"metadata.js","sourceRoot":"","sources":["../../src/compatibility/metadata.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEjD,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAE7D,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,sBAAsB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAGnE,kGAAkG;AAClG,MAAM,UAAU,eAAe,CAC3B,OAAuB,EACvB,KAA0B,EAC1B,QAAuB;IAEvB,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7F,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;IAEnD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACtC,kBAAkB,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QAE9C,IACI,IAAI,KAAK,uBAAuB;YAChC,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC;YAC/B,MAAM,CAAC,UAAU,CAAC,wBAAwB,IAAI,GAAG,CAAC,KAAK,GAAG,EAC5D,CAAC;YACC,WAAW,CACP,MAAM,EACN,KAAK,EACL,kCAAkC,EAClC,wFAAwF,CAC3F,CAAC;QACN,CAAC;QAED,IAAI,IAAI,KAAK,kBAAkB,IAAI,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9D,WAAW,CACP,MAAM,EACN,KAAK,EACL,qBAAqB,EACrB,UAAU,UAAU,CAAC,IAAI,iDAAiD,CAC7E,CAAC;QACN,CAAC;QAED,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,gBAAgB,GAAG,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC;QACvF,MAAM,oBAAoB,GAAG,IAAI,KAAK,uBAAuB,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAE1F,IAAI,CAAC,gBAAgB,IAAI,oBAAoB,CAAC,IAAI,QAAQ,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACrF,MAAM,CAAC,IAAI,CACP,MAAM,CAAC,MAAM,CAAC;gBACV,IAAI,EAAE,sBAAsB,CAAC,qBAAqB;gBAClD,QAAQ,EAAE,aAAa,CAAC,OAAO;gBAC/B,UAAU,EAAE,YAAY,CAAC,iBAAiB;gBAC1C,SAAS,EAAE,uBAAuB;gBAClC,OAAO,EAAE,cAAc,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,qEAAqE;gBACtI,MAAM,EAAE,KAAK,CAAC,MAAM;aACvB,CAAC,CACL,CAAC;QACN,CAAC;IACL,CAAC;IAED,sBAAsB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAEjD,OAAO;QACH,GAAG,MAAM;QACT,GAAG,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC;QACnC,GAAG,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,aAAa,CAAC;KACtD,CAAC;AACN,CAAC;AAED,SAAS,kBAAkB,CACvB,KAAmB,EACnB,UAAqC,EACrC,MAA4B;IAE5B,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAEtC,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,aAAa,IAAI,WAAW,CAAC,CAAC;QAEhE,IAAI,IAAI,CAAC,WAAW,EAAE,KAAK,uBAAuB,EAAE,CAAC;YACjD,WAAW,CACP,MAAM,EACN,KAAK,EACL,gCAAgC,EAChC,sFAAsF,CACzF,CAAC;QACN,CAAC;QAED,IAAI,CAAC;YACD,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,aAAa,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC/D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,IAAI,CAAC,CAAC,KAAK,YAAY,aAAa,CAAC,EAAE,CAAC;gBACpC,MAAM,KAAK,CAAC;YAChB,CAAC;YAED,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QAC1D,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC;QACjD,MAAM,GAAG,GAAG,GAAG,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,IAAI,OAAO,IAAI,KAAK,EAAE,CAAC;QAEjE,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,WAAW,CACP,MAAM,EACN,KAAK,EACL,qBAAqB,EACrB,eAAe,IAAI,uBAAuB,UAAU,CAAC,UAAU,IAAI,CAAC,mCAAmC,CAC1G,CAAC;QACN,CAAC;aAAM,CAAC;YACJ,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,KAAmB,EAAE,MAA4B;IACtE,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAEtC,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACtB,MAAM,cAAc,GAAG,UAAU,CAAC,mBAAmB,CAAC;QAEtD,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,cAAc,KAAK,OAAO,EAAE,CAAC;YACxD,MAAM,UAAU,GACZ,MAAM,CAAC,cAAc,CAAC,CAAC,WAAW,EAAE,KAAK,aAAa;gBAClD,CAAC,CAAC,YAAY,CAAC,YAAY;gBAC3B,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC;YAClC,WAAW,CACP,MAAM,EACN,KAAK,EACL,2BAA2B,EAC3B,aAAa,UAAU,CAAC,IAAI,WAAW,cAAc,4EAA4E,EACjI,UAAU,CACb,CAAC;QACN,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAChB,MAA4B,EAC5B,KAAmB,EACnB,SAAiB,EACjB,OAAe,EACf,UAAU,GAAG,kBAAkB,CAAC,SAAS,CAAC;IAE1C,MAAM,CAAC,IAAI,CACP,MAAM,CAAC,MAAM,CAAC;QACV,IAAI,EAAE,sBAAsB,CAAC,qBAAqB;QAClD,QAAQ,EAAE,aAAa,CAAC,OAAO;QAC/B,SAAS;QACT,OAAO;QACP,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtD,CAAC,CACL,CAAC;AACN,CAAC;AAED,SAAS,sBAAsB,CAC3B,OAAuB,EACvB,OAAgC,EAChC,MAA4B;IAE5B,MAAM,QAAQ,GAAG,IAAI,aAAa,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,CACnB,OAAO;SACF,kBAAkB,CAAC,SAAS,CAAC;SAC7B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC,CACzE,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAC3F,MAAM,KAAK,GAAG,IAAI,GAAG,CACjB,OAAO;SACF,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC;SAChD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAC7D,CAAC;IAEF,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,GAAG,YAAY,EAAE,CAAC;QAC3C,MAAM,IAAI,aAAa,CACnB,eAAe,EACf,qDAAqD,CACxD,CAAC;IACN,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,CAAC;gBACtD,IAAI,CAAC;oBACD,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC/C,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACb,IAAI,CAAC,CAAC,KAAK,YAAY,aAAa,CAAC,EAAE,CAAC;wBACpC,MAAM,KAAK,CAAC;oBAChB,CAAC;oBAED,MAAM,CAAC,IAAI,CACP,MAAM,CAAC,MAAM,CAAC;wBACV,IAAI,EAAE,sBAAsB,CAAC,qBAAqB;wBAClD,QAAQ,EAAE,aAAa,CAAC,OAAO;wBAC/B,SAAS,EAAE,KAAK,CAAC,IAAI;wBACrB,OAAO,EAAE,KAAK,CAAC,OAAO;wBACtB,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS;4BAC9B,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE;4BAClC,CAAC,CAAC,EAAE,CAAC;wBACT,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBACpD,CAAC,CACL,CAAC;gBACN,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC"}

package/dist/compatibility/mocks.d.ts

@@ -0,0 +1,4 @@
+import type { MockRegistry } from "../mocks/registry.js";
+import type { MockCheck } from "./types.js";
+export declare function checkMocks(registry: MockRegistry | undefined, kind: "method" | "sql", names: readonly string[]): MockCheck;
+//# sourceMappingURL=mocks.d.ts.map

package/dist/compatibility/mocks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mocks.d.ts","sourceRoot":"","sources":["../../src/compatibility/mocks.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,wBAAgB,UAAU,CACtB,QAAQ,EAAE,YAAY,GAAG,SAAS,EAClC,IAAI,EAAE,QAAQ,GAAG,KAAK,EACtB,KAAK,EAAE,SAAS,MAAM,EAAE,GACzB,SAAS,CAuBX"}

package/dist/compatibility/mocks.js

@@ -0,0 +1,22 @@
+import { MockCoverage } from "./types.js";
+export function checkMocks(registry, kind, names) {
+    if (!registry) {
+        return Object.freeze({ coverage: MockCoverage.Unknown, rules: Object.freeze([]) });
+    }
+    const rules = registry.describe(kind, names);
+    const unconditional = rules.filter((rule) => Object.keys(rule.when).length === 0);
+    let coverage = MockCoverage.None;
+    if (unconditional.length > 0) {
+        let highestLayer = -Infinity;
+        for (const rule of unconditional) {
+            highestLayer = Math.max(highestLayer, rule.layer);
+        }
+        const winners = unconditional.filter((rule) => rule.layer === highestLayer);
+        coverage = winners.length > 1 ? MockCoverage.Ambiguous : MockCoverage.Unconditional;
+    }
+    else if (rules.length > 0) {
+        coverage = MockCoverage.Conditional;
+    }
+    return Object.freeze({ coverage, rules });
+}
+//# sourceMappingURL=mocks.js.map

package/dist/compatibility/mocks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mocks.js","sourceRoot":"","sources":["../../src/compatibility/mocks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG1C,MAAM,UAAU,UAAU,CACtB,QAAkC,EAClC,IAAsB,EACtB,KAAwB;IAExB,IAAI,CAAC,QAAQ,EAAE,CAAC;QACZ,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACvF,CAAC;IAED,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7C,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IAClF,IAAI,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC;IAEjC,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,IAAI,YAAY,GAAG,CAAC,QAAQ,CAAC;QAE7B,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;YAC/B,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACtD,CAAC;QAED,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC;QAC5E,QAAQ,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC;IACxF,CAAC;SAAM,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,QAAQ,GAAG,YAAY,CAAC,WAAW,CAAC;IACxC,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AAC9C,CAAC"}

package/dist/compatibility/revisions.d.ts

@@ -0,0 +1,5 @@
+import type { HarnessStorage } from "../storage/types.js";
+import type { CompatibilityIssue } from "./types.js";
+/** Sequence validation shares the runtime resolver and never executes business Methods. */
+export declare function inspectRevisions(storage: HarnessStorage, files: ReadonlySet<string>): readonly CompatibilityIssue[];
+//# sourceMappingURL=revisions.d.ts.map

package/dist/compatibility/revisions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"revisions.d.ts","sourceRoot":"","sources":["../../src/compatibility/revisions.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAG1D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAErD,2FAA2F;AAC3F,wBAAgB,gBAAgB,CAC5B,OAAO,EAAE,cAAc,EACvB,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAC3B,SAAS,kBAAkB,EAAE,CAiC/B"}

package/dist/compatibility/revisions.js

@@ -0,0 +1,34 @@
+import { PlatformError } from "../platform/errors.js";
+import { RevisionSequences } from "../platform/revisions/sequences.js";
+import { CapabilityId } from "./capabilities.js";
+import { CompatibilityIssueCode, IssueSeverity } from "./types.js";
+/** Sequence validation shares the runtime resolver and never executes business Methods. */
+export function inspectRevisions(storage, files) {
+    const sequences = new RevisionSequences(storage);
+    const issues = new Map();
+    for (const definition of storage.listItemTypes()) {
+        if (!definition.isVersionable || !definition.source || !files.has(definition.source.file)) {
+            continue;
+        }
+        try {
+            sequences.resolve(definition);
+        }
+        catch (error) {
+            if (!(error instanceof PlatformError)) {
+                throw error;
+            }
+            const source = error.source ?? definition.source;
+            const key = `${error.code}:${source.file}:${source.path}`;
+            issues.set(key, Object.freeze({
+                code: CompatibilityIssueCode.InvalidDefinition,
+                severity: IssueSeverity.Error,
+                capability: CapabilityId.Revision,
+                causeCode: error.code,
+                message: error.message,
+                source,
+            }));
+        }
+    }
+    return [...issues.values()];
+}
+//# sourceMappingURL=revisions.js.map

package/dist/compatibility/revisions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"revisions.js","sourceRoot":"","sources":["../../src/compatibility/revisions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AAEvE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAGnE,2FAA2F;AAC3F,MAAM,UAAU,gBAAgB,CAC5B,OAAuB,EACvB,KAA0B;IAE1B,MAAM,SAAS,GAAG,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA8B,CAAC;IAErD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;QAC/C,IAAI,CAAC,UAAU,CAAC,aAAa,IAAI,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACxF,SAAS;QACb,CAAC;QAED,IAAI,CAAC;YACD,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAClC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,IAAI,CAAC,CAAC,KAAK,YAAY,aAAa,CAAC,EAAE,CAAC;gBACpC,MAAM,KAAK,CAAC;YAChB,CAAC;YAED,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC;YACjD,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC1D,MAAM,CAAC,GAAG,CACN,GAAG,EACH,MAAM,CAAC,MAAM,CAAC;gBACV,IAAI,EAAE,sBAAsB,CAAC,iBAAiB;gBAC9C,QAAQ,EAAE,aAAa,CAAC,KAAK;gBAC7B,UAAU,EAAE,YAAY,CAAC,QAAQ;gBACjC,SAAS,EAAE,KAAK,CAAC,IAAI;gBACrB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,MAAM;aACT,CAAC,CACL,CAAC;QACN,CAAC;IACL,CAAC;IAED,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAChC,CAAC"}

package/dist/compatibility/security.d.ts

@@ -0,0 +1,6 @@
+import type { AuthorizationPolicy } from "../platform/security/types.js";
+import type { CatalogEntry } from "../storage/types.js";
+import type { CompatibilityIssue } from "./types.js";
+/** Report known metadata gaps without pretending to evaluate unexercised business paths. */
+export declare function inspectSecurity(entries: readonly CatalogEntry[], authorization: AuthorizationPolicy | undefined): readonly CompatibilityIssue[];
+//# sourceMappingURL=security.d.ts.map

package/dist/compatibility/security.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"security.d.ts","sourceRoot":"","sources":["../../src/compatibility/security.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACzE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAGxD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAErD,4FAA4F;AAC5F,wBAAgB,eAAe,CAC3B,OAAO,EAAE,SAAS,YAAY,EAAE,EAChC,aAAa,EAAE,mBAAmB,GAAG,SAAS,GAC/C,SAAS,kBAAkB,EAAE,CA4B/B"}

package/dist/compatibility/security.js

@@ -0,0 +1,74 @@
+import { PlatformError } from "../platform/errors.js";
+import { sourceAccessEnabled } from "../platform/security/source-access.js";
+import { AuthorizationMode } from "../platform/security/types.js";
+import { CapabilityId } from "./capabilities.js";
+import { CompatibilityIssueCode, IssueSeverity } from "./types.js";
+/** Report known metadata gaps without pretending to evaluate unexercised business paths. */
+export function inspectSecurity(entries, authorization) {
+    if (authorization === AuthorizationMode.Unchecked) {
+        return [
+            Object.freeze({
+                code: CompatibilityIssueCode.UnsupportedCapability,
+                severity: IssueSeverity.Information,
+                capability: CapabilityId.NativePermissions,
+                message: "Authorization is explicitly unchecked; these tests do not validate native permission rules.",
+            }),
+        ];
+    }
+    if (authorization !== AuthorizationMode.Native) {
+        return [];
+    }
+    const issues = [];
+    for (const entry of entries) {
+        const sourceAccess = inspectSourceAccess(entry, entries);
+        if (sourceAccess) {
+            issues.push(sourceAccess);
+        }
+    }
+    return issues;
+}
+function inspectSourceAccess(entry, entries) {
+    if (entry.type !== "ItemType") {
+        return undefined;
+    }
+    try {
+        const enabled = sourceAccessEnabled({
+            name: String(entry.properties.name),
+            isRelationship: String(entry.properties.is_relationship) === "1",
+            source: entry.source,
+        }, entry.properties.use_src_access);
+        if (!enabled) {
+            return undefined;
+        }
+    }
+    catch (error) {
+        if (!(error instanceof PlatformError)) {
+            throw error;
+        }
+        const invalid = error.code === "InvalidSourceAccess";
+        return Object.freeze({
+            code: invalid
+                ? CompatibilityIssueCode.InvalidDefinition
+                : CompatibilityIssueCode.UnsupportedCapability,
+            severity: invalid ? IssueSeverity.Error : IssueSeverity.Warning,
+            capability: CapabilityId.NativePermissions,
+            causeCode: error.code,
+            message: error.message,
+            source: entry.source,
+        });
+    }
+    const relationship = entries.find((candidate) => candidate.type === "RelationshipType" &&
+        String(candidate.properties.relationship_id).toLowerCase() === entry.id.toLowerCase());
+    if (relationship && String(relationship.properties.source_id ?? "") === "") {
+        return Object.freeze({
+            code: CompatibilityIssueCode.UnsupportedCapability,
+            severity: IssueSeverity.Warning,
+            capability: CapabilityId.NativePermissions,
+            causeCode: "UnsupportedSourceAccess",
+            message: `Source access on '${entry.properties.name}' requires for_all source-type resolution, which is not implemented.`,
+            source: entry.source,
+        });
+    }
+    return undefined;
+}
+//# sourceMappingURL=security.js.map

package/dist/compatibility/security.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"security.js","sourceRoot":"","sources":["../../src/compatibility/security.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uCAAuC,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAGlE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAGnE,4FAA4F;AAC5F,MAAM,UAAU,eAAe,CAC3B,OAAgC,EAChC,aAA8C;IAE9C,IAAI,aAAa,KAAK,iBAAiB,CAAC,SAAS,EAAE,CAAC;QAChD,OAAO;YACH,MAAM,CAAC,MAAM,CAAC;gBACV,IAAI,EAAE,sBAAsB,CAAC,qBAAqB;gBAClD,QAAQ,EAAE,aAAa,CAAC,WAAW;gBACnC,UAAU,EAAE,YAAY,CAAC,iBAAiB;gBAC1C,OAAO,EACH,6FAA6F;aACpG,CAAC;SACL,CAAC;IACN,CAAC;IAED,IAAI,aAAa,KAAK,iBAAiB,CAAC,MAAM,EAAE,CAAC;QAC7C,OAAO,EAAE,CAAC;IACd,CAAC;IAED,MAAM,MAAM,GAAyB,EAAE,CAAC;IAExC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,YAAY,GAAG,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAEzD,IAAI,YAAY,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC9B,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,mBAAmB,CACxB,KAAmB,EACnB,OAAgC;IAEhC,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,mBAAmB,CAC/B;YACI,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;YACnC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,eAAe,CAAC,KAAK,GAAG;YAChE,MAAM,EAAE,KAAK,CAAC,MAAM;SACvB,EACD,KAAK,CAAC,UAAU,CAAC,cAAc,CAClC,CAAC;QAEF,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,SAAS,CAAC;QACrB,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,IAAI,CAAC,CAAC,KAAK,YAAY,aAAa,CAAC,EAAE,CAAC;YACpC,MAAM,KAAK,CAAC;QAChB,CAAC;QAED,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,KAAK,qBAAqB,CAAC;QAErD,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,IAAI,EAAE,OAAO;gBACT,CAAC,CAAC,sBAAsB,CAAC,iBAAiB;gBAC1C,CAAC,CAAC,sBAAsB,CAAC,qBAAqB;YAClD,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO;YAC/D,UAAU,EAAE,YAAY,CAAC,iBAAiB;YAC1C,SAAS,EAAE,KAAK,CAAC,IAAI;YACrB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,MAAM,EAAE,KAAK,CAAC,MAAM;SACvB,CAAC,CAAC;IACP,CAAC;IAED,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAC7B,CAAC,SAAS,EAAE,EAAE,CACV,SAAS,CAAC,IAAI,KAAK,kBAAkB;QACrC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC,WAAW,EAAE,CAC5F,CAAC;IAEF,IAAI,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,SAAS,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC;QACzE,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,IAAI,EAAE,sBAAsB,CAAC,qBAAqB;YAClD,QAAQ,EAAE,aAAa,CAAC,OAAO;YAC/B,UAAU,EAAE,YAAY,CAAC,iBAAiB;YAC1C,SAAS,EAAE,yBAAyB;YACpC,OAAO,EAAE,qBAAqB,KAAK,CAAC,UAAU,CAAC,IAAI,sEAAsE;YACzH,MAAM,EAAE,KAAK,CAAC,MAAM;SACvB,CAAC,CAAC;IACP,CAAC;IAED,OAAO,SAAS,CAAC;AACrB,CAAC"}

package/dist/compatibility/sources.d.ts

@@ -0,0 +1,6 @@
+import type { CatalogEntry, HarnessStorage } from "../storage/types.js";
+import type { PackageMethodDeclaration, PackageSqlDeclaration } from "../verification/types.js";
+/** Resolve declarations against the actual imported catalog, including patches and generated
+ * IDs. */
+export declare function resolveDeclaration(storage: HarnessStorage, type: "Method" | "SQL", declaration: PackageMethodDeclaration | PackageSqlDeclaration): CatalogEntry | undefined;
+//# sourceMappingURL=sources.d.ts.map

package/dist/compatibility/sources.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sources.d.ts","sourceRoot":"","sources":["../../src/compatibility/sources.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,KAAK,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAEhG;UACU;AACV,wBAAgB,kBAAkB,CAC9B,OAAO,EAAE,cAAc,EACvB,IAAI,EAAE,QAAQ,GAAG,KAAK,EACtB,WAAW,EAAE,wBAAwB,GAAG,qBAAqB,GAC9D,YAAY,GAAG,SAAS,CA4B1B"}

package/dist/compatibility/sources.js

@@ -0,0 +1,20 @@
+/** Resolve declarations against the actual imported catalog, including patches and generated
+ * IDs. */
+export function resolveDeclaration(storage, type, declaration) {
+    const entries = storage.listCatalogEntries(type);
+    if (declaration.id) {
+        return entries.find((entry) => entry.id.toLowerCase() === declaration.id?.toLowerCase());
+    }
+    const sameSource = entries.find((entry) => entry.source.file === declaration.source.file &&
+        entry.source.path === declaration.source.path);
+    if (sameSource) {
+        return sameSource;
+    }
+    const sameName = entries.filter((entry) => typeof entry.properties.name === "string" &&
+        entry.properties.name.toLowerCase() === declaration.name?.toLowerCase());
+    if (sameName.length === 1) {
+        return sameName[0];
+    }
+    return undefined;
+}
+//# sourceMappingURL=sources.js.map

package/dist/compatibility/sources.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sources.js","sourceRoot":"","sources":["../../src/compatibility/sources.ts"],"names":[],"mappings":"AAGA;UACU;AACV,MAAM,UAAU,kBAAkB,CAC9B,OAAuB,EACvB,IAAsB,EACtB,WAA6D;IAE7D,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAEjD,IAAI,WAAW,CAAC,EAAE,EAAE,CAAC;QACjB,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAC3B,CAAC,KAAK,EAAE,EAAE,CACN,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,MAAM,CAAC,IAAI;QAC7C,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,MAAM,CAAC,IAAI,CACpD,CAAC;IAEF,IAAI,UAAU,EAAE,CAAC;QACb,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAC3B,CAAC,KAAK,EAAE,EAAE,CACN,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;QACzC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,IAAI,EAAE,WAAW,EAAE,CAC9E,CAAC;IAEF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,SAAS,CAAC;AACrB,CAAC"}

package/dist/compatibility/types.d.ts

@@ -0,0 +1,130 @@
+import type { SourceLocation } from "../diagnostics/source-location.js";
+import type { HarnessOptions } from "../harness/configuration.js";
+import type { ExecutionReport, ExecutionMode, ExecutionStatus, ExecutionOutcome } from "../instrumentation/types.js";
+import type { MethodDefinition } from "../methods/types.js";
+import type { MockValue } from "../mocks/types.js";
+import type { PackageMethodDeclaration, PackageSqlDeclaration, PackageVerificationReport } from "../verification/types.js";
+import type { CapabilityDescriptor, CapabilityId } from "./capabilities.js";
+export interface CompatibilityOptions extends HarnessOptions {
+    /** Compile effective C# source unless an unconditional mock replaces it. Never invoke it. */
+    readonly compile?: boolean;
+    readonly executions?: readonly ExecutionReport[];
+}
+export declare enum CompatibilityIssueCode {
+    PackageImportFailed = "PACKAGE_IMPORT_FAILED",
+    UnsupportedCapability = "UNSUPPORTED_CAPABILITY",
+    ExecutorUnavailable = "EXECUTOR_UNAVAILABLE",
+    CompilationFailed = "COMPILATION_FAILED",
+    InvalidDefinition = "INVALID_DEFINITION",
+    InvalidMocks = "INVALID_MOCKS",
+    ConditionalMock = "CONDITIONAL_MOCK",
+    AmbiguousMock = "AMBIGUOUS_MOCK",
+    ExtensionNotInspected = "EXTENSION_NOT_INSPECTED",
+    AuthorizationRequired = "AUTHORIZATION_REQUIRED",
+    ExecutionSourceMismatch = "EXECUTION_SOURCE_MISMATCH",
+    ExecutionEvidenceTruncated = "EXECUTION_EVIDENCE_TRUNCATED"
+}
+export declare enum IssueSeverity {
+    Error = "ERROR",
+    Warning = "WARNING",
+    Information = "INFORMATION"
+}
+export interface CompatibilityIssue {
+    readonly code: CompatibilityIssueCode;
+    readonly severity: IssueSeverity;
+    readonly message: string;
+    readonly capability?: CapabilityId;
+    /** Original runtime diagnostic, when the same gap can be encountered during execution. */
+    readonly causeCode?: string;
+    readonly source?: SourceLocation;
+}
+export declare enum ExecutorStatus {
+    Available = "AVAILABLE",
+    Missing = "MISSING",
+    Disabled = "DISABLED",
+    Unavailable = "UNAVAILABLE",
+    Unknown = "UNKNOWN"
+}
+export interface ExecutorCheck {
+    readonly status: ExecutorStatus;
+    readonly message?: string;
+}
+export declare enum MockCoverage {
+    None = "NONE",
+    Conditional = "CONDITIONAL",
+    Unconditional = "UNCONDITIONAL",
+    Ambiguous = "AMBIGUOUS",
+    Unknown = "UNKNOWN"
+}
+export interface MockRuleDescription {
+    readonly definition: string;
+    readonly when: Readonly<Record<string, MockValue>>;
+    readonly layer: number;
+    readonly responseFile?: string;
+    readonly responseHash: string;
+}
+export interface MockCheck {
+    readonly coverage: MockCoverage;
+    readonly rules: readonly MockRuleDescription[];
+}
+export declare enum CompilationStatus {
+    NotRequested = "NOT_REQUESTED",
+    Compiled = "COMPILED",
+    Failed = "FAILED",
+    SkippedMock = "SKIPPED_MOCK",
+    Unavailable = "UNAVAILABLE",
+    Unsupported = "UNSUPPORTED",
+    Unresolved = "UNRESOLVED"
+}
+export interface CompilationCheck {
+    readonly status: CompilationStatus;
+    /** The effective source that was checked; never a claim about an overwritten declaration. */
+    readonly sourceHash?: string;
+    readonly message?: string;
+}
+export interface MethodCompatibility {
+    readonly declaration: PackageMethodDeclaration;
+    readonly definition?: Omit<MethodDefinition, "code">;
+    readonly executor: ExecutorCheck;
+    readonly mocks: MockCheck;
+    readonly compilation: CompilationCheck;
+    readonly issues: readonly CompatibilityIssue[];
+    readonly executed: boolean;
+    readonly observations: readonly SourceExecutionObservation[];
+    readonly referenceVerified: boolean;
+}
+export interface SqlCompatibility {
+    readonly declaration: PackageSqlDeclaration;
+    readonly definition?: {
+        readonly id: string;
+        readonly name: string;
+        readonly source: SourceLocation;
+        readonly bodyHashes: Readonly<Record<string, string>>;
+    };
+    readonly executor: ExecutorCheck;
+    readonly mocks: MockCheck;
+    readonly issues: readonly CompatibilityIssue[];
+    readonly executed: boolean;
+    readonly observations: readonly SourceExecutionObservation[];
+    readonly referenceVerified: boolean;
+}
+export interface SourceExecutionObservation {
+    readonly reportId: string;
+    readonly executionId: string;
+    readonly mode: ExecutionMode;
+    readonly status: ExecutionStatus;
+    readonly outcome: ExecutionOutcome;
+    readonly executed: boolean;
+    readonly sourceHash?: string;
+}
+export interface CompatibilityReport {
+    readonly packages: PackageVerificationReport;
+    readonly capabilities: readonly CapabilityDescriptor[];
+    readonly methods: readonly MethodCompatibility[];
+    readonly sql: readonly SqlCompatibility[];
+    readonly issues: readonly CompatibilityIssue[];
+    /** Dynamic names, generated AML, branch coverage and external effects are not statically
+     * proven. */
+    readonly limitations: readonly string[];
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/compatibility/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/compatibility/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,KAAK,EACR,eAAe,EACf,aAAa,EACb,eAAe,EACf,gBAAgB,EACnB,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EACR,wBAAwB,EACxB,qBAAqB,EACrB,yBAAyB,EAC5B,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,oBAAoB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAE5E,MAAM,WAAW,oBAAqB,SAAQ,cAAc;IACxD,6FAA6F;IAC7F,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;CACpD;AAED,oBAAY,sBAAsB;IAC9B,mBAAmB,0BAA0B;IAC7C,qBAAqB,2BAA2B;IAChD,mBAAmB,yBAAyB;IAC5C,iBAAiB,uBAAuB;IACxC,iBAAiB,uBAAuB;IACxC,YAAY,kBAAkB;IAC9B,eAAe,qBAAqB;IACpC,aAAa,mBAAmB;IAChC,qBAAqB,4BAA4B;IACjD,qBAAqB,2BAA2B;IAChD,uBAAuB,8BAA8B;IACrD,0BAA0B,iCAAiC;CAC9D;AAED,oBAAY,aAAa;IACrB,KAAK,UAAU;IACf,OAAO,YAAY;IACnB,WAAW,gBAAgB;CAC9B;AAED,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC;IACnC,0FAA0F;IAC1F,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,cAAc,CAAC;CACpC;AAED,oBAAY,cAAc;IACtB,SAAS,cAAc;IACvB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,WAAW,gBAAgB;IAC3B,OAAO,YAAY;CACtB;AAED,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,oBAAY,YAAY;IACpB,IAAI,SAAS;IACb,WAAW,gBAAgB;IAC3B,aAAa,kBAAkB;IAC/B,SAAS,cAAc;IACvB,OAAO,YAAY;CACtB;AAED,MAAM,WAAW,mBAAmB;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,SAAS;IACtB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,SAAS,mBAAmB,EAAE,CAAC;CAClD;AAED,oBAAY,iBAAiB;IACzB,YAAY,kBAAkB;IAC9B,QAAQ,aAAa;IACrB,MAAM,WAAW;IACjB,WAAW,iBAAiB;IAC5B,WAAW,gBAAgB;IAC3B,WAAW,gBAAgB;IAC3B,UAAU,eAAe;CAC5B;AAED,MAAM,WAAW,gBAAgB;IAC7B,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,6FAA6F;IAC7F,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAChC,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC;IAC/C,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IACrD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,SAAS,0BAA0B,EAAE,CAAC;IAC7D,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;CACvC;AAED,MAAM,WAAW,gBAAgB;IAC7B,QAAQ,CAAC,WAAW,EAAE,qBAAqB,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE;QAClB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;QAChC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;KACzD,CAAC;IACF,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,SAAS,0BAA0B,EAAE,CAAC;IAC7D,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;CACvC;AAED,MAAM,WAAW,0BAA0B;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,mBAAmB;IAChC,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,CAAC;IAC7C,QAAQ,CAAC,YAAY,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACvD,QAAQ,CAAC,OAAO,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACjD,QAAQ,CAAC,GAAG,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC/C;iBACa;IACb,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C"}

package/dist/compatibility/types.js

@@ -0,0 +1,48 @@
+export var CompatibilityIssueCode;
+(function (CompatibilityIssueCode) {
+    CompatibilityIssueCode["PackageImportFailed"] = "PACKAGE_IMPORT_FAILED";
+    CompatibilityIssueCode["UnsupportedCapability"] = "UNSUPPORTED_CAPABILITY";
+    CompatibilityIssueCode["ExecutorUnavailable"] = "EXECUTOR_UNAVAILABLE";
+    CompatibilityIssueCode["CompilationFailed"] = "COMPILATION_FAILED";
+    CompatibilityIssueCode["InvalidDefinition"] = "INVALID_DEFINITION";
+    CompatibilityIssueCode["InvalidMocks"] = "INVALID_MOCKS";
+    CompatibilityIssueCode["ConditionalMock"] = "CONDITIONAL_MOCK";
+    CompatibilityIssueCode["AmbiguousMock"] = "AMBIGUOUS_MOCK";
+    CompatibilityIssueCode["ExtensionNotInspected"] = "EXTENSION_NOT_INSPECTED";
+    CompatibilityIssueCode["AuthorizationRequired"] = "AUTHORIZATION_REQUIRED";
+    CompatibilityIssueCode["ExecutionSourceMismatch"] = "EXECUTION_SOURCE_MISMATCH";
+    CompatibilityIssueCode["ExecutionEvidenceTruncated"] = "EXECUTION_EVIDENCE_TRUNCATED";
+})(CompatibilityIssueCode || (CompatibilityIssueCode = {}));
+export var IssueSeverity;
+(function (IssueSeverity) {
+    IssueSeverity["Error"] = "ERROR";
+    IssueSeverity["Warning"] = "WARNING";
+    IssueSeverity["Information"] = "INFORMATION";
+})(IssueSeverity || (IssueSeverity = {}));
+export var ExecutorStatus;
+(function (ExecutorStatus) {
+    ExecutorStatus["Available"] = "AVAILABLE";
+    ExecutorStatus["Missing"] = "MISSING";
+    ExecutorStatus["Disabled"] = "DISABLED";
+    ExecutorStatus["Unavailable"] = "UNAVAILABLE";
+    ExecutorStatus["Unknown"] = "UNKNOWN";
+})(ExecutorStatus || (ExecutorStatus = {}));
+export var MockCoverage;
+(function (MockCoverage) {
+    MockCoverage["None"] = "NONE";
+    MockCoverage["Conditional"] = "CONDITIONAL";
+    MockCoverage["Unconditional"] = "UNCONDITIONAL";
+    MockCoverage["Ambiguous"] = "AMBIGUOUS";
+    MockCoverage["Unknown"] = "UNKNOWN";
+})(MockCoverage || (MockCoverage = {}));
+export var CompilationStatus;
+(function (CompilationStatus) {
+    CompilationStatus["NotRequested"] = "NOT_REQUESTED";
+    CompilationStatus["Compiled"] = "COMPILED";
+    CompilationStatus["Failed"] = "FAILED";
+    CompilationStatus["SkippedMock"] = "SKIPPED_MOCK";
+    CompilationStatus["Unavailable"] = "UNAVAILABLE";
+    CompilationStatus["Unsupported"] = "UNSUPPORTED";
+    CompilationStatus["Unresolved"] = "UNRESOLVED";
+})(CompilationStatus || (CompilationStatus = {}));
+//# sourceMappingURL=types.js.map

package/dist/compatibility/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/compatibility/types.ts"],"names":[],"mappings":"AAuBA,MAAM,CAAN,IAAY,sBAaX;AAbD,WAAY,sBAAsB;IAC9B,uEAA6C,CAAA;IAC7C,0EAAgD,CAAA;IAChD,sEAA4C,CAAA;IAC5C,kEAAwC,CAAA;IACxC,kEAAwC,CAAA;IACxC,wDAA8B,CAAA;IAC9B,8DAAoC,CAAA;IACpC,0DAAgC,CAAA;IAChC,2EAAiD,CAAA;IACjD,0EAAgD,CAAA;IAChD,+EAAqD,CAAA;IACrD,qFAA2D,CAAA;AAC/D,CAAC,EAbW,sBAAsB,KAAtB,sBAAsB,QAajC;AAED,MAAM,CAAN,IAAY,aAIX;AAJD,WAAY,aAAa;IACrB,gCAAe,CAAA;IACf,oCAAmB,CAAA;IACnB,4CAA2B,CAAA;AAC/B,CAAC,EAJW,aAAa,KAAb,aAAa,QAIxB;AAYD,MAAM,CAAN,IAAY,cAMX;AAND,WAAY,cAAc;IACtB,yCAAuB,CAAA;IACvB,qCAAmB,CAAA;IACnB,uCAAqB,CAAA;IACrB,6CAA2B,CAAA;IAC3B,qCAAmB,CAAA;AACvB,CAAC,EANW,cAAc,KAAd,cAAc,QAMzB;AAOD,MAAM,CAAN,IAAY,YAMX;AAND,WAAY,YAAY;IACpB,6BAAa,CAAA;IACb,2CAA2B,CAAA;IAC3B,+CAA+B,CAAA;IAC/B,uCAAuB,CAAA;IACvB,mCAAmB,CAAA;AACvB,CAAC,EANW,YAAY,KAAZ,YAAY,QAMvB;AAeD,MAAM,CAAN,IAAY,iBAQX;AARD,WAAY,iBAAiB;IACzB,mDAA8B,CAAA;IAC9B,0CAAqB,CAAA;IACrB,sCAAiB,CAAA;IACjB,iDAA4B,CAAA;IAC5B,gDAA2B,CAAA;IAC3B,gDAA2B,CAAA;IAC3B,8CAAyB,CAAA;AAC7B,CAAC,EARW,iBAAiB,KAAjB,iBAAiB,QAQ5B"}

package/dist/controls/clock.d.ts

@@ -0,0 +1,23 @@
+export interface ClockSettings {
+    readonly at: string;
+}
+export interface ClockControl {
+    now(): Date;
+    set(value: string | Date): void;
+    advance(milliseconds: number): void;
+}
+/** An immutable starting instant; each world owns its own clock. */
+export declare function fixedClock(value: string | Date): ClockSettings;
+export declare function clockSettings(value: unknown): ClockSettings | undefined;
+export declare class WorldClock {
+    private current;
+    private baseline;
+    constructor(settings?: ClockSettings);
+    now(): Date;
+    control(assertOpen: () => void, assertIdle: () => void): ClockControl;
+    checkpoint(): void;
+    capture(): number | undefined;
+    restore(value: number | undefined): void;
+    reset(): void;
+}
+//# sourceMappingURL=clock.d.ts.map

package/dist/controls/clock.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"clock.d.ts","sourceRoot":"","sources":["../../src/controls/clock.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IACzB,GAAG,IAAI,IAAI,CAAC;IACZ,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;IAChC,OAAO,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;CACvC;AAED,oEAAoE;AACpE,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,aAAa,CAE9D;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,GAAG,SAAS,CAgBvE;AAED,qBAAa,UAAU;IACnB,OAAO,CAAC,OAAO,CAAqB;IACpC,OAAO,CAAC,QAAQ,CAAqB;IAErC,YAAY,QAAQ,CAAC,EAAE,aAAa,EAGnC;IAED,GAAG,IAAI,IAAI,CAEV;IAED,OAAO,CAAC,UAAU,EAAE,MAAM,IAAI,EAAE,UAAU,EAAE,MAAM,IAAI,GAAG,YAAY,CAyBpE;IAED,UAAU,IAAI,IAAI,CAEjB;IAED,OAAO,IAAI,MAAM,GAAG,SAAS,CAE5B;IAED,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAGvC;IAED,KAAK,IAAI,IAAI,CAEZ;CACJ"}