pm-orchestrator-runner 1.0.0

package/dist/models/evidence.js

@@ -0,0 +1,135 @@
+"use strict";
+/**
+ * Evidence Model
+ * Based on 05_DATA_MODELS.md L39-52
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.EvidenceValidationError = void 0;
+exports.createEvidence = createEvidence;
+exports.validateEvidence = validateEvidence;
+exports.addArtifact = addArtifact;
+exports.markIntegrityValidated = markIntegrityValidated;
+exports.addRawEvidenceRef = addRawEvidenceRef;
+exports.verifyEvidenceHash = verifyEvidenceHash;
+const uuid_1 = require("uuid");
+const crypto_1 = require("crypto");
+/**
+ * Evidence validation error
+ */
+class EvidenceValidationError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'EvidenceValidationError';
+    }
+}
+exports.EvidenceValidationError = EvidenceValidationError;
+/**
+ * Calculate SHA256 hash from artifacts
+ */
+function calculateHash(artifacts) {
+    const hash = (0, crypto_1.createHash)('sha256');
+    for (const artifact of artifacts) {
+        hash.update(artifact.path);
+        if (artifact.content) {
+            hash.update(artifact.content);
+        }
+    }
+    // If no artifacts, hash empty string
+    if (artifacts.length === 0) {
+        hash.update('');
+    }
+    return `sha256:${hash.digest('hex')}`;
+}
+/**
+ * Create a new evidence record
+ */
+function createEvidence(operationType, artifacts, executorId, rawLogs) {
+    return {
+        evidence_id: `evidence-${(0, uuid_1.v4)()}`,
+        timestamp: new Date().toISOString(),
+        operation_type: operationType,
+        executor_id: executorId,
+        artifacts,
+        hash: calculateHash(artifacts),
+        raw_logs: rawLogs || '',
+        atomic_operation: true,
+        raw_evidence_refs: [],
+        integrity_validated: false,
+    };
+}
+/**
+ * Validate an evidence object
+ * @throws EvidenceValidationError if validation fails
+ */
+function validateEvidence(evidence) {
+    if (!evidence.evidence_id || evidence.evidence_id.length === 0) {
+        throw new EvidenceValidationError('evidence_id is required');
+    }
+    if (!evidence.timestamp || evidence.timestamp.length === 0) {
+        throw new EvidenceValidationError('timestamp is required');
+    }
+    // Validate timestamp format
+    const timestamp = new Date(evidence.timestamp);
+    if (isNaN(timestamp.getTime())) {
+        throw new EvidenceValidationError('timestamp must be a valid ISO 8601 timestamp');
+    }
+    if (!evidence.operation_type || evidence.operation_type.length === 0) {
+        throw new EvidenceValidationError('operation_type is required');
+    }
+    if (!Array.isArray(evidence.artifacts)) {
+        throw new EvidenceValidationError('artifacts must be an array');
+    }
+    if (!evidence.hash || evidence.hash.length === 0) {
+        throw new EvidenceValidationError('hash is required');
+    }
+    if (!evidence.hash.startsWith('sha256:')) {
+        throw new EvidenceValidationError('hash must start with sha256:');
+    }
+    if (!Array.isArray(evidence.raw_evidence_refs)) {
+        throw new EvidenceValidationError('raw_evidence_refs must be an array');
+    }
+    if (typeof evidence.atomic_operation !== 'boolean') {
+        throw new EvidenceValidationError('atomic_operation must be a boolean');
+    }
+    if (typeof evidence.integrity_validated !== 'boolean') {
+        throw new EvidenceValidationError('integrity_validated must be a boolean');
+    }
+    return true;
+}
+/**
+ * Add artifact to evidence
+ */
+function addArtifact(evidence, artifact) {
+    const newArtifacts = [...evidence.artifacts, artifact];
+    return {
+        ...evidence,
+        artifacts: newArtifacts,
+        hash: calculateHash(newArtifacts),
+    };
+}
+/**
+ * Mark evidence as integrity validated
+ */
+function markIntegrityValidated(evidence) {
+    return {
+        ...evidence,
+        integrity_validated: true,
+    };
+}
+/**
+ * Add raw evidence reference
+ */
+function addRawEvidenceRef(evidence, ref) {
+    return {
+        ...evidence,
+        raw_evidence_refs: [...evidence.raw_evidence_refs, ref],
+    };
+}
+/**
+ * Verify evidence hash matches artifacts
+ */
+function verifyEvidenceHash(evidence) {
+    const expectedHash = calculateHash(evidence.artifacts);
+    return evidence.hash === expectedHash;
+}
+//# sourceMappingURL=evidence.js.map

