@company-semantics/contracts 91.0.0 → 92.0.0

package/src/workflows/outcome.ts

@@ -16,8 +16,9 @@
  *   record: a renderer that switches on `reason` is exhaustive, and a new fact is
  *   a schema change, not a new spelling.
  * - KIND IS A FUNCTION OF REASON. `kind` is carried for consumers that only care
- *   about the shape of the ending, but it is fixed by the per-type table below
- *   (`*_OUTCOME_KIND_OF_REASON`) and the schema refuses any other pairing.
+ *   about the shape of the ending, but it is fixed by the per-type table
+ *   (`*_OUTCOME_KIND_OF_REASON` in `./outcome-reasons.ts`) and the schema
+ *   refuses any other pairing.
  * - DISPOSITION IS EXPLICIT. `review` names the input request a person decides
  *   on; `narrate` means the ending is told, not reviewed. `produced` does not
  *   imply a review surface, and only a `produced` or `partial` outcome may carry
@@ -44,26 +45,19 @@ import {
   type OfferedAffordance,
 } from "../affordances/affordance";
 import { INPUT_REQUEST_TYPES } from "../input-requests/types";
-
-/** The shape of an ending, shared by every workflow type. */
-export const WORKFLOW_OUTCOME_KINDS = [
-  /** The run produced what it is for. */
-  "produced",
-  /** The run finished and produced nothing. */
-  "empty",
-  /** The run finished short of full coverage (a budget or ceiling). */
-  "partial",
-  /** A person stopped the run; Continue may begin a new execution epoch. */
-  "stopped",
-  /** The run failed. */
-  "failed",
-  /** The run went silent and the reconciler closed it. */
-  "abandoned",
-  /** A terminal transition the classifier did not recognize. */
-  "unknown",
-] as const;
-
-export type WorkflowOutcomeKind = (typeof WORKFLOW_OUTCOME_KINDS)[number];
+import {
+  DISCOVER_AFFORDANCES_OF_REASON,
+  DISCOVER_OUTCOME_KIND_OF_REASON,
+  DiscoverOutcomeFactsSchema,
+  ORG_STRUCTURE_AFFORDANCES_OF_REASON,
+  ORG_STRUCTURE_OUTCOME_KIND_OF_REASON,
+  OrgStructureOutcomeFactsSchema,
+  SYNTHESIZE_AFFORDANCES_OF_REASON,
+  SYNTHESIZE_OUTCOME_KIND_OF_REASON,
+  SynthesizeOutcomeFactsSchema,
+  WORKFLOW_OUTCOME_KINDS,
+  type WorkflowOutcomeKind,
+} from "./outcome-reasons";
 
 const KindSchema = z.enum(WORKFLOW_OUTCOME_KINDS);
 
@@ -85,211 +79,6 @@ export type WorkflowOutcomeDisposition = z.infer<
 
 const Count = z.number().int().nonnegative();
 
