pm-orchestrator-runner 1.0.0

package/dist/mediation/verdict-reporter.js

@@ -0,0 +1,178 @@
+"use strict";
+/**
+ * Verdict Reporter
+ *
+ * Separates verdicts for different test categories:
+ * - REPL: COMPLETE if core tests pass (no API key required)
+ * - Real LLM: COMPLETE only if:
+ *   1. GATE: OPEN (LLM_TEST_MODE=1 + API key present)
+ *   2. At least one successful LLM evidence exists
+ *   3. Evidence integrity verified
+ *
+ * This ensures honest reporting - Real LLM cannot be marked COMPLETE
+ * without actual API calls being made and verified.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.checkExecutionGate = checkExecutionGate;
+exports.generateREPLVerdict = generateREPLVerdict;
+exports.generateRealLLMVerdict = generateRealLLMVerdict;
+exports.generateCombinedVerdict = generateCombinedVerdict;
+exports.formatVerdictSummary = formatVerdictSummary;
+exports.printVerdict = printVerdict;
+/**
+ * Check execution gate for Real LLM tests
+ */
+function checkExecutionGate() {
+    // Gate 1: LLM_TEST_MODE must be set to 1
+    if (process.env.LLM_TEST_MODE !== '1') {
+        return {
+            canExecute: false,
+            skipReason: 'LLM_TEST_MODE is not set to 1',
+        };
+    }
+    // Gate 2: API key must be present
+    const provider = process.env.LLM_PROVIDER || 'openai';
+    const envVar = provider === 'anthropic' ? 'ANTHROPIC_API_KEY' : 'OPENAI_API_KEY';
+    if (!process.env[envVar]) {
+        return {
+            canExecute: false,
+            skipReason: `${envVar} is not set`,
+            provider,
+            envVar,
+        };
+    }
+    return {
+        canExecute: true,
+        provider,
+        envVar,
+    };
+}
+/**
+ * Generate REPL verdict (based on core test pass rate)
+ */
+function generateREPLVerdict(coreTestsPassed) {
+    return {
+        category: 'REPL',
+        verdict: coreTestsPassed ? 'COMPLETE' : 'INCOMPLETE',
+        reason: coreTestsPassed
+            ? 'Core REPL tests passed'
+            : 'Core REPL tests failed',
+        details: {
+            real_calls_made: false,
+        },
+    };
+}
+/**
+ * Generate Real LLM verdict (requires gate open + evidence)
+ */
+function generateRealLLMVerdict(gate, evidenceCount = 0, evidenceVerified = false) {
+    // Gate closed = INCOMPLETE (Fail-Closed: no execution = cannot assert completion)
+    if (!gate.canExecute) {
+        return {
+            category: 'REAL_LLM',
+            verdict: 'INCOMPLETE',
+            reason: `Real LLM tests not executed (gate closed)`,
+            details: {
+                gate_status: 'CLOSED',
+                real_calls_made: false,
+                evidence_count: 0,
+                evidence_verified: false,
+                skip_reason: gate.skipReason,
+            },
+        };
+    }
+    // Gate open but no evidence = INCOMPLETE
+    if (evidenceCount === 0) {
+        return {
+            category: 'REAL_LLM',
+            verdict: 'INCOMPLETE',
+            reason: 'Gate OPEN but no LLM evidence found',
+            details: {
+                gate_status: 'OPEN',
+                real_calls_made: false,
+                evidence_count: 0,
+                evidence_verified: false,
+            },
+        };
+    }
+    // Gate open + evidence exists but not verified = INCOMPLETE
+    if (!evidenceVerified) {
+        return {
+            category: 'REAL_LLM',
+            verdict: 'INCOMPLETE',
+            reason: 'Evidence exists but integrity verification failed',
+            details: {
+                gate_status: 'OPEN',
+                real_calls_made: true,
+                evidence_count: evidenceCount,
+                evidence_verified: false,
+            },
+        };
+    }
+    // Gate open + evidence verified = COMPLETE
+    return {
+        category: 'REAL_LLM',
+        verdict: 'COMPLETE',
+        reason: 'Real LLM API calls made and evidence verified',
+        details: {
+            gate_status: 'OPEN',
+            real_calls_made: true,
+            evidence_count: evidenceCount,
+            evidence_verified: true,
+        },
+    };
+}
+/**
+ * Generate combined verdict with formatted output
+ */
+function generateCombinedVerdict(coreTestsPassed, evidenceCount = 0, evidenceVerified = false) {
+    const gate = checkExecutionGate();
+    const repl = generateREPLVerdict(coreTestsPassed);
+    const real_llm = generateRealLLMVerdict(gate, evidenceCount, evidenceVerified);
+    return {
+        repl,
+        real_llm,
+        summary: formatVerdictSummary(repl, real_llm),
+    };
+}
+/**
+ * Format verdict summary for console output
+ */
+function formatVerdictSummary(repl, real_llm) {
+    const lines = [];
+    lines.push('');
+    lines.push('='.repeat(70));
+    lines.push('[Verdict Report] Test Execution Summary');
+    lines.push('='.repeat(70));
+    lines.push('');
+    // REPL verdict
+    lines.push(`[REPL Enhancement]`);
+    lines.push(`  VERDICT: ${repl.verdict}`);
+    lines.push(`  Reason: ${repl.reason}`);
+    lines.push('');
+    // Real LLM verdict
+    lines.push(`[Real LLM Mediation]`);
+    lines.push(`  VERDICT: ${real_llm.verdict}`);
+    lines.push(`  Reason: ${real_llm.reason}`);
+    lines.push(`  GATE: ${real_llm.details.gate_status || 'N/A'}`);
+    lines.push(`  REAL_CALLS_MADE: ${real_llm.details.real_calls_made}`);
+    if (real_llm.details.skip_reason) {
+        lines.push(`  SKIP_REASON: ${real_llm.details.skip_reason}`);
+    }
+    if (real_llm.details.evidence_count !== undefined) {
+        lines.push(`  EVIDENCE_COUNT: ${real_llm.details.evidence_count}`);
+    }
+    if (real_llm.details.evidence_verified !== undefined) {
+        lines.push(`  EVIDENCE_VERIFIED: ${real_llm.details.evidence_verified}`);
+    }
+    lines.push('');
+    lines.push('='.repeat(70));
+    return lines.join('\n');
+}
+/**
+ * Print verdict to console
+ */
+function printVerdict(verdict) {
+    console.log(verdict.summary);
+}
+//# sourceMappingURL=verdict-reporter.js.map

