obix-equivalence 0.2.1

package/README.md

@@ -0,0 +1,42 @@
+# obix-equivalence
+
+**Adapter-equivalence orchestration + behavioural / contract DSL parsers.**
+
+```bash
+npm install obix-equivalence
+```
+
+## Equivalence (Problem 1)
+
+```ts
+const report = checkEquivalence(artifact, { trace: [["Start"],["Tick"],["Tick"],["Stop"]] });
+report.expected;         // oracle final state (from referenceFold — no adapters)
+report.equivalent;       // state + render + validation match, every step, every projection
+report.stepWise;         // states match at every step
+report.renderEqual;      // render() matches the oracle at every step
+report.validationEqual;  // validate() matches the oracle at every step
+report.perAdapter;       // data / functional / functional.create / oop / reactive traces
+```
+
+The expected values are always `obix-validator.referenceFold`. Adapters are never
+compared only to each other.
+
+## Sub-modules (Problem 11 — one package, not two)
+
+| Import | Contents |
+|---|---|
+| `obix-equivalence` | everything |
+| `.../equivalence` | `checkEquivalence` |
+| `.../behavioural` | `parseTestDSL` (`Timer.test.obix`) |
+| `.../contracts` | `parseContractDSL` (`Timer.obix.test`) |
+| `.../virtual-time` | `runWithVirtualTime`, `createVirtualClock` |
+
+## Dependency role
+
+`obix-spec`, `obix-ir`, `obix-validator` + the four **pure** adapters (never the
+native adapter). Adapters never depend on this package. Consumed by `obix-cli`.
+
+## Level 0 status
+
+✅ Equivalence orchestration + DSL parsing. Contract/behavioural *execution*
+is driven by the CLI and consumers.

package/dist/behavioural/index.d.ts

@@ -0,0 +1,25 @@
+export type BehaviouralStep = {
+    op: "dispatch";
+    action: string;
+    payload?: unknown;
+} | {
+    op: "advance";
+    ms: number;
+};
+export interface Expectation {
+    target: string;
+    matcher: "is" | "isNot";
+    value: unknown;
+}
+export interface BehaviouralCase {
+    name: string;
+    givenProps?: Record<string, unknown>;
+    givenState?: Record<string, unknown>;
+    steps: BehaviouralStep[];
+    expectations: Expectation[];
+}
+export interface BehaviouralSuite {
+    cases: BehaviouralCase[];
+}
+export declare function parseTestDSL(source: string): BehaviouralSuite;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/behavioural/index.ts"],"names":[],"mappings":"AAKA,MAAM,MAAM,eAAe,GACvB;IAAE,EAAE,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAElC,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,IAAI,GAAG,OAAO,CAAC;IACxB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACrC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACrC,KAAK,EAAE,eAAe,EAAE,CAAC;IACzB,YAAY,EAAE,WAAW,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,eAAe,EAAE,CAAC;CAC1B;AAsBD,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAsB7D"}

package/dist/behavioural/index.js

