harnery 0.29.0 → 0.31.0

package/dist/core/governor/plan-types.d.ts

@@ -0,0 +1,181 @@
+import type { RunFailureClass } from "../workflow/types.js";
+export declare const GOVERNOR_PLAN_SCHEMA_VERSION: 1;
+export declare const MAX_GOVERNOR_PLAN_REVIEWERS: 5;
+export declare const MAX_GOVERNOR_PLAN_REVISION_ROUNDS: 3;
+export interface GovernorPlanTemplate {
+    workflow: {
+        path: string;
+        sha256: string;
+    };
+    max_attempts: number;
+    root: boolean;
+}
+export interface GovernorReplanningPolicy {
+    planner_specialist: string;
+    auto_apply: boolean;
+    max_replans: number;
+    max_work_items_per_plan: number;
+    max_total_work_items: number;
+    templates: Record<string, GovernorPlanTemplate>;
+    review?: {
+        reviewer_specialists: string[];
+        max_revision_rounds: number;
+    };
+}
+export interface CreateGovernorPlanTemplateInput {
+    workflowPath: string;
+    maxAttempts?: number;
+    root?: boolean;
+}
+export interface CreateGovernorReplanningInput {
+    plannerSpecialist: string;
+    autoApply?: boolean;
+    maxReplans?: number;
+    maxWorkItemsPerPlan?: number;
+    maxTotalWorkItems?: number;
+    templates: Readonly<Record<string, CreateGovernorPlanTemplateInput>>;
+    review?: {
+        reviewerSpecialists: readonly string[];
+        maxRevisionRounds: number;
+    };
+}
+export interface GovernorPlanRequest {
+    schema_version: typeof GOVERNOR_PLAN_SCHEMA_VERSION;
+    id: string;
+    goal_id: string;
+    sequence: number;
+    trigger?: "initial" | "recovery" | "milestone";
+    trigger_fingerprint: string;
+    prior_root_work_id: string;
+    workflow_run_id: string;
+    created_at: string;
+}
+export interface GovernorPlanMilestone {
+    sequence: number;
+    title: string;
+    objective: string;
+    acceptance: string[];
+}
+export interface GovernorPlanWorkSpec {
+    key: string;
+    title: string;
+    objective: string;
+    acceptance: string[];
+    dependencies: string[];
+    template: string;
+}
+export interface GovernorPlanProposal {
+    schema_version: typeof GOVERNOR_PLAN_SCHEMA_VERSION;
+    plan_id: string;
+    decision: "apply" | "complete" | "attention";
+    rationale: string;
+    root: string;
+    work: GovernorPlanWorkSpec[];
+    milestone?: GovernorPlanMilestone;
+    proposed_at: string;
+}
+export type GovernorPlanEventType = "plan.awaiting_approval" | "plan.resumed" | "plan.reviewed" | "plan.proposed" | "plan.applied" | "plan.completed" | "plan.rejected" | "plan.retry_requested" | "plan.attention" | "plan.failed" | "plan.reopened";
+export type GovernorPlanReviewStatus = "passed" | "revision_exhausted" | "attention" | "failed";
+export type GovernorPlanReviewVerdict = "approve" | "revise" | "attention";
+export interface GovernorPlanReviewFinding {
+    code: string;
+    severity: "blocking" | "advisory";
+    summary: string;
+    recommendation: string;
+}
+export interface GovernorPlanReviewReviewer {
+    specialist: string;
+    verdict: GovernorPlanReviewVerdict;
+    rationale: string;
+    findings: GovernorPlanReviewFinding[];
+}
+export interface GovernorPlanReviewRound {
+    round: number;
+    candidate_sha256: string;
+    reviewers: GovernorPlanReviewReviewer[];
+    outcome: "approved" | "revise" | "attention" | "failed";
+    revision_workflow_run_id?: string;
+}
+export interface GovernorPlanReviewReceipt {
+    schema_version: typeof GOVERNOR_PLAN_SCHEMA_VERSION;
+    plan_id: string;
+    status: GovernorPlanReviewStatus;
+    candidate_sha256: string;
+    final_candidate: GovernorPlanProposal;
+    rounds: GovernorPlanReviewRound[];
+}
+export interface GovernorPlanReviewSummary {
+    status: GovernorPlanReviewStatus;
+    candidate_sha256: string;
+    rounds: number;
+    blocking_findings: number;
+    advisory_findings: number;
+}
+export interface GovernorPlanEvent {
+    schema_version: typeof GOVERNOR_PLAN_SCHEMA_VERSION;
+    plan_id: string;
+    seq: number;
+    ts: string;
+    event: GovernorPlanEventType;
+    actor: string;
+    reason: string;
+    approval_id?: string;
+    root_work_id?: string;
+    work_ids?: string[];
+    /** Set on a `plan.failed` event whose planner workflow was uninformative about
+     * the plan (ADR 0046): environment (the planner binary was absent), upstream
+     * (the vendor refused), or decision (the planner determined a human must rule
+     * before this can be planned). Read from the planner run's `run.class`.
+     * Absent ⇒ a charged replan, exactly as before. */
+    class?: RunFailureClass;
+}
+export type GovernorPlanStatus = "interrupted" | "awaiting_approval" | "resumable" | "proposed" | "applied" | "completed" | "reopened" | "rejected" | "retry_requested" | "attention" | "failed";
+export interface GovernorPlanRecord {
+    request: GovernorPlanRequest;
+    proposal?: GovernorPlanProposal;
+    review?: GovernorPlanReviewSummary;
+    events: GovernorPlanEvent[];
+    status: GovernorPlanStatus;
+    approval_id?: string;
+    root_work_id?: string;
+    work_ids: string[];
+    reason?: string;
+    /** Set on a `failed` plan the planner run classified as uninformative about the
+     * plan (ADR 0046). Drives the projection's do-not-charge / stop handling and
+     * the consecutive-uncharged bound. Absent ⇒ a charged replan. */
+    class?: RunFailureClass;
+}
+export interface GovernorPlanHistory {
+    plans: GovernorPlanRecord[];
+    active_root_work_id: string;
+    generation: number;
+    applied_work_ids: string[];
+    materialized_work_ids: string[];
+    milestones_completed: number;
+    completed: boolean;
+    latest?: GovernorPlanRecord;
+}
+export interface GovernorPlanOutcome {
+    plan_id: string;
+    status: GovernorPlanStatus;
+    workflow_run_id: string;
+    reason?: string;
+    root_work_id?: string;
+    work_ids: string[];
+}
+export declare function governorGraphFingerprint(input: {
+    rootWorkId: string;
+    generation: number;
+    work: ReadonlyArray<{
+        intent: {
+            id: string;
+        };
+        projection: {
+            state: string;
+            next_action: string;
+            attempts_used: number;
+        };
+        events: readonly unknown[];
+    }>;
+}): string;
+//# sourceMappingURL=plan-types.d.ts.map