package/dist/mediation/verdict-reporter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verdict-reporter.js","sourceRoot":"","sources":["../../src/mediation/verdict-reporter.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;AA+BH,gDA2BC;AAKD,kDAWC;AAKD,wDA+DC;AAKD,0DAcC;AAKD,oDAsCC;AAKD,oCAEC;AAvLD;;GAEG;AACH,SAAgB,kBAAkB;IAChC,yCAAyC;IACzC,IAAI,OAAO,CAAC,GAAG,CAAC,aAAa,KAAK,GAAG,EAAE,CAAC;QACtC,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,+BAA+B;SAC5C,CAAC;IACJ,CAAC;IAED,kCAAkC;IAClC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,YAAY,IAAI,QAAQ,CAAC;IACtD,MAAM,MAAM,GAAG,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,gBAAgB,CAAC;IAEjF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,GAAG,MAAM,aAAa;YAClC,QAAQ;YACR,MAAM;SACP,CAAC;IACJ,CAAC;IAED,OAAO;QACL,UAAU,EAAE,IAAI;QAChB,QAAQ;QACR,MAAM;KACP,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,mBAAmB,CAAC,eAAwB;IAC1D,OAAO;QACL,QAAQ,EAAE,MAAM;QAChB,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY;QACpD,MAAM,EAAE,eAAe;YACrB,CAAC,CAAC,wBAAwB;YAC1B,CAAC,CAAC,wBAAwB;QAC5B,OAAO,EAAE;YACP,eAAe,EAAE,KAAK;SACvB;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,sBAAsB,CACpC,IAAmB,EACnB,gBAAwB,CAAC,EACzB,mBAA4B,KAAK;IAEjC,kFAAkF;IAClF,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QACrB,OAAO;YACL,QAAQ,EAAE,UAAU;YACpB,OAAO,EAAE,YAAY;YACrB,MAAM,EAAE,2CAA2C;YACnD,OAAO,EAAE;gBACP,WAAW,EAAE,QAAQ;gBACrB,eAAe,EAAE,KAAK;gBACtB,cAAc,EAAE,CAAC;gBACjB,iBAAiB,EAAE,KAAK;gBACxB,WAAW,EAAE,IAAI,CAAC,UAAU;aAC7B;SACF,CAAC;IACJ,CAAC;IAED,yCAAyC;IACzC,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,QAAQ,EAAE,UAAU;YACpB,OAAO,EAAE,YAAY;YACrB,MAAM,EAAE,qCAAqC;YAC7C,OAAO,EAAE;gBACP,WAAW,EAAE,MAAM;gBACnB,eAAe,EAAE,KAAK;gBACtB,cAAc,EAAE,CAAC;gBACjB,iBAAiB,EAAE,KAAK;aACzB;SACF,CAAC;IACJ,CAAC;IAED,4DAA4D;IAC5D,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO;YACL,QAAQ,EAAE,UAAU;YACpB,OAAO,EAAE,YAAY;YACrB,MAAM,EAAE,mDAAmD;YAC3D,OAAO,EAAE;gBACP,WAAW,EAAE,MAAM;gBACnB,eAAe,EAAE,IAAI;gBACrB,cAAc,EAAE,aAAa;gBAC7B,iBAAiB,EAAE,KAAK;aACzB;SACF,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,OAAO;QACL,QAAQ,EAAE,UAAU;QACpB,OAAO,EAAE,UAAU;QACnB,MAAM,EAAE,+CAA+C;QACvD,OAAO,EAAE;YACP,WAAW,EAAE,MAAM;YACnB,eAAe,EAAE,IAAI;YACrB,cAAc,EAAE,aAAa;YAC7B,iBAAiB,EAAE,IAAI;SACxB;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,uBAAuB,CACrC,eAAwB,EACxB,gBAAwB,CAAC,EACzB,mBAA4B,KAAK;IAEjC,MAAM,IAAI,GAAG,kBAAkB,EAAE,CAAC;IAClC,MAAM,IAAI,GAAG,mBAAmB,CAAC,eAAe,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAC;IAE/E,OAAO;QACL,IAAI;QACJ,QAAQ;QACR,OAAO,EAAE,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,oBAAoB,CAAC,IAAmB,EAAE,QAAuB;IAC/E,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,eAAe;IACf,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,mBAAmB;IACnB,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,cAAc,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,WAAW,QAAQ,CAAC,OAAO,CAAC,WAAW,IAAI,KAAK,EAAE,CAAC,CAAC;IAC/D,KAAK,CAAC,IAAI,CAAC,sBAAsB,QAAQ,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;IAErE,IAAI,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,kBAAkB,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,QAAQ,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,qBAAqB,QAAQ,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,QAAQ,CAAC,OAAO,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAC3E,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAE5B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAgB,YAAY,CAAC,OAAwB;IACnD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;AAC/B,CAAC"}

