oh-my-super-agent 0.1.0

package/dist/src/verification/result-gate-store.js

@@ -0,0 +1,193 @@
+import { join } from "node:path";
+import { assertActorId, assertLeaseToken, assertOpaqueId, assertRecordId, assertTransitionNonce, } from "../domain/records.js";
+import { createRecordStore } from "../runtime/record-store.js";
+import { assertSchema, loadJsonSchema } from "../runtime/schema.js";
+import { createStableId } from "../runtime/stable-id.js";
+import { validateExistingDirectory } from "../utils/fs.js";
+const LEGAL_EDGES = Object.freeze({
+    checking: ["checked", "blocked"],
+    checked: ["grading", "blocked"],
+    grading: ["grading", "graded", "blocked"],
+    graded: ["reflecting", "finalized", "blocked"],
+    reflecting: ["reflecting", "finalized", "blocked"],
+    finalized: [],
+    blocked: [],
+});
+export function createResultGateStore(options) {
+    const packageRoot = validateExistingDirectory(options.packageRoot, "result-gate package root");
+    const stateRoot = validateExistingDirectory(options.stateRoot, "result-gate state root");
+    const payloadSchema = loadJsonSchema(join(packageRoot, "schemas", "result-gate-payload.schema.json"));
+    const actor = assertActorId("oms-system");
+    const store = createRecordStore({
+        recordsRoot: join(stateRoot, "result-gates"),
+        locksRoot: join(stateRoot, "locks"),
+        recordValidator(raw) {
+            if (raw.record_kind !== "result-gate" || !isResultGateState(raw.state)) {
+                throw new Error("invalid result-gate runtime record");
+            }
+            assertSchema(raw.payload, payloadSchema, "result-gate payload");
+            validateRecord(raw);
+        },
+        createValidator(raw) {
+            if (raw.version !== 0 || raw.state !== "checking" || raw.actor !== actor) {
+                throw new Error("result gate must begin in checking under OMS system authority");
+            }
+        },
+        transitionValidator(current, next) {
+            const before = current;
+            const after = next;
+            if (!LEGAL_EDGES[before.state].includes(after.state)) {
+                throw new Error(`illegal result-gate transition: ${before.state} -> ${after.state}`);
+            }
+            if (JSON.stringify(before.payload.subject) !== JSON.stringify(after.payload.subject)) {
+                throw new Error("result-gate subject is immutable");
+            }
+            if (before.payload.created_at !== after.payload.created_at) {
+                throw new Error("result-gate creation time is immutable");
+            }
+            if (Date.parse(after.payload.updated_at) <= Date.parse(before.payload.updated_at)) {
+                throw new Error("result-gate update time must advance");
+            }
+            validateMonotonicReference("deterministic evidence", before.payload.deterministic_evidence, after.payload.deterministic_evidence);
+            validateMonotonicReference("grade evidence", before.payload.grade_evidence, after.payload.grade_evidence);
+            validateMonotonicReference("reflection evidence", before.payload.reflection_evidence, after.payload.reflection_evidence);
+            validateMonotonicReference("trust evidence", before.payload.trust_evidence, after.payload.trust_evidence);
+            validateRoleRequest("grade request", before.payload.grade_request, after.payload.grade_request);
+            validateRoleRequest("reflection request", before.payload.reflection_request, after.payload.reflection_request);
+        },
+    });
+    const result = {
+        create(gateId, subject, at) {
+            const id = assertRecordId(gateId, "result-gate id");
+            const captured = structuredClone(subject);
+            const record = {
+                schema_version: 1,
+                record_id: id,
+                record_kind: assertOpaqueId("result-gate"),
+                version: 0,
+                state: "checking",
+                attempt: captured.attempt,
+                max_attempts: captured.max_attempts,
+                actor,
+                lease_token: assertLeaseToken(captured.lease_token),
+                transition_nonce: assertTransitionNonce(createStableId("gate-create", id, captured.expected_commit)),
+                payload: {
+                    gate_id: id,
+                    subject: captured,
+                    created_at: at,
+                    updated_at: at,
+                    deterministic_evidence: null,
+                    grade_request: null,
+                    grade_evidence: null,
+                    reflection_request: null,
+                    reflection_evidence: null,
+                    outcome: null,
+                    trust_evidence: null,
+                    blocked_reason: null,
+                },
+                transition_outcomes: [],
+            };
+            record.transition_outcomes.push({
+                nonce: record.transition_nonce,
+                version: 0,
+                state: "checking",
+                attempt: record.attempt,
+                actor,
+                lease_token: record.lease_token,
+            });
+            return store.create(record);
+        },
+        read(gateId) {
+            return store.read(gateId);
+        },
+        readIfExists(gateId) {
+            return store.readIfExists(gateId);
+        },
+        transition({ record, step, toState, at, update }) {
+            return store.transition({
+                recordId: record.record_id,
+                ownerId: actor,
+                expectedVersion: record.version,
+                expectedActor: record.actor,
+                expectedAttempt: record.attempt,
+                expectedLeaseToken: record.lease_token,
+                nonce: createStableId("gate-step", record.record_id, step),
+                fromStates: [record.state],
+                toState,
+                updatePayload: (current) => ({ ...update(current.payload), updated_at: at }),
+            }).record;
+        },
+        list() {
+            return store.list();
+        },
+    };
+    return Object.freeze(result);
+}
+function validateRecord(record) {
+    const payload = record.payload;
+    if (payload.gate_id !== record.record_id
+        || payload.subject.attempt !== record.attempt
+        || payload.subject.max_attempts !== record.max_attempts
+        || record.lease_token === null
+        || payload.subject.lease_token !== String(record.lease_token)
+        || record.actor !== "oms-system")
+        throw new Error("result-gate record identity mismatch");
+    if (!Number.isFinite(Date.parse(payload.created_at)) || !Number.isFinite(Date.parse(payload.updated_at))) {
+        throw new Error("result-gate timestamp is invalid");
+    }
+    if (Date.parse(payload.updated_at) < Date.parse(payload.created_at)) {
+        throw new Error("result-gate update predates creation");
+    }
+    if (["checked", "grading", "graded", "reflecting", "finalized"].includes(record.state) && payload.deterministic_evidence === null) {
+        throw new Error(`result-gate state ${record.state} requires deterministic evidence`);
+    }
+    if (["grading", "graded", "reflecting", "finalized"].includes(record.state) && payload.grade_request === null) {
+        throw new Error(`result-gate state ${record.state} requires a grade request`);
+    }
+    if (["graded", "reflecting", "finalized"].includes(record.state) && payload.grade_evidence === null) {
+        throw new Error(`result-gate state ${record.state} requires grade evidence`);
+    }
+    if (record.state === "reflecting" && payload.reflection_request === null) {
+        throw new Error("reflecting result gate requires a reflection request");
+    }
+    if (record.state === "finalized" && payload.outcome === null) {
+        throw new Error("finalized result gate requires an outcome");
+    }
+    if (record.state === "blocked" && (payload.outcome !== "blocked" || payload.blocked_reason === null)) {
+        throw new Error("blocked result gate requires an explicit blocked outcome and reason");
+    }
+    if (!record.transition_outcomes.every((outcome) => outcome.actor === record.actor && outcome.lease_token === record.lease_token)) {
+        throw new Error("result-gate authority changed");
+    }
+}
+function validateMonotonicReference(label, current, next) {
+    if (current !== null && JSON.stringify(current) !== JSON.stringify(next)) {
+        throw new Error(`${label} is immutable once attached`);
+    }
+}
+function validateRoleRequest(label, current, next) {
+    if (current === null)
+        return;
+    if (next === null)
+        throw new Error(`${label} cannot be removed`);
+    const stable = (request) => ({
+        request_id: request.request_id,
+        role_id: request.role_id,
+        engine: request.engine,
+        evidence_schema: request.evidence_schema,
+        input: request.input,
+    });
+    if (JSON.stringify(stable(current)) !== JSON.stringify(stable(next))) {
+        throw new Error(`${label} intent is immutable`);
+    }
+    if (current.started_at !== null && current.started_at !== next.started_at) {
+        throw new Error(`${label} start is immutable once claimed`);
+    }
+    if (current.session_id !== null && current.session_id !== next.session_id) {
+        throw new Error(`${label} session is immutable once bound`);
+    }
+}
+function isResultGateState(value) {
+    return Object.prototype.hasOwnProperty.call(LEGAL_EDGES, value);
+}
+//# sourceMappingURL=result-gate-store.js.map

