@petepetrash/circuit 0.1.0

package/dist/flows/fix/writers/close.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"close.js","sourceRoot":"","sources":["../../../../src/flows/fix/writers/close.ts"],"names":[],"mappings":"AAAA,mCAAmC;AACnC,EAAE;AACF,6EAA6E;AAC7E,4EAA4E;AAC5E,kEAAkE;AAClE,EAAE;AACF,wEAAwE;AACxE,4EAA4E;AAC5E,uEAAuE;AACvE,0EAA0E;AAC1E,wEAAwE;AACxE,iBAAiB;AAGjB,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AACrF,OAAO,EACL,mBAAmB,EACnB,QAAQ,EACR,SAAS,EACT,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,kBAAkB,EAClB,kBAAkB,EAElB,SAAS,EACT,eAAe,GAChB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE1D,MAAM,iBAAiB,GAAG;IACxB,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE;IAClD,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,EAAE,gBAAgB,EAAE;IACtD,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,EAAE,kBAAkB,EAAE;IAC1D,EAAE,SAAS,EAAE,sBAAsB,EAAE,MAAM,EAAE,yBAAyB,EAAE;IACxE,EAAE,SAAS,EAAE,uBAAuB,EAAE,MAAM,EAAE,0BAA0B,EAAE;IAC1E,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE;IACpD,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,EAAE,qBAAqB,EAAE;IAChE,EAAE,SAAS,EAAE,sBAAsB,EAAE,MAAM,EAAE,yBAAyB,EAAE;IACxE,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,EAAE,mBAAmB,EAAE;CACpD,CAAC;AAEX,MAAM,uBAAuB,GAAG;IAC9B,SAAS,EAAE,YAAY;IACvB,MAAM,EAAE,eAAe;CACf,CAAC;AAEX,MAAM,CAAC,MAAM,eAAe,GAAiB;IAC3C,gBAAgB,EAAE,eAAe;IACjC,KAAK,EAAE;QACL,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE;QACzD,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,IAAI,EAAE;QAC7D,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI,EAAE;QACjE,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,yBAAyB,EAAE,QAAQ,EAAE,IAAI,EAAE;QACzE,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,0BAA0B,EAAE,QAAQ,EAAE,IAAI,EAAE;QACjF,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE;QAC3D,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,qBAAqB,EAAE,QAAQ,EAAE,IAAI,EAAE;QACvE,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,yBAAyB,EAAE,QAAQ,EAAE,IAAI,EAAE;QAC/E,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,mBAAmB,EAAE,QAAQ,EAAE,IAAI,EAAE;QACnE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,QAAQ,EAAE,KAAK,EAAE;KAC7D;IACD,KAAK,CAAC,OAA0B;QAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACnD,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/D,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACvE,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACtD,MAAM,YAAY,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACxE,MAAM,eAAe,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;QAClF,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAChE,MAAM,MAAM,GACV,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAE3F,MAAM,QAAQ,GAA6B,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACvE,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,IAAI,EAAE,gCAAgC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;SAC/D,CAAC,CAAC,CAAC;QACJ,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,uBAAuB,CAAC,SAAS;gBAC5C,MAAM,EAAE,uBAAuB,CAAC,MAAM;gBACtC,IAAI,EAAE,gCAAgC,CAAC,OAAO,CAAC,IAAI,EAAE,uBAAuB,CAAC,MAAM,CAAC;aACrF,CAAC,CAAC;QACL,CAAC;QAED,OAAO,gBAAgB,CAAC;YACtB,KAAK;YACL,SAAS;YACT,UAAU;YACV,gBAAgB,EAAE,eAAe;YACjC,MAAM;YACN,UAAU,EAAE,SAAS;YACrB,YAAY;YACZ,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;YAC3C,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,SAAS,CAAC,EAAE,KAAK,WAAW;gBAC9D,CAAC,CAAC;oBACE,kBAAkB,EAChB,kHAAkH;iBACrH;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,cAAc,EAAE,QAAQ;SACzB,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/flows/fix/writers/regression-baseline.d.ts

@@ -0,0 +1,3 @@
+import type { VerificationBuilder } from '../../registries/verification-writers/types.js';
+export declare const fixRegressionBaselineWriter: VerificationBuilder;
+//# sourceMappingURL=regression-baseline.d.ts.map

package/dist/flows/fix/writers/regression-baseline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"regression-baseline.d.ts","sourceRoot":"","sources":["../../../../src/flows/fix/writers/regression-baseline.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAEV,mBAAmB,EAGpB,MAAM,gDAAgD,CAAC;AAIxD,eAAO,MAAM,2BAA2B,EAAE,mBAwBzC,CAAC"}

package/dist/flows/fix/writers/regression-baseline.js

@@ -0,0 +1,39 @@
+// Fix regression-baseline writer.
+//
+// Runtime-owned regression proof. Reads the brief's regression_test contract.
+// If the brief declared a real `failing-before-fix` command, the runtime runs
+// it before any specialist relay can mutate the checkout and records what
+// actually happened. If the test failed as expected, the proof is 'proved' and
+// the flow continues. If it unexpectedly passed, the proof is 'not-proved' and
+// the verification executor routes to recovery — the brief selected the wrong
+// pre-fix proof command or the bug no longer reproduces. If the
+// brief deferred the regression test entirely, no command runs and the proof
+// records 'deferred' so fix-close can refuse to claim outcome 'fixed' on a
+// deferred proof.
+import { readFileSync } from 'node:fs';
+import { resolveRunRelative } from '../../../shared/run-relative-path.js';
+import { reportPathForSchemaInRuntimeFlow } from '../../registries/runtime-index.js';
+import { FixBrief } from '../reports.js';
+import { projectFixRegressionBaseline } from './regression-projection.js';
+export const fixRegressionBaselineWriter = {
+    resultSchemaName: 'fix.regression-proof@v1',
+    // Reads the brief's regression_test contract to source the pre-fix proof
+    // command. Declared so a composer wires the read and the offline floor resolves
+    // it; loadCommands below is the enforcing source of truth.
+    reads: [{ name: 'brief', schema: 'fix.brief@v1', required: true }],
+    loadCommands(context) {
+        const briefPath = reportPathForSchemaInRuntimeFlow(context.flow, 'fix.brief@v1');
+        if (!context.step.reads.includes(briefPath)) {
+            throw new Error(`fix.regression-proof@v1 requires step '${context.step.id}' to read ${briefPath}`);
+        }
+        const brief = FixBrief.parse(JSON.parse(readFileSync(resolveRunRelative(context.runFolder, briefPath), 'utf8')));
+        if (brief.regression_contract.regression_test.status !== 'failing-before-fix') {
+            return [];
+        }
+        return [brief.regression_contract.regression_test.command];
+    },
+    buildResult(observations) {
+        return projectFixRegressionBaseline(observations);
+    },
+};
+//# sourceMappingURL=regression-baseline.js.map

