oh-my-super-agent 0.1.0

package/dist/src/github/types.d.ts

@@ -0,0 +1,134 @@
+export declare const GITHUB_OBSERVATION_KINDS: readonly ["issue", "comment", "label", "branch", "pull_request", "review", "check"];
+export type GithubObservationKind = (typeof GITHUB_OBSERVATION_KINDS)[number];
+export declare const GITHUB_SYNC_STREAMS: readonly ["issues", "branches", "pull_requests"];
+export type GithubSyncStream = (typeof GITHUB_SYNC_STREAMS)[number];
+export interface GithubObservationBase<Kind extends GithubObservationKind, Snapshot extends Record<string, unknown>> {
+    readonly schema_version: 1;
+    readonly observation_key: string;
+    readonly kind: Kind;
+    readonly repository: string;
+    readonly source_id_sha256: string;
+    readonly source_version: string;
+    readonly change: "present" | "removed";
+    readonly presence_generation: number;
+    readonly observed_at: string;
+    readonly payload_sha256: string;
+    readonly snapshot: Snapshot | GithubRemovalSnapshot;
+}
+export interface GithubRemovalSnapshot extends Record<string, unknown> {
+    readonly removed: true;
+    readonly previous_payload_sha256: string;
+    readonly presence_generation: number;
+}
+export interface GithubIssueSnapshot extends Record<string, unknown> {
+    readonly number: number;
+    readonly issue_node_id: string;
+    readonly title: string;
+    readonly body: string;
+    readonly labels: readonly string[];
+    readonly url: string;
+    readonly state: "OPEN" | "CLOSED";
+    readonly updated_at: string;
+}
+export interface GithubCommentSnapshot extends Record<string, unknown> {
+    readonly issue_number: number;
+    readonly body: string;
+    readonly url: string;
+    readonly author: string | null;
+    readonly created_at: string;
+    readonly updated_at: string;
+}
+export interface GithubLabelSnapshot extends Record<string, unknown> {
+    readonly issue_number: number;
+    readonly name: string;
+    readonly color: string;
+    readonly description: string | null;
+    readonly updated_at: string | null;
+}
+export interface GithubBranchSnapshot extends Record<string, unknown> {
+    readonly name: string;
+    readonly head_oid: string;
+}
+export interface GithubPullRequestSnapshot extends Record<string, unknown> {
+    readonly number: number;
+    readonly title: string;
+    readonly body: string;
+    readonly url: string;
+    readonly state: "OPEN" | "CLOSED" | "MERGED";
+    readonly is_draft: boolean;
+    readonly head_ref_name: string;
+    readonly head_oid: string;
+    readonly base_ref_name: string;
+    readonly updated_at: string;
+}
+export interface GithubReviewSnapshot extends Record<string, unknown> {
+    readonly pull_request_number: number;
+    readonly state: string;
+    readonly body: string;
+    readonly url: string;
+    readonly author: string | null;
+    readonly submitted_at: string | null;
+    readonly updated_at: string;
+}
+export interface GithubCheckSnapshot extends Record<string, unknown> {
+    readonly pull_request_number: number;
+    readonly commit_oid: string;
+    readonly check_type: "check_run" | "status_context";
+    readonly name: string;
+    readonly status: string;
+    readonly conclusion: string | null;
+    readonly url: string | null;
+    readonly started_at: string | null;
+    readonly completed_at: string | null;
+    readonly updated_at: string | null;
+}
+export interface GithubSnapshotByKind {
+    readonly issue: GithubIssueSnapshot;
+    readonly comment: GithubCommentSnapshot;
+    readonly label: GithubLabelSnapshot;
+    readonly branch: GithubBranchSnapshot;
+    readonly pull_request: GithubPullRequestSnapshot;
+    readonly review: GithubReviewSnapshot;
+    readonly check: GithubCheckSnapshot;
+}
+export type GithubObservationFor<Kind extends GithubObservationKind> = GithubObservationBase<Kind, GithubSnapshotByKind[Kind]>;
+export type GithubIssueObservation = GithubObservationFor<"issue">;
+export type GithubCommentObservation = GithubObservationFor<"comment">;
+export type GithubLabelObservation = GithubObservationFor<"label">;
+export type GithubBranchObservation = GithubObservationFor<"branch">;
+export type GithubPullRequestObservation = GithubObservationFor<"pull_request">;
+export type GithubReviewObservation = GithubObservationFor<"review">;
+export type GithubCheckObservation = GithubObservationFor<"check">;
+export type GithubObservation = GithubIssueObservation | GithubCommentObservation | GithubLabelObservation | GithubBranchObservation | GithubPullRequestObservation | GithubReviewObservation | GithubCheckObservation;
+export interface GithubStreamWatermark {
+    readonly page_count: number;
+    readonly terminal_cursor_sha256: string | null;
+}
+export interface GithubWatermark {
+    readonly schema_version: 1;
+    readonly repository: string;
+    readonly generation: number;
+    readonly completed_at: string;
+    readonly observation_count: number;
+    readonly batch_sha256: string;
+    readonly streams: Readonly<Record<GithubSyncStream, GithubStreamWatermark>>;
+    readonly inventory: readonly GithubInventoryEntry[];
+}
+export interface GithubInventoryEntry {
+    readonly observation_key: string;
+    readonly kind: GithubObservationKind;
+    readonly source_id_sha256: string;
+    readonly payload_sha256: string;
+    readonly presence_generation: number;
+}
+export interface GithubSyncBatch {
+    readonly repository: string;
+    readonly previous_watermark: GithubWatermark | null;
+    readonly proposed_watermark: GithubWatermark;
+    readonly observations: readonly GithubObservation[];
+}
+export interface GithubSyncResult {
+    readonly watermark: GithubWatermark;
+    readonly observations: readonly GithubObservation[];
+    readonly watermark_path: string;
+}

