@plazmodium/odin 0.3.2-beta

package/dist/tools/record-pull-request.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-pull-request.d.ts","sourceRoot":"","sources":["../../src/tools/record-pull-request.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAG5D,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,oBAAoB,EAC7B,KAAK,EAAE,sBAAsB,6CAe9B"}

package/dist/tools/record-pull-request.js

@@ -0,0 +1,16 @@
+/**
+ * Record Pull Request Tool
+ * Version: 0.1.0
+ */
+import { createErrorResult, createTextResult } from '../utils.js';
+export async function handleRecordPullRequest(adapter, input) {
+    const feature = await adapter.getFeature(input.feature_id);
+    if (feature == null) {
+        return createErrorResult(`Feature ${input.feature_id} was not found.`, {
+            feature_id: input.feature_id,
+        });
+    }
+    const pull_request = await adapter.recordPullRequest(input.feature_id, input.pr_url, input.pr_number);
+    return createTextResult(`Recorded PR #${pull_request.pr_number} for feature ${pull_request.feature_id}.`, { pull_request });
+}
+//# sourceMappingURL=record-pull-request.js.map

package/dist/tools/record-pull-request.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-pull-request.js","sourceRoot":"","sources":["../../src/tools/record-pull-request.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAElE,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,OAA6B,EAC7B,KAA6B;IAE7B,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,OAAO,iBAAiB,CAAC,WAAW,KAAK,CAAC,UAAU,iBAAiB,EAAE;YACrE,UAAU,EAAE,KAAK,CAAC,UAAU;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,MAAM,YAAY,GAAG,MAAM,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAEtG,OAAO,gBAAgB,CACrB,gBAAgB,YAAY,CAAC,SAAS,gBAAgB,YAAY,CAAC,UAAU,GAAG,EAChF,EAAE,YAAY,EAAE,CACjB,CAAC;AACJ,CAAC"}

package/dist/tools/record-quality-gate.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Record Quality Gate Tool
+ * Version: 0.1.0
+ */
+import type { WorkflowStateAdapter } from '../adapters/workflow-state/types.js';
+import type { RecordQualityGateInput } from '../schemas.js';
+export declare function handleRecordQualityGate(adapter: WorkflowStateAdapter, input: RecordQualityGateInput): Promise<import("../utils.js").ToolResult>;
+//# sourceMappingURL=record-quality-gate.d.ts.map

package/dist/tools/record-quality-gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-quality-gate.d.ts","sourceRoot":"","sources":["../../src/tools/record-quality-gate.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAG5D,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,oBAAoB,EAC7B,KAAK,EAAE,sBAAsB,6CAgC9B"}

package/dist/tools/record-quality-gate.js

@@ -0,0 +1,26 @@
+/**
+ * Record Quality Gate Tool
+ * Version: 0.1.0
+ */
+import { createErrorResult, createTextResult } from '../utils.js';
+export async function handleRecordQualityGate(adapter, input) {
+    const feature = await adapter.getFeature(input.feature_id);
+    if (feature == null) {
+        return createErrorResult(`Feature ${input.feature_id} was not found.`, {
+            feature_id: input.feature_id,
+        });
+    }
+    const gate_id = await adapter.recordQualityGate(input.feature_id, input.gate_name, input.status, input.approver, input.notes, input.phase);
+    return createTextResult(`Recorded ${input.status.toLowerCase()} quality gate ${input.gate_name} for feature ${input.feature_id}.`, {
+        gate: {
+            id: gate_id,
+            feature_id: input.feature_id,
+            gate_name: input.gate_name,
+            phase: input.phase,
+            status: input.status,
+            approver: input.approver,
+            notes: input.notes,
+        },
+    });
+}
+//# sourceMappingURL=record-quality-gate.js.map