package/dist/flows/fix/writers/regression-baseline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regression-baseline.js","sourceRoot":"","sources":["../../../../src/flows/fix/writers/regression-baseline.ts"],"names":[],"mappings":"AAAA,kCAAkC;AAClC,EAAE;AACF,8EAA8E;AAC9E,8EAA8E;AAC9E,0EAA0E;AAC1E,+EAA+E;AAC/E,+EAA+E;AAC/E,8EAA8E;AAC9E,gEAAgE;AAChE,6EAA6E;AAC7E,2EAA2E;AAC3E,kBAAkB;AAElB,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AAC1E,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AAOrF,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAE1E,MAAM,CAAC,MAAM,2BAA2B,GAAwB;IAC9D,gBAAgB,EAAE,yBAAyB;IAC3C,yEAAyE;IACzE,gFAAgF;IAChF,2DAA2D;IAC3D,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAClE,YAAY,CAAC,OAAiC;QAC5C,MAAM,SAAS,GAAG,gCAAgC,CAAC,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACjF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAkB,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,KAAK,CACb,0CAA0C,OAAO,CAAC,IAAI,CAAC,EAAE,aAAa,SAAS,EAAE,CAClF,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAC1B,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC,CACnF,CAAC;QACF,IAAI,KAAK,CAAC,mBAAmB,CAAC,eAAe,CAAC,MAAM,KAAK,oBAAoB,EAAE,CAAC;YAC9E,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,CAAC,KAAK,CAAC,mBAAmB,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IAC7D,CAAC;IACD,WAAW,CAAC,YAAuD;QACjE,OAAO,4BAA4B,CAAC,YAAY,CAAC,CAAC;IACpD,CAAC;CACF,CAAC"}

package/dist/flows/fix/writers/regression-projection.d.ts

@@ -0,0 +1,5 @@
+import type { VerificationCommandObservation } from '../../registries/verification-writers/types.js';
+import { FixRegressionProof, FixRegressionRerun } from '../reports.js';
+export declare function projectFixRegressionBaseline(observations: readonly VerificationCommandObservation[]): FixRegressionProof;
+export declare function projectFixRegressionRerun(observations: readonly VerificationCommandObservation[]): FixRegressionRerun;
+//# sourceMappingURL=regression-projection.d.ts.map

package/dist/flows/fix/writers/regression-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"regression-projection.d.ts","sourceRoot":"","sources":["../../../../src/flows/fix/writers/regression-projection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,gDAAgD,CAAC;AACrG,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAkBvE,wBAAgB,4BAA4B,CAC1C,YAAY,EAAE,SAAS,8BAA8B,EAAE,GACtD,kBAAkB,CA2BpB;AAED,wBAAgB,yBAAyB,CACvC,YAAY,EAAE,SAAS,8BAA8B,EAAE,GACtD,kBAAkB,CA2BpB"}

package/dist/flows/fix/writers/regression-projection.js

@@ -0,0 +1,71 @@
+import { FixRegressionProof, FixRegressionRerun } from '../reports.js';
+function regressionObservationPayload(observation) {
+    return {
+        command_id: observation.command.id,
+        cwd: observation.command.cwd,
+        argv: observation.command.argv,
+        timeout_ms: observation.command.timeout_ms,
+        max_output_bytes: observation.command.max_output_bytes,
+        env: observation.command.env,
+        exit_code: observation.exit_code,
+        command_status: observation.status,
+        duration_ms: observation.duration_ms,
+        stdout_summary: observation.stdout_summary,
+        stderr_summary: observation.stderr_summary,
+    };
+}
+export function projectFixRegressionBaseline(observations) {
+    if (observations.length === 0) {
+        return FixRegressionProof.parse({
+            status: 'deferred',
+            overall_status: 'passed',
+            reason: 'Brief deferred the regression test; no runtime baseline was collected.',
+        });
+    }
+    const observation = observations[0];
+    if (observation === undefined) {
+        throw new Error('fix.regression-proof@v1: regression baseline observation missing');
+    }
+    const baseline = regressionObservationPayload(observation);
+    if (observation.status === 'failed') {
+        return FixRegressionProof.parse({
+            status: 'proved',
+            overall_status: 'passed',
+            baseline,
+        });
+    }
+    return FixRegressionProof.parse({
+        status: 'not-proved',
+        overall_status: 'failed',
+        reason: 'Brief claimed the regression test fails before the fix, but the runtime observed it pass. The brief selected the wrong pre-fix proof command or the bug no longer reproduces.',
+        baseline,
+    });
+}
+export function projectFixRegressionRerun(observations) {
+    if (observations.length === 0) {
+        return FixRegressionRerun.parse({
+            status: 'deferred',
+            overall_status: 'passed',
+            reason: 'Brief deferred the regression test; no runtime rerun was performed.',
+        });
+    }
+    const observation = observations[0];
+    if (observation === undefined) {
+        throw new Error('fix.regression-rerun@v1: regression rerun observation missing');
+    }
+    const rerun = regressionObservationPayload(observation);
+    if (observation.status === 'passed') {
+        return FixRegressionRerun.parse({
+            status: 'cleared',
+            overall_status: 'passed',
+            rerun,
+        });
+    }
+    return FixRegressionRerun.parse({
+        status: 'still-failing',
+        overall_status: 'failed',
+        reason: 'Brief declared the regression test fails before the fix and the baseline confirmed that, but the same command still fails after the fix. The fix did not clear the regression.',
+        rerun,
+    });
+}
+//# sourceMappingURL=regression-projection.js.map

