harnery 0.32.0 → 0.34.0

package/dist/core/events/v3/capability-drift.js

@@ -0,0 +1,134 @@
+import { adapterSignalSupportV3, } from "./capabilities.js";
+/**
+ * Compare measurable adapter promises against one completed generation.
+ *
+ * Conditional and unsupported promises never drift: absence is allowed by
+ * their contract. Native and derived promises report only when a concrete
+ * opportunity existed, keeping a quiet generation from manufacturing health
+ * failures.
+ */
+export function capabilityDriftPayloadsV3(adapter, events, options = {}) {
+    const generationEnded = options.generation_ended ?? events.some((event) => eventType(event) === "session.ended");
+    if (!generationEnded)
+        return [];
+    return measurableDeliveries(events)
+        .filter(({ signal, expected_count, observed_count }) => {
+        const promised = adapterSignalSupportV3(adapter, signal);
+        return (promised !== "unsupported" && promised !== "conditional" && expected_count > observed_count);
+    })
+        .map(({ signal, expected_count, observed_count }) => ({
+        signal,
+        promised: adapterSignalSupportV3(adapter, signal),
+        expected_count,
+        observed_count,
+        generation_ended: true,
+    }));
+}
+export function measurableDeliveriesV3(events) {
+    return measurableDeliveries(events);
+}
+function measurableDeliveries(events) {
+    const counts = new Map();
+    const observed = new Map();
+    const increment = (map, key) => map.set(key, (map.get(key) ?? 0) + 1);
+    for (const event of events) {
+        const type = eventType(event);
+        const payload = record(event.payload);
+        switch (type) {
+            case "session.started":
+                increment(observed, "session_start");
+                if (record(record(payload.runtime_attestation).model).state === "observed") {
+                    increment(observed, "model_identity");
+                }
+                break;
+            case "session.ended":
+                increment(observed, "session_end");
+                break;
+            case "turn.started":
+                increment(counts, "turn_completion");
+                break;
+            case "turn.completed":
+                increment(observed, "turn_completion");
+                increment(counts, "harness_timing");
+                increment(counts, "context_usage");
+                increment(counts, "model_usage");
+                increment(counts, "inference_timing");
+                if (observationObserved(payload.harness))
+                    increment(observed, "harness_timing");
+                if (observationObserved(payload.usage))
+                    increment(observed, "model_usage");
+                if (observationObserved(payload.inference))
+                    increment(observed, "inference_timing");
+                break;
+            case "tool.requested":
+                increment(observed, "tool_request");
+                increment(counts, "tool_result");
+                break;
+            case "tool.completed":
+                increment(counts, "tool_request");
+                increment(observed, "tool_result");
+                increment(counts, "tool_duration");
+                if (observationObserved(record(payload.span).duration_ms)) {
+                    increment(observed, "tool_duration");
+                }
+                break;
+            case "wait.started":
+                increment(counts, "permission");
+                break;
+            case "wait.ended":
+                increment(observed, "permission");
+                break;
+            case "agent.started":
+                increment(counts, "subagent");
+                break;
+            case "agent.completed":
+                increment(observed, "subagent");
+                break;
+            case "context.compaction_started":
+                increment(counts, "post_compaction");
+                break;
+            case "context.compaction_completed":
+                increment(observed, "post_compaction");
+                break;
+            case "context.observed":
+                if (observationObserved(payload.measurement))
+                    increment(observed, "context_usage");
+                break;
+        }
+    }
+    const sessionExpected = events.length > 0 ? 1 : 0;
+    const deliveries = [
+        delivery("session_start", sessionExpected, observed),
+        delivery("session_end", sessionExpected, observed),
+        deliveryFrom("turn_completion", counts, observed),
+        delivery("tool_request", Math.max(counts.get("tool_request") ?? 0, observed.get("tool_request") ?? 0), observed),
+        deliveryFrom("tool_result", counts, observed),
+        deliveryFrom("tool_duration", counts, observed),
+        deliveryFrom("permission", counts, observed),
+        deliveryFrom("subagent", counts, observed),
+        deliveryFrom("post_compaction", counts, observed),
+        deliveryFrom("context_usage", counts, observed),
+        deliveryFrom("model_identity", new Map([["model_identity", sessionExpected]]), observed),
+        deliveryFrom("model_usage", counts, observed),
+        deliveryFrom("inference_timing", counts, observed),
+        deliveryFrom("harness_timing", counts, observed),
+    ];
+    return deliveries.filter(({ expected_count }) => expected_count > 0);
+}
+function delivery(signal, expected_count, observed) {
+    return { signal, expected_count, observed_count: observed.get(signal) ?? 0 };
+}
+function deliveryFrom(signal, expected, observed) {
+    return delivery(signal, expected.get(signal) ?? 0, observed);
+}
+function eventType(event) {
+    return String(event.event_type ?? "");
+}
+function observationObserved(value) {
+    return record(value).state === "observed";
+}
+function record(value) {
+    return value && typeof value === "object" && !Array.isArray(value)
+        ? value
+        : {};
+}