package/dist/models/evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../src/models/evidence.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAiEH,wCAkBC;AAMD,4CA4CC;AAKD,kCAOC;AAKD,wDAKC;AAKD,8CAKC;AAKD,gDAGC;AA3KD,+BAAoC;AACpC,mCAAoC;AA4BpC;;GAEG;AACH,MAAa,uBAAwB,SAAQ,KAAK;IAChD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AALD,0DAKC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,SAAqB;IAC1C,MAAM,IAAI,GAAG,IAAA,mBAAU,EAAC,QAAQ,CAAC,CAAC;IAElC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACrB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,qCAAqC;IACrC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,UAAU,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACxC,CAAC;AAED;;GAEG;AACH,SAAgB,cAAc,CAC5B,aAAqB,EACrB,SAAqB,EACrB,UAAmB,EACnB,OAAgB;IAEhB,OAAO;QACL,WAAW,EAAE,YAAY,IAAA,SAAM,GAAE,EAAE;QACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,cAAc,EAAE,aAAa;QAC7B,WAAW,EAAE,UAAU;QACvB,SAAS;QACT,IAAI,EAAE,aAAa,CAAC,SAAS,CAAC;QAC9B,QAAQ,EAAE,OAAO,IAAI,EAAE;QACvB,gBAAgB,EAAE,IAAI;QACtB,iBAAiB,EAAE,EAAE;QACrB,mBAAmB,EAAE,KAAK;KAC3B,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,gBAAgB,CAAC,QAAkB;IACjD,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,uBAAuB,CAAC,yBAAyB,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,uBAAuB,CAAC,uBAAuB,CAAC,CAAC;IAC7D,CAAC;IAED,4BAA4B;IAC5B,MAAM,SAAS,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC/C,IAAI,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,uBAAuB,CAAC,8CAA8C,CAAC,CAAC;IACpF,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,cAAc,IAAI,QAAQ,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,uBAAuB,CAAC,4BAA4B,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,uBAAuB,CAAC,4BAA4B,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,uBAAuB,CAAC,kBAAkB,CAAC,CAAC;IACxD,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,uBAAuB,CAAC,8BAA8B,CAAC,CAAC;IACpE,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,uBAAuB,CAAC,oCAAoC,CAAC,CAAC;IAC1E,CAAC;IAED,IAAI,OAAO,QAAQ,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnD,MAAM,IAAI,uBAAuB,CAAC,oCAAoC,CAAC,CAAC;IAC1E,CAAC;IAED,IAAI,OAAO,QAAQ,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;QACtD,MAAM,IAAI,uBAAuB,CAAC,uCAAuC,CAAC,CAAC;IAC7E,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAgB,WAAW,CAAC,QAAkB,EAAE,QAAkB;IAChE,MAAM,YAAY,GAAG,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACvD,OAAO;QACL,GAAG,QAAQ;QACX,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,aAAa,CAAC,YAAY,CAAC;KAClC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,sBAAsB,CAAC,QAAkB;IACvD,OAAO;QACL,GAAG,QAAQ;QACX,mBAAmB,EAAE,IAAI;KAC1B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,iBAAiB,CAAC,QAAkB,EAAE,GAAW;IAC/D,OAAO;QACL,GAAG,QAAQ;QACX,iBAAiB,EAAE,CAAC,GAAG,QAAQ,CAAC,iBAAiB,EAAE,GAAG,CAAC;KACxD,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,kBAAkB,CAAC,QAAkB;IACnD,MAAM,YAAY,GAAG,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACvD,OAAO,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC;AACxC,CAAC"}

package/dist/models/execution-result.d.ts

@@ -0,0 +1,89 @@
+/**
+ * ExecutionResult Model
+ * Based on 05_DATA_MODELS.md L65-78
+ */
+import { OverallStatus } from './enums';
+import { Task } from './task';
+/**
+ * Evidence summary structure
+ */
+export interface EvidenceSummary {
+    total: number;
+    collected: number;
+}
+/**
+ * Evidence inventory structure
+ */
+export interface EvidenceInventoryResult {
+    total_evidence_items: number;
+    missing_evidence_operations: string[];
+    integrity_failures: string[];
+    raw_evidence_files: string[];
+}
+/**
+ * Violation record
+ */
+export interface Violation {
+    type: string;
+    message: string;
+    timestamp: string;
+    task_id?: string;
+}
+/**
+ * Incomplete task reason
+ */
+export interface IncompleteTaskReason {
+    task_id: string;
+    reason: string;
+}
+/**
+ * ExecutionResult data structure
+ */
+export interface ExecutionResult {
+    overall_status: OverallStatus;
+    tasks: Task[];
+    evidence_summary: EvidenceSummary;
+    next_action: boolean;
+    next_action_reason: string;
+    violations: Violation[];
+    session_id: string;
+    incomplete_task_reasons: IncompleteTaskReason[];
+    evidence_inventory: EvidenceInventoryResult;
+    speculative_language_detected: boolean;
+}
+/**
+ * ExecutionResult validation error
+ */
+export declare class ExecutionResultValidationError extends Error {
+    constructor(message: string);
+}
+/**
+ * Create a new execution result
+ */
+export declare function createExecutionResult(sessionId: string, status: OverallStatus, tasks: Task[]): ExecutionResult;
+/**
+ * Validate an execution result object
+ * @throws ExecutionResultValidationError if validation fails
+ */
+export declare function validateExecutionResult(result: ExecutionResult): boolean;
+/**
+ * Add violation to execution result
+ */
+export declare function addViolation(result: ExecutionResult, type: string, message: string, taskId?: string): ExecutionResult;
+/**
+ * Add incomplete task reason
+ */
+export declare function addIncompleteTaskReason(result: ExecutionResult, taskId: string, reason: string): ExecutionResult;
+/**
+ * Update evidence inventory
+ */
+export declare function updateEvidenceInventory(result: ExecutionResult, inventory: Partial<EvidenceInventoryResult>): ExecutionResult;
+/**
+ * Mark speculative language detected
+ */
+export declare function markSpeculativeLanguageDetected(result: ExecutionResult): ExecutionResult;
+/**
+ * Update next action with explicit approval
+ */
+export declare function approveNextAction(result: ExecutionResult, reason: string): ExecutionResult;
+//# sourceMappingURL=execution-result.d.ts.map