package/dist/flows/fix/writers/regression-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regression-projection.js","sourceRoot":"","sources":["../../../../src/flows/fix/writers/regression-projection.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAEvE,SAAS,4BAA4B,CAAC,WAA2C;IAC/E,OAAO;QACL,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE;QAClC,GAAG,EAAE,WAAW,CAAC,OAAO,CAAC,GAAG;QAC5B,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI;QAC9B,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,UAAU;QAC1C,gBAAgB,EAAE,WAAW,CAAC,OAAO,CAAC,gBAAgB;QACtD,GAAG,EAAE,WAAW,CAAC,OAAO,CAAC,GAAG;QAC5B,SAAS,EAAE,WAAW,CAAC,SAAS;QAChC,cAAc,EAAE,WAAW,CAAC,MAAM;QAClC,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,cAAc,EAAE,WAAW,CAAC,cAAc;QAC1C,cAAc,EAAE,WAAW,CAAC,cAAc;KAC3C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,YAAuD;IAEvD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,kBAAkB,CAAC,KAAK,CAAC;YAC9B,MAAM,EAAE,UAAU;YAClB,cAAc,EAAE,QAAQ;YACxB,MAAM,EAAE,wEAAwE;SACjF,CAAC,CAAC;IACL,CAAC;IACD,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,WAAW,CAAC,CAAC;IAC3D,IAAI,WAAW,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACpC,OAAO,kBAAkB,CAAC,KAAK,CAAC;YAC9B,MAAM,EAAE,QAAQ;YAChB,cAAc,EAAE,QAAQ;YACxB,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IACD,OAAO,kBAAkB,CAAC,KAAK,CAAC;QAC9B,MAAM,EAAE,YAAY;QACpB,cAAc,EAAE,QAAQ;QACxB,MAAM,EACJ,+KAA+K;QACjL,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,YAAuD;IAEvD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,kBAAkB,CAAC,KAAK,CAAC;YAC9B,MAAM,EAAE,UAAU;YAClB,cAAc,EAAE,QAAQ;YACxB,MAAM,EAAE,qEAAqE;SAC9E,CAAC,CAAC;IACL,CAAC;IACD,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,KAAK,GAAG,4BAA4B,CAAC,WAAW,CAAC,CAAC;IACxD,IAAI,WAAW,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACpC,OAAO,kBAAkB,CAAC,KAAK,CAAC;YAC9B,MAAM,EAAE,SAAS;YACjB,cAAc,EAAE,QAAQ;YACxB,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IACD,OAAO,kBAAkB,CAAC,KAAK,CAAC;QAC9B,MAAM,EAAE,eAAe;QACvB,cAAc,EAAE,QAAQ;QACxB,MAAM,EACJ,gLAAgL;QAClL,KAAK;KACN,CAAC,CAAC;AACL,CAAC"}

package/dist/flows/fix/writers/regression-rerun.d.ts

@@ -0,0 +1,3 @@
+import type { VerificationBuilder } from '../../registries/verification-writers/types.js';
+export declare const fixRegressionRerunWriter: VerificationBuilder;
+//# sourceMappingURL=regression-rerun.d.ts.map

package/dist/flows/fix/writers/regression-rerun.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"regression-rerun.d.ts","sourceRoot":"","sources":["../../../../src/flows/fix/writers/regression-rerun.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EAEV,mBAAmB,EAGpB,MAAM,gDAAgD,CAAC;AAIxD,eAAO,MAAM,wBAAwB,EAAE,mBAyBtC,CAAC"}

package/dist/flows/fix/writers/regression-rerun.js

@@ -0,0 +1,51 @@
+// Fix regression-rerun writer.
+//
+// Runtime-owned post-fix proof. Re-runs the brief's `regression_test.command`
+// (the same command that fix-regression-baseline ran BEFORE fix-act) AFTER
+// fix-verify and records what happened. The job is to detect the false-done
+// pattern where:
+//
+//   - the brief declares a real regression command
+//   - the baseline observes it failing as expected (proved)
+//   - the brief's `verification_command_candidates` are unrelated/no-op and
+//     pass after the fix
+//   - the actual regression command would still fail
+//
+// Without this rerun, the chain would treat the unrelated noop verification
+// as proof that the fix worked. With it, fix-close requires the same exact
+// command that proved the bug to also clear post-fix; otherwise outcome
+// 'fixed' is denied.
+//
+// If the brief deferred the regression test (no command available), this
+// writer emits status='deferred', which mirrors the baseline. fix-close
+// already checks regression_status='proved' so the deferred case is
+// already routed to outcome='partial'; the rerun's deferred status is
+// recorded for transparency.
+import { readFileSync } from 'node:fs';
+import { resolveRunRelative } from '../../../shared/run-relative-path.js';
+import { reportPathForSchemaInRuntimeFlow } from '../../registries/runtime-index.js';
+import { FixBrief } from '../reports.js';
+import { projectFixRegressionRerun } from './regression-projection.js';
+export const fixRegressionRerunWriter = {
+    resultSchemaName: 'fix.regression-rerun@v1',
+    // Re-runs the same regression command the brief declared (which the baseline
+    // writer also sources), so it reads the brief. Declared so a composer wires the
+    // read and the offline floor resolves it; loadCommands below is the enforcing
+    // source of truth.
+    reads: [{ name: 'brief', schema: 'fix.brief@v1', required: true }],
+    loadCommands(context) {
+        const briefPath = reportPathForSchemaInRuntimeFlow(context.flow, 'fix.brief@v1');
+        if (!context.step.reads.includes(briefPath)) {
+            throw new Error(`fix.regression-rerun@v1 requires step '${context.step.id}' to read ${briefPath}`);
+        }
+        const brief = FixBrief.parse(JSON.parse(readFileSync(resolveRunRelative(context.runFolder, briefPath), 'utf8')));
+        if (brief.regression_contract.regression_test.status !== 'failing-before-fix') {
+            return [];
+        }
+        return [brief.regression_contract.regression_test.command];
+    },
+    buildResult(observations) {
+        return projectFixRegressionRerun(observations);
+    },
+};
+//# sourceMappingURL=regression-rerun.js.map