package/dist/src/github/types.js

@@ -0,0 +1,11 @@
+export const GITHUB_OBSERVATION_KINDS = [
+    "issue",
+    "comment",
+    "label",
+    "branch",
+    "pull_request",
+    "review",
+    "check",
+];
+export const GITHUB_SYNC_STREAMS = ["issues", "branches", "pull_requests"];
+//# sourceMappingURL=types.js.map

package/dist/src/github/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/github/types.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC,OAAO;IACP,SAAS;IACT,OAAO;IACP,QAAQ;IACR,cAAc;IACd,QAAQ;IACR,OAAO;CACC,CAAC;AAIX,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,eAAe,CAAU,CAAC"}

package/dist/src/goals/artifact-store.d.ts

@@ -0,0 +1,31 @@
+export type GoalArtifactKind = "native-goal-snapshot" | "regression-request" | "team-checkpoint" | "ultragoal-checkpoint";
+export interface GoalArtifactReference {
+    readonly kind: GoalArtifactKind;
+    readonly artifact_id: string;
+    readonly sha256: string;
+    readonly file_name: string;
+}
+export interface GoalArtifactRecord {
+    readonly schema_version: 1;
+    readonly artifact_id: string;
+    readonly artifact_kind: GoalArtifactKind;
+    readonly goal_id: string;
+    readonly producer: "codex-get-goal" | "oms-goal-authority" | "oms-team-projection" | "oms-ultragoal-leader";
+    readonly created_at: string;
+    readonly payload: Record<string, unknown>;
+}
+export interface GoalArtifactWriteResult {
+    readonly status: "created" | "replayed";
+    readonly ref: GoalArtifactReference;
+    readonly record: Readonly<GoalArtifactRecord>;
+}
+export interface GoalArtifactStore {
+    write(record: GoalArtifactRecord): GoalArtifactWriteResult;
+    read(ref: GoalArtifactReference): Readonly<GoalArtifactRecord>;
+    absolutePath(ref: GoalArtifactReference): string;
+}
+export declare function assertGoalArtifactStore(value: unknown): asserts value is GoalArtifactStore;
+export declare function createGoalArtifactStore(options: {
+    artifactsRoot: string;
+    packageRoot?: string;
+}): GoalArtifactStore;