@@ -0,0 +1,54 @@
+const literal = (raw) => {
+    const t = raw.trim();
+    if (t === "true")
+        return true;
+    if (t === "false")
+        return false;
+    if (/^-?\d+(\.\d+)?$/.test(t))
+        return Number(t);
+    const s = t.match(/^"([^"]*)"$/);
+    if (s)
+        return s[1];
+    return t;
+};
+const objectLiteral = (raw) => {
+    const out = {};
+    const body = raw.trim().replace(/^\{/, "").replace(/\}$/, "");
+    for (const pair of body.split(",")) {
+        const m = pair.match(/^\s*([A-Za-z_$][\w$]*)\s*:\s*(.+?)\s*$/);
+        if (m)
+            out[m[1]] = literal(m[2]);
+    }
+    return out;
+};
+export function parseTestDSL(source) {
+    const cases = [];
+    const re = /test\s+([A-Za-z_$][\w$]*)\s*\{([\s\S]*?)\n\}/g;
+    let m;
+    while ((m = re.exec(source)) !== null) {
+        const name = m[1];
+        const body = m[2];
+        const c = { name, steps: [], expectations: [] };
+        for (const lineRaw of body.split("\n")) {
+            const line = lineRaw.trim();
+            if (!line || line.startsWith("//"))
+                continue;
+            let g;
+            if ((g = line.match(/^given props\s+(\{.*\})$/)))
+                c.givenProps = objectLiteral(g[1]);
+            else if ((g = line.match(/^given state\s+(\{.*\})$/)))
+                c.givenState = objectLiteral(g[1]);
+            else if ((g = line.match(/^dispatch\s+([A-Za-z_$][\w$]*)(?:\s+(.+))?$/)))
+                c.steps.push({ op: "dispatch", action: g[1], payload: g[2] ? literal(g[2]) : undefined });
+            else if ((g = line.match(/^advance\s+(\d+)ms$/)))
+                c.steps.push({ op: "advance", ms: Number(g[1]) });
+            else if ((g = line.match(/^expect\s+(.+?)\s+is\s+not\s+(.+)$/)))
+                c.expectations.push({ target: g[1], matcher: "isNot", value: literal(g[2]) });
+            else if ((g = line.match(/^expect\s+(.+?)\s+is\s+(.+)$/)))
+                c.expectations.push({ target: g[1], matcher: "is", value: literal(g[2]) });
+        }
+        cases.push(c);
+    }
+    return { cases };
+}
+//# sourceMappingURL=index.js.map

package/dist/behavioural/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/behavioural/index.ts"],"names":[],"mappings":"AA2BA,MAAM,OAAO,GAAG,CAAC,GAAW,EAAW,EAAE;IACvC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACrB,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9B,IAAI,CAAC,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAChC,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IACjC,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACnB,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,GAAW,EAA2B,EAAE;IAC7D,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC9D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,wCAAwC,CAAC,CAAC;QAC/D,IAAI,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,MAAM,EAAE,GAAG,+CAA+C,CAAC;IAC3D,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACnB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACnB,MAAM,CAAC,GAAoB,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;QACjE,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7C,IAAI,CAA0B,CAAC;YAC/B,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;gBAAE,CAAC,CAAC,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;iBACjF,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;gBAAE,CAAC,CAAC,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;iBACtF,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC;gBAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;iBAChK,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;gBAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;iBAC/F,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;gBAAE,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC;iBAC5I,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;gBAAE,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC;QAC1I,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC;AACnB,CAAC"}

package/dist/contracts/index.d.ts

@@ -0,0 +1,34 @@
+export interface ContractActionDecl {
+    name: string;
+    arity: number;
+    readsProps: string[];
+}
+export interface ContractDerivedDecl {
+    name: string;
+    type: string;
+}
+export interface ContractEffectDecl {
+    name: string;
+    every: number;
+    dispatches: string;
+}
+export interface ContractInvariant {
+    name: string;
+    body: string;
+}
+export interface ContractElement {
+    name: string;
+    body: string;
+}
+export interface ContractModel {
+    dop: {
+        actions: ContractActionDecl[];
+        derived: ContractDerivedDecl[];
+        effects: ContractEffectDecl[];
+    };
+    invariants: ContractInvariant[];
+    elements: ContractElement[];
+    announce?: string;
+}
+export declare function parseContractDSL(source: string): ContractModel;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/contracts/index.ts"],"names":[],"mappings":"AAKA,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AACD,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AACD,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;CACpB;AACD,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AACD,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE;QACH,OAAO,EAAE,kBAAkB,EAAE,CAAC;QAC9B,OAAO,EAAE,mBAAmB,EAAE,CAAC;QAC/B,OAAO,EAAE,kBAAkB,EAAE,CAAC;KAC/B,CAAC;IACF,UAAU,EAAE,iBAAiB,EAAE,CAAC;IAChC,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CA0C9D"}

package/dist/contracts/index.js