package/dist/flows/fix/writers/regression-rerun.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regression-rerun.js","sourceRoot":"","sources":["../../../../src/flows/fix/writers/regression-rerun.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,EAAE;AACF,8EAA8E;AAC9E,2EAA2E;AAC3E,4EAA4E;AAC5E,iBAAiB;AACjB,EAAE;AACF,mDAAmD;AACnD,4DAA4D;AAC5D,4EAA4E;AAC5E,yBAAyB;AACzB,qDAAqD;AACrD,EAAE;AACF,4EAA4E;AAC5E,2EAA2E;AAC3E,wEAAwE;AACxE,qBAAqB;AACrB,EAAE;AACF,yEAAyE;AACzE,wEAAwE;AACxE,oEAAoE;AACpE,sEAAsE;AACtE,6BAA6B;AAE7B,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AAC1E,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AAOrF,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAEvE,MAAM,CAAC,MAAM,wBAAwB,GAAwB;IAC3D,gBAAgB,EAAE,yBAAyB;IAC3C,6EAA6E;IAC7E,gFAAgF;IAChF,8EAA8E;IAC9E,mBAAmB;IACnB,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAClE,YAAY,CAAC,OAAiC;QAC5C,MAAM,SAAS,GAAG,gCAAgC,CAAC,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACjF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAkB,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,KAAK,CACb,0CAA0C,OAAO,CAAC,IAAI,CAAC,EAAE,aAAa,SAAS,EAAE,CAClF,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAC1B,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC,CACnF,CAAC;QACF,IAAI,KAAK,CAAC,mBAAmB,CAAC,eAAe,CAAC,MAAM,KAAK,oBAAoB,EAAE,CAAC;YAC9E,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,CAAC,KAAK,CAAC,mBAAmB,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IAC7D,CAAC;IACD,WAAW,CAAC,YAAuD;QACjE,OAAO,yBAAyB,CAAC,YAAY,CAAC,CAAC;IACjD,CAAC;CACF,CAAC"}

package/dist/flows/fix/writers/result-projection.d.ts

@@ -0,0 +1,15 @@
+import type { FixBrief, FixChange, FixChangeSet, FixDiagnosis, FixRegressionProof, FixRegressionRerun, FixResult, FixResultReportPointer, FixReview, FixVerification } from '../reports.js';
+export interface FixResultProjectorInputs {
+    brief: FixBrief;
+    diagnosis: FixDiagnosis;
+    regression: FixRegressionProof;
+    regression_rerun: FixRegressionRerun;
+    change: FixChange;
+    change_set: FixChangeSet;
+    verification: FixVerification;
+    review?: FixReview;
+    review_skip_reason?: string;
+    evidence_links: FixResultReportPointer[];
+}
+export declare function projectFixResult(inputs: FixResultProjectorInputs): FixResult;
+//# sourceMappingURL=result-projection.d.ts.map

package/dist/flows/fix/writers/result-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-projection.d.ts","sourceRoot":"","sources":["../../../../src/flows/fix/writers/result-projection.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EACV,QAAQ,EACR,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,kBAAkB,EAClB,kBAAkB,EAClB,SAAS,EACT,sBAAsB,EACtB,SAAS,EACT,eAAe,EAChB,MAAM,eAAe,CAAC;AAGvB,MAAM,WAAW,wBAAwB;IACvC,KAAK,EAAE,QAAQ,CAAC;IAChB,SAAS,EAAE,YAAY,CAAC;IACxB,UAAU,EAAE,kBAAkB,CAAC;IAC/B,gBAAgB,EAAE,kBAAkB,CAAC;IACrC,MAAM,EAAE,SAAS,CAAC;IAClB,UAAU,EAAE,YAAY,CAAC;IACzB,YAAY,EAAE,eAAe,CAAC;IAC9B,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,cAAc,EAAE,sBAAsB,EAAE,CAAC;CAC1C;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,wBAAwB,GAAG,SAAS,CAmE5E"}

package/dist/flows/fix/writers/result-projection.js

@@ -0,0 +1,58 @@
+// Fix result projector — the single source of truth for how proof reports
+// project into the FixResult shape. The close writer and any runtime
+// self-check both go through this function so the runtime cannot drift from
+// its own evidence: there is exactly one place that decides what counts as
+// 'fixed', 'partial', 'not-reproduced', or 'failed'.
+//
+// Inputs are already-parsed proof reports. Pointers are built by the caller
+// from compiled-flow context and passed in. The projector itself does not
+// touch the filesystem or the flow registry — it is a pure function from
+// proof state to FixResult.
+import { FixResult as FixResultSchema } from '../reports.js';
+export function projectFixResult(inputs) {
+    const { brief, diagnosis, regression, regression_rerun: regressionRerun, change, change_set: changeSet, verification, review, review_skip_reason: reviewSkipReason, evidence_links, } = inputs;
+    const verificationStatus = verification.overall_status === 'passed' ? 'passed' : 'failed';
+    const regressionStatus = regression.status === 'proved' ? 'proved' : 'deferred';
+    const regressionRerunStatus = regressionRerun.status;
+    const changeSetStatus = changeSet.status;
+    const reviewStatus = review === undefined ? 'skipped' : 'completed';
+    const hasNoReproDecision = evidence_links.some((pointer) => pointer.report_id === 'fix.no-repro-decision');
+    const fixedGate = verificationStatus === 'passed' &&
+        regressionStatus === 'proved' &&
+        regressionRerunStatus === 'cleared' &&
+        changeSetStatus === 'pass' &&
+        (review === undefined || review.verdict === 'accept');
+    const partialGate = verificationStatus === 'passed' &&
+        (regressionStatus !== 'proved' ||
+            regressionRerunStatus !== 'cleared' ||
+            changeSetStatus === 'fail' ||
+            review?.verdict === 'accept-with-fixes');
+    const noReproDecisionGate = hasNoReproDecision &&
+        diagnosis.reproduction_status === 'not-reproduced' &&
+        regressionStatus !== 'proved';
+    const outcome = fixedGate
+        ? 'fixed'
+        : noReproDecisionGate
+            ? 'not-reproduced'
+            : partialGate
+                ? 'partial'
+                : 'failed';
+    return FixResultSchema.parse({
+        summary: `Fix '${brief.problem_statement}': ${change.summary}`,
+        outcome,
+        verification_status: verificationStatus,
+        regression_status: regressionStatus,
+        regression_rerun_status: regressionRerunStatus,
+        change_set_status: changeSetStatus,
+        review_status: reviewStatus,
+        ...(review === undefined ? {} : { review_verdict: review.verdict }),
+        ...(review === undefined
+            ? {
+                review_skip_reason: reviewSkipReason ?? 'Low depth skipped review per route_overrides.',
+            }
+            : {}),
+        residual_risks: [...diagnosis.residual_uncertainty],
+        evidence_links,
+    });
+}
+//# sourceMappingURL=result-projection.js.map