package/dist/core/events/v3/catalog.d.ts

@@ -0,0 +1,38 @@
+export interface EventV3SegmentManifest {
+    format: "harnery-event-v3-segment";
+    format_version: 1;
+    ordinal: number;
+    segment_file: string;
+    bytes: number;
+    row_count: number;
+    segment_digest: `sha256:${string}`;
+    schema_digests: string[];
+    first_event_id: string;
+    last_event_id: string;
+    sealed_at: string;
+}
+export interface EventV3CatalogSegment {
+    ordinal: number;
+    segment_file: string;
+    manifest_file: string;
+    segment_digest: `sha256:${string}`;
+    manifest_digest: `sha256:${string}`;
+    bytes: number;
+    row_count: number;
+}
+export interface EventV3Catalog {
+    format: "harnery-event-v3-catalog";
+    format_version: 1;
+    segments: EventV3CatalogSegment[];
+    active: {
+        ordinal: number;
+        device: string;
+        inode: string;
+        birthtime_ns: string;
+    };
+}
+export declare function readEventV3Catalog(path: string): EventV3Catalog;
+export declare function readEventV3SegmentManifest(path: string): EventV3SegmentManifest;
+export declare function segmentFileNameV3(ordinal: number): string;
+export declare function manifestFileNameV3(ordinal: number): string;
+//# sourceMappingURL=catalog.d.ts.map

package/dist/core/events/v3/catalog.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../../../../src/core/events/v3/catalog.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,0BAA0B,CAAC;IACnC,cAAc,EAAE,CAAC,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,UAAU,MAAM,EAAE,CAAC;IACnC,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,UAAU,MAAM,EAAE,CAAC;IACnC,eAAe,EAAE,UAAU,MAAM,EAAE,CAAC;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,0BAA0B,CAAC;IACnC,cAAc,EAAE,CAAC,CAAC;IAClB,QAAQ,EAAE,qBAAqB,EAAE,CAAC;IAClC,MAAM,EAAE;QACN,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,KAAK,EAAE,MAAM,CAAC;QACd,YAAY,EAAE,MAAM,CAAC;KACtB,CAAC;CACH;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CAE/D;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,sBAAsB,CAE/E;AA8ID,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEzD;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE1D"}

package/dist/core/events/v3/catalog.js

