@dailephd/my-dev-kit-orchestrator 1.0.0

package/dist/contractChecker.js

@@ -0,0 +1,319 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isSectionPlaceholderContent = isSectionPlaceholderContent;
+exports.checkArtifactContract = checkArtifactContract;
+exports.checkRunArtifactContracts = checkRunArtifactContracts;
+exports.checkStageGates = checkStageGates;
+exports.resolveArtifactContractsForMode = resolveArtifactContractsForMode;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const artifactChecker_1 = require("./artifactChecker");
+const workflows_1 = require("./workflows");
+const types_1 = require("./types");
+// ─── Placeholder section detection ───────────────────────────────────────────
+const SECTION_PLACEHOLDER_RE = /^\s*(todo|tbd|n\/a|none|to be filled|to be completed|placeholder)\s*$/i;
+function isSectionPlaceholderContent(content) {
+    return SECTION_PLACEHOLDER_RE.test(content.trim());
+}
+// ─── Mode and stage validation helpers ───────────────────────────────────────
+function getStagesForMode(mode) {
+    if (!(0, types_1.isValidMode)(mode))
+        return new Set();
+    try {
+        const workflow = (0, workflows_1.getWorkflowOrThrow)(mode);
+        return new Set(workflow.stages.map((s) => s.name));
+    }
+    catch {
+        return new Set();
+    }
+}
+// Build map: artifact file path -> predecessor artifact file paths (immediate prior stage)
+function buildPredecessorMap(mode) {
+    const predecessors = new Map();
+    if (!(0, types_1.isValidMode)(mode))
+        return predecessors;
+    try {
+        const workflow = (0, workflows_1.getWorkflowOrThrow)(mode);
+        for (let i = 0; i < workflow.stages.length; i++) {
+            const stage = workflow.stages[i];
+            if (i === 0) {
+                predecessors.set(stage.artifactFile, []);
+            }
+            else {
+                const prev = workflow.stages[i - 1];
+                predecessors.set(stage.artifactFile, [prev.artifactFile]);
+            }
+        }
+    }
+    catch {
+        // Invalid mode: return empty map
+    }
+    return predecessors;
+}
+// ─── Single-artifact contract check ──────────────────────────────────────────
+function checkArtifactContract(runFolder, artifactFile, stageName, mode, predecessorFiles, options = {}) {
+    const artifactKind = (0, artifactChecker_1.resolveArtifactKind)(stageName) ?? 'Unknown';
+    const checkedAt = new Date().toISOString();
+    const issues = [];
+    const { strict = false } = options;
+    // Unknown mode
+    if (!(0, types_1.isValidMode)(mode)) {
+        issues.push({
+            code: 'CONTRACT_UNKNOWN_MODE',
+            severity: 'fail',
+            message: `Unknown workflow mode: "${mode}". Supported: ${types_1.VALID_MODES.join(', ')}`,
+            suggestedFix: 'Check the mode field in run.json.',
+        });
+        return { artifactFile, artifactKind, stageName, mode, issues, passed: false, checkedAt };
+    }
+    // Unknown stage for this mode
+    const validStages = getStagesForMode(mode);
+    if (!validStages.has(stageName)) {
+        issues.push({
+            code: 'CONTRACT_UNKNOWN_STAGE',
+            severity: 'fail',
+            message: `Stage "${stageName}" is not valid for mode "${mode}".`,
+            suggestedFix: `Valid stages for ${mode}: ${[...validStages].join(', ')}`,
+        });
+        return { artifactFile, artifactKind, stageName, mode, issues, passed: false, checkedAt };
+    }
+    const fullPath = path.join(runFolder, artifactFile);
+    // Predecessor missing checks
+    for (const predFile of predecessorFiles) {
+        const predPath = path.join(runFolder, predFile);
+        if (!fs.existsSync(predPath)) {
+            issues.push({
+                code: 'CONTRACT_PREDECESSOR_MISSING',
+                severity: strict ? 'fail' : 'warn',
+                message: `Required predecessor artifact is missing: ${predFile}`,
+                suggestedFix: `Complete the stage that produces ${predFile} before this stage.`,
+            });
+        }
+    }
+    // Missing artifact file
+    if (!fs.existsSync(fullPath)) {
+        issues.push({
+            code: 'CONTRACT_MISSING_FILE',
+            severity: 'fail',
+            message: `Artifact file does not exist: ${artifactFile}`,
+            suggestedFix: `Run the ${stageName} stage to produce this artifact.`,
+        });
+        const passed = !issues.some((i) => i.severity === 'fail');
+        return { artifactFile, artifactKind, stageName, mode, issues, passed, checkedAt };
+    }
+    const content = fs.readFileSync(fullPath, 'utf8');
+    // Empty file
+    if (!content.trim()) {
+        issues.push({
+            code: 'CONTRACT_EMPTY_FILE',
+            severity: 'fail',
+            message: `Artifact file is empty: ${artifactFile}`,
+            suggestedFix: `The coding agent must write content to this artifact.`,
+        });
+        const passed = !issues.some((i) => i.severity === 'fail');
+        return { artifactFile, artifactKind, stageName, mode, issues, passed, checkedAt };
+    }
+    // Section requirement checks
+    const requirements = (0, artifactChecker_1.getArtifactSectionRequirements)(artifactKind);
+    if (!requirements) {
+        // No section contract defined for this artifact kind
+        issues.push({
+            code: 'CONTRACT_STAGE_NO_CONTRACT',
+            severity: strict ? 'fail' : 'warn',
+            message: `No section contract is defined for artifact kind "${artifactKind}" (stage: ${stageName})`,
+            suggestedFix: `Add section requirements to the SECTION_REGISTRY for ${artifactKind}.`,
+        });
+    }
+    else {
+        const parsed = (0, artifactChecker_1.parseArtifact)(content);
+        for (const section of requirements.required) {
+            if (!parsed.sections.has(section)) {
+                issues.push({
+                    code: 'CONTRACT_MISSING_SECTION',
+                    severity: 'fail',
+                    message: `Required section "${section}" is missing from ${artifactFile}`,
+                    suggestedFix: `Add a "${section}:" header with content to the artifact.`,
+                    section,
+                });
+            }
+            else {
+                const sectionContent = parsed.sections.get(section) ?? '';
+                if (!sectionContent.trim()) {
+                    issues.push({
+                        code: 'CONTRACT_BLANK_SECTION',
+                        severity: strict ? 'fail' : 'warn',
+                        message: `Required section "${section}" is present but blank`,
+                        suggestedFix: `Add content to the "${section}" section.`,
+                        section,
+                    });
+                }
+                else if (isSectionPlaceholderContent(sectionContent)) {
+                    issues.push({
+                        code: 'CONTRACT_PLACEHOLDER_SECTION',
+                        severity: strict ? 'fail' : 'warn',
+                        message: `Required section "${section}" contains only placeholder content`,
+                        suggestedFix: `Replace placeholder content in "${section}" with actual content.`,
+                        section,
+                    });
+                }
+            }
+        }
+    }
+    const passed = !issues.some((i) => i.severity === 'fail');
+    return { artifactFile, artifactKind, stageName, mode, issues, passed, checkedAt };
+}
+// ─── Run-level contract check ─────────────────────────────────────────────────
+function checkRunArtifactContracts(meta, options = {}) {
+    const checkedAt = new Date().toISOString();
+    const modeIssues = [];
+    const results = [];
+    if (!(0, types_1.isValidMode)(meta.mode)) {
+        modeIssues.push({
+            code: 'CONTRACT_UNKNOWN_MODE',
+            severity: 'fail',
+            message: `Run mode "${meta.mode}" is not a supported workflow mode.`,
+            suggestedFix: `Supported modes: ${types_1.VALID_MODES.join(', ')}`,
+        });
+        return {
+            runId: meta.runId,
+            mode: meta.mode,
+            modeValid: false,
+            results,
+            modeIssues,
+            checkedAt,
+        };
+    }
+    const predecessorMap = buildPredecessorMap(meta.mode);
+    const validStages = getStagesForMode(meta.mode);
+    for (const stage of meta.stages) {
+        if (!validStages.has(stage.name)) {
+            modeIssues.push({
+                code: 'CONTRACT_UNKNOWN_STAGE',
+                severity: 'warn',
+                message: `Stage "${stage.name}" is not expected for mode "${meta.mode}"`,
+                suggestedFix: `Review run.json stages for mode ${meta.mode}.`,
+            });
+            continue;
+        }
+        const predecessorFiles = predecessorMap.get(stage.artifactFile) ?? [];
+        results.push(checkArtifactContract(meta.runFolder, stage.artifactFile, stage.name, meta.mode, predecessorFiles, options));
+        for (const additional of stage.additionalArtifactFiles ?? []) {
+            results.push(checkArtifactContract(meta.runFolder, additional, stage.name, meta.mode, [stage.artifactFile], options));
+        }
+    }
+    return {
+        runId: meta.runId,
+        mode: meta.mode,
+        modeValid: true,
+        results,
+        modeIssues,
+        checkedAt,
+    };
+}
+// Critical gate pairs: if downstream artifact exists but prerequisite does not, gate is violated.
+// Derived from agents.txt gate rules, applied across all modes via stage name lookup.
+const CRITICAL_GATE_PAIRS = [
+    ['pseudocode-packet', 'behavior-model', 'Gate 1: pseudocode-packet requires behavior-model'],
+    ['implementation', 'pseudocode-packet', 'Gate 2: implementation requires pseudocode-packet'],
+    ['test-implementation', 'test-strategy', 'Gate 3: test-implementation requires test-strategy'],
+    ['verification', 'implementation', 'Gate 4a: verification requires implementation'],
+    ['verification', 'test-implementation', 'Gate 4b: verification requires test-implementation'],
+    ['judge', 'verification', 'Gate 5: judge requires verification'],
+    ['final-report', 'judge', 'Gate 6: final-report requires judge'],
+    // repair-mode specific
+    ['correction-design', 'divergence-report', 'Repair gate: correction-design requires divergence-report'],
+    // test-mode specific
+    ['test-implementation', 'behavior-reconstruction', 'Test gate: test-implementation requires behavior-reconstruction'],
+    // refactor-mode specific
+    ['implementation', 'refactor-pseudocode-packet', 'Refactor gate: implementation requires refactor-pseudocode-packet'],
+    // harden-mode specific
+    ['implementation', 'guard-pseudocode-packet', 'Harden gate: implementation requires guard-pseudocode-packet'],
+];
+function checkStageGates(meta) {
+    const violations = [];
+    const stageArtifactMap = new Map();
+    for (const stage of meta.stages) {
+        stageArtifactMap.set(stage.name, stage.artifactFile);
+    }
+    const exists = (stageName) => {
+        const file = stageArtifactMap.get(stageName);
+        if (!file)
+            return false;
+        return fs.existsSync(path.join(meta.runFolder, file));
+    };
+    for (const [downstream, prerequisite, gateName] of CRITICAL_GATE_PAIRS) {
+        const downstreamFile = stageArtifactMap.get(downstream);
+        const prerequisiteFile = stageArtifactMap.get(prerequisite);
+        if (!downstreamFile || !prerequisiteFile)
+            continue;
+        if (exists(downstream) && !exists(prerequisite)) {
+            violations.push({
+                gateName,
+                severity: 'fail',
+                message: `"${downstream}" artifact exists but required prerequisite "${prerequisite}" is missing`,
+                missingArtifact: prerequisiteFile,
+                presentArtifact: downstreamFile,
+                suggestedFix: `Complete the ${prerequisite} stage before proceeding to ${downstream}.`,
+            });
+        }
+    }
+    return violations;
+}
+// ─── Mode contract summary ─────────────────────────────────────────────────────
+function resolveArtifactContractsForMode(mode) {
+    if (!(0, types_1.isValidMode)(mode))
+        return null;
+    try {
+        const workflow = (0, workflows_1.getWorkflowOrThrow)(mode);
+        const predecessorMap = buildPredecessorMap(mode);
+        const stages = workflow.stages.map((stage) => {
+            const artifactKind = (0, artifactChecker_1.resolveArtifactKind)(stage.name) ?? 'Unknown';
+            const requirements = (0, artifactChecker_1.getArtifactSectionRequirements)(artifactKind);
+            return {
+                stageName: stage.name,
+                artifactFile: stage.artifactFile,
+                artifactKind,
+                predecessors: predecessorMap.get(stage.artifactFile) ?? [],
+                requiredSections: requirements?.required ?? [],
+            };
+        });
+        return { mode, stages };
+    }
+    catch {
+        return null;
+    }
+}
+//# sourceMappingURL=contractChecker.js.map

