@atsumell/trace-weave 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Atsumell
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.ja.md

@@ -0,0 +1,99 @@
+# trace-weave
+
+English version: [README.md](./README.md)
+
+TypeScript 向けの有限長トレース時相ロジック検証フレームワークです。
+
+`trace-weave` はイベント列に対する時系列仕様を記述し、有限実行に対して検証できます。単発のアサーションでは表現しにくい、リクエストとレスポンスの順序、期限付き eventuality、イベント間の値相関の検査を目的にしています。
+
+実行可能なサンプルは [examples/README.ja.md](./examples/README.ja.md) に、ドキュメント全体の入口は [docs/README.ja.md](./docs/README.ja.md) にまとめています。
+AI agent 向けの導入ガイドは [docs/skills.ja.md](./docs/skills.ja.md) にあります。
+
+## 要件
+
+- Node.js 20 以上
+- ESM 専用パッケージ
+
+## Node サポート方針
+
+- `trace-weave` の `0.x` 系は Node.js 20 以上をサポートします。
+- Node.js 20 のサポートは、upstream の Node.js 20 EOL である 2026年4月30日 まで維持します。
+- 2026年4月30日 以降は、後続の release で最小サポート version を Node.js 22 以上へ引き上げる可能性があります。その場合は release note で明示します。
+
+## インストール
+
+```bash
+npm install @atsumell/trace-weave
+```
+
+任意の peer dependency:
+
+```bash
+npm install fast-check vitest
+```
+
+## クイックスタート
+
+```ts
+import { predicate, always, implies, eventually } from "@atsumell/trace-weave/builder";
+import { predicateId } from "@atsumell/trace-weave/core";
+import { runOracle } from "@atsumell/trace-weave/monitor";
+
+type AppEvent = { type: string };
+
+const isRequest = predicateId("isRequest");
+const isResponse = predicateId("isResponse");
+
+const formula = always(
+  implies(predicate(isRequest), eventually(predicate(isResponse))),
+);
+
+const result = runOracle(
+  formula,
+  {
+    predicates: {
+      [isRequest]: (event) => event.type === "request",
+      [isResponse]: (event) => event.type === "response",
+    },
+    selectors: {},
+  },
+  [{ type: "request" }, { type: "response" }],
+);
+
+console.log(result.verdict); // "satisfied"
+```
+
+## モジュール
+
+- `@atsumell/trace-weave/core`: ID、型、verdict algebra、runtime interface
+- `@atsumell/trace-weave/builder`: 時相式 builder
+- `@atsumell/trace-weave/compiler`: compile、validate、print
+- `@atsumell/trace-weave/monitor`: batch 評価と online monitor
+- `@atsumell/trace-weave/patterns`: 高レベルの時相パターン
+- `@atsumell/trace-weave/fast-check`: Property-based testing 連携
+- `@atsumell/trace-weave/vitest`: custom matcher
+- `@atsumell/trace-weave/ai`: レポート整形と AI 向け helper
+
+## 開発コマンド
+
+```bash
+npm run lint
+npm run skills:validate
+npm run typecheck
+npm test
+npm run build
+npm run pack:smoke
+```
+
+## ドキュメント
+
+- [Docs Index 日本語版](./docs/README.ja.md)
+- [Getting Started 日本語版](./docs/getting-started.ja.md)
+- [Examples 日本語版](./examples/README.ja.md)
+- [AI Skill 日本語版](./docs/skills.ja.md)
+- [Monitor 日本語版](./docs/monitor.ja.md)
+- [English Docs Index](./docs/README.md)
+
+## ライセンス
+
+MIT

package/README.md

@@ -0,0 +1,105 @@
+# trace-weave
+
+Japanese version: [README.ja.md](./README.ja.md)
+
+Finite-trace temporal test oracle framework based on LTLf for TypeScript.
+
+`trace-weave` lets you describe temporal properties over event traces and verify them against finite executions. It is designed for cases where single-step assertions are too weak, such as request/response ordering, bounded eventuality, and value correlation across events.
+
+Runnable repository examples live in [examples/README.md](./examples/README.md). The full guide map is in [docs/README.md](./docs/README.md).
+The AI-agent install guide is in [docs/skills.md](./docs/skills.md).
+
+## Requirements
+
+- Node.js 20 or later
+- ESM-only package
+
+## Node Support Policy
+
+- `trace-weave` `0.x` supports Node.js 20 or later.
+- Node.js 20 support remains in place through the upstream Node.js 20 end-of-life date, April 30, 2026.
+- After April 30, 2026, a later release may raise the minimum supported version to Node.js 22 or later. Any such change will be called out in the release notes.
+
+## Installation
+
+```bash
+npm install @atsumell/trace-weave
+```
+
+Optional peer dependencies:
+
+```bash
+npm install fast-check vitest
+```
+
+## Quick Example
+
+```ts
+import { predicate, always, implies, eventually } from "@atsumell/trace-weave/builder";
+import { predicateId } from "@atsumell/trace-weave/core";
+import { runOracle } from "@atsumell/trace-weave/monitor";
+
+type AppEvent = { type: string };
+
+const isRequest = predicateId("isRequest");
+const isResponse = predicateId("isResponse");
+
+const formula = always(
+  implies(predicate(isRequest), eventually(predicate(isResponse))),
+);
+
+const result = runOracle(
+  formula,
+  {
+    predicates: {
+      [isRequest]: (event) => event.type === "request",
+      [isResponse]: (event) => event.type === "response",
+    },
+    selectors: {},
+  },
+  [{ type: "request" }, { type: "response" }],
+);
+
+console.log(result.verdict); // "satisfied"
+```
+
+## Modules
+
+- `@atsumell/trace-weave/core`: IDs, types, verdict algebra, runtime interfaces
+- `@atsumell/trace-weave/builder`: temporal formula builders
+- `@atsumell/trace-weave/compiler`: compile, validate, and print formula documents
+- `@atsumell/trace-weave/monitor`: batch and online evaluation
+- `@atsumell/trace-weave/patterns`: higher-level temporal patterns
+- `@atsumell/trace-weave/fast-check`: property-based testing helpers
+- `@atsumell/trace-weave/vitest`: custom matchers
+- `@atsumell/trace-weave/ai`: report formatting and AI-oriented helpers
+
+## Development
+
+```bash
+npm run lint
+npm run skills:validate
+npm run typecheck
+npm test
+npm run build
+npm run pack:smoke
+```
+
+## Documentation
+
+- [Docs Index](./docs/README.md)
+- [Getting Started](./docs/getting-started.md)
+- [Examples](./examples/README.md)
+- [AI Skill](./docs/skills.md)
+- [Formulas](./docs/formulas.md)
+- [Monitor](./docs/monitor.md)
+- [Patterns](./docs/patterns.md)
+- [Capture](./docs/capture.md)
+- [fast-check Integration](./docs/fast-check.md)
+- [Vitest Integration](./docs/vitest.md)
+- [AI Integration](./docs/ai-integration.md)
+- [API Reference](./docs/api-reference.md)
+
+## License
+
+MIT