package/dist/models/execution-result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"execution-result.d.ts","sourceRoot":"","sources":["../../src/models/execution-result.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAE9B;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,2BAA2B,EAAE,MAAM,EAAE,CAAC;IACtC,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,cAAc,EAAE,aAAa,CAAC;IAC9B,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,gBAAgB,EAAE,eAAe,CAAC;IAClC,WAAW,EAAE,OAAO,CAAC;IACrB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,uBAAuB,EAAE,oBAAoB,EAAE,CAAC;IAChD,kBAAkB,EAAE,uBAAuB,CAAC;IAC5C,6BAA6B,EAAE,OAAO,CAAC;CACxC;AAED;;GAEG;AACH,qBAAa,8BAA+B,SAAQ,KAAK;gBAC3C,OAAO,EAAE,MAAM;CAI5B;AAyCD;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,IAAI,EAAE,GACZ,eAAe,CAqBjB;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,eAAe,GAAG,OAAO,CAiDxE;AAED;;GAEG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,eAAe,EACvB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,MAAM,CAAC,EAAE,MAAM,GACd,eAAe,CAYjB;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,eAAe,EACvB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACb,eAAe,CAQjB;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,eAAe,EACvB,SAAS,EAAE,OAAO,CAAC,uBAAuB,CAAC,GAC1C,eAAe,CAQjB;AAED;;GAEG;AACH,wBAAgB,+BAA+B,CAAC,MAAM,EAAE,eAAe,GAAG,eAAe,CAYxF;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,GAAG,eAAe,CAW1F"}

package/dist/models/execution-result.js