package/dist/models/enums.d.ts

@@ -0,0 +1,133 @@
+/**
+ * Enumerations for PM Orchestrator Runner
+ * Based on 05_DATA_MODELS.md and 03_LIFECYCLE.md specifications
+ */
+/**
+ * Overall execution status
+ * Priority order: INVALID > ERROR > NO_EVIDENCE > INCOMPLETE > COMPLETE
+ */
+export declare enum OverallStatus {
+    COMPLETE = "COMPLETE",
+    INCOMPLETE = "INCOMPLETE",
+    ERROR = "ERROR",
+    INVALID = "INVALID",
+    NO_EVIDENCE = "NO_EVIDENCE"
+}
+/**
+ * Task-level status
+ */
+export declare enum TaskStatus {
+    PENDING = "PENDING",
+    IN_PROGRESS = "IN_PROGRESS",
+    COMPLETE = "COMPLETE",
+    COMPLETED = "COMPLETED",
+    INCOMPLETE = "INCOMPLETE",
+    ERROR = "ERROR",
+    INVALID = "INVALID",
+    NO_EVIDENCE = "NO_EVIDENCE"
+}
+/**
+ * Phase status
+ */
+export declare enum PhaseStatus {
+    PENDING = "PENDING",
+    IN_PROGRESS = "IN_PROGRESS",
+    COMPLETED = "COMPLETED",
+    FAILED = "FAILED",
+    SKIPPED = "SKIPPED"
+}
+/**
+ * Agent types for L1/L2 pools
+ */
+export declare enum AgentType {
+    READER = "READER",
+    WRITER = "WRITER",
+    EXECUTOR = "EXECUTOR"
+}
+/**
+ * Lifecycle phases in execution order
+ * 7-phase lifecycle based on 03_LIFECYCLE.md
+ */
+export declare enum Phase {
+    REQUIREMENT_ANALYSIS = "REQUIREMENT_ANALYSIS",
+    TASK_DECOMPOSITION = "TASK_DECOMPOSITION",
+    PLANNING = "PLANNING",
+    EXECUTION = "EXECUTION",
+    QA = "QA",
+    COMPLETION_VALIDATION = "COMPLETION_VALIDATION",
+    REPORT = "REPORT"
+}
+/**
+ * Alias for Phase for backward compatibility
+ */
+export declare const LifecyclePhase: typeof Phase;
+export type LifecyclePhase = Phase;
+/**
+ * Lock types for resource locking
+ */
+export declare enum LockType {
+    READ = "READ",
+    WRITE = "WRITE"
+}
+/**
+ * Evidence types
+ */
+export declare enum EvidenceType {
+    FILE = "FILE",
+    LOG = "LOG",
+    SCREENSHOT = "SCREENSHOT",
+    TEST_RESULT = "TEST_RESULT",
+    COMMAND_OUTPUT = "COMMAND_OUTPUT",
+    DIFF = "DIFF",
+    METRIC = "METRIC"
+}
+/**
+ * Get the priority value for a status
+ * Higher values indicate more severe/important status
+ */
+export declare function getStatusPriority(status: OverallStatus): number;
+/**
+ * Aggregate multiple statuses into the highest priority status
+ */
+export declare function aggregateStatus(statuses: OverallStatus[]): OverallStatus;
+/**
+ * Check if a status is terminal (cannot be changed)
+ */
+export declare function isTerminalStatus(status: OverallStatus): boolean;
+/**
+ * Get the next phase in the lifecycle
+ * Returns null if already at the final phase
+ */
+export declare function getNextPhase(currentPhase: Phase): Phase | null;
+/**
+ * Check if a phase transition is valid
+ * Only allows moving to the immediate next phase
+ */
+export declare function isValidPhaseTransition(fromPhase: Phase, toPhase: Phase): boolean;
+/**
+ * Get the index of a phase in the lifecycle
+ */
+export declare function getPhaseIndex(phase: Phase): number;
+/**
+ * Get all phases
+ */
+export declare function getAllPhases(): Phase[];
+/**
+ * Check if phase is the first phase
+ */
+export declare function isFirstPhase(phase: Phase): boolean;
+/**
+ * Check if phase is the last phase
+ */
+export declare function isLastPhase(phase: Phase): boolean;
+/**
+ * Executor blocking reasons
+ * Per spec 05_DATA_MODELS.md - Property 34-36 non-interactive guarantees
+ */
+export type BlockedReason = 'INTERACTIVE_PROMPT' | 'TIMEOUT' | 'STDIN_REQUIRED';
+/**
+ * Executor termination triggers
+ * Per spec 05_DATA_MODELS.md - Property 34-36 non-interactive guarantees
+ */
+export type TerminatedBy = 'REPL_FAIL_CLOSED' | 'USER' | 'TIMEOUT';
+//# sourceMappingURL=enums.d.ts.map