package/dist/ai/index.d.ts

@@ -0,0 +1,32 @@
+import { J as JsonValue, N as NodeId, a as NodeProvenance } from '../values-CEF1lKTL.js';
+import { F as FormulaDocument } from '../formula-document-ChXznpvJ.js';
+import { C as CounterexampleReport } from '../types-xatgZlwH.js';
+import '../prepare-CrKEArDt.js';
+import '../runtime-Do1rQFhQ.js';
+import '../verdict-DYG0WE3o.js';
+
+declare const formulaDocumentSchema: JsonValue;
+
+declare function getNodeLabel(doc: FormulaDocument, nodeId: NodeId): string;
+declare function getNodeProvenance(doc: FormulaDocument, nodeId: NodeId): NodeProvenance | undefined;
+declare function getAllLabels(doc: FormulaDocument): Record<NodeId, string>;
+
+interface FormattedReport {
+    readonly structured: {
+        readonly verdict: string;
+        readonly steps: readonly {
+            readonly nodeId: string;
+            readonly label: string;
+            readonly verdict: string;
+            readonly step: number;
+        }[];
+        readonly traceSlice: readonly {
+            step: number;
+            event: unknown;
+        }[];
+    };
+    readonly text: string;
+}
+declare function formatReport(report: CounterexampleReport, doc: FormulaDocument): FormattedReport;
+
+export { type FormattedReport, formatReport, formulaDocumentSchema, getAllLabels, getNodeLabel, getNodeProvenance };

package/dist/ai/index.js

@@ -0,0 +1,121 @@
+// src/ai/schema.ts
+var formulaDocumentSchema = {
+  $schema: "http://json-schema.org/draft-07/schema#",
+  title: "FormulaDocument",
+  description: "A compiled LTLf formula document for trace-weave",
+  type: "object",
+  required: ["schemaVersion", "root", "nodes"],
+  properties: {
+    schemaVersion: { type: "number", const: 1 },
+    root: { type: "string", description: "NodeId of the root formula node" },
+    nodes: {
+      type: "object",
+      description: "Map from NodeId to FormulaNode",
+      additionalProperties: {
+        type: "object",
+        required: ["kind"],
+        properties: {
+          kind: {
+            type: "string",
+            enum: [
+              "literal",
+              "predicate",
+              "when",
+              "capture",
+              "not",
+              "and",
+              "or",
+              "implies",
+              "always",
+              "eventually",
+              "next",
+              "weakNext",
+              "until",
+              "release",
+              "once",
+              "historically",
+              "since",
+              "withinSteps",
+              "withinMs"
+            ]
+          }
+        }
+      }
+    },
+    provenance: {
+      type: "object",
+      description: "Optional provenance information for nodes",
+      additionalProperties: {
+        type: "object",
+        properties: {
+          nodeId: { type: "string" },
+          origin: { type: "string", enum: ["user", "compiler", "pattern"] },
+          sourceExprKind: { type: "string" },
+          meta: {
+            type: "object",
+            properties: {
+              humanLabel: { type: "string" },
+              confidence: { type: "number" }
+            }
+          }
+        }
+      }
+    }
+  }
+};
+
+// src/ai/metadata.ts
+function getNodeLabel(doc, nodeId) {
+  const provenance = doc.provenance?.[nodeId];
+  if (provenance?.meta?.humanLabel) return provenance.meta.humanLabel;
+  const node = doc.nodes[nodeId];
+  return node?.kind ?? "unknown";
+}
+function getNodeProvenance(doc, nodeId) {
+  return doc.provenance?.[nodeId];
+}
+function getAllLabels(doc) {
+  const labels = {};
+  for (const nodeId of Object.keys(doc.nodes)) {
+    labels[nodeId] = getNodeLabel(doc, nodeId);
+  }
+  return labels;
+}
+
+// src/ai/format-report.ts
+function formatReport(report, doc) {
+  const steps = report.failurePath.map((snap) => ({
+    nodeId: snap.nodeId,
+    label: getNodeLabel(doc, snap.nodeId),
+    verdict: snap.verdict,
+    step: snap.step
+  }));
+  const structured = {
+    verdict: report.verdict,
+    steps,
+    traceSlice: report.traceSlice
+  };
+  const textParts = [
+    `Verdict: ${report.verdict}`,
+    "",
+    "Failure Path:",
+    ...steps.map((s) => `  [step ${s.step}] ${s.label} (${s.nodeId}): ${s.verdict}`),
+    "",
+    "Trace:",
+    ...report.traceSlice.map((t) => `  step ${t.step}: ${JSON.stringify(t.event)}`),
+    "",
+    report.summary
+  ];
+  return {
+    structured,
+    text: textParts.join("\n")
+  };
+}
+export {
+  formatReport,
+  formulaDocumentSchema,
+  getAllLabels,
+  getNodeLabel,
+  getNodeProvenance
+};
+//# sourceMappingURL=index.js.map