@@ -0,0 +1,197 @@
+"use strict";
+/**
+ * ExecutionResult Model
+ * Based on 05_DATA_MODELS.md L65-78
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ExecutionResultValidationError = void 0;
+exports.createExecutionResult = createExecutionResult;
+exports.validateExecutionResult = validateExecutionResult;
+exports.addViolation = addViolation;
+exports.addIncompleteTaskReason = addIncompleteTaskReason;
+exports.updateEvidenceInventory = updateEvidenceInventory;
+exports.markSpeculativeLanguageDetected = markSpeculativeLanguageDetected;
+exports.approveNextAction = approveNextAction;
+const enums_1 = require("./enums");
+/**
+ * ExecutionResult validation error
+ */
+class ExecutionResultValidationError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'ExecutionResultValidationError';
+    }
+}
+exports.ExecutionResultValidationError = ExecutionResultValidationError;
+/**
+ * Determine if next action is allowed based on status
+ */
+function determineNextAction(status) {
+    switch (status) {
+        case enums_1.OverallStatus.COMPLETE:
+            return true;
+        case enums_1.OverallStatus.INCOMPLETE:
+            // Requires explicit continuation approval
+            return false;
+        case enums_1.OverallStatus.ERROR:
+        case enums_1.OverallStatus.INVALID:
+        case enums_1.OverallStatus.NO_EVIDENCE:
+            return false;
+        default:
+            return false;
+    }
+}
+/**
+ * Generate next action reason based on status
+ */
+function generateNextActionReason(status, tasks) {
+    switch (status) {
+        case enums_1.OverallStatus.COMPLETE:
+            return 'All tasks completed successfully';
+        case enums_1.OverallStatus.INCOMPLETE:
+            return 'Session incomplete - continuation approval required';
+        case enums_1.OverallStatus.ERROR:
+            return 'Session terminated due to error';
+        case enums_1.OverallStatus.INVALID:
+            return 'Session invalid - critical validation failure';
+        case enums_1.OverallStatus.NO_EVIDENCE:
+            return 'Session incomplete - missing required evidence';
+        default:
+            return 'Unknown status';
+    }
+}
+/**
+ * Create a new execution result
+ */
+function createExecutionResult(sessionId, status, tasks) {
+    return {
+        overall_status: status,
+        tasks,
+        evidence_summary: {
+            total: tasks.reduce((sum, t) => sum + t.evidence_refs.length, 0),
+            collected: tasks.reduce((sum, t) => sum + t.evidence_refs.length, 0),
+        },
+        next_action: determineNextAction(status),
+        next_action_reason: generateNextActionReason(status, tasks),
+        violations: [],
+        session_id: sessionId,
+        incomplete_task_reasons: [],
+        evidence_inventory: {
+            total_evidence_items: 0,
+            missing_evidence_operations: [],
+            integrity_failures: [],
+            raw_evidence_files: [],
+        },
+        speculative_language_detected: false,
+    };
+}
+/**
+ * Validate an execution result object
+ * @throws ExecutionResultValidationError if validation fails
+ */
+function validateExecutionResult(result) {
+    if (!result.session_id || result.session_id.length === 0) {
+        throw new ExecutionResultValidationError('session_id is required');
+    }
+    if (result.overall_status === undefined) {
+        throw new ExecutionResultValidationError('overall_status is required');
+    }
+    if (!Array.isArray(result.tasks)) {
+        throw new ExecutionResultValidationError('tasks must be an array');
+    }
+    if (!result.evidence_summary) {
+        throw new ExecutionResultValidationError('evidence_summary is required');
+    }
+    if (result.next_action === undefined) {
+        throw new ExecutionResultValidationError('next_action is required');
+    }
+    if (!result.next_action_reason || result.next_action_reason.length === 0) {
+        throw new ExecutionResultValidationError('next_action_reason is required');
+    }
+    if (!Array.isArray(result.violations)) {
+        throw new ExecutionResultValidationError('violations must be an array');
+    }
+    if (!Array.isArray(result.incomplete_task_reasons)) {
+        throw new ExecutionResultValidationError('incomplete_task_reasons must be an array');
+    }
+    if (!result.evidence_inventory) {
+        throw new ExecutionResultValidationError('evidence_inventory is required');
+    }
+    if (result.speculative_language_detected === undefined) {
+        throw new ExecutionResultValidationError('speculative_language_detected is required');
+    }
+    // Property 8: Speculative language detection prevents COMPLETE status
+    if (result.speculative_language_detected && result.overall_status === enums_1.OverallStatus.COMPLETE) {
+        throw new ExecutionResultValidationError('Cannot have COMPLETE status when speculative_language_detected is true');
+    }
+    return true;
+}
+/**
+ * Add violation to execution result
+ */
+function addViolation(result, type, message, taskId) {
+    const violation = {
+        type,
+        message,
+        timestamp: new Date().toISOString(),
+        task_id: taskId,
+    };
+    return {
+        ...result,
+        violations: [...result.violations, violation],
+    };
+}
+/**
+ * Add incomplete task reason
+ */
+function addIncompleteTaskReason(result, taskId, reason) {
+    return {
+        ...result,
+        incomplete_task_reasons: [
+            ...result.incomplete_task_reasons,
+            { task_id: taskId, reason },
+        ],
+    };
+}
+/**
+ * Update evidence inventory
+ */
+function updateEvidenceInventory(result, inventory) {
+    return {
+        ...result,
+        evidence_inventory: {
+            ...result.evidence_inventory,
+            ...inventory,
+        },
+    };
+}
+/**
+ * Mark speculative language detected
+ */
+function markSpeculativeLanguageDetected(result) {
+    return {
+        ...result,
+        speculative_language_detected: true,
+        // Downgrade status if it was COMPLETE
+        overall_status: result.overall_status === enums_1.OverallStatus.COMPLETE
+            ? enums_1.OverallStatus.INVALID
+            : result.overall_status,
+        next_action: false,
+        next_action_reason: 'Speculative language detected - validation required',
+    };
+}
+/**
+ * Update next action with explicit approval
+ */
+function approveNextAction(result, reason) {
+    // Only allow approval for INCOMPLETE status
+    if (result.overall_status !== enums_1.OverallStatus.INCOMPLETE) {
+        return result;
+    }
+    return {
+        ...result,
+        next_action: true,
+        next_action_reason: reason,
+    };
+}
+//# sourceMappingURL=execution-result.js.map