package/dist/contractChecker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contractChecker.js","sourceRoot":"","sources":["../src/contractChecker.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8DA,kEAEC;AAqCD,sDA2HC;AAID,8DAyEC;AAiCD,0CA8BC;AAID,0EAoBC;AApYD,uCAAyB;AACzB,2CAA6B;AAE7B,uDAI2B;AAC3B,2CAAiD;AACjD,mCAAmD;AAgDnD,gFAAgF;AAEhF,MAAM,sBAAsB,GAC1B,wEAAwE,CAAC;AAE3E,SAAgB,2BAA2B,CAAC,OAAe;IACzD,OAAO,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;AACrD,CAAC;AAED,gFAAgF;AAEhF,SAAS,gBAAgB,CAAC,IAAY;IACpC,IAAI,CAAC,IAAA,mBAAW,EAAC,IAAI,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IACzC,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,IAAA,8BAAkB,EAAC,IAAI,CAAC,CAAC;QAC1C,OAAO,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACrD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,GAAG,EAAE,CAAC;IACnB,CAAC;AACH,CAAC;AAED,2FAA2F;AAC3F,SAAS,mBAAmB,CAAC,IAAY;IACvC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAoB,CAAC;IACjD,IAAI,CAAC,IAAA,mBAAW,EAAC,IAAI,CAAC;QAAE,OAAO,YAAY,CAAC;IAC5C,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,IAAA,8BAAkB,EAAC,IAAI,CAAC,CAAC;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACZ,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;YAC3C,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,iCAAiC;IACnC,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,gFAAgF;AAEhF,SAAgB,qBAAqB,CACnC,SAAiB,EACjB,YAAoB,EACpB,SAAiB,EACjB,IAAY,EACZ,gBAA0B,EAC1B,UAAgC,EAAE;IAElC,MAAM,YAAY,GAAG,IAAA,qCAAmB,EAAC,SAAS,CAAC,IAAI,SAAS,CAAC;IACjE,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC3C,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,MAAM,EAAE,MAAM,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC;IAEnC,eAAe;IACf,IAAI,CAAC,IAAA,mBAAW,EAAC,IAAI,CAAC,EAAE,CAAC;QACvB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,uBAAuB;YAC7B,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,2BAA2B,IAAI,iBAAiB,mBAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACjF,YAAY,EAAE,mCAAmC;SAClD,CAAC,CAAC;QACH,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC3F,CAAC;IAED,8BAA8B;IAC9B,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,wBAAwB;YAC9B,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,UAAU,SAAS,4BAA4B,IAAI,IAAI;YAChE,YAAY,EAAE,oBAAoB,IAAI,KAAK,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SACzE,CAAC,CAAC;QACH,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC3F,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IAEpD,6BAA6B;IAC7B,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,8BAA8B;gBACpC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;gBAClC,OAAO,EAAE,6CAA6C,QAAQ,EAAE;gBAChE,YAAY,EAAE,oCAAoC,QAAQ,qBAAqB;aAChF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,uBAAuB;YAC7B,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,iCAAiC,YAAY,EAAE;YACxD,YAAY,EAAE,WAAW,SAAS,kCAAkC;SACrE,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;QAC1D,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACpF,CAAC;IAED,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAElD,aAAa;IACb,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QACpB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,2BAA2B,YAAY,EAAE;YAClD,YAAY,EAAE,uDAAuD;SACtE,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;QAC1D,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACpF,CAAC;IAED,6BAA6B;IAC7B,MAAM,YAAY,GAAG,IAAA,gDAA8B,EAAC,YAAY,CAAC,CAAC;IAClE,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,qDAAqD;QACrD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,4BAA4B;YAClC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YAClC,OAAO,EAAE,qDAAqD,YAAY,aAAa,SAAS,GAAG;YACnG,YAAY,EAAE,wDAAwD,YAAY,GAAG;SACtF,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,IAAA,+BAAa,EAAC,OAAO,CAAC,CAAC;QACtC,KAAK,MAAM,OAAO,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;YAC5C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAClC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,0BAA0B;oBAChC,QAAQ,EAAE,MAAM;oBAChB,OAAO,EAAE,qBAAqB,OAAO,qBAAqB,YAAY,EAAE;oBACxE,YAAY,EAAE,UAAU,OAAO,yCAAyC;oBACxE,OAAO;iBACR,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;gBAC1D,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC;oBAC3B,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;wBAClC,OAAO,EAAE,qBAAqB,OAAO,wBAAwB;wBAC7D,YAAY,EAAE,uBAAuB,OAAO,YAAY;wBACxD,OAAO;qBACR,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,2BAA2B,CAAC,cAAc,CAAC,EAAE,CAAC;oBACvD,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,8BAA8B;wBACpC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;wBAClC,OAAO,EAAE,qBAAqB,OAAO,qCAAqC;wBAC1E,YAAY,EAAE,mCAAmC,OAAO,wBAAwB;wBAChF,OAAO;qBACR,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;IAC1D,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;AACpF,CAAC;AAED,iFAAiF;AAEjF,SAAgB,yBAAyB,CACvC,IAAiB,EACjB,UAAgC,EAAE;IAElC,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC3C,MAAM,UAAU,GAA4B,EAAE,CAAC;IAC/C,MAAM,OAAO,GAAkC,EAAE,CAAC;IAElD,IAAI,CAAC,IAAA,mBAAW,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,uBAAuB;YAC7B,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,aAAa,IAAI,CAAC,IAAI,qCAAqC;YACpE,YAAY,EAAE,oBAAoB,mBAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SAC3D,CAAC,CAAC;QACH,OAAO;YACL,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,SAAS,EAAE,KAAK;YAChB,OAAO;YACP,UAAU;YACV,SAAS;SACV,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEhD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,wBAAwB;gBAC9B,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,UAAU,KAAK,CAAC,IAAI,+BAA+B,IAAI,CAAC,IAAI,GAAG;gBACxE,YAAY,EAAE,mCAAmC,IAAI,CAAC,IAAI,GAAG;aAC9D,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,gBAAgB,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACtE,OAAO,CAAC,IAAI,CACV,qBAAqB,CACnB,IAAI,CAAC,SAAS,EACd,KAAK,CAAC,YAAY,EAClB,KAAK,CAAC,IAAI,EACV,IAAI,CAAC,IAAI,EACT,gBAAgB,EAChB,OAAO,CACR,CACF,CAAC;QAEF,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;YAC7D,OAAO,CAAC,IAAI,CACV,qBAAqB,CACnB,IAAI,CAAC,SAAS,EACd,UAAU,EACV,KAAK,CAAC,IAAI,EACV,IAAI,CAAC,IAAI,EACT,CAAC,KAAK,CAAC,YAAY,CAAC,EACpB,OAAO,CACR,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS,EAAE,IAAI;QACf,OAAO;QACP,UAAU;QACV,SAAS;KACV,CAAC;AACJ,CAAC;AAaD,kGAAkG;AAClG,sFAAsF;AACtF,MAAM,mBAAmB,GAA4C;IACnE,CAAC,mBAAmB,EAAE,gBAAgB,EAAE,mDAAmD,CAAC;IAC5F,CAAC,gBAAgB,EAAE,mBAAmB,EAAE,mDAAmD,CAAC;IAC5F,CAAC,qBAAqB,EAAE,eAAe,EAAE,oDAAoD,CAAC;IAC9F,CAAC,cAAc,EAAE,gBAAgB,EAAE,+CAA+C,CAAC;IACnF,CAAC,cAAc,EAAE,qBAAqB,EAAE,oDAAoD,CAAC;IAC7F,CAAC,OAAO,EAAE,cAAc,EAAE,qCAAqC,CAAC;IAChE,CAAC,cAAc,EAAE,OAAO,EAAE,qCAAqC,CAAC;IAChE,uBAAuB;IACvB,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,2DAA2D,CAAC;IACvG,qBAAqB;IACrB,CAAC,qBAAqB,EAAE,yBAAyB,EAAE,iEAAiE,CAAC;IACrH,yBAAyB;IACzB,CAAC,gBAAgB,EAAE,4BAA4B,EAAE,mEAAmE,CAAC;IACrH,uBAAuB;IACvB,CAAC,gBAAgB,EAAE,yBAAyB,EAAE,8DAA8D,CAAC;CAC9G,CAAC;AAEF,SAAgB,eAAe,CAAC,IAAiB;IAC/C,MAAM,UAAU,GAAyB,EAAE,CAAC;IAC5C,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IACvD,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,SAAiB,EAAW,EAAE;QAC5C,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,OAAO,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC;IAEF,KAAK,MAAM,CAAC,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAC,IAAI,mBAAmB,EAAE,CAAC;QACvE,MAAM,cAAc,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC5D,IAAI,CAAC,cAAc,IAAI,CAAC,gBAAgB;YAAE,SAAS;QACnD,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;YAChD,UAAU,CAAC,IAAI,CAAC;gBACd,QAAQ;gBACR,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,IAAI,UAAU,gDAAgD,YAAY,cAAc;gBACjG,eAAe,EAAE,gBAAgB;gBACjC,eAAe,EAAE,cAAc;gBAC/B,YAAY,EAAE,gBAAgB,YAAY,+BAA+B,UAAU,GAAG;aACvF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,kFAAkF;AAElF,SAAgB,+BAA+B,CAAC,IAAY;IAC1D,IAAI,CAAC,IAAA,mBAAW,EAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,IAAA,8BAAkB,EAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,cAAc,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YAC3C,MAAM,YAAY,GAAG,IAAA,qCAAmB,EAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;YAClE,MAAM,YAAY,GAAG,IAAA,gDAA8B,EAAC,YAAY,CAAC,CAAC;YAClE,OAAO;gBACL,SAAS,EAAE,KAAK,CAAC,IAAI;gBACrB,YAAY,EAAE,KAAK,CAAC,YAAY;gBAChC,YAAY;gBACZ,YAAY,EAAE,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE;gBAC1D,gBAAgB,EAAE,YAAY,EAAE,QAAQ,IAAI,EAAE;aAC/C,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/correctionRouter.d.ts