package/dist/ai/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/ai/schema.ts","../../src/ai/metadata.ts","../../src/ai/format-report.ts"],"sourcesContent":["import type { JsonValue } from \"../core/values.js\";\n\nexport const formulaDocumentSchema: JsonValue = {\n\t$schema: \"http://json-schema.org/draft-07/schema#\",\n\ttitle: \"FormulaDocument\",\n\tdescription: \"A compiled LTLf formula document for trace-weave\",\n\ttype: \"object\",\n\trequired: [\"schemaVersion\", \"root\", \"nodes\"],\n\tproperties: {\n\t\tschemaVersion: { type: \"number\", const: 1 },\n\t\troot: { type: \"string\", description: \"NodeId of the root formula node\" },\n\t\tnodes: {\n\t\t\ttype: \"object\",\n\t\t\tdescription: \"Map from NodeId to FormulaNode\",\n\t\t\tadditionalProperties: {\n\t\t\t\ttype: \"object\",\n\t\t\t\trequired: [\"kind\"],\n\t\t\t\tproperties: {\n\t\t\t\t\tkind: {\n\t\t\t\t\t\ttype: \"string\",\n\t\t\t\t\t\tenum: [\n\t\t\t\t\t\t\t\"literal\",\n\t\t\t\t\t\t\t\"predicate\",\n\t\t\t\t\t\t\t\"when\",\n\t\t\t\t\t\t\t\"capture\",\n\t\t\t\t\t\t\t\"not\",\n\t\t\t\t\t\t\t\"and\",\n\t\t\t\t\t\t\t\"or\",\n\t\t\t\t\t\t\t\"implies\",\n\t\t\t\t\t\t\t\"always\",\n\t\t\t\t\t\t\t\"eventually\",\n\t\t\t\t\t\t\t\"next\",\n\t\t\t\t\t\t\t\"weakNext\",\n\t\t\t\t\t\t\t\"until\",\n\t\t\t\t\t\t\t\"release\",\n\t\t\t\t\t\t\t\"once\",\n\t\t\t\t\t\t\t\"historically\",\n\t\t\t\t\t\t\t\"since\",\n\t\t\t\t\t\t\t\"withinSteps\",\n\t\t\t\t\t\t\t\"withinMs\",\n\t\t\t\t\t\t],\n\t\t\t\t\t},\n\t\t\t\t},\n\t\t\t},\n\t\t},\n\t\tprovenance: {\n\t\t\ttype: \"object\",\n\t\t\tdescription: \"Optional provenance information for nodes\",\n\t\t\tadditionalProperties: {\n\t\t\t\ttype: \"object\",\n\t\t\t\tproperties: {\n\t\t\t\t\tnodeId: { type: \"string\" },\n\t\t\t\t\torigin: { type: \"string\", enum: [\"user\", \"compiler\", \"pattern\"] },\n\t\t\t\t\tsourceExprKind: { type: \"string\" },\n\t\t\t\t\tmeta: {\n\t\t\t\t\t\ttype: \"object\",\n\t\t\t\t\t\tproperties: {\n\t\t\t\t\t\t\thumanLabel: { type: \"string\" },\n\t\t\t\t\t\t\tconfidence: { type: \"number\" },\n\t\t\t\t\t\t},\n\t\t\t\t\t},\n\t\t\t\t},\n\t\t\t},\n\t\t},\n\t},\n};\n","import type { FormulaDocument } from \"../core/formula-document.js\";\nimport type { NodeId } from \"../core/ids.js\";\nimport type { FormulaMeta, NodeProvenance } from \"../core/meta.js\";\n\nexport function getNodeLabel(doc: FormulaDocument, nodeId: NodeId): string {\n\tconst provenance = doc.provenance?.[nodeId];\n\tif (provenance?.meta?.humanLabel) return provenance.meta.humanLabel;\n\n\tconst node = doc.nodes[nodeId];\n\treturn node?.kind ?? \"unknown\";\n}\n\nexport function getNodeProvenance(\n\tdoc: FormulaDocument,\n\tnodeId: NodeId,\n): NodeProvenance | undefined {\n\treturn doc.provenance?.[nodeId];\n}\n\nexport function getAllLabels(doc: FormulaDocument): Record<NodeId, string> {\n\tconst labels: Record<string, string> = {};\n\tfor (const nodeId of Object.keys(doc.nodes)) {\n\t\tlabels[nodeId] = getNodeLabel(doc, nodeId as NodeId);\n\t}\n\treturn labels as Record<NodeId, string>;\n}\n","import type { FormulaDocument } from \"../core/formula-document.js\";\nimport type { CounterexampleReport } from \"../monitor/types.js\";\nimport { getNodeLabel } from \"./metadata.js\";\n\nexport interface FormattedReport {\n\treadonly structured: {\n\t\treadonly verdict: string;\n\t\treadonly steps: readonly {\n\t\t\treadonly nodeId: string;\n\t\t\treadonly label: string;\n\t\t\treadonly verdict: string;\n\t\t\treadonly step: number;\n\t\t}[];\n\t\treadonly traceSlice: readonly { step: number; event: unknown }[];\n\t};\n\treadonly text: string;\n}\n\nexport function formatReport(report: CounterexampleReport, doc: FormulaDocument): FormattedReport {\n\tconst steps = report.failurePath.map((snap) => ({\n\t\tnodeId: snap.nodeId as string,\n\t\tlabel: getNodeLabel(doc, snap.nodeId),\n\t\tverdict: snap.verdict,\n\t\tstep: snap.step,\n\t}));\n\n\tconst structured = {\n\t\tverdict: report.verdict,\n\t\tsteps,\n\t\ttraceSlice: report.traceSlice,\n\t};\n\n\tconst textParts: string[] = [\n\t\t`Verdict: ${report.verdict}`,\n\t\t\"\",\n\t\t\"Failure Path:\",\n\t\t...steps.map((s) => `  [step ${s.step}] ${s.label} (${s.nodeId}): ${s.verdict}`),\n\t\t\"\",\n\t\t\"Trace:\",\n\t\t...report.traceSlice.map((t) => `  step ${t.step}: ${JSON.stringify(t.event)}`),\n\t\t\"\",\n\t\treport.summary,\n\t];\n\n\treturn {\n\t\tstructured,\n\t\ttext: textParts.join(\"\\n\"),\n\t};\n}\n"],"mappings":";AAEO,IAAM,wBAAmC;AAAA,EAC/C,SAAS;AAAA,EACT,OAAO;AAAA,EACP,aAAa;AAAA,EACb,MAAM;AAAA,EACN,UAAU,CAAC,iBAAiB,QAAQ,OAAO;AAAA,EAC3C,YAAY;AAAA,IACX,eAAe,EAAE,MAAM,UAAU,OAAO,EAAE;AAAA,IAC1C,MAAM,EAAE,MAAM,UAAU,aAAa,kCAAkC;AAAA,IACvE,OAAO;AAAA,MACN,MAAM;AAAA,MACN,aAAa;AAAA,MACb,sBAAsB;AAAA,QACrB,MAAM;AAAA,QACN,UAAU,CAAC,MAAM;AAAA,QACjB,YAAY;AAAA,UACX,MAAM;AAAA,YACL,MAAM;AAAA,YACN,MAAM;AAAA,cACL;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,cACA;AAAA,YACD;AAAA,UACD;AAAA,QACD;AAAA,MACD;AAAA,IACD;AAAA,IACA,YAAY;AAAA,MACX,MAAM;AAAA,MACN,aAAa;AAAA,MACb,sBAAsB;AAAA,QACrB,MAAM;AAAA,QACN,YAAY;AAAA,UACX,QAAQ,EAAE,MAAM,SAAS;AAAA,UACzB,QAAQ,EAAE,MAAM,UAAU,MAAM,CAAC,QAAQ,YAAY,SAAS,EAAE;AAAA,UAChE,gBAAgB,EAAE,MAAM,SAAS;AAAA,UACjC,MAAM;AAAA,YACL,MAAM;AAAA,YACN,YAAY;AAAA,cACX,YAAY,EAAE,MAAM,SAAS;AAAA,cAC7B,YAAY,EAAE,MAAM,SAAS;AAAA,YAC9B;AAAA,UACD;AAAA,QACD;AAAA,MACD;AAAA,IACD;AAAA,EACD;AACD;;;AC7DO,SAAS,aAAa,KAAsB,QAAwB;AAC1E,QAAM,aAAa,IAAI,aAAa,MAAM;AAC1C,MAAI,YAAY,MAAM,WAAY,QAAO,WAAW,KAAK;AAEzD,QAAM,OAAO,IAAI,MAAM,MAAM;AAC7B,SAAO,MAAM,QAAQ;AACtB;AAEO,SAAS,kBACf,KACA,QAC6B;AAC7B,SAAO,IAAI,aAAa,MAAM;AAC/B;AAEO,SAAS,aAAa,KAA8C;AAC1E,QAAM,SAAiC,CAAC;AACxC,aAAW,UAAU,OAAO,KAAK,IAAI,KAAK,GAAG;AAC5C,WAAO,MAAM,IAAI,aAAa,KAAK,MAAgB;AAAA,EACpD;AACA,SAAO;AACR;;;ACPO,SAAS,aAAa,QAA8B,KAAuC;AACjG,QAAM,QAAQ,OAAO,YAAY,IAAI,CAAC,UAAU;AAAA,IAC/C,QAAQ,KAAK;AAAA,IACb,OAAO,aAAa,KAAK,KAAK,MAAM;AAAA,IACpC,SAAS,KAAK;AAAA,IACd,MAAM,KAAK;AAAA,EACZ,EAAE;AAEF,QAAM,aAAa;AAAA,IAClB,SAAS,OAAO;AAAA,IAChB;AAAA,IACA,YAAY,OAAO;AAAA,EACpB;AAEA,QAAM,YAAsB;AAAA,IAC3B,YAAY,OAAO,OAAO;AAAA,IAC1B;AAAA,IACA;AAAA,IACA,GAAG,MAAM,IAAI,CAAC,MAAM,WAAW,EAAE,IAAI,KAAK,EAAE,KAAK,KAAK,EAAE,MAAM,MAAM,EAAE,OAAO,EAAE;AAAA,IAC/E;AAAA,IACA;AAAA,IACA,GAAG,OAAO,WAAW,IAAI,CAAC,MAAM,UAAU,EAAE,IAAI,KAAK,KAAK,UAAU,EAAE,KAAK,CAAC,EAAE;AAAA,IAC9E;AAAA,IACA,OAAO;AAAA,EACR;AAEA,SAAO;AAAA,IACN;AAAA,IACA,MAAM,UAAU,KAAK,IAAI;AAAA,EAC1B;AACD;","names":[]}