package/dist/models/execution-result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"execution-result.js","sourceRoot":"","sources":["../../src/models/execution-result.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AA6GH,sDAyBC;AAMD,0DAiDC;AAKD,oCAiBC;AAKD,0DAYC;AAKD,0DAWC;AAKD,0EAYC;AAKD,8CAWC;AAnRD,mCAAwC;AAuDxC;;GAEG;AACH,MAAa,8BAA+B,SAAQ,KAAK;IACvD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,gCAAgC,CAAC;IAC/C,CAAC;CACF;AALD,wEAKC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,MAAqB;IAChD,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,qBAAa,CAAC,QAAQ;YACzB,OAAO,IAAI,CAAC;QACd,KAAK,qBAAa,CAAC,UAAU;YAC3B,0CAA0C;YAC1C,OAAO,KAAK,CAAC;QACf,KAAK,qBAAa,CAAC,KAAK,CAAC;QACzB,KAAK,qBAAa,CAAC,OAAO,CAAC;QAC3B,KAAK,qBAAa,CAAC,WAAW;YAC5B,OAAO,KAAK,CAAC;QACf;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB,CAAC,MAAqB,EAAE,KAAa;IACpE,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,qBAAa,CAAC,QAAQ;YACzB,OAAO,kCAAkC,CAAC;QAC5C,KAAK,qBAAa,CAAC,UAAU;YAC3B,OAAO,qDAAqD,CAAC;QAC/D,KAAK,qBAAa,CAAC,KAAK;YACtB,OAAO,iCAAiC,CAAC;QAC3C,KAAK,qBAAa,CAAC,OAAO;YACxB,OAAO,+CAA+C,CAAC;QACzD,KAAK,qBAAa,CAAC,WAAW;YAC5B,OAAO,gDAAgD,CAAC;QAC1D;YACE,OAAO,gBAAgB,CAAC;IAC5B,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAgB,qBAAqB,CACnC,SAAiB,EACjB,MAAqB,EACrB,KAAa;IAEb,OAAO;QACL,cAAc,EAAE,MAAM;QACtB,KAAK;QACL,gBAAgB,EAAE;YAChB,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC;YAChE,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC;SACrE;QACD,WAAW,EAAE,mBAAmB,CAAC,MAAM,CAAC;QACxC,kBAAkB,EAAE,wBAAwB,CAAC,MAAM,EAAE,KAAK,CAAC;QAC3D,UAAU,EAAE,EAAE;QACd,UAAU,EAAE,SAAS;QACrB,uBAAuB,EAAE,EAAE;QAC3B,kBAAkB,EAAE;YAClB,oBAAoB,EAAE,CAAC;YACvB,2BAA2B,EAAE,EAAE;YAC/B,kBAAkB,EAAE,EAAE;YACtB,kBAAkB,EAAE,EAAE;SACvB;QACD,6BAA6B,EAAE,KAAK;KACrC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,uBAAuB,CAAC,MAAuB;IAC7D,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,8BAA8B,CAAC,wBAAwB,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACxC,MAAM,IAAI,8BAA8B,CAAC,4BAA4B,CAAC,CAAC;IACzE,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,8BAA8B,CAAC,wBAAwB,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC7B,MAAM,IAAI,8BAA8B,CAAC,8BAA8B,CAAC,CAAC;IAC3E,CAAC;IAED,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,IAAI,8BAA8B,CAAC,yBAAyB,CAAC,CAAC;IACtE,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,kBAAkB,IAAI,MAAM,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,8BAA8B,CAAC,gCAAgC,CAAC,CAAC;IAC7E,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,8BAA8B,CAAC,6BAA6B,CAAC,CAAC;IAC1E,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,uBAAuB,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,8BAA8B,CAAC,0CAA0C,CAAC,CAAC;IACvF,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC/B,MAAM,IAAI,8BAA8B,CAAC,gCAAgC,CAAC,CAAC;IAC7E,CAAC;IAED,IAAI,MAAM,CAAC,6BAA6B,KAAK,SAAS,EAAE,CAAC;QACvD,MAAM,IAAI,8BAA8B,CAAC,2CAA2C,CAAC,CAAC;IACxF,CAAC;IAED,sEAAsE;IACtE,IAAI,MAAM,CAAC,6BAA6B,IAAI,MAAM,CAAC,cAAc,KAAK,qBAAa,CAAC,QAAQ,EAAE,CAAC;QAC7F,MAAM,IAAI,8BAA8B,CACtC,wEAAwE,CACzE,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAgB,YAAY,CAC1B,MAAuB,EACvB,IAAY,EACZ,OAAe,EACf,MAAe;IAEf,MAAM,SAAS,GAAc;QAC3B,IAAI;QACJ,OAAO;QACP,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,OAAO,EAAE,MAAM;KAChB,CAAC;IAEF,OAAO;QACL,GAAG,MAAM;QACT,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,uBAAuB,CACrC,MAAuB,EACvB,MAAc,EACd,MAAc;IAEd,OAAO;QACL,GAAG,MAAM;QACT,uBAAuB,EAAE;YACvB,GAAG,MAAM,CAAC,uBAAuB;YACjC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE;SAC5B;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,uBAAuB,CACrC,MAAuB,EACvB,SAA2C;IAE3C,OAAO;QACL,GAAG,MAAM;QACT,kBAAkB,EAAE;YAClB,GAAG,MAAM,CAAC,kBAAkB;YAC5B,GAAG,SAAS;SACb;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,+BAA+B,CAAC,MAAuB;IACrE,OAAO;QACL,GAAG,MAAM;QACT,6BAA6B,EAAE,IAAI;QACnC,sCAAsC;QACtC,cAAc,EACZ,MAAM,CAAC,cAAc,KAAK,qBAAa,CAAC,QAAQ;YAC9C,CAAC,CAAC,qBAAa,CAAC,OAAO;YACvB,CAAC,CAAC,MAAM,CAAC,cAAc;QAC3B,WAAW,EAAE,KAAK;QAClB,kBAAkB,EAAE,qDAAqD;KAC1E,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,iBAAiB,CAAC,MAAuB,EAAE,MAAc;IACvE,4CAA4C;IAC5C,IAAI,MAAM,CAAC,cAAc,KAAK,qBAAa,CAAC,UAAU,EAAE,CAAC;QACvD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO;QACL,GAAG,MAAM;QACT,WAAW,EAAE,IAAI;QACjB,kBAAkB,EAAE,MAAM;KAC3B,CAAC;AACJ,CAAC"}

package/dist/models/file-lock.d.ts