package/dist/tools/record-quality-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-quality-gate.js","sourceRoot":"","sources":["../../src/tools/record-quality-gate.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAElE,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,OAA6B,EAC7B,KAA6B;IAE7B,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,OAAO,iBAAiB,CAAC,WAAW,KAAK,CAAC,UAAU,iBAAiB,EAAE;YACrE,UAAU,EAAE,KAAK,CAAC,UAAU;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,iBAAiB,CAC7C,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,SAAS,EACf,KAAK,CAAC,MAAM,EACZ,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,KAAK,CACZ,CAAC;IAEF,OAAO,gBAAgB,CACrB,YAAY,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,iBAAiB,KAAK,CAAC,SAAS,gBAAgB,KAAK,CAAC,UAAU,GAAG,EACzG;QACE,IAAI,EAAE;YACJ,EAAE,EAAE,OAAO;YACX,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB;KACF,CACF,CAAC;AACJ,CAAC"}

package/dist/tools/record-watcher-review.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Record Watcher Review Tool
+ * Version: 0.1.0
+ */
+import type { WorkflowStateAdapter } from '../adapters/workflow-state/types.js';
+import type { RecordWatcherReviewInput } from '../schemas.js';
+export declare function handleRecordWatcherReview(adapter: WorkflowStateAdapter, input: RecordWatcherReviewInput): Promise<import("../utils.js").ToolResult>;
+//# sourceMappingURL=record-watcher-review.d.ts.map

package/dist/tools/record-watcher-review.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-watcher-review.d.ts","sourceRoot":"","sources":["../../src/tools/record-watcher-review.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAEhF,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAG9D,wBAAsB,yBAAyB,CAC7C,OAAO,EAAE,oBAAoB,EAC7B,KAAK,EAAE,wBAAwB,6CAehC"}

package/dist/tools/record-watcher-review.js

@@ -0,0 +1,18 @@
+/**
+ * Record Watcher Review Tool
+ * Version: 0.1.0
+ */
+import { resolveNamedActorName } from '../domain/actors.js';
+import { createTextResult } from '../utils.js';
+export async function handleRecordWatcherReview(adapter, input) {
+    const watcher_agent = resolveNamedActorName('watcher-agent', input.watcher_agent);
+    const review = await adapter.recordWatcherReview({
+        claim_id: input.claim_id,
+        verdict: input.verdict,
+        confidence: input.confidence,
+        reasoning: input.reasoning,
+        watcher_agent,
+    });
+    return createTextResult(`Recorded watcher ${review.verdict} review for claim ${review.claim_id}.`, { review });
+}
+//# sourceMappingURL=record-watcher-review.js.map

package/dist/tools/record-watcher-review.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-watcher-review.js","sourceRoot":"","sources":["../../src/tools/record-watcher-review.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,OAA6B,EAC7B,KAA+B;IAE/B,MAAM,aAAa,GAAG,qBAAqB,CAAC,eAAe,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IAClF,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,mBAAmB,CAAC;QAC/C,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,aAAa;KACd,CAAC,CAAC;IAEH,OAAO,gBAAgB,CACrB,oBAAoB,MAAM,CAAC,OAAO,qBAAqB,MAAM,CAAC,QAAQ,GAAG,EACzE,EAAE,MAAM,EAAE,CACX,CAAC;AACJ,CAAC"}

package/dist/tools/run-policy-checks.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Run Policy Checks Tool
+ * Version: 0.1.0
+ */
+import type { WorkflowStateAdapter } from '../adapters/workflow-state/types.js';
+import type { RunPolicyChecksInput } from '../schemas.js';
+export declare function handleRunPolicyChecks(adapter: WorkflowStateAdapter, input: RunPolicyChecksInput): Promise<import("../utils.js").ToolResult>;
+//# sourceMappingURL=run-policy-checks.d.ts.map

package/dist/tools/run-policy-checks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-policy-checks.d.ts","sourceRoot":"","sources":["../../src/tools/run-policy-checks.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1D,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,oBAAoB,EAC7B,KAAK,EAAE,oBAAoB,6CAsC5B"}

package/dist/tools/run-policy-checks.js