@@ -0,0 +1,37 @@
+import { JudgeVerdict, ParsedJudgeReport } from './judgeParser';
+export declare const CORRECTABLE_STAGES: readonly ["architecture-context", "behavior-model", "pseudocode-packet", "test-strategy", "test-implementation", "implementation", "verification"];
+export type CorrectableStage = (typeof CORRECTABLE_STAGES)[number];
+export type RouteStatus = 'pass' | 'correction_required' | 'blocked' | 'unknown_verdict' | 'missing_verdict';
+export interface CorrectionRouteResult {
+    verdict: JudgeVerdict | null;
+    recommendedStage: string | null;
+    routedStage: CorrectableStage | null;
+    routeStatus: RouteStatus;
+    warnings: string[];
+    errors: string[];
+    isBlocked: boolean;
+    strictFail: boolean;
+}
+export declare function isCorrectableStage(s: string): s is CorrectableStage;
+/**
+ * Routes a parsed judge report to a correction stage.
+ *
+ * - PASS → routeStatus: 'pass', no correction
+ * - null verdict with parseError → routeStatus: 'unknown_verdict'
+ * - null verdict without parseError → routeStatus: 'missing_verdict'
+ * - SCOPE_VIOLATION / BLOCKED → routeStatus: 'blocked', isBlocked: true
+ * - Other known verdicts → routeStatus: 'correction_required', routedStage from table
+ *
+ * If recommendedNextStage conflicts with the table default, a warning is added.
+ * In strict mode, a conflict produces strictFail: true.
+ */
+export declare function routeJudgeVerdict(parsed: ParsedJudgeReport, options?: {
+    strict?: boolean;
+}): CorrectionRouteResult;
+/**
+ * High-level helper: parse a judge report string and route it in one call.
+ */
+export declare function parseAndRoute(content: string, options?: {
+    strict?: boolean;
+}): CorrectionRouteResult;
+//# sourceMappingURL=correctionRouter.d.ts.map