package/dist/flows/fix/writers/result-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-projection.js","sourceRoot":"","sources":["../../../../src/flows/fix/writers/result-projection.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,qEAAqE;AACrE,4EAA4E;AAC5E,2EAA2E;AAC3E,qDAAqD;AACrD,EAAE;AACF,4EAA4E;AAC5E,0EAA0E;AAC1E,yEAAyE;AACzE,4BAA4B;AAc5B,OAAO,EAAE,SAAS,IAAI,eAAe,EAAE,MAAM,eAAe,CAAC;AAe7D,MAAM,UAAU,gBAAgB,CAAC,MAAgC;IAC/D,MAAM,EACJ,KAAK,EACL,SAAS,EACT,UAAU,EACV,gBAAgB,EAAE,eAAe,EACjC,MAAM,EACN,UAAU,EAAE,SAAS,EACrB,YAAY,EACZ,MAAM,EACN,kBAAkB,EAAE,gBAAgB,EACpC,cAAc,GACf,GAAG,MAAM,CAAC;IAEX,MAAM,kBAAkB,GACtB,YAAY,CAAC,cAAc,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IACjE,MAAM,gBAAgB,GACpB,UAAU,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC;IACzD,MAAM,qBAAqB,GAAyC,eAAe,CAAC,MAAM,CAAC;IAC3F,MAAM,eAAe,GAAmC,SAAS,CAAC,MAAM,CAAC;IACzE,MAAM,YAAY,GAA+B,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC;IAChG,MAAM,kBAAkB,GAAG,cAAc,CAAC,IAAI,CAC5C,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,KAAK,uBAAuB,CAC3D,CAAC;IAEF,MAAM,SAAS,GACb,kBAAkB,KAAK,QAAQ;QAC/B,gBAAgB,KAAK,QAAQ;QAC7B,qBAAqB,KAAK,SAAS;QACnC,eAAe,KAAK,MAAM;QAC1B,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC;IACxD,MAAM,WAAW,GACf,kBAAkB,KAAK,QAAQ;QAC/B,CAAC,gBAAgB,KAAK,QAAQ;YAC5B,qBAAqB,KAAK,SAAS;YACnC,eAAe,KAAK,MAAM;YAC1B,MAAM,EAAE,OAAO,KAAK,mBAAmB,CAAC,CAAC;IAC7C,MAAM,mBAAmB,GACvB,kBAAkB;QAClB,SAAS,CAAC,mBAAmB,KAAK,gBAAgB;QAClD,gBAAgB,KAAK,QAAQ,CAAC;IAEhC,MAAM,OAAO,GAAyB,SAAS;QAC7C,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,mBAAmB;YACnB,CAAC,CAAC,gBAAgB;YAClB,CAAC,CAAC,WAAW;gBACX,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,QAAQ,CAAC;IAEjB,OAAO,eAAe,CAAC,KAAK,CAAC;QAC3B,OAAO,EAAE,QAAQ,KAAK,CAAC,iBAAiB,MAAM,MAAM,CAAC,OAAO,EAAE;QAC9D,OAAO;QACP,mBAAmB,EAAE,kBAAkB;QACvC,iBAAiB,EAAE,gBAAgB;QACnC,uBAAuB,EAAE,qBAAqB;QAC9C,iBAAiB,EAAE,eAAe;QAClC,aAAa,EAAE,YAAY;QAC3B,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;QACnE,GAAG,CAAC,MAAM,KAAK,SAAS;YACtB,CAAC,CAAC;gBACE,kBAAkB,EAAE,gBAAgB,IAAI,+CAA+C;aACxF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,cAAc,EAAE,CAAC,GAAG,SAAS,CAAC,oBAAoB,CAAC;QACnD,cAAc;KACf,CAAC,CAAC;AACL,CAAC"}

package/dist/flows/fix/writers/verification-projection.d.ts

@@ -0,0 +1,4 @@
+import type { VerificationCommandObservation } from '../../registries/verification-writers/types.js';
+import { FixVerification } from '../reports.js';
+export declare function projectFixVerification(observations: readonly VerificationCommandObservation[]): FixVerification;
+//# sourceMappingURL=verification-projection.d.ts.map

package/dist/flows/fix/writers/verification-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-projection.d.ts","sourceRoot":"","sources":["../../../../src/flows/fix/writers/verification-projection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,gDAAgD,CAAC;AACrG,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,SAAS,8BAA8B,EAAE,GACtD,eAAe,CAsBjB"}

package/dist/flows/fix/writers/verification-projection.js

@@ -0,0 +1,24 @@
+import { FixVerification } from '../reports.js';
+export function projectFixVerification(observations) {
+    const overallStatus = observations.some((observation) => observation.status === 'failed')
+        ? 'failed'
+        : 'passed';
+    return FixVerification.parse({
+        overall_status: overallStatus,
+        commands: observations.map((observation) => ({
+            command_id: observation.command.id,
+            argv: observation.command.argv,
+            cwd: observation.command.cwd,
+            exit_code: observation.exit_code,
+            status: observation.status,
+            duration_ms: observation.duration_ms,
+            stdout_summary: observation.stdout_summary,
+            stderr_summary: observation.stderr_summary,
+            timed_out: observation.timed_out,
+            timeout_ms: observation.command.timeout_ms,
+            max_output_bytes: observation.command.max_output_bytes,
+            env: observation.command.env,
+        })),
+    });
+}
+//# sourceMappingURL=verification-projection.js.map