package/dist/models/enums.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"enums.d.ts","sourceRoot":"","sources":["../../src/models/enums.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;GAGG;AACH,oBAAY,aAAa;IACvB,QAAQ,aAAa;IACrB,UAAU,eAAe;IACzB,KAAK,UAAU;IACf,OAAO,YAAY;IACnB,WAAW,gBAAgB;CAC5B;AAED;;GAEG;AACH,oBAAY,UAAU;IACpB,OAAO,YAAY;IACnB,WAAW,gBAAgB;IAC3B,QAAQ,aAAa;IACrB,SAAS,cAAc;IACvB,UAAU,eAAe;IACzB,KAAK,UAAU;IACf,OAAO,YAAY;IACnB,WAAW,gBAAgB;CAC5B;AAED;;GAEG;AACH,oBAAY,WAAW;IACrB,OAAO,YAAY;IACnB,WAAW,gBAAgB;IAC3B,SAAS,cAAc;IACvB,MAAM,WAAW;IACjB,OAAO,YAAY;CACpB;AAED;;GAEG;AACH,oBAAY,SAAS;IACnB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,QAAQ,aAAa;CACtB;AAED;;;GAGG;AACH,oBAAY,KAAK;IACf,oBAAoB,yBAAyB;IAC7C,kBAAkB,uBAAuB;IACzC,QAAQ,aAAa;IACrB,SAAS,cAAc;IACvB,EAAE,OAAO;IACT,qBAAqB,0BAA0B;IAC/C,MAAM,WAAW;CAClB;AAED;;GAEG;AACH,eAAO,MAAM,cAAc,cAAQ,CAAC;AACpC,MAAM,MAAM,cAAc,GAAG,KAAK,CAAC;AAEnC;;GAEG;AACH,oBAAY,QAAQ;IAClB,IAAI,SAAS;IACb,KAAK,UAAU;CAChB;AAED;;GAEG;AACH,oBAAY,YAAY;IACtB,IAAI,SAAS;IACb,GAAG,QAAQ;IACX,UAAU,eAAe;IACzB,WAAW,gBAAgB;IAC3B,cAAc,mBAAmB;IACjC,IAAI,SAAS;IACb,MAAM,WAAW;CAClB;AAaD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CAE/D;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,aAAa,CAiBxE;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAK/D;AAeD;;;GAGG;AACH,wBAAgB,YAAY,CAAC,YAAY,EAAE,KAAK,GAAG,KAAK,GAAG,IAAI,CAM9D;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,GAAG,OAAO,CAGhF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAElD;AAED;;GAEG;AACH,wBAAgB,YAAY,IAAI,KAAK,EAAE,CAEtC;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAElD;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAEjD;AAED;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG,oBAAoB,GAAG,SAAS,GAAG,gBAAgB,CAAC;AAEhF;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,kBAAkB,GAAG,MAAM,GAAG,SAAS,CAAC"}