@@ -0,0 +1,135 @@
+import { readFileSync } from "node:fs";
+import { canonicalJsonV3 } from "./canonical.js";
+export function readEventV3Catalog(path) {
+    return validateCanonicalMetadata(path, validateCatalog, "V3 catalog");
+}
+export function readEventV3SegmentManifest(path) {
+    return validateCanonicalMetadata(path, validateManifest, "V3 segment manifest");
+}
+function validateCanonicalMetadata(path, validate, label) {
+    let text;
+    let parsed;
+    try {
+        text = readFileSync(path, "utf8");
+        parsed = JSON.parse(text);
+    }
+    catch {
+        throw new Error(`${label} is missing or malformed`);
+    }
+    const value = validate(parsed);
+    if (text !== `${canonicalJsonV3(value)}\n`)
+        throw new Error(`${label} is not canonical`);
+    return value;
+}
+function validateCatalog(value) {
+    const record = object(value, "V3 catalog envelope is invalid");
+    if (record.format !== "harnery-event-v3-catalog" || record.format_version !== 1) {
+        throw new Error("V3 catalog format is unsupported");
+    }
+    exactKeys(record, ["active", "format", "format_version", "segments"], "V3 catalog");
+    if (!Array.isArray(record.segments))
+        throw new Error("V3 catalog segments are invalid");
+    const segments = record.segments.map((segment, index) => validateCatalogSegment(segment, index + 1));
+    const active = object(record.active, "V3 catalog active identity is invalid");
+    exactKeys(active, ["birthtime_ns", "device", "inode", "ordinal"], "V3 catalog active");
+    if (active.ordinal !== segments.length + 1 ||
+        typeof active.device !== "string" ||
+        typeof active.inode !== "string" ||
+        typeof active.birthtime_ns !== "string") {
+        throw new Error("V3 catalog active identity is invalid");
+    }
+    return {
+        format: "harnery-event-v3-catalog",
+        format_version: 1,
+        segments,
+        active: active,
+    };
+}
+function validateCatalogSegment(value, expectedOrdinal) {
+    const record = object(value, "V3 catalog segment is invalid");
+    exactKeys(record, [
+        "bytes",
+        "manifest_digest",
+        "manifest_file",
+        "ordinal",
+        "row_count",
+        "segment_digest",
+        "segment_file",
+    ], "V3 catalog segment");
+    if (record.ordinal !== expectedOrdinal ||
+        !nonnegativeInteger(record.bytes) ||
+        !nonnegativeInteger(record.row_count) ||
+        record.segment_file !== segmentFileName(expectedOrdinal) ||
+        record.manifest_file !== manifestFileName(expectedOrdinal) ||
+        !sha256(record.segment_digest) ||
+        !sha256(record.manifest_digest)) {
+        throw new Error("V3 catalog segment values are invalid");
+    }
+    return record;
+}
+function validateManifest(value) {
+    const record = object(value, "V3 segment manifest envelope is invalid");
+    if (record.format !== "harnery-event-v3-segment" || record.format_version !== 1) {
+        throw new Error("V3 segment manifest format is unsupported");
+    }
+    exactKeys(record, [
+        "bytes",
+        "first_event_id",
+        "format",
+        "format_version",
+        "last_event_id",
+        "ordinal",
+        "row_count",
+        "schema_digests",
+        "sealed_at",
+        "segment_digest",
+        "segment_file",
+    ], "V3 segment manifest");
+    if (!positiveInteger(record.ordinal) ||
+        !nonnegativeInteger(record.bytes) ||
+        !positiveInteger(record.row_count) ||
+        record.segment_file !== segmentFileName(record.ordinal) ||
+        !sha256(record.segment_digest) ||
+        typeof record.first_event_id !== "string" ||
+        typeof record.last_event_id !== "string" ||
+        typeof record.sealed_at !== "string" ||
+        !Array.isArray(record.schema_digests) ||
+        record.schema_digests.length === 0 ||
+        record.schema_digests.some((digest) => !sha256(digest)) ||
+        [...record.schema_digests].sort().join("\0") !== record.schema_digests.join("\0") ||
+        new Set(record.schema_digests).size !== record.schema_digests.length) {
+        throw new Error("V3 segment manifest values are invalid");
+    }
+    return record;
+}
+function object(value, message) {
+    if (!value || typeof value !== "object" || Array.isArray(value))
+        throw new Error(message);
+    return value;
+}
+function exactKeys(record, expected, label) {
+    if (Object.keys(record).sort().join("\0") !== expected.join("\0")) {
+        throw new Error(`${label} has unsupported fields`);
+    }
+}
+function positiveInteger(value) {
+    return Number.isSafeInteger(value) && value > 0;
+}
+function nonnegativeInteger(value) {
+    return Number.isSafeInteger(value) && value >= 0;
+}
+function sha256(value) {
+    return typeof value === "string" && /^sha256:[a-f0-9]{64}$/.test(value);
+}
+export function segmentFileNameV3(ordinal) {
+    return segmentFileName(ordinal);
+}
+export function manifestFileNameV3(ordinal) {
+    return manifestFileName(ordinal);
+}
+function segmentFileName(ordinal) {
+    return `${String(ordinal).padStart(12, "0")}.ndjson`;
+}
+function manifestFileName(ordinal) {
+    return `${String(ordinal).padStart(12, "0")}.manifest.json`;
+}

package/dist/core/events/v3/clock-order.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Producer-side wall-clock ordering for V3 events.
+ *
+ * The canonical reader fails closed on an unmarked wall-clock regression
+ * (`wall_clock_regression_unmarked`). Once one row carries an `observed_at`
+ * earlier than the previous row on the same `clock_id`, the whole authority
+ * stops validating and no later generation can be minted, so every live agent
+ * disappears from coordination at once.
+ *
+ * Producers already drop a regressing `monotonic_ns`. Wall clock had no
+ * equivalent, so two events stamped microseconds apart inside one hook
+ * invocation could darken the ledger: on 2026-08-19 a `tool.completed`
+ * observed at `19:39:36.078Z` was followed by the `turn.completed` it caused,
+ * observed at `19:39:36.077Z`.
+ *
+ * Rewriting the timestamp is not an option — a producer must not manufacture
+ * history — so the row is marked instead. `skew: "regressed"` is the contract's
+ * own vocabulary for this, and the reader accepts a marked regression.
+ */
+/** The slice of a V3 event this rule reads and marks. */
+interface ClockOrderedEventV3 {
+    time: {
+        observed_at: string;
+        skew: "normal" | "regressed" | "unknown";
+    };
+}
+/**
+ * Mark `event` as regressed when its `observed_at` precedes the last one this
+ * producer stamped on the same clock. Unparseable or absent evidence leaves the
+ * event untouched: an unmarked row that never regressed stays unmarked.
+ */
+export declare function markObservedClockRegressionV3(event: ClockOrderedEventV3, lastObservedAt: string | undefined): void;
+export {};
+//# sourceMappingURL=clock-order.d.ts.map