@@ -0,0 +1,62 @@
+/**
+ * FileLock Model
+ * Based on 05_DATA_MODELS.md L54-63
+ *
+ * IMPORTANT: expires_at is INFORMATIONAL ONLY
+ * Auto-release based on expires_at is forbidden (E405 RESOURCE_RELEASE_FAILURE)
+ * Locks must be explicitly released by the holder.
+ */
+import { LockType } from './enums';
+/**
+ * FileLock data structure
+ */
+export interface FileLock {
+    lock_id: string;
+    file_path: string;
+    holder_executor_id: string;
+    acquired_at: string;
+    expires_at: string;
+    lock_type: LockType;
+}
+/**
+ * FileLock validation error
+ */
+export declare class FileLockValidationError extends Error {
+    constructor(message: string);
+}
+/**
+ * Create a new file lock
+ *
+ * Note: expires_at is set but is INFORMATIONAL ONLY.
+ * The lock manager should NOT automatically release locks based on expires_at.
+ * Auto-release attempt triggers E405 RESOURCE_RELEASE_FAILURE.
+ */
+export declare function createFileLock(filePath: string, holderExecutorId: string, lockType: LockType, durationMs?: number): FileLock;
+/**
+ * Validate a file lock object
+ * @throws FileLockValidationError if validation fails
+ */
+export declare function validateFileLock(lock: FileLock): boolean;
+/**
+ * Check if a lock is held by a specific executor
+ */
+export declare function isLockHeldBy(lock: FileLock, executorId: string): boolean;
+/**
+ * Check if lock type is compatible with requested operation
+ * READ locks allow multiple readers
+ * WRITE locks are exclusive
+ */
+export declare function isLockCompatible(existingLock: FileLock, requestedType: LockType): boolean;
+/**
+ * Extend lock expiration (informational only)
+ * Note: This does NOT change the behavior of the lock.
+ * It only updates the informational expires_at field.
+ */
+export declare function extendLockExpiration(lock: FileLock, additionalMs?: number): FileLock;
+/**
+ * Check if expires_at is in the past (informational only)
+ * Note: This is informational only and should NOT be used for automatic release.
+ * Auto-release based on this would trigger E405 RESOURCE_RELEASE_FAILURE.
+ */
+export declare function isExpired(lock: FileLock): boolean;
+//# sourceMappingURL=file-lock.d.ts.map

package/dist/models/file-lock.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-lock.d.ts","sourceRoot":"","sources":["../../src/models/file-lock.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAOnC;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,QAAQ,CAAC;CACrB;AAED;;GAEG;AACH,qBAAa,uBAAwB,SAAQ,KAAK;gBACpC,OAAO,EAAE,MAAM;CAI5B;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,QAAQ,EAAE,QAAQ,EAClB,UAAU,GAAE,MAAiC,GAC5C,QAAQ,CAYV;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAuCxD;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAExE;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,QAAQ,GAAG,OAAO,CAYzF;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,QAAQ,EACd,YAAY,GAAE,MAAiC,GAC9C,QAAQ,CAQV;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAGjD"}

package/dist/models/file-lock.js

