@atsumell/trace-weave 0.1.0

package/dist/patterns/index.js

@@ -0,0 +1,57 @@
+import {
+  always,
+  eventually,
+  implies,
+  not,
+  once,
+  release,
+  since
+} from "../chunk-35PKIXFV.js";
+
+// src/patterns/patterns.ts
+function absence(p) {
+  return always(not(p));
+}
+function response(p, q) {
+  return always(implies(p, eventually(q)));
+}
+function boundedResponse(p, q, steps) {
+  return always(implies(p, { kind: "withinSteps", steps, child: q }));
+}
+function precedence(p, q) {
+  return release(p, not(q));
+}
+function persistence(p) {
+  return always(implies(p, always(p)));
+}
+function stability(p, q) {
+  return always(implies(p, always(q)));
+}
+
+// src/patterns/scoped.ts
+function globally(pattern) {
+  return always(pattern);
+}
+function after(q, pattern) {
+  return always(implies(once(q), pattern));
+}
+function before(r, pattern) {
+  return always(implies(not(once(r)), pattern));
+}
+function between(q, r, pattern) {
+  const inScope = since(not(r), q);
+  return always(implies(inScope, pattern));
+}
+export {
+  absence,
+  after,
+  before,
+  between,
+  boundedResponse,
+  globally,
+  persistence,
+  precedence,
+  response,
+  stability
+};
+//# sourceMappingURL=index.js.map

package/dist/patterns/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/patterns/patterns.ts","../../src/patterns/scoped.ts"],"sourcesContent":["import { always, eventually, implies, not, release } from \"../builder/factory.js\";\nimport type { FormulaExpr } from \"../core/formula-expr.js\";\n\n/**\n * Absence: p never holds globally.\n * LTLf: G(!p)\n */\nexport function absence(p: FormulaExpr): FormulaExpr {\n\treturn always(not(p));\n}\n\n/**\n * Response: every p is eventually followed by q.\n * LTLf: G(p -> F q)\n */\nexport function response(p: FormulaExpr, q: FormulaExpr): FormulaExpr {\n\treturn always(implies(p, eventually(q)));\n}\n\n/**\n * Bounded Response: every p is followed by q within N steps (N positions from current).\n * LTLf: G(p -> withinSteps(n, q))\n * Consistent with withinSteps semantics: checks positions [pos, pos+n).\n */\nexport function boundedResponse(p: FormulaExpr, q: FormulaExpr, steps: number): FormulaExpr {\n\treturn always(implies(p, { kind: \"withinSteps\", steps, child: q }));\n}\n\n/**\n * Precedence: q can only occur after p has occurred.\n * LTLf: (!q) U p  (or equivalently, G(!q) if p never happens)\n * Weak until variant: !q W p = ((!q) U p) | G(!q)\n */\nexport function precedence(p: FormulaExpr, q: FormulaExpr): FormulaExpr {\n\treturn release(p, not(q));\n}\n\n/**\n * Persistence: once p holds, it holds forever after.\n * LTLf: G(p -> G p)\n */\nexport function persistence(p: FormulaExpr): FormulaExpr {\n\treturn always(implies(p, always(p)));\n}\n\n/**\n * Stability: once p holds, q holds forever after.\n * LTLf: G(p -> G q)\n */\nexport function stability(p: FormulaExpr, q: FormulaExpr): FormulaExpr {\n\treturn always(implies(p, always(q)));\n}\n","import { always, and, implies, not, once, since } from \"../builder/factory.js\";\nimport type { FormulaExpr } from \"../core/formula-expr.js\";\n\n/**\n * Globally scope — the pattern holds at every step.\n * Just wraps the pattern in always(). Included for API completeness.\n */\nexport function globally(pattern: FormulaExpr): FormulaExpr {\n\treturn always(pattern);\n}\n\n/**\n * After scope — the pattern holds at every step after q has occurred.\n * LTLf: G(once(q) -> pattern)\n */\nexport function after(q: FormulaExpr, pattern: FormulaExpr): FormulaExpr {\n\treturn always(implies(once(q), pattern));\n}\n\n/**\n * Before scope — the pattern holds at every step before r occurs.\n * LTLf: G(!once(r) -> pattern) which simplifies to: pattern holds until r.\n * We use historically(!r) -> pattern for each step.\n */\nexport function before(r: FormulaExpr, pattern: FormulaExpr): FormulaExpr {\n\treturn always(implies(not(once(r)), pattern));\n}\n\n/**\n * Between scope — the pattern holds between every occurrence of q and the next r.\n * LTLf: G( (not(r) S q) -> pattern )\n * \"not(r) since q\" is true when q has occurred and r has not occurred since the last q.\n * This correctly handles re-entry: q→r→q reactivates the scope.\n */\nexport function between(q: FormulaExpr, r: FormulaExpr, pattern: FormulaExpr): FormulaExpr {\n\tconst inScope = since(not(r), q);\n\treturn always(implies(inScope, pattern));\n}\n"],"mappings":";;;;;;;;;;;AAOO,SAAS,QAAQ,GAA6B;AACpD,SAAO,OAAO,IAAI,CAAC,CAAC;AACrB;AAMO,SAAS,SAAS,GAAgB,GAA6B;AACrE,SAAO,OAAO,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC;AACxC;AAOO,SAAS,gBAAgB,GAAgB,GAAgB,OAA4B;AAC3F,SAAO,OAAO,QAAQ,GAAG,EAAE,MAAM,eAAe,OAAO,OAAO,EAAE,CAAC,CAAC;AACnE;AAOO,SAAS,WAAW,GAAgB,GAA6B;AACvE,SAAO,QAAQ,GAAG,IAAI,CAAC,CAAC;AACzB;AAMO,SAAS,YAAY,GAA6B;AACxD,SAAO,OAAO,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC;AACpC;AAMO,SAAS,UAAU,GAAgB,GAA6B;AACtE,SAAO,OAAO,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC;AACpC;;;AC5CO,SAAS,SAAS,SAAmC;AAC3D,SAAO,OAAO,OAAO;AACtB;AAMO,SAAS,MAAM,GAAgB,SAAmC;AACxE,SAAO,OAAO,QAAQ,KAAK,CAAC,GAAG,OAAO,CAAC;AACxC;AAOO,SAAS,OAAO,GAAgB,SAAmC;AACzE,SAAO,OAAO,QAAQ,IAAI,KAAK,CAAC,CAAC,GAAG,OAAO,CAAC;AAC7C;AAQO,SAAS,QAAQ,GAAgB,GAAgB,SAAmC;AAC1F,QAAM,UAAU,MAAM,IAAI,CAAC,GAAG,CAAC;AAC/B,SAAO,OAAO,QAAQ,SAAS,OAAO,CAAC;AACxC;","names":[]}