package/dist/flows/fix/writers/verification-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-projection.js","sourceRoot":"","sources":["../../../../src/flows/fix/writers/verification-projection.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,MAAM,UAAU,sBAAsB,CACpC,YAAuD;IAEvD,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,QAAQ,CAAC;QACvF,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,QAAQ,CAAC;IAEb,OAAO,eAAe,CAAC,KAAK,CAAC;QAC3B,cAAc,EAAE,aAAa;QAC7B,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YAC3C,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE;YAClC,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI;YAC9B,GAAG,EAAE,WAAW,CAAC,OAAO,CAAC,GAAG;YAC5B,SAAS,EAAE,WAAW,CAAC,SAAS;YAChC,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,WAAW,EAAE,WAAW,CAAC,WAAW;YACpC,cAAc,EAAE,WAAW,CAAC,cAAc;YAC1C,cAAc,EAAE,WAAW,CAAC,cAAc;YAC1C,SAAS,EAAE,WAAW,CAAC,SAAS;YAChC,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,UAAU;YAC1C,gBAAgB,EAAE,WAAW,CAAC,OAAO,CAAC,gBAAgB;YACtD,GAAG,EAAE,WAAW,CAAC,OAAO,CAAC,GAAG;SAC7B,CAAC,CAAC;KACJ,CAAC,CAAC;AACL,CAAC"}

package/dist/flows/fix/writers/verification.d.ts

@@ -0,0 +1,3 @@
+import type { VerificationBuilder } from '../../registries/verification-writers/types.js';
+export declare const fixVerificationWriter: VerificationBuilder;
+//# sourceMappingURL=verification.d.ts.map

package/dist/flows/fix/writers/verification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../../../src/flows/fix/writers/verification.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAEV,mBAAmB,EAGpB,MAAM,gDAAgD,CAAC;AAIxD,eAAO,MAAM,qBAAqB,EAAE,mBAqBnC,CAAC"}

package/dist/flows/fix/writers/verification.js

@@ -0,0 +1,32 @@
+// Fix verification writer.
+//
+// Sources commands from fix.brief@v1 — Fix has no separate plan step;
+// the brief itself carries the verification command candidates. Emits
+// the FixVerification report, which is wider than BuildVerification:
+// each command result echoes timeout_ms/max_output_bytes/env so the
+// result is self-contained as repro evidence even if the brief is
+// later edited.
+import { readFileSync } from 'node:fs';
+import { resolveRunRelative } from '../../../shared/run-relative-path.js';
+import { reportPathForSchemaInRuntimeFlow } from '../../registries/runtime-index.js';
+import { FixBrief } from '../reports.js';
+import { projectFixVerification } from './verification-projection.js';
+export const fixVerificationWriter = {
+    resultSchemaName: 'fix.verification@v1',
+    // Commands come from the brief's verification_command_candidates. Declared so a
+    // composer wires the read and the offline floor resolves it; loadCommands below
+    // is the enforcing source of truth.
+    reads: [{ name: 'brief', schema: 'fix.brief@v1', required: true }],
+    loadCommands(context) {
+        const briefPath = reportPathForSchemaInRuntimeFlow(context.flow, 'fix.brief@v1');
+        if (!context.step.reads.includes(briefPath)) {
+            throw new Error(`fix.verification@v1 requires step '${context.step.id}' to read ${briefPath}`);
+        }
+        const brief = FixBrief.parse(JSON.parse(readFileSync(resolveRunRelative(context.runFolder, briefPath), 'utf8')));
+        return brief.verification_command_candidates;
+    },
+    buildResult(observations) {
+        return projectFixVerification(observations);
+    },
+};
+//# sourceMappingURL=verification.js.map

package/dist/flows/fix/writers/verification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../../../src/flows/fix/writers/verification.ts"],"names":[],"mappings":"AAAA,2BAA2B;AAC3B,EAAE;AACF,sEAAsE;AACtE,sEAAsE;AACtE,qEAAqE;AACrE,oEAAoE;AACpE,kEAAkE;AAClE,gBAAgB;AAEhB,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AAC1E,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AAOrF,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAEtE,MAAM,CAAC,MAAM,qBAAqB,GAAwB;IACxD,gBAAgB,EAAE,qBAAqB;IACvC,gFAAgF;IAChF,gFAAgF;IAChF,oCAAoC;IACpC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAClE,YAAY,CAAC,OAAiC;QAC5C,MAAM,SAAS,GAAG,gCAAgC,CAAC,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACjF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAkB,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,KAAK,CACb,sCAAsC,OAAO,CAAC,IAAI,CAAC,EAAE,aAAa,SAAS,EAAE,CAC9E,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAC1B,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC,CACnF,CAAC;QACF,OAAO,KAAK,CAAC,+BAA+B,CAAC;IAC/C,CAAC;IACD,WAAW,CAAC,YAAuD;QACjE,OAAO,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC9C,CAAC;CACF,CAAC"}

package/dist/flows/fix-until-green/assembly-spec.d.ts

@@ -0,0 +1,5 @@
+import type { FlowSchematicAssemblySpec } from '../assemble-flow-schematic.js';
+import type { BlockStepUse } from '../block-step-expansion.js';
+export declare const fixUntilGreenBlockItems: readonly BlockStepUse[];
+export declare const fixUntilGreenAssemblySpec: FlowSchematicAssemblySpec;
+//# sourceMappingURL=assembly-spec.d.ts.map

package/dist/flows/fix-until-green/assembly-spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assembly-spec.d.ts","sourceRoot":"","sources":["../../../src/flows/fix-until-green/assembly-spec.ts"],"names":[],"mappings":"AA4DA,OAAO,KAAK,EAAE,yBAAyB,EAAiB,MAAM,+BAA+B,CAAC;AAC9F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAc/D,eAAO,MAAM,uBAAuB,EAAE,SAAS,YAAY,EAmF1D,CAAC;AASF,eAAO,MAAM,yBAAyB,EAAE,yBAyCvC,CAAC"}

package/dist/flows/fix-until-green/assembly-spec.js