@@ -0,0 +1,38 @@
+/**
+ * Run Policy Checks Tool
+ * Version: 0.1.0
+ */
+import { createErrorResult, createTextResult } from '../utils.js';
+export async function handleRunPolicyChecks(adapter, input) {
+    const feature = await adapter.getFeature(input.feature_id);
+    if (feature == null) {
+        return createErrorResult(`Feature ${input.feature_id} was not found.`, {
+            feature_id: input.feature_id,
+        });
+    }
+    const results = await adapter.runPolicyChecks(input.feature_id);
+    const claims_needing_review = await adapter.listClaimsNeedingReview(input.feature_id);
+    const counts = {
+        total: results.length,
+        passed: results.filter((result) => result.verdict === 'PASS').length,
+        failed: results.filter((result) => result.verdict === 'FAIL').length,
+        needs_review: results.filter((result) => result.verdict === 'NEEDS_REVIEW').length,
+    };
+    const next_actions = claims_needing_review.length === 0
+        ? []
+        : [
+            'Use odin.get_claims_needing_review to inspect the watcher queue.',
+            'Have watcher-agent review each escalated claim and submit verdicts with odin.record_watcher_review.',
+            'Re-run odin.verify_claims after watcher reviews are recorded.',
+        ];
+    return createTextResult(claims_needing_review.length === 0
+        ? `Ran policy checks for ${counts.total} claim(s) on feature ${input.feature_id}.`
+        : `Ran policy checks for ${counts.total} claim(s) on feature ${input.feature_id}; ${claims_needing_review.length} claim(s) now need watcher review.`, {
+        feature_id: input.feature_id,
+        counts,
+        results,
+        claims_needing_review,
+        next_actions,
+    });
+}
+//# sourceMappingURL=run-policy-checks.js.map

package/dist/tools/run-policy-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-policy-checks.js","sourceRoot":"","sources":["../../src/tools/run-policy-checks.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAElE,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,OAA6B,EAC7B,KAA2B;IAE3B,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,OAAO,iBAAiB,CAAC,WAAW,KAAK,CAAC,UAAU,iBAAiB,EAAE;YACrE,UAAU,EAAE,KAAK,CAAC,UAAU;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAChE,MAAM,qBAAqB,GAAG,MAAM,OAAO,CAAC,uBAAuB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACtF,MAAM,MAAM,GAAG;QACb,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM;QACpE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM;QACpE,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,MAAM;KACnF,CAAC;IACF,MAAM,YAAY,GAChB,qBAAqB,CAAC,MAAM,KAAK,CAAC;QAChC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE,kEAAkE;YAClE,qGAAqG;YACrG,+DAA+D;SAChE,CAAC;IAER,OAAO,gBAAgB,CACrB,qBAAqB,CAAC,MAAM,KAAK,CAAC;QAChC,CAAC,CAAC,yBAAyB,MAAM,CAAC,KAAK,wBAAwB,KAAK,CAAC,UAAU,GAAG;QAClF,CAAC,CAAC,yBAAyB,MAAM,CAAC,KAAK,wBAAwB,KAAK,CAAC,UAAU,KAAK,qBAAqB,CAAC,MAAM,oCAAoC,EACtJ;QACE,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,MAAM;QACN,OAAO;QACP,qBAAqB;QACrB,YAAY;KACb,CACF,CAAC;AACJ,CAAC"}

package/dist/tools/run-review-checks.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Run Review Checks Tool
+ * Version: 0.1.0
+ */
+import type { ReviewAdapter } from '../adapters/review/types.js';
+import type { WorkflowStateAdapter } from '../adapters/workflow-state/types.js';
+import type { RunReviewChecksInput } from '../schemas.js';
+export declare function handleRunReviewChecks(adapter: WorkflowStateAdapter, review_adapter: ReviewAdapter, input: RunReviewChecksInput): Promise<import("../utils.js").ToolResult>;
+//# sourceMappingURL=run-review-checks.d.ts.map