package/dist/src/verification/result-gate-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-gate-store.js","sourceRoot":"","sources":["../../../src/verification/result-gate-store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,qBAAqB,GAEtB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAiF3D,MAAM,WAAW,GAAkE,MAAM,CAAC,MAAM,CAAC;IAC/F,QAAQ,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;IAChC,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;IAC/B,OAAO,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC;IACzC,MAAM,EAAE,CAAC,YAAY,EAAE,WAAW,EAAE,SAAS,CAAC;IAC9C,UAAU,EAAE,CAAC,YAAY,EAAE,WAAW,EAAE,SAAS,CAAC;IAClD,SAAS,EAAE,EAAE;IACb,OAAO,EAAE,EAAE;CACZ,CAAC,CAAC;AAEH,MAAM,UAAU,qBAAqB,CAAC,OAGrC;IACC,MAAM,WAAW,GAAG,yBAAyB,CAAC,OAAO,CAAC,WAAW,EAAE,0BAA0B,CAAC,CAAC;IAC/F,MAAM,SAAS,GAAG,yBAAyB,CAAC,OAAO,CAAC,SAAS,EAAE,wBAAwB,CAAC,CAAC;IACzF,MAAM,aAAa,GAAG,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,iCAAiC,CAAC,CAAC,CAAC;IACtG,MAAM,KAAK,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,iBAAiB,CAAC;QAC9B,WAAW,EAAE,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC;QAC5C,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC;QACnC,eAAe,CAAC,GAAG;YACjB,IAAI,GAAG,CAAC,WAAW,KAAK,aAAa,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;YACxD,CAAC;YACD,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,aAAa,EAAE,qBAAqB,CAAC,CAAC;YAChE,cAAc,CAAC,GAAuB,CAAC,CAAC;QAC1C,CAAC;QACD,eAAe,CAAC,GAAG;YACjB,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,KAAK,UAAU,IAAI,GAAG,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;gBACzE,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;YACnF,CAAC;QACH,CAAC;QACD,mBAAmB,CAAC,OAAO,EAAE,IAAI;YAC/B,MAAM,MAAM,GAAG,OAA2B,CAAC;YAC3C,MAAM,KAAK,GAAG,IAAwB,CAAC;YACvC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrD,MAAM,IAAI,KAAK,CAAC,mCAAmC,MAAM,CAAC,KAAK,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;YACvF,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;gBACrF,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;YACtD,CAAC;YACD,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,KAAK,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC3D,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;YAC5D,CAAC;YACD,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBAClF,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;YAC1D,CAAC;YACD,0BAA0B,CAAC,wBAAwB,EAAE,MAAM,CAAC,OAAO,CAAC,sBAAsB,EAAE,KAAK,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;YAClI,0BAA0B,CAAC,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc,EAAE,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;YAC1G,0BAA0B,CAAC,qBAAqB,EAAE,MAAM,CAAC,OAAO,CAAC,mBAAmB,EAAE,KAAK,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;YACzH,0BAA0B,CAAC,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc,EAAE,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;YAC1G,mBAAmB,CAAC,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;YAChG,mBAAmB,CAAC,oBAAoB,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB,EAAE,KAAK,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACjH,CAAC;KACF,CAAC,CAAC;IAEH,MAAM,MAAM,GAAoB;QAC9B,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE;YACxB,MAAM,EAAE,GAAG,cAAc,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;YACpD,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAsB,CAAC;YAC/D,MAAM,MAAM,GAAqB;gBAC/B,cAAc,EAAE,CAAC;gBACjB,SAAS,EAAE,EAAE;gBACb,WAAW,EAAE,cAAc,CAAC,aAAa,CAAC;gBAC1C,OAAO,EAAE,CAAC;gBACV,KAAK,EAAE,UAAU;gBACjB,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,KAAK;gBACL,WAAW,EAAE,gBAAgB,CAAC,QAAQ,CAAC,WAAW,CAAC;gBACnD,gBAAgB,EAAE,qBAAqB,CAAC,cAAc,CAAC,aAAa,EAAE,EAAE,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAC;gBACpG,OAAO,EAAE;oBACP,OAAO,EAAE,EAAE;oBACX,OAAO,EAAE,QAAQ;oBACjB,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,EAAE;oBACd,sBAAsB,EAAE,IAAI;oBAC5B,aAAa,EAAE,IAAI;oBACnB,cAAc,EAAE,IAAI;oBACpB,kBAAkB,EAAE,IAAI;oBACxB,mBAAmB,EAAE,IAAI;oBACzB,OAAO,EAAE,IAAI;oBACb,cAAc,EAAE,IAAI;oBACpB,cAAc,EAAE,IAAI;iBACrB;gBACD,mBAAmB,EAAE,EAAE;aACxB,CAAC;YACF,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;gBAC9B,KAAK,EAAE,MAAM,CAAC,gBAAgB;gBAC9B,OAAO,EAAE,CAAC;gBACV,KAAK,EAAE,UAAU;gBACjB,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,KAAK;gBACL,WAAW,EAAE,MAAM,CAAC,WAAW;aAChC,CAAC,CAAC;YACH,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,MAAM;YACT,OAAO,KAAK,CAAC,IAAI,CAAqC,MAAM,CAAC,CAAC;QAChE,CAAC;QACD,YAAY,CAAC,MAAM;YACjB,OAAO,KAAK,CAAC,YAAY,CAAqC,MAAM,CAAC,CAAC;QACxE,CAAC;QACD,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE;YAC9C,OAAO,KAAK,CAAC,UAAU,CAAqC;gBAC1D,QAAQ,EAAE,MAAM,CAAC,SAAS;gBAC1B,OAAO,EAAE,KAAK;gBACd,eAAe,EAAE,MAAM,CAAC,OAAO;gBAC/B,aAAa,EAAE,MAAM,CAAC,KAAK;gBAC3B,eAAe,EAAE,MAAM,CAAC,OAAO;gBAC/B,kBAAkB,EAAE,MAAM,CAAC,WAAW;gBACtC,KAAK,EAAE,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC;gBAC1D,UAAU,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;gBAC1B,OAAO;gBACP,aAAa,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;aAC7E,CAAC,CAAC,MAAM,CAAC;QACZ,CAAC;QACD,IAAI;YACF,OAAO,KAAK,CAAC,IAAI,EAAsC,CAAC;QAC1D,CAAC;KACF,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,cAAc,CAAC,MAAwB;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAC/B,IACE,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,SAAS;WACjC,OAAO,CAAC,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO;WAC1C,OAAO,CAAC,OAAO,CAAC,YAAY,KAAK,MAAM,CAAC,YAAY;WACpD,MAAM,CAAC,WAAW,KAAK,IAAI;WAC3B,OAAO,CAAC,OAAO,CAAC,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;WAC1D,MAAM,CAAC,KAAK,KAAK,YAAY;QAChC,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAC1D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACzG,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,sBAAsB,KAAK,IAAI,EAAE,CAAC;QAClI,MAAM,IAAI,KAAK,CAAC,qBAAqB,MAAM,CAAC,KAAK,kCAAkC,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;QAC9G,MAAM,IAAI,KAAK,CAAC,qBAAqB,MAAM,CAAC,KAAK,2BAA2B,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;QACpG,MAAM,IAAI,KAAK,CAAC,qBAAqB,MAAM,CAAC,KAAK,0BAA0B,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,YAAY,IAAI,OAAO,CAAC,kBAAkB,KAAK,IAAI,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,cAAc,KAAK,IAAI,CAAC,EAAE,CAAC;QACrG,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,IAAI,OAAO,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QACjI,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAa,EACb,OAAiC,EACjC,IAA8B;IAE9B,IAAI,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAa,EACb,OAAqC,EACrC,IAAkC;IAElC,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO;IAC7B,IAAI,IAAI,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,CAAC,OAA8B,EAAE,EAAE,CAAC,CAAC;QAClD,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,KAAK,EAAE,OAAO,CAAC,KAAK;KACrB,CAAC,CAAC;IACH,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,sBAAsB,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,kCAAkC,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,kCAAkC,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,OAAO,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;AAClE,CAAC"}