package/dist/models/enums.js

@@ -0,0 +1,201 @@
+"use strict";
+/**
+ * Enumerations for PM Orchestrator Runner
+ * Based on 05_DATA_MODELS.md and 03_LIFECYCLE.md specifications
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.EvidenceType = exports.LockType = exports.LifecyclePhase = exports.Phase = exports.AgentType = exports.PhaseStatus = exports.TaskStatus = exports.OverallStatus = void 0;
+exports.getStatusPriority = getStatusPriority;
+exports.aggregateStatus = aggregateStatus;
+exports.isTerminalStatus = isTerminalStatus;
+exports.getNextPhase = getNextPhase;
+exports.isValidPhaseTransition = isValidPhaseTransition;
+exports.getPhaseIndex = getPhaseIndex;
+exports.getAllPhases = getAllPhases;
+exports.isFirstPhase = isFirstPhase;
+exports.isLastPhase = isLastPhase;
+/**
+ * Overall execution status
+ * Priority order: INVALID > ERROR > NO_EVIDENCE > INCOMPLETE > COMPLETE
+ */
+var OverallStatus;
+(function (OverallStatus) {
+    OverallStatus["COMPLETE"] = "COMPLETE";
+    OverallStatus["INCOMPLETE"] = "INCOMPLETE";
+    OverallStatus["ERROR"] = "ERROR";
+    OverallStatus["INVALID"] = "INVALID";
+    OverallStatus["NO_EVIDENCE"] = "NO_EVIDENCE";
+})(OverallStatus || (exports.OverallStatus = OverallStatus = {}));
+/**
+ * Task-level status
+ */
+var TaskStatus;
+(function (TaskStatus) {
+    TaskStatus["PENDING"] = "PENDING";
+    TaskStatus["IN_PROGRESS"] = "IN_PROGRESS";
+    TaskStatus["COMPLETE"] = "COMPLETE";
+    TaskStatus["COMPLETED"] = "COMPLETED";
+    TaskStatus["INCOMPLETE"] = "INCOMPLETE";
+    TaskStatus["ERROR"] = "ERROR";
+    TaskStatus["INVALID"] = "INVALID";
+    TaskStatus["NO_EVIDENCE"] = "NO_EVIDENCE";
+})(TaskStatus || (exports.TaskStatus = TaskStatus = {}));
+/**
+ * Phase status
+ */
+var PhaseStatus;
+(function (PhaseStatus) {
+    PhaseStatus["PENDING"] = "PENDING";
+    PhaseStatus["IN_PROGRESS"] = "IN_PROGRESS";
+    PhaseStatus["COMPLETED"] = "COMPLETED";
+    PhaseStatus["FAILED"] = "FAILED";
+    PhaseStatus["SKIPPED"] = "SKIPPED";
+})(PhaseStatus || (exports.PhaseStatus = PhaseStatus = {}));
+/**
+ * Agent types for L1/L2 pools
+ */
+var AgentType;
+(function (AgentType) {
+    AgentType["READER"] = "READER";
+    AgentType["WRITER"] = "WRITER";
+    AgentType["EXECUTOR"] = "EXECUTOR";
+})(AgentType || (exports.AgentType = AgentType = {}));
+/**
+ * Lifecycle phases in execution order
+ * 7-phase lifecycle based on 03_LIFECYCLE.md
+ */
+var Phase;
+(function (Phase) {
+    Phase["REQUIREMENT_ANALYSIS"] = "REQUIREMENT_ANALYSIS";
+    Phase["TASK_DECOMPOSITION"] = "TASK_DECOMPOSITION";
+    Phase["PLANNING"] = "PLANNING";
+    Phase["EXECUTION"] = "EXECUTION";
+    Phase["QA"] = "QA";
+    Phase["COMPLETION_VALIDATION"] = "COMPLETION_VALIDATION";
+    Phase["REPORT"] = "REPORT";
+})(Phase || (exports.Phase = Phase = {}));
+/**
+ * Alias for Phase for backward compatibility
+ */
+exports.LifecyclePhase = Phase;
+/**
+ * Lock types for resource locking
+ */
+var LockType;
+(function (LockType) {
+    LockType["READ"] = "READ";
+    LockType["WRITE"] = "WRITE";
+})(LockType || (exports.LockType = LockType = {}));
+/**
+ * Evidence types
+ */
+var EvidenceType;
+(function (EvidenceType) {
+    EvidenceType["FILE"] = "FILE";
+    EvidenceType["LOG"] = "LOG";
+    EvidenceType["SCREENSHOT"] = "SCREENSHOT";
+    EvidenceType["TEST_RESULT"] = "TEST_RESULT";
+    EvidenceType["COMMAND_OUTPUT"] = "COMMAND_OUTPUT";
+    EvidenceType["DIFF"] = "DIFF";
+    EvidenceType["METRIC"] = "METRIC";
+})(EvidenceType || (exports.EvidenceType = EvidenceType = {}));
+/**
+ * Status priority values (higher = more severe)
+ */
+const STATUS_PRIORITY = {
+    [OverallStatus.COMPLETE]: 0,
+    [OverallStatus.INCOMPLETE]: 1,
+    [OverallStatus.NO_EVIDENCE]: 2,
+    [OverallStatus.ERROR]: 3,
+    [OverallStatus.INVALID]: 4,
+};
+/**
+ * Get the priority value for a status
+ * Higher values indicate more severe/important status
+ */
+function getStatusPriority(status) {
+    return STATUS_PRIORITY[status];
+}
+/**
+ * Aggregate multiple statuses into the highest priority status
+ */
+function aggregateStatus(statuses) {
+    if (statuses.length === 0) {
+        return OverallStatus.COMPLETE;
+    }
+    let highestStatus = OverallStatus.COMPLETE;
+    let highestPriority = 0;
+    for (const status of statuses) {
+        const priority = getStatusPriority(status);
+        if (priority > highestPriority) {
+            highestPriority = priority;
+            highestStatus = status;
+        }
+    }
+    return highestStatus;
+}
+/**
+ * Check if a status is terminal (cannot be changed)
+ */
+function isTerminalStatus(status) {
+    return status === OverallStatus.COMPLETE ||
+        status === OverallStatus.ERROR ||
+        status === OverallStatus.INVALID ||
+        status === OverallStatus.NO_EVIDENCE;
+}
+/**
+ * Phase order for transitions
+ */
+const PHASE_ORDER = [
+    Phase.REQUIREMENT_ANALYSIS,
+    Phase.TASK_DECOMPOSITION,
+    Phase.PLANNING,
+    Phase.EXECUTION,
+    Phase.QA,
+    Phase.COMPLETION_VALIDATION,
+    Phase.REPORT,
+];
+/**
+ * Get the next phase in the lifecycle
+ * Returns null if already at the final phase
+ */
+function getNextPhase(currentPhase) {
+    const currentIndex = PHASE_ORDER.indexOf(currentPhase);
+    if (currentIndex === -1 || currentIndex === PHASE_ORDER.length - 1) {
+        return null;
+    }
+    return PHASE_ORDER[currentIndex + 1];
+}
+/**
+ * Check if a phase transition is valid
+ * Only allows moving to the immediate next phase
+ */
+function isValidPhaseTransition(fromPhase, toPhase) {
+    const nextPhase = getNextPhase(fromPhase);
+    return nextPhase === toPhase;
+}
+/**
+ * Get the index of a phase in the lifecycle
+ */
+function getPhaseIndex(phase) {
+    return PHASE_ORDER.indexOf(phase);
+}
+/**
+ * Get all phases
+ */
+function getAllPhases() {
+    return [...PHASE_ORDER];
+}
+/**
+ * Check if phase is the first phase
+ */
+function isFirstPhase(phase) {
+    return phase === Phase.REQUIREMENT_ANALYSIS;
+}
+/**
+ * Check if phase is the last phase
+ */
+function isLastPhase(phase) {
+    return phase === Phase.REPORT;
+}
+//# sourceMappingURL=enums.js.map