package/dist/tools/run-review-checks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-review-checks.d.ts","sourceRoot":"","sources":["../../src/tools/run-review-checks.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1D,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,oBAAoB,EAC7B,cAAc,EAAE,aAAa,EAC7B,KAAK,EAAE,oBAAoB,6CAkD5B"}

package/dist/tools/run-review-checks.js

@@ -0,0 +1,45 @@
+/**
+ * Run Review Checks Tool
+ * Version: 0.1.0
+ */
+import { createErrorResult, createId, createTextResult } from '../utils.js';
+export async function handleRunReviewChecks(adapter, review_adapter, input) {
+    const feature = await adapter.getFeature(input.feature_id);
+    if (feature == null) {
+        return createErrorResult(`Feature ${input.feature_id} was not found.`, {
+            feature_id: input.feature_id,
+        });
+    }
+    const execution = await review_adapter.runChecks({
+        feature_id: input.feature_id,
+        tool: input.tool,
+        changed_files: input.changed_files,
+    });
+    const review_check = await adapter.recordReviewCheck({
+        id: createId('review'),
+        feature_id: input.feature_id,
+        phase: input.phase,
+        tool: execution.tool,
+        status: execution.status,
+        summary: execution.summary,
+        changed_files: execution.changed_files,
+        initiated_by: input.initiated_by,
+        created_at: new Date().toISOString(),
+    });
+    // GAP-4: Persist individual security findings for dashboard visibility
+    let findings_recorded = 0;
+    if (execution.findings.length > 0) {
+        try {
+            findings_recorded = await adapter.recordSecurityFindings(input.feature_id, input.phase, execution.findings, input.tool);
+        }
+        catch {
+            console.error(`[Odin Runtime] Failed to record security findings for ${input.feature_id}`);
+        }
+    }
+    return createTextResult(`Review checks completed for feature ${review_check.feature_id} with status ${review_check.status}.`, {
+        review_check,
+        findings: execution.findings,
+        findings_recorded,
+    });
+}
+//# sourceMappingURL=run-review-checks.js.map

package/dist/tools/run-review-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-review-checks.js","sourceRoot":"","sources":["../../src/tools/run-review-checks.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE5E,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,OAA6B,EAC7B,cAA6B,EAC7B,KAA2B;IAE3B,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,OAAO,iBAAiB,CAAC,WAAW,KAAK,CAAC,UAAU,iBAAiB,EAAE;YACrE,UAAU,EAAE,KAAK,CAAC,UAAU;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,cAAc,CAAC,SAAS,CAAC;QAC/C,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,aAAa,EAAE,KAAK,CAAC,aAAa;KACnC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,MAAM,OAAO,CAAC,iBAAiB,CAAC;QACnD,EAAE,EAAE,QAAQ,CAAC,QAAQ,CAAC;QACtB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACrC,CAAC,CAAC;IAEH,uEAAuE;IACvE,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,IAAI,CAAC;YACH,iBAAiB,GAAG,MAAM,OAAO,CAAC,sBAAsB,CACtD,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,KAAK,EACX,SAAS,CAAC,QAAQ,EAClB,KAAK,CAAC,IAAI,CACX,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,CAAC,KAAK,CAAC,yDAAyD,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IAED,OAAO,gBAAgB,CACrB,uCAAuC,YAAY,CAAC,UAAU,gBAAgB,YAAY,CAAC,MAAM,GAAG,EACpG;QACE,YAAY;QACZ,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,iBAAiB;KAClB,CACF,CAAC;AACJ,CAAC"}

package/dist/tools/start-feature.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Start Feature Tool
+ * Version: 0.1.0
+ */
+import type { WorkflowStateAdapter } from '../adapters/workflow-state/types.js';
+import type { StartFeatureInput } from '../schemas.js';
+export declare function handleStartFeature(adapter: WorkflowStateAdapter, input: StartFeatureInput): Promise<import("../utils.js").ToolResult>;
+//# sourceMappingURL=start-feature.d.ts.map

