@astrosheep/keiyaku 4.1.0 → 4.1.2

package/build/src/library/contract-types.d.ts

@@ -0,0 +1,95 @@
+import type { ContractId, JournalEntry, SnapshotId } from "../core/facts/types.js";
+import type { ContractFileEffect, ContractFileLag } from "../contract-worktree.js";
+import type { ReconcileReport as ProtocolReconcileReport } from "../protocol/reconcile.js";
+import type { Dispatch } from "../dispatch/index.js";
+import type { Gate, WorktreeHooks } from "./configuration.js";
+import type { AmendRegionObservation, RegionObservation } from "./region.js";
+import type { Repo } from "./repo.js";
+import type { MutationResult } from "./mutation.js";
+import type { SettlementReport } from "../settlement/settle.js";
+import type { Keiyaku, AttestationVerdict } from "./contract.js";
+import type { TaskId } from "../task/identity.js";
+export type BindResult = Readonly<Omit<MutationResult<Keiyaku>, "value"> & {
+    keiyaku: Keiyaku;
+} & RegionObservation>;
+export type Fact = JournalEntry;
+export type ContractHistoryEvent = Readonly<{
+    source: "journal";
+    fact: Fact;
+}> | Readonly<{
+    source: "dispatch";
+    dispatch: Dispatch;
+}>;
+export type ContractHistory = Readonly<{
+    id: ContractId;
+    state: SnapshotId;
+    events: readonly ContractHistoryEvent[];
+}>;
+export type TopologyEffect = ProtocolReconcileReport["effects"][number] | ContractFileEffect;
+export type Lag = ProtocolReconcileReport["lag"][number] | ContractFileLag;
+export type AmendResult = Readonly<MutationResult<void> & {
+    documentDiff: string;
+}> & AmendRegionObservation;
+export type ReconcileReport = Readonly<{
+    effects: readonly (ProtocolReconcileReport["effects"][number] | ContractFileEffect)[];
+    lag: readonly (ProtocolReconcileReport["lag"][number] | ContractFileLag)[];
+    settlement: SettlementReport;
+}>;
+export type MarkdownBindInput = Readonly<{
+    repo: Repo;
+    markdown: string;
+    task?: TaskId;
+    target?: string;
+    workspace?: "worktree";
+    actor?: string;
+    after?: readonly ContractId[];
+    gates?: readonly Gate[];
+    hooks?: WorktreeHooks;
+}>;
+export type ForkBindInput = Readonly<{
+    repo: Repo;
+    forkOf: ContractId;
+    target?: string;
+    workspace?: "worktree";
+    actor?: string;
+    hooks?: WorktreeHooks;
+}>;
+export type BindInput = MarkdownBindInput | ForkBindInput;
+type ActorOptions = Readonly<{
+    actor?: string;
+    hooks?: WorktreeHooks;
+}>;
+export type AmendInput = ActorOptions & Readonly<{
+    markdown?: string;
+    after?: readonly ContractId[];
+    gates?: readonly Gate[];
+}>;
+export type ArcInput = ActorOptions & Readonly<{
+    markdown: string;
+}>;
+export type ContractListInput = Readonly<{
+    repo: Repo;
+}>;
+export type ContractObservationInput = Readonly<{
+    repo: Repo;
+    id: ContractId;
+}>;
+export type KeiyakuOfInput = Readonly<{
+    repo: Repo;
+    id: ContractId;
+}>;
+export type ReviewInput = ActorOptions & Readonly<{
+    verdict: AttestationVerdict;
+    summary?: string;
+}>;
+export type AbandonInput = ActorOptions & Readonly<{
+    note?: string;
+}>;
+export type DeliverInput = ActorOptions & Readonly<{
+    message?: string;
+    requireBranchesToBeUpToDate?: boolean;
+    includeDirty?: boolean;
+    materializeConflict?: boolean;
+    signal?: AbortSignal;
+}>;
+export {};

package/build/src/library/contract-types.js

@@ -0,0 +1 @@
+export {};

package/build/src/library/contract.d.ts

@@ -1,168 +1,31 @@
-import { type ContractFileEffect, type ContractFileLag } from "../contract-worktree.js";
-import { type RegionObservation, type RegionOverlap } from "./region.js";
-import { type Gate, type WorktreeHooks } from "./configuration.js";
-import { type ChangeId, type ContractId, type ContractState, type JournalEntry, type SnapshotId } from "../core/facts/types.js";
+import { type RegionOverlap } from "./region.js";
+import { type ChangeId, type FactKind, type ContractId, type ContractState, type SnapshotId } from "../core/facts/types.js";
 export { AuthorityCorruptionError } from "../core/facts/errors.js";
 import { type PlacementStop, type RepositoryScope, type VerificationStop, type DeliveryPreparationRefusal } from "../protocol/operations.js";