package/dist/builder/index.d.ts

@@ -0,0 +1,26 @@
+import { F as FormulaMeta, C as CaptureName, S as SelectorId, P as PredicateId, V as ValueExprArg } from '../values-CEF1lKTL.js';
+import { F as FormulaExpr, A as AlwaysExpr, a as AndExpr, C as CaptureExpr, E as EventuallyExpr, H as HistoricallyExpr, I as ImpliesExpr, L as LiteralExpr, N as NextExpr, b as NotExpr, O as OnceExpr, c as OrExpr, P as PredicateExpr, R as ReleaseExpr, S as SinceExpr, U as UntilExpr, W as WeakNextExpr, d as WhenExpr, e as WithinMsExpr, f as WithinStepsExpr } from '../formula-expr-DAHklv9S.js';
+
+declare function toExpr(v: boolean | FormulaExpr): FormulaExpr;
+declare function annotate(expr: FormulaExpr, meta: FormulaMeta): FormulaExpr;
+declare function literal(value: boolean): LiteralExpr;
+declare function predicate(predicateId: PredicateId, ...args: readonly ValueExprArg[]): PredicateExpr;
+declare function when(captureName: CaptureName, selectorId: SelectorId, child: boolean | FormulaExpr): WhenExpr;
+declare function capture(captureName: CaptureName, selectorId: SelectorId, child: boolean | FormulaExpr): CaptureExpr;
+declare function not(child: boolean | FormulaExpr): NotExpr;
+declare function and(...children: readonly (boolean | FormulaExpr)[]): AndExpr;
+declare function or(...children: readonly (boolean | FormulaExpr)[]): OrExpr;
+declare function implies(left: boolean | FormulaExpr, right: boolean | FormulaExpr): ImpliesExpr;
+declare function always(child: boolean | FormulaExpr): AlwaysExpr;
+declare function eventually(child: boolean | FormulaExpr): EventuallyExpr;
+declare function next(child: boolean | FormulaExpr): NextExpr;
+declare function weakNext(child: boolean | FormulaExpr): WeakNextExpr;
+declare function until(left: boolean | FormulaExpr, right: boolean | FormulaExpr): UntilExpr;
+declare function release(left: boolean | FormulaExpr, right: boolean | FormulaExpr): ReleaseExpr;
+declare function once(child: boolean | FormulaExpr): OnceExpr;
+declare function historically(child: boolean | FormulaExpr): HistoricallyExpr;
+declare function since(left: boolean | FormulaExpr, right: boolean | FormulaExpr): SinceExpr;
+declare function withinSteps(steps: number, child: boolean | FormulaExpr): WithinStepsExpr;
+declare function withinMs(ms: number, child: boolean | FormulaExpr): WithinMsExpr;
+
+export { always, and, annotate, capture, eventually, historically, implies, literal, next, not, once, or, predicate, release, since, toExpr, until, weakNext, when, withinMs, withinSteps };