package/dist/tools/start-feature.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"start-feature.d.ts","sourceRoot":"","sources":["../../src/tools/start-feature.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAEhF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAGvD,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,oBAAoB,EAC7B,KAAK,EAAE,iBAAiB,6CAiCzB"}

package/dist/tools/start-feature.js

@@ -0,0 +1,33 @@
+/**
+ * Start Feature Tool
+ * Version: 0.1.0
+ */
+import { validateHumanAuthor } from '../domain/actors.js';
+import { createErrorResult, createTextResult } from '../utils.js';
+export async function handleStartFeature(adapter, input) {
+    const author_error = validateHumanAuthor(input.author);
+    if (author_error != null) {
+        return createErrorResult(author_error, {
+            feature_id: input.id,
+            author: input.author,
+        });
+    }
+    const branch_name = input.dev_initials == null ? undefined : `${input.dev_initials}/feature/${input.id}`;
+    const feature = await adapter.startFeature({
+        id: input.id,
+        name: input.name,
+        complexity_level: input.complexity_level,
+        severity: input.severity,
+        requirements_path: input.requirements_path,
+        dev_initials: input.dev_initials,
+        branch_name,
+        base_branch: input.base_branch,
+        author: input.author,
+    });
+    return createTextResult(`Feature ${feature.id} started at phase ${feature.current_phase} (${feature.status}).`, {
+        feature,
+        next_phase: '1',
+        next_phase_name: 'Product',
+    });
+}
+//# sourceMappingURL=start-feature.js.map

package/dist/tools/start-feature.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"start-feature.js","sourceRoot":"","sources":["../../src/tools/start-feature.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE1D,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAElE,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,OAA6B,EAC7B,KAAwB;IAExB,MAAM,YAAY,GAAG,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACvD,IAAI,YAAY,IAAI,IAAI,EAAE,CAAC;QACzB,OAAO,iBAAiB,CAAC,YAAY,EAAE;YACrC,UAAU,EAAE,KAAK,CAAC,EAAE;YACpB,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,WAAW,GACf,KAAK,CAAC,YAAY,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,YAAY,YAAY,KAAK,CAAC,EAAE,EAAE,CAAC;IAEvF,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,YAAY,CAAC;QACzC,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,WAAW;QACX,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC,CAAC;IAEH,OAAO,gBAAgB,CACrB,WAAW,OAAO,CAAC,EAAE,qBAAqB,OAAO,CAAC,aAAa,KAAK,OAAO,CAAC,MAAM,IAAI,EACtF;QACE,OAAO;QACP,UAAU,EAAE,GAAG;QACf,eAAe,EAAE,SAAS;KAC3B,CACF,CAAC;AACJ,CAAC"}

package/dist/tools/submit-claim.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Submit Claim Tool
+ * Version: 0.1.0
+ */
+import type { WorkflowStateAdapter } from '../adapters/workflow-state/types.js';
+import type { SubmitClaimInput } from '../schemas.js';
+export declare function handleSubmitClaim(adapter: WorkflowStateAdapter, input: SubmitClaimInput): Promise<import("../utils.js").ToolResult>;
+//# sourceMappingURL=submit-claim.d.ts.map

package/dist/tools/submit-claim.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"submit-claim.d.ts","sourceRoot":"","sources":["../../src/tools/submit-claim.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAGhF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAGtD,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,oBAAoB,EAC7B,KAAK,EAAE,gBAAgB,6CAuDxB"}

package/dist/tools/submit-claim.js