@@ -0,0 +1,42 @@
+export function parseContractDSL(source) {
+    const model = {
+        dop: { actions: [], derived: [], effects: [] },
+        invariants: [],
+        elements: [],
+    };
+    const dopBlock = source.match(/dop\s*\{([\s\S]*?)\n\}/);
+    if (dopBlock) {
+        for (const lineRaw of dopBlock[1].split("\n")) {
+            const line = lineRaw.trim();
+            let m;
+            if ((m = line.match(/^action\s+([A-Za-z_$][\w$]*)\s+arity\s+(\d+)\s+reads\s+props\s+\[([^\]]*)\]$/))) {
+                model.dop.actions.push({
+                    name: m[1],
+                    arity: Number(m[2]),
+                    readsProps: m[3].split(",").map((s) => s.trim()).filter(Boolean),
+                });
+            }
+            else if ((m = line.match(/^derived\s+([A-Za-z_$][\w$]*)\s*:\s*(\w+)$/))) {
+                model.dop.derived.push({ name: m[1], type: m[2] });
+            }
+            else if ((m = line.match(/^effect\s+([A-Za-z_$][\w$]*)\s+every\s+(\d+)\s+dispatches\s+([A-Za-z_$][\w$]*)$/))) {
+                model.dop.effects.push({ name: m[1], every: Number(m[2]), dispatches: m[3] });
+            }
+        }
+    }
+    const invRe = /invariant\s+([A-Za-z_$][\w$]*)\s*\{([\s\S]*?)\n\}/g;
+    let im;
+    while ((im = invRe.exec(source)) !== null) {
+        model.invariants.push({ name: im[1], body: im[2].trim() });
+    }
+    const elRe = /element\s+([A-Za-z_$][\w$]*)\s*\{([\s\S]*?)\n\}/g;
+    let em;
+    while ((em = elRe.exec(source)) !== null) {
+        model.elements.push({ name: em[1], body: em[2].trim() });
+    }
+    const ann = source.match(/announce\s*\{([\s\S]*?)\n\}/);
+    if (ann)
+        model.announce = ann[1].trim();
+    return model;
+}
+//# sourceMappingURL=index.js.map

package/dist/contracts/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/contracts/index.ts"],"names":[],"mappings":"AAuCA,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,MAAM,KAAK,GAAkB;QAC3B,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;QAC9C,UAAU,EAAE,EAAE;QACd,QAAQ,EAAE,EAAE;KACb,CAAC;IAEF,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;IACxD,IAAI,QAAQ,EAAE,CAAC;QACb,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;YAC5B,IAAI,CAA0B,CAAC;YAC/B,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,8EAA8E,CAAC,CAAC,EAAE,CAAC;gBACrG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;oBACrB,IAAI,EAAE,CAAC,CAAC,CAAC,CAAE;oBACX,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACnB,UAAU,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;iBAClE,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,4CAA4C,CAAC,CAAC,EAAE,CAAC;gBAC1E,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;YACvD,CAAC;iBAAM,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,iFAAiF,CAAC,CAAC,EAAE,CAAC;gBAC/G,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,oDAAoD,CAAC;IACnE,IAAI,EAA0B,CAAC;IAC/B,OAAO,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC1C,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,IAAI,GAAG,kDAAkD,CAAC;IAChE,IAAI,EAA0B,CAAC;IAC/B,OAAO,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACzC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACxD,IAAI,GAAG;QAAE,KAAK,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC;IAEzC,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/equivalence/index.d.ts