package/dist/core/events/v3/clock-order.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"clock-order.d.ts","sourceRoot":"","sources":["../../../../src/core/events/v3/clock-order.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,yDAAyD;AACzD,UAAU,mBAAmB;IAC3B,IAAI,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,QAAQ,GAAG,WAAW,GAAG,SAAS,CAAA;KAAE,CAAC;CACzE;AAED;;;;GAIG;AACH,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,mBAAmB,EAC1B,cAAc,EAAE,MAAM,GAAG,SAAS,GACjC,IAAI,CAON"}

package/dist/core/events/v3/clock-order.js

@@ -0,0 +1,35 @@
+/**
+ * Producer-side wall-clock ordering for V3 events.
+ *
+ * The canonical reader fails closed on an unmarked wall-clock regression
+ * (`wall_clock_regression_unmarked`). Once one row carries an `observed_at`
+ * earlier than the previous row on the same `clock_id`, the whole authority
+ * stops validating and no later generation can be minted, so every live agent
+ * disappears from coordination at once.
+ *
+ * Producers already drop a regressing `monotonic_ns`. Wall clock had no
+ * equivalent, so two events stamped microseconds apart inside one hook
+ * invocation could darken the ledger: on 2026-08-19 a `tool.completed`
+ * observed at `19:39:36.078Z` was followed by the `turn.completed` it caused,
+ * observed at `19:39:36.077Z`.
+ *
+ * Rewriting the timestamp is not an option — a producer must not manufacture
+ * history — so the row is marked instead. `skew: "regressed"` is the contract's
+ * own vocabulary for this, and the reader accepts a marked regression.
+ */
+/**
+ * Mark `event` as regressed when its `observed_at` precedes the last one this
+ * producer stamped on the same clock. Unparseable or absent evidence leaves the
+ * event untouched: an unmarked row that never regressed stays unmarked.
+ */
+export function markObservedClockRegressionV3(event, lastObservedAt) {
+    if (!lastObservedAt)
+        return;
+    const observed = Date.parse(event.time.observed_at);
+    const prior = Date.parse(lastObservedAt);
+    if (!Number.isFinite(observed) || !Number.isFinite(prior))
+        return;
+    if (observed >= prior)
+        return;
+    event.time.skew = "regressed";
+}

package/dist/core/events/v3/contract.d.ts