package/dist/builder/index.js

@@ -0,0 +1,47 @@
+import {
+  always,
+  and,
+  annotate,
+  capture,
+  eventually,
+  historically,
+  implies,
+  literal,
+  next,
+  not,
+  once,
+  or,
+  predicate,
+  release,
+  since,
+  toExpr,
+  until,
+  weakNext,
+  when,
+  withinMs,
+  withinSteps
+} from "../chunk-35PKIXFV.js";
+export {
+  always,
+  and,
+  annotate,
+  capture,
+  eventually,
+  historically,
+  implies,
+  literal,
+  next,
+  not,
+  once,
+  or,
+  predicate,
+  release,
+  since,
+  toExpr,
+  until,
+  weakNext,
+  when,
+  withinMs,
+  withinSteps
+};
+//# sourceMappingURL=index.js.map

package/dist/builder/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"sourcesContent":[],"mappings":"","names":[]}

package/dist/chunk-35PKIXFV.js

@@ -0,0 +1,90 @@
+// src/builder/factory.ts
+function toExpr(v) {
+  if (typeof v === "boolean") return literal(v);
+  return v;
+}
+function annotate(expr, meta) {
+  return { ...expr, meta };
+}
+function literal(value) {
+  return { kind: "literal", value };
+}
+function predicate(predicateId, ...args) {
+  return args.length > 0 ? { kind: "predicate", predicateId, args } : { kind: "predicate", predicateId };
+}
+function when(captureName, selectorId, child) {
+  return { kind: "when", captureName, selectorId, child: toExpr(child) };
+}
+function capture(captureName, selectorId, child) {
+  return { kind: "capture", captureName, selectorId, child: toExpr(child) };
+}
+function not(child) {
+  return { kind: "not", child: toExpr(child) };
+}
+function and(...children) {
+  return { kind: "and", children: children.map(toExpr) };
+}
+function or(...children) {
+  return { kind: "or", children: children.map(toExpr) };
+}
+function implies(left, right) {
+  return { kind: "implies", left: toExpr(left), right: toExpr(right) };
+}
+function always(child) {
+  return { kind: "always", child: toExpr(child) };
+}
+function eventually(child) {
+  return { kind: "eventually", child: toExpr(child) };
+}
+function next(child) {
+  return { kind: "next", child: toExpr(child) };
+}
+function weakNext(child) {
+  return { kind: "weakNext", child: toExpr(child) };
+}
+function until(left, right) {
+  return { kind: "until", left: toExpr(left), right: toExpr(right) };
+}
+function release(left, right) {
+  return { kind: "release", left: toExpr(left), right: toExpr(right) };
+}
+function once(child) {
+  return { kind: "once", child: toExpr(child) };
+}
+function historically(child) {
+  return { kind: "historically", child: toExpr(child) };
+}
+function since(left, right) {
+  return { kind: "since", left: toExpr(left), right: toExpr(right) };
+}
+function withinSteps(steps, child) {
+  return { kind: "withinSteps", steps, child: toExpr(child) };
+}
+function withinMs(ms, child) {
+  return { kind: "withinMs", ms, child: toExpr(child) };
+}
+
+export {
+  toExpr,
+  annotate,
+  literal,
+  predicate,
+  when,
+  capture,
+  not,
+  and,
+  or,
+  implies,
+  always,
+  eventually,
+  next,
+  weakNext,
+  until,
+  release,
+  once,
+  historically,
+  since,
+  withinSteps,
+  withinMs
+};
+//# sourceMappingURL=chunk-35PKIXFV.js.map