@@ -0,0 +1,23 @@
+import type { DOPArtifact, State, Props, ActionTrace, ValidationResult } from "obix-spec";
+export interface EquivalenceScenario<S extends object, P extends object> {
+    trace: ActionTrace;
+    initialState?: S;
+    props?: P;
+}
+export interface AdapterRun<S extends object> {
+    states: S[];
+    renders: (string | undefined)[];
+    validations: (ValidationResult | undefined)[];
+}
+export interface EquivalenceReport<S extends object> {
+    equivalent: boolean;
+    stepWise: boolean;
+    renderEqual: boolean;
+    validationEqual: boolean;
+    expected: S;
+    oracleHistory: S[];
+    perAdapter: Record<string, AdapterRun<S>>;
+    divergences: string[];
+}
+export declare function checkEquivalence<S extends object = State, P extends object = Props>(artifact: DOPArtifact<S, P>, scenario: EquivalenceScenario<S, P>): EquivalenceReport<S>;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/equivalence/index.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EACV,WAAW,EACX,KAAK,EACL,KAAK,EACL,WAAW,EACX,gBAAgB,EACjB,MAAM,WAAW,CAAC;AAEnB,MAAM,WAAW,mBAAmB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM;IACrE,KAAK,EAAE,WAAW,CAAC;IACnB,YAAY,CAAC,EAAE,CAAC,CAAC;IACjB,KAAK,CAAC,EAAE,CAAC,CAAC;CACX;AAED,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,MAAM;IAC1C,MAAM,EAAE,CAAC,EAAE,CAAC;IACZ,OAAO,EAAE,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAChC,WAAW,EAAE,CAAC,gBAAgB,GAAG,SAAS,CAAC,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,iBAAiB,CAAC,CAAC,SAAS,MAAM;IACjD,UAAU,EAAE,OAAO,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,OAAO,CAAC;IACrB,eAAe,EAAE,OAAO,CAAC;IACzB,QAAQ,EAAE,CAAC,CAAC;IACZ,aAAa,EAAE,CAAC,EAAE,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAWD,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,MAAM,GAAG,KAAK,EAAE,CAAC,SAAS,MAAM,GAAG,KAAK,EACjF,QAAQ,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAC3B,QAAQ,EAAE,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,GAClC,iBAAiB,CAAC,CAAC,CAAC,CA+CtB"}

package/dist/equivalence/index.js