@@ -0,0 +1,171 @@
+import { type Static, type TObject, type TProperties } from "@sinclair/typebox";
+import { type EventOfTypeV3Base, type EventTypeV3Base, type EventV3Base, ObservationV3BaseSchema } from "./base-contract.js";
+export declare const EVENT_V3_CONTRACT_NAME: "harnery.event";
+export declare const EVENT_V3_CONTRACT_MAJOR: 3;
+export declare const EVENT_V3_SCHEMA_ID = "https://harnery.com/schemas/event-v3.schema.json";
+export declare const ObservationV3Schema: typeof ObservationV3BaseSchema;
+export declare const OutcomeV3Schema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"succeeded">, import("@sinclair/typebox").TLiteral<"failed">, import("@sinclair/typebox").TLiteral<"cancelled">, import("@sinclair/typebox").TLiteral<"timed_out">, import("@sinclair/typebox").TLiteral<"denied">, import("@sinclair/typebox").TLiteral<"interrupted">, import("@sinclair/typebox").TLiteral<"unknown">]>;
+export declare const RecoveryV3Schema: TObject<{
+    reason: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"request_not_observed">, import("@sinclair/typebox").TLiteral<"completion_not_observed_before_turn_end">, import("@sinclair/typebox").TLiteral<"completion_not_observed_before_next_turn">, import("@sinclair/typebox").TLiteral<"span_cap_pressure">, import("@sinclair/typebox").TLiteral<"explicit_end_salvage">, import("@sinclair/typebox").TLiteral<"command_completion_not_observed">]>;
+    requested_event_id: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    elapsed_upper_bound_ms: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TUnion<[TObject<{
+        state: import("@sinclair/typebox").TLiteral<"observed">;
+        value: import("@sinclair/typebox").TInteger;
+        attestation: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"native">, import("@sinclair/typebox").TLiteral<"derived">, import("@sinclair/typebox").TLiteral<"inferred">]>;
+        confidence: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"exact">, import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+    }>, TObject<{
+        state: import("@sinclair/typebox").TLiteral<"unsupported">;
+        capability: import("@sinclair/typebox").TString;
+    }>, TObject<{
+        state: import("@sinclair/typebox").TLiteral<"expected_but_missing">;
+        capability: import("@sinclair/typebox").TString;
+        reason: import("@sinclair/typebox").TString;
+    }>, TObject<{
+        state: import("@sinclair/typebox").TLiteral<"redacted">;
+        reason: import("@sinclair/typebox").TString;
+    }>, TObject<{
+        state: import("@sinclair/typebox").TLiteral<"unknown">;
+        reason: import("@sinclair/typebox").TString;
+    }>, TObject<{
+        state: import("@sinclair/typebox").TLiteral<"not_applicable">;
+    }>]>>;
+}>;
+declare const ContractV3Schema: TObject<{
+    name: import("@sinclair/typebox").TLiteral<"harnery.event">;
+    major: import("@sinclair/typebox").TLiteral<3>;
+    schema_digest: import("@sinclair/typebox").TString;
+}>;
+export declare const SpanSummaryV3Schema: TObject<{
+    span_id: import("@sinclair/typebox").TString;
+    parent_span_id: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    opened_at: import("@sinclair/typebox").TString;
+    duration_ms: import("@sinclair/typebox").TUnion<[TObject<{
+        state: import("@sinclair/typebox").TLiteral<"observed">;
+        value: import("@sinclair/typebox").TInteger;
+        attestation: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"native">, import("@sinclair/typebox").TLiteral<"derived">, import("@sinclair/typebox").TLiteral<"inferred">]>;
+        confidence: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"exact">, import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+    }>, TObject<{
+        state: import("@sinclair/typebox").TLiteral<"unsupported">;
+        capability: import("@sinclair/typebox").TString;
+    }>, TObject<{
+        state: import("@sinclair/typebox").TLiteral<"expected_but_missing">;
+        capability: import("@sinclair/typebox").TString;
+        reason: import("@sinclair/typebox").TString;
+    }>, TObject<{
+        state: import("@sinclair/typebox").TLiteral<"redacted">;
+        reason: import("@sinclair/typebox").TString;
+    }>, TObject<{
+        state: import("@sinclair/typebox").TLiteral<"unknown">;
+        reason: import("@sinclair/typebox").TString;
+    }>, TObject<{
+        state: import("@sinclair/typebox").TLiteral<"not_applicable">;
+    }>]>;
+    open_event_id: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+}>;
+export declare const TurnUsageV3Schema: TObject<{
+    input_tokens: import("@sinclair/typebox").TInteger;
+    output_tokens: import("@sinclair/typebox").TInteger;
+    cache_read_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TInteger>;
+    cache_write_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TInteger>;
+    method: import("@sinclair/typebox").TString;
+}>;
+export declare const TurnInferenceV3Schema: TObject<{
+    api_time_ms: import("@sinclair/typebox").TInteger;
+    request_count: import("@sinclair/typebox").TInteger;
+}>;
+export declare const TurnHarnessV3Schema: TObject<{
+    hook_time_ms: import("@sinclair/typebox").TInteger;
+    hook_count: import("@sinclair/typebox").TInteger;
+    slowest_hook: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    slowest_hook_ms: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TInteger>;
+}>;
+export declare const WaitKindV3Schema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"permission">, import("@sinclair/typebox").TLiteral<"needs_input">, import("@sinclair/typebox").TLiteral<"decision">, import("@sinclair/typebox").TLiteral<"approval">, import("@sinclair/typebox").TLiteral<"scheduled">, import("@sinclair/typebox").TLiteral<"rate_limit">, import("@sinclair/typebox").TLiteral<"unknown">]>;
+export declare const SessionEndedV3Schema: TObject<TProperties>;
+export declare const TurnCompletedV3Schema: TObject<TProperties>;
+export declare const ToolCompletedV3Schema: TObject<TProperties>;
+export declare const CommandCompletedV3Schema: TObject<TProperties>;
+export declare const AgentCompletedV3Schema: TObject<TProperties>;
+export declare const AgentStartedV3Schema: TObject<TProperties>;
+export declare const WaitStartedV3Schema: TObject<TProperties>;
+export declare const WaitEndedV3Schema: TObject<TProperties>;
+export declare const HealthCapabilityDriftV3Schema: TObject<TProperties>;
+export declare const EventV3Schema: import("@sinclair/typebox").TUnion<[...(TObject<TProperties> | TObject<{
+    contract: TObject<{
+        name: import("@sinclair/typebox").TLiteral<"harnery.event">;
+        major: import("@sinclair/typebox").TLiteral<3>;
+        schema_digest: import("@sinclair/typebox").TString;
+    }>;
+}>)[], TObject<TProperties>, TObject<TProperties>, TObject<TProperties>, TObject<TProperties>, TObject<TProperties>, TObject<TProperties>, TObject<TProperties>, TObject<TProperties>]>;
+export declare const EVENT_V3_CORE_EVENT_TYPES: readonly [...("session.started" | "session.ended" | "turn.started" | "turn.completed" | "agent.started" | "agent.completed" | "tool.requested" | "tool.completed" | "context.compaction_started" | "context.compaction_completed" | "ledger.genesis" | "ledger.activated" | "ledger.schema_advanced" | "ledger.comparability_advanced" | "session.attestation_changed" | "session.resumed" | "session.termination_observed" | "run.started" | "run.completed" | "command.started" | "command.output_observed" | "command.completed" | "context.observed" | "context.checkpointed" | "context.recovery_injected" | "agent.delegated" | "artifact.observed" | "progress.observed" | "coord.task_changed" | "coord.lifecycle_changed" | "coord.status_observed" | "coord.claim_changed" | "coord.presence_changed" | "coord.message_observed" | "coord.identity_attested" | "council.state_changed" | "decision.state_changed" | "lifecycle.recovered" | "lifecycle.sweep_observed" | "health.observed")[], "wait.started", "wait.ended", "health.capability_drift"];
+export type EventTypeV3 = (typeof EVENT_V3_CORE_EVENT_TYPES)[number];
+type ContractV3 = Static<typeof ContractV3Schema>;
+type WithContractV3<T> = T extends object ? Omit<T, "contract"> & {
+    contract: ContractV3;
+} : never;
+type ReplaceEventV3<T extends EventTypeV3Base, U extends EventTypeV3, P> = Omit<WithContractV3<EventOfTypeV3Base<T>>, "event_type" | "payload"> & {
+    event_type: U;
+    payload: P;
+};
+type SpanSummaryValueV3 = Static<typeof SpanSummaryV3Schema>;
+type SessionEndedEventV3 = ReplaceEventV3<"session.ended", "session.ended", EventOfTypeV3Base<"session.ended">["payload"] & {
+    span: SpanSummaryValueV3;
+}>;
+type TurnCompletedEventV3 = ReplaceEventV3<"turn.completed", "turn.completed", EventOfTypeV3Base<"turn.completed">["payload"] & {
+    span: SpanSummaryValueV3;
+    usage: Static<ReturnType<typeof ObservationV3Schema<typeof TurnUsageV3Schema>>>;
+    inference: Static<ReturnType<typeof ObservationV3Schema<typeof TurnInferenceV3Schema>>>;
+    harness: Static<ReturnType<typeof ObservationV3Schema<typeof TurnHarnessV3Schema>>>;
+}>;
+type ToolCompletedEventV3 = ReplaceEventV3<"tool.completed", "tool.completed", Omit<EventOfTypeV3Base<"tool.completed">["payload"], "duration_ms"> & {
+    duration_ms: SpanSummaryValueV3["duration_ms"];
+    span: SpanSummaryValueV3;
+}>;
+type CommandCompletedEventV3 = ReplaceEventV3<"command.completed", "command.completed", Omit<EventOfTypeV3Base<"command.completed">["payload"], "duration_ms"> & {
+    duration_ms: SpanSummaryValueV3["duration_ms"];
+    span: SpanSummaryValueV3;
+}>;
+type AgentStartedEventV3 = Omit<WithContractV3<EventOfTypeV3Base<"agent.started">>, "links"> & {
+    links: EventOfTypeV3Base<"agent.started">["links"] & {
+        span_id: `span_${string}`;
+        parent_span_id: `span_${string}`;
+    };
+};
+type AgentCompletedEventV3 = ReplaceEventV3<"agent.completed", "agent.completed", EventOfTypeV3Base<"agent.completed">["payload"] & {
+    span: SpanSummaryValueV3;
+}>;
+type WaitStartedEventV3 = ReplaceEventV3<"wait.started", "wait.started", {
+    wait_id: string;
+    kind: Static<typeof WaitKindV3Schema>;
+    authority_reference?: string;
+    wake_at?: string;
+}>;
+type WaitEndedEventV3 = ReplaceEventV3<"wait.ended", "wait.ended", EventOfTypeV3Base<"wait.ended">["payload"] & {
+    span: SpanSummaryValueV3;
+}>;
+type HealthCapabilityDriftEventV3 = ReplaceEventV3<"health.observed", "health.capability_drift", {
+    signal: string;
+    promised: "native" | "derived" | "conditional";
+    expected_count: number;
+    observed_count: number;
+    generation_ended: boolean;
+}>;
+export type EventOfTypeV3<T extends EventTypeV3> = T extends "session.ended" ? SessionEndedEventV3 : T extends "turn.completed" ? TurnCompletedEventV3 : T extends "tool.completed" ? ToolCompletedEventV3 : T extends "command.completed" ? CommandCompletedEventV3 : T extends "agent.started" ? AgentStartedEventV3 : T extends "agent.completed" ? AgentCompletedEventV3 : T extends "wait.started" ? WaitStartedEventV3 : T extends "wait.ended" ? WaitEndedEventV3 : T extends "health.capability_drift" ? HealthCapabilityDriftEventV3 : T extends EventTypeV3Base ? WithContractV3<EventOfTypeV3Base<T>> : never;
+/**
+ * TypeBox cannot preserve the discriminated union through the generated
+ * schema-branch spread above. Rebuild the static union from the authoritative
+ * event-type map so producer and projection code retains event narrowing.
+ */
+type ReplacedEventTypeV3Base = "session.ended" | "turn.completed" | "tool.completed" | "command.completed" | "agent.started" | "agent.completed" | "wait.started" | "wait.ended";
+type UnchangedEventV3 = WithContractV3<Exclude<EventV3Base, {
+    event_type: ReplacedEventTypeV3Base;
+}>>;
+export type EventV3 = UnchangedEventV3 | SessionEndedEventV3 | TurnCompletedEventV3 | ToolCompletedEventV3 | CommandCompletedEventV3 | AgentStartedEventV3 | AgentCompletedEventV3 | WaitStartedEventV3 | WaitEndedEventV3 | HealthCapabilityDriftEventV3;
+export type EventPayloadV3<T extends EventTypeV3> = EventOfTypeV3<T>["payload"];
+export type SpanSummaryV3 = Static<typeof SpanSummaryV3Schema>;
+export type TurnUsageV3 = Static<typeof TurnUsageV3Schema>;
+export type TurnInferenceV3 = Static<typeof TurnInferenceV3Schema>;
+export type TurnHarnessV3 = Static<typeof TurnHarnessV3Schema>;
+export type WaitKindV3 = Static<typeof WaitKindV3Schema>;
+export type RuntimeAttestationV3 = EventPayloadV3<"session.started">["runtime_attestation"];
+export {};
+//# sourceMappingURL=contract.d.ts.map