package/dist/correctionRouter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"correctionRouter.d.ts","sourceRoot":"","sources":["../src/correctionRouter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAoB,MAAM,eAAe,CAAC;AAIlF,eAAO,MAAM,kBAAkB,oJAQrB,CAAC;AAEX,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnE,MAAM,MAAM,WAAW,GACnB,MAAM,GACN,qBAAqB,GACrB,SAAS,GACT,iBAAiB,GACjB,iBAAiB,CAAC;AAEtB,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;IAC7B,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,WAAW,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACrC,WAAW,EAAE,WAAW,CAAC;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC;IACnB,UAAU,EAAE,OAAO,CAAC;CACrB;AAmBD,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,gBAAgB,CAEnE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,iBAAiB,EACzB,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GACjC,qBAAqB,CA8FvB;AAED;;GAEG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,MAAM,EACf,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GACjC,qBAAqB,CAGvB"}

package/dist/correctionRouter.js

@@ -0,0 +1,142 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CORRECTABLE_STAGES = void 0;
+exports.isCorrectableStage = isCorrectableStage;
+exports.routeJudgeVerdict = routeJudgeVerdict;
+exports.parseAndRoute = parseAndRoute;
+const judgeParser_1 = require("./judgeParser");
+// The set of stage names that correction routing can target.
+// These are the canonical stage names as used in workflow stage definitions.
+exports.CORRECTABLE_STAGES = [
+    'architecture-context',
+    'behavior-model',
+    'pseudocode-packet',
+    'test-strategy',
+    'test-implementation',
+    'implementation',
+    'verification',
+];
+/**
+ * Deterministic routing table: maps each non-PASS verdict to a default
+ * correction stage. SCOPE_VIOLATION and BLOCKED do not route to a stage -
+ * they produce the "blocked" status instead.
+ */
+const VERDICT_ROUTE_TABLE = {
+    NEED_CONTEXT: 'architecture-context',
+    DESIGN_INCOMPLETE: 'behavior-model',
+    PSEUDOCODE_INCOMPLETE: 'pseudocode-packet',
+    IMPLEMENTATION_MISMATCH: 'implementation',
+    TEST_COVERAGE_INCOMPLETE: 'test-strategy',
+    ARCHITECTURE_MISMATCH: 'architecture-context',
+    NEED_VERIFICATION: 'verification',
+};
+const BLOCKED_VERDICTS = new Set(['SCOPE_VIOLATION', 'BLOCKED']);
+function isCorrectableStage(s) {
+    return exports.CORRECTABLE_STAGES.includes(s);
+}
+/**
+ * Routes a parsed judge report to a correction stage.
+ *
+ * - PASS → routeStatus: 'pass', no correction
+ * - null verdict with parseError → routeStatus: 'unknown_verdict'
+ * - null verdict without parseError → routeStatus: 'missing_verdict'
+ * - SCOPE_VIOLATION / BLOCKED → routeStatus: 'blocked', isBlocked: true
+ * - Other known verdicts → routeStatus: 'correction_required', routedStage from table
+ *
+ * If recommendedNextStage conflicts with the table default, a warning is added.
+ * In strict mode, a conflict produces strictFail: true.
+ */
+function routeJudgeVerdict(parsed, options = {}) {
+    const warnings = [];
+    const errors = [];
+    if (parsed.parseError) {
+        errors.push(parsed.parseError);
+        return {
+            verdict: null,
+            recommendedStage: parsed.recommendedNextStage,
+            routedStage: null,
+            routeStatus: 'unknown_verdict',
+            warnings,
+            errors,
+            isBlocked: false,
+            strictFail: false,
+        };
+    }
+    if (parsed.verdict === null) {
+        return {
+            verdict: null,
+            recommendedStage: parsed.recommendedNextStage,
+            routedStage: null,
+            routeStatus: 'missing_verdict',
+            warnings,
+            errors,
+            isBlocked: false,
+            strictFail: false,
+        };
+    }
+    if (parsed.verdict === 'PASS') {
+        return {
+            verdict: 'PASS',
+            recommendedStage: parsed.recommendedNextStage,
+            routedStage: null,
+            routeStatus: 'pass',
+            warnings,
+            errors,
+            isBlocked: false,
+            strictFail: false,
+        };
+    }
+    if (BLOCKED_VERDICTS.has(parsed.verdict)) {
+        return {
+            verdict: parsed.verdict,
+            recommendedStage: parsed.recommendedNextStage,
+            routedStage: null,
+            routeStatus: 'blocked',
+            warnings,
+            errors,
+            isBlocked: true,
+            strictFail: false,
+        };
+    }
+    // Correction-required verdicts
+    const tableStage = VERDICT_ROUTE_TABLE[parsed.verdict] ?? null;
+    // Honour recommended stage when it's a valid correctable stage
+    let routedStage = tableStage;
+    if (parsed.recommendedNextStage) {
+        if (isCorrectableStage(parsed.recommendedNextStage)) {
+            if (parsed.recommendedNextStage !== tableStage) {
+                // Conflict between table and recommendation
+                const msg = `Judge recommended "${parsed.recommendedNextStage}" but routing table suggests ` +
+                    `"${tableStage}" for verdict ${parsed.verdict}. Using recommended stage.`;
+                warnings.push(msg);
+                if (options.strict) {
+                    errors.push(`Strict mode: verdict/recommended-stage conflict is a failure. ${msg}`);
+                }
+            }
+            // Recommended stage wins when it's correctable
+            routedStage = parsed.recommendedNextStage;
+        }
+        else {
+            warnings.push(`Recommended next stage "${parsed.recommendedNextStage}" is not a known correctable stage; ` +
+                `using table default "${tableStage}".`);
+        }
+    }
+    return {
+        verdict: parsed.verdict,
+        recommendedStage: parsed.recommendedNextStage,
+        routedStage,
+        routeStatus: 'correction_required',
+        warnings,
+        errors,
+        isBlocked: false,
+        strictFail: options.strict === true && errors.length > 0,
+    };
+}
+/**
+ * High-level helper: parse a judge report string and route it in one call.
+ */
+function parseAndRoute(content, options = {}) {
+    const parsed = (0, judgeParser_1.parseJudgeReport)(content);
+    return routeJudgeVerdict(parsed, options);
+}
+//# sourceMappingURL=correctionRouter.js.map