package/dist/prepare-CrKEArDt.d.ts

@@ -0,0 +1,8 @@
+import { F as FormulaDocument } from './formula-document-ChXznpvJ.js';
+
+interface CompiledFormula {
+    readonly document: FormulaDocument;
+}
+declare function prepare(doc: FormulaDocument): CompiledFormula;
+
+export { type CompiledFormula as C, prepare as p };

package/dist/runtime-Do1rQFhQ.d.ts

@@ -0,0 +1,9 @@
+import { P as PredicateId, J as JsonValue, S as SelectorId } from './values-CEF1lKTL.js';
+
+interface MonitorRuntime<TEvent> {
+    readonly predicates: Readonly<Record<PredicateId, (event: TEvent, args: readonly JsonValue[]) => boolean>>;
+    readonly selectors: Readonly<Record<SelectorId, (event: TEvent) => JsonValue>>;
+    readonly timestamp?: (event: TEvent) => number;
+}
+
+export type { MonitorRuntime as M };

package/dist/types-xatgZlwH.d.ts

@@ -0,0 +1,35 @@
+import { C as CompiledFormula } from './prepare-CrKEArDt.js';
+import { N as NodeId, A as ActivationId } from './values-CEF1lKTL.js';
+import { M as MonitorRuntime } from './runtime-Do1rQFhQ.js';
+import { V as Verdict } from './verdict-DYG0WE3o.js';
+
+interface MonitorState<TEvent> {
+    readonly compiled: CompiledFormula;
+    readonly runtime: MonitorRuntime<TEvent>;
+    step: number;
+    readonly trace: TEvent[];
+    currentVerdict: Verdict;
+    finalized: boolean;
+}
+interface OracleRunResult {
+    readonly verdict: Verdict;
+    readonly steps: number;
+    readonly report: CounterexampleReport | null;
+}
+interface ObligationSnapshot {
+    readonly nodeId: NodeId;
+    readonly activationId: ActivationId;
+    readonly verdict: Verdict;
+    readonly step: number;
+}
+interface CounterexampleReport {
+    readonly verdict: Verdict;
+    readonly failurePath: readonly ObligationSnapshot[];
+    readonly traceSlice: readonly {
+        step: number;
+        event: unknown;
+    }[];
+    readonly summary: string;
+}
+
+export type { CounterexampleReport as C, MonitorState as M, OracleRunResult as O, ObligationSnapshot as a };