@@ -0,0 +1,127 @@
+import { referenceFold } from "obix-validator";
+import { toData, dataRender, dataValidate } from "obix-adapter-data";
+import { toFunctional } from "obix-adapter-func";
+import { toOOP } from "obix-adapter-oop";
+import { toReactive } from "obix-adapter-reactive";
+const stable = (v) => JSON.stringify(v, (_k, val) => val && typeof val === "object" && !Array.isArray(val)
+    ? Object.fromEntries(Object.keys(val).sort().map((k) => [k, val[k]]))
+    : val);
+const eq = (a, b) => stable(a) === stable(b);
+export function checkEquivalence(artifact, scenario) {
+    const initialState = (scenario.initialState ?? artifact.initialState);
+    const props = (scenario.props ?? artifact.props);
+    const { trace } = scenario;
+    const oracle = referenceFold(artifact, initialState, props, trace);
+    const perAdapter = {
+        data: runData(artifact, initialState, props, trace),
+        functional: runFunctionalReduce(artifact, initialState, props, trace),
+        "functional.create": runFunctionalCreate(artifact, initialState, props, trace),
+        oop: runOOP(artifact, initialState, props, trace),
+        reactive: runReactive(artifact, initialState, props, trace),
+    };
+    const divergences = [];
+    let stepWise = true;
+    let renderEqual = true;
+    let validationEqual = true;
+    for (const [name, run] of Object.entries(perAdapter)) {
+        for (let i = 0; i < oracle.history.length; i++) {
+            if (!eq(run.states[i], oracle.history[i])) {
+                stepWise = false;
+                divergences.push(`${name} state@${i}: ${stable(run.states[i])} != ${stable(oracle.history[i])}`);
+            }
+            if (run.renders[i] !== undefined && oracle.renders[i] !== undefined && run.renders[i] !== oracle.renders[i]) {
+                renderEqual = false;
+                divergences.push(`${name} render@${i} differs from oracle`);
+            }
+            if (run.validations[i] !== undefined && oracle.validations[i] !== undefined && !eq(run.validations[i], oracle.validations[i])) {
+                validationEqual = false;
+                divergences.push(`${name} validation@${i} differs from oracle`);
+            }
+        }
+    }
+    return {
+        equivalent: stepWise && renderEqual && validationEqual,
+        stepWise,
+        renderEqual,
+        validationEqual,
+        expected: oracle.finalState,
+        oracleHistory: oracle.history,
+        perAdapter,
+        divergences,
+    };
+}
+function renderAt(a, s, p) {
+    return a.render ? a.render(s, p) : undefined;
+}
+function validateAt(a, s, p) {
+    return a.validate ? a.validate(s, p) : undefined;
+}
+function runData(a, from, props, trace) {
+    const d = toData(a);
+    let s = from;
+    const states = [s];
+    const renders = [d.render ? dataRender(d, s, props) : undefined];
+    const validations = [d.validate ? dataValidate(d, s, props) : undefined];
+    for (const [name, payload] of trace) {
+        s = d.actions[name](s, payload, props);
+        states.push(s);
+        renders.push(d.render ? dataRender(d, s, props) : undefined);
+        validations.push(d.validate ? dataValidate(d, s, props) : undefined);
+    }
+    return { states, renders, validations };
+}
+function runFunctionalReduce(a, from, props, trace) {
+    const F = toFunctional(a);
+    let s = from;
+    const states = [s];
+    const renders = [renderAt(a, s, props)];
+    const validations = [validateAt(a, s, props)];
+    for (const [name, payload] of trace) {
+        s = F.reduce(s, name, payload, props);
+        states.push(s);
+        renders.push(renderAt(a, s, props));
+        validations.push(validateAt(a, s, props));
+    }
+    return { states, renders, validations };
+}
+function runFunctionalCreate(a, from, props, trace) {
+    const inst = toFunctional(a).create({ state: from, props });
+    const states = [inst.getState()];
+    const renders = [a.render ? inst.render() : undefined];
+    const validations = [a.validate ? inst.validate() : undefined];
+    for (const [name, payload] of trace) {
+        inst.dispatch(name, payload);
+        states.push(inst.getState());
+        renders.push(a.render ? inst.render() : undefined);
+        validations.push(a.validate ? inst.validate() : undefined);
+    }
+    return { states, renders, validations };
+}
+function runOOP(a, from, props, trace) {
+    const Ctor = toOOP(a);
+    const inst = new Ctor({ state: from, props });
+    const states = [inst.state];
+    const renders = [a.render ? inst.render() : undefined];
+    const validations = [a.validate ? inst.validate() : undefined];
+    for (const [name, payload] of trace) {
+        inst.dispatch(name, payload);
+        states.push(inst.state);
+        renders.push(a.render ? inst.render() : undefined);
+        validations.push(a.validate ? inst.validate() : undefined);
+    }
+    return { states, renders, validations };
+}
+function runReactive(a, from, props, trace) {
+    const inst = toReactive(a)({ state: from, props });
+    const states = [inst.state];
+    const renders = [a.render ? inst.render() : undefined];
+    const validations = [a.validate ? inst.validate() : undefined];
+    for (const [name, payload] of trace) {
+        inst.dispatch(name, payload);
+        states.push(inst.state);
+        renders.push(a.render ? inst.render() : undefined);
+        validations.push(a.validate ? inst.validate() : undefined);
+    }
+    return { states, renders, validations };
+}
+//# sourceMappingURL=index.js.map