-import type { ContractBoard, ContractDisposition, ContractGateCurrent, ContractGateReport, ContractObservation, ContractPhase, ContractRow } from "../protocol/read/status.js";
+import type { ContractBoard, ContractDisposition, ContractGateCurrent, ContractGateReport, ContractObservation, ContractPhase, ContractRow, AfterEndpointObservation, ContractAfterEdge, ContractDependent, ContractWorkspaceObservation } from "../protocol/read/status.js";
 import type { AuditReport } from "../protocol/audit.js";
-import { type IntegrationConflictMaterialized, type VerificationReuse } from "../protocol/deliver.js";
-import type { ReconcileReport as ProtocolReconcileReport } from "../protocol/reconcile.js";
-import { type ReviewValue } from "../protocol/review.js";
-import type { FactKind } from "../core/facts/types.js";
-import { type Dispatch } from "../dispatch/index.js";
-import { type SettlementReport } from "../settlement/settle.js";
-import { type TaskId } from "../task/identity.js";
-import { Repo, type ReconcileInput } from "./repo.js";
+import type { IntegrationConflictMaterialized, VerificationReuse } from "../protocol/deliver.js";
+import type { TaskId } from "../task/identity.js";
+import { type ReconcileInput } from "./repo.js";
 import { type AuditInput } from "./audit.js";
-import { Delivery, type DeliveryValue } from "./delivery.js";
+import { Delivery } from "./delivery.js";
 import { type ContinuationReport } from "./continuation.js";
 import { type MutationResult } from "./mutation.js";
+import type { AbandonInput, AmendInput, AmendResult, ArcInput, BindInput, BindResult, ContractListInput, ContractObservationInput, DeliverInput, ForkBindInput, KeiyakuOfInput, MarkdownBindInput, ReconcileReport, ReviewInput, ContractHistory, ContractHistoryEvent, Fact, Lag, TopologyEffect } from "./contract-types.js";
+import { type AttestationVerdict as OperationAttestationVerdict, type Review as OperationReview } from "./contract-operations.js";
 import { KeiyakuRetry, type KeiyakuRefusal, type KeiyakuRetryReason } from "./refusal.js";
-export { KeiyakuRefused, type ContractAppointmentRefusal, } from "./refusal.js";
-export { KeiyakuRetry };
-export type { KeiyakuRefusal, KeiyakuRetryReason };
+export { KeiyakuRefused } from "./refusal.js";
+export { KeiyakuRetry, type KeiyakuRefusal, type KeiyakuRetryReason };
+export { executeForwardedDeliver, executeForwardedReview } from "./contract-operations.js";
 export { gatesFrom, requireBranchesToBeUpToDateFrom, SettingsError } from "./configuration.js";
-export type { Gate, GatesFromInput, HookCommand, RequireBranchesToBeUpToDateFromInput, WorktreeHooks } from "./configuration.js";
-export type { AuditReport, DeliveryPreparationRefusal, ChangeId, ContractId, ContractState, ContractBoard, ContractDisposition, ContractGateCurrent, ContractGateReport, ContractObservation, ContractPhase, ContractRow, FactKind, SnapshotId, };
-export type { TaskId };
-export type { RegionOverlap };
-export type Fact = JournalEntry;
-export type ContractHistoryEvent = Readonly<{
-    source: "journal";
-    fact: Fact;
-}> | Readonly<{
-    source: "dispatch";
-    dispatch: Dispatch;
-}>;
-export type ContractHistory = Readonly<{
-    id: ContractId;
-    state: SnapshotId;
-    events: readonly ContractHistoryEvent[];
-}>;
+export type { Gate, GatesFromInput, HookCommand, RequireBranchesToBeUpToDateFromInput, WorktreeHooks, } from "./configuration.js";
+export type { AbandonInput, AmendInput, AmendResult, ArcInput, AuditInput, AuditReport, ChangeId, ContinuationReport, ContractBoard, ContractDisposition, ContractGateCurrent, ContractGateReport, ContractAfterEdge, ContractId, ContractHistory, ContractHistoryEvent, ContractDependent, ContractObservation, ContractPhase, ContractRow, ContractState, ContractWorkspaceObservation, BindInput, BindResult, ContractListInput, ContractObservationInput, DeliverInput, ForkBindInput, KeiyakuOfInput, MarkdownBindInput, ReconcileReport, ReviewInput, DeliveryPreparationRefusal, Fact, FactKind, IntegrationConflictMaterialized, Lag, MutationResult, PlacementStop, RegionOverlap, SnapshotId, TaskId, TopologyEffect, VerificationReuse, VerificationStop, };
+export type { AfterEndpointObservation };
 export type ActorId = string;