package/dist/correctionRouter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"correctionRouter.js","sourceRoot":"","sources":["../src/correctionRouter.ts"],"names":[],"mappings":";;;AAmDA,gDAEC;AAcD,8CAiGC;AAKD,sCAMC;AA/KD,+CAAkF;AAElF,6DAA6D;AAC7D,6EAA6E;AAChE,QAAA,kBAAkB,GAAG;IAChC,sBAAsB;IACtB,gBAAgB;IAChB,mBAAmB;IACnB,eAAe;IACf,qBAAqB;IACrB,gBAAgB;IAChB,cAAc;CACN,CAAC;AAsBX;;;;GAIG;AACH,MAAM,mBAAmB,GAAoD;IAC3E,YAAY,EAAE,sBAAsB;IACpC,iBAAiB,EAAE,gBAAgB;IACnC,qBAAqB,EAAE,mBAAmB;IAC1C,uBAAuB,EAAE,gBAAgB;IACzC,wBAAwB,EAAE,eAAe;IACzC,qBAAqB,EAAE,sBAAsB;IAC7C,iBAAiB,EAAE,cAAc;CAClC,CAAC;AAEF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAe,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC,CAAC;AAE/E,SAAgB,kBAAkB,CAAC,CAAS;IAC1C,OAAQ,0BAAwC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAgB,iBAAiB,CAC/B,MAAyB,EACzB,UAAgC,EAAE;IAElC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC/B,OAAO;YACL,OAAO,EAAE,IAAI;YACb,gBAAgB,EAAE,MAAM,CAAC,oBAAoB;YAC7C,WAAW,EAAE,IAAI;YACjB,WAAW,EAAE,iBAAiB;YAC9B,QAAQ;YACR,MAAM;YACN,SAAS,EAAE,KAAK;YAChB,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EAAE,IAAI;YACb,gBAAgB,EAAE,MAAM,CAAC,oBAAoB;YAC7C,WAAW,EAAE,IAAI;YACjB,WAAW,EAAE,iBAAiB;YAC9B,QAAQ;YACR,MAAM;YACN,SAAS,EAAE,KAAK;YAChB,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO;YACL,OAAO,EAAE,MAAM;YACf,gBAAgB,EAAE,MAAM,CAAC,oBAAoB;YAC7C,WAAW,EAAE,IAAI;YACjB,WAAW,EAAE,MAAM;YACnB,QAAQ;YACR,MAAM;YACN,SAAS,EAAE,KAAK;YAChB,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,CAAC;IAED,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,gBAAgB,EAAE,MAAM,CAAC,oBAAoB;YAC7C,WAAW,EAAE,IAAI;YACjB,WAAW,EAAE,SAAS;YACtB,QAAQ;YACR,MAAM;YACN,SAAS,EAAE,IAAI;YACf,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,CAAC;IAED,+BAA+B;IAC/B,MAAM,UAAU,GAAG,mBAAmB,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;IAE/D,+DAA+D;IAC/D,IAAI,WAAW,GAA4B,UAAU,CAAC;IACtD,IAAI,MAAM,CAAC,oBAAoB,EAAE,CAAC;QAChC,IAAI,kBAAkB,CAAC,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC;YACpD,IAAI,MAAM,CAAC,oBAAoB,KAAK,UAAU,EAAE,CAAC;gBAC/C,4CAA4C;gBAC5C,MAAM,GAAG,GACP,sBAAsB,MAAM,CAAC,oBAAoB,+BAA+B;oBAChF,IAAI,UAAU,iBAAiB,MAAM,CAAC,OAAO,4BAA4B,CAAC;gBAC5E,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACnB,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;oBACnB,MAAM,CAAC,IAAI,CAAC,iEAAiE,GAAG,EAAE,CAAC,CAAC;gBACtF,CAAC;YACH,CAAC;YACD,+CAA+C;YAC/C,WAAW,GAAG,MAAM,CAAC,oBAAwC,CAAC;QAChE,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CACX,2BAA2B,MAAM,CAAC,oBAAoB,sCAAsC;gBAC1F,wBAAwB,UAAU,IAAI,CACzC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,gBAAgB,EAAE,MAAM,CAAC,oBAAoB;QAC7C,WAAW;QACX,WAAW,EAAE,qBAAqB;QAClC,QAAQ;QACR,MAAM;QACN,SAAS,EAAE,KAAK;QAChB,UAAU,EAAE,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;KACzD,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,aAAa,CAC3B,OAAe,EACf,UAAgC,EAAE;IAElC,MAAM,MAAM,GAAG,IAAA,8BAAgB,EAAC,OAAO,CAAC,CAAC;IACzC,OAAO,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC"}

