@maiaos/protocol 0.1.0-canary.44938d4.manual.1

package/README.md

@@ -0,0 +1,239 @@
+# `@maiaos/protocol`
+
+> **Publication status:** Source-implemented candidate, canary-only. npm
+> canaries use the
+> `canary` dist-tag for installation evidence and remain
+> `releaseQualified: false`. No stable version or `latest` dist-tag is
+> released.
+
+Runtime-validated foundations for Maia protocol messages.
+
+`@maiaos/protocol` is the framework-neutral schema source of truth, not the
+application client facade. Desktop, web, mobile, and CLI code consume these
+contracts through `@maiaos/sdk`; they do not implement independent node
+transports.
+
+The implemented surface is intentionally small: the alpha protocol version,
+generic request/response/event envelope metadata, structured response errors,
+a bounded list of versioned capability descriptors, the versioned file-first
+configuration document schema, and the private desktop-local lifecycle
+messages. It exports validated configuration identifiers, includes, runtime
+preferences, capability requests, opaque secret references, readiness,
+authentication, `node.status`, `node.shutdown`, lifecycle, response, and
+framing limits. `node.status` includes a compact bounded process-resource
+projection: active/tracked/watcher counts, immediate non-queued admission,
+fenced/cleanup-unknown counts, capability and pressure enums, and one bounded
+next-step code. It also carries one bounded latest-target observation summary
+for CPU, RSS/peak RSS, process count, file descriptors, and read/write I/O,
+including partial/unavailable coverage and per-tree-limit warning counts where
+a budget exists. Ordinary Darwin-arm64 composition now projects the `macos_cooperative` variant
+after verifying the embedded sibling helper during layer acquisition. The
+variant explicitly says sampled, cooperative, no hard limits, no
+observed-pressure auto-termination, `sourceCandidate: true`, and
+`releaseQualified: false`; it does not imply that a process consumer is
+admitted. It also owns the versioned project, repository, workspace,
+check-out, mutation receipt, keyed `receipt.get` recovery, and bounded
+`receipt.list` contracts used by the first durable CLI/node slice.
+`receipt.list` is an ordinary read: default page 8, maximum 32, maximum
+encoded page 64 KiB, optional `actor`, `afterCursor`, `method`, and inclusive
+`since`/`until`. Items project `commandId`, `createdAt`, `method`,
+`receiptId`, `state`, and `target.{id,type}` and omit `result`. `receipt.get`
+is unchanged and still carries `result`. Classified help may mark the CLI
+surface `implemented`; the public v1 line remains a source-implemented
+candidate and is not release-qualified. It also owns strict versioned session create, start,
+list, show, and event-page contracts with explicit global and session-local
+cursors. Session events expose start request, runtime start/resume/failure, and
+recovery-request outcomes; native runtime identifiers stay private to the node.
+The source also owns schema-v6 `turn.send`/`turn.show`/`turn.interrupt`, bounded
+turn lifecycle, content projection, token-usage, and session-turn event
+contracts. They are source-implemented public contract candidates, not
+release-qualified or enabled product behavior. `turn.interrupt` is a
+runtime-discriminated release-disabled wire candidate: ordinary node/SDK/CLI
+routing is callable for an exact active Pi conversation authorization, while
+Codex remains limited to its internal test authority. Steer,
+`session.interrupt`, approvals, and structured Session attachments remain
+unimplemented. Schema v7 introduced the terminal availability aggregate; schema v9
+extends it with the macOS live-terminal source candidate. Schema v10 is the
+node's index-only receipt-list storage migration and does not rewrite this
+terminal contract; see the [node README](../../services/node/README.md).
+Its exact 13 active
+public methods are `terminal.create`, `terminal.list`, `terminal.show`,
+`terminal.events.list`, `terminal.read`, `terminal.controller.request`,
+`terminal.controller.request.show`, `terminal.controller.acquire`,
+`terminal.controller.release`, `terminal.input.write`,
+`terminal.session.resize`, `terminal.session.signal`, and
+`terminal.session.close`. Observer
+attach/check/detach/resync, controller renew, restart, delete, and mutation
+reconcile schemas exist only for the wider contract and remain unavailable or
+inert at the node boundary. The active source candidate is real-boundary
+proven but not release-qualified product behavior. Approvals, structured
+Session attachment, and remote transport schemas remain planned.
+
+It also owns the versioned ordinary-read `harness.installed.list` contract:
+exact empty parameters and a schema-v1 four-item catalog projection for
+Codex, Grok, Mistral Vibe, and Pi. Detection, selection, and authorization
+remain independent facts; `selected` and `authorized` are literal `false`,
+and paths, versions, identities, credentials, and launch state stay off the
+wire. The method joins the ordinary local-node request and success unions. It
+is a source-implemented protocol candidate. The authenticated node handler,
+`@maiaos/sdk` `listInstalledHarnesses`, and `maia runtime list` now project that
+same ordinary read as a blocked, release-disabled candidate. The protocol
+module still owns only the wire contract; it is not a mutation or
+release-qualified product behavior.
+
+The source now owns the release-disabled Pi RPC protocol candidates
+`integration.plan.pi-rpc`, `integration.apply.pi-rpc`,
+`integration.status.pi-rpc`, `integration.remove.pi-rpc`, and the `pi-rpc`
+variant of `runtime.probe`. Plan/status preserve the exact Node interpreter, Pi
+entry, and bounded package closure/manifest identity required by ADR-009;
+requests accept no path or identity authority. Plan/status expose the exact
+owner set `pi-rpc-probe`, `pi-rpc-session` and
+`conversationPolicyRevision`. The probe result remains fixed to one
+request-scoped probe, exact disable-automatic-work/`get_state` operations,
+`modelTurn: false`, and `releaseQualified: false`.
+
+Session protocol v3 adds exact correlated `runtime`/`profile` fields for
+`codex`/`codex` and `pi`/`pi-rpc`; legacy Codex v2 events remain decodable.
+The shared Session and Turn methods cover Pi create/start/list/show/events and
+send/show/interrupt without a parallel Pi command family. Turn content remains
+bounded and assistant completion is represented durably, but the protocol
+grants no executable, native-file, workspace path, tool, approval, credential,
+provider, or release authority. These are release-disabled wire candidates;
+node policy and authorization remain the enforcement boundary.
+
+The source now also owns `maia.integration-authorization/v1` and the four
+strict local-node methods `integration.plan.codex`, `integration.apply.codex`,
+`integration.status.codex`, and `integration.remove.codex`. Request schemas
+accept only the fixed `codex` identity, plan ID, and stable command ID where
+needed; executable paths, digests, owner allowlists, adapters, and policy
+revisions are rejected as caller authority. Plans are bounded to 8 KiB, status
+is exactly one item and at most 2 KiB, authorization states preserve
+`revoking` and `cleanup_unknown`, and every result fixes
+`releaseQualified: false`. Apply/remove carry durable receipt projections;
+remove preserves both definite `revoked` and uncertain `cleanup_unknown`
+outcomes. The wire path is source-qualified through the exact built lifecycle
+at revision `80631fb5c9adeb38ab58b12a7db80647161d5871`. These remain
+release-disabled candidates, not Codex product enablement or release
+qualification.
+
+The source also owns the strict `maia.orchestration/v1` candidate and twelve
+local-node methods for bounded Run creation/list/show, Run-scoped compact Task
+list, Run-scoped Task show, Run-scoped Dispatch show, Run/Dispatch inbox check/individual acknowledgement, coordinator
+Question open/reply/cancel, and unavailable-Terminal Dispatch settlement.
+`run.list` is a workspace-scoped page of compact Run records with an opaque
+sequence cursor. `run.task.list` is a Run-scoped, oldest-first page of
+objective-free Task summaries with the same cursor family. `run.task.show` is
+the keyed list sibling that returns one full `OrchestrationTask`, including
+its objective, without the Run aggregate. `run.dispatch.show` is the keyed
+Run-scoped sibling that returns the one existing `OrchestrationDispatch`
+without the Run aggregate, worker assignment, or preamble. The family's
+canonical validator enforces
+per-field plus aggregate UTF-8/encoded bounds and the longest path through a
+converging DAG before transport or storage. Public local-node request/result
+facades are compile-time checked in both directions against private Effect
+Schema inference, and runtime excess-property tests prevent a caller-supplied
+Question sender. Worker/lease, Gate, watch/wait, execution, automation, and
+remote-principal contracts are not present; orchestration gains no direct
+terminal-control authority from the separate live-terminal candidate.
+
+The source also owns the bounded `maia.execution/v1alpha1` W0a candidate and
+three local-node methods: `execution.catalog.get`,
+`workspace.execution.show`, and the receipt-backed
+`workspace.execution.configure`. The catalog is an exact one-provider,
+one-profile, one-policy tuple: the built-in `local-host` provider is
+`trusted_host`, agentless, unbound, and not release-qualified. Result schemas
+relate workspace and binding identity/revision, selected source/profile, and
+receipt actor/method/target/aggregate revision. No result can represent a ready
+provider: resolution is always `unavailable` with
+`local_provider_unbound`. Provider calls, process launch, execution instances,
+session placement, and remote execution remain absent.
+
+The source also owns the Client-only `context.show` Invocation-context
+candidate: exact empty parameters, a 16 KiB display-safe projection, at most
+32 unique allowed-action codes, `attachmentUsed: false`, and
+`node_context_unavailable` / `context_override_forbidden` error codes.
+`nodeId` is optional on `maia.invocation-context/v1` and is omitted from IC0
+Client projections until ADR-014 NodeBootstrap allocates an authoritative
+value. Session/Run/Dispatch principals, related IDs, device IDs, and
+issue/expiry timestamps are absent from this slice, not inferred. Credential
+bytes, protected-handle locators, filesystem paths, provider handles, and
+caller-selected identity claims are not wire fields. Issue/renew/revoke remain
+node-internal fail-closed refusals and are not public protocol methods. This
+is a source-implemented candidate, not release-qualified product behavior.
+
+For that contract, `ready` means the supported App Server version completed
+initialize/initialized and a read-only account protocol acknowledgement. It is
+not a login, model-availability, or turn-readiness claim. Windows uses the
+structured `platform_unsupported` incompatible reason until the node qualifies
+lifetime process-tree ownership there.
+
+Public TypeScript types are inferred from the runtime schemas in their owning
+protocol module. The package does not maintain a parallel shared-types file.
+Effect Schema is the private validation implementation; callers see the
+Maia-owned synchronous `RuntimeParser<T>`/`RuntimeSchema<T>` facade rather than
+Effect AST or service types. Service-only filesystem, SQLite, Effect runtime,
+and XState models are intentionally excluded.
+
+The package has no direct Zod dependency. This is an accepted pre-1 API
+migration: named exports, parsed values, strict wire behavior, `parse`,
+`safeParse`, and parse-only factory inputs are preserved, while Zod-specific
+schema methods, classes, and error formatting are not. See
+[ADR-008](../../services/README.md#adr-008).
+
+Effect's isolated production closure is larger and includes optional native
+and lifecycle-capable transitives; this repository's denied-build policy is
+not inherited by downstream package managers. Exact archive, unpacked-file,
+and install-closure observations live in the
+[benchmark ledger](../../services/README.md#benchmarks) rather than this packaged README,
+whose own bytes would otherwise invalidate its measurement. Downstream install
+size and authority must be measured separately for each release. SDK/node
+consumers already install Effect and avoid carrying a second validator.
+
+New command-receipt, project/workspace, session, terminal, orchestration,
+integration-authorization, local-node, and runtime-probe source is organized in
+owned concept folders. The pre-existing
+envelope, capability, configuration, and runtime-schema root modules retain
+semantic names but are explicitly registered
+for folder migration in
+[SOURCE_ORGANIZATION.md](../README.md#source-organization); they are not the
+target shape for new behavior. Compatibility versions live in the concept that
+owns them and are shared by that concept's private Effect schema and public
+facade; `index.ts` only curates the package API. Equal primitive values are not
+merged unless they represent one compatibility rule that must change atomically.
+
+The N1 process framing is four-byte big-endian length plus strict UTF-8 JSON,
+one request and response per connection, a 1 MiB payload cap, at most 4096 data
+events per frame, an 8 KiB startup record cap, eight concurrent connections,
+and a five-second incomplete-frame deadline. The bearer credential is never
+part of readiness or a response.
+
+The planned worker/sandbox protocol and CloudEvents export are generated from
+this registry when a real local consumer exists. MCP, ACP, and A2A remain
+separate compatibility boundaries rather than aliases for Maia commands. See
+[the execution specification](../../services/README.md#execution).
+
+ADR-015 accepts a later generated Public operation catalog owned by this
+package. It will enumerate every operation in one exact built public node
+protocol with a stable ID, lifecycle/status metadata, bounded input/output
+schema references, idempotency/revision requirements, Capability/Approval
+metadata, cursor/stream behavior, and documentation route. `@maiaos/sdk`, `maia
+api`, classified `maia help --json` index and family pages, and the eligible injected Notebook bridge will derive
+from one digest-bound registry and fail their build/conformance gate on drift.
+
+The registry will not include roadmap-only methods, CLI presentation,
+NodeBootstrap, database access, Worker administration, provider internals, or
+private service protocols. Descriptors are public metadata rather than grants
+or availability decisions; resource authorization still occurs per invocation.
+No catalog or Notebook schema is exported today. See the [accepted Notebook
+contract](../../services/README.md#execution--portable-notebooks) and
+[ADR-015](../../services/README.md#adr-015).
+
+The node-mediated device-capability endpoint, grant, invocation, and receipt
+schemas remain planned and absent. They are distinct from both protocol
+capability descriptors and execution-instance capabilities; see
+[Device capabilities](../../services/README.md#device-capabilities).
+
+The `maia.protocol/v1alpha1` identifier marks this bootstrap schema. It does not
+define a compatibility window; that requires the planned protocol-versioning
+ADR. Capability names and versions declare support only; they do not grant
+permission.

package/dist/aggregate/revision-effect-schema.d.ts

@@ -0,0 +1,3 @@
+import * as Schema from "effect/Schema";
+export declare const aggregateRevisionEffectSchema: Schema.String;
+//# sourceMappingURL=revision-effect-schema.d.ts.map

package/dist/aggregate/revision-effect-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"revision-effect-schema.d.ts","sourceRoot":"","sources":["../../src/aggregate/revision-effect-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,eAAO,MAAM,6BAA6B,eASzC,CAAC"}

package/dist/aggregate/revision-effect-schema.js

@@ -0,0 +1,4 @@
+import * as Schema from "effect/Schema";
+export const aggregateRevisionEffectSchema = Schema.String.check(Schema.isLengthBetween(1, 19), Schema.isPattern(/^(?:0|[1-9]\d*)$/u), Schema.makeFilter((value) => /^(?:0|[1-9]\d*)$/u.test(value) &&
+    BigInt(value) <= 9223372036854775807n, { expected: "a signed 64-bit non-negative revision" }));
+//# sourceMappingURL=revision-effect-schema.js.map

package/dist/aggregate/revision-effect-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"revision-effect-schema.js","sourceRoot":"","sources":["../../src/aggregate/revision-effect-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,MAAM,CAAC,MAAM,6BAA6B,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAC9D,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,EAAE,CAAC,EAC7B,MAAM,CAAC,SAAS,CAAC,mBAAmB,CAAC,EACrC,MAAM,CAAC,UAAU,CACf,CAAC,KAAK,EAAE,EAAE,CACR,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;IAC/B,MAAM,CAAC,KAAK,CAAC,IAAI,oBAA0B,EAC7C,EAAE,QAAQ,EAAE,uCAAuC,EAAE,CACtD,CACF,CAAC"}

package/dist/capability.d.ts

@@ -0,0 +1,12 @@
+import type { InferRuntimeSchema } from "./runtime-schema.js";
+export declare const capabilityNameSchema: import("./runtime-schema.js").RuntimeSchema<string>;
+export declare const capabilityDescriptorSchema: import("./runtime-schema.js").RuntimeSchema<{
+    readonly name: string;
+    readonly version: number;
+}>;
+export type CapabilityDescriptor = InferRuntimeSchema<typeof capabilityDescriptorSchema>;
+export declare const capabilityListSchema: import("./runtime-schema.js").RuntimeSchema<readonly {
+    readonly name: string;
+    readonly version: number;
+}[]>;
+//# sourceMappingURL=capability.d.ts.map

package/dist/capability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability.d.ts","sourceRoot":"","sources":["../src/capability.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAU9D,eAAO,MAAM,oBAAoB,qDAEhC,CAAC;AAUF,eAAO,MAAM,0BAA0B;;;EAEtC,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG,kBAAkB,CACnD,OAAO,0BAA0B,CAClC,CAAC;AAuBF,eAAO,MAAM,oBAAoB;;;IAEhC,CAAC"}

package/dist/capability.js

@@ -0,0 +1,27 @@
+import * as Schema from "effect/Schema";
+import { makeEffectRuntimeSchema } from "./runtime-schema-effect.js";
+const MAX_CAPABILITY_COUNT = 256;
+const capabilityNameEffectSchema = Schema.String.check(Schema.isLengthBetween(1, 128), Schema.isPattern(/^[a-z][a-z0-9]*(?:[._-][a-z0-9]+)*$/u));
+export const capabilityNameSchema = makeEffectRuntimeSchema(capabilityNameEffectSchema);
+const capabilityDescriptorEffectSchema = Schema.Struct({
+    name: capabilityNameEffectSchema,
+    version: Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(65_535)),
+});
+export const capabilityDescriptorSchema = makeEffectRuntimeSchema(capabilityDescriptorEffectSchema);
+const capabilityListEffectSchema = Schema.Array(capabilityDescriptorEffectSchema).check(Schema.isMaxLength(MAX_CAPABILITY_COUNT), Schema.makeFilter((capabilities) => {
+    const seenNames = new Set();
+    return capabilities.flatMap((capability, index) => {
+        if (seenNames.has(capability.name)) {
+            return [
+                {
+                    issue: `Duplicate capability name: ${capability.name}`,
+                    path: [index, "name"],
+                },
+            ];
+        }
+        seenNames.add(capability.name);
+        return [];
+    });
+}));
+export const capabilityListSchema = makeEffectRuntimeSchema(capabilityListEffectSchema);
+//# sourceMappingURL=capability.js.map

package/dist/capability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability.js","sourceRoot":"","sources":["../src/capability.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAErE,MAAM,oBAAoB,GAAG,GAAG,CAAC;AAEjC,MAAM,0BAA0B,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACpD,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,EAC9B,MAAM,CAAC,SAAS,CAAC,sCAAsC,CAAC,CACzD,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,uBAAuB,CACzD,0BAA0B,CAC3B,CAAC;AAEF,MAAM,gCAAgC,GAAG,MAAM,CAAC,MAAM,CAAC;IACrD,IAAI,EAAE,0BAA0B;IAChC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CACvB,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EACvB,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CACnC;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,0BAA0B,GAAG,uBAAuB,CAC/D,gCAAgC,CACjC,CAAC;AAMF,MAAM,0BAA0B,GAAG,MAAM,CAAC,KAAK,CAC7C,gCAAgC,CACjC,CAAC,KAAK,CACL,MAAM,CAAC,WAAW,CAAC,oBAAoB,CAAC,EACxC,MAAM,CAAC,UAAU,CAAC,CAAC,YAAY,EAAE,EAAE;IACjC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,KAAK,EAAwB,EAAE;QACtE,IAAI,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,OAAO;gBACL;oBACE,KAAK,EAAE,8BAA8B,UAAU,CAAC,IAAI,EAAE;oBACtD,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC;iBACtB;aACF,CAAC;QACJ,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC/B,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CACH,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,uBAAuB,CACzD,0BAA0B,CAC3B,CAAC"}

package/dist/command-receipt/contract.d.ts

@@ -0,0 +1,85 @@
+import type { InferRuntimeSchema } from "../runtime-schema.js";
+export declare const commandReceiptSchema: import("../runtime-schema.js").RuntimeSchema<{
+    readonly actorId: string;
+    readonly aggregateRevision: string;
+    readonly commandId: string;
+    readonly createdAt: string;
+    readonly eventCursor: string;
+    readonly method: string;
+    readonly receiptId: string;
+    readonly schemaVersion: 1;
+    readonly state: "succeeded";
+    readonly target: {
+        readonly id: string;
+        readonly type: string;
+    };
+    readonly updatedAt: string;
+}>;
+export type CommandReceipt = InferRuntimeSchema<typeof commandReceiptSchema>;
+export declare const receiptGetParametersSchema: import("../runtime-schema.js").RuntimeSchema<{
+    readonly commandId: string;
+}>;
+export type ReceiptGetParameters = InferRuntimeSchema<typeof receiptGetParametersSchema>;
+export declare const receiptGetResultSchema: import("../runtime-schema.js").RuntimeSchema<{
+    readonly method: "receipt.get";
+    readonly receipt: {
+        readonly actorId: string;
+        readonly aggregateRevision: string;
+        readonly commandId: string;
+        readonly createdAt: string;
+        readonly eventCursor: string;
+        readonly method: string;
+        readonly receiptId: string;
+        readonly schemaVersion: 1;
+        readonly state: "succeeded";
+        readonly target: {
+            readonly id: string;
+            readonly type: string;
+        };
+        readonly updatedAt: string;
+    };
+    readonly result: unknown;
+}>;
+export type ReceiptGetResult = InferRuntimeSchema<typeof receiptGetResultSchema>;
+export declare const receiptListCursorSchema: import("../runtime-schema.js").RuntimeSchema<string>;
+export type ReceiptListCursor = InferRuntimeSchema<typeof receiptListCursorSchema>;
+export declare const receiptListParametersSchema: import("../runtime-schema.js").RuntimeSchema<{
+    readonly limit: number;
+    readonly method?: "integration.apply.codex" | "integration.apply.pi-rpc" | "integration.remove.codex" | "integration.remove.pi-rpc" | "project.register" | "run.create" | "run.dispatch.settle-terminal" | "run.inbox.ack" | "run.question.cancel" | "run.question.open" | "run.question.reply" | "session.create" | "session.start" | "terminal.controller.acquire" | "terminal.controller.release" | "terminal.controller.renew" | "terminal.controller.request" | "terminal.create" | "terminal.input.write" | "terminal.mutation.reconcile" | "terminal.observer.attach" | "terminal.observer.detach" | "terminal.session.close" | "terminal.session.delete" | "terminal.session.resize" | "terminal.session.restart" | "terminal.session.signal" | "turn.interrupt" | "turn.send" | "workspace.execution.configure" | "workspace.repository.attach" | undefined;
+    readonly actor?: string | undefined;
+    readonly afterCursor?: string | undefined;
+    readonly since?: string | undefined;
+    readonly until?: string | undefined;
+}>;
+export type ReceiptListParameters = InferRuntimeSchema<typeof receiptListParametersSchema>;
+export declare const receiptListItemSchema: import("../runtime-schema.js").RuntimeSchema<{
+    readonly commandId: string;
+    readonly createdAt: string;
+    readonly method: string;
+    readonly receiptId: string;
+    readonly state: "succeeded";
+    readonly target: {
+        readonly id: string;
+        readonly type: string;
+    };
+}>;
+export type ReceiptListItem = InferRuntimeSchema<typeof receiptListItemSchema>;
+export declare const receiptListResultSchema: import("../runtime-schema.js").RuntimeSchema<{
+    readonly method: "receipt.list";
+    readonly items: readonly {
+        readonly commandId: string;
+        readonly createdAt: string;
+        readonly method: string;
+        readonly receiptId: string;
+        readonly state: "succeeded";
+        readonly target: {
+            readonly id: string;
+            readonly type: string;
+        };
+    }[];
+    readonly nextCursor?: string | undefined;
+}>;
+export type ReceiptListResult = InferRuntimeSchema<typeof receiptListResultSchema>;
+export { DEFAULT_RECEIPT_LIST_PAGE_SIZE, MAX_RECEIPT_LIST_PAGE_SIZE, MAX_RECEIPT_LIST_RESULT_BYTES, } from "./policy.js";
+export { COMMAND_RECEIPT_SCHEMA_VERSION } from "./version.js";
+//# sourceMappingURL=contract.d.ts.map

package/dist/command-receipt/contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../src/command-receipt/contract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAa/D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;EAEhC,CAAC;AACF,MAAM,MAAM,cAAc,GAAG,kBAAkB,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAE7E,eAAO,MAAM,0BAA0B;;EAEtC,CAAC;AACF,MAAM,MAAM,oBAAoB,GAAG,kBAAkB,CACnD,OAAO,0BAA0B,CAClC,CAAC;AAEF,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;EAElC,CAAC;AACF,MAAM,MAAM,gBAAgB,GAAG,kBAAkB,CAC/C,OAAO,sBAAsB,CAC9B,CAAC;AAEF,eAAO,MAAM,uBAAuB,sDAEnC,CAAC;AACF,MAAM,MAAM,iBAAiB,GAAG,kBAAkB,CAChD,OAAO,uBAAuB,CAC/B,CAAC;AAEF,eAAO,MAAM,2BAA2B;;;;;;;EAEvC,CAAC;AACF,MAAM,MAAM,qBAAqB,GAAG,kBAAkB,CACpD,OAAO,2BAA2B,CACnC,CAAC;AAEF,eAAO,MAAM,qBAAqB;;;;;;;;;;EAEjC,CAAC;AACF,MAAM,MAAM,eAAe,GAAG,kBAAkB,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAE/E,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;EAEnC,CAAC;AACF,MAAM,MAAM,iBAAiB,GAAG,kBAAkB,CAChD,OAAO,uBAAuB,CAC/B,CAAC;AAEF,OAAO,EACL,8BAA8B,EAC9B,0BAA0B,EAC1B,6BAA6B,GAC9B,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,8BAA8B,EAAE,MAAM,cAAc,CAAC"}

package/dist/command-receipt/contract.js

@@ -0,0 +1,12 @@
+import { makeEffectRuntimeSchema } from "../runtime-schema-effect.js";
+import { commandReceiptEffectSchema, receiptGetParametersEffectSchema, receiptGetResultEffectSchema, receiptListCursorEffectSchema, receiptListItemEffectSchema, receiptListParametersEffectSchema, receiptListResultEffectSchema, } from "./effect-schema.js";
+export const commandReceiptSchema = makeEffectRuntimeSchema(commandReceiptEffectSchema);
+export const receiptGetParametersSchema = makeEffectRuntimeSchema(receiptGetParametersEffectSchema);
+export const receiptGetResultSchema = makeEffectRuntimeSchema(receiptGetResultEffectSchema);
+export const receiptListCursorSchema = makeEffectRuntimeSchema(receiptListCursorEffectSchema);
+export const receiptListParametersSchema = makeEffectRuntimeSchema(receiptListParametersEffectSchema);
+export const receiptListItemSchema = makeEffectRuntimeSchema(receiptListItemEffectSchema);
+export const receiptListResultSchema = makeEffectRuntimeSchema(receiptListResultEffectSchema);
+export { DEFAULT_RECEIPT_LIST_PAGE_SIZE, MAX_RECEIPT_LIST_PAGE_SIZE, MAX_RECEIPT_LIST_RESULT_BYTES, } from "./policy.js";
+export { COMMAND_RECEIPT_SCHEMA_VERSION } from "./version.js";
+//# sourceMappingURL=contract.js.map

package/dist/command-receipt/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../src/command-receipt/contract.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EACL,0BAA0B,EAC1B,gCAAgC,EAChC,4BAA4B,EAC5B,6BAA6B,EAC7B,2BAA2B,EAC3B,iCAAiC,EACjC,6BAA6B,GAC9B,MAAM,oBAAoB,CAAC;AAE5B,MAAM,CAAC,MAAM,oBAAoB,GAAG,uBAAuB,CACzD,0BAA0B,CAC3B,CAAC;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,uBAAuB,CAC/D,gCAAgC,CACjC,CAAC;AAKF,MAAM,CAAC,MAAM,sBAAsB,GAAG,uBAAuB,CAC3D,4BAA4B,CAC7B,CAAC;AAKF,MAAM,CAAC,MAAM,uBAAuB,GAAG,uBAAuB,CAC5D,6BAA6B,CAC9B,CAAC;AAKF,MAAM,CAAC,MAAM,2BAA2B,GAAG,uBAAuB,CAChE,iCAAiC,CAClC,CAAC;AAKF,MAAM,CAAC,MAAM,qBAAqB,GAAG,uBAAuB,CAC1D,2BAA2B,CAC5B,CAAC;AAGF,MAAM,CAAC,MAAM,uBAAuB,GAAG,uBAAuB,CAC5D,6BAA6B,CAC9B,CAAC;AAKF,OAAO,EACL,8BAA8B,EAC9B,0BAA0B,EAC1B,6BAA6B,GAC9B,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,8BAA8B,EAAE,MAAM,cAAc,CAAC"}

package/dist/command-receipt/effect-schema.d.ts

@@ -0,0 +1,78 @@
+import * as Schema from "effect/Schema";
+export declare const commandReceiptEffectSchema: Schema.Struct<{
+    readonly actorId: Schema.String;
+    readonly aggregateRevision: Schema.String;
+    readonly commandId: Schema.String;
+    readonly createdAt: Schema.String;
+    readonly eventCursor: Schema.String;
+    readonly method: Schema.String;
+    readonly receiptId: Schema.String;
+    readonly schemaVersion: Schema.Literal<1>;
+    readonly state: Schema.Literal<"succeeded">;
+    readonly target: Schema.Struct<{
+        readonly id: Schema.String;
+        readonly type: Schema.String;
+    }>;
+    readonly updatedAt: Schema.String;
+}>;
+export declare const receiptGetParametersEffectSchema: Schema.Struct<{
+    readonly commandId: Schema.String;
+}>;
+export declare const receiptGetResultEffectSchema: Schema.Struct<{
+    readonly method: Schema.Literal<"receipt.get">;
+    readonly receipt: Schema.Struct<{
+        readonly actorId: Schema.String;
+        readonly aggregateRevision: Schema.String;
+        readonly commandId: Schema.String;
+        readonly createdAt: Schema.String;
+        readonly eventCursor: Schema.String;
+        readonly method: Schema.String;
+        readonly receiptId: Schema.String;
+        readonly schemaVersion: Schema.Literal<1>;
+        readonly state: Schema.Literal<"succeeded">;
+        readonly target: Schema.Struct<{
+            readonly id: Schema.String;
+            readonly type: Schema.String;
+        }>;
+        readonly updatedAt: Schema.String;
+    }>;
+    readonly result: Schema.Unknown;
+}>;
+export declare const receiptListCursorEffectSchema: Schema.String;
+export declare const receiptListMethodFilterEffectSchema: Schema.Literals<readonly ["integration.apply.codex", "integration.apply.pi-rpc", "integration.remove.codex", "integration.remove.pi-rpc", "project.register", "run.create", "run.dispatch.settle-terminal", "run.inbox.ack", "run.question.cancel", "run.question.open", "run.question.reply", "session.create", "session.start", "terminal.controller.acquire", "terminal.controller.release", "terminal.controller.renew", "terminal.controller.request", "terminal.create", "terminal.input.write", "terminal.mutation.reconcile", "terminal.observer.attach", "terminal.observer.detach", "terminal.session.close", "terminal.session.delete", "terminal.session.resize", "terminal.session.restart", "terminal.session.signal", "turn.interrupt", "turn.send", "workspace.execution.configure", "workspace.repository.attach"]>;
+export declare const receiptListItemMethodEffectSchema: Schema.String;
+export declare const receiptListParametersEffectSchema: Schema.Struct<{
+    readonly actor: Schema.optional<Schema.String>;
+    readonly afterCursor: Schema.optional<Schema.String>;
+    readonly limit: Schema.Int;
+    readonly method: Schema.optional<Schema.Literals<readonly ["integration.apply.codex", "integration.apply.pi-rpc", "integration.remove.codex", "integration.remove.pi-rpc", "project.register", "run.create", "run.dispatch.settle-terminal", "run.inbox.ack", "run.question.cancel", "run.question.open", "run.question.reply", "session.create", "session.start", "terminal.controller.acquire", "terminal.controller.release", "terminal.controller.renew", "terminal.controller.request", "terminal.create", "terminal.input.write", "terminal.mutation.reconcile", "terminal.observer.attach", "terminal.observer.detach", "terminal.session.close", "terminal.session.delete", "terminal.session.resize", "terminal.session.restart", "terminal.session.signal", "turn.interrupt", "turn.send", "workspace.execution.configure", "workspace.repository.attach"]>>;
+    readonly since: Schema.optional<Schema.String>;
+    readonly until: Schema.optional<Schema.String>;
+}>;
+export declare const receiptListItemEffectSchema: Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly createdAt: Schema.String;
+    readonly method: Schema.String;
+    readonly receiptId: Schema.String;
+    readonly state: Schema.Literal<"succeeded">;
+    readonly target: Schema.Struct<{
+        readonly id: Schema.String;
+        readonly type: Schema.String;
+    }>;
+}>;
+export declare const receiptListResultEffectSchema: Schema.Struct<{
+    readonly items: Schema.$Array<Schema.Struct<{
+        readonly commandId: Schema.String;
+        readonly createdAt: Schema.String;
+        readonly method: Schema.String;
+        readonly receiptId: Schema.String;
+        readonly state: Schema.Literal<"succeeded">;
+        readonly target: Schema.Struct<{
+            readonly id: Schema.String;
+            readonly type: Schema.String;
+        }>;
+    }>>;
+    readonly method: Schema.Literal<"receipt.list">;
+    readonly nextCursor: Schema.optional<Schema.String>;
+}>;
+//# sourceMappingURL=effect-schema.d.ts.map

package/dist/command-receipt/effect-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-schema.d.ts","sourceRoot":"","sources":["../../src/command-receipt/effect-schema.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAYxC,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;EAerC,CAAC;AAEH,eAAO,MAAM,gCAAgC;;EAE3C,CAAC;AAEH,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;EAIvC,CAAC;AAEH,eAAO,MAAM,6BAA6B,eAAiC,CAAC;AAE5E,eAAO,MAAM,mCAAmC,syBAE/C,CAAC;AAEF,eAAO,MAAM,iCAAiC,eAAiC,CAAC;AA4BhF,eAAO,MAAM,iCAAiC;;;;;;;EAK3C,CAAC;AAEJ,eAAO,MAAM,2BAA2B;;;;;;;;;;EAUtC,CAAC;AAEH,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;EAMxC,CAAC"}

package/dist/command-receipt/effect-schema.js

@@ -0,0 +1,72 @@
+import * as DateTime from "effect/DateTime";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import { aggregateRevisionEffectSchema } from "../aggregate/revision-effect-schema.js";
+import { protocolIdentifierEffectSchema } from "../envelope-effect-schema.js";
+import { recordedAtEffectSchema } from "../temporal/recorded-at.js";
+import { MAX_RECEIPT_LIST_PAGE_SIZE, RECEIPT_LIST_FILTER_METHODS, } from "./policy.js";
+import { COMMAND_RECEIPT_SCHEMA_VERSION } from "./version.js";
+export const commandReceiptEffectSchema = Schema.Struct({
+    actorId: protocolIdentifierEffectSchema,
+    aggregateRevision: aggregateRevisionEffectSchema,
+    commandId: protocolIdentifierEffectSchema,
+    createdAt: recordedAtEffectSchema,
+    eventCursor: aggregateRevisionEffectSchema,
+    method: protocolIdentifierEffectSchema,
+    receiptId: protocolIdentifierEffectSchema,
+    schemaVersion: Schema.Literal(COMMAND_RECEIPT_SCHEMA_VERSION),
+    state: Schema.Literal("succeeded"),
+    target: Schema.Struct({
+        id: protocolIdentifierEffectSchema,
+        type: protocolIdentifierEffectSchema,
+    }),
+    updatedAt: recordedAtEffectSchema,
+});
+export const receiptGetParametersEffectSchema = Schema.Struct({
+    commandId: protocolIdentifierEffectSchema,
+});
+export const receiptGetResultEffectSchema = Schema.Struct({
+    method: Schema.Literal("receipt.get"),
+    receipt: commandReceiptEffectSchema,
+    result: Schema.Unknown,
+});
+export const receiptListCursorEffectSchema = protocolIdentifierEffectSchema;
+export const receiptListMethodFilterEffectSchema = Schema.Literals(RECEIPT_LIST_FILTER_METHODS);
+export const receiptListItemMethodEffectSchema = protocolIdentifierEffectSchema;
+const receiptListWindowIsInclusive = (input) => {
+    if (input.since === undefined || input.until === undefined)
+        return true;
+    const since = DateTime.make(input.since);
+    const until = DateTime.make(input.until);
+    return (Option.isSome(since) &&
+        Option.isSome(until) &&
+        DateTime.toEpochMillis(since.value) <= DateTime.toEpochMillis(until.value));
+};
+const receiptListParametersStructEffectSchema = Schema.Struct({
+    actor: Schema.optional(protocolIdentifierEffectSchema),
+    afterCursor: Schema.optional(receiptListCursorEffectSchema),
+    limit: Schema.Int.check(Schema.isGreaterThanOrEqualTo(1), Schema.isLessThanOrEqualTo(MAX_RECEIPT_LIST_PAGE_SIZE)),
+    method: Schema.optional(receiptListMethodFilterEffectSchema),
+    since: Schema.optional(recordedAtEffectSchema),
+    until: Schema.optional(recordedAtEffectSchema),
+});
+export const receiptListParametersEffectSchema = receiptListParametersStructEffectSchema.check(Schema.makeFilter(receiptListWindowIsInclusive, {
+    expected: "an inclusive since/until recorded-at range",
+}));
+export const receiptListItemEffectSchema = Schema.Struct({
+    commandId: protocolIdentifierEffectSchema,
+    createdAt: recordedAtEffectSchema,
+    method: receiptListItemMethodEffectSchema,
+    receiptId: protocolIdentifierEffectSchema,
+    state: Schema.Literal("succeeded"),
+    target: Schema.Struct({
+        id: protocolIdentifierEffectSchema,
+        type: protocolIdentifierEffectSchema,
+    }),
+});
+export const receiptListResultEffectSchema = Schema.Struct({
+    items: Schema.Array(receiptListItemEffectSchema).check(Schema.isMaxLength(MAX_RECEIPT_LIST_PAGE_SIZE)),
+    method: Schema.Literal("receipt.list"),
+    nextCursor: Schema.optional(receiptListCursorEffectSchema),
+});
+//# sourceMappingURL=effect-schema.js.map

package/dist/command-receipt/effect-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-schema.js","sourceRoot":"","sources":["../../src/command-receipt/effect-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,6BAA6B,EAAE,MAAM,wCAAwC,CAAC;AACvF,OAAO,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AAEpE,OAAO,EACL,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,8BAA8B,EAAE,MAAM,cAAc,CAAC;AAE9D,MAAM,CAAC,MAAM,0BAA0B,GAAG,MAAM,CAAC,MAAM,CAAC;IACtD,OAAO,EAAE,8BAA8B;IACvC,iBAAiB,EAAE,6BAA6B;IAChD,SAAS,EAAE,8BAA8B;IACzC,SAAS,EAAE,sBAAsB;IACjC,WAAW,EAAE,6BAA6B;IAC1C,MAAM,EAAE,8BAA8B;IACtC,SAAS,EAAE,8BAA8B;IACzC,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,8BAA8B,CAAC;IAC7D,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;QACpB,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,8BAA8B;KACrC,CAAC;IACF,SAAS,EAAE,sBAAsB;CAClC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gCAAgC,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5D,SAAS,EAAE,8BAA8B;CAC1C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,4BAA4B,GAAG,MAAM,CAAC,MAAM,CAAC;IACxD,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC;IACrC,OAAO,EAAE,0BAA0B;IACnC,MAAM,EAAE,MAAM,CAAC,OAAO;CACvB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,6BAA6B,GAAG,8BAA8B,CAAC;AAE5E,MAAM,CAAC,MAAM,mCAAmC,GAAG,MAAM,CAAC,QAAQ,CAChE,2BAA2B,CAC5B,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,8BAA8B,CAAC;AAEhF,MAAM,4BAA4B,GAAG,CAAC,KAGrC,EAAW,EAAE;IACZ,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACxE,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,CACL,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QACpB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QACpB,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAC3E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,uCAAuC,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5D,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,8BAA8B,CAAC;IACtD,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IAC3D,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CACrB,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAChC,MAAM,CAAC,mBAAmB,CAAC,0BAA0B,CAAC,CACvD;IACD,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,mCAAmC,CAAC;IAC5D,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IAC9C,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,sBAAsB,CAAC;CAC/C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iCAAiC,GAC5C,uCAAuC,CAAC,KAAK,CAC3C,MAAM,CAAC,UAAU,CAAC,4BAA4B,EAAE;IAC9C,QAAQ,EAAE,4CAA4C;CACvD,CAAC,CACH,CAAC;AAEJ,MAAM,CAAC,MAAM,2BAA2B,GAAG,MAAM,CAAC,MAAM,CAAC;IACvD,SAAS,EAAE,8BAA8B;IACzC,SAAS,EAAE,sBAAsB;IACjC,MAAM,EAAE,iCAAiC;IACzC,SAAS,EAAE,8BAA8B;IACzC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;QACpB,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,8BAA8B;KACrC,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,6BAA6B,GAAG,MAAM,CAAC,MAAM,CAAC;IACzD,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,KAAK,CACpD,MAAM,CAAC,WAAW,CAAC,0BAA0B,CAAC,CAC/C;IACD,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC;IACtC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,6BAA6B,CAAC;CAC3D,CAAC,CAAC"}

package/dist/command-receipt/policy.d.ts

@@ -0,0 +1,16 @@
+import type { LocalNodeRequestMethod } from "../local-node/methods.js";
+export declare const DEFAULT_RECEIPT_LIST_PAGE_SIZE = 8;
+export declare const MAX_RECEIPT_LIST_PAGE_SIZE = 32;
+export declare const MAX_RECEIPT_LIST_RESULT_BYTES: number;
+export declare const RECEIPT_LIST_FILTER_METHODS: readonly ["integration.apply.codex", "integration.apply.pi-rpc", "integration.remove.codex", "integration.remove.pi-rpc", "project.register", "run.create", "run.dispatch.settle-terminal", "run.inbox.ack", "run.question.cancel", "run.question.open", "run.question.reply", "session.create", "session.start", "terminal.controller.acquire", "terminal.controller.release", "terminal.controller.renew", "terminal.controller.request", "terminal.create", "terminal.input.write", "terminal.mutation.reconcile", "terminal.observer.attach", "terminal.observer.detach", "terminal.session.close", "terminal.session.delete", "terminal.session.resize", "terminal.session.restart", "terminal.session.signal", "turn.interrupt", "turn.send", "workspace.execution.configure", "workspace.repository.attach"];
+export declare const RECEIPT_LIST_NON_FILTER_METHODS: readonly ["context.show", "execution.catalog.get", "harness.installed.list", "integration.plan.codex", "integration.plan.pi-rpc", "integration.status.codex", "integration.status.pi-rpc", "monitor.bootstrap.create", "node.shutdown", "node.status", "project.list", "project.show", "receipt.get", "receipt.list", "run.dispatch.show", "run.inbox.check", "run.list", "run.show", "run.task.list", "run.task.show", "runtime.probe", "session.events.list", "session.list", "session.show", "terminal.controller.request.show", "terminal.events.list", "terminal.list", "terminal.observer.check", "terminal.observer.resync", "terminal.read", "terminal.show", "turn.show", "workspace.list", "workspace.execution.show", "workspace.show"];
+type ReceiptListFilterMethod = (typeof RECEIPT_LIST_FILTER_METHODS)[number];
+type ReceiptListNonFilterMethod = (typeof RECEIPT_LIST_NON_FILTER_METHODS)[number];
+type ReceiptListMethodPartition = ReceiptListFilterMethod | ReceiptListNonFilterMethod;
+type AssertExact<TLeft, TRight> = [TLeft] extends [TRight] ? [TRight] extends [TLeft] ? true : never : never;
+export declare const receiptListMethodCatalogIsPartitioned: AssertExact<LocalNodeRequestMethod, ReceiptListMethodPartition>;
+export declare const receiptListFilterIsDisjoint: [
+    Extract<ReceiptListFilterMethod, ReceiptListNonFilterMethod>
+] extends [never] ? true : never;
+export {};
+//# sourceMappingURL=policy.d.ts.map

package/dist/command-receipt/policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../../src/command-receipt/policy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAEvE,eAAO,MAAM,8BAA8B,IAAI,CAAC;AAChD,eAAO,MAAM,0BAA0B,KAAK,CAAC;AAC7C,eAAO,MAAM,6BAA6B,QAAY,CAAC;AAEvD,eAAO,MAAM,2BAA2B,qxBAgCc,CAAC;AAEvD,eAAO,MAAM,+BAA+B,otBAoCU,CAAC;AAEvD,KAAK,uBAAuB,GAAG,CAAC,OAAO,2BAA2B,CAAC,CAAC,MAAM,CAAC,CAAC;AAC5E,KAAK,0BAA0B,GAC7B,CAAC,OAAO,+BAA+B,CAAC,CAAC,MAAM,CAAC,CAAC;AACnD,KAAK,0BAA0B,GAC7B,uBAAuB,GAAG,0BAA0B,CAAC;AAEvD,KAAK,WAAW,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,GACtD,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GACtB,IAAI,GACJ,KAAK,GACP,KAAK,CAAC;AAEV,eAAO,MAAM,qCAAqC,EAAE,WAAW,CAC7D,sBAAsB,EACtB,0BAA0B,CACpB,CAAC;AACT,eAAO,MAAM,2BAA2B,EAAE;IACxC,OAAO,CAAC,uBAAuB,EAAE,0BAA0B,CAAC;CAC7D,SAAS,CAAC,KAAK,CAAC,GACb,IAAI,GACJ,KAAY,CAAC"}