-export type AttestationVerdict = "satisfied" | "unsatisfied";
-export type Review = ReviewValue & Readonly<{
-    continuation?: ContinuationReport;
-}>;
-export type { PlacementStop, VerificationReuse, VerificationStop, IntegrationConflictMaterialized };
-export type { ContinuationReport };
-export type TopologyEffect = ProtocolReconcileReport["effects"][number] | ContractFileEffect;
-export type Lag = ProtocolReconcileReport["lag"][number] | ContractFileLag;
-export type { MutationResult };
+export type AttestationVerdict = OperationAttestationVerdict;
+export type Review = OperationReview;
 export { Delivery };
-export type BindResult = Readonly<Omit<MutationResult<Keiyaku>, "value"> & {
-    keiyaku: Keiyaku;
-} & RegionObservation>;
-export type AmendResult = Readonly<MutationResult<void> & RegionObservation & {
-    documentDiff: string;
-}>;
-export type ReconcileReport = Readonly<{
-    effects: readonly TopologyEffect[];
-    lag: readonly Lag[];
-    settlement: SettlementReport;
-}>;
 export type { SettlementAction, SettlementLag, SettlementReport } from "../settlement/settle.js";
-export type BindInput = Readonly<{
-    repo: Repo;
-    markdown: string;
-    task?: TaskId;
-    target?: string;
-    workspace?: "worktree" | "here";
-    actor?: ActorId;
-    after?: readonly ContractId[];
-    gates?: readonly Gate[];
-    hooks?: WorktreeHooks;
-}>;
-export type AmendInput = Readonly<{
-    markdown?: string;
-    actor?: ActorId;
-    after?: readonly ContractId[];
-    gates?: readonly Gate[];
-    hooks?: WorktreeHooks;
-}>;
-export type ArcInput = Readonly<{
-    markdown: string;
-    actor?: ActorId;
-    hooks?: WorktreeHooks;
-}>;
-type HookOptions = Readonly<{
-    hooks?: WorktreeHooks;
-}>;
-type ActorOptions = Readonly<{
-    actor?: ActorId;
-}> & HookOptions;
-export type ContractListInput = Readonly<{
-    repo: Repo;
-}>;
-export type ContractObservationInput = Readonly<{
-    repo: Repo;
-    id: ContractId;
-}>;
-export type KeiyakuOfInput = Readonly<{
-    repo: Repo;
-    id: ContractId;
-}>;
-export type ReviewInput = ActorOptions & Readonly<{
-    verdict: AttestationVerdict;
-    summary?: string;
-}>;
-export type AbandonInput = ActorOptions & Readonly<{
-    note?: string;
-}>;
-export type DeliverInput = ActorOptions & Readonly<{
-    message?: string;
-    requireBranchesToBeUpToDate?: boolean;
-    includeDirty?: boolean;
-    materializeConflict?: boolean;
-    signal?: AbortSignal;
-}>;
-type ForwardedDeliveryReceipt = Readonly<{
-    kind: "accepted";
-    result: MutationResult<DeliveryValue>;
-}> | Readonly<{
-    kind: "refused";
-    refusal: KeiyakuRefusal;
-}> | Readonly<{
-    kind: "retry";
-    reason: KeiyakuRetryReason;
-}> | IntegrationConflictMaterialized;
-type ForwardedReviewReceipt = Readonly<{
-    kind: "accepted";
-    result: MutationResult<Review>;
-}> | Readonly<{
-    kind: "refused";
-    refusal: KeiyakuRefusal;
-}> | Readonly<{
-    kind: "retry";
-    reason: KeiyakuRetryReason;
-}>;
-export type { AuditInput };
-export declare function executeForwardedDeliver(input: Readonly<{
-    repo: Repo;
-    contractId: string;
-    requester: string;
-    message?: string;
-    includeDirty: boolean;
-    materializeConflict: boolean;
-    requireBranchesToBeUpToDate: boolean;
-    hooks: WorktreeHooks;
-    signal?: AbortSignal;
-}>): Promise<Readonly<{
-    result: ForwardedDeliveryReceipt;
-    deliveryFactId?: string;
-}>>;
-export declare function executeForwardedReview(input: Readonly<{
-    repo: Repo;
-    contractId: string;
-    requester: string;
-    verdict: AttestationVerdict;
-    summary?: string;
-    hooks: WorktreeHooks;
-}>): Promise<Readonly<{
-    result: ForwardedReviewReceipt;
-    reviewFactId?: string;
-}>>;
 export declare class KeiyakuHandle {
     private readonly id;
     private readonly scope;
@@ -190,3 +53,5 @@ export declare function keiyakuOf(input: KeiyakuOfInput): Keiyaku;
 export declare function listKeiyaku(input: ContractListInput): Promise<ContractBoard>;
 export declare function observeKeiyaku(input: ContractObservationInput): Promise<ContractObservation>;
 export declare function bindKeiyaku(input: BindInput): Promise<BindResult>;
+/** Internal CLI composition; not exported from the package root. */
+export declare function bindFromCli(input: BindInput): Promise<BindResult>;