@@ -0,0 +1,141 @@
+const FIX_UNTIL_GREEN_STAGE_PATH_RATIONALE = 'Fix Until Green is a narrow Converge flow; plan, act, verify, and review are the canonical stages needed to loop a fix-attempt body until verification passes.';
+// The carried-notes run-file the engine maintains across iterations. The act
+// (head) step lists it in `reads` so each pass re-inlines the accumulated lessons.
+const CARRIED_NOTES_PATH = 'reports/fix-until-green/carried-notes.json';
+const JUDGE_RESULT_PATH = 'reports/fix-until-green/judgment.result.json';
+// The TYPED judgment report. This file exists only when the judge's result
+// passed converge.judgment@v1 validation, so the until corridor's stop_judge
+// always disposes a schema-checked goal_met.
+const JUDGE_REPORT_PATH = 'reports/fix-until-green/judgment.report.json';
+export const fixUntilGreenBlockItems = [
+    {
+        id: 'plan-step',
+        title: 'Plan the verification',
+        stage: 'plan',
+        block: 'plan',
+        input: { brief: 'flow.brief@v1' },
+        output: 'fix-until-green.plan@v1',
+        execution: { kind: 'compose' },
+        protocol: 'fix-until-green-plan@v1',
+        reportPath: 'reports/fix-until-green/plan.json',
+        required: ['objective', 'verification'],
+        routes: { continue: 'act-step', stop: '@stop' },
+    },
+    {
+        id: 'act-step',
+        title: 'Attempt the fix',
+        stage: 'act',
+        block: 'act',
+        // Reads the brief and the plan. The carried-notes file is wired into this
+        // step's reads by the schematic assembler (see the note on
+        // carriedNotesHeadReadPath in the assembly spec below), so each pass re-inlines
+        // the lessons the judge left on prior iterations, framed as data. That re-inline
+        // is the compounding mechanism: each attempt starts from what the last learned.
+        input: { brief: 'flow.brief@v1', plan: 'fix-until-green.plan@v1' },
+        execution: { kind: 'relay', role: 'implementer' },
+        protocol: 'fix-until-green-act@v1',
+        requestPath: 'reports/fix-until-green/act.request.json',
+        receiptPath: 'reports/fix-until-green/act.receipt.txt',
+        resultPath: 'reports/fix-until-green/act.result.json',
+        pass: ['ok'],
+        routes: { continue: 'verify-step' },
+    },
+    {
+        id: 'verify-step',
+        title: 'Run the verification',
+        stage: 'verify',
+        block: 'run-verification',
+        input: { proof: 'verification.plan@v1', plan: 'fix-until-green.plan@v1' },
+        output: 'fix-until-green.verification@v1',
+        protocol: 'fix-until-green-verify@v1',
+        reportPath: 'reports/fix-until-green/verification.json',
+        required: ['overall_status', 'commands'],
+        // continue: the green-verify forward route to the judge.
+        // revise: the red-verify recovery route to the judge. revise binds as
+        //   narrow_scope recovery (allowed for cause failed_check), so a failed
+        //   command routes forward to the judge WITH failure evidence present (the
+        //   proof assessment), rather than failing the step. The judge then reflects,
+        //   the floor blocks its goal_met claim on the open proof gap, and the tail
+        //   seam carries the lesson on re-enter.
+        routes: { continue: 'judge-step', revise: 'judge-step', stop: '@stop' },
+    },
+    {
+        id: 'judge-step',
+        title: 'Judge whether the goal is met',
+        stage: 'review',
+        block: 'review',
+        // Brief-only input (a registered initial contract). The judge's decision rides
+        // on its typed judgment report (goal_met + lesson), which the stop_judge reads;
+        // it does not need a typed read of the verification.
+        input: { brief: 'flow.brief@v1' },
+        execution: { kind: 'relay', role: 'reviewer' },
+        protocol: 'fix-until-green-review@v1',
+        // Bound to the strict judgment contract: the typed report is what the until
+        // corridor reads (stop_judge.report below), and the bound schema is what the
+        // shape-hint registry keys on, so the judge's prompt teaches exactly the
+        // shape the validator enforces. A bare acknowledgment body fails schema
+        // validation and can never close the loop.
+        output: 'converge.judgment@v1',
+        requestPath: 'reports/fix-until-green/judgment.request.json',
+        receiptPath: 'reports/fix-until-green/judgment.receipt.txt',
+        resultPath: JUDGE_RESULT_PATH,
+        reportPath: JUDGE_REPORT_PATH,
+        // All three schema verdicts are admissible: the verdict reports that the
+        // judge did its job; goal_met carries the judgment. An honest "reject" must
+        // route through the loop's disposition, not fail the relay check.
+        pass: ['accept', 'accept-with-fixes', 'reject'],
+        // continue: clean stop to @complete. advance: the loop re-entry edge back to
+        // the head. close: the exhausted exit to the non-complete @stop terminal — a
+        // NORMAL route (not a recovery route) so an exhausted clean pass does not trip
+        // the no-failure-evidence guard.
+        routes: { continue: '@complete', advance: 'act-step', close: '@stop' },
+    },
+];
+const fixUntilGreenStageLabels = {
+    plan: { id: 'plan-stage', title: 'Plan' },
+    act: { id: 'act-stage', title: 'Act' },
+    verify: { id: 'verify-stage', title: 'Verify' },
+    review: { id: 'review-stage', title: 'Review' },
+};
+export const fixUntilGreenAssemblySpec = {
+    id: 'fix-until-green',
+    title: 'Fix Until Green Schematic',
+    purpose: 'Fix Until Green flow: loop a fix-attempt body (act, verify, judge) until a real verification command passes or the iteration cap is hit, so the until-loop primitive runs with a true evidence floor and a judge that leaves a lesson for the next pass.',
+    status: 'active',
+    version: '0.1.0',
+    initial_contracts: ['flow.brief@v1', 'verification.plan@v1'],
+    contract_aliases: [
+        { generic: 'plan.strategy@v1', actual: 'fix-until-green.plan@v1' },
+        { generic: 'verification.result@v1', actual: 'fix-until-green.verification@v1' },
+        // The judge-step overrides the review block's generic output with the strict
+        // judgment contract; the alias makes that override block-compatible.
+        { generic: 'review.verdict@v1', actual: 'converge.judgment@v1' },
+    ],
+    axes: {
+        allowed_depths: ['medium'],
+        supports_tournament: false,
+        supports_autonomous: true,
+        default: { depth: 'medium', tournament: false, tournament_n: 3, autonomous: false },
+    },
+    engine_flags: {
+        iterates_until_condition: {
+            head_step: 'act-step',
+            tail_step: 'judge-step',
+            body_steps: ['act-step', 'verify-step', 'judge-step'],
+            reenter_route: 'advance',
+            max_iterations: 3,
+            stop_judge: {
+                report: JUDGE_REPORT_PATH,
+                goal_met_path: 'goal_met',
+                lesson_path: 'lesson',
+            },
+            needs_attention_route: 'close',
+            carried_notes: { report: CARRIED_NOTES_PATH },
+            activate_when_depth_at_least: 'autonomous',
+        },
+    },
+    items: fixUntilGreenBlockItems,
+    stageLabels: fixUntilGreenStageLabels,
+    stagePathRationale: FIX_UNTIL_GREEN_STAGE_PATH_RATIONALE,
+};
+//# sourceMappingURL=assembly-spec.js.map