package/dist/chunk-35PKIXFV.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/builder/factory.ts"],"sourcesContent":["import type {\n\tAlwaysExpr,\n\tAndExpr,\n\tCaptureExpr,\n\tCaptureName,\n\tEventuallyExpr,\n\tFormulaExpr,\n\tFormulaMeta,\n\tHistoricallyExpr,\n\tImpliesExpr,\n\tLiteralExpr,\n\tNextExpr,\n\tNotExpr,\n\tOnceExpr,\n\tOrExpr,\n\tPredicateExpr,\n\tPredicateId,\n\tReleaseExpr,\n\tSelectorId,\n\tSinceExpr,\n\tUntilExpr,\n\tValueExprArg,\n\tWeakNextExpr,\n\tWhenExpr,\n\tWithinMsExpr,\n\tWithinStepsExpr,\n} from \"../core/index.js\";\n\nexport function toExpr(v: boolean | FormulaExpr): FormulaExpr {\n\tif (typeof v === \"boolean\") return literal(v);\n\treturn v;\n}\n\nexport function annotate(expr: FormulaExpr, meta: FormulaMeta): FormulaExpr {\n\treturn { ...expr, meta } as FormulaExpr;\n}\n\n// --- Leaf nodes ---\n\nexport function literal(value: boolean): LiteralExpr {\n\treturn { kind: \"literal\", value };\n}\n\nexport function predicate(\n\tpredicateId: PredicateId,\n\t...args: readonly ValueExprArg[]\n): PredicateExpr {\n\treturn args.length > 0\n\t\t? { kind: \"predicate\", predicateId, args }\n\t\t: { kind: \"predicate\", predicateId };\n}\n\nexport function when(\n\tcaptureName: CaptureName,\n\tselectorId: SelectorId,\n\tchild: boolean | FormulaExpr,\n): WhenExpr {\n\treturn { kind: \"when\", captureName, selectorId, child: toExpr(child) };\n}\n\nexport function capture(\n\tcaptureName: CaptureName,\n\tselectorId: SelectorId,\n\tchild: boolean | FormulaExpr,\n): CaptureExpr {\n\treturn { kind: \"capture\", captureName, selectorId, child: toExpr(child) };\n}\n\n// --- Boolean operators ---\n\nexport function not(child: boolean | FormulaExpr): NotExpr {\n\treturn { kind: \"not\", child: toExpr(child) };\n}\n\nexport function and(...children: readonly (boolean | FormulaExpr)[]): AndExpr {\n\treturn { kind: \"and\", children: children.map(toExpr) };\n}\n\nexport function or(...children: readonly (boolean | FormulaExpr)[]): OrExpr {\n\treturn { kind: \"or\", children: children.map(toExpr) };\n}\n\nexport function implies(left: boolean | FormulaExpr, right: boolean | FormulaExpr): ImpliesExpr {\n\treturn { kind: \"implies\", left: toExpr(left), right: toExpr(right) };\n}\n\n// --- Future temporal operators ---\n\nexport function always(child: boolean | FormulaExpr): AlwaysExpr {\n\treturn { kind: \"always\", child: toExpr(child) };\n}\n\nexport function eventually(child: boolean | FormulaExpr): EventuallyExpr {\n\treturn { kind: \"eventually\", child: toExpr(child) };\n}\n\nexport function next(child: boolean | FormulaExpr): NextExpr {\n\treturn { kind: \"next\", child: toExpr(child) };\n}\n\nexport function weakNext(child: boolean | FormulaExpr): WeakNextExpr {\n\treturn { kind: \"weakNext\", child: toExpr(child) };\n}\n\nexport function until(left: boolean | FormulaExpr, right: boolean | FormulaExpr): UntilExpr {\n\treturn { kind: \"until\", left: toExpr(left), right: toExpr(right) };\n}\n\nexport function release(left: boolean | FormulaExpr, right: boolean | FormulaExpr): ReleaseExpr {\n\treturn { kind: \"release\", left: toExpr(left), right: toExpr(right) };\n}\n\n// --- Past temporal operators ---\n\nexport function once(child: boolean | FormulaExpr): OnceExpr {\n\treturn { kind: \"once\", child: toExpr(child) };\n}\n\nexport function historically(child: boolean | FormulaExpr): HistoricallyExpr {\n\treturn { kind: \"historically\", child: toExpr(child) };\n}\n\nexport function since(left: boolean | FormulaExpr, right: boolean | FormulaExpr): SinceExpr {\n\treturn { kind: \"since\", left: toExpr(left), right: toExpr(right) };\n}\n\n// --- Bounded operators ---\n\nexport function withinSteps(steps: number, child: boolean | FormulaExpr): WithinStepsExpr {\n\treturn { kind: \"withinSteps\", steps, child: toExpr(child) };\n}\n\nexport function withinMs(ms: number, child: boolean | FormulaExpr): WithinMsExpr {\n\treturn { kind: \"withinMs\", ms, child: toExpr(child) };\n}\n"],"mappings":";AA4BO,SAAS,OAAO,GAAuC;AAC7D,MAAI,OAAO,MAAM,UAAW,QAAO,QAAQ,CAAC;AAC5C,SAAO;AACR;AAEO,SAAS,SAAS,MAAmB,MAAgC;AAC3E,SAAO,EAAE,GAAG,MAAM,KAAK;AACxB;AAIO,SAAS,QAAQ,OAA6B;AACpD,SAAO,EAAE,MAAM,WAAW,MAAM;AACjC;AAEO,SAAS,UACf,gBACG,MACa;AAChB,SAAO,KAAK,SAAS,IAClB,EAAE,MAAM,aAAa,aAAa,KAAK,IACvC,EAAE,MAAM,aAAa,YAAY;AACrC;AAEO,SAAS,KACf,aACA,YACA,OACW;AACX,SAAO,EAAE,MAAM,QAAQ,aAAa,YAAY,OAAO,OAAO,KAAK,EAAE;AACtE;AAEO,SAAS,QACf,aACA,YACA,OACc;AACd,SAAO,EAAE,MAAM,WAAW,aAAa,YAAY,OAAO,OAAO,KAAK,EAAE;AACzE;AAIO,SAAS,IAAI,OAAuC;AAC1D,SAAO,EAAE,MAAM,OAAO,OAAO,OAAO,KAAK,EAAE;AAC5C;AAEO,SAAS,OAAO,UAAuD;AAC7E,SAAO,EAAE,MAAM,OAAO,UAAU,SAAS,IAAI,MAAM,EAAE;AACtD;AAEO,SAAS,MAAM,UAAsD;AAC3E,SAAO,EAAE,MAAM,MAAM,UAAU,SAAS,IAAI,MAAM,EAAE;AACrD;AAEO,SAAS,QAAQ,MAA6B,OAA2C;AAC/F,SAAO,EAAE,MAAM,WAAW,MAAM,OAAO,IAAI,GAAG,OAAO,OAAO,KAAK,EAAE;AACpE;AAIO,SAAS,OAAO,OAA0C;AAChE,SAAO,EAAE,MAAM,UAAU,OAAO,OAAO,KAAK,EAAE;AAC/C;AAEO,SAAS,WAAW,OAA8C;AACxE,SAAO,EAAE,MAAM,cAAc,OAAO,OAAO,KAAK,EAAE;AACnD;AAEO,SAAS,KAAK,OAAwC;AAC5D,SAAO,EAAE,MAAM,QAAQ,OAAO,OAAO,KAAK,EAAE;AAC7C;AAEO,SAAS,SAAS,OAA4C;AACpE,SAAO,EAAE,MAAM,YAAY,OAAO,OAAO,KAAK,EAAE;AACjD;AAEO,SAAS,MAAM,MAA6B,OAAyC;AAC3F,SAAO,EAAE,MAAM,SAAS,MAAM,OAAO,IAAI,GAAG,OAAO,OAAO,KAAK,EAAE;AAClE;AAEO,SAAS,QAAQ,MAA6B,OAA2C;AAC/F,SAAO,EAAE,MAAM,WAAW,MAAM,OAAO,IAAI,GAAG,OAAO,OAAO,KAAK,EAAE;AACpE;AAIO,SAAS,KAAK,OAAwC;AAC5D,SAAO,EAAE,MAAM,QAAQ,OAAO,OAAO,KAAK,EAAE;AAC7C;AAEO,SAAS,aAAa,OAAgD;AAC5E,SAAO,EAAE,MAAM,gBAAgB,OAAO,OAAO,KAAK,EAAE;AACrD;AAEO,SAAS,MAAM,MAA6B,OAAyC;AAC3F,SAAO,EAAE,MAAM,SAAS,MAAM,OAAO,IAAI,GAAG,OAAO,OAAO,KAAK,EAAE;AAClE;AAIO,SAAS,YAAY,OAAe,OAA+C;AACzF,SAAO,EAAE,MAAM,eAAe,OAAO,OAAO,OAAO,KAAK,EAAE;AAC3D;AAEO,SAAS,SAAS,IAAY,OAA4C;AAChF,SAAO,EAAE,MAAM,YAAY,IAAI,OAAO,OAAO,KAAK,EAAE;AACrD;","names":[]}