package/dist/models/enums.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"enums.js","sourceRoot":"","sources":["../../src/models/enums.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAwGH,8CAEC;AAKD,0CAiBC;AAKD,4CAKC;AAmBD,oCAMC;AAMD,wDAGC;AAKD,sCAEC;AAKD,oCAEC;AAKD,oCAEC;AAKD,kCAEC;AAtMD;;;GAGG;AACH,IAAY,aAMX;AAND,WAAY,aAAa;IACvB,sCAAqB,CAAA;IACrB,0CAAyB,CAAA;IACzB,gCAAe,CAAA;IACf,oCAAmB,CAAA;IACnB,4CAA2B,CAAA;AAC7B,CAAC,EANW,aAAa,6BAAb,aAAa,QAMxB;AAED;;GAEG;AACH,IAAY,UASX;AATD,WAAY,UAAU;IACpB,iCAAmB,CAAA;IACnB,yCAA2B,CAAA;IAC3B,mCAAqB,CAAA;IACrB,qCAAuB,CAAA;IACvB,uCAAyB,CAAA;IACzB,6BAAe,CAAA;IACf,iCAAmB,CAAA;IACnB,yCAA2B,CAAA;AAC7B,CAAC,EATW,UAAU,0BAAV,UAAU,QASrB;AAED;;GAEG;AACH,IAAY,WAMX;AAND,WAAY,WAAW;IACrB,kCAAmB,CAAA;IACnB,0CAA2B,CAAA;IAC3B,sCAAuB,CAAA;IACvB,gCAAiB,CAAA;IACjB,kCAAmB,CAAA;AACrB,CAAC,EANW,WAAW,2BAAX,WAAW,QAMtB;AAED;;GAEG;AACH,IAAY,SAIX;AAJD,WAAY,SAAS;IACnB,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,kCAAqB,CAAA;AACvB,CAAC,EAJW,SAAS,yBAAT,SAAS,QAIpB;AAED;;;GAGG;AACH,IAAY,KAQX;AARD,WAAY,KAAK;IACf,sDAA6C,CAAA;IAC7C,kDAAyC,CAAA;IACzC,8BAAqB,CAAA;IACrB,gCAAuB,CAAA;IACvB,kBAAS,CAAA;IACT,wDAA+C,CAAA;IAC/C,0BAAiB,CAAA;AACnB,CAAC,EARW,KAAK,qBAAL,KAAK,QAQhB;AAED;;GAEG;AACU,QAAA,cAAc,GAAG,KAAK,CAAC;AAGpC;;GAEG;AACH,IAAY,QAGX;AAHD,WAAY,QAAQ;IAClB,yBAAa,CAAA;IACb,2BAAe,CAAA;AACjB,CAAC,EAHW,QAAQ,wBAAR,QAAQ,QAGnB;AAED;;GAEG;AACH,IAAY,YAQX;AARD,WAAY,YAAY;IACtB,6BAAa,CAAA;IACb,2BAAW,CAAA;IACX,yCAAyB,CAAA;IACzB,2CAA2B,CAAA;IAC3B,iDAAiC,CAAA;IACjC,6BAAa,CAAA;IACb,iCAAiB,CAAA;AACnB,CAAC,EARW,YAAY,4BAAZ,YAAY,QAQvB;AAED;;GAEG;AACH,MAAM,eAAe,GAAkC;IACrD,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC3B,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC;IAC7B,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC;IAC9B,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;IACxB,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;CAC3B,CAAC;AAEF;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,MAAqB;IACrD,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AAED;;GAEG;AACH,SAAgB,eAAe,CAAC,QAAyB;IACvD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,aAAa,CAAC,QAAQ,CAAC;IAChC,CAAC;IAED,IAAI,aAAa,GAAG,aAAa,CAAC,QAAQ,CAAC;IAC3C,IAAI,eAAe,GAAG,CAAC,CAAC;IAExB,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,QAAQ,GAAG,eAAe,EAAE,CAAC;YAC/B,eAAe,GAAG,QAAQ,CAAC;YAC3B,aAAa,GAAG,MAAM,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO,aAAa,CAAC;AACvB,CAAC;AAED;;GAEG;AACH,SAAgB,gBAAgB,CAAC,MAAqB;IACpD,OAAO,MAAM,KAAK,aAAa,CAAC,QAAQ;QACjC,MAAM,KAAK,aAAa,CAAC,KAAK;QAC9B,MAAM,KAAK,aAAa,CAAC,OAAO;QAChC,MAAM,KAAK,aAAa,CAAC,WAAW,CAAC;AAC9C,CAAC;AAED;;GAEG;AACH,MAAM,WAAW,GAAY;IAC3B,KAAK,CAAC,oBAAoB;IAC1B,KAAK,CAAC,kBAAkB;IACxB,KAAK,CAAC,QAAQ;IACd,KAAK,CAAC,SAAS;IACf,KAAK,CAAC,EAAE;IACR,KAAK,CAAC,qBAAqB;IAC3B,KAAK,CAAC,MAAM;CACb,CAAC;AAEF;;;GAGG;AACH,SAAgB,YAAY,CAAC,YAAmB;IAC9C,MAAM,YAAY,GAAG,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACvD,IAAI,YAAY,KAAK,CAAC,CAAC,IAAI,YAAY,KAAK,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,WAAW,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;AACvC,CAAC;AAED;;;GAGG;AACH,SAAgB,sBAAsB,CAAC,SAAgB,EAAE,OAAc;IACrE,MAAM,SAAS,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;IAC1C,OAAO,SAAS,KAAK,OAAO,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,SAAgB,aAAa,CAAC,KAAY;IACxC,OAAO,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC;AAED;;GAEG;AACH,SAAgB,YAAY;IAC1B,OAAO,CAAC,GAAG,WAAW,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAgB,YAAY,CAAC,KAAY;IACvC,OAAO,KAAK,KAAK,KAAK,CAAC,oBAAoB,CAAC;AAC9C,CAAC;AAED;;GAEG;AACH,SAAgB,WAAW,CAAC,KAAY;IACtC,OAAO,KAAK,KAAK,KAAK,CAAC,MAAM,CAAC;AAChC,CAAC"}