-// The affordances an ending may offer, named once for the tables below.
-const FIND_FILES = { id: "sourceSync.findFiles" } as const;
-const CONNECT_GOOGLE_DRIVE = { id: "integrations.connectGoogleDrive" } as const;
-const ENABLE_SOURCE_SYNC = { id: "sourceSync.enable" } as const;
-const OPEN_BILLING = { id: "billing.open" } as const;
-const REANALYZE_STRUCTURE = { id: "orgStructure.reanalyze" } as const;
-const RESYNC_DIRECTORY = { id: "hris.resyncDirectory" } as const;
-
-// ---------------------------------------------------------------------------
-// source-sync/discover
-// ---------------------------------------------------------------------------
-
-/** Why a Drive discovery run ended the way it did. */
-export const DISCOVER_OUTCOME_KIND_OF_REASON = {
-  candidates_found: "produced",
-  nothing_found: "empty",
-  nothing_relevant: "empty",
-  budget_exhausted: "partial",
-  file_ceiling: "partial",
-  stopped_by_user: "stopped",
-  plan_coverage_refused: "failed",
-  billing_refused: "failed",
-  drive_auth: "failed",
-  drive_unavailable: "failed",
-  no_connection: "failed",
-  source_sync_off: "failed",
-  internal_error: "failed",
-  abandoned: "abandoned",
-  unrecognized_terminal_state: "unknown",
-} as const satisfies Record<string, WorkflowOutcomeKind>;
-
-export type DiscoverOutcomeReason =
-  keyof typeof DISCOVER_OUTCOME_KIND_OF_REASON;
-
-/**
- * What each discovery ending offers (control ADR affordance-system). TOTAL: an
- * empty list is a decision that no grounded action changes that ending — a
- * re-run of the same search is not "broadening" it, and nothing raises a budget.
- */
-export const DISCOVER_AFFORDANCES_OF_REASON = {
-  candidates_found: [],
-  nothing_found: [],
-  nothing_relevant: [],
-  budget_exhausted: [],
-  file_ceiling: [],
-  stopped_by_user: [],
-  plan_coverage_refused: [],
-  billing_refused: [OPEN_BILLING],
-  drive_auth: [CONNECT_GOOGLE_DRIVE],
-  drive_unavailable: [FIND_FILES],
-  no_connection: [CONNECT_GOOGLE_DRIVE],
-  source_sync_off: [ENABLE_SOURCE_SYNC],
-  internal_error: [FIND_FILES],
-  abandoned: [FIND_FILES],
-  unrecognized_terminal_state: [],
-} as const satisfies Record<
-  DiscoverOutcomeReason,
-  readonly OfferedAffordance[]
->;
-
-/** The counts a discovery run reports at its end. */
-export const DiscoverOutcomeFactsSchema = z
-  .object({
-    probesTotal: Count,
-    probesDone: Count,
-    filesSeen: Count,
-    filesShown: Count,
-    filesHidden: Count,
-    filesDropped: Count,
-    coveragePercent: z.number().min(0).max(100).nullable(),
-  })
-  .strict();
-
-export type DiscoverOutcomeFacts = z.infer<typeof DiscoverOutcomeFactsSchema>;
-
-// ---------------------------------------------------------------------------
-// source-sync/synthesize
-// ---------------------------------------------------------------------------
-
-/** Why a synthesis (landing then drafting) run ended the way it did. */
-export const SYNTHESIZE_OUTCOME_KIND_OF_REASON = {
-  updates_ready: "produced",
-  updates_applied: "produced",
-  stopped_by_user: "stopped",
-  paused_billing: "failed",
-  synthesis_incomplete: "failed",
-  approval_mismatch: "failed",
-  landing_refused: "failed",
-  standing_order_refused: "failed",
-  no_connection: "failed",
-  source_sync_off: "failed",
-  internal_error: "failed",
-  abandoned: "abandoned",
-  unrecognized_terminal_state: "unknown",
-} as const satisfies Record<string, WorkflowOutcomeKind>;
-
-export type SynthesizeOutcomeReason =
-  keyof typeof SYNTHESIZE_OUTCOME_KIND_OF_REASON;
-
-/** What each synthesis ending offers. TOTAL; an empty list is explicit. */
-export const SYNTHESIZE_AFFORDANCES_OF_REASON = {
-  updates_ready: [],
-  updates_applied: [],
-  stopped_by_user: [],
-  paused_billing: [OPEN_BILLING],
-  synthesis_incomplete: [],
-  approval_mismatch: [],
-  landing_refused: [],
-  standing_order_refused: [],
-  no_connection: [CONNECT_GOOGLE_DRIVE],
-  source_sync_off: [ENABLE_SOURCE_SYNC],
-  internal_error: [],
-  abandoned: [],
-  unrecognized_terminal_state: [],
-} as const satisfies Record<
-  SynthesizeOutcomeReason,
-  readonly OfferedAffordance[]
->;
-
-/** The counts a synthesis run reports at its end. */
-export const SynthesizeOutcomeFactsSchema = z
-  .object({
-    /** Approved scopes the run read. */
-    scopeCount: Count,
-    /** Authority or size violations that left the batch incomplete. */
-    violationCount: Count,
-  })
-  .strict();
-
-export type SynthesizeOutcomeFacts = z.infer<
-  typeof SynthesizeOutcomeFactsSchema
->;
-
-// ---------------------------------------------------------------------------
-// org-structure/hris-connect and org-structure/reanalyze
-// ---------------------------------------------------------------------------
-
-/**
- * Why an org-structure analysis ended the way it did. Shared by both
- * org-structure workflow types: they run the same analysis. The directory-only
- * endings (`directory_synced`, `analysis_already_running`, `sync_failed`) occur
- * only on `org-structure/hris-connect`, which syncs the directory first.
- */
-export const ORG_STRUCTURE_OUTCOME_KIND_OF_REASON = {
-  proposal_ready: "produced",
-  directory_synced: "produced",
-  analysis_already_running: "produced",
-  proposal_blocked: "failed",
-  no_sync_run: "empty",
-  no_persons: "empty",
-  reporting_not_keyed: "empty",
-  stopped_by_user: "stopped",
-  sync_failed: "failed",
-  snapshot_too_large: "failed",
-  model_failed: "failed",
-  run_too_large: "failed",
-  placement_failed: "failed",
-  internal_error: "failed",
-  abandoned: "abandoned",
-  unrecognized_terminal_state: "unknown",
-} as const satisfies Record<string, WorkflowOutcomeKind>;
-
-export type OrgStructureOutcomeReason =
-  keyof typeof ORG_STRUCTURE_OUTCOME_KIND_OF_REASON;
-
-/**
- * What each org-structure ending offers; shared by both org-structure workflow
- * types, like the kind table. TOTAL; an empty list is explicit.
- */
-export const ORG_STRUCTURE_AFFORDANCES_OF_REASON = {
-  proposal_ready: [],
-  directory_synced: [],
-  analysis_already_running: [],
-  proposal_blocked: [],
-  no_sync_run: [RESYNC_DIRECTORY],
-  no_persons: [],
-  reporting_not_keyed: [],
-  stopped_by_user: [],
-  sync_failed: [RESYNC_DIRECTORY],
-  snapshot_too_large: [],
-  model_failed: [REANALYZE_STRUCTURE],
-  run_too_large: [],
-  placement_failed: [REANALYZE_STRUCTURE],
-  internal_error: [REANALYZE_STRUCTURE],
-  abandoned: [REANALYZE_STRUCTURE],
-  unrecognized_terminal_state: [],
-} as const satisfies Record<
-  OrgStructureOutcomeReason,
-  readonly OfferedAffordance[]
->;
-
-/** The counts a finished org-structure proposal carries. */
-export const OrgStructureOutcomeFactsSchema = z
-  .object({
-    departmentCount: Count,
-    teamCount: Count,
-    placedCount: Count,
-    reviewItemCount: Count,
-  })
-  .strict();
-
-export type OrgStructureOutcomeFacts = z.infer<
-  typeof OrgStructureOutcomeFactsSchema
->;
-
 // ---------------------------------------------------------------------------
 // The union
 // ---------------------------------------------------------------------------