package/dist/chunk-AS6LZLUH.js

@@ -0,0 +1,32 @@
+// src/core/verdict.ts
+function notV(v) {
+  switch (v) {
+    case "satisfied":
+      return "violated";
+    case "violated":
+      return "satisfied";
+    case "pending":
+      return "pending";
+  }
+}
+function andV(a, b) {
+  if (a === "violated" || b === "violated") return "violated";
+  if (a === "pending" || b === "pending") return "pending";
+  return "satisfied";
+}
+function orV(a, b) {
+  if (a === "satisfied" || b === "satisfied") return "satisfied";
+  if (a === "pending" || b === "pending") return "pending";
+  return "violated";
+}
+function impliesV(a, b) {
+  return orV(notV(a), b);
+}
+
+export {
+  notV,
+  andV,
+  orV,
+  impliesV
+};
+//# sourceMappingURL=chunk-AS6LZLUH.js.map

package/dist/chunk-AS6LZLUH.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/core/verdict.ts"],"sourcesContent":["export type Verdict = \"satisfied\" | \"violated\" | \"pending\";\n\nexport function notV(v: Verdict): Verdict {\n\tswitch (v) {\n\t\tcase \"satisfied\":\n\t\t\treturn \"violated\";\n\t\tcase \"violated\":\n\t\t\treturn \"satisfied\";\n\t\tcase \"pending\":\n\t\t\treturn \"pending\";\n\t}\n}\n\nexport function andV(a: Verdict, b: Verdict): Verdict {\n\tif (a === \"violated\" || b === \"violated\") return \"violated\";\n\tif (a === \"pending\" || b === \"pending\") return \"pending\";\n\treturn \"satisfied\";\n}\n\nexport function orV(a: Verdict, b: Verdict): Verdict {\n\tif (a === \"satisfied\" || b === \"satisfied\") return \"satisfied\";\n\tif (a === \"pending\" || b === \"pending\") return \"pending\";\n\treturn \"violated\";\n}\n\nexport function impliesV(a: Verdict, b: Verdict): Verdict {\n\treturn orV(notV(a), b);\n}\n"],"mappings":";AAEO,SAAS,KAAK,GAAqB;AACzC,UAAQ,GAAG;AAAA,IACV,KAAK;AACJ,aAAO;AAAA,IACR,KAAK;AACJ,aAAO;AAAA,IACR,KAAK;AACJ,aAAO;AAAA,EACT;AACD;AAEO,SAAS,KAAK,GAAY,GAAqB;AACrD,MAAI,MAAM,cAAc,MAAM,WAAY,QAAO;AACjD,MAAI,MAAM,aAAa,MAAM,UAAW,QAAO;AAC/C,SAAO;AACR;AAEO,SAAS,IAAI,GAAY,GAAqB;AACpD,MAAI,MAAM,eAAe,MAAM,YAAa,QAAO;AACnD,MAAI,MAAM,aAAa,MAAM,UAAW,QAAO;AAC/C,SAAO;AACR;AAEO,SAAS,SAAS,GAAY,GAAqB;AACzD,SAAO,IAAI,KAAK,CAAC,GAAG,CAAC;AACtB;","names":[]}

