instar 0.28.82 → 0.28.84

package/dist/core/EvolutionManager.d.ts

@@ -18,6 +18,7 @@ import type { EvolutionProposal, EvolutionType, EvolutionStatus, LearningEntry,
 import type { TrustElevationTracker } from './TrustElevationTracker.js';
 import type { AutonomousEvolution, ReviewResult } from './AutonomousEvolution.js';
 import type { AutonomyProfileManager } from './AutonomyProfileManager.js';
+import type { TaskFlowRegistry } from '../tasks/TaskFlowRegistry.js';
 interface EvolutionState {
     proposals: EvolutionProposal[];
     stats: {
@@ -63,7 +64,79 @@ export declare class EvolutionManager {
     private trustElevationTracker;
     private autonomousEvolution;
     private autonomyManager;
+    /** Registry handle (set when TaskFlow is enabled). */
+    private taskFlowRegistry;
+    /** Per-process controller-instance id (server uuid). */
+    private taskFlowControllerInstanceId;
+    /**
+     * Set to true by DivergenceChecker when state-divergence is detected.
+     * When true, EvolutionManager continues JSON-only writes and DOES NOT
+     * dual-write to TaskFlow. The signal is reset on next divergence pass that
+     * reports zero divergence. This is a signal-emitted brake, not a hard gate.
+     */
+    private taskFlowShadowWritesHalted;
+    /** Most recent reason for halting; surfaced in /health and tests. */
+    private taskFlowShadowWritesHaltReason;
+    /**
+     * Source of the most recent halt. DivergenceChecker uses this to ensure it
+     * only auto-clears halts that DivergenceChecker itself imposed — an operator
+     * or sibling system's manual halt stays in place until that source clears it.
+     */
+    private taskFlowShadowWritesHaltSource;
     constructor(config: EvolutionManagerConfig);
+    /**
+     * Wire a TaskFlow registry for Phase 3a dual-write. After this call:
+     *   - addProposal / updateProposalStatus shadow-write to TaskFlow
+     *   - migrateExistingToTaskFlow() backfills any in-flight clusters
+     *   - DivergenceChecker can call setShadowWritesHalted() to brake writes
+     *
+     * Idempotent — safe to call multiple times; subsequent calls overwrite.
+     */
+    setTaskFlowRegistry(registry: TaskFlowRegistry, controllerInstanceId: string): void;
+    getTaskFlowRegistry(): TaskFlowRegistry | null;
+    /**
+     * Halt or resume TaskFlow shadow-writes. Called by DivergenceChecker on a
+     * mismatch. Signal-vs-authority compliance: this is a signal-consumed brake,
+     * not a brittle blocker — the divergence checker decides, EvolutionManager
+     * obeys. JSON writes continue regardless (read-authoritative TaskFlow is
+     * shadow-mode in Phase 3a).
+     *
+     * The optional `source` parameter tags the halt with its origin so an
+     * automatic clearer (DivergenceChecker) only cancels halts it caused.
+     * Defaults to `'manual'` when omitted.
+     */
+    setShadowWritesHalted(halted: boolean, reason?: string, source?: string): void;
+    isShadowWritesHalted(): {
+        halted: boolean;
+        reason: string | null;
+        source: string | null;
+    };
+    private taskFlowPrincipal;
+    /**
+     * Best-effort dual-write to TaskFlow. NEVER throws to the caller — JSON
+     * remains the local durability path; TaskFlow is shadow until Phase 3b
+     * cutover. All TaskFlow errors land in console and the divergence checker
+     * picks up via state comparison.
+     */
+    private dualWriteCreate;
+    private dualWriteTransition;
+    private logTaskFlowError;
+    /**
+     * Backfill all in-flight proposals (status !== 'implemented' && !== 'rejected')
+     * into TaskFlow. Idempotent via `findIdempotent` on
+     * `evolution:cluster:<proposalId>` ownerKey. Safe to call multiple times.
+     *
+     * Returns counts: created, alreadyExisted, advanced (transitioned beyond
+     * 'queued' to match the proposal's current status).
+     */
+    migrateExistingToTaskFlow(): Promise<{
+        created: number;
+        alreadyExisted: number;
+        advanced: number;
+        skipped: number;
+    }>;
+    /** Catch a flow record up to the proposal's current status. */
+    private catchUpFlowToStatus;
     /**
      * Wire adaptive autonomy modules for runtime integration.
      * - TrustElevationTracker: receives proposal approval/rejection events

package/dist/core/EvolutionManager.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"EvolutionManager.d.ts","sourceRoot":"","sources":["../../src/core/EvolutionManager.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAIH,OAAO,KAAK,EACV,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,aAAa,EACb,cAAc,EACd,aAAa,EACb,WAAW,EACX,UAAU,EACV,sBAAsB,EACvB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,KAAK,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAClF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAG1E,UAAU,cAAc;IACtB,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAC/B,KAAK,EAAE;QACL,cAAc,EAAE,MAAM,CAAC;QACvB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACjC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/B,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,UAAU,aAAa;IACrB,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,KAAK,EAAE;QACL,cAAc,EAAE,MAAM,CAAC;QACvB,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,UAAU,QAAQ;IAChB,IAAI,EAAE,aAAa,EAAE,CAAC;IACtB,KAAK,EAAE;QACL,SAAS,EAAE,MAAM,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,SAAS,EAAE,MAAM,CAAC;QAClB,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,UAAU,WAAW;IACnB,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,KAAK,EAAE;QACL,YAAY,EAAE,MAAM,CAAC;QACrB,OAAO,EAAE,MAAM,CAAC;QAChB,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,MAAM,CAAyB;IACvC,OAAO,CAAC,qBAAqB,CAAsC;IACnE,OAAO,CAAC,mBAAmB,CAAoC;IAC/D,OAAO,CAAC,eAAe,CAAuC;gBAElD,MAAM,EAAE,sBAAsB;IAK1C;;;;;OAKG;IACH,0BAA0B,CAAC,OAAO,EAAE;QAClC,qBAAqB,CAAC,EAAE,qBAAqB,GAAG,IAAI,CAAC;QACrD,mBAAmB,CAAC,EAAE,mBAAmB,GAAG,IAAI,CAAC;QACjD,eAAe,CAAC,EAAE,sBAAsB,GAAG,IAAI,CAAC;KACjD,GAAG,IAAI;IAMR;;OAEG;IACH,wBAAwB,IAAI,qBAAqB,GAAG,IAAI;IAIxD;;OAEG;IACH,sBAAsB,IAAI,mBAAmB,GAAG,IAAI;IAMpD,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,QAAQ;IAWhB,OAAO,CAAC,SAAS;IAcjB,OAAO,CAAC,GAAG;IAMX,OAAO,CAAC,aAAa;IAOrB,OAAO,CAAC,aAAa;IA4BrB,OAAO,CAAC,cAAc;IAOtB,WAAW,CAAC,IAAI,EAAE;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,MAAM,CAAC;QACpB,IAAI,EAAE,aAAa,CAAC;QACpB,MAAM,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;QACnC,MAAM,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;QACnC,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;KACjB,GAAG,iBAAiB;IAqBrB,oBAAoB,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO;IAkBvF;;;;;;OAMG;IACH,2BAA2B,CACzB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,YAAY,GACnB;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI;IAiC5C,aAAa,CAAC,MAAM,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,eAAe,CAAC;QAAC,IAAI,CAAC,EAAE,aAAa,CAAA;KAAE,GAAG,iBAAiB,EAAE;IAQ/F,iBAAiB,IAAI,cAAc,CAAC,OAAO,CAAC;IAM5C,OAAO,CAAC,aAAa;IAOrB,OAAO,CAAC,aAAa;IA0BrB,OAAO,CAAC,cAAc;IAOtB,WAAW,CAAC,IAAI,EAAE;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,cAAc,CAAC;QACvB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;QAChB,kBAAkB,CAAC,EAAE,MAAM,CAAC;KAC7B,GAAG,aAAa;IAkBjB,mBAAmB,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO;IAU3D,aAAa,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,aAAa,EAAE;IAQjF,gBAAgB,IAAI,aAAa,CAAC,OAAO,CAAC;IAM1C,OAAO,CAAC,QAAQ;IAOhB,OAAO,CAAC,QAAQ;IA4BhB,OAAO,CAAC,SAAS;IAOjB,MAAM,CAAC,IAAI,EAAE;QACX,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,WAAW,CAAC;QACtB,QAAQ,EAAE,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;QACjD,WAAW,EAAE,MAAM,CAAC;QACpB,OAAO,EAAE,MAAM,CAAC;QAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,gBAAgB,CAAC,EAAE,MAAM,CAAC;KAC3B,GAAG,aAAa;IAwBjB,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO;IAWnD,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,WAAW,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,aAAa,EAAE;IASlG,WAAW,IAAI,QAAQ,CAAC,OAAO,CAAC;IAMhC,OAAO,CAAC,WAAW;IAOnB,OAAO,CAAC,WAAW;IA6BnB,OAAO,CAAC,YAAY;IAOpB,SAAS,CAAC,IAAI,EAAE;QACd,KAAK,EAAE,MAAM,CAAC;QACd,WAAW,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,EAAE,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;QAClD,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;KACjB,GAAG,UAAU;IAoBd,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;QAChC,MAAM,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,GAAG,OAAO;IAaX,WAAW,CAAC,MAAM,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,UAAU,EAAE;IAQxF,iBAAiB,IAAI,UAAU,EAAE;IASjC,cAAc,IAAI,WAAW,CAAC,OAAO,CAAC;IAMtC;;;OAGG;IACH,YAAY,IAAI;QACd,SAAS,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;QACnC,SAAS,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QACxB,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;QAC9B,UAAU,EAAE,MAAM,EAAE,CAAC;KACtB;IA0BD;;;;;;;;;OASG;IACH,uBAAuB,IAAI,KAAK,CAAC;QAC/B,IAAI,EAAE,KAAK,GAAG,UAAU,CAAC;QACzB,EAAE,EAAE,MAAM,CAAC;QACX,KAAK,EAAE,MAAM,CAAC;QACd,SAAS,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC;KAC5E,CAAC;IAsFF;;;;;;;;;OASG;IACH,0BAA0B,IAAI,KAAK,CAAC;QAClC,EAAE,EAAE,MAAM,CAAC;QACX,KAAK,EAAE,MAAM,CAAC;QACd,aAAa,EAAE,MAAM,CAAC;QACtB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,OAAO,EAAE,UAAU,GAAG,YAAY,GAAG,MAAM,CAAC;KAC7C,CAAC;IAoEF;;;OAGG;IACH,OAAO,CAAC,gBAAgB;IAgCxB;;OAEG;IACH,OAAO,CAAC,eAAe;CAuBxB"}
+{"version":3,"file":"EvolutionManager.d.ts","sourceRoot":"","sources":["../../src/core/EvolutionManager.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAIH,OAAO,KAAK,EACV,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,aAAa,EACb,cAAc,EACd,aAAa,EACb,WAAW,EACX,UAAU,EACV,sBAAsB,EACvB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,KAAK,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAClF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAE1E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAiErE,UAAU,cAAc;IACtB,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAC/B,KAAK,EAAE;QACL,cAAc,EAAE,MAAM,CAAC;QACvB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACjC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/B,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,UAAU,aAAa;IACrB,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,KAAK,EAAE;QACL,cAAc,EAAE,MAAM,CAAC;QACvB,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,UAAU,QAAQ;IAChB,IAAI,EAAE,aAAa,EAAE,CAAC;IACtB,KAAK,EAAE;QACL,SAAS,EAAE,MAAM,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,SAAS,EAAE,MAAM,CAAC;QAClB,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,UAAU,WAAW;IACnB,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,KAAK,EAAE;QACL,YAAY,EAAE,MAAM,CAAC;QACrB,OAAO,EAAE,MAAM,CAAC;QAChB,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAED,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,MAAM,CAAyB;IACvC,OAAO,CAAC,qBAAqB,CAAsC;IACnE,OAAO,CAAC,mBAAmB,CAAoC;IAC/D,OAAO,CAAC,eAAe,CAAuC;IAG9D,sDAAsD;IACtD,OAAO,CAAC,gBAAgB,CAAiC;IACzD,wDAAwD;IACxD,OAAO,CAAC,4BAA4B,CAAuB;IAC3D;;;;;OAKG;IACH,OAAO,CAAC,0BAA0B,CAAS;IAC3C,qEAAqE;IACrE,OAAO,CAAC,8BAA8B,CAAuB;IAC7D;;;;OAIG;IACH,OAAO,CAAC,8BAA8B,CAAuB;gBAEjD,MAAM,EAAE,sBAAsB;IAO1C;;;;;;;OAOG;IACH,mBAAmB,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,oBAAoB,EAAE,MAAM,GAC3B,IAAI;IAKP,mBAAmB,IAAI,gBAAgB,GAAG,IAAI;IAI9C;;;;;;;;;;OAUG;IACH,qBAAqB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI;IAM9E,oBAAoB,IAAI;QAAE,MAAM,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE;IAQzF,OAAO,CAAC,iBAAiB;IASzB;;;;;OAKG;YACW,eAAe;YAoBf,mBAAmB;IAwGjC,OAAO,CAAC,gBAAgB;IAexB;;;;;;;OAOG;IACG,yBAAyB,IAAI,OAAO,CAAC;QACzC,OAAO,EAAE,MAAM,CAAC;QAChB,cAAc,EAAE,MAAM,CAAC;QACvB,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IAkDF,+DAA+D;YACjD,mBAAmB;IA+DjC;;;;;OAKG;IACH,0BAA0B,CAAC,OAAO,EAAE;QAClC,qBAAqB,CAAC,EAAE,qBAAqB,GAAG,IAAI,CAAC;QACrD,mBAAmB,CAAC,EAAE,mBAAmB,GAAG,IAAI,CAAC;QACjD,eAAe,CAAC,EAAE,sBAAsB,GAAG,IAAI,CAAC;KACjD,GAAG,IAAI;IAMR;;OAEG;IACH,wBAAwB,IAAI,qBAAqB,GAAG,IAAI;IAIxD;;OAEG;IACH,sBAAsB,IAAI,mBAAmB,GAAG,IAAI;IAMpD,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,QAAQ;IAWhB,OAAO,CAAC,SAAS;IAcjB,OAAO,CAAC,GAAG;IAMX,OAAO,CAAC,aAAa;IAOrB,OAAO,CAAC,aAAa;IA4BrB,OAAO,CAAC,cAAc;IAOtB,WAAW,CAAC,IAAI,EAAE;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,MAAM,CAAC;QACpB,IAAI,EAAE,aAAa,CAAC;QACpB,MAAM,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;QACnC,MAAM,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;QACnC,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;KACjB,GAAG,iBAAiB;IAyBrB,oBAAoB,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO;IAuBvF;;;;;;OAMG;IACH,2BAA2B,CACzB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,YAAY,GACnB;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI;IAiC5C,aAAa,CAAC,MAAM,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,eAAe,CAAC;QAAC,IAAI,CAAC,EAAE,aAAa,CAAA;KAAE,GAAG,iBAAiB,EAAE;IAQ/F,iBAAiB,IAAI,cAAc,CAAC,OAAO,CAAC;IAM5C,OAAO,CAAC,aAAa;IAOrB,OAAO,CAAC,aAAa;IA0BrB,OAAO,CAAC,cAAc;IAOtB,WAAW,CAAC,IAAI,EAAE;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,cAAc,CAAC;QACvB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;QAChB,kBAAkB,CAAC,EAAE,MAAM,CAAC;KAC7B,GAAG,aAAa;IAkBjB,mBAAmB,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO;IAU3D,aAAa,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,aAAa,EAAE;IAQjF,gBAAgB,IAAI,aAAa,CAAC,OAAO,CAAC;IAM1C,OAAO,CAAC,QAAQ;IAOhB,OAAO,CAAC,QAAQ;IA4BhB,OAAO,CAAC,SAAS;IAOjB,MAAM,CAAC,IAAI,EAAE;QACX,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,WAAW,CAAC;QACtB,QAAQ,EAAE,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;QACjD,WAAW,EAAE,MAAM,CAAC;QACpB,OAAO,EAAE,MAAM,CAAC;QAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,gBAAgB,CAAC,EAAE,MAAM,CAAC;KAC3B,GAAG,aAAa;IAwBjB,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO;IAWnD,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,WAAW,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,aAAa,EAAE;IASlG,WAAW,IAAI,QAAQ,CAAC,OAAO,CAAC;IAMhC,OAAO,CAAC,WAAW;IAOnB,OAAO,CAAC,WAAW;IA6BnB,OAAO,CAAC,YAAY;IAOpB,SAAS,CAAC,IAAI,EAAE;QACd,KAAK,EAAE,MAAM,CAAC;QACd,WAAW,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,EAAE,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;QAClD,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;KACjB,GAAG,UAAU;IAoBd,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;QAChC,MAAM,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,GAAG,OAAO;IAaX,WAAW,CAAC,MAAM,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,UAAU,EAAE;IAQxF,iBAAiB,IAAI,UAAU,EAAE;IASjC,cAAc,IAAI,WAAW,CAAC,OAAO,CAAC;IAMtC;;;OAGG;IACH,YAAY,IAAI;QACd,SAAS,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;QACnC,SAAS,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QACxB,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;QAC9B,UAAU,EAAE,MAAM,EAAE,CAAC;KACtB;IA0BD;;;;;;;;;OASG;IACH,uBAAuB,IAAI,KAAK,CAAC;QAC/B,IAAI,EAAE,KAAK,GAAG,UAAU,CAAC;QACzB,EAAE,EAAE,MAAM,CAAC;QACX,KAAK,EAAE,MAAM,CAAC;QACd,SAAS,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,EAAE,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC;KAC5E,CAAC;IAsFF;;;;;;;;;OASG;IACH,0BAA0B,IAAI,KAAK,CAAC;QAClC,EAAE,EAAE,MAAM,CAAC;QACX,KAAK,EAAE,MAAM,CAAC;QACd,aAAa,EAAE,MAAM,CAAC;QACtB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,OAAO,EAAE,UAAU,GAAG,YAAY,GAAG,MAAM,CAAC;KAC7C,CAAC;IAoEF;;;OAGG;IACH,OAAO,CAAC,gBAAgB;IAgCxB;;OAEG;IACH,OAAO,CAAC,eAAe;CAuBxB"}

package/dist/core/EvolutionManager.js

@@ -17,16 +17,386 @@
 import fs from 'node:fs';
 import path from 'node:path';
 import { SafeFsExecutor } from './SafeFsExecutor.js';
+import { TaskFlowError } from '../tasks/task-flow-types.js';
+/**
+ * TaskFlow controller identity for EvolutionManager (Phase 3a dual-write).
+ * Every proposal's flow is owned by this controllerId; the registry uses it
+ * for OCC scope checks. Single-instance per server process.
+ */
+const EVOLUTION_TASKFLOW_CONTROLLER_ID = 'EvolutionManager';
+function statusToFlowAction(prev, next, resolution) {
+    // Initial create-from-proposed is handled in addProposal directly.
+    if (prev === null && next === 'proposed')
+        return { kind: 'create' };
+    if (prev === next)
+        return { kind: 'noop' };
+    switch (next) {
+        case 'approved':
+            return { kind: 'start', step: 'approved' };
+        case 'in_progress':
+            return { kind: 'start', step: 'in_progress' };
+        case 'implemented':
+            return { kind: 'finish' };
+        case 'rejected':
+            return { kind: 'fail', reason: resolution ?? 'rejected' };
+        case 'deferred':
+            return { kind: 'cancel', reason: resolution ?? 'deferred' };
+        case 'proposed':
+            // Re-opening is not a legal transition; treat as no-op for v1.
+            return { kind: 'noop' };
+        default:
+            return { kind: 'noop' };
+    }
+}
+/**
+ * Owner-key for a proposal-flow. Deterministic — used as both the TaskFlow
+ * `ownerKey` and the basis of the `idempotencyKey`. Phase 3b's cutover
+ * gate relies on `evolution:cluster:<id>` being a stable bidirectional join.
+ */
+function ownerKeyForProposal(proposalId) {
+    return `evolution:cluster:${proposalId}`;
+}
 export class EvolutionManager {
     stateDir;
     config;
     trustElevationTracker = null;
     autonomousEvolution = null;
     autonomyManager = null;
+    // ── TaskFlow Phase 3a dual-write fields ──────────────────────────
+    /** Registry handle (set when TaskFlow is enabled). */
+    taskFlowRegistry = null;
+    /** Per-process controller-instance id (server uuid). */
+    taskFlowControllerInstanceId = null;
+    /**
+     * Set to true by DivergenceChecker when state-divergence is detected.
+     * When true, EvolutionManager continues JSON-only writes and DOES NOT
+     * dual-write to TaskFlow. The signal is reset on next divergence pass that
+     * reports zero divergence. This is a signal-emitted brake, not a hard gate.
+     */
+    taskFlowShadowWritesHalted = false;
+    /** Most recent reason for halting; surfaced in /health and tests. */
+    taskFlowShadowWritesHaltReason = null;
+    /**
+     * Source of the most recent halt. DivergenceChecker uses this to ensure it
+     * only auto-clears halts that DivergenceChecker itself imposed — an operator
+     * or sibling system's manual halt stays in place until that source clears it.
+     */
+    taskFlowShadowWritesHaltSource = null;
     constructor(config) {
         this.config = config;
         this.stateDir = config.stateDir;
     }
+    // ── TaskFlow wiring ─────────────────────────────────────────────
+    /**
+     * Wire a TaskFlow registry for Phase 3a dual-write. After this call:
+     *   - addProposal / updateProposalStatus shadow-write to TaskFlow
+     *   - migrateExistingToTaskFlow() backfills any in-flight clusters
+     *   - DivergenceChecker can call setShadowWritesHalted() to brake writes
+     *
+     * Idempotent — safe to call multiple times; subsequent calls overwrite.
+     */
+    setTaskFlowRegistry(registry, controllerInstanceId) {
+        this.taskFlowRegistry = registry;
+        this.taskFlowControllerInstanceId = controllerInstanceId;
+    }
+    getTaskFlowRegistry() {
+        return this.taskFlowRegistry;
+    }
+    /**
+     * Halt or resume TaskFlow shadow-writes. Called by DivergenceChecker on a
+     * mismatch. Signal-vs-authority compliance: this is a signal-consumed brake,
+     * not a brittle blocker — the divergence checker decides, EvolutionManager
+     * obeys. JSON writes continue regardless (read-authoritative TaskFlow is
+     * shadow-mode in Phase 3a).
+     *
+     * The optional `source` parameter tags the halt with its origin so an
+     * automatic clearer (DivergenceChecker) only cancels halts it caused.
+     * Defaults to `'manual'` when omitted.
+     */
+    setShadowWritesHalted(halted, reason, source) {
+        this.taskFlowShadowWritesHalted = halted;
+        this.taskFlowShadowWritesHaltReason = halted ? (reason ?? 'divergence-detected') : null;
+        this.taskFlowShadowWritesHaltSource = halted ? (source ?? 'manual') : null;
+    }
+    isShadowWritesHalted() {
+        return {
+            halted: this.taskFlowShadowWritesHalted,
+            reason: this.taskFlowShadowWritesHaltReason,
+            source: this.taskFlowShadowWritesHaltSource,
+        };
+    }
+    taskFlowPrincipal() {
+        if (!this.taskFlowRegistry || !this.taskFlowControllerInstanceId)
+            return null;
+        return {
+            scope: 'controller',
+            controllerId: EVOLUTION_TASKFLOW_CONTROLLER_ID,
+            controllerInstanceId: this.taskFlowControllerInstanceId,
+        };
+    }
+    /**
+     * Best-effort dual-write to TaskFlow. NEVER throws to the caller — JSON
+     * remains the local durability path; TaskFlow is shadow until Phase 3b
+     * cutover. All TaskFlow errors land in console and the divergence checker
+     * picks up via state comparison.
+     */
+    async dualWriteCreate(p) {
+        if (!this.taskFlowRegistry || this.taskFlowShadowWritesHalted)
+            return;
+        const principal = this.taskFlowPrincipal();
+        if (!principal || principal.scope !== 'controller')
+            return;
+        try {
+            await this.taskFlowRegistry.createFlow({
+                controllerId: EVOLUTION_TASKFLOW_CONTROLLER_ID,
+                controllerInstanceId: principal.controllerInstanceId,
+                ownerKey: ownerKeyForProposal(p.id),
+                idempotencyKey: `evolution-cluster-create-${p.id}`,
+                goal: p.title.slice(0, 1024),
+                currentStep: 'proposed',
+                stateJson: { proposalId: p.id, type: p.type, source: p.source },
+            });
+        }
+        catch (err) {
+            // Swallow — JSON is the source of truth in Phase 3a.
+            this.logTaskFlowError('createFlow', p.id, err);
+        }
+    }
+    async dualWriteTransition(proposalId, action) {
+        if (!this.taskFlowRegistry || this.taskFlowShadowWritesHalted)
+            return;
+        if (action.kind === 'noop' || action.kind === 'create')
+            return;
+        const principal = this.taskFlowPrincipal();
+        if (!principal)
+            return;
+        const registry = this.taskFlowRegistry;
+        try {
+            // Look up current flow by owner key + deterministic idempotency key.
+            const existing = registry.findByIdempotency(EVOLUTION_TASKFLOW_CONTROLLER_ID, ownerKeyForProposal(proposalId), `evolution-cluster-create-${proposalId}`);
+            if (!existing) {
+                // No backfill yet — proposal exists in JSON but not TaskFlow. Skip
+                // the transition silently; the next migrate-existing pass will pick
+                // it up at its terminal state.
+                return;
+            }
+            const flow = registry.getFlow(existing.flowId, { bypassCache: true });
+            if (!flow)
+                return;
+            const expectedRevision = flow.revision;
+            switch (action.kind) {
+                case 'start': {
+                    if (flow.status !== 'queued' && flow.status !== 'running')
+                        return;
+                    await registry.startStep({
+                        flowId: flow.flowId,
+                        expectedRevision,
+                        principal,
+                        currentStep: action.step,
+                    });
+                    break;
+                }
+                case 'finish': {
+                    // Need flow in `running` state for finishFlow. If currently queued,
+                    // promote first.
+                    let rev = expectedRevision;
+                    let cur = flow;
+                    if (cur.status === 'queued') {
+                        const r = await registry.startStep({
+                            flowId: flow.flowId,
+                            expectedRevision: rev,
+                            principal,
+                            currentStep: 'implementing',
+                        });
+                        cur = r.flow;
+                        rev = r.flow.revision;
+                    }
+                    if (cur.status !== 'running')
+                        return;
+                    await registry.finishFlow({
+                        flowId: flow.flowId,
+                        expectedRevision: rev,
+                        principal,
+                    });
+                    break;
+                }
+                case 'fail': {
+                    let rev = expectedRevision;
+                    let cur = flow;
+                    // failFlow requires running|waiting. Promote queued → running.
+                    if (cur.status === 'queued') {
+                        const r = await registry.startStep({
+                            flowId: flow.flowId,
+                            expectedRevision: rev,
+                            principal,
+                            currentStep: 'reject-transition',
+                        });
+                        cur = r.flow;
+                        rev = r.flow.revision;
+                    }
+                    if (cur.status !== 'running' && cur.status !== 'waiting')
+                        return;
+                    await registry.failFlow({
+                        flowId: flow.flowId,
+                        expectedRevision: rev,
+                        principal,
+                        failureReason: action.reason,
+                    });
+                    break;
+                }
+                case 'cancel': {
+                    if (flow.status === 'succeeded' || flow.status === 'failed' ||
+                        flow.status === 'cancelled' || flow.status === 'lost')
+                        return;
+                    // Two-phase: request, then cancel.
+                    const r = await registry.requestFlowCancel({
+                        flowId: flow.flowId,
+                        expectedRevision,
+                        requesterOrigin: { kind: 'system', id: 'EvolutionManager' },
+                    });
+                    await registry.cancelFlow({
+                        flowId: flow.flowId,
+                        expectedRevision: r.flow.revision,
+                        principal,
+                    });
+                    break;
+                }
+            }
+        }
+        catch (err) {
+            this.logTaskFlowError(`transition:${action.kind}`, proposalId, err);
+        }
+    }
+    logTaskFlowError(op, proposalId, err) {
+        if (err instanceof TaskFlowError) {
+            // OCC conflicts and invalid-transition errors are expected during
+            // races and concurrent updates — log at debug level only.
+            console.warn(`[EvolutionManager] taskflow ${op} for ${proposalId} skipped: ${err.code} (${err.message})`);
+        }
+        else {
+            console.warn(`[EvolutionManager] taskflow ${op} for ${proposalId} unexpected error:`, err instanceof Error ? err.message : err);
+        }
+    }
+    /**
+     * Backfill all in-flight proposals (status !== 'implemented' && !== 'rejected')
+     * into TaskFlow. Idempotent via `findIdempotent` on
+     * `evolution:cluster:<proposalId>` ownerKey. Safe to call multiple times.
+     *
+     * Returns counts: created, alreadyExisted, advanced (transitioned beyond
+     * 'queued' to match the proposal's current status).
+     */
+    async migrateExistingToTaskFlow() {
+        if (!this.taskFlowRegistry) {
+            return { created: 0, alreadyExisted: 0, advanced: 0, skipped: 0 };
+        }
+        const principal = this.taskFlowPrincipal();
+        if (!principal || principal.scope !== 'controller') {
+            return { created: 0, alreadyExisted: 0, advanced: 0, skipped: 0 };
+        }
+        const registry = this.taskFlowRegistry;
+        const state = this.loadEvolution();
+        let created = 0;
+        let alreadyExisted = 0;
+        let advanced = 0;
+        let skipped = 0;
+        for (const p of state.proposals) {
+            try {
+                const existing = registry.findByIdempotency(EVOLUTION_TASKFLOW_CONTROLLER_ID, ownerKeyForProposal(p.id), `evolution-cluster-create-${p.id}`);
+                let flow;
+                if (existing) {
+                    alreadyExisted++;
+                    flow = existing;
+                }
+                else {
+                    const r = await registry.createFlow({
+                        controllerId: EVOLUTION_TASKFLOW_CONTROLLER_ID,
+                        controllerInstanceId: principal.controllerInstanceId,
+                        ownerKey: ownerKeyForProposal(p.id),
+                        idempotencyKey: `evolution-cluster-create-${p.id}`,
+                        goal: p.title.slice(0, 1024),
+                        currentStep: 'proposed',
+                        stateJson: { proposalId: p.id, type: p.type, source: p.source },
+                    });
+                    if (r.created)
+                        created++;
+                    else
+                        alreadyExisted++;
+                    flow = r.flow;
+                }
+                // Catch the flow up to the proposal's current status.
+                const advancedThis = await this.catchUpFlowToStatus(flow, p, principal);
+                if (advancedThis)
+                    advanced++;
+            }
+            catch (err) {
+                skipped++;
+                this.logTaskFlowError('migrate', p.id, err);
+            }
+        }
+        return { created, alreadyExisted, advanced, skipped };
+    }
+    /** Catch a flow record up to the proposal's current status. */
+    async catchUpFlowToStatus(flow, p, principal) {
+        if (!this.taskFlowRegistry)
+            return false;
+        const registry = this.taskFlowRegistry;
+        let cur = registry.getFlow(flow.flowId, { bypassCache: true }) ?? flow;
+        let mutated = false;
+        const target = p.status;
+        // Already terminal — leave alone.
+        if (cur.status === 'succeeded' || cur.status === 'failed' ||
+            cur.status === 'cancelled' || cur.status === 'lost') {
+            return false;
+        }
+        // Promote queued → running if target is running/terminal-success/failed.
+        if (cur.status === 'queued' && (target === 'approved' || target === 'in_progress' ||
+            target === 'implemented' || target === 'rejected' || target === 'deferred')) {
+            const step = target === 'in_progress' ? 'in_progress'
+                : target === 'approved' ? 'approved' : 'catch-up';
+            const r = await registry.startStep({
+                flowId: cur.flowId,
+                expectedRevision: cur.revision,
+                principal,
+                currentStep: step,
+            });
+            cur = r.flow;
+            mutated = true;
+        }
+        // Finalize.
+        if (target === 'implemented' && cur.status === 'running') {
+            await registry.finishFlow({
+                flowId: cur.flowId,
+                expectedRevision: cur.revision,
+                principal,
+            });
+            mutated = true;
+        }
+        else if (target === 'rejected' &&
+            (cur.status === 'running' || cur.status === 'waiting')) {
+            await registry.failFlow({
+                flowId: cur.flowId,
+                expectedRevision: cur.revision,
+                principal,
+                failureReason: p.resolution ?? 'rejected',
+            });
+            mutated = true;
+        }
+        else if (target === 'deferred' &&
+            (cur.status === 'running' || cur.status === 'waiting' || cur.status === 'queued')) {
+            const r = await registry.requestFlowCancel({
+                flowId: cur.flowId,
+                expectedRevision: cur.revision,
+                requesterOrigin: { kind: 'system', id: 'EvolutionManager' },
+            });
+            await registry.cancelFlow({
+                flowId: cur.flowId,
+                expectedRevision: r.flow.revision,
+                principal,
+            });
+            mutated = true;
+        }
+        return mutated;
+    }
     /**
      * Wire adaptive autonomy modules for runtime integration.
      * - TrustElevationTracker: receives proposal approval/rejection events
@@ -143,6 +513,8 @@ export class EvolutionManager {
         };
         state.proposals.push(proposal);
         this.saveEvolution(state);
+        // TaskFlow Phase 3a shadow-write — best-effort, JSON remains source of truth.
+        void this.dualWriteCreate(proposal);
         return proposal;
     }
     updateProposalStatus(id, status, resolution) {
@@ -150,6 +522,7 @@ export class EvolutionManager {
         const proposal = state.proposals.find(p => p.id === id);
         if (!proposal)
             return false;
+        const prevStatus = proposal.status;
         proposal.status = status;
         if (resolution)
             proposal.resolution = resolution;
@@ -161,6 +534,9 @@ export class EvolutionManager {
             const decision = status === 'approved' ? 'approved' : 'rejected';
             this.trustElevationTracker.recordProposalDecision(proposal, decision, false);
         }
+        // TaskFlow Phase 3a shadow-write — best-effort, JSON remains source of truth.
+        const action = statusToFlowAction(prevStatus, status, resolution);
+        void this.dualWriteTransition(id, action);
         return true;
     }
     /**