package/dist/correctionState.d.ts

@@ -0,0 +1,16 @@
+import { CorrectionRouteResult } from './correctionRouter';
+/**
+ * Reads artifacts/judge-report.txt from the run folder and computes the
+ * correction route result. Returns null when no judge report exists yet.
+ * This is computed fresh each call - no additional persistence file is needed.
+ */
+export declare function readCorrectionState(runFolder: string, options?: {
+    strict?: boolean;
+}): CorrectionRouteResult | null;
+/**
+ * Returns true when a correction route is active for this run:
+ * a judge report exists with a non-PASS, non-blocked verdict that maps
+ * to a correctable stage.
+ */
+export declare function isCorrectionActive(runFolder: string): boolean;
+//# sourceMappingURL=correctionState.d.ts.map

package/dist/correctionState.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"correctionState.d.ts","sourceRoot":"","sources":["../src/correctionState.ts"],"names":[],"mappings":"AAGA,OAAO,EAAqB,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAE9E;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,MAAM,EACjB,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GACjC,qBAAqB,GAAG,IAAI,CAO9B;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAG7D"}

package/dist/correctionState.js

@@ -0,0 +1,64 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.readCorrectionState = readCorrectionState;
+exports.isCorrectionActive = isCorrectionActive;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const judgeParser_1 = require("./judgeParser");
+const correctionRouter_1 = require("./correctionRouter");
+/**
+ * Reads artifacts/judge-report.txt from the run folder and computes the
+ * correction route result. Returns null when no judge report exists yet.
+ * This is computed fresh each call - no additional persistence file is needed.
+ */
+function readCorrectionState(runFolder, options = {}) {
+    const reportPath = path.join(runFolder, 'artifacts', 'judge-report.txt');
+    if (!fs.existsSync(reportPath))
+        return null;
+    const content = fs.readFileSync(reportPath, 'utf8');
+    const parsed = (0, judgeParser_1.parseJudgeReport)(content);
+    return (0, correctionRouter_1.routeJudgeVerdict)(parsed, options);
+}
+/**
+ * Returns true when a correction route is active for this run:
+ * a judge report exists with a non-PASS, non-blocked verdict that maps
+ * to a correctable stage.
+ */
+function isCorrectionActive(runFolder) {
+    const state = readCorrectionState(runFolder);
+    return state !== null && state.routeStatus === 'correction_required';
+}
+//# sourceMappingURL=correctionState.js.map