package/dist/models/evidence.d.ts

@@ -0,0 +1,60 @@
+/**
+ * Evidence Model
+ * Based on 05_DATA_MODELS.md L39-52
+ */
+/**
+ * Artifact data structure
+ */
+export interface Artifact {
+    path: string;
+    content?: string;
+    type?: string;
+    size?: number;
+}
+/**
+ * Evidence data structure
+ */
+export interface Evidence {
+    evidence_id: string;
+    timestamp: string;
+    operation_type: string;
+    executor_id?: string;
+    artifacts: Artifact[];
+    hash: string;
+    raw_logs: string;
+    atomic_operation: boolean;
+    raw_evidence_refs: string[];
+    integrity_validated: boolean;
+}
+/**
+ * Evidence validation error
+ */
+export declare class EvidenceValidationError extends Error {
+    constructor(message: string);
+}
+/**
+ * Create a new evidence record
+ */
+export declare function createEvidence(operationType: string, artifacts: Artifact[], executorId?: string, rawLogs?: string): Evidence;
+/**
+ * Validate an evidence object
+ * @throws EvidenceValidationError if validation fails
+ */
+export declare function validateEvidence(evidence: Evidence): boolean;
+/**
+ * Add artifact to evidence
+ */
+export declare function addArtifact(evidence: Evidence, artifact: Artifact): Evidence;
+/**
+ * Mark evidence as integrity validated
+ */
+export declare function markIntegrityValidated(evidence: Evidence): Evidence;
+/**
+ * Add raw evidence reference
+ */
+export declare function addRawEvidenceRef(evidence: Evidence, ref: string): Evidence;
+/**
+ * Verify evidence hash matches artifacts
+ */
+export declare function verifyEvidenceHash(evidence: Evidence): boolean;
+//# sourceMappingURL=evidence.d.ts.map

package/dist/models/evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.d.ts","sourceRoot":"","sources":["../../src/models/evidence.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,mBAAmB,EAAE,OAAO,CAAC;CAC9B;AAED;;GAEG;AACH,qBAAa,uBAAwB,SAAQ,KAAK;gBACpC,OAAO,EAAE,MAAM;CAI5B;AAuBD;;GAEG;AACH,wBAAgB,cAAc,CAC5B,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,QAAQ,EAAE,EACrB,UAAU,CAAC,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,MAAM,GACf,QAAQ,CAaV;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CA4C5D;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,GAAG,QAAQ,CAO5E;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,QAAQ,GAAG,QAAQ,CAKnE;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,QAAQ,CAK3E;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAG9D"}