package/dist/values-CEF1lKTL.d.ts

@@ -0,0 +1,48 @@
+declare const __brand: unique symbol;
+type Brand<T, B extends string> = T & {
+    readonly [__brand]: B;
+};
+type NodeId = Brand<string, "NodeId">;
+type PredicateId = Brand<string, "PredicateId">;
+type SelectorId = Brand<string, "SelectorId">;
+type CaptureName = Brand<string, "CaptureName">;
+type ActivationId = Brand<string, "ActivationId">;
+type EnvId = Brand<string, "EnvId">;
+declare function nodeId(s: string): NodeId;
+declare function predicateId(s: string): PredicateId;
+declare function selectorId(s: string): SelectorId;
+declare function captureName(s: string): CaptureName;
+declare function activationId(s: string): ActivationId;
+declare function envId(s: string): EnvId;
+
+interface SourceSpan {
+    readonly file?: string;
+    readonly line?: number;
+    readonly column?: number;
+}
+interface FormulaMeta {
+    readonly humanLabel?: string;
+    readonly sourceSpan?: SourceSpan;
+    readonly confidence?: number;
+}
+interface NodeProvenance {
+    readonly nodeId: NodeId;
+    readonly origin: "user" | "compiler" | "pattern";
+    readonly sourceExprKind?: string;
+    readonly meta?: FormulaMeta;
+}
+
+type JsonValue = string | number | boolean | null | readonly JsonValue[] | {
+    readonly [key: string]: JsonValue;
+};
+type ValueExprArg = {
+    readonly kind: "currentSelector";
+    readonly selectorId: SelectorId;
+} | {
+    readonly kind: "literal";
+    readonly value: JsonValue;
+};
+declare function current(selectorId: SelectorId): ValueExprArg;
+declare function value(v: JsonValue): ValueExprArg;
+
+export { type ActivationId as A, type CaptureName as C, type EnvId as E, type FormulaMeta as F, type JsonValue as J, type NodeId as N, type PredicateId as P, type SelectorId as S, type ValueExprArg as V, type NodeProvenance as a, type SourceSpan as b, activationId as c, captureName as d, current as e, envId as f, nodeId as n, predicateId as p, selectorId as s, value as v };

package/dist/verdict-DYG0WE3o.d.ts

@@ -0,0 +1,7 @@
+type Verdict = "satisfied" | "violated" | "pending";
+declare function notV(v: Verdict): Verdict;
+declare function andV(a: Verdict, b: Verdict): Verdict;
+declare function orV(a: Verdict, b: Verdict): Verdict;
+declare function impliesV(a: Verdict, b: Verdict): Verdict;
+
+export { type Verdict as V, andV as a, impliesV as i, notV as n, orV as o };

package/dist/vitest/index.d.ts

@@ -0,0 +1,24 @@
+import { F as FormulaExpr } from '../formula-expr-DAHklv9S.js';
+import { M as MonitorRuntime } from '../runtime-Do1rQFhQ.js';
+import '../values-CEF1lKTL.js';
+
+declare function createMatchers(): {
+    toSatisfy<TEvent>(received: TEvent[], formula: FormulaExpr, runtime: MonitorRuntime<TEvent>): {
+        pass: boolean;
+        message: () => string;
+    };
+    toViolate<TEvent>(received: TEvent[], formula: FormulaExpr, runtime: MonitorRuntime<TEvent>): {
+        pass: boolean;
+        message: () => string;
+    };
+};
+
+declare module "vitest" {
+    interface CustomMatchers<R> {
+        toSatisfy<TEvent>(formula: FormulaExpr, runtime: MonitorRuntime<TEvent>): R;
+        toViolate<TEvent>(formula: FormulaExpr, runtime: MonitorRuntime<TEvent>): R;
+    }
+}
+declare function installMatchers(): void;
+
+export { createMatchers, installMatchers };