package/dist/core/governor/plan-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan-types.d.ts","sourceRoot":"","sources":["../../../src/core/governor/plan-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D,eAAO,MAAM,4BAA4B,EAAG,CAAU,CAAC;AACvD,eAAO,MAAM,2BAA2B,EAAG,CAAU,CAAC;AACtD,eAAO,MAAM,iCAAiC,EAAG,CAAU,CAAC;AAE5D,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,OAAO,CAAC;CACf;AAED,MAAM,WAAW,wBAAwB;IACvC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,uBAAuB,EAAE,MAAM,CAAC;IAChC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IAChD,MAAM,CAAC,EAAE;QACP,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;CACH;AAED,MAAM,WAAW,+BAA+B;IAC9C,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,6BAA6B;IAC5C,iBAAiB,EAAE,MAAM,CAAC;IAC1B,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,+BAA+B,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,EAAE;QACP,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;QACvC,iBAAiB,EAAE,MAAM,CAAC;KAC3B,CAAC;CACH;AAED,MAAM,WAAW,mBAAmB;IAClC,cAAc,EAAE,OAAO,4BAA4B,CAAC;IACpD,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,SAAS,GAAG,UAAU,GAAG,WAAW,CAAC;IAC/C,mBAAmB,EAAE,MAAM,CAAC;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,oBAAoB;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,oBAAoB;IACnC,cAAc,EAAE,OAAO,4BAA4B,CAAC;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,GAAG,UAAU,GAAG,WAAW,CAAC;IAC7C,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,oBAAoB,EAAE,CAAC;IAC7B,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAClC,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,qBAAqB,GAC7B,wBAAwB,GACxB,cAAc,GACd,eAAe,GACf,eAAe,GACf,cAAc,GACd,gBAAgB,GAChB,eAAe,GACf,sBAAsB,GACtB,gBAAgB,GAChB,aAAa,GACb,eAAe,CAAC;AAEpB,MAAM,MAAM,wBAAwB,GAAG,QAAQ,GAAG,oBAAoB,GAAG,WAAW,GAAG,QAAQ,CAAC;AAEhG,MAAM,MAAM,yBAAyB,GAAG,SAAS,GAAG,QAAQ,GAAG,WAAW,CAAC;AAE3E,MAAM,WAAW,yBAAyB;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,UAAU,GAAG,UAAU,CAAC;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,0BAA0B;IACzC,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,yBAAyB,CAAC;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,yBAAyB,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,gBAAgB,EAAE,MAAM,CAAC;IACzB,SAAS,EAAE,0BAA0B,EAAE,CAAC;IACxC,OAAO,EAAE,UAAU,GAAG,QAAQ,GAAG,WAAW,GAAG,QAAQ,CAAC;IACxD,wBAAwB,CAAC,EAAE,MAAM,CAAC;CACnC;AAED,MAAM,WAAW,yBAAyB;IACxC,cAAc,EAAE,OAAO,4BAA4B,CAAC;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,wBAAwB,CAAC;IACjC,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,oBAAoB,CAAC;IACtC,MAAM,EAAE,uBAAuB,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,wBAAwB,CAAC;IACjC,gBAAgB,EAAE,MAAM,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,iBAAiB,EAAE,MAAM,CAAC;IAC1B,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,iBAAiB;IAChC,cAAc,EAAE,OAAO,4BAA4B,CAAC;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,qBAAqB,CAAC;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB;;;;uDAImD;IACnD,KAAK,CAAC,EAAE,eAAe,CAAC;CACzB;AAED,MAAM,MAAM,kBAAkB,GAC1B,aAAa,GACb,mBAAmB,GACnB,WAAW,GACX,UAAU,GACV,SAAS,GACT,WAAW,GACX,UAAU,GACV,UAAU,GACV,iBAAiB,GACjB,WAAW,GACX,QAAQ,CAAC;AAEb,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,mBAAmB,CAAC;IAC7B,QAAQ,CAAC,EAAE,oBAAoB,CAAC;IAChC,MAAM,CAAC,EAAE,yBAAyB,CAAC;IACnC,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAC5B,MAAM,EAAE,kBAAkB,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;qEAEiE;IACjE,KAAK,CAAC,EAAE,eAAe,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,kBAAkB,EAAE,CAAC;IAC5B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,SAAS,EAAE,OAAO,CAAC;IACnB,MAAM,CAAC,EAAE,kBAAkB,CAAC;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE;IAC9C,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,aAAa,CAAC;QAClB,MAAM,EAAE;YAAE,EAAE,EAAE,MAAM,CAAA;SAAE,CAAC;QACvB,UAAU,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAC;YAAC,aAAa,EAAE,MAAM,CAAA;SAAE,CAAC;QAC1E,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC;KAC5B,CAAC,CAAC;CACJ,GAAG,MAAM,CAYT"}

