@vauban-org/agent-sdk 1.0.0 → 1.2.0

package/dist/testing/test-brain-port.js

@@ -5,9 +5,15 @@
  * Maps. Use for agent unit tests that need to archive/query without
  * external infrastructure.
  *
+ * OTel spans are emitted on archiveKnowledge and queryKnowledge via
+ * @opentelemetry/api. Gracefully degrades to noop spans when no OTel SDK
+ * is installed.
+ *
  * @public
  */
+import { SpanStatusCode, trace } from "@opentelemetry/api";
 import { InMemoryWorkingMemory, InMemoryEpisodicMemory, InMemorySemanticMemory, InMemoryProceduralMemory, } from "../ports/brain.js";
+const TEST_TRACER = trace.getTracer("vauban-agent-sdk.ports.test", "0.1.0");
 export class TestBrainPort {
     working;
     episodic;
@@ -22,28 +28,77 @@ export class TestBrainPort {
         this.procedural = new InMemoryProceduralMemory();
     }
     async archiveKnowledge(entry) {
-        const id = `test-${this.nextId++}`;
-        const created = {
-            id,
-            content: entry.content,
-            category: entry.category,
-            tags: entry.tags,
-            metadata: entry.metadata,
-            created_at: new Date().toISOString(),
-        };
-        this.entries.set(id, created);
-        return created;
+        return TEST_TRACER.startActiveSpan("brain.archiveKnowledge", {
+            attributes: {
+                "brain.entry.category": entry.category ?? "unknown",
+                "brain.entry.content_preview": entry.content.slice(0, 200),
+                "brain.entry.tags": entry.tags?.join(",") ?? "",
+                "vauban.port.name": "brain",
+                "vauban.port.impl": "TestBrainPort",
+            },
+        }, async (span) => {
+            try {
+                const id = `test-${this.nextId++}`;
+                const created = {
+                    id,
+                    content: entry.content,
+                    category: entry.category,
+                    tags: entry.tags,
+                    metadata: entry.metadata,
+                    created_at: new Date().toISOString(),
+                };
+                this.entries.set(id, created);
+                span.setAttribute("brain.entry.id", id);
+                span.setStatus({ code: SpanStatusCode.OK });
+                return created;
+            }
+            catch (err) {
+                const message = err instanceof Error ? err.message : String(err);
+                span.setStatus({ code: SpanStatusCode.ERROR, message });
+                if (err instanceof Error)
+                    span.recordException(err);
+                throw err;
+            }
+            finally {
+                span.end();
+            }
+        });
     }
     async queryKnowledge(query, filters) {
-        let results = Array.from(this.entries.values()).filter((e) => e.content.toLowerCase().includes(query.toLowerCase()));
-        if (filters?.category) {
-            results = results.filter((e) => e.category === filters.category);
-        }
-        if (filters?.tags && filters.tags.length > 0) {
-            results = results.filter((e) => e.tags?.some((t) => filters.tags.includes(t)));
-        }
-        const limit = filters?.limit ?? 10;
-        return results.slice(0, limit);
+        return TEST_TRACER.startActiveSpan("brain.queryKnowledge", {
+            attributes: {
+                "brain.query.preview": query.slice(0, 200),
+                "brain.query.category": filters?.category ?? "none",
+                "brain.query.limit": filters?.limit ?? -1,
+                "vauban.port.name": "brain",
+                "vauban.port.impl": "TestBrainPort",
+            },
+        }, async (span) => {
+            try {
+                let results = Array.from(this.entries.values()).filter((e) => e.content.toLowerCase().includes(query.toLowerCase()));
+                if (filters?.category) {
+                    results = results.filter((e) => e.category === filters.category);
+                }
+                if (filters?.tags && filters.tags.length > 0) {
+                    results = results.filter((e) => e.tags?.some((t) => filters.tags.includes(t)));
+                }
+                const limit = filters?.limit ?? 10;
+                const sliced = results.slice(0, limit);
+                span.setAttribute("brain.query.result_count", sliced.length);
+                span.setStatus({ code: SpanStatusCode.OK });
+                return sliced;
+            }
+            catch (err) {
+                const message = err instanceof Error ? err.message : String(err);
+                span.setStatus({ code: SpanStatusCode.ERROR, message });
+                if (err instanceof Error)
+                    span.recordException(err);
+                throw err;
+            }
+            finally {
+                span.end();
+            }
+        });
     }
     /** Clear all entries. */
     reset() {

package/dist/testing/test-brain-port.js.map

@@ -1 +1 @@
-{"version":3,"file":"test-brain-port.js","sourceRoot":"","sources":["../../src/testing/test-brain-port.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,mBAAmB,CAAC;AAG3B,MAAM,OAAO,aAAa;IACf,OAAO,CAAoB;IAC3B,QAAQ,CAAqB;IAC7B,QAAQ,CAAqB;IAC7B,UAAU,CAAuB;IAElC,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IACxC,MAAM,GAAG,CAAC,CAAC;IAEnB;QACE,IAAI,CAAC,OAAO,GAAG,IAAI,qBAAqB,EAAE,CAAC;QAC3C,IAAI,CAAC,QAAQ,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAC7C,IAAI,CAAC,QAAQ,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAC7C,IAAI,CAAC,UAAU,GAAG,IAAI,wBAAwB,EAAE,CAAC;IACnD,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,KAAsB;QAC3C,MAAM,EAAE,GAAG,QAAQ,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QACnC,MAAM,OAAO,GAAe;YAC1B,EAAE;YACF,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,QAAQ,EAAE,KAAK,CAAC,QAA+C;YAC/D,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrC,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAC9B,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,KAAa,EAAE,OAA2B;QAC7D,IAAI,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CACpD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAC7D,CAAC;QACF,IAAI,OAAO,EAAE,QAAQ,EAAE,CAAC;YACtB,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,OAAO,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,OAAO,CAAC,IAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/F,CAAC;QACD,MAAM,KAAK,GAAI,OAAO,EAAE,KAAgB,IAAI,EAAE,CAAC;QAC/C,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,yBAAyB;IACzB,KAAK;QACH,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;IAClB,CAAC;CACF"}
+{"version":3,"file":"test-brain-port.js","sourceRoot":"","sources":["../../src/testing/test-brain-port.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAO3D,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,mBAAmB,CAAC;AAQ3B,MAAM,WAAW,GAAG,KAAK,CAAC,SAAS,CAAC,6BAA6B,EAAE,OAAO,CAAC,CAAC;AAE5E,MAAM,OAAO,aAAa;IACf,OAAO,CAAoB;IAC3B,QAAQ,CAAqB;IAC7B,QAAQ,CAAqB;IAC7B,UAAU,CAAuB;IAElC,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IACxC,MAAM,GAAG,CAAC,CAAC;IAEnB;QACE,IAAI,CAAC,OAAO,GAAG,IAAI,qBAAqB,EAAE,CAAC;QAC3C,IAAI,CAAC,QAAQ,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAC7C,IAAI,CAAC,QAAQ,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAC7C,IAAI,CAAC,UAAU,GAAG,IAAI,wBAAwB,EAAE,CAAC;IACnD,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,KAAsB;QAC3C,OAAO,WAAW,CAAC,eAAe,CAChC,wBAAwB,EACxB;YACE,UAAU,EAAE;gBACV,sBAAsB,EAAE,KAAK,CAAC,QAAQ,IAAI,SAAS;gBACnD,6BAA6B,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;gBAC1D,kBAAkB,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;gBAC/C,kBAAkB,EAAE,OAAO;gBAC3B,kBAAkB,EAAE,eAAe;aACpC;SACF,EACD,KAAK,EAAE,IAAU,EAAE,EAAE;YACnB,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,QAAQ,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;gBACnC,MAAM,OAAO,GAAe;oBAC1B,EAAE;oBACF,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;oBACxB,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,QAAQ,EAAE,KAAK,CAAC,QAA+C;oBAC/D,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iBACrC,CAAC;gBACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;gBAC9B,IAAI,CAAC,YAAY,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;gBACxC,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC5C,OAAO,OAAO,CAAC;YACjB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACjE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;gBACxD,IAAI,GAAG,YAAY,KAAK;oBAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;gBACpD,MAAM,GAAG,CAAC;YACZ,CAAC;oBAAS,CAAC;gBACT,IAAI,CAAC,GAAG,EAAE,CAAC;YACb,CAAC;QACH,CAAC,CACF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,cAAc,CAClB,KAAa,EACb,OAA2B;QAE3B,OAAO,WAAW,CAAC,eAAe,CAChC,sBAAsB,EACtB;YACE,UAAU,EAAE;gBACV,qBAAqB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;gBAC1C,sBAAsB,EAAE,OAAO,EAAE,QAAQ,IAAI,MAAM;gBACnD,mBAAmB,EAAE,OAAO,EAAE,KAAK,IAAI,CAAC,CAAC;gBACzC,kBAAkB,EAAE,OAAO;gBAC3B,kBAAkB,EAAE,eAAe;aACpC;SACF,EACD,KAAK,EAAE,IAAU,EAAE,EAAE;YACnB,IAAI,CAAC;gBACH,IAAI,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3D,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CACtD,CAAC;gBACF,IAAI,OAAO,EAAE,QAAQ,EAAE,CAAC;oBACtB,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAC;gBACnE,CAAC;gBACD,IAAI,OAAO,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC7C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7B,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,OAAO,CAAC,IAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC5D,CAAC;gBACJ,CAAC;gBACD,MAAM,KAAK,GAAI,OAAO,EAAE,KAAgB,IAAI,EAAE,CAAC;gBAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;gBACvC,IAAI,CAAC,YAAY,CAAC,0BAA0B,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC7D,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC5C,OAAO,MAAM,CAAC;YAChB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACjE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;gBACxD,IAAI,GAAG,YAAY,KAAK;oBAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;gBACpD,MAAM,GAAG,CAAC;YACZ,CAAC;oBAAS,CAAC;gBACT,IAAI,CAAC,GAAG,EAAE,CAAC;YACb,CAAC;QACH,CAAC,CACF,CAAC;IACJ,CAAC;IAED,yBAAyB;IACzB,KAAK;QACH,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;IAClB,CAAC;CACF"}

package/dist/testing/test-event-bus.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"test-event-bus.d.ts","sourceRoot":"","sources":["../../src/testing/test-event-bus.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EACV,UAAU,EACV,WAAW,EACX,YAAY,EACZ,YAAY,EACb,MAAM,uBAAuB,CAAC;AAa/B,qBAAa,YAAa,YAAW,YAAY;IAC/C,OAAO,CAAC,OAAO,CAAmC;IAClD,OAAO,CAAC,WAAW,CAAgD;IACnE,OAAO,CAAC,WAAW,CAAiC;IACpD,OAAO,CAAC,SAAS,CAAmC;IAGpD,OAAO,CAAC,aAAa,CAA0C;IAC/D,OAAO,CAAC,iBAAiB,CAAiD;IAC1E,OAAO,CAAC,SAAS,CAAqB;IAEtC,OAAO,CAAC,uBAAuB,CAA4B;IAC3D,OAAO,CAAC,kBAAkB,CAA4B;IAEtD;;;OAGG;IACH,OAAO,CAAC,aAAa,CAAuC;IAE5D,4EAA4E;IAC5E,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAMhC,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAuBzD,sBAAsB,CAAC,CAAC,EAC5B,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EACxC,GAAG,EAAE,MAAM,GACV,OAAO,CAAC,IAAI,CAAC;IA4BhB,SAAS,CACP,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,MAAM,EACrB,OAAO,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,OAAO,CAAC,IAAI,CAAC,GAC5C,OAAO,CAAC,MAAM,IAAI,CAAC;IAkBtB,eAAe,CAAC,CAAC,EACf,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,EACjD,IAAI,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,GACxC,YAAY;IAoCR,UAAU,CACf,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,GACb,aAAa,CAAC,WAAW,CAAC;IAW7B,GAAG,IAAI;QAAE,KAAK,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;QAAC,MAAM,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;KAAE;IAkBrE,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAM5E,wCAAwC;IACxC,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,EAAE;IAIvC,kEAAkE;IAClE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,EAAE;IAItC,oDAAoD;IACpD,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAIlC,qEAAqE;IACrE,IAAI,eAAe,IAAI,WAAW,EAAE,CAEnC;IAED,uBAAuB;IACvB,KAAK,IAAI,IAAI;CAWd"}
+{"version":3,"file":"test-event-bus.d.ts","sourceRoot":"","sources":["../../src/testing/test-event-bus.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,KAAK,EACV,UAAU,EACV,WAAW,EACX,YAAY,EACZ,YAAY,EACb,MAAM,uBAAuB,CAAC;AAe/B,qBAAa,YAAa,YAAW,YAAY;IAC/C,OAAO,CAAC,OAAO,CAAmC;IAClD,OAAO,CAAC,WAAW,CAAgD;IACnE,OAAO,CAAC,WAAW,CAAiC;IACpD,OAAO,CAAC,SAAS,CAAmC;IAGpD,OAAO,CAAC,aAAa,CAA0C;IAC/D,OAAO,CAAC,iBAAiB,CAAiD;IAC1E,OAAO,CAAC,SAAS,CAAqB;IAEtC,OAAO,CAAC,uBAAuB,CAA4B;IAC3D,OAAO,CAAC,kBAAkB,CAA4B;IAEtD;;;OAGG;IACH,OAAO,CAAC,aAAa,CAAuC;IAE5D,4EAA4E;IAC5E,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAMhC,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IA+CzD,sBAAsB,CAAC,CAAC,EAC5B,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EACxC,GAAG,EAAE,MAAM,GACV,OAAO,CAAC,IAAI,CAAC;IA6DhB,SAAS,CACP,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,MAAM,EACrB,OAAO,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,OAAO,CAAC,IAAI,CAAC,GAC5C,OAAO,CAAC,MAAM,IAAI,CAAC;IAkBtB,eAAe,CAAC,CAAC,EACf,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,EACjD,IAAI,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,GACxC,YAAY;IAoCR,UAAU,CACf,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,GACb,aAAa,CAAC,WAAW,CAAC;IAW7B,GAAG,IAAI;QAAE,KAAK,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;QAAC,MAAM,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;KAAE;IAkBrE,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAM5E,wCAAwC;IACxC,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,EAAE;IAIvC,kEAAkE;IAClE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,EAAE;IAItC,oDAAoD;IACpD,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAIlC,qEAAqE;IACrE,IAAI,eAAe,IAAI,WAAW,EAAE,CAEnC;IAED,uBAAuB;IACvB,KAAK,IAAI,IAAI;CAWd"}

package/dist/testing/test-event-bus.js

@@ -12,9 +12,11 @@
  *
  * @public
  */
+import { SpanStatusCode, trace } from "@opentelemetry/api";
 import { signEvent } from "../auth/sign-event.js";
 import { verifyEvent } from "../auth/verify-event.js";
 import { InMemoryNonceStore } from "../auth/nonce-store.js";
+const TEST_TRACER = trace.getTracer("vauban-agent-sdk.ports.test", "0.1.0");
 export class TestEventBus {
     streams = new Map();
     subscribers = new Map();
@@ -38,46 +40,97 @@ export class TestEventBus {
     }
     // ─── EventBusPort ──────────────────────────────────────────────────────────
     async publish(event, stream) {
-        if (!event.id)
-            throw new Error("CloudEvent.id is required");
-        if (event.specversion !== "1.0")
-            throw new Error("CloudEvent.specversion must be 1.0");
-        const events = this.streams.get(stream) ?? [];
-        events.push(event);
-        this.streams.set(stream, events);
-        // Track consumed events per stream
-        const consumed = this._consumed.get(stream) ?? [];
-        consumed.push(event);
-        this._consumed.set(stream, consumed);
-        // Dispatch to subscribers
-        const streamSubs = this.subscribers.get(stream);
-        if (streamSubs) {
-            for (const handler of streamSubs.values()) {
-                await handler(event);
+        return TEST_TRACER.startActiveSpan("event-bus.publish", {
+            attributes: {
+                "event.type": event.type,
+                "event.stream": stream,
+                "event.id": event.id,
+                "vauban.port.name": "event-bus",
+                "vauban.port.impl": "TestEventBus",
+            },
+        }, async (span) => {
+            try {
+                if (!event.id)
+                    throw new Error("CloudEvent.id is required");
+                if (event.specversion !== "1.0")
+                    throw new Error("CloudEvent.specversion must be 1.0");
+                const events = this.streams.get(stream) ?? [];
+                events.push(event);
+                this.streams.set(stream, events);
+                // Track consumed events per stream
+                const consumed = this._consumed.get(stream) ?? [];
+                consumed.push(event);
+                this._consumed.set(stream, consumed);
+                // Dispatch to subscribers
+                const streamSubs = this.subscribers.get(stream);
+                if (streamSubs) {
+                    for (const handler of streamSubs.values()) {
+                        await handler(event);
+                    }
+                }
+                span.setStatus({ code: SpanStatusCode.OK });
             }
-        }
+            catch (err) {
+                const message = err instanceof Error ? err.message : String(err);
+                span.setStatus({ code: SpanStatusCode.ERROR, message });
+                if (err instanceof Error)
+                    span.recordException(err);
+                throw err;
+            }
+            finally {
+                span.end();
+            }
+        });
     }
     async publishWithIdempotency(event, key) {
-        // Dedup: silently skip if key already processed (producer-side)
-        const isNew = await this.publishIdempotencyStore.setNX(key, 10 * 60 * 1000);
-        if (!isNew)
-            return;
-        // Auto-sign the event
-        const signature = signEvent(event, this.signingSecret);
-        const signed = { ...event, signature };
-        // Store in domain stream
-        const streamKey = `domain:${event.type}`;
-        const stored = this.domainStreams.get(streamKey) ?? [];
-        const streamId = `${Date.now()}-${stored.length}`;
-        stored.push({ streamId, event: signed });
-        this.domainStreams.set(streamKey, stored);
-        // Dispatch to domain subscribers
-        const typeSubs = this.domainSubscribers.get(event.type);
-        if (typeSubs) {
-            for (const handler of typeSubs.values()) {
-                await handler(signed);
+        return TEST_TRACER.startActiveSpan("event-bus.publishWithIdempotency", {
+            attributes: {
+                "event.type": event.type,
+                "event.idempotency_key": key,
+                "vauban.port.name": "event-bus",
+                "vauban.port.impl": "TestEventBus",
+            },
+        }, async (span) => {
+            try {
+                // Dedup: silently skip if key already processed (producer-side)
+                const isNew = await this.publishIdempotencyStore.setNX(key, 10 * 60 * 1000);
+                if (!isNew) {
+                    span.setAttribute("event.dedup.skipped", true);
+                    span.setStatus({ code: SpanStatusCode.OK });
+                    return;
+                }
+                // Auto-sign the event
+                const signature = signEvent(event, this.signingSecret);
+                const signed = {
+                    ...event,
+                    signature,
+                };
+                // Store in domain stream
+                const streamKey = `domain:${event.type}`;
+                const stored = this.domainStreams.get(streamKey) ?? [];
+                const streamId = `${Date.now()}-${stored.length}`;
+                stored.push({ streamId, event: signed });
+                this.domainStreams.set(streamKey, stored);
+                // Dispatch to domain subscribers
+                const typeSubs = this.domainSubscribers.get(event.type);
+                if (typeSubs) {
+                    for (const handler of typeSubs.values()) {
+                        await handler(signed);
+                    }
+                }
+                span.setStatus({ code: SpanStatusCode.OK });
             }
-        }
+            catch (err) {
+                const message = err instanceof Error ? err.message : String(err);
+                span.setStatus({ code: SpanStatusCode.ERROR, message });
+                if (err instanceof Error)
+                    span.recordException(err);
+                throw err;
+            }
+            finally {
+                span.end();
+            }
+        });
     }
     subscribe(stream, consumerGroup, handler) {
         const key = `${stream}:${consumerGroup}`;

package/dist/testing/test-event-bus.js.map

@@ -1 +1 @@
-{"version":3,"file":"test-event-bus.js","sourceRoot":"","sources":["../../src/testing/test-event-bus.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAQH,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAU5D,MAAM,OAAO,YAAY;IACf,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC1C,WAAW,GAAG,IAAI,GAAG,EAAqC,CAAC;IAC3D,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAEpD,uBAAuB;IACf,aAAa,GAAG,IAAI,GAAG,EAA+B,CAAC;IACvD,iBAAiB,GAAG,IAAI,GAAG,EAAsC,CAAC;IAClE,SAAS,GAAkB,EAAE,CAAC;IACtC,uFAAuF;IAC/E,uBAAuB,GAAG,IAAI,kBAAkB,EAAE,CAAC;IACnD,kBAAkB,GAAG,IAAI,kBAAkB,EAAE,CAAC;IAEtD;;;OAGG;IACK,aAAa,GAAG,mCAAmC,CAAC;IAE5D,4EAA4E;IAC5E,gBAAgB,CAAC,MAAc;QAC7B,IAAI,CAAC,aAAa,GAAG,MAAM,CAAC;IAC9B,CAAC;IAED,8EAA8E;IAE9E,KAAK,CAAC,OAAO,CAAC,KAAiB,EAAE,MAAc;QAC7C,IAAI,CAAC,KAAK,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC5D,IAAI,KAAK,CAAC,WAAW,KAAK,KAAK;YAC7B,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QAExD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAEjC,mCAAmC;QACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAErC,0BAA0B;QAC1B,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC1C,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,CAAC,sBAAsB,CAC1B,KAAwC,EACxC,GAAW;QAEX,gEAAgE;QAChE,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC;QAC5E,IAAI,CAAC,KAAK;YAAE,OAAO;QAEnB,sBAAsB;QACtB,MAAM,SAAS,GAAG,SAAS,CACzB,KAAuC,EACvC,IAAI,CAAC,aAAa,CACnB,CAAC;QACF,MAAM,MAAM,GAAmB,EAAE,GAAI,KAAwB,EAAE,SAAS,EAAE,CAAC;QAE3E,yBAAyB;QACzB,MAAM,SAAS,GAAG,UAAU,KAAK,CAAC,IAAI,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClD,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAqB,EAAE,CAAC,CAAC;QACxD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAE1C,iCAAiC;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,QAAQ,EAAE,CAAC;YACb,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;gBACxC,MAAO,OAA4B,CAAC,MAAM,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,CACP,MAAc,EACd,aAAqB,EACrB,OAA6C;QAE7C,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,aAAa,EAAE,CAAC;QACzC,IAAI,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,UAAU,GAAG,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC3C,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAE7B,OAAO,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;YAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACjB,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;oBAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACvD,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,eAAe,CACb,SAAiB,EACjB,OAAiD,EACjD,IAAyC;QAEzC,MAAM,OAAO,GAAG,IAAI,EAAE,OAAO,IAAI,SAAS,CAAC;QAC3C,MAAM,GAAG,GAAG,GAAG,SAAS,IAAI,OAAO,EAAE,CAAC;QAEtC,IAAI,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;YACrB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAClD,CAAC;QAED,yDAAyD;QACzD,MAAM,cAAc,GAAkB,KAAK,EAAE,KAAkB,EAAE,EAAE;YACjE,IAAI,CAAC;gBACH,MAAM,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,aAAa,EAAE;oBAC3C,UAAU,EAAE,IAAI,CAAC,kBAAkB;iBACpC,CAAC,CAAC;gBACH,MAAO,OAA4B,CAAC,KAAuB,CAAC,CAAC;YAC/D,CAAC;YAAC,MAAM,CAAC;gBACP,mCAAmC;gBACnC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC,CAAC;QAEF,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAElC,OAAO;YACL,WAAW,EAAE,KAAK,IAAI,EAAE;gBACtB,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACnD,IAAI,IAAI,EAAE,CAAC;oBACT,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBACjB,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;wBAAE,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;gBAChE,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,CAAC,UAAU,CACf,SAAiB,EACjB,MAAc;QAEd,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QAEvD,KAAK,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,MAAM,EAAE,CAAC;YACzC,+EAA+E;YAC/E,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;gBACvB,MAAM,KAAK,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,GAAG;QACD,OAAO;YACL,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI;YACxC,MAAM,EAAE,KAAK,EAAE,OAAe,EAAE,EAAE;gBAChC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC5C,IAAI,KAAK,EAAE,CAAC;oBACV,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBACjC,gEAAgE;oBAChE,MAAM,MAAM,GAAG,iBAAiB,KAAK,CAAC,IAAI;yBACvC,KAAK,CAAC,GAAG,CAAC;yBACV,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;yBACX,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBACf,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,YAAY,CAAC,OAAe,EAAE,cAAsB;QACxD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,6EAA6E;IAE7E,wCAAwC;IACxC,SAAS,CAAC,MAAc;QACtB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACxC,CAAC;IAED,kEAAkE;IAClE,QAAQ,CAAC,MAAc;QACrB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC1C,CAAC;IAED,oDAAoD;IACpD,SAAS,CAAC,KAAiB;QACzB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,qEAAqE;IACrE,IAAI,eAAe;QACjB,OAAO,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,uBAAuB;IACvB,KAAK;QACH,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,CAAC;QACrC,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;IAClC,CAAC;CACF"}
+{"version":3,"file":"test-event-bus.js","sourceRoot":"","sources":["../../src/testing/test-event-bus.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAO3D,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAE5D,MAAM,WAAW,GAAG,KAAK,CAAC,SAAS,CAAC,6BAA6B,EAAE,OAAO,CAAC,CAAC;AAU5E,MAAM,OAAO,YAAY;IACf,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC1C,WAAW,GAAG,IAAI,GAAG,EAAqC,CAAC;IAC3D,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAEpD,uBAAuB;IACf,aAAa,GAAG,IAAI,GAAG,EAA+B,CAAC;IACvD,iBAAiB,GAAG,IAAI,GAAG,EAAsC,CAAC;IAClE,SAAS,GAAkB,EAAE,CAAC;IACtC,uFAAuF;IAC/E,uBAAuB,GAAG,IAAI,kBAAkB,EAAE,CAAC;IACnD,kBAAkB,GAAG,IAAI,kBAAkB,EAAE,CAAC;IAEtD;;;OAGG;IACK,aAAa,GAAG,mCAAmC,CAAC;IAE5D,4EAA4E;IAC5E,gBAAgB,CAAC,MAAc;QAC7B,IAAI,CAAC,aAAa,GAAG,MAAM,CAAC;IAC9B,CAAC;IAED,8EAA8E;IAE9E,KAAK,CAAC,OAAO,CAAC,KAAiB,EAAE,MAAc;QAC7C,OAAO,WAAW,CAAC,eAAe,CAChC,mBAAmB,EACnB;YACE,UAAU,EAAE;gBACV,YAAY,EAAE,KAAK,CAAC,IAAI;gBACxB,cAAc,EAAE,MAAM;gBACtB,UAAU,EAAE,KAAK,CAAC,EAAE;gBACpB,kBAAkB,EAAE,WAAW;gBAC/B,kBAAkB,EAAE,cAAc;aACnC;SACF,EACD,KAAK,EAAE,IAAU,EAAE,EAAE;YACnB,IAAI,CAAC;gBACH,IAAI,CAAC,KAAK,CAAC,EAAE;oBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;gBAC5D,IAAI,KAAK,CAAC,WAAW,KAAK,KAAK;oBAC7B,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;gBAExD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBAC9C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACnB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;gBAEjC,mCAAmC;gBACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBAClD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACrB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;gBAErC,0BAA0B;gBAC1B,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAChD,IAAI,UAAU,EAAE,CAAC;oBACf,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;wBAC1C,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;oBACvB,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9C,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACjE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;gBACxD,IAAI,GAAG,YAAY,KAAK;oBAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;gBACpD,MAAM,GAAG,CAAC;YACZ,CAAC;oBAAS,CAAC;gBACT,IAAI,CAAC,GAAG,EAAE,CAAC;YACb,CAAC;QACH,CAAC,CACF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,sBAAsB,CAC1B,KAAwC,EACxC,GAAW;QAEX,OAAO,WAAW,CAAC,eAAe,CAChC,kCAAkC,EAClC;YACE,UAAU,EAAE;gBACV,YAAY,EAAE,KAAK,CAAC,IAAI;gBACxB,uBAAuB,EAAE,GAAG;gBAC5B,kBAAkB,EAAE,WAAW;gBAC/B,kBAAkB,EAAE,cAAc;aACnC;SACF,EACD,KAAK,EAAE,IAAU,EAAE,EAAE;YACnB,IAAI,CAAC;gBACH,gEAAgE;gBAChE,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,uBAAuB,CAAC,KAAK,CACpD,GAAG,EACH,EAAE,GAAG,EAAE,GAAG,IAAI,CACf,CAAC;gBACF,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,IAAI,CAAC,YAAY,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC;oBAC/C,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5C,OAAO;gBACT,CAAC;gBAED,sBAAsB;gBACtB,MAAM,SAAS,GAAG,SAAS,CACzB,KAAuC,EACvC,IAAI,CAAC,aAAa,CACnB,CAAC;gBACF,MAAM,MAAM,GAAmB;oBAC7B,GAAI,KAAwB;oBAC5B,SAAS;iBACV,CAAC;gBAEF,yBAAyB;gBACzB,MAAM,SAAS,GAAG,UAAU,KAAK,CAAC,IAAI,EAAE,CAAC;gBACzC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;gBACvD,MAAM,QAAQ,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAClD,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAqB,EAAE,CAAC,CAAC;gBACxD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;gBAE1C,iCAAiC;gBACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACxD,IAAI,QAAQ,EAAE,CAAC;oBACb,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;wBACxC,MAAO,OAA4B,CAAC,MAAM,CAAC,CAAC;oBAC9C,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9C,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACjE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;gBACxD,IAAI,GAAG,YAAY,KAAK;oBAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;gBACpD,MAAM,GAAG,CAAC;YACZ,CAAC;oBAAS,CAAC;gBACT,IAAI,CAAC,GAAG,EAAE,CAAC;YACb,CAAC;QACH,CAAC,CACF,CAAC;IACJ,CAAC;IAED,SAAS,CACP,MAAc,EACd,aAAqB,EACrB,OAA6C;QAE7C,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,aAAa,EAAE,CAAC;QACzC,IAAI,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,UAAU,GAAG,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC3C,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAE7B,OAAO,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;YAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACjB,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;oBAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACvD,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,eAAe,CACb,SAAiB,EACjB,OAAiD,EACjD,IAAyC;QAEzC,MAAM,OAAO,GAAG,IAAI,EAAE,OAAO,IAAI,SAAS,CAAC;QAC3C,MAAM,GAAG,GAAG,GAAG,SAAS,IAAI,OAAO,EAAE,CAAC;QAEtC,IAAI,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;YACrB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAClD,CAAC;QAED,yDAAyD;QACzD,MAAM,cAAc,GAAkB,KAAK,EAAE,KAAkB,EAAE,EAAE;YACjE,IAAI,CAAC;gBACH,MAAM,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,aAAa,EAAE;oBAC3C,UAAU,EAAE,IAAI,CAAC,kBAAkB;iBACpC,CAAC,CAAC;gBACH,MAAO,OAA4B,CAAC,KAAuB,CAAC,CAAC;YAC/D,CAAC;YAAC,MAAM,CAAC;gBACP,mCAAmC;gBACnC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC,CAAC;QAEF,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAElC,OAAO;YACL,WAAW,EAAE,KAAK,IAAI,EAAE;gBACtB,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACnD,IAAI,IAAI,EAAE,CAAC;oBACT,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBACjB,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;wBAAE,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;gBAChE,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,CAAC,UAAU,CACf,SAAiB,EACjB,MAAc;QAEd,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QAEvD,KAAK,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,MAAM,EAAE,CAAC;YACzC,+EAA+E;YAC/E,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;gBACvB,MAAM,KAAK,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,GAAG;QACD,OAAO;YACL,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI;YACxC,MAAM,EAAE,KAAK,EAAE,OAAe,EAAE,EAAE;gBAChC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC5C,IAAI,KAAK,EAAE,CAAC;oBACV,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBACjC,gEAAgE;oBAChE,MAAM,MAAM,GAAG,iBAAiB,KAAK,CAAC,IAAI;yBACvC,KAAK,CAAC,GAAG,CAAC;yBACV,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;yBACX,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBACf,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,YAAY,CAAC,OAAe,EAAE,cAAsB;QACxD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,6EAA6E;IAE7E,wCAAwC;IACxC,SAAS,CAAC,MAAc;QACtB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACxC,CAAC;IAED,kEAAkE;IAClE,QAAQ,CAAC,MAAc;QACrB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC1C,CAAC;IAED,oDAAoD;IACpD,SAAS,CAAC,KAAiB;QACzB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,qEAAqE;IACrE,IAAI,eAAe;QACjB,OAAO,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,uBAAuB;IACvB,KAAK;QACH,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,CAAC;QACrC,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;IAClC,CAAC;CACF"}

package/dist/trace/schema.d.ts

@@ -14,7 +14,7 @@
  */
 /** Semver version of this trace schema. Increment MINOR on additive changes,
  *  MAJOR on breaking changes (new required fields or removed fields). */
-export declare const TRACE_SCHEMA_VERSION: "0.1.0-draft";
+export declare const TRACE_SCHEMA_VERSION: "1.0.0";
 /** Status of an optional TSA receipt for a Trace. */
 export type ReceiptStatus = "present" | "pending" | "failed";
 /**

package/dist/trace/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/trace/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH;yEACyE;AACzE,eAAO,MAAM,oBAAoB,EAAG,aAAsB,CAAC;AAE3D,qDAAqD;AACrD,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAC;AAE7D;;;GAGG;AACH,MAAM,WAAW,SAAS;IACxB,gDAAgD;IAChD,KAAK,EAAE,MAAM,CAAC;IAEd;;;OAGG;IACH,KAAK,EAAE,MAAM,CAAC;IAEd;;;;;;;;;OASG;IACH,KAAK,EACD,SAAS,GACT,QAAQ,GACR,QAAQ,GACR,KAAK,GACL,UAAU,GACV,OAAO,GACP,MAAM,CAAC;IAEX;;;;OAIG;IACH,IAAI,EACA,UAAU,GACV,WAAW,GACX,aAAa,GACb,kBAAkB,GAClB,WAAW,CAAC;IAEhB,sDAAsD;IACtD,SAAS,EAAE,MAAM,CAAC;IAElB,wDAAwD;IACxD,UAAU,EAAE,MAAM,CAAC;IAEnB;;;OAGG;IACH,SAAS,EAAE,MAAM,CAAC;IAElB;;;;OAIG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAE3B;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;IAEtB,qEAAqE;IACrE,UAAU,EAAE,MAAM,CAAC;IAEnB,gGAAgG;IAChG,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAE5B,wEAAwE;IACxE,YAAY,CAAC,EAAE,OAAO,CAAC;IAEvB;;;OAGG;IACH,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,MAAM,GAAG,WAAW,CAAC;IAEpD,oDAAoD;IACpD,MAAM,CAAC,EAAE;QACP,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,MAAM,CAAC;QACf,qDAAqD;QACrD,SAAS,CAAC,EAAE,MAAM,CAAC;KACpB,CAAC;IAEF,6EAA6E;IAC7E,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,sEAAsE;IACtE,KAAK,CAAC,EAAE;QACN,QAAQ,EAAE,MAAM,CAAC;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IAEF,uCAAuC;IACvC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,0CAA0C;IAC1C,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB;;;;OAIG;IACH,YAAY,EAAE,MAAM,CAAC;IAErB;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;IACZ,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,qCAAqC;IACrC,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,SAAS,EAAE,SAAS,CAAC;IACrB,gEAAgE;IAChE,aAAa,EAAE,MAAM,CAAC;IACtB,iFAAiF;IACjF,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,KAAK;IACpB,uDAAuD;IACvD,aAAa,EAAE,OAAO,oBAAoB,CAAC;IAE3C,2DAA2D;IAC3D,KAAK,EAAE,MAAM,CAAC;IAEd,wDAAwD;IACxD,OAAO,EAAE,MAAM,CAAC;IAEhB,0CAA0C;IAC1C,YAAY,EAAE,MAAM,CAAC;IAErB,oDAAoD;IACpD,SAAS,EAAE,MAAM,CAAC;IAElB,qDAAqD;IACrD,WAAW,EAAE,MAAM,CAAC;IAEpB,kCAAkC;IAClC,MAAM,EAAE,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;IAE3C,6BAA6B;IAC7B,KAAK,EAAE,SAAS,EAAE,CAAC;IAEnB;;;OAGG;IACH,UAAU,EAAE,MAAM,CAAC;IAEnB;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC;IAEjB;;;OAGG;IACH,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEhC;;;OAGG;IACH,UAAU,EAAE,MAAM,CAAC;IAEnB;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB,0DAA0D;IAC1D,OAAO,CAAC,EAAE,aAAa,CAAC;IAExB,uCAAuC;IACvC,aAAa,CAAC,EAAE,aAAa,CAAC;IAE9B;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/trace/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH;yEACyE;AACzE,eAAO,MAAM,oBAAoB,EAAG,OAAgB,CAAC;AAErD,qDAAqD;AACrD,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAC;AAE7D;;;GAGG;AACH,MAAM,WAAW,SAAS;IACxB,gDAAgD;IAChD,KAAK,EAAE,MAAM,CAAC;IAEd;;;OAGG;IACH,KAAK,EAAE,MAAM,CAAC;IAEd;;;;;;;;;OASG;IACH,KAAK,EACD,SAAS,GACT,QAAQ,GACR,QAAQ,GACR,KAAK,GACL,UAAU,GACV,OAAO,GACP,MAAM,CAAC;IAEX;;;;OAIG;IACH,IAAI,EACA,UAAU,GACV,WAAW,GACX,aAAa,GACb,kBAAkB,GAClB,WAAW,CAAC;IAEhB,sDAAsD;IACtD,SAAS,EAAE,MAAM,CAAC;IAElB,wDAAwD;IACxD,UAAU,EAAE,MAAM,CAAC;IAEnB;;;OAGG;IACH,SAAS,EAAE,MAAM,CAAC;IAElB;;;;OAIG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAE3B;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;IAEtB,qEAAqE;IACrE,UAAU,EAAE,MAAM,CAAC;IAEnB,gGAAgG;IAChG,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAE5B,wEAAwE;IACxE,YAAY,CAAC,EAAE,OAAO,CAAC;IAEvB;;;OAGG;IACH,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,MAAM,GAAG,WAAW,CAAC;IAEpD,oDAAoD;IACpD,MAAM,CAAC,EAAE;QACP,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,MAAM,CAAC;QACf,qDAAqD;QACrD,SAAS,CAAC,EAAE,MAAM,CAAC;KACpB,CAAC;IAEF,6EAA6E;IAC7E,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,sEAAsE;IACtE,KAAK,CAAC,EAAE;QACN,QAAQ,EAAE,MAAM,CAAC;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IAEF,uCAAuC;IACvC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,0CAA0C;IAC1C,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB;;;;OAIG;IACH,YAAY,EAAE,MAAM,CAAC;IAErB;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;IACZ,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,qCAAqC;IACrC,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,SAAS,EAAE,SAAS,CAAC;IACrB,gEAAgE;IAChE,aAAa,EAAE,MAAM,CAAC;IACtB,iFAAiF;IACjF,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,KAAK;IACpB,uDAAuD;IACvD,aAAa,EAAE,OAAO,oBAAoB,CAAC;IAE3C,2DAA2D;IAC3D,KAAK,EAAE,MAAM,CAAC;IAEd,wDAAwD;IACxD,OAAO,EAAE,MAAM,CAAC;IAEhB,0CAA0C;IAC1C,YAAY,EAAE,MAAM,CAAC;IAErB,oDAAoD;IACpD,SAAS,EAAE,MAAM,CAAC;IAElB,qDAAqD;IACrD,WAAW,EAAE,MAAM,CAAC;IAEpB,kCAAkC;IAClC,MAAM,EAAE,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;IAE3C,6BAA6B;IAC7B,KAAK,EAAE,SAAS,EAAE,CAAC;IAEnB;;;OAGG;IACH,UAAU,EAAE,MAAM,CAAC;IAEnB;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC;IAEjB;;;OAGG;IACH,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEhC;;;OAGG;IACH,UAAU,EAAE,MAAM,CAAC;IAEnB;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB,0DAA0D;IAC1D,OAAO,CAAC,EAAE,aAAa,CAAC;IAExB,uCAAuC;IACvC,aAAa,CAAC,EAAE,aAAa,CAAC;IAE9B;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB"}

package/dist/trace/schema.js

@@ -14,5 +14,5 @@
  */
 /** Semver version of this trace schema. Increment MINOR on additive changes,
  *  MAJOR on breaking changes (new required fields or removed fields). */
-export const TRACE_SCHEMA_VERSION = "0.1.0-draft";
+export const TRACE_SCHEMA_VERSION = "1.0.0";
 //# sourceMappingURL=schema.js.map

package/dist/trace/schema.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/trace/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH;yEACyE;AACzE,MAAM,CAAC,MAAM,oBAAoB,GAAG,aAAsB,CAAC"}
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/trace/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH;yEACyE;AACzE,MAAM,CAAC,MAAM,oBAAoB,GAAG,OAAgB,CAAC"}

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

@@ -0,0 +1,44 @@
+/**
+ * src/verify/formal/index.ts
+ *
+ * Sprint-587 — Formal verification entry point.
+ *
+ * Orchestrates : AxiomSpec → SMT-LIB → Z3 subprocess → 4-state result →
+ * (optionally) per-axiom policy decision.
+ *
+ * When `z3` is not in PATH, every spec resolves to UNKNOWN with a uniform
+ * rationale. Callers can then apply their policies — typically resulting in
+ * escalation or log (depending on the axiom and consumer mode).
+ *
+ * @module verify/formal
+ */
+import type { FormalVerifyResult } from "./result.js";
+import { type AxiomPolicy, type ConsumerMode, type PolicyDecision, type VerifyContext } from "./policy.js";
+import { type AxiomSpec } from "./spec-language.js";
+export { type FormalVerifyResult, type FormalVerifyState, type FormalSolver, } from "./result.js";
+export { type AxiomPolicy, type ConsumerMode, type VerifyContext, type PolicyAction, type PolicyDecision, type OnUnknown, type OnUnsafe, DEFAULT_POLICIES, applyPolicy, } from "./policy.js";
+export { type AxiomSpec, type Condition, AXIOM_SPECS, compileToSmt, } from "./spec-language.js";
+export { type SmtCheckResult, type SolverOptions, checkSmt, isZ3Available, } from "./solver.js";
+/**
+ * Bundle returned by {@link formalVerify} : the raw verification result plus
+ * the policy-resolved decision.
+ */
+export interface FormalVerifyDecision {
+    result: FormalVerifyResult;
+    decision: PolicyDecision;
+}
+/**
+ * Verify every supplied AxiomSpec, apply the per-axiom policy, and return
+ * one {@link FormalVerifyDecision} per spec.
+ *
+ * If `z3` is not available on PATH, every result is UNKNOWN with
+ * `solver: "none"`, and the policy layer handles routing.
+ *
+ * @param axiomSpecs       List of specs to verify (typically derived from
+ *                         {@link AXIOM_SPECS}, possibly customised).
+ * @param mode             Consumer mode (strict / permissive / audit_only).
+ * @param context          Calling context (runtime / skill_ingestion).
+ * @param customPolicies   Optional override map keyed by axiom label.
+ */
+export declare function formalVerify(axiomSpecs: AxiomSpec[], mode: ConsumerMode, context: VerifyContext, customPolicies?: Partial<Record<string, AxiomPolicy>>): Promise<FormalVerifyDecision[]>;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/verify/formal/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,aAAa,EAGnB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,KAAK,SAAS,EAAgB,MAAM,oBAAoB,CAAC;AAGlE,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACtB,KAAK,YAAY,GAClB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,QAAQ,EACb,gBAAgB,EAChB,WAAW,GACZ,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,KAAK,SAAS,EACd,KAAK,SAAS,EACd,WAAW,EACX,YAAY,GACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,QAAQ,EACR,aAAa,GACd,MAAM,aAAa,CAAC;AAErB;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,kBAAkB,CAAC;IAC3B,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAsB,YAAY,CAChC,UAAU,EAAE,SAAS,EAAE,EACvB,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE,aAAa,EACtB,cAAc,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,GACpD,OAAO,CAAC,oBAAoB,EAAE,CAAC,CAsEjC"}

package/dist/verify/formal/index.js

@@ -0,0 +1,98 @@
+/**
+ * src/verify/formal/index.ts
+ *
+ * Sprint-587 — Formal verification entry point.
+ *
+ * Orchestrates : AxiomSpec → SMT-LIB → Z3 subprocess → 4-state result →
+ * (optionally) per-axiom policy decision.
+ *
+ * When `z3` is not in PATH, every spec resolves to UNKNOWN with a uniform
+ * rationale. Callers can then apply their policies — typically resulting in
+ * escalation or log (depending on the axiom and consumer mode).
+ *
+ * @module verify/formal
+ */
+import { DEFAULT_POLICIES, applyPolicy, } from "./policy.js";
+import { compileToSmt } from "./spec-language.js";
+import { checkSmt, isZ3Available } from "./solver.js";
+export { DEFAULT_POLICIES, applyPolicy, } from "./policy.js";
+export { AXIOM_SPECS, compileToSmt, } from "./spec-language.js";
+export { checkSmt, isZ3Available, } from "./solver.js";
+/**
+ * Verify every supplied AxiomSpec, apply the per-axiom policy, and return
+ * one {@link FormalVerifyDecision} per spec.
+ *
+ * If `z3` is not available on PATH, every result is UNKNOWN with
+ * `solver: "none"`, and the policy layer handles routing.
+ *
+ * @param axiomSpecs       List of specs to verify (typically derived from
+ *                         {@link AXIOM_SPECS}, possibly customised).
+ * @param mode             Consumer mode (strict / permissive / audit_only).
+ * @param context          Calling context (runtime / skill_ingestion).
+ * @param customPolicies   Optional override map keyed by axiom label.
+ */
+export async function formalVerify(axiomSpecs, mode, context, customPolicies) {
+    const z3Available = await isZ3Available();
+    const out = [];
+    for (const spec of axiomSpecs) {
+        const policy = customPolicies?.[spec.axiom] ??
+            DEFAULT_POLICIES[spec.axiom] ?? // Fallback policy for unknown axioms : permissive defaults.
+            {
+                onSafe: "proceed",
+                onUnsafe: "escalate_human",
+                onUnknown: "proceed_with_log",
+                timeout_ms: spec.timeout_ms ?? 5000,
+                skillLoopStrict: true,
+            };
+        const timeout_ms = spec.timeout_ms ?? policy.timeout_ms ?? 5000;
+        let result;
+        if (!z3Available) {
+            result = {
+                state: "UNKNOWN",
+                axiom: spec.axiom,
+                rationale: "z3 binary not available on PATH",
+                time_ms: 0,
+                solver: "none",
+            };
+        }
+        else {
+            const smt = compileToSmt(spec);
+            const smtRes = await checkSmt(smt, { timeout_ms });
+            if (smtRes.sat === false) {
+                // unsat → no counterexample → property holds → SAFE
+                result = {
+                    state: "SAFE",
+                    axiom: spec.axiom,
+                    rationale: `Z3 proved post-conditions hold for axiom ${spec.axiom}`,
+                    time_ms: smtRes.time_ms,
+                    solver: "z3",
+                };
+            }
+            else if (smtRes.sat === true) {
+                // sat → counterexample → property violated → UNSAFE
+                result = {
+                    state: "UNSAFE",
+                    axiom: spec.axiom,
+                    rationale: `Z3 found a counterexample for axiom ${spec.axiom}`,
+                    counterexample: smtRes.model,
+                    time_ms: smtRes.time_ms,
+                    solver: "z3",
+                };
+            }
+            else {
+                // null → unknown / timeout / error → UNKNOWN
+                result = {
+                    state: "UNKNOWN",
+                    axiom: spec.axiom,
+                    rationale: smtRes.reason ?? "z3 returned unknown",
+                    time_ms: smtRes.time_ms,
+                    solver: "z3",
+                };
+            }
+        }
+        const decision = applyPolicy(result, policy, mode, context);
+        out.push({ result, decision });
+    }
+    return out;
+}
+//# sourceMappingURL=index.js.map

package/dist/verify/formal/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/verify/formal/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAKL,gBAAgB,EAChB,WAAW,GACZ,MAAM,aAAa,CAAC;AACrB,OAAO,EAAkB,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAOtD,OAAO,EAQL,gBAAgB,EAChB,WAAW,GACZ,MAAM,aAAa,CAAC;AACrB,OAAO,EAGL,WAAW,EACX,YAAY,GACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAGL,QAAQ,EACR,aAAa,GACd,MAAM,aAAa,CAAC;AAWrB;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,UAAuB,EACvB,IAAkB,EAClB,OAAsB,EACtB,cAAqD;IAErD,MAAM,WAAW,GAAG,MAAM,aAAa,EAAE,CAAC;IAE1C,MAAM,GAAG,GAA2B,EAAE,CAAC;IAEvC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,cAAc,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACzC,gBAAgB,CACd,IAAI,CAAC,KAAK,CACX,IAAI,4DAA4D;YACjE;gBACE,MAAM,EAAE,SAAkB;gBAC1B,QAAQ,EAAE,gBAAyB;gBACnC,SAAS,EAAE,kBAA2B;gBACtC,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,IAAI;gBACnC,eAAe,EAAE,IAAI;aACtB,CAAC;QAEJ,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU,IAAI,IAAI,CAAC;QAEhE,IAAI,MAA0B,CAAC;QAE/B,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,MAAM,GAAG;gBACP,KAAK,EAAE,SAAS;gBAChB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,SAAS,EAAE,iCAAiC;gBAC5C,OAAO,EAAE,CAAC;gBACV,MAAM,EAAE,MAAM;aACf,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YAC/B,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;YAEnD,IAAI,MAAM,CAAC,GAAG,KAAK,KAAK,EAAE,CAAC;gBACzB,oDAAoD;gBACpD,MAAM,GAAG;oBACP,KAAK,EAAE,MAAM;oBACb,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,SAAS,EAAE,4CAA4C,IAAI,CAAC,KAAK,EAAE;oBACnE,OAAO,EAAE,MAAM,CAAC,OAAO;oBACvB,MAAM,EAAE,IAAI;iBACb,CAAC;YACJ,CAAC;iBAAM,IAAI,MAAM,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;gBAC/B,oDAAoD;gBACpD,MAAM,GAAG;oBACP,KAAK,EAAE,QAAQ;oBACf,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,SAAS,EAAE,uCAAuC,IAAI,CAAC,KAAK,EAAE;oBAC9D,cAAc,EAAE,MAAM,CAAC,KAAK;oBAC5B,OAAO,EAAE,MAAM,CAAC,OAAO;oBACvB,MAAM,EAAE,IAAI;iBACb,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,6CAA6C;gBAC7C,MAAM,GAAG;oBACP,KAAK,EAAE,SAAS;oBAChB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,SAAS,EAAE,MAAM,CAAC,MAAM,IAAI,qBAAqB;oBACjD,OAAO,EAAE,MAAM,CAAC,OAAO;oBACvB,MAAM,EAAE,IAAI;iBACb,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAE,MAAqB,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3E,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/verify/formal/policy.d.ts

@@ -0,0 +1,105 @@
+/**
+ * src/verify/formal/policy.ts
+ *
+ * Sprint-587 — Per-axiom policy + consumer mode resolution.
+ *
+ * The policy layer maps a 4-state {@link FormalVerifyResult} to an action
+ * (proceed / block / escalate / log), parameterised by :
+ *   - the axiom (Robuste, Institutionnel, … — each has different sensitivity)
+ *   - the consumer mode (strict / permissive / audit_only)
+ *   - the calling context (runtime vs skill_ingestion — see Tension Sprint C)
+ *
+ * Tension Sprint C : skill-loop ingestion is ALWAYS strict on UNKNOWN.
+ * Even if the runtime policy says "proceed_with_log" on UNKNOWN for the
+ * Profitable axiom, the skill-ingestion path must refuse to ingest the
+ * skill until UNKNOWN becomes SAFE. This prevents UNKNOWN-tainted skills
+ * from accumulating in the skill library.
+ *
+ * @module verify/formal/policy
+ */
+import type { FormalVerifyResult } from "./result.js";
+/**
+ * Action chosen by the policy resolver.
+ *
+ *   `proceed`        : continue without intervention
+ *   `block`          : refuse the operation outright
+ *   `escalate_human` : pause and request human approval (HITL)
+ *   `log`            : continue but emit an audit-grade log entry
+ */
+export type PolicyAction = "proceed" | "block" | "escalate_human" | "log";
+/**
+ * Strategy for handling UNKNOWN outcomes.
+ *
+ *   `escalate_human`        : refuse to make a unilateral decision
+ *   `proceed_with_log`      : continue and emit a regular log entry
+ *   `proceed_with_audit_log`: continue and emit an audit-grade log entry
+ */
+export type OnUnknown = "escalate_human" | "proceed_with_log" | "proceed_with_audit_log";
+/**
+ * Strategy for handling UNSAFE outcomes — either hard-block or escalate.
+ */
+export type OnUnsafe = "block" | "escalate_human";
+/**
+ * Policy bundle for one axiom.
+ *
+ * `skillLoopStrict` is ALWAYS true by design : it is exposed as a field so
+ * downstream code can read it but is not configurable (see Tension Sprint C).
+ */
+export interface AxiomPolicy {
+    /** Action on SAFE. Fixed at `"proceed"` — kept explicit for symmetry. */
+    onSafe: "proceed";
+    /** Action on UNSAFE. */
+    onUnsafe: OnUnsafe;
+    /** Action on UNKNOWN. */
+    onUnknown: OnUnknown;
+    /** Solver timeout for this axiom, in milliseconds. */
+    timeout_ms: number;
+    /**
+     * Skill-loop ingestion strict mode — always true. Exposed so callers can
+     * assert the invariant. Do not set to false ; Tension Sprint C invariant.
+     */
+    skillLoopStrict: boolean;
+}
+/**
+ * Default per-axiom policies.
+ *
+ * Rationale :
+ *   Robuste / Institutionnel : hard axioms — UNSAFE blocks, UNKNOWN escalates
+ *   SOTA                     : UNKNOWN allowed with audit log (SOTA evolves)
+ *   AntiFragile / Profitable : softer — UNSAFE escalates, UNKNOWN logs
+ */
+export declare const DEFAULT_POLICIES: Record<string, AxiomPolicy>;
+/**
+ * Consumer-level mode for the formal verifier.
+ *
+ *   `strict`     : enforce all policies as declared
+ *   `permissive` : downgrade non-critical UNSAFE to log (Robuste/Institutionnel
+ *                  remain enforced), and treat UNKNOWN as SKIPPED
+ *   `audit_only` : never block ; map every actionable outcome to `log`
+ */
+export type ConsumerMode = "strict" | "permissive" | "audit_only";
+/**
+ * Calling context — distinguishes between live runtime verification and
+ * skill-loop ingestion. The latter has stricter rules on UNKNOWN.
+ */
+export type VerifyContext = "runtime" | "skill_ingestion";
+/**
+ * Resolution outcome of {@link applyPolicy}.
+ */
+export interface PolicyDecision {
+    action: PolicyAction;
+    rationale: string;
+}
+/**
+ * Apply the policy + mode + context to a single verification result.
+ *
+ * Decision order :
+ *   1. SKIPPED                                        → log
+ *   2. skill_ingestion + UNKNOWN                      → block  (Tension Sprint C)
+ *   3. mode = audit_only                              → log
+ *   4. mode = permissive + UNKNOWN                    → log    (treated as SKIPPED)
+ *   5. mode = permissive + UNSAFE + non-hard axiom    → log
+ *   6. otherwise                                      → policy.on{Safe,Unsafe,Unknown}
+ */
+export declare function applyPolicy(result: FormalVerifyResult, policy: AxiomPolicy, mode: ConsumerMode, context: VerifyContext): PolicyDecision;
+//# sourceMappingURL=policy.d.ts.map

package/dist/verify/formal/policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../../../src/verify/formal/policy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAEtD;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,OAAO,GAAG,gBAAgB,GAAG,KAAK,CAAC;AAE1E;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GACjB,gBAAgB,GAChB,kBAAkB,GAClB,wBAAwB,CAAC;AAE7B;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,gBAAgB,CAAC;AAElD;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,yEAAyE;IACzE,MAAM,EAAE,SAAS,CAAC;IAClB,wBAAwB;IACxB,QAAQ,EAAE,QAAQ,CAAC;IACnB,yBAAyB;IACzB,SAAS,EAAE,SAAS,CAAC;IACrB,sDAAsD;IACtD,UAAU,EAAE,MAAM,CAAC;IACnB;;;OAGG;IACH,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAoCxD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,YAAY,GAAG,YAAY,CAAC;AAElE;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,iBAAiB,CAAC;AAE1D;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,YAAY,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;CACnB;AAUD;;;;;;;;;;GAUG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,kBAAkB,EAC1B,MAAM,EAAE,WAAW,EACnB,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE,aAAa,GACrB,cAAc,CAuFhB"}