package/dist/flows/fix-until-green/assembly-spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assembly-spec.js","sourceRoot":"","sources":["../../../src/flows/fix-until-green/assembly-spec.ts"],"names":[],"mappings":"AA+DA,MAAM,oCAAoC,GACxC,gKAAgK,CAAC;AAEnK,6EAA6E;AAC7E,mFAAmF;AACnF,MAAM,kBAAkB,GAAG,4CAA4C,CAAC;AACxE,MAAM,iBAAiB,GAAG,8CAA8C,CAAC;AACzE,2EAA2E;AAC3E,6EAA6E;AAC7E,6CAA6C;AAC7C,MAAM,iBAAiB,GAAG,8CAA8C,CAAC;AAEzE,MAAM,CAAC,MAAM,uBAAuB,GAA4B;IAC9D;QACE,EAAE,EAAE,WAAW;QACf,KAAK,EAAE,uBAAuB;QAC9B,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;QACjC,MAAM,EAAE,yBAAyB;QACjC,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QAC9B,QAAQ,EAAE,yBAAyB;QACnC,UAAU,EAAE,mCAAmC;QAC/C,QAAQ,EAAE,CAAC,WAAW,EAAE,cAAc,CAAC;QACvC,MAAM,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE;KAChD;IACD;QACE,EAAE,EAAE,UAAU;QACd,KAAK,EAAE,iBAAiB;QACxB,KAAK,EAAE,KAAK;QACZ,KAAK,EAAE,KAAK;QACZ,0EAA0E;QAC1E,2DAA2D;QAC3D,gFAAgF;QAChF,iFAAiF;QACjF,gFAAgF;QAChF,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,yBAAyB,EAAE;QAClE,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE;QACjD,QAAQ,EAAE,wBAAwB;QAClC,WAAW,EAAE,0CAA0C;QACvD,WAAW,EAAE,yCAAyC;QACtD,UAAU,EAAE,yCAAyC;QACrD,IAAI,EAAE,CAAC,IAAI,CAAC;QACZ,MAAM,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE;KACpC;IACD;QACE,EAAE,EAAE,aAAa;QACjB,KAAK,EAAE,sBAAsB;QAC7B,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,kBAAkB;QACzB,KAAK,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,IAAI,EAAE,yBAAyB,EAAE;QACzE,MAAM,EAAE,iCAAiC;QACzC,QAAQ,EAAE,2BAA2B;QACrC,UAAU,EAAE,2CAA2C;QACvD,QAAQ,EAAE,CAAC,gBAAgB,EAAE,UAAU,CAAC;QACxC,yDAAyD;QACzD,sEAAsE;QACtE,wEAAwE;QACxE,2EAA2E;QAC3E,8EAA8E;QAC9E,4EAA4E;QAC5E,yCAAyC;QACzC,MAAM,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;KACxE;IACD;QACE,EAAE,EAAE,YAAY;QAChB,KAAK,EAAE,+BAA+B;QACtC,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,QAAQ;QACf,+EAA+E;QAC/E,gFAAgF;QAChF,qDAAqD;QACrD,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;QACjC,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE;QAC9C,QAAQ,EAAE,2BAA2B;QACrC,4EAA4E;QAC5E,6EAA6E;QAC7E,yEAAyE;QACzE,wEAAwE;QACxE,2CAA2C;QAC3C,MAAM,EAAE,sBAAsB;QAC9B,WAAW,EAAE,+CAA+C;QAC5D,WAAW,EAAE,8CAA8C;QAC3D,UAAU,EAAE,iBAAiB;QAC7B,UAAU,EAAE,iBAAiB;QAC7B,yEAAyE;QACzE,4EAA4E;QAC5E,kEAAkE;QAClE,IAAI,EAAE,CAAC,QAAQ,EAAE,mBAAmB,EAAE,QAAQ,CAAC;QAC/C,6EAA6E;QAC7E,6EAA6E;QAC7E,+EAA+E;QAC/E,iCAAiC;QACjC,MAAM,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE;KACvE;CACF,CAAC;AAEF,MAAM,wBAAwB,GAAkB;IAC9C,IAAI,EAAE,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE;IACzC,GAAG,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE;IACtC,MAAM,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC/C,MAAM,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,EAAE;CAChD,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAA8B;IAClE,EAAE,EAAE,iBAAiB;IACrB,KAAK,EAAE,2BAA2B;IAClC,OAAO,EACL,0PAA0P;IAC5P,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,OAAO;IAChB,iBAAiB,EAAE,CAAC,eAAe,EAAE,sBAAsB,CAAC;IAC5D,gBAAgB,EAAE;QAChB,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,EAAE,yBAAyB,EAAE;QAClE,EAAE,OAAO,EAAE,wBAAwB,EAAE,MAAM,EAAE,iCAAiC,EAAE;QAChF,6EAA6E;QAC7E,qEAAqE;QACrE,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,sBAAsB,EAAE;KACjE;IACD,IAAI,EAAE;QACJ,cAAc,EAAE,CAAC,QAAQ,CAAC;QAC1B,mBAAmB,EAAE,KAAK;QAC1B,mBAAmB,EAAE,IAAI;QACzB,OAAO,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;KACpF;IACD,YAAY,EAAE;QACZ,wBAAwB,EAAE;YACxB,SAAS,EAAE,UAAU;YACrB,SAAS,EAAE,YAAY;YACvB,UAAU,EAAE,CAAC,UAAU,EAAE,aAAa,EAAE,YAAY,CAAC;YACrD,aAAa,EAAE,SAAS;YACxB,cAAc,EAAE,CAAC;YACjB,UAAU,EAAE;gBACV,MAAM,EAAE,iBAAiB;gBACzB,aAAa,EAAE,UAAU;gBACzB,WAAW,EAAE,QAAQ;aACtB;YACD,qBAAqB,EAAE,OAAO;YAC9B,aAAa,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE;YAC7C,4BAA4B,EAAE,YAAY;SAC3C;KACF;IACD,KAAK,EAAE,uBAAuB;IAC9B,WAAW,EAAE,wBAAwB;IACrC,kBAAkB,EAAE,oCAAoC;CACzD,CAAC"}