package/dist/vitest/index.js

@@ -0,0 +1,40 @@
+import {
+  runOracle
+} from "../chunk-EICHUHZH.js";
+import "../chunk-AS6LZLUH.js";
+import "../chunk-WIW3TVEK.js";
+import "../chunk-B4SEKVLL.js";
+
+// src/vitest/matchers.ts
+function createMatchers() {
+  return {
+    toSatisfy(received, formula, runtime) {
+      const result = runOracle(formula, runtime, received);
+      const pass = result.verdict === "satisfied";
+      return {
+        pass,
+        message: () => pass ? "Expected trace NOT to satisfy formula, but it did" : `Expected trace to satisfy formula, but got verdict: ${result.verdict}
+${result.report?.summary ?? ""}`
+      };
+    },
+    toViolate(received, formula, runtime) {
+      const result = runOracle(formula, runtime, received);
+      const pass = result.verdict === "violated";
+      return {
+        pass,
+        message: () => pass ? "Expected trace NOT to violate formula, but it did" : `Expected trace to violate formula, but got verdict: ${result.verdict}`
+      };
+    }
+  };
+}
+
+// src/vitest/setup.ts
+import { expect } from "vitest";
+function installMatchers() {
+  expect.extend(createMatchers());
+}
+export {
+  createMatchers,
+  installMatchers
+};
+//# sourceMappingURL=index.js.map

package/dist/vitest/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/vitest/matchers.ts","../../src/vitest/setup.ts"],"sourcesContent":["import type { FormulaExpr } from \"../core/formula-expr.js\";\nimport type { MonitorRuntime } from \"../core/runtime.js\";\nimport { runOracle } from \"../monitor/run-oracle.js\";\n\nexport interface TraceMatcherOptions<TEvent> {\n\treadonly formula: FormulaExpr;\n\treadonly runtime: MonitorRuntime<TEvent>;\n}\n\nexport function createMatchers() {\n\treturn {\n\t\ttoSatisfy<TEvent>(received: TEvent[], formula: FormulaExpr, runtime: MonitorRuntime<TEvent>) {\n\t\t\tconst result = runOracle(formula, runtime, received);\n\t\t\tconst pass = result.verdict === \"satisfied\";\n\t\t\treturn {\n\t\t\t\tpass,\n\t\t\t\tmessage: () =>\n\t\t\t\t\tpass\n\t\t\t\t\t\t? \"Expected trace NOT to satisfy formula, but it did\"\n\t\t\t\t\t\t: `Expected trace to satisfy formula, but got verdict: ${result.verdict}\\n${result.report?.summary ?? \"\"}`,\n\t\t\t};\n\t\t},\n\n\t\ttoViolate<TEvent>(received: TEvent[], formula: FormulaExpr, runtime: MonitorRuntime<TEvent>) {\n\t\t\tconst result = runOracle(formula, runtime, received);\n\t\t\tconst pass = result.verdict === \"violated\";\n\t\t\treturn {\n\t\t\t\tpass,\n\t\t\t\tmessage: () =>\n\t\t\t\t\tpass\n\t\t\t\t\t\t? \"Expected trace NOT to violate formula, but it did\"\n\t\t\t\t\t\t: `Expected trace to violate formula, but got verdict: ${result.verdict}`,\n\t\t\t};\n\t\t},\n\t};\n}\n","import { expect } from \"vitest\";\nimport type { FormulaExpr } from \"../core/formula-expr.js\";\nimport type { MonitorRuntime } from \"../core/runtime.js\";\nimport { createMatchers } from \"./matchers.js\";\n\ndeclare module \"vitest\" {\n\tinterface CustomMatchers<R> {\n\t\ttoSatisfy<TEvent>(formula: FormulaExpr, runtime: MonitorRuntime<TEvent>): R;\n\t\ttoViolate<TEvent>(formula: FormulaExpr, runtime: MonitorRuntime<TEvent>): R;\n\t}\n}\n\nexport function installMatchers(): void {\n\texpect.extend(createMatchers());\n}\n"],"mappings":";;;;;;;;AASO,SAAS,iBAAiB;AAChC,SAAO;AAAA,IACN,UAAkB,UAAoB,SAAsB,SAAiC;AAC5F,YAAM,SAAS,UAAU,SAAS,SAAS,QAAQ;AACnD,YAAM,OAAO,OAAO,YAAY;AAChC,aAAO;AAAA,QACN;AAAA,QACA,SAAS,MACR,OACG,sDACA,uDAAuD,OAAO,OAAO;AAAA,EAAK,OAAO,QAAQ,WAAW,EAAE;AAAA,MAC3G;AAAA,IACD;AAAA,IAEA,UAAkB,UAAoB,SAAsB,SAAiC;AAC5F,YAAM,SAAS,UAAU,SAAS,SAAS,QAAQ;AACnD,YAAM,OAAO,OAAO,YAAY;AAChC,aAAO;AAAA,QACN;AAAA,QACA,SAAS,MACR,OACG,sDACA,uDAAuD,OAAO,OAAO;AAAA,MAC1E;AAAA,IACD;AAAA,EACD;AACD;;;ACnCA,SAAS,cAAc;AAYhB,SAAS,kBAAwB;AACvC,SAAO,OAAO,eAAe,CAAC;AAC/B;","names":[]}