@@ -0,0 +1,45 @@
+/**
+ * Submit Claim Tool
+ * Version: 0.1.0
+ */
+import { resolveWorkflowActorName } from '../domain/actors.js';
+import { getPhaseAgentInstructions, isWatchedPhase } from '../domain/phases.js';
+import { createErrorResult, createTextResult } from '../utils.js';
+export async function handleSubmitClaim(adapter, input) {
+    const feature = await adapter.getFeature(input.feature_id);
+    if (feature == null) {
+        return createErrorResult(`Feature ${input.feature_id} was not found.`, {
+            feature_id: input.feature_id,
+        });
+    }
+    if (!isWatchedPhase(input.phase)) {
+        return createErrorResult(`Claims can only be submitted from watched phases (Builder, Integrator, Release). Phase ${input.phase} is not watched.`, {
+            feature_id: input.feature_id,
+            phase: input.phase,
+            allowed_phases: ['5', '7', '9'],
+        });
+    }
+    if (feature.current_phase !== input.phase) {
+        return createErrorResult(`Feature ${input.feature_id} is currently in phase ${feature.current_phase}, not ${input.phase}. Claims must be submitted from the feature's active watched phase.`, {
+            feature_id: input.feature_id,
+            expected_phase: feature.current_phase,
+            provided_phase: input.phase,
+        });
+    }
+    const agent_name = resolveWorkflowActorName(input.phase, input.agent_name ?? getPhaseAgentInstructions(input.phase).name);
+    const invocation = input.invocation_id == null
+        ? await adapter.findOpenAgentInvocation(input.feature_id, input.phase, agent_name)
+        : null;
+    const claim = await adapter.submitClaim({
+        feature_id: input.feature_id,
+        phase: input.phase,
+        agent_name,
+        invocation_id: input.invocation_id ?? invocation?.id ?? null,
+        claim_type: input.claim_type,
+        claim_description: input.description,
+        evidence_refs: input.evidence_refs,
+        risk_level: input.risk_level,
+    });
+    return createTextResult(`Submitted ${claim.claim_type} claim for feature ${claim.feature_id}.`, { claim });
+}
+//# sourceMappingURL=submit-claim.js.map

package/dist/tools/submit-claim.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"submit-claim.js","sourceRoot":"","sources":["../../src/tools/submit-claim.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,yBAAyB,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAEhF,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAElE,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,OAA6B,EAC7B,KAAuB;IAEvB,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,OAAO,iBAAiB,CAAC,WAAW,KAAK,CAAC,UAAU,iBAAiB,EAAE;YACrE,UAAU,EAAE,KAAK,CAAC,UAAU;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,iBAAiB,CACtB,0FAA0F,KAAK,CAAC,KAAK,kBAAkB,EACvH;YACE,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;SAChC,CACF,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC;QAC1C,OAAO,iBAAiB,CACtB,WAAW,KAAK,CAAC,UAAU,0BAA0B,OAAO,CAAC,aAAa,SAAS,KAAK,CAAC,KAAK,qEAAqE,EACnK;YACE,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,cAAc,EAAE,OAAO,CAAC,aAAa;YACrC,cAAc,EAAE,KAAK,CAAC,KAAK;SAC5B,CACF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,wBAAwB,CACzC,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,UAAU,IAAI,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAChE,CAAC;IACF,MAAM,UAAU,GACd,KAAK,CAAC,aAAa,IAAI,IAAI;QACzB,CAAC,CAAC,MAAM,OAAO,CAAC,uBAAuB,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC;QAClF,CAAC,CAAC,IAAI,CAAC;IAEX,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC;QACtC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU;QACV,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,UAAU,EAAE,EAAE,IAAI,IAAI;QAC5D,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,iBAAiB,EAAE,KAAK,CAAC,WAAW;QACpC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;IAEH,OAAO,gBAAgB,CACrB,aAAa,KAAK,CAAC,UAAU,sBAAsB,KAAK,CAAC,UAAU,GAAG,EACtE,EAAE,KAAK,EAAE,CACV,CAAC;AACJ,CAAC"}

package/dist/tools/verify-claims.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Verify Claims Tool
+ * Version: 0.1.0
+ */
+import type { WorkflowStateAdapter } from '../adapters/workflow-state/types.js';
+import type { VerifyClaimsInput } from '../schemas.js';
+export declare function handleVerifyClaims(adapter: WorkflowStateAdapter, input: VerifyClaimsInput): Promise<import("../utils.js").ToolResult>;
+//# sourceMappingURL=verify-claims.d.ts.map