package/dist/chunk-B4SEKVLL.js

@@ -0,0 +1,29 @@
+// src/core/ids.ts
+function nodeId(s) {
+  return s;
+}
+function predicateId(s) {
+  return s;
+}
+function selectorId(s) {
+  return s;
+}
+function captureName(s) {
+  return s;
+}
+function activationId(s) {
+  return s;
+}
+function envId(s) {
+  return s;
+}
+
+export {
+  nodeId,
+  predicateId,
+  selectorId,
+  captureName,
+  activationId,
+  envId
+};
+//# sourceMappingURL=chunk-B4SEKVLL.js.map

package/dist/chunk-B4SEKVLL.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/core/ids.ts"],"sourcesContent":["declare const __brand: unique symbol;\ntype Brand<T, B extends string> = T & { readonly [__brand]: B };\n\nexport type NodeId = Brand<string, \"NodeId\">;\nexport type PredicateId = Brand<string, \"PredicateId\">;\nexport type SelectorId = Brand<string, \"SelectorId\">;\nexport type CaptureName = Brand<string, \"CaptureName\">;\nexport type ActivationId = Brand<string, \"ActivationId\">;\nexport type EnvId = Brand<string, \"EnvId\">;\n\nexport function nodeId(s: string): NodeId {\n\treturn s as NodeId;\n}\n\nexport function predicateId(s: string): PredicateId {\n\treturn s as PredicateId;\n}\n\nexport function selectorId(s: string): SelectorId {\n\treturn s as SelectorId;\n}\n\nexport function captureName(s: string): CaptureName {\n\treturn s as CaptureName;\n}\n\nexport function activationId(s: string): ActivationId {\n\treturn s as ActivationId;\n}\n\nexport function envId(s: string): EnvId {\n\treturn s as EnvId;\n}\n"],"mappings":";AAUO,SAAS,OAAO,GAAmB;AACzC,SAAO;AACR;AAEO,SAAS,YAAY,GAAwB;AACnD,SAAO;AACR;AAEO,SAAS,WAAW,GAAuB;AACjD,SAAO;AACR;AAEO,SAAS,YAAY,GAAwB;AACnD,SAAO;AACR;AAEO,SAAS,aAAa,GAAyB;AACrD,SAAO;AACR;AAEO,SAAS,MAAM,GAAkB;AACvC,SAAO;AACR;","names":[]}