@@ -0,0 +1,133 @@
+"use strict";
+/**
+ * FileLock Model
+ * Based on 05_DATA_MODELS.md L54-63
+ *
+ * IMPORTANT: expires_at is INFORMATIONAL ONLY
+ * Auto-release based on expires_at is forbidden (E405 RESOURCE_RELEASE_FAILURE)
+ * Locks must be explicitly released by the holder.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FileLockValidationError = void 0;
+exports.createFileLock = createFileLock;
+exports.validateFileLock = validateFileLock;
+exports.isLockHeldBy = isLockHeldBy;
+exports.isLockCompatible = isLockCompatible;
+exports.extendLockExpiration = extendLockExpiration;
+exports.isExpired = isExpired;
+const uuid_1 = require("uuid");
+const enums_1 = require("./enums");
+/**
+ * Default lock duration in milliseconds (5 minutes)
+ */
+const DEFAULT_LOCK_DURATION_MS = 5 * 60 * 1000;
+/**
+ * FileLock validation error
+ */
+class FileLockValidationError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'FileLockValidationError';
+    }
+}
+exports.FileLockValidationError = FileLockValidationError;
+/**
+ * Create a new file lock
+ *
+ * Note: expires_at is set but is INFORMATIONAL ONLY.
+ * The lock manager should NOT automatically release locks based on expires_at.
+ * Auto-release attempt triggers E405 RESOURCE_RELEASE_FAILURE.
+ */
+function createFileLock(filePath, holderExecutorId, lockType, durationMs = DEFAULT_LOCK_DURATION_MS) {
+    const now = new Date();
+    const expiresAt = new Date(now.getTime() + durationMs);
+    return {
+        lock_id: `lock-${(0, uuid_1.v4)()}`,
+        file_path: filePath,
+        holder_executor_id: holderExecutorId,
+        acquired_at: now.toISOString(),
+        expires_at: expiresAt.toISOString(),
+        lock_type: lockType,
+    };
+}
+/**
+ * Validate a file lock object
+ * @throws FileLockValidationError if validation fails
+ */
+function validateFileLock(lock) {
+    if (!lock.lock_id || lock.lock_id.length === 0) {
+        throw new FileLockValidationError('lock_id is required');
+    }
+    if (!lock.file_path || lock.file_path.length === 0) {
+        throw new FileLockValidationError('file_path is required');
+    }
+    if (!lock.holder_executor_id || lock.holder_executor_id.length === 0) {
+        throw new FileLockValidationError('holder_executor_id is required');
+    }
+    if (!lock.acquired_at || lock.acquired_at.length === 0) {
+        throw new FileLockValidationError('acquired_at is required');
+    }
+    // Validate acquired_at timestamp format
+    const acquiredAt = new Date(lock.acquired_at);
+    if (isNaN(acquiredAt.getTime())) {
+        throw new FileLockValidationError('acquired_at must be a valid ISO 8601 timestamp');
+    }
+    if (!lock.expires_at || lock.expires_at.length === 0) {
+        throw new FileLockValidationError('expires_at is required');
+    }
+    // Validate expires_at timestamp format
+    const expiresAt = new Date(lock.expires_at);
+    if (isNaN(expiresAt.getTime())) {
+        throw new FileLockValidationError('expires_at must be a valid ISO 8601 timestamp');
+    }
+    // Validate lock_type
+    if (!Object.values(enums_1.LockType).includes(lock.lock_type)) {
+        throw new FileLockValidationError('lock_type must be a valid LockType');
+    }
+    return true;
+}
+/**
+ * Check if a lock is held by a specific executor
+ */
+function isLockHeldBy(lock, executorId) {
+    return lock.holder_executor_id === executorId;
+}
+/**
+ * Check if lock type is compatible with requested operation
+ * READ locks allow multiple readers
+ * WRITE locks are exclusive
+ */
+function isLockCompatible(existingLock, requestedType) {
+    // WRITE lock is exclusive
+    if (existingLock.lock_type === enums_1.LockType.WRITE) {
+        return false;
+    }
+    // READ lock only allows other READ locks
+    if (existingLock.lock_type === enums_1.LockType.READ) {
+        return requestedType === enums_1.LockType.READ;
+    }
+    return false;
+}
+/**
+ * Extend lock expiration (informational only)
+ * Note: This does NOT change the behavior of the lock.
+ * It only updates the informational expires_at field.
+ */
+function extendLockExpiration(lock, additionalMs = DEFAULT_LOCK_DURATION_MS) {
+    const currentExpires = new Date(lock.expires_at);
+    const newExpires = new Date(currentExpires.getTime() + additionalMs);
+    return {
+        ...lock,
+        expires_at: newExpires.toISOString(),
+    };
+}
+/**
+ * Check if expires_at is in the past (informational only)
+ * Note: This is informational only and should NOT be used for automatic release.
+ * Auto-release based on this would trigger E405 RESOURCE_RELEASE_FAILURE.
+ */
+function isExpired(lock) {
+    const expiresAt = new Date(lock.expires_at);
+    return expiresAt < new Date();
+}
+//# sourceMappingURL=file-lock.js.map

package/dist/models/file-lock.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-lock.js","sourceRoot":"","sources":["../../src/models/file-lock.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAuCH,wCAiBC;AAMD,4CAuCC;AAKD,oCAEC;AAOD,4CAYC;AAOD,oDAWC;AAOD,8BAGC;AAzJD,+BAAoC;AACpC,mCAAmC;AAEnC;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;AAc/C;;GAEG;AACH,MAAa,uBAAwB,SAAQ,KAAK;IAChD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AALD,0DAKC;AAED;;;;;;GAMG;AACH,SAAgB,cAAc,CAC5B,QAAgB,EAChB,gBAAwB,EACxB,QAAkB,EAClB,aAAqB,wBAAwB;IAE7C,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;IACvB,MAAM,SAAS,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,UAAU,CAAC,CAAC;IAEvD,OAAO;QACL,OAAO,EAAE,QAAQ,IAAA,SAAM,GAAE,EAAE;QAC3B,SAAS,EAAE,QAAQ;QACnB,kBAAkB,EAAE,gBAAgB;QACpC,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE;QAC9B,UAAU,EAAE,SAAS,CAAC,WAAW,EAAE;QACnC,SAAS,EAAE,QAAQ;KACpB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,gBAAgB,CAAC,IAAc;IAC7C,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,uBAAuB,CAAC,qBAAqB,CAAC,CAAC;IAC3D,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,uBAAuB,CAAC,uBAAuB,CAAC,CAAC;IAC7D,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,uBAAuB,CAAC,gCAAgC,CAAC,CAAC;IACtE,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,uBAAuB,CAAC,yBAAyB,CAAC,CAAC;IAC/D,CAAC;IAED,wCAAwC;IACxC,MAAM,UAAU,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,uBAAuB,CAAC,gDAAgD,CAAC,CAAC;IACtF,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,uBAAuB,CAAC,wBAAwB,CAAC,CAAC;IAC9D,CAAC;IAED,uCAAuC;IACvC,MAAM,SAAS,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5C,IAAI,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,uBAAuB,CAAC,+CAA+C,CAAC,CAAC;IACrF,CAAC;IAED,qBAAqB;IACrB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,uBAAuB,CAAC,oCAAoC,CAAC,CAAC;IAC1E,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAgB,YAAY,CAAC,IAAc,EAAE,UAAkB;IAC7D,OAAO,IAAI,CAAC,kBAAkB,KAAK,UAAU,CAAC;AAChD,CAAC;AAED;;;;GAIG;AACH,SAAgB,gBAAgB,CAAC,YAAsB,EAAE,aAAuB;IAC9E,0BAA0B;IAC1B,IAAI,YAAY,CAAC,SAAS,KAAK,gBAAQ,CAAC,KAAK,EAAE,CAAC;QAC9C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,yCAAyC;IACzC,IAAI,YAAY,CAAC,SAAS,KAAK,gBAAQ,CAAC,IAAI,EAAE,CAAC;QAC7C,OAAO,aAAa,KAAK,gBAAQ,CAAC,IAAI,CAAC;IACzC,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAgB,oBAAoB,CAClC,IAAc,EACd,eAAuB,wBAAwB;IAE/C,MAAM,cAAc,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,IAAI,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,GAAG,YAAY,CAAC,CAAC;IAErE,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,UAAU,CAAC,WAAW,EAAE;KACrC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAgB,SAAS,CAAC,IAAc;IACtC,MAAM,SAAS,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5C,OAAO,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC;AAChC,CAAC"}