package/dist/tools/verify-claims.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-claims.d.ts","sourceRoot":"","sources":["../../src/tools/verify-claims.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAGvD,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,oBAAoB,EAC7B,KAAK,EAAE,iBAAiB,6CAuCzB"}

package/dist/tools/verify-claims.js

@@ -0,0 +1,39 @@
+/**
+ * Verify Claims Tool
+ * Version: 0.1.0
+ */
+import { createErrorResult, createTextResult } from '../utils.js';
+export async function handleVerifyClaims(adapter, input) {
+    const feature = await adapter.getFeature(input.feature_id);
+    if (feature == null) {
+        return createErrorResult(`Feature ${input.feature_id} was not found.`, {
+            feature_id: input.feature_id,
+        });
+    }
+    const claims = await adapter.listClaimVerificationStatus(input.feature_id);
+    const claims_needing_review = await adapter.listClaimsNeedingReview(input.feature_id);
+    const counts = {
+        total: claims.length,
+        passed: claims.filter((claim) => claim.final_status === 'PASS').length,
+        failed: claims.filter((claim) => claim.final_status === 'FAIL').length,
+        needs_review: claims.filter((claim) => claim.final_status === 'NEEDS_REVIEW').length,
+        pending: claims.filter((claim) => claim.final_status === 'PENDING').length,
+    };
+    const next_actions = claims_needing_review.length === 0
+        ? []
+        : [
+            'Claims are still awaiting LLM watcher review.',
+            'Call odin.get_claims_needing_review to fetch the queue for the watcher-agent.',
+            'Record each watcher decision with odin.record_watcher_review, then run odin.verify_claims again.',
+        ];
+    return createTextResult(claims_needing_review.length === 0
+        ? `Verified ${counts.total} claim(s) for feature ${feature.id}.`
+        : `Verified ${counts.total} claim(s) for feature ${feature.id}; ${claims_needing_review.length} claim(s) still await watcher review.`, {
+        feature_id: feature.id,
+        counts,
+        claims,
+        claims_needing_review,
+        next_actions,
+    });
+}
+//# sourceMappingURL=verify-claims.js.map

package/dist/tools/verify-claims.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-claims.js","sourceRoot":"","sources":["../../src/tools/verify-claims.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAElE,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,OAA6B,EAC7B,KAAwB;IAExB,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,OAAO,iBAAiB,CAAC,WAAW,KAAK,CAAC,UAAU,iBAAiB,EAAE;YACrE,UAAU,EAAE,KAAK,CAAC,UAAU;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,2BAA2B,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC3E,MAAM,qBAAqB,GAAG,MAAM,OAAO,CAAC,uBAAuB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACtF,MAAM,MAAM,GAAG;QACb,KAAK,EAAE,MAAM,CAAC,MAAM;QACpB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC,MAAM;QACtE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC,MAAM;QACtE,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,KAAK,cAAc,CAAC,CAAC,MAAM;QACpF,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,MAAM;KAC3E,CAAC;IACF,MAAM,YAAY,GAChB,qBAAqB,CAAC,MAAM,KAAK,CAAC;QAChC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE,+CAA+C;YAC/C,+EAA+E;YAC/E,kGAAkG;SACnG,CAAC;IAER,OAAO,gBAAgB,CACrB,qBAAqB,CAAC,MAAM,KAAK,CAAC;QAChC,CAAC,CAAC,YAAY,MAAM,CAAC,KAAK,yBAAyB,OAAO,CAAC,EAAE,GAAG;QAChE,CAAC,CAAC,YAAY,MAAM,CAAC,KAAK,yBAAyB,OAAO,CAAC,EAAE,KAAK,qBAAqB,CAAC,MAAM,uCAAuC,EACvI;QACE,UAAU,EAAE,OAAO,CAAC,EAAE;QACtB,MAAM;QACN,MAAM;QACN,qBAAqB;QACrB,YAAY;KACb,CACF,CAAC;AACJ,CAAC"}

