harnery 0.32.0 → 0.34.0

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

@@ -0,0 +1,180 @@
+import { Type } from "@sinclair/typebox";
+import { EVENT_V3_BASE_CORE_EVENT_TYPES, EventV3BaseSchema, ObservationV3BaseSchema, OutcomeV3BaseSchema, RecoveryV3BaseSchema, } from "./base-contract.js";
+export const EVENT_V3_CONTRACT_NAME = "harnery.event";
+export const EVENT_V3_CONTRACT_MAJOR = 3;
+export const EVENT_V3_SCHEMA_ID = "https://harnery.com/schemas/event-v3.schema.json";
+const StrictObject = (properties) => Type.Object(properties, { additionalProperties: false });
+const SafeToken = Type.String({ pattern: "^[a-zA-Z0-9][a-zA-Z0-9._:/+-]{0,127}$" });
+const Timestamp = Type.String({
+    pattern: "^\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}\\.\\d{3}Z$",
+});
+const Sha256 = Type.String({ pattern: "^sha256:[a-f0-9]{64}$" });
+const uuidV7Pattern = "[0-9a-f]{8}-[0-9a-f]{4}-7[0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}";
+const EventId = Type.String({ pattern: `^evt_${uuidV7Pattern}$` });
+const SpanId = Type.String({ pattern: `^span_${uuidV7Pattern}$` });
+export const ObservationV3Schema = ObservationV3BaseSchema;
+export const OutcomeV3Schema = OutcomeV3BaseSchema;
+export const RecoveryV3Schema = RecoveryV3BaseSchema;
+const ContractV3Schema = StrictObject({
+    name: Type.Literal(EVENT_V3_CONTRACT_NAME),
+    major: Type.Literal(EVENT_V3_CONTRACT_MAJOR),
+    schema_digest: Sha256,
+});
+export const SpanSummaryV3Schema = StrictObject({
+    span_id: SpanId,
+    parent_span_id: Type.Optional(SpanId),
+    opened_at: Timestamp,
+    duration_ms: ObservationV3Schema(Type.Integer({ minimum: 0 })),
+    open_event_id: Type.Optional(EventId),
+});
+export const TurnUsageV3Schema = StrictObject({
+    input_tokens: Type.Integer({ minimum: 0 }),
+    output_tokens: Type.Integer({ minimum: 0 }),
+    cache_read_tokens: Type.Optional(Type.Integer({ minimum: 0 })),
+    cache_write_tokens: Type.Optional(Type.Integer({ minimum: 0 })),
+    method: SafeToken,
+});
+export const TurnInferenceV3Schema = StrictObject({
+    api_time_ms: Type.Integer({ minimum: 0 }),
+    request_count: Type.Integer({ minimum: 0 }),
+});
+export const TurnHarnessV3Schema = StrictObject({
+    hook_time_ms: Type.Integer({ minimum: 0 }),
+    hook_count: Type.Integer({ minimum: 0 }),
+    slowest_hook: Type.Optional(SafeToken),
+    slowest_hook_ms: Type.Optional(Type.Integer({ minimum: 0 })),
+});
+export const WaitKindV3Schema = Type.Union([
+    Type.Literal("permission"),
+    Type.Literal("needs_input"),
+    Type.Literal("decision"),
+    Type.Literal("approval"),
+    Type.Literal("scheduled"),
+    Type.Literal("rate_limit"),
+    Type.Literal("unknown"),
+]);
+const baseBranches = EventV3BaseSchema.anyOf;
+function baseBranch(eventType) {
+    const branch = baseBranches.find(({ properties }) => properties.event_type.const === eventType);
+    if (!branch)
+        throw new Error(`V3Base event schema missing: ${eventType}`);
+    return branch;
+}
+function basePayload(eventType) {
+    return baseBranch(eventType).properties.payload;
+}
+function eventV3(priorEventType, options = {}) {
+    const prior = baseBranch(priorEventType);
+    const eventType = options.eventType ?? priorEventType;
+    return StrictObject({
+        ...prior.properties,
+        contract: ContractV3Schema,
+        event_type: Type.Literal(eventType),
+        links: options.links ?? prior.properties.links,
+        payload: options.payload ?? prior.properties.payload,
+    });
+}
+function terminalPayloadV3(eventType, additions = {}) {
+    const prior = basePayload(eventType);
+    return StrictObject({
+        ...prior.properties,
+        ...additions,
+        span: SpanSummaryV3Schema,
+    });
+}
+export const SessionEndedV3Schema = eventV3("session.ended", {
+    payload: terminalPayloadV3("session.ended"),
+});
+export const TurnCompletedV3Schema = eventV3("turn.completed", {
+    payload: terminalPayloadV3("turn.completed", {
+        usage: ObservationV3Schema(TurnUsageV3Schema),
+        inference: ObservationV3Schema(TurnInferenceV3Schema),
+        harness: ObservationV3Schema(TurnHarnessV3Schema),
+    }),
+});
+export const ToolCompletedV3Schema = eventV3("tool.completed", {
+    payload: terminalPayloadV3("tool.completed"),
+});
+export const CommandCompletedV3Schema = eventV3("command.completed", {
+    payload: terminalPayloadV3("command.completed", {
+        duration_ms: ObservationV3Schema(Type.Integer({ minimum: 0 })),
+    }),
+});
+export const AgentCompletedV3Schema = eventV3("agent.completed", {
+    payload: terminalPayloadV3("agent.completed"),
+});
+const AgentStartedLinksV3Schema = (() => {
+    const prior = baseBranch("agent.started").properties.links;
+    return StrictObject({
+        ...prior.properties,
+        span_id: SpanId,
+        parent_span_id: SpanId,
+    });
+})();
+export const AgentStartedV3Schema = eventV3("agent.started", {
+    links: AgentStartedLinksV3Schema,
+});
+export const WaitStartedV3Schema = eventV3("wait.started", {
+    eventType: "wait.started",
+    payload: StrictObject({
+        wait_id: SafeToken,
+        kind: WaitKindV3Schema,
+        authority_reference: Type.Optional(SafeToken),
+        wake_at: Type.Optional(Timestamp),
+    }),
+});
+export const WaitEndedV3Schema = eventV3("wait.ended", {
+    eventType: "wait.ended",
+    payload: terminalPayloadV3("wait.ended"),
+});
+export const HealthCapabilityDriftV3Schema = eventV3("health.observed", {
+    eventType: "health.capability_drift",
+    payload: StrictObject({
+        signal: SafeToken,
+        promised: Type.Union([
+            Type.Literal("native"),
+            Type.Literal("derived"),
+            Type.Literal("conditional"),
+        ]),
+        expected_count: Type.Integer({ minimum: 0 }),
+        observed_count: Type.Integer({ minimum: 0 }),
+        generation_ended: Type.Boolean(),
+    }),
+});
+const replacedBaseTypes = new Set([
+    "session.ended",
+    "turn.completed",
+    "tool.completed",
+    "command.completed",
+    "agent.completed",
+    "wait.started",
+    "wait.ended",
+]);
+const unchangedV3Schemas = baseBranches
+    .filter(({ properties }) => !replacedBaseTypes.has(properties.event_type.const))
+    .map(({ properties }) => {
+    const eventType = properties.event_type.const;
+    return eventType === "agent.started"
+        ? AgentStartedV3Schema
+        : StrictObject({
+            ...properties,
+            contract: ContractV3Schema,
+        });
+});
+export const EventV3Schema = Type.Union([
+    ...unchangedV3Schemas,
+    SessionEndedV3Schema,
+    TurnCompletedV3Schema,
+    ToolCompletedV3Schema,
+    CommandCompletedV3Schema,
+    AgentCompletedV3Schema,
+    WaitStartedV3Schema,
+    WaitEndedV3Schema,
+    HealthCapabilityDriftV3Schema,
+], { $id: EVENT_V3_SCHEMA_ID });
+export const EVENT_V3_CORE_EVENT_TYPES = [
+    ...EVENT_V3_BASE_CORE_EVENT_TYPES.filter((eventType) => eventType !== "wait.started" && eventType !== "wait.ended"),
+    "wait.started",
+    "wait.ended",
+    "health.capability_drift",
+];

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

@@ -0,0 +1,111 @@
+import type { EventV3 } from "./contract.js";
+export declare const EVENT_V3_GENESIS_MANIFEST: ".harnery/ledgers/v3/genesis.json";
+export declare const EVENT_V3_ACTIVATION_MANIFEST: ".harnery/ledgers/v3/activation.json";
+type GenesisEventV3 = Extract<EventV3, {
+    event_type: "ledger.genesis";
+}>;
+type ActivationEventV3 = Extract<EventV3, {
+    event_type: "ledger.activated";
+}>;
+export interface CandidateProfileV3 {
+    initial_schema_digest: `sha256:${string}`;
+    contract_source_digest: `sha256:${string}`;
+    harnery_commit: string;
+    host_repository_commit: string;
+    producer_build_ids: string[];
+    adapter_capability_profile_digests: string[];
+    config_digest: `sha256:${string}`;
+    canonicalizer_version: "harnery-jcs-nfc-v1";
+    fingerprint_version: string;
+    privacy_key_epoch: `pep_${string}`;
+    candidate_created_at: string;
+}
+export interface CandidateGenesisManifestV3 {
+    manifest_version: 1;
+    kind: "candidate_genesis";
+    profile: CandidateProfileV3;
+    event: GenesisEventV3;
+}
+export interface ActivationManifestV3 {
+    manifest_version: 1;
+    kind: "activation";
+    activation_id: `act_${string}`;
+    genesis_id: `gex_${string}`;
+    candidate_manifest_digest: `sha256:${string}`;
+    approval_record_id: string;
+    activation_approved_at: string;
+    event: ActivationEventV3;
+}
+export interface ControlProducerV3 {
+    producer_id: `prd_${string}`;
+    boot_id: `boot_${string}`;
+    sequence: number;
+    build_id: `build_${string}`;
+    platform: "linux" | "windows" | "macos" | "unknown";
+    bridge?: "codex-wsl";
+}
+export interface BuildCandidateGenesisManifestV3Input {
+    profile: CandidateProfileV3;
+    root_id: `root_${string}`;
+    instance_id: `inst_${string}`;
+    producer: ControlProducerV3;
+    genesis_id?: `gex_${string}`;
+    event_id?: `evt_${string}`;
+}
+export interface BuildActivationManifestV3Input {
+    candidate: CandidateGenesisManifestV3;
+    approval_record_id: string;
+    activation_approved_at: string;
+    producer: ControlProducerV3;
+    activation_id?: `act_${string}`;
+    event_id?: `evt_${string}`;
+}
+export type ControlManifestValidationV3<T> = {
+    ok: true;
+    value: T;
+} | {
+    ok: false;
+    reason: string;
+};
+export type EventV3ControlState = {
+    state: "closed";
+    reason: "no_candidate";
+} | {
+    state: "repairable";
+    reason: "genesis_event_missing" | "activation_event_missing";
+    genesis: CandidateGenesisManifestV3;
+    activation?: ActivationManifestV3;
+} | {
+    state: "candidate";
+    genesis: CandidateGenesisManifestV3;
+    candidate_manifest_digest: `sha256:${string}`;
+} | {
+    state: "active";
+    genesis: CandidateGenesisManifestV3;
+    activation: ActivationManifestV3;
+    candidate_manifest_digest: `sha256:${string}`;
+} | {
+    state: "invalid";
+    reason: string;
+};
+export type EventV3WriteMode = "candidate" | "active";
+/** Build a complete immutable candidate packet without writing it or opening a gate. */
+export declare function buildCandidateGenesisManifestV3(input: BuildCandidateGenesisManifestV3Input): CandidateGenesisManifestV3;
+/** Build an approval-bound activation packet without writing it or opening a gate. */
+export declare function buildActivationManifestV3(input: BuildActivationManifestV3Input): ActivationManifestV3;
+/** Validate an in-memory candidate with the same strict rules as the live gate. */
+export declare function validateCandidateGenesisManifestV3(value: unknown): ControlManifestValidationV3<CandidateGenesisManifestV3>;
+/** Validate an in-memory activation against one exact candidate packet. */
+export declare function validateActivationManifestV3(value: unknown, candidate: CandidateGenesisManifestV3): ControlManifestValidationV3<ActivationManifestV3>;
+/**
+ * Resolve the session/evidence gate from exact control-file and ledger-event pairs.
+ * This function never repairs or creates state. Any ambiguity keeps the gate closed.
+ */
+export declare function readEventV3ControlState(coordRoot: string): EventV3ControlState;
+export declare function eventV3WriteGateOpen(coordRoot: string, mode: EventV3WriteMode): boolean;
+/** Repair only a manifest-first crash by appending the exact pre-minted event. */
+export declare function repairEventV3ControlPair(coordRoot: string): EventV3ControlState;
+export declare function candidateProfileDigestV3(profile: CandidateProfileV3): `sha256:${string}`;
+export declare function candidateManifestDigestV3(manifest: CandidateGenesisManifestV3): `sha256:${string}`;
+export {};
+//# sourceMappingURL=control.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"control.d.ts","sourceRoot":"","sources":["../../../../src/core/events/v3/control.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAO7C,eAAO,MAAM,yBAAyB,EAAG,kCAA2C,CAAC;AACrF,eAAO,MAAM,4BAA4B,EAAG,qCAA8C,CAAC;AAE3F,KAAK,cAAc,GAAG,OAAO,CAAC,OAAO,EAAE;IAAE,UAAU,EAAE,gBAAgB,CAAA;CAAE,CAAC,CAAC;AACzE,KAAK,iBAAiB,GAAG,OAAO,CAAC,OAAO,EAAE;IAAE,UAAU,EAAE,kBAAkB,CAAA;CAAE,CAAC,CAAC;AAE9E,MAAM,WAAW,kBAAkB;IACjC,qBAAqB,EAAE,UAAU,MAAM,EAAE,CAAC;IAC1C,sBAAsB,EAAE,UAAU,MAAM,EAAE,CAAC;IAC3C,cAAc,EAAE,MAAM,CAAC;IACvB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,kCAAkC,EAAE,MAAM,EAAE,CAAC;IAC7C,aAAa,EAAE,UAAU,MAAM,EAAE,CAAC;IAClC,qBAAqB,EAAE,oBAAoB,CAAC;IAC5C,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,OAAO,MAAM,EAAE,CAAC;IACnC,oBAAoB,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,0BAA0B;IACzC,gBAAgB,EAAE,CAAC,CAAC;IACpB,IAAI,EAAE,mBAAmB,CAAC;IAC1B,OAAO,EAAE,kBAAkB,CAAC;IAC5B,KAAK,EAAE,cAAc,CAAC;CACvB;AAED,MAAM,WAAW,oBAAoB;IACnC,gBAAgB,EAAE,CAAC,CAAC;IACpB,IAAI,EAAE,YAAY,CAAC;IACnB,aAAa,EAAE,OAAO,MAAM,EAAE,CAAC;IAC/B,UAAU,EAAE,OAAO,MAAM,EAAE,CAAC;IAC5B,yBAAyB,EAAE,UAAU,MAAM,EAAE,CAAC;IAC9C,kBAAkB,EAAE,MAAM,CAAC;IAC3B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,KAAK,EAAE,iBAAiB,CAAC;CAC1B;AAED,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,OAAO,MAAM,EAAE,CAAC;IAC7B,OAAO,EAAE,QAAQ,MAAM,EAAE,CAAC;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,CAAC;IACpD,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED,MAAM,WAAW,oCAAoC;IACnD,OAAO,EAAE,kBAAkB,CAAC;IAC5B,OAAO,EAAE,QAAQ,MAAM,EAAE,CAAC;IAC1B,WAAW,EAAE,QAAQ,MAAM,EAAE,CAAC;IAC9B,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,UAAU,CAAC,EAAE,OAAO,MAAM,EAAE,CAAC;IAC7B,QAAQ,CAAC,EAAE,OAAO,MAAM,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,8BAA8B;IAC7C,SAAS,EAAE,0BAA0B,CAAC;IACtC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,aAAa,CAAC,EAAE,OAAO,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,EAAE,OAAO,MAAM,EAAE,CAAC;CAC5B;AAED,MAAM,MAAM,2BAA2B,CAAC,CAAC,IAAI;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpG,MAAM,MAAM,mBAAmB,GAC3B;IAAE,KAAK,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,cAAc,CAAA;CAAE,GAC3C;IACE,KAAK,EAAE,YAAY,CAAC;IACpB,MAAM,EAAE,uBAAuB,GAAG,0BAA0B,CAAC;IAC7D,OAAO,EAAE,0BAA0B,CAAC;IACpC,UAAU,CAAC,EAAE,oBAAoB,CAAC;CACnC,GACD;IACE,KAAK,EAAE,WAAW,CAAC;IACnB,OAAO,EAAE,0BAA0B,CAAC;IACpC,yBAAyB,EAAE,UAAU,MAAM,EAAE,CAAC;CAC/C,GACD;IACE,KAAK,EAAE,QAAQ,CAAC;IAChB,OAAO,EAAE,0BAA0B,CAAC;IACpC,UAAU,EAAE,oBAAoB,CAAC;IACjC,yBAAyB,EAAE,UAAU,MAAM,EAAE,CAAC;CAC/C,GACD;IAAE,KAAK,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzC,MAAM,MAAM,gBAAgB,GAAG,WAAW,GAAG,QAAQ,CAAC;AAEtD,wFAAwF;AACxF,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,oCAAoC,GAC1C,0BAA0B,CAmC5B;AAED,sFAAsF;AACtF,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,8BAA8B,GACpC,oBAAoB,CAyCtB;AAED,mFAAmF;AACnF,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,OAAO,GACb,2BAA2B,CAAC,0BAA0B,CAAC,CAEzD;AAED,2EAA2E;AAC3E,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,OAAO,EACd,SAAS,EAAE,0BAA0B,GACpC,2BAA2B,CAAC,oBAAoB,CAAC,CAQnD;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,SAAS,EAAE,MAAM,GAAG,mBAAmB,CAmE9E;AAED,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAGvF;AAED,kFAAkF;AAClF,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,MAAM,GAAG,mBAAmB,CAW/E;AAED,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,kBAAkB,GAAG,UAAU,MAAM,EAAE,CAExF;AAED,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,0BAA0B,GACnC,UAAU,MAAM,EAAE,CAEpB"}