package/dist/equivalence/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/equivalence/index.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAgCnD,MAAM,MAAM,GAAG,CAAC,CAAU,EAAU,EAAE,CACpC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAC5B,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;IACnD,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAG,GAA+B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClG,CAAC,CAAC,GAAG,CACR,CAAC;AAEJ,MAAM,EAAE,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;AAExE,MAAM,UAAU,gBAAgB,CAC9B,QAA2B,EAC3B,QAAmC;IAEnC,MAAM,YAAY,GAAG,CAAC,QAAQ,CAAC,YAAY,IAAI,QAAQ,CAAC,YAAY,CAAM,CAAC;IAC3E,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAM,CAAC;IACtD,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC;IAE3B,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAEnE,MAAM,UAAU,GAAkC;QAChD,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC;QACnD,UAAU,EAAE,mBAAmB,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC;QACrE,mBAAmB,EAAE,mBAAmB,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC;QAC9E,GAAG,EAAE,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC;QACjD,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC;KAC5D,CAAC;IAEF,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,IAAI,WAAW,GAAG,IAAI,CAAC;IACvB,IAAI,eAAe,GAAG,IAAI,CAAC;IAE3B,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1C,QAAQ,GAAG,KAAK,CAAC;gBACjB,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,UAAU,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnG,CAAC;YACD,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5G,WAAW,GAAG,KAAK,CAAC;gBACpB,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,WAAW,CAAC,sBAAsB,CAAC,CAAC;YAC9D,CAAC;YACD,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9H,eAAe,GAAG,KAAK,CAAC;gBACxB,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,eAAe,CAAC,sBAAsB,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,UAAU,EAAE,QAAQ,IAAI,WAAW,IAAI,eAAe;QACtD,QAAQ;QACR,WAAW;QACX,eAAe;QACf,QAAQ,EAAE,MAAM,CAAC,UAAU;QAC3B,aAAa,EAAE,MAAM,CAAC,OAAO;QAC7B,UAAU;QACV,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAqC,CAAoB,EAAE,CAAI,EAAE,CAAI;IACpF,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/C,CAAC;AACD,SAAS,UAAU,CAAqC,CAAoB,EAAE,CAAI,EAAE,CAAI;IACtF,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACnD,CAAC;AAED,SAAS,OAAO,CAAqC,CAAoB,EAAE,IAAO,EAAE,KAAQ,EAAE,KAAkB;IAC9G,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IACnB,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACjE,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACzE,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC;QACpC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACf,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC7D,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,mBAAmB,CAAqC,CAAoB,EAAE,IAAO,EAAE,KAAQ,EAAE,KAAkB;IAC1H,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IACnB,MAAM,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACxC,MAAM,WAAW,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC;QACpC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACf,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QACpC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,mBAAmB,CAAqC,CAAoB,EAAE,IAAO,EAAE,KAAQ,EAAE,KAAkB;IAC1H,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC/D,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC;QACpC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACnD,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,MAAM,CAAqC,CAAoB,EAAE,IAAO,EAAE,KAAQ,EAAE,KAAkB;IAC7G,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC/D,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC;QACpC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACnD,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,WAAW,CAAqC,CAAoB,EAAE,IAAO,EAAE,KAAQ,EAAE,KAAkB;IAClH,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC/D,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC;QACpC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACnD,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAC1C,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,6 @@
+export { checkEquivalence, type EquivalenceScenario, type EquivalenceReport, type AdapterRun, } from "./equivalence/index.js";
+export { parseTestDSL, type BehaviouralSuite, type BehaviouralCase, type BehaviouralStep, type Expectation, } from "./behavioural/index.js";
+export { parseContractDSL, type ContractModel, type ContractActionDecl, type ContractDerivedDecl, type ContractEffectDecl, type ContractInvariant, type ContractElement, } from "./contracts/index.js";
+export { runWithVirtualTime, createVirtualClock, type VirtualRun, } from "./virtual-time/index.js";
+export { referenceFold } from "obix-validator";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAQA,OAAO,EACL,gBAAgB,EAChB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EACtB,KAAK,UAAU,GAChB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,YAAY,EACZ,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,WAAW,GACjB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,gBAAgB,EAChB,KAAK,aAAa,EAClB,KAAK,kBAAkB,EACvB,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACtB,KAAK,eAAe,GACrB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,KAAK,UAAU,GAChB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/index.js

@@ -0,0 +1,6 @@
+export { checkEquivalence, } from "./equivalence/index.js";
+export { parseTestDSL, } from "./behavioural/index.js";
+export { parseContractDSL, } from "./contracts/index.js";
+export { runWithVirtualTime, createVirtualClock, } from "./virtual-time/index.js";
+export { referenceFold } from "obix-validator";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAQA,OAAO,EACL,gBAAgB,GAIjB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,YAAY,GAKb,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,gBAAgB,GAOjB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EACL,kBAAkB,EAClB,kBAAkB,GAEnB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/virtual-time/index.d.ts