package/dist/tools/verify-design.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Verify Design Tool
+ * Version: 0.1.0
+ */
+import type { FormalVerificationAdapter } from '../adapters/formal-verification/types.js';
+import type { VerifyDesignInput } from '../schemas.js';
+export declare function handleVerifyDesign(adapter: FormalVerificationAdapter | null, input: VerifyDesignInput): Promise<import("../utils.js").ToolResult>;
+//# sourceMappingURL=verify-design.d.ts.map

package/dist/tools/verify-design.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-design.d.ts","sourceRoot":"","sources":["../../src/tools/verify-design.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,0CAA0C,CAAC;AAC1F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAGvD,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,yBAAyB,GAAG,IAAI,EACzC,KAAK,EAAE,iBAAiB,6CAmCzB"}

package/dist/tools/verify-design.js

@@ -0,0 +1,31 @@
+/**
+ * Verify Design Tool
+ * Version: 0.1.0
+ */
+import { createTextResult } from '../utils.js';
+export async function handleVerifyDesign(adapter, input) {
+    if (adapter == null) {
+        return createTextResult('Formal verification is not configured. Set `formal_verification.provider: tla-precheck` in `.odin/config.yaml`.', {
+            status: 'NOT_CONFIGURED',
+            error: 'Formal verification is not configured. Set `formal_verification.provider: tla-precheck` in `.odin/config.yaml`.',
+        });
+    }
+    const available = await adapter.isAvailable();
+    if (!available) {
+        return createTextResult('tla-precheck is not available. Ensure Java 17+ is installed and tla-precheck is in project dependencies: npm install -D tla-precheck@<version>', {
+            status: 'UNAVAILABLE',
+            error: 'tla-precheck not found in project dependencies or Java 17+ not installed. Run: npm install -D tla-precheck@<version>',
+        });
+    }
+    const result = await adapter.verifyDesign({
+        feature_id: input.feature_id,
+        machine_path: input.machine_path,
+    });
+    const status_text = result.status === 'VERIFIED'
+        ? `Design verification PASSED for ${result.machine_name}. ${result.states_checked} states checked in ${result.duration_ms}ms.`
+        : result.status === 'VIOLATION'
+            ? `Design verification FAILED for ${result.machine_name}. ${result.invariant_violations.length} violation(s) found.`
+            : `Design verification returned ${result.status} for ${result.machine_name}.${result.error ? ` ${result.error}` : ''}`;
+    return createTextResult(status_text, { ...result });
+}
+//# sourceMappingURL=verify-design.js.map

package/dist/tools/verify-design.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-design.js","sourceRoot":"","sources":["../../src/tools/verify-design.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,OAAyC,EACzC,KAAwB;IAExB,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,OAAO,gBAAgB,CACrB,iHAAiH,EACjH;YACE,MAAM,EAAE,gBAAgB;YACxB,KAAK,EAAE,iHAAiH;SACzH,CACF,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,WAAW,EAAE,CAAC;IAC9C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,gBAAgB,CACrB,gJAAgJ,EAChJ;YACE,MAAM,EAAE,aAAa;YACrB,KAAK,EAAE,sHAAsH;SAC9H,CACF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,YAAY,CAAC;QACxC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,KAAK,UAAU;QAC9C,CAAC,CAAC,kCAAkC,MAAM,CAAC,YAAY,KAAK,MAAM,CAAC,cAAc,sBAAsB,MAAM,CAAC,WAAW,KAAK;QAC9H,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,WAAW;YAC7B,CAAC,CAAC,kCAAkC,MAAM,CAAC,YAAY,KAAK,MAAM,CAAC,oBAAoB,CAAC,MAAM,sBAAsB;YACpH,CAAC,CAAC,gCAAgC,MAAM,CAAC,MAAM,QAAQ,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAE3H,OAAO,gBAAgB,CAAC,WAAW,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;AACtD,CAAC"}