package/dist/src/verification/result-gate.d.ts

@@ -0,0 +1,41 @@
+import type { EvidenceReference } from "../evidence/store.js";
+import { type ClaudeStructuredRoleTransport } from "../providers/claude-structured.js";
+import { runCodexStructured } from "../providers/codex-exec.js";
+import { type ProcessRunner } from "../providers/process.js";
+import { createRuntimeWorkerAuthorities } from "../workers/runtime.js";
+import { type ProtectedVerificationAuthority } from "./authority.js";
+import { type ResultGateRecord } from "./result-gate-store.js";
+type RuntimeAuthorities = ReturnType<typeof createRuntimeWorkerAuthorities>;
+type CodexStructuredRunner = typeof runCodexStructured;
+export type ResultGateProgress = Readonly<{
+    status: "checking" | "waiting" | "completed" | "retryable" | "blocked";
+    gate_id: string;
+    gate_state: ResultGateRecord["state"];
+    ticket_id: string;
+    ticket_state: string;
+    deterministic_evidence: EvidenceReference | null;
+    grade_evidence: EvidenceReference | null;
+    reflection_evidence: EvidenceReference | null;
+    trust_evidence: EvidenceReference | null;
+    reason: string | null;
+}>;
+export interface ResultGateService {
+    process(dispatchId: string): ResultGateProgress;
+    read(dispatchId: string): ResultGateProgress | undefined;
+    list(): readonly ResultGateProgress[];
+}
+export declare function createResultGateService(options: {
+    packageRoot: string;
+    configRoot?: string;
+    workspaceRoot: string;
+    stateRoot: string;
+    executablePath: string;
+    env?: NodeJS.ProcessEnv;
+    clock?: () => string;
+    runtime?: RuntimeAuthorities;
+    verification?: ProtectedVerificationAuthority;
+    claudeStructured?: ClaudeStructuredRoleTransport;
+    codexStructured?: CodexStructuredRunner;
+    gitRunner?: ProcessRunner;
+}): ResultGateService;
+export {};