package/package.json

@@ -0,0 +1,95 @@
+{
+  "name": "@atsumell/trace-weave",
+  "version": "0.1.0",
+  "description": "Finite-trace temporal test oracle framework based on LTLf",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Atsumell/trace-weave.git"
+  },
+  "bugs": {
+    "url": "https://github.com/Atsumell/trace-weave/issues"
+  },
+  "homepage": "https://github.com/Atsumell/trace-weave#readme",
+  "publishConfig": {
+    "access": "public"
+  },
+  "type": "module",
+  "exports": {
+    "./core": {
+      "import": "./dist/core/index.js",
+      "types": "./dist/core/index.d.ts"
+    },
+    "./builder": {
+      "import": "./dist/builder/index.js",
+      "types": "./dist/builder/index.d.ts"
+    },
+    "./compiler": {
+      "import": "./dist/compiler/index.js",
+      "types": "./dist/compiler/index.d.ts"
+    },
+    "./monitor": {
+      "import": "./dist/monitor/index.js",
+      "types": "./dist/monitor/index.d.ts"
+    },
+    "./patterns": {
+      "import": "./dist/patterns/index.js",
+      "types": "./dist/patterns/index.d.ts"
+    },
+    "./fast-check": {
+      "import": "./dist/fast-check/index.js",
+      "types": "./dist/fast-check/index.d.ts"
+    },
+    "./vitest": {
+      "import": "./dist/vitest/index.js",
+      "types": "./dist/vitest/index.d.ts"
+    },
+    "./ai": {
+      "import": "./dist/ai/index.js",
+      "types": "./dist/ai/index.d.ts"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "peerDependencies": {
+    "fast-check": ">=3.0.0",
+    "vitest": ">=2.0.0"
+  },
+  "peerDependenciesMeta": {
+    "fast-check": {
+      "optional": true
+    },
+    "vitest": {
+      "optional": true
+    }
+  },
+  "devDependencies": {
+    "@biomejs/biome": "^1.9.0",
+    "@vitest/coverage-v8": "^4.1.3",
+    "fast-check": "^3.23.0",
+    "tsup": "^8.3.0",
+    "typescript": "^5.7.0",
+    "vite": "^6.4.2",
+    "vitest": "^4.1.2"
+  },
+  "overrides": {
+    "picomatch": "^4.0.4",
+    "vite": "^6.4.2"
+  },
+  "engines": {
+    "node": ">=20"
+  },
+  "license": "MIT",
+  "scripts": {
+    "build": "tsup",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "typecheck": "tsc --noEmit",
+    "lint": "biome check .",
+    "lint:fix": "biome check --write .",
+    "format": "biome format --write .",
+    "audit": "npm audit",
+    "skills:validate": "node ./scripts/validate-skills.mjs",
+    "pack:smoke": "node ./scripts/pack-smoke.mjs"
+  }
+}