package/dist/models/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Models Index
+ * Re-exports all model definitions for convenient importing
+ */
+export { OverallStatus, TaskStatus, Phase, LifecyclePhase, LockType, EvidenceType, getStatusPriority, aggregateStatus, isTerminalStatus, getNextPhase, isValidPhaseTransition, getPhaseIndex, getAllPhases, isFirstPhase, isLastPhase, BlockedReason, TerminatedBy, } from './enums';
+export { Session, SessionStatus, SessionValidationError, createSession, validateSession, updateSessionPhase, updateSessionStatus, completeSession, failSession, } from './session';
+export { Task, GranularityLimits, TaskValidationError, createTask, validateTask, updateTaskStatus, assignExecutor, addEvidenceRef, addModifiedFile, addTestRun, approveDecomposition, } from './task';
+export { Evidence, Artifact, EvidenceValidationError, createEvidence, validateEvidence, addArtifact, markIntegrityValidated, addRawEvidenceRef, verifyEvidenceHash, } from './evidence';
+export { FileLock, FileLockValidationError, createFileLock, validateFileLock, isLockHeldBy, isLockCompatible, extendLockExpiration, isExpired, } from './file-lock';
+export { ExecutionResult, EvidenceSummary, EvidenceInventoryResult, Violation, IncompleteTaskReason, ExecutionResultValidationError, createExecutionResult, validateExecutionResult, addViolation, addIncompleteTaskReason, updateEvidenceInventory, markSpeculativeLanguageDetected, approveNextAction, } from './execution-result';
+export { TaskLimits, LimitViolation, EvidenceInventory, TaskLimitsValidationError, LimitViolationValidationError, EvidenceInventoryValidationError, createTaskLimits, validateTaskLimits, createLimitViolation, validateLimitViolation, createEvidenceInventory, validateEvidenceInventory, addMissingEvidenceOperation, addIntegrityFailure, addRawEvidenceFile, incrementEvidenceCount, hasInventoryIssues, } from './supporting';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/models/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EACL,aAAa,EACb,UAAU,EACV,KAAK,EACL,cAAc,EACd,QAAQ,EACR,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,YAAY,EACZ,sBAAsB,EACtB,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,aAAa,EACb,YAAY,GACb,MAAM,SAAS,CAAC;AAGjB,OAAO,EACL,OAAO,EACP,aAAa,EACb,sBAAsB,EACtB,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,WAAW,GACZ,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,IAAI,EACJ,iBAAiB,EACjB,mBAAmB,EACnB,UAAU,EACV,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,eAAe,EACf,UAAU,EACV,oBAAoB,GACrB,MAAM,QAAQ,CAAC;AAGhB,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,uBAAuB,EACvB,cAAc,EACd,gBAAgB,EAChB,WAAW,EACX,sBAAsB,EACtB,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,QAAQ,EACR,uBAAuB,EACvB,cAAc,EACd,gBAAgB,EAChB,YAAY,EACZ,gBAAgB,EAChB,oBAAoB,EACpB,SAAS,GACV,MAAM,aAAa,CAAC;AAGrB,OAAO,EACL,eAAe,EACf,eAAe,EACf,uBAAuB,EACvB,SAAS,EACT,oBAAoB,EACpB,8BAA8B,EAC9B,qBAAqB,EACrB,uBAAuB,EACvB,YAAY,EACZ,uBAAuB,EACvB,uBAAuB,EACvB,+BAA+B,EAC/B,iBAAiB,GAClB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,UAAU,EACV,cAAc,EACd,iBAAiB,EACjB,yBAAyB,EACzB,6BAA6B,EAC7B,gCAAgC,EAChC,gBAAgB,EAChB,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,uBAAuB,EACvB,yBAAyB,EACzB,2BAA2B,EAC3B,mBAAmB,EACnB,kBAAkB,EAClB,sBAAsB,EACtB,kBAAkB,GACnB,MAAM,cAAc,CAAC"}