@@ -0,0 +1,14 @@
+import type { DOPArtifact, State, Props } from "obix-spec";
+export { createVirtualClock } from "obix-effects";
+export interface VirtualRun<S extends object, P extends object> {
+    readonly state: S;
+    readonly transitions: number;
+    dispatch(action: string, payload?: unknown): void;
+    advance(ms: number): void;
+    stop(): void;
+}
+export declare function runWithVirtualTime<S extends object = State, P extends object = Props>(artifact: DOPArtifact<S, P>, opts?: {
+    state?: S;
+    props?: Partial<P>;
+}): VirtualRun<S, P>;
+//# sourceMappingURL=index.d.ts.map

package/dist/virtual-time/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/virtual-time/index.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAE3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElD,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM;IAC5D,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;IAClD,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,IAAI,IAAI,IAAI,CAAC;CACd;AAOD,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,MAAM,GAAG,KAAK,EAAE,CAAC,SAAS,MAAM,GAAG,KAAK,EACnF,QAAQ,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAC3B,IAAI,GAAE;IAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;CAAO,GAC3C,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAelB"}

package/dist/virtual-time/index.js

@@ -0,0 +1,20 @@
+import { createVirtualClock } from "obix-effects";
+import { toReactive } from "obix-adapter-reactive";
+export { createVirtualClock } from "obix-effects";
+export function runWithVirtualTime(artifact, opts = {}) {
+    const vc = createVirtualClock();
+    const inst = toReactive(artifact)(opts);
+    inst.startEffects(vc.clock);
+    return {
+        get state() {
+            return inst.state;
+        },
+        get transitions() {
+            return inst.transitions;
+        },
+        dispatch: (action, payload) => void inst.dispatch(action, payload),
+        advance: (ms) => vc.advance(ms),
+        stop: () => inst.stopEffects(),
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/virtual-time/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/virtual-time/index.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAelD,MAAM,UAAU,kBAAkB,CAChC,QAA2B,EAC3B,OAA0C,EAAE;IAE5C,MAAM,EAAE,GAAG,kBAAkB,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC5B,OAAO;QACL,IAAI,KAAK;YACP,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,CAAC;QACD,IAAI,WAAW;YACb,OAAO,IAAI,CAAC,WAAW,CAAC;QAC1B,CAAC;QACD,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;QAClE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE;KAC/B,CAAC;AACJ,CAAC"}

package/package.json

@@ -0,0 +1,58 @@
+{
+  "name": "obix-equivalence",
+  "version": "0.2.1",
+  "description": "OBIX adapter-equivalence orchestration + behavioural/contract DSL parsers. Compares every projection to the INDEPENDENT obix-validator.referenceFold oracle, step by step. Depends on spec, ir, validator and the four pure adapters.",
+  "license": "MIT",
+  "type": "module",
+  "private": false,
+  "sideEffects": false,
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./equivalence": {
+      "types": "./dist/equivalence/index.d.ts",
+      "import": "./dist/equivalence/index.js"
+    },
+    "./behavioural": {
+      "types": "./dist/behavioural/index.d.ts",
+      "import": "./dist/behavioural/index.js"
+    },
+    "./contracts": {
+      "types": "./dist/contracts/index.d.ts",
+      "import": "./dist/contracts/index.js"
+    },
+    "./virtual-time": {
+      "types": "./dist/virtual-time/index.d.ts",
+      "import": "./dist/virtual-time/index.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "files": ["dist", "README.md", "LICENSE"],
+  "scripts": {
+    "build": "tsc -p tsconfig.json"
+  },
+  "dependencies": {
+    "obix-spec": "0.2.1",
+    "obix-ir": "0.2.1",
+    "obix-validator": "0.2.1",
+    "obix-adapter-data": "0.2.1",
+    "obix-adapter-func": "0.2.1",
+    "obix-adapter-oop": "0.2.1",
+    "obix-adapter-reactive": "0.2.1"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "engines": {
+    "node": ">=20.11.0"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/obinexusmk2/obix-monorepo-2026.git",
+    "directory": "packages/obix-equivalence"
+  }
+}