package/dist/correctionState.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"correctionState.js","sourceRoot":"","sources":["../src/correctionState.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAUA,kDAUC;AAOD,gDAGC;AA9BD,uCAAyB;AACzB,2CAA6B;AAC7B,+CAAiD;AACjD,yDAA8E;AAE9E;;;;GAIG;AACH,SAAgB,mBAAmB,CACjC,SAAiB,EACjB,UAAgC,EAAE;IAElC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,kBAAkB,CAAC,CAAC;IACzE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAE5C,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,IAAA,8BAAgB,EAAC,OAAO,CAAC,CAAC;IACzC,OAAO,IAAA,oCAAiB,EAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED;;;;GAIG;AACH,SAAgB,kBAAkB,CAAC,SAAiB;IAClD,MAAM,KAAK,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAC7C,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,WAAW,KAAK,qBAAqB,CAAC;AACvE,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,4 @@
+export { createProgram } from './program';
+export { VALID_MODES, isValidMode } from './types';
+export type { WorkflowMode, GlobalOptions } from './types';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACnD,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC"}

package/dist/index.js

@@ -0,0 +1,9 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isValidMode = exports.VALID_MODES = exports.createProgram = void 0;
+var program_1 = require("./program");
+Object.defineProperty(exports, "createProgram", { enumerable: true, get: function () { return program_1.createProgram; } });
+var types_1 = require("./types");
+Object.defineProperty(exports, "VALID_MODES", { enumerable: true, get: function () { return types_1.VALID_MODES; } });
+Object.defineProperty(exports, "isValidMode", { enumerable: true, get: function () { return types_1.isValidMode; } });
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;AAAA,qCAA0C;AAAjC,wGAAA,aAAa,OAAA;AACtB,iCAAmD;AAA1C,oGAAA,WAAW,OAAA;AAAE,oGAAA,WAAW,OAAA"}