package/dist/core/events/v3/contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../../../src/core/events/v3/contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,OAAO,EAAE,KAAK,WAAW,EAAsB,MAAM,mBAAmB,CAAC;AACpG,OAAO,EAEL,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,WAAW,EAEhB,uBAAuB,EAGxB,MAAM,oBAAoB,CAAC;AAE5B,eAAO,MAAM,sBAAsB,EAAG,eAAwB,CAAC;AAC/D,eAAO,MAAM,uBAAuB,EAAG,CAAU,CAAC;AAClD,eAAO,MAAM,kBAAkB,qDAAqD,CAAC;AAarF,eAAO,MAAM,mBAAmB,gCAA0B,CAAC;AAC3D,eAAO,MAAM,eAAe,qYAAsB,CAAC;AACnD,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;EAAuB,CAAC;AAErD,QAAA,MAAM,gBAAgB;;;;EAIpB,CAAC;AAEH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;EAM9B,CAAC;AAEH,eAAO,MAAM,iBAAiB;;;;;;EAM5B,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;EAGhC,CAAC;AAEH,eAAO,MAAM,mBAAmB;;;;;EAK9B,CAAC;AAEH,eAAO,MAAM,gBAAgB,2YAQ3B,CAAC;AAwCH,eAAO,MAAM,oBAAoB,sBAE/B,CAAC;AAEH,eAAO,MAAM,qBAAqB,sBAMhC,CAAC;AAEH,eAAO,MAAM,qBAAqB,sBAEhC,CAAC;AAEH,eAAO,MAAM,wBAAwB,sBAInC,CAAC;AAEH,eAAO,MAAM,sBAAsB,sBAEjC,CAAC;AAWH,eAAO,MAAM,oBAAoB,sBAE/B,CAAC;AAEH,eAAO,MAAM,mBAAmB,sBAQ9B,CAAC;AAEH,eAAO,MAAM,iBAAiB,sBAG5B,CAAC;AAEH,eAAO,MAAM,6BAA6B,sBAaxC,CAAC;AA0BH,eAAO,MAAM,aAAa;;;;;;uLAazB,CAAC;AAEF,eAAO,MAAM,yBAAyB,mgCAO5B,CAAC;AAEX,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC;AACrE,KAAK,UAAU,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAClD,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG;IAAE,QAAQ,EAAE,UAAU,CAAA;CAAE,GAAG,KAAK,CAAC;AACnG,KAAK,cAAc,CAAC,CAAC,SAAS,eAAe,EAAE,CAAC,SAAS,WAAW,EAAE,CAAC,IAAI,IAAI,CAC7E,cAAc,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EACpC,YAAY,GAAG,SAAS,CACzB,GAAG;IACF,UAAU,EAAE,CAAC,CAAC;IACd,OAAO,EAAE,CAAC,CAAC;CACZ,CAAC;AACF,KAAK,kBAAkB,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAC7D,KAAK,mBAAmB,GAAG,cAAc,CACvC,eAAe,EACf,eAAe,EACf,iBAAiB,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,GAAG;IAAE,IAAI,EAAE,kBAAkB,CAAA;CAAE,CAC7E,CAAC;AACF,KAAK,oBAAoB,GAAG,cAAc,CACxC,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,CAAC,gBAAgB,CAAC,CAAC,SAAS,CAAC,GAAG;IAC/C,IAAI,EAAE,kBAAkB,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,OAAO,mBAAmB,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAChF,SAAS,EAAE,MAAM,CAAC,UAAU,CAAC,OAAO,mBAAmB,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC,CAAC;IACxF,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,OAAO,mBAAmB,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC,CAAC;CACrF,CACF,CAAC;AACF,KAAK,oBAAoB,GAAG,cAAc,CACxC,gBAAgB,EAChB,gBAAgB,EAChB,IAAI,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC,GAAG;IACpE,WAAW,EAAE,kBAAkB,CAAC,aAAa,CAAC,CAAC;IAC/C,IAAI,EAAE,kBAAkB,CAAC;CAC1B,CACF,CAAC;AACF,KAAK,uBAAuB,GAAG,cAAc,CAC3C,mBAAmB,EACnB,mBAAmB,EACnB,IAAI,CAAC,iBAAiB,CAAC,mBAAmB,CAAC,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC,GAAG;IACvE,WAAW,EAAE,kBAAkB,CAAC,aAAa,CAAC,CAAC;IAC/C,IAAI,EAAE,kBAAkB,CAAC;CAC1B,CACF,CAAC;AACF,KAAK,mBAAmB,GAAG,IAAI,CAAC,cAAc,CAAC,iBAAiB,CAAC,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG;IAC7F,KAAK,EAAE,iBAAiB,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,GAAG;QACnD,OAAO,EAAE,QAAQ,MAAM,EAAE,CAAC;QAC1B,cAAc,EAAE,QAAQ,MAAM,EAAE,CAAC;KAClC,CAAC;CACH,CAAC;AACF,KAAK,qBAAqB,GAAG,cAAc,CACzC,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,CAAC,iBAAiB,CAAC,CAAC,SAAS,CAAC,GAAG;IAAE,IAAI,EAAE,kBAAkB,CAAA;CAAE,CAC/E,CAAC;AACF,KAAK,kBAAkB,GAAG,cAAc,CACtC,cAAc,EACd,cAAc,EACd;IACE,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAC;IACtC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CACF,CAAC;AACF,KAAK,gBAAgB,GAAG,cAAc,CACpC,YAAY,EACZ,YAAY,EACZ,iBAAiB,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,GAAG;IAAE,IAAI,EAAE,kBAAkB,CAAA;CAAE,CAC1E,CAAC;AACF,KAAK,4BAA4B,GAAG,cAAc,CAChD,iBAAiB,EACjB,yBAAyB,EACzB;IACE,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAAG,aAAa,CAAC;IAC/C,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,EAAE,OAAO,CAAC;CAC3B,CACF,CAAC;AACF,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,eAAe,GACxE,mBAAmB,GACnB,CAAC,SAAS,gBAAgB,GACxB,oBAAoB,GACpB,CAAC,SAAS,gBAAgB,GACxB,oBAAoB,GACpB,CAAC,SAAS,mBAAmB,GAC3B,uBAAuB,GACvB,CAAC,SAAS,eAAe,GACvB,mBAAmB,GACnB,CAAC,SAAS,iBAAiB,GACzB,qBAAqB,GACrB,CAAC,SAAS,cAAc,GACtB,kBAAkB,GAClB,CAAC,SAAS,YAAY,GACpB,gBAAgB,GAChB,CAAC,SAAS,yBAAyB,GACjC,4BAA4B,GAC5B,CAAC,SAAS,eAAe,GACvB,cAAc,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GACpC,KAAK,CAAC;AAC5B;;;;GAIG;AACH,KAAK,uBAAuB,GACxB,eAAe,GACf,gBAAgB,GAChB,gBAAgB,GAChB,mBAAmB,GACnB,eAAe,GACf,iBAAiB,GACjB,cAAc,GACd,YAAY,CAAC;AACjB,KAAK,gBAAgB,GAAG,cAAc,CACpC,OAAO,CAAC,WAAW,EAAE;IAAE,UAAU,EAAE,uBAAuB,CAAA;CAAE,CAAC,CAC9D,CAAC;AACF,MAAM,MAAM,OAAO,GACf,gBAAgB,GAChB,mBAAmB,GACnB,oBAAoB,GACpB,oBAAoB,GACpB,uBAAuB,GACvB,mBAAmB,GACnB,qBAAqB,GACrB,kBAAkB,GAClB,gBAAgB,GAChB,4BAA4B,CAAC;AACjC,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,WAAW,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAChF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAC/D,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAC3D,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAC;AACnE,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAC/D,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAC;AACzD,MAAM,MAAM,oBAAoB,GAAG,cAAc,CAAC,iBAAiB,CAAC,CAAC,qBAAqB,CAAC,CAAC"}