package/dist/core/{supervisor → governor}/plan-types.js

@@ -1,7 +1,7 @@
-export const SUPERVISOR_PLAN_SCHEMA_VERSION = 1;
-export const MAX_SUPERVISOR_PLAN_REVIEWERS = 5;
-export const MAX_SUPERVISOR_PLAN_REVISION_ROUNDS = 3;
-export function supervisorGraphFingerprint(input) {
+export const GOVERNOR_PLAN_SCHEMA_VERSION = 1;
+export const MAX_GOVERNOR_PLAN_REVIEWERS = 5;
+export const MAX_GOVERNOR_PLAN_REVISION_ROUNDS = 3;
+export function governorGraphFingerprint(input) {
     return JSON.stringify([
         input.rootWorkId,
         input.generation,

package/dist/core/governor/planning.d.ts

@@ -0,0 +1,48 @@
+import { type EngineOpts } from "../workflow/index.js";
+import { type GovernorPlanOutcome } from "./plan-types.js";
+import type { GovernorRecord } from "./state.js";
+export interface RunGovernorPlannerInput {
+    coordRoot: string;
+    record: GovernorRecord;
+    engine: Omit<EngineOpts, "coordRoot" | "runId" | "resumeRunId" | "specialists">;
+    actor: string;
+    onLog?: (line: string) => void;
+}
+export declare function runGovernorPlanner(input: RunGovernorPlannerInput): Promise<GovernorPlanOutcome>;
+export declare function applyGovernorPlanProposal(input: {
+    coordRoot: string;
+    record: GovernorRecord;
+    planId: string;
+    actor: string;
+    reason?: string;
+}): GovernorPlanOutcome;
+export declare function rejectGovernorPlanProposal(input: {
+    coordRoot: string;
+    goalId: string;
+    planId: string;
+    actor: string;
+    reason: string;
+}): GovernorPlanOutcome;
+/** ADR 0050: reopen a mission whose completion was already accepted, so an operator
+ * finding on work beneath it can be dispatched through the normal governor rather
+ * than only by running the work item by hand.
+ *
+ * The accepted `plan.completed` event is never rewritten. This appends a superseding
+ * `plan.reopened` alongside it, which is why the prior completion survives as history
+ * and why a reader that cannot understand the new event still sees a completed plan
+ * rather than a silently altered one. Refuses when the mission is not complete, so a
+ * caller cannot use it to skip the ordinary completion path. */
+export declare function reopenGovernorMissionPlan(input: {
+    coordRoot: string;
+    record: GovernorRecord;
+    actor: string;
+    reason: string;
+}): GovernorPlanOutcome;
+export declare function retryGovernorPlanProposal(input: {
+    coordRoot: string;
+    record: GovernorRecord;
+    planId: string;
+    actor: string;
+    reason: string;
+}): GovernorPlanOutcome;
+//# sourceMappingURL=planning.d.ts.map

package/dist/core/governor/planning.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"planning.d.ts","sourceRoot":"","sources":["../../../src/core/governor/planning.ts"],"names":[],"mappings":"AAcA,OAAO,EAEL,KAAK,UAAU,EAQhB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAIL,KAAK,mBAAmB,EAUzB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAUjD,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,WAAW,GAAG,OAAO,GAAG,aAAa,GAAG,aAAa,CAAC,CAAC;IAChF,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAChC;AAED,wBAAsB,kBAAkB,CACtC,KAAK,EAAE,uBAAuB,GAC7B,OAAO,CAAC,mBAAmB,CAAC,CAsM9B;AAkMD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE;IAC/C,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GAAG,mBAAmB,CAkHtB;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE;IAChD,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,mBAAmB,CAYtB;AAED;;;;;;;;gEAQgE;AAChE,wBAAgB,yBAAyB,CAAC,KAAK,EAAE;IAC/C,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,cAAc,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,mBAAmB,CAoBtB;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE;IAC/C,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,mBAAmB,CA4CtB"}