package/dist/src/goals/artifact-store.js

@@ -0,0 +1,241 @@
+import { createHash } from "node:crypto";
+import { join } from "node:path";
+import { assertOpaqueId, assertRecordId } from "../domain/records.js";
+import { assertFileInside, openStableDirectory, readImmutableFile, writeImmutableFile, } from "../evidence/immutable-file.js";
+import { findPackageRoot } from "../package-root.js";
+import { assertSchema, loadJsonSchema } from "../runtime/schema.js";
+import { createStableId } from "../runtime/stable-id.js";
+import { validateTeamCheckpointSemantics } from "../team/projection.js";
+import { isRecord } from "../utils/fs.js";
+const MAX_ARTIFACT_BYTES = 2 * 1024 * 1024;
+const SHA256_PATTERN = /^[a-f0-9]{64}$/;
+const ARTIFACT_STORES = new WeakSet();
+export function assertGoalArtifactStore(value) {
+    if (typeof value !== "object" || value === null || !ARTIFACT_STORES.has(value)) {
+        throw new Error("goal operation requires a real OMS GoalArtifactStore");
+    }
+}
+export function createGoalArtifactStore(options) {
+    const root = openStableDirectory(options.artifactsRoot, "goal artifacts root");
+    const packageRoot = options.packageRoot ?? findPackageRoot();
+    const envelopeSchema = loadJsonSchema(join(packageRoot, "schemas", "goal-artifact.schema.json"));
+    const contracts = new Map([
+        ["native-goal-snapshot", {
+                producer: "codex-get-goal",
+                schema: loadJsonSchema(join(packageRoot, "schemas", "native-goal-snapshot.schema.json")),
+            }],
+        ["regression-request", {
+                producer: "oms-goal-authority",
+                schema: loadJsonSchema(join(packageRoot, "schemas", "regression-request.schema.json")),
+            }],
+        ["team-checkpoint", {
+                producer: "oms-team-projection",
+                schema: loadJsonSchema(join(packageRoot, "schemas", "team-checkpoint.schema.json")),
+            }],
+        ["ultragoal-checkpoint", {
+                producer: "oms-ultragoal-leader",
+                schema: loadJsonSchema(join(packageRoot, "schemas", "ultragoal-checkpoint.schema.json")),
+            }],
+    ]);
+    function validate(value) {
+        const detached = cloneJson(value, "goal artifact");
+        assertSchema(detached, envelopeSchema, "goal artifact envelope");
+        const record = detached;
+        assertOpaqueId(record.artifact_id, "goal artifact id");
+        assertRecordId(record.goal_id, "goal artifact goal id");
+        timestampEpoch(record.created_at, "goal artifact created_at");
+        const contract = contracts.get(record.artifact_kind);
+        if (!contract)
+            throw new Error(`unregistered goal artifact kind: ${String(record.artifact_kind)}`);
+        if (record.producer !== contract.producer)
+            throw new Error(`invalid producer for ${record.artifact_kind}`);
+        assertSchema(record.payload, contract.schema, `${record.artifact_kind} payload`);
+        validateArtifactSemantics(record);
+        return record;
+    }
+    function readStored(ref) {
+        validateReference(ref);
+        const path = join(root.path, ref.file_name);
+        assertFileInside(root, path);
+        const bytes = readImmutableFile(path, MAX_ARTIFACT_BYTES);
+        if (sha256(bytes) !== ref.sha256)
+            throw new Error(`goal artifact digest mismatch: ${ref.artifact_id}`);
+        const record = validate(parseJson(bytes));
+        if (record.artifact_id !== ref.artifact_id || record.artifact_kind !== ref.kind) {
+            throw new Error("stored goal artifact identity mismatch");
+        }
+        validateArtifactLinks(record, readStored);
+        return deepFreeze(record);
+    }
+    const store = {
+        write(record) {
+            const normalized = validate(record);
+            validateArtifactLinks(normalized, readStored);
+            const bytes = canonicalJson(normalized);
+            if (bytes.byteLength > MAX_ARTIFACT_BYTES)
+                throw new Error("goal artifact exceeds size limit");
+            const ref = referenceFor(normalized, bytes);
+            const path = join(root.path, ref.file_name);
+            assertFileInside(root, path);
+            const status = writeImmutableFile(path, bytes);
+            return Object.freeze({ status, ref, record: readStored(ref) });
+        },
+        read(ref) {
+            return readStored(ref);
+        },
+        absolutePath(ref) {
+            readStored(ref);
+            return join(root.path, ref.file_name);
+        },
+    };
+    Object.freeze(store);
+    ARTIFACT_STORES.add(store);
+    return store;
+}
+function validateArtifactSemantics(record) {
+    if (record.artifact_id !== expectedArtifactId(record)) {
+        throw new Error(`${record.artifact_kind} id does not match its deterministic identity`);
+    }
+    if (record.artifact_kind === "native-goal-snapshot") {
+        if (record.created_at !== record.payload.captured_at)
+            throw new Error("native snapshot timestamp mismatch");
+        const terminal = record.payload.status !== "active";
+        if (record.payload.terminal !== terminal)
+            throw new Error("native snapshot terminal status is inconsistent");
+    }
+    if (record.artifact_kind === "regression-request") {
+        if (record.goal_id !== record.payload.goal_id)
+            throw new Error("regression request goal id mismatch");
+        if (record.created_at !== record.payload.requested_at)
+            throw new Error("regression request timestamp mismatch");
+        const predicate = record.payload.predicate;
+        if ((record.payload.reason === "predicate-failed") !== (predicate !== null)) {
+            throw new Error("regression request predicate binding is inconsistent");
+        }
+        if (isRecord(predicate) && predicate.expected_sha256 === predicate.actual_sha256) {
+            throw new Error("regression request predicate did not fail");
+        }
+    }
+    if (record.artifact_kind === "team-checkpoint") {
+        if (record.goal_id !== record.payload.goal_id)
+            throw new Error("Team checkpoint goal id mismatch");
+        const team = record.payload;
+        validateTeamCheckpointSemantics(team);
+        const canonicalWorkers = [...team.delivery_wave.workers]
+            .sort((left, right) => compareText(left.worker_id, right.worker_id));
+        if (team.delivery_wave.workers.some((worker, index) => worker.worker_id !== canonicalWorkers[index]?.worker_id)) {
+            throw new Error("Team checkpoint workers are not in canonical order");
+        }
+        if (record.created_at !== team.delivery_wave.completed_at)
+            throw new Error("Team checkpoint timestamp mismatch");
+    }
+    if (record.artifact_kind === "ultragoal-checkpoint") {
+        if (record.goal_id !== record.payload.goal_id)
+            throw new Error("Ultragoal checkpoint goal id mismatch");
+        if (record.created_at !== record.payload.checkpointed_at)
+            throw new Error("Ultragoal checkpoint timestamp mismatch");
+    }
+}
+function validateArtifactLinks(record, readStored) {
+    const references = record.artifact_kind === "regression-request"
+        ? record.payload.source_artifacts
+        : record.artifact_kind === "ultragoal-checkpoint"
+            ? [record.payload.native_snapshot, record.payload.team_checkpoint]
+            : [];
+    for (const reference of references) {
+        const linked = readStored(reference);
+        if (linked.goal_id !== record.goal_id)
+            throw new Error("goal artifact link belongs to a different goal");
+    }
+    if (record.artifact_kind === "ultragoal-checkpoint") {
+        if (references[0]?.kind !== "native-goal-snapshot" || references[1]?.kind !== "team-checkpoint") {
+            throw new Error("Ultragoal checkpoint links have the wrong artifact kinds");
+        }
+    }
+}
+function expectedArtifactId(record) {
+    if (record.artifact_kind === "native-goal-snapshot") {
+        return createStableId("native-goal", record.goal_id, String(record.payload.snapshot_version), String(record.payload.captured_at));
+    }
+    if (record.artifact_kind === "regression-request") {
+        return createStableId("regression", record.goal_id, String(record.payload.reason), String(record.payload.requested_at), JSON.stringify(record.payload.source_artifacts), JSON.stringify(record.payload.predicate));
+    }
+    if (record.artifact_kind === "team-checkpoint") {
+        const delivery = record.payload.delivery_wave;
+        return createStableId("team-check", record.goal_id, String(delivery.wave_id), String(record.payload.test_sha256));
+    }
+    const native = record.payload.native_snapshot;
+    const team = record.payload.team_checkpoint;
+    return createStableId("ultragoal", record.goal_id, native.sha256, team.sha256);
+}
+function referenceFor(record, bytes) {
+    return Object.freeze({
+        kind: record.artifact_kind,
+        artifact_id: record.artifact_id,
+        sha256: sha256(bytes),
+        file_name: `${record.artifact_kind}-${record.artifact_id}.json`,
+    });
+}
+function validateReference(ref) {
+    if (!isRecord(ref))
+        throw new Error("goal artifact reference must be an object");
+    const artifactId = assertOpaqueId(ref.artifact_id, "goal artifact reference id");
+    if (![
+        "native-goal-snapshot",
+        "regression-request",
+        "team-checkpoint",
+        "ultragoal-checkpoint",
+    ].includes(ref.kind))
+        throw new Error("goal artifact reference kind is invalid");
+    if (typeof ref.sha256 !== "string" || !SHA256_PATTERN.test(ref.sha256)) {
+        throw new Error("goal artifact reference digest is invalid");
+    }
+    if (ref.file_name !== `${ref.kind}-${artifactId}.json`)
+        throw new Error("goal artifact reference filename is invalid");
+}
+function timestampEpoch(value, label) {
+    if (typeof value !== "string" || !/^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(?:\.\d{3})?Z$/.test(value)) {
+        throw new Error(`${label} is invalid`);
+    }
+    const epoch = Date.parse(value);
+    const normalized = value.includes(".") ? value : value.replace("Z", ".000Z");
+    if (!Number.isFinite(epoch) || new Date(epoch).toISOString() !== normalized)
+        throw new Error(`${label} is invalid`);
+    return epoch;
+}
+function cloneJson(value, label) {
+    try {
+        const serialized = JSON.stringify(value);
+        if (serialized === undefined)
+            throw new Error("not JSON serializable");
+        return JSON.parse(serialized);
+    }
+    catch (error) {
+        throw new Error(`${label} must be JSON serializable`, { cause: error });
+    }
+}
+function deepFreeze(value) {
+    if (typeof value !== "object" || value === null || Object.isFrozen(value))
+        return value;
+    for (const child of Object.values(value))
+        deepFreeze(child);
+    return Object.freeze(value);
+}
+function canonicalJson(value) {
+    return Buffer.from(`${JSON.stringify(value, null, 2)}\n`, "utf8");
+}
+function parseJson(bytes) {
+    try {
+        return JSON.parse(bytes.toString("utf8"));
+    }
+    catch {
+        throw new Error("goal artifact contains invalid JSON");
+    }
+}
+function sha256(bytes) {
+    return createHash("sha256").update(bytes).digest("hex");
+}
+function compareText(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+//# sourceMappingURL=artifact-store.js.map

package/dist/src/goals/artifact-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifact-store.js","sourceRoot":"","sources":["../../../src/goals/artifact-store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,cAAc,EAAuB,MAAM,sBAAsB,CAAC;AACzF,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,+BAA+B,EAAiC,MAAM,uBAAuB,CAAC;AACvG,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,kBAAkB,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AAC3C,MAAM,cAAc,GAAG,gBAAgB,CAAC;AA0CxC,MAAM,eAAe,GAAG,IAAI,OAAO,EAAU,CAAC;AAE9C,MAAM,UAAU,uBAAuB,CAAC,KAAc;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/E,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAGvC;IACC,MAAM,IAAI,GAAG,mBAAmB,CAAC,OAAO,CAAC,aAAa,EAAE,qBAAqB,CAAC,CAAC;IAC/E,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,eAAe,EAAE,CAAC;IAC7D,MAAM,cAAc,GAAG,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,2BAA2B,CAAC,CAAC,CAAC;IACjG,MAAM,SAAS,GAAG,IAAI,GAAG,CAAqC;QAC5D,CAAC,sBAAsB,EAAE;gBACvB,QAAQ,EAAE,gBAAgB;gBAC1B,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,kCAAkC,CAAC,CAAC;aACzF,CAAC;QACF,CAAC,oBAAoB,EAAE;gBACrB,QAAQ,EAAE,oBAAoB;gBAC9B,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,gCAAgC,CAAC,CAAC;aACvF,CAAC;QACF,CAAC,iBAAiB,EAAE;gBAClB,QAAQ,EAAE,qBAAqB;gBAC/B,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,6BAA6B,CAAC,CAAC;aACpF,CAAC;QACF,CAAC,sBAAsB,EAAE;gBACvB,QAAQ,EAAE,sBAAsB;gBAChC,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,kCAAkC,CAAC,CAAC;aACzF,CAAC;KACH,CAAC,CAAC;IAEH,SAAS,QAAQ,CAAC,KAAc;QAC9B,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QACnD,YAAY,CAAC,QAAQ,EAAE,cAAc,EAAE,wBAAwB,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,QAA8B,CAAC;QAC9C,cAAc,CAAC,MAAM,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;QACvD,cAAc,CAAC,MAAM,CAAC,OAAO,EAAE,uBAAuB,CAAC,CAAC;QACxD,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,0BAA0B,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QACnG,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC;QAC3G,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,aAAa,UAAU,CAAC,CAAC;QACjF,yBAAyB,CAAC,MAAM,CAAC,CAAC;QAClC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,SAAS,UAAU,CAAC,GAA0B;QAC5C,iBAAiB,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QAC5C,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAC1D,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;QACvG,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAI,MAAM,CAAC,WAAW,KAAK,GAAG,CAAC,WAAW,IAAI,MAAM,CAAC,aAAa,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;YAChF,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;QAC5D,CAAC;QACD,qBAAqB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC1C,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;IAED,MAAM,KAAK,GAAsB;QAC/B,KAAK,CAAC,MAAM;YACV,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YACpC,qBAAqB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;YAC9C,MAAM,KAAK,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;YACxC,IAAI,KAAK,CAAC,UAAU,GAAG,kBAAkB;gBAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;YAC/F,MAAM,GAAG,GAAG,YAAY,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;YAC5C,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7B,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC/C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,CAAC,GAAG;YACN,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC;QACzB,CAAC;QACD,YAAY,CAAC,GAAG;YACd,UAAU,CAAC,GAAG,CAAC,CAAC;YAChB,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC;KACF,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrB,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,yBAAyB,CAAC,MAA0B;IAC3D,IAAI,MAAM,CAAC,WAAW,KAAK,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,CAAC,aAAa,+CAA+C,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,KAAK,sBAAsB,EAAE,CAAC;QACpD,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,OAAO,CAAC,WAAW;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QAC5G,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC;QACpD,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IAC/G,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,KAAK,oBAAoB,EAAE,CAAC;QAClD,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACtG,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,OAAO,CAAC,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAChH,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;QAC3C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,kBAAkB,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,EAAE,CAAC;YAC5E,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,eAAe,KAAK,SAAS,CAAC,aAAa,EAAE,CAAC;YACjF,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,KAAK,iBAAiB,EAAE,CAAC;QAC/C,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACnG,MAAM,IAAI,GAAG,MAAM,CAAC,OAA8C,CAAC;QACnE,+BAA+B,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,gBAAgB,GAAG,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC;aACrD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QACvE,IAAI,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,KAAK,gBAAgB,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;YAChH,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,aAAa,CAAC,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACnH,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,KAAK,sBAAsB,EAAE,CAAC;QACpD,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QACxG,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,OAAO,CAAC,eAAe;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACvH,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAA0B,EAC1B,UAAwE;IAExE,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,KAAK,oBAAoB;QAC9D,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,gBAA2C;QAC5D,CAAC,CAAC,MAAM,CAAC,aAAa,KAAK,sBAAsB;YAC/C,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,eAAe,CAA4B;YAC7F,CAAC,CAAC,EAAE,CAAC;IACT,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;QACrC,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IAC3G,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,KAAK,sBAAsB,EAAE,CAAC;QACpD,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,sBAAsB,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;YAChG,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,MAA0B;IACpD,IAAI,MAAM,CAAC,aAAa,KAAK,sBAAsB,EAAE,CAAC;QACpD,OAAO,cAAc,CACnB,aAAa,EACb,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CACnC,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,KAAK,oBAAoB,EAAE,CAAC;QAClD,OAAO,cAAc,CACnB,YAAY,EACZ,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAC7B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EACnC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAC/C,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CACzC,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,KAAK,iBAAiB,EAAE,CAAC;QAC/C,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,aAAwC,CAAC;QACzE,OAAO,cAAc,CACnB,YAAY,EACZ,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EACxB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CACnC,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,eAAwC,CAAC;IACvE,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,eAAwC,CAAC;IACrE,OAAO,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,YAAY,CAAC,MAA0B,EAAE,KAAa;IAC7D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,MAAM,CAAC,aAAa;QAC1B,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC;QACrB,SAAS,EAAE,GAAG,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,WAAW,OAAO;KAChE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,GAA0B;IACnD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IACjF,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,WAAW,EAAE,4BAA4B,CAAC,CAAC;IACjF,IAAI,CAAC;QACH,sBAAsB;QACtB,oBAAoB;QACpB,iBAAiB;QACjB,sBAAsB;KACvB,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACjF,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,GAAG,CAAC,SAAS,KAAK,GAAG,GAAG,CAAC,IAAI,IAAI,UAAU,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;AACzH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,KAAa;IACnD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,oDAAoD,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACnG,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC7E,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IACpH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAI,KAAQ,EAAE,KAAa;IAC3C,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,UAAU,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QACvE,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU,CAAM,CAAC;IACrC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,4BAA4B,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAI,KAAQ;IAC7B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IAC5D,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAY,CAAC;IACvD,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC"}

package/dist/src/goals/authority.d.ts

@@ -0,0 +1,112 @@
+import { type RuntimeRecord } from "../domain/records.js";
+import { type GoalArtifactReference, type GoalArtifactStore } from "./artifact-store.js";
+export type GoalState = "active" | "parked" | "completed";
+export type GoalParkReason = "native-goal-mismatch" | "stale-native-snapshot" | "predicate-failed" | "ultragoal-mismatch";
+type NativeRef = GoalArtifactReference & {
+    readonly kind: "native-goal-snapshot";
+};
+type TeamRef = GoalArtifactReference & {
+    readonly kind: "team-checkpoint";
+};
+type UltragoalRef = GoalArtifactReference & {
+    readonly kind: "ultragoal-checkpoint";
+};
+type RegressionRef = GoalArtifactReference & {
+    readonly kind: "regression-request";
+};
+export type GoalPayload = {
+    goal_id: string;
+    objective: string;
+    repository_scope: string;
+    queue_scope: string;
+    stopping_condition: string;
+    runtime_horizon: "until-empty" | "12h" | "24h";
+    budget_profile: "subscription-only";
+    policy_profile: "default";
+    creation_nonce: string;
+    created_at: string;
+    updated_at: string;
+    native_snapshot: NativeRef | null;
+    team_checkpoint: TeamRef | null;
+    ultragoal_checkpoint: UltragoalRef | null;
+    regression_request: RegressionRef | null;
+    park_reason: GoalParkReason | null;
+} & Record<string, unknown>;
+export type GoalRecord = RuntimeRecord<GoalState, GoalPayload>;
+export interface GoalAuthority {
+    read(goalId: string): Readonly<GoalRecord>;
+}
+export interface GoalPlanGate {
+    readonly goal_id: string;
+    readonly goal_version: number;
+    readonly goal_state: "active";
+    readonly objective_sha256: string;
+    readonly stopping_condition_sha256: string;
+    readonly goal_record_path: string;
+}
+export interface CreateGoalInput {
+    readonly objective: string;
+    readonly stoppingCondition: string;
+    readonly repositoryScope: string;
+    readonly queueScope?: string;
+    readonly runtimeHorizon?: "until-empty" | "12h" | "24h";
+    readonly budgetProfile?: "subscription-only";
+    readonly policyProfile?: "default";
+    readonly creationNonce?: string;
+    readonly leaderId: string;
+    readonly createdAt: string;
+}
+export interface CreateGoalOperationResult {
+    readonly status: "created" | "replayed";
+    readonly goal: Readonly<GoalRecord>;
+}
+export type GoalEvidenceOperationResult = {
+    readonly status: "attached" | "completed";
+    readonly goal: Readonly<GoalRecord>;
+    readonly artifact: GoalArtifactReference;
+} | {
+    readonly status: "parked";
+    readonly goal: Readonly<GoalRecord>;
+    readonly regression: RegressionRef;
+};
+export declare function createGoalAuthority(options: {
+    recordsRoot: string;
+    locksRoot: string;
+    artifactStore: GoalArtifactStore;
+    packageRoot?: string;
+}): GoalAuthority;
+export declare function assertGoalAuthority(value: unknown): asserts value is GoalAuthority;
+export declare function createGoal(authority: GoalAuthority, input: CreateGoalInput): Readonly<GoalRecord>;
+export declare function createGoalWithReplay(authority: GoalAuthority, input: CreateGoalInput): CreateGoalOperationResult;
+export declare function readGoal(authority: GoalAuthority, goalId: string): Readonly<GoalRecord>;
+export declare function issueActiveGoalPlanGate(authority: GoalAuthority, goalId: string): GoalPlanGate;
+export declare function assertGoalPlanGate(value: unknown): asserts value is GoalPlanGate;
+export declare function assertFreshGoalPlanGate(gate: GoalPlanGate): void;
+export declare function recordNativeGoalSnapshot(options: {
+    authority: GoalAuthority;
+    goalId: string;
+    snapshot: unknown;
+    observedAt: string;
+}): GoalEvidenceOperationResult;
+export declare function recordTeamCheckpoint(options: {
+    authority: GoalAuthority;
+    goalId: string;
+    teamState: unknown;
+}): GoalEvidenceOperationResult;
+export declare function recordBrokenGoalPredicate(options: {
+    authority: GoalAuthority;
+    goalId: string;
+    predicateId: string;
+    expectedSha256: string;
+    actualSha256: string;
+    observedAt: string;
+}): GoalEvidenceOperationResult;
+export declare function checkpointUltragoal(options: {
+    authority: GoalAuthority;
+    goalId: string;
+    leaderId: string;
+    nativeSnapshot: GoalArtifactReference;
+    teamCheckpoint: GoalArtifactReference;
+    checkpointedAt: string;
+}): GoalEvidenceOperationResult;
+export {};