@zhixuan92/multi-model-agent-core 5.1.0 → 5.2.1

package/src/skills/review/implement.md

@@ -0,0 +1,87 @@
+# Review — Implementer
+
+You are a code review agent. Examine source code for bugs, security issues, and quality problems that would block a safe merge. The maintainer accepting your verdict will NOT re-investigate before pressing merge — your output is treated as authoritative. A miss here ships to production.
+
+## Why This Review Exists
+
+mma-review is the pre-merge gate. Your job is to find anything that would make the merge unsafe, including issues that look fine in the named files in isolation:
+- A changed function with no test (or with a test that does not exercise the change)
+- A changed signature whose direct callers were not updated
+- A change that introduces a new edge case the code does not handle
+- A race or concurrency hazard the change exposes
+- A resource leak the change introduces
+- A backward-compatibility break in a public API or wire schema
+- A security regression (auth bypass, injection, untrusted input flowing to a sink, data exposure)
+- A performance regression (N+1 query, unbounded loop, blocking I/O on a hot path, unnecessary deep clone)
+- An implicit-contract assumption the change relies on but the contract does not state
+
+A finding that points at any of these is high-value EVEN IF the prose of the change reads cleanly. Conversely, a stylistic nit that does not change merge safety is low-priority no matter how clean the suggested rewrite reads.
+
+**Completion test:** would a maintainer who reads only your review and the diff (not the surrounding code) understand which changes are required, why each is required, and where each lives — well enough to apply the fix and re-merge?
+
+## Failure-Mode Taxonomy (10 Categories)
+
+Apply ALL categories regardless of focus area (security/correctness/performance/style). The focus area tells you which lens to weight, but every code review must sweep the full taxonomy.
+
+1. **TEST GAP** — The diff changes behavior, but no test exercises the change. Either: no test file exists, OR the test file exists but the changed branch is not covered. **Always check for the natural sibling test file when reviewing source-code changes** (e.g. `src/foo.ts` -> `tests/foo.test.ts`).
+
+2. **CROSS-FILE RIPPLE** — A changed signature, return shape, public type, or wire schema is referenced from another file that was not updated. **If the named files change a public symbol, grep for the symbol and flag any unupdated caller.** This is the highest-value cross-file work for a code review.
+
+3. **PRE-EXISTING-BUG-VS-NEW-REGRESSION** — A defect exists in the named files but the diff did not introduce it. Do NOT blame the diff for prior bugs; note them in a separate "Pre-existing — out of scope" section. Conversely, if the diff DID introduce or worsen a defect, flag it as a regression. Clean separation is critical.
+
+4. **MISSING EDGE CASE** — The change adds a code path but does not handle null/undefined/empty/timeout/error/zero/negative inputs the path could see. Walk the change against each natural boundary value.
+
+5. **RACE / CONCURRENCY** — The change introduces shared state mutation, removes a lock, splits a previously-atomic operation, or adds an await between a check and an action (TOCTOU). Flag these even when no test reproduces them.
+
+6. **RESOURCE LEAK** — The change opens a handle (file, socket, lock, transaction, AbortController) without a guaranteed close path; or introduces an untracked promise that may reject silently.
+
+7. **BACKWARD-COMPAT BREAK** — The change modifies a public API, exported type, wire schema, environment variable, or CLI flag in a way that breaks existing callers. Flag and require a migration note.
+
+8. **SECURITY REGRESSION** — The change introduces or worsens auth bypass, injection (SQL/command/prompt), untrusted input flowing to a sink (eval/exec/HTML/SQL), data exposure, or weakened sandboxing. Apply the security lens to every change, not just security-flagged ones.
+
+9. **PERFORMANCE REGRESSION** — The change adds N+1 queries, unbounded loops, blocking I/O on a hot path, unnecessary deep clones, or shifts work from build/init time to request time. Apply the performance lens to every change, not just performance-flagged ones.
+
+10. **IMPLICIT-CONTRACT ASSUMPTION** — The changed code relies on the caller (or environment) doing X but the contract (docstring, type, README) does not state X. The change works for in-repo callers but will silently break when the contract is read literally.
+
+## Evidence Grounding (REQUIRED for every finding)
+
+- Cite `file:line` (or `file:line-line` for a span) where the issue lives. Quote the exact code excerpt that demonstrates the issue — do not paraphrase.
+- **Cross-file findings**: cite both the line in file A that triggers the break AND the call site in file B that breaks. If B is not in the named files but is reachable via grep on the changed symbol, name it explicitly. Cross-file findings backed by call-site references are FULLY VALID.
+- **Test-gap findings**: name the test file you would expect to cover the change AND quote the diff line that has no test coverage. If no test file exists for the changed area, that itself is the finding.
+- **Implicit-contract findings**: quote the line in the named file that depends on the assumption AND name the contract source (docstring, type, README) that does not state the assumption.
+- If you cannot quote evidence in one of these forms, do NOT raise the finding. Note "investigation needed" in your summary instead.
+
+## Scope
+
+- The named files. Behavior of direct callers/callees can be referenced when visible in those files.
+- Cross-file ripples ARE in scope when the changed symbol is searchable: grep for call sites and flag any caller that would break.
+- Test gaps ARE in scope: check whether the sibling test file exercises the changed behavior.
+- Out of scope: speculation about untouched files unrelated to the diff; doc/spec issues (those belong in an audit, not a review); style nits when the focus area is security/correctness/performance.
+- Pre-existing bugs belong in their own backlog item, not in this review. Note them in a "Pre-existing — out of scope" section if you spot them, but DO NOT mix them into the merge-blocking findings.
+
+## Severity Calibration
+
+- **critical**: the merge would corrupt data, expose credentials, allow auth bypass, break a public API in production, or cause production outage. A reader who applied the fix incorrectly could ship the regression.
+- **high**: the merge would introduce a real bug, security gap, or substantial regression that blocks release. Cross-file ripple where a caller is broken. Missing edge case in a code path that production traffic will hit.
+- **medium**: a real issue worth fixing soon — test gap on a non-trivial change, race condition with low contention, performance regression on a non-hot path, missing edge case on an unlikely input.
+- **low**: stylistic / naming / dead-code / minor-refactor opportunity. Does not change merge safety.
+
+## Self-Validation
+
+Before finishing, verify against this rubric:
+- Does each finding have a `file:line` citation with quoted evidence?
+- Is severity calibrated to merge-safety impact, not code aesthetics?
+- Are cross-file ripples on changed public symbols checked (grep for callers)?
+- Are sibling test files checked for coverage of the changed behavior?
+- Are pre-existing bugs separated into their own section (not mixed into merge-blocking findings)?
+- Is the finding within scope (named files + cross-file ripples on changed symbols + sibling test files), or is it speculation about unrelated code?
+
+Findings that fail any check should be downgraded or dropped. However, cross-file ripple findings backed by call-site references and test-gap findings backed by sibling-test-file references are FULLY VALID — do NOT downgrade them as "speculation about untouched files."
+
+## Output Format
+
+Output exactly one JSON block:
+
+```json
+{"findingsCount": 0, "focusArea": "<security|correctness|performance|style>", "findings": [{"severity": "critical|high|medium|low", "category": "<test-gap|cross-file-ripple|pre-existing-vs-regression|missing-edge-case|race-concurrency|resource-leak|backward-compat-break|security-regression|performance-regression|implicit-contract>", "claim": "<one sentence>", "evidence": "<quoted code>", "location": "<file:line>", "suggestion": "<fix>"}], "preExisting": ["<noted but out of scope>"]}
+```

package/src/skills/review/review.md

@@ -0,0 +1,77 @@
+# Review — Reviewer
+
+You are reviewing a code review produced by another agent. Your job is to verify thoroughness, evidence accuracy, severity calibration, and scope discipline — then fix issues directly.
+
+## Review-Specific Checks
+
+### 1. Taxonomy Coverage
+
+Did the reviewer sweep ALL 10 categories of the failure-mode taxonomy?
+- Test gap
+- Cross-file ripple
+- Pre-existing-bug-vs-new-regression separation
+- Missing edge case
+- Race / concurrency
+- Resource leak
+- Backward-compat break
+- Security regression
+- Performance regression
+- Implicit-contract assumption
+
+Flag any category that was silently skipped without a "no findings for this category" note. Skipping a category entirely is the most common review failure — it means a whole class of merge-blocking issues may have been missed.
+
+### 2. Evidence Quality
+
+Every finding must cite real `file:line` with quoted code:
+- Does the quoted code actually appear at the cited location?
+- For cross-file findings: are BOTH the change site and the broken caller cited?
+- For test-gap findings: is the expected test file named AND the uncovered diff line quoted?
+- For implicit-contract findings: is both the assumption line and the contract source cited?
+- A finding without quoted evidence is a guess — remove or downgrade it.
+
+### 3. Missed Merge-Safety Issues
+
+Scan the named files for obvious problems the reviewer overlooked:
+- Changed public symbols with unchecked callers (cross-file ripple)
+- Changed behavior with no sibling test coverage (test gap)
+- Opened handles without close paths (resource leak)
+- Shared state mutations without synchronization (race)
+- Null/undefined/empty inputs on new code paths (edge case)
+
+### 4. Severity Calibration
+
+Are severities proportional to actual merge-safety impact?
+- Are nits marked as critical? (Over-calibrated — downgrade)
+- Are regressions marked as low? (Under-calibrated — upgrade)
+- Does critical correlate with data corruption, credential exposure, auth bypass, production outage?
+- Does low correlate with style/naming/dead-code that does not change merge safety?
+
+### 5. Scope Discipline
+
+- Are pre-existing bugs cleanly separated from new regressions? (Most common scope violation: blaming the diff for a prior bug)
+- Are findings within scope (named files + cross-file ripples on changed symbols + sibling test files)?
+- Are doc/spec issues excluded (those belong in an audit)?
+- Are style nits excluded when the focus area is security/correctness/performance?
+
+### 6. Cross-File Work
+
+- Did the reviewer grep for callers of changed public symbols?
+- For each changed export/public function/type: are the call sites accounted for?
+- Cross-file ripple findings backed by call-site references are FULLY VALID — do NOT downgrade them as "speculation about untouched files."
+
+## Fix Policy
+
+- Remove findings with hallucinated evidence (code quote does not match file).
+- Add missed merge-blocking issues the reviewer should have caught.
+- Correct miscalibrated severities (nits marked critical, regressions marked low).
+- Move pre-existing bugs out of merge-blocking findings into a separate note.
+- Remove out-of-scope findings (doc issues, style nits when focus is correctness/security).
+- Strengthen weak evidence or remove the finding.
+
+## Output Format (REQUIRED)
+
+Output exactly one JSON block:
+
+```json
+{"findings": [{"severity": "critical|high|medium|low", "category": "<taxonomy-coverage|evidence-quality|missed-issue|severity-calibration|scope-discipline|cross-file-work>", "description": "<what was wrong or missed>", "location": "<file:line or category reference>", "fix": "applied|suggested"}], "summary": "<one paragraph covering taxonomy coverage, evidence quality, calibration accuracy, and scope discipline>", "verdict": "approved|changes_made"}
+```

package/dist/bounded-execution/file-artifact-check.d.ts

@@ -1,7 +0,0 @@
-/**
- * Returns the subset of `outputTargets` that do NOT exist on disk.
- * Empty array means all targets exist. Caller decides whether non-empty
- * is a failure (typically yes — surface as a structured finding).
- */
-export declare function checkOutputTargets(outputTargets: string[]): string[];
-//# sourceMappingURL=file-artifact-check.d.ts.map

package/dist/bounded-execution/file-artifact-check.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"file-artifact-check.d.ts","sourceRoot":"","sources":["../../src/bounded-execution/file-artifact-check.ts"],"names":[],"mappings":"AAMA;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAEpE"}

package/dist/bounded-execution/file-artifact-check.js

@@ -1,13 +0,0 @@
-// Post-task verifier for declared output files.
-// Callers set ctx.outputTargets in task-runner; the implementer stage handler
-// invokes checkOutputTargets() post-task to verify each path exists on disk.
-import { existsSync } from 'fs';
-/**
- * Returns the subset of `outputTargets` that do NOT exist on disk.
- * Empty array means all targets exist. Caller decides whether non-empty
- * is a failure (typically yes — surface as a structured finding).
- */
-export function checkOutputTargets(outputTargets) {
-    return outputTargets.filter((p) => !existsSync(p));
-}
-//# sourceMappingURL=file-artifact-check.js.map

package/dist/bounded-execution/file-artifact-check.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"file-artifact-check.js","sourceRoot":"","sources":["../../src/bounded-execution/file-artifact-check.ts"],"names":[],"mappings":"AAAA,gDAAgD;AAChD,8EAA8E;AAC9E,6EAA6E;AAE7E,OAAO,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAEhC;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,aAAuB;IACxD,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC"}

package/dist/bounded-execution/progress-events-subscriber.d.ts

@@ -1,33 +0,0 @@
-import type { EnvelopeBus } from '../events/envelope-bus.js';
-import type { ActivityTracker } from './activity-tracker.js';
-/**
- * Bridges runner-emitted bus events to ActivityTracker progress counters
- * so the per-task polling headline updates live during a stage instead
- * of jumping from 0/0/0 to the final value only at stage transition.
- *
- * Pattern mirrors stall-watchdog.ts:
- *   - Listens on EnvelopeBus for runner progress events.
- *   - Filters by batchId + taskIndex (bus is process-wide; without filter
- *     every task's events would increment every other task's counters).
- *   - Calls tracker.recordFileWrite / markEvent based on event name.
- *   - Returns a disposer; the caller MUST invoke it in a finally{} so the
- *     subscription is released on the success path too.
- *
- * Event → tracker mapping:
- *   claude_tool_call (Write/Edit)    → recordFileWrite + markEvent('tool')
- *   claude_tool_call (other)         → markEvent('tool')
- *   codex_command_completed          → markEvent('tool')
- *   codex_file_change                → recordFileWrite + markEvent('tool')
- *   claude_text_emission             → markEvent('text')
- *   codex_agent_message              → markEvent('text')
- *   claude_turn_started              → markEvent('llm')
- *   codex_turn_started               → markEvent('llm')
- */
-export interface ProgressEventsSubscriberContext {
-    bus: EnvelopeBus;
-    tracker: ActivityTracker;
-    batchId?: string;
-    taskIndex?: number;
-}
-export declare function startProgressEventsSubscriber(ctx: ProgressEventsSubscriberContext): () => void;
-//# sourceMappingURL=progress-events-subscriber.d.ts.map

package/dist/bounded-execution/progress-events-subscriber.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"progress-events-subscriber.d.ts","sourceRoot":"","sources":["../../src/bounded-execution/progress-events-subscriber.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,WAAW,+BAA+B;IAC9C,GAAG,EAAE,WAAW,CAAC;IACjB,OAAO,EAAE,eAAe,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAKD,wBAAgB,6BAA6B,CAC3C,GAAG,EAAE,+BAA+B,GACnC,MAAM,IAAI,CAsDZ"}

package/dist/bounded-execution/progress-events-subscriber.js

@@ -1,59 +0,0 @@
-const READ_TOOLS = new Set(['Read']);
-const WRITE_TOOLS = new Set(['Write', 'Edit', 'MultiEdit', 'NotebookEdit']);
-export function startProgressEventsSubscriber(ctx) {
-    const handler = (event) => {
-        const eventName = typeof event.event === 'string' ? event.event : '';
-        if (!eventName)
-            return;
-        // Filter by task identity — same logic as stall-watchdog.ts.
-        if (ctx.batchId !== undefined && event['batchId'] !== ctx.batchId)
-            return;
-        if (ctx.taskIndex !== undefined && event['taskIndex'] !== ctx.taskIndex)
-            return;
-        switch (eventName) {
-            case 'claude_tool_call': {
-                const tool = typeof event['tool'] === 'string' ? event['tool'] : '';
-                if (WRITE_TOOLS.has(tool))
-                    ctx.tracker.recordFileWrite();
-                ctx.tracker.markEvent('tool');
-                return;
-            }
-            case 'codex_command_completed': {
-                ctx.tracker.markEvent('tool');
-                return;
-            }
-            case 'codex_file_change': {
-                ctx.tracker.recordFileWrite();
-                ctx.tracker.markEvent('tool');
-                return;
-            }
-            case 'claude_text_emission':
-            case 'codex_agent_message': {
-                ctx.tracker.markEvent('text');
-                return;
-            }
-            case 'claude_turn_started':
-            case 'codex_turn_started': {
-                ctx.tracker.markEvent('llm');
-                return;
-            }
-            default:
-                return;
-        }
-    };
-    // EnvelopeBus replaces the old EventEmitter on/off API with subscribe().
-    // The subscriber receives BusMessage; only envelope snapshots are relevant
-    // here, so map them into the handler's old event shape on the fly.
-    const sub = ctx.bus.subscribe({
-        name: 'progress-events-subscriber',
-        receive(msg) {
-            if (msg.type === 'envelope') {
-                // Synthesize a coarse "envelope_updated" event for the handler so it
-                // still has a reason to refresh its progress signal.
-                handler({ event: 'envelope_updated', reason: msg.reason });
-            }
-        },
-    });
-    return () => { sub(); };
-}
-//# sourceMappingURL=progress-events-subscriber.js.map

package/dist/bounded-execution/progress-events-subscriber.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"progress-events-subscriber.js","sourceRoot":"","sources":["../../src/bounded-execution/progress-events-subscriber.ts"],"names":[],"mappings":"AAiCA,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AACrC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC,CAAC;AAE5E,MAAM,UAAU,6BAA6B,CAC3C,GAAoC;IAEpC,MAAM,OAAO,GAAG,CAAC,KAA8B,EAAE,EAAE;QACjD,MAAM,SAAS,GAAG,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,IAAI,CAAC,SAAS;YAAE,OAAO;QAEvB,6DAA6D;QAC7D,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,GAAG,CAAC,OAAO;YAAE,OAAO;QAC1E,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,GAAG,CAAC,SAAS;YAAE,OAAO;QAEhF,QAAQ,SAAS,EAAE,CAAC;YAClB,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpE,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,GAAG,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;gBACzD,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBAC9B,OAAO;YACT,CAAC;YACD,KAAK,yBAAyB,CAAC,CAAC,CAAC;gBAC/B,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBAC9B,OAAO;YACT,CAAC;YACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,GAAG,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;gBAC9B,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBAC9B,OAAO;YACT,CAAC;YACD,KAAK,sBAAsB,CAAC;YAC5B,KAAK,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBAC9B,OAAO;YACT,CAAC;YACD,KAAK,qBAAqB,CAAC;YAC3B,KAAK,oBAAoB,CAAC,CAAC,CAAC;gBAC1B,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBAC7B,OAAO;YACT,CAAC;YACD;gBACE,OAAO;QACX,CAAC;IACH,CAAC,CAAC;IAEF,yEAAyE;IACzE,2EAA2E;IAC3E,mEAAmE;IACnE,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC;QAC5B,IAAI,EAAE,4BAA4B;QAClC,OAAO,CAAC,GAAG;YACT,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC5B,qEAAqE;gBACrE,qDAAqD;gBACrD,OAAO,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;KACF,CAAC,CAAC;IACH,OAAO,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AAC1B,CAAC"}

package/dist/bounded-execution/progress-watchdog.d.ts

@@ -1,43 +0,0 @@
-import type { LifecycleState } from '../lifecycle/stage-plan-types.js';
-export interface ProgressWatchdogConfig {
-    enabled: boolean;
-    thrashTurns: number;
-    thrashWallClockMs: number;
-    thrashSoftWallClockMs: number;
-}
-export interface ProgressWatchdogContext {
-    state: LifecycleState;
-    controller: AbortController;
-    emit: (event: Record<string, unknown>) => void;
-    config: ProgressWatchdogConfig;
-    taskIndex: number;
-    batchId?: string;
-    /** State the watchdog mutates: `fired` so post-hoc code knows the abort came from us. */
-    state2: {
-        fired: boolean;
-    };
-}
-/**
- * Starts the progress watchdog. Returns a disposer that MUST be called in a
- * finally{} block. Mirrors startStallWatchdog(): same shape, single function
- * call, returns cleanup. The watchdog polls on a setInterval; when conditions
- * trip, it fires `controller.abort()` to interrupt the in-flight session.send().
- *
- * Post-hoc signals (turn-count thrash detection and scope-violation analysis)
- * are handled by recordPostHocSignals() below, called AFTER session.send()
- * returns. They mutate state for the annotator to consume.
- */
-export declare function startProgressWatchdog(ctx: ProgressWatchdogContext): () => void;
-/**
- * Post-hoc finalization called AFTER session.send() returns. Three things:
- *
- * 1. Turn-count thrash detection (since we can't observe turns mid-flight).
- *    If turns > thrashTurns AND real diff is empty AND watchdog didn't already
- *    trip mid-flight, mark state.thrashingDetected = true so the annotator
- *    surfaces it. No abort (the session already finished); this is informative.
- * 2. Scope-violation analysis. Compute out-of-scope files from the final diff
- *    against declared filePaths; populate state.scopeViolations[].
- * 3. Emit observability events for both.
- */
-export declare function recordPostHocSignals(state: LifecycleState, turnsUsed: number, config: ProgressWatchdogConfig, emit: (event: Record<string, unknown>) => void, taskIndex: number, batchId?: string): Promise<void>;
-//# sourceMappingURL=progress-watchdog.d.ts.map

package/dist/bounded-execution/progress-watchdog.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"progress-watchdog.d.ts","sourceRoot":"","sources":["../../src/bounded-execution/progress-watchdog.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAEvE,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,cAAc,CAAC;IACtB,UAAU,EAAE,eAAe,CAAC;IAC5B,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC;IAC/C,MAAM,EAAE,sBAAsB,CAAC;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,yFAAyF;IACzF,MAAM,EAAE;QAAE,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC;CAC5B;AAiBD;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,uBAAuB,GAAG,MAAM,IAAI,CAwF9E;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,sBAAsB,EAC9B,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,EAC9C,SAAS,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE,MAAM,GACf,OAAO,CAAC,IAAI,CAAC,CAqCf"}

package/dist/bounded-execution/progress-watchdog.js

@@ -1,170 +0,0 @@
-// packages/core/src/bounded-execution/progress-watchdog.ts
-import { spawn } from 'node:child_process';
-import { getRealFilesChanged } from './real-diff.js';
-import { normalizeScopeEntry, isInScope } from './scope-match.js';
-async function gitDiffNameOnly(cwd, preSha) {
-    return new Promise((resolve) => {
-        let out = '';
-        let settled = false;
-        const done = (v) => { if (!settled) {
-            settled = true;
-            resolve(v);
-        } };
-        const child = spawn('git', ['diff', '--name-only', `${preSha}..`], { cwd, stdio: ['ignore', 'pipe', 'pipe'], windowsHide: true });
-        child.stdout.on('data', (b) => { out += b.toString('utf8'); });
-        child.on('error', () => done([]));
-        child.on('exit', (code) => {
-            if (code !== 0) {
-                done([]);
-                return;
-            }
-            done(out.split('\n').filter(Boolean));
-        });
-    });
-}
-/**
- * Starts the progress watchdog. Returns a disposer that MUST be called in a
- * finally{} block. Mirrors startStallWatchdog(): same shape, single function
- * call, returns cleanup. The watchdog polls on a setInterval; when conditions
- * trip, it fires `controller.abort()` to interrupt the in-flight session.send().
- *
- * Post-hoc signals (turn-count thrash detection and scope-violation analysis)
- * are handled by recordPostHocSignals() below, called AFTER session.send()
- * returns. They mutate state for the annotator to consume.
- */
-export function startProgressWatchdog(ctx) {
-    const ts = () => new Date().toISOString();
-    const meta = {
-        ...(ctx.batchId !== undefined && { batchId: ctx.batchId }),
-        taskIndex: ctx.taskIndex,
-    };
-    // Three skip conditions evaluated once at arm:
-    if (!ctx.config.enabled) {
-        ctx.emit({ event: 'progress_watchdog_skipped_disabled', ts: ts(), reason: 'config_disabled', ...meta });
-        return () => undefined;
-    }
-    if (ctx.state.toolCategory !== 'artifact_producing') {
-        return () => undefined; // silent no-op for read-only routes
-    }
-    if (!ctx.state.preTaskHeadSha || !ctx.state.preTaskUntrackedFiles) {
-        ctx.emit({ event: 'progress_watchdog_skipped_non_git', ts: ts(), reason: 'non_git_cwd', ...meta });
-        return () => undefined;
-    }
-    ctx.emit({ event: 'progress_watchdog_armed', ts: ts(), toolCategory: ctx.state.toolCategory, ...meta });
-    const startedAtMs = Date.now();
-    let warned = false;
-    // Poll interval clamped to [5s, 30s]. Coarser than stall-watchdog's [1s, 5s]
-    // because git diff is heavier than just checking idle time. Total cost: a
-    // few git invocations per task — negligible.
-    const pollIntervalMs = Math.min(30_000, Math.max(5_000, Math.floor(ctx.config.thrashWallClockMs / 60)));
-    let pollInFlight = false;
-    const interval = setInterval(() => {
-        if (ctx.state2.fired)
-            return;
-        if (ctx.controller.signal.aborted) {
-            ctx.state2.fired = true;
-            return;
-        }
-        const wallClockMs = Date.now() - startedAtMs;
-        // Cheap pre-check: only call git when we're past the soft threshold (no
-        // point grepping git every 30s during the first few minutes of a task).
-        if (wallClockMs < ctx.config.thrashSoftWallClockMs)
-            return;
-        if (pollInFlight)
-            return; // skip tick if previous diff still running
-        pollInFlight = true;
-        void (async () => {
-            try {
-                const cwd = ctx.state.cwd ?? '';
-                const preSha = ctx.state.preTaskHeadSha;
-                const files = await gitDiffNameOnly(cwd, preSha);
-                const diffEmpty = files.length === 0;
-                if (!diffEmpty)
-                    return; // diff is non-empty; not thrashing
-                // Signal 2: soft warn (fires once per task)
-                if (!warned && wallClockMs >= ctx.config.thrashSoftWallClockMs) {
-                    warned = true;
-                    ctx.emit({ event: 'progress_watchdog_warn', ts: ts(), wallClockMs, ...meta });
-                }
-                // Signal 1: hard thrash — wall-clock exceeded + diff still empty → abort
-                if (wallClockMs >= ctx.config.thrashWallClockMs) {
-                    ctx.state2.fired = true;
-                    ctx.state.thrashingDetected = true;
-                    ctx.state.preStopReason = 'thrashing';
-                    ctx.controller.abort();
-                    ctx.emit({
-                        event: 'progress_watchdog_fired_thrash',
-                        ts: ts(),
-                        wallClockMs,
-                        threshold: 'wallclock',
-                        ...meta,
-                    });
-                }
-            }
-            catch {
-                // non-fatal: continue polling
-            }
-            finally {
-                pollInFlight = false;
-            }
-        })();
-    }, pollIntervalMs);
-    return () => {
-        clearInterval(interval);
-        ctx.emit({
-            event: 'progress_watchdog_disarmed',
-            ts: ts(),
-            reason: ctx.state2.fired ? 'thrash' : 'normal',
-            ...meta,
-        });
-    };
-}
-/**
- * Post-hoc finalization called AFTER session.send() returns. Three things:
- *
- * 1. Turn-count thrash detection (since we can't observe turns mid-flight).
- *    If turns > thrashTurns AND real diff is empty AND watchdog didn't already
- *    trip mid-flight, mark state.thrashingDetected = true so the annotator
- *    surfaces it. No abort (the session already finished); this is informative.
- * 2. Scope-violation analysis. Compute out-of-scope files from the final diff
- *    against declared filePaths; populate state.scopeViolations[].
- * 3. Emit observability events for both.
- */
-export async function recordPostHocSignals(state, turnsUsed, config, emit, taskIndex, batchId) {
-    if (!config.enabled)
-        return;
-    if (state.toolCategory !== 'artifact_producing')
-        return;
-    if (!state.preTaskHeadSha || !state.preTaskUntrackedFiles)
-        return;
-    const meta = {
-        ...(batchId !== undefined && { batchId }),
-        taskIndex,
-    };
-    const ts = () => new Date().toISOString();
-    const realFiles = await getRealFilesChanged(state);
-    if (realFiles.source !== 'git_diff')
-        return;
-    // (1) Post-hoc turn-count thrash (only if watchdog didn't already trip)
-    if (!state.thrashingDetected && turnsUsed > config.thrashTurns && realFiles.files.length === 0) {
-        state.thrashingDetected = true;
-        emit({
-            event: 'progress_watchdog_fired_thrash',
-            ts: ts(),
-            turnsUsed,
-            threshold: 'turns_post_hoc',
-            ...meta,
-        });
-    }
-    // (2) Scope-violation analysis
-    const taskSpec = state.task;
-    const declaredScope = (taskSpec?.filePaths ?? []).map((entry) => normalizeScopeEntry(state.cwd ?? '', entry));
-    if (declaredScope.length > 0 && realFiles.files.length > 0) {
-        const violations = realFiles.files.filter((f) => !isInScope(f, declaredScope));
-        if (violations.length > 0) {
-            state.scopeViolations = violations;
-            emit({ event: 'progress_watchdog_scope_violation', ts: ts(), outOfScope: violations, ...meta });
-        }
-    }
-}
-//# sourceMappingURL=progress-watchdog.js.map

package/dist/bounded-execution/progress-watchdog.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"progress-watchdog.js","sourceRoot":"","sources":["../../src/bounded-execution/progress-watchdog.ts"],"names":[],"mappings":"AAAA,2DAA2D;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,SAAS,EAA6B,MAAM,kBAAkB,CAAC;AAqB7F,KAAK,UAAU,eAAe,CAAC,GAAW,EAAE,MAAc;IACxD,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAC7B,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,MAAM,IAAI,GAAG,CAAC,CAAW,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC;YAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC,CAAC,CAAC,CAAC;QAChF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QAClI,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,GAAG,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;YACxB,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;gBAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAAC,OAAO;YAAC,CAAC;YACrC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAA4B;IAChE,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC1C,MAAM,IAAI,GAAG;QACX,GAAG,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;QAC1D,SAAS,EAAE,GAAG,CAAC,SAAS;KACzB,CAAC;IAEF,+CAA+C;IAC/C,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACxB,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,oCAAoC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,iBAAiB,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;QACxG,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC;IACzB,CAAC;IACD,IAAI,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,oBAAoB,EAAE,CAAC;QACpD,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC,CAAQ,oCAAoC;IACrE,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,qBAAqB,EAAE,CAAC;QAClE,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,mCAAmC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;QACnG,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC;IACzB,CAAC;IAED,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,yBAAyB,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;IACxG,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC/B,IAAI,MAAM,GAAG,KAAK,CAAC;IAEnB,6EAA6E;IAC7E,0EAA0E;IAC1E,6CAA6C;IAC7C,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,iBAAiB,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAExG,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE;QAChC,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK;YAAE,OAAO;QAC7B,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YAClC,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC;YACxB,OAAO;QACT,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,WAAW,CAAC;QAC7C,wEAAwE;QACxE,wEAAwE;QACxE,IAAI,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,qBAAqB;YAAE,OAAO;QAE3D,IAAI,YAAY;YAAE,OAAO,CAAU,2CAA2C;QAC9E,YAAY,GAAG,IAAI,CAAC;QACpB,KAAK,CAAC,KAAK,IAAI,EAAE;YACf,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC;gBAChC,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,cAAe,CAAC;gBACzC,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;gBACjD,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;gBACrC,IAAI,CAAC,SAAS;oBAAE,OAAO,CAAQ,mCAAmC;gBAElE,4CAA4C;gBAC5C,IAAI,CAAC,MAAM,IAAI,WAAW,IAAI,GAAG,CAAC,MAAM,CAAC,qBAAqB,EAAE,CAAC;oBAC/D,MAAM,GAAG,IAAI,CAAC;oBACd,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,wBAAwB,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;gBAChF,CAAC;gBAED,yEAAyE;gBACzE,IAAI,WAAW,IAAI,GAAG,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC;oBAChD,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC;oBACxB,GAAG,CAAC,KAAK,CAAC,iBAAiB,GAAG,IAAI,CAAC;oBACnC,GAAG,CAAC,KAAK,CAAC,aAAa,GAAG,WAAW,CAAC;oBACtC,GAAG,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;oBACvB,GAAG,CAAC,IAAI,CAAC;wBACP,KAAK,EAAE,gCAAgC;wBACvC,EAAE,EAAE,EAAE,EAAE;wBACR,WAAW;wBACX,SAAS,EAAE,WAAW;wBACtB,GAAG,IAAI;qBACR,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,8BAA8B;YAChC,CAAC;oBAAS,CAAC;gBACT,YAAY,GAAG,KAAK,CAAC;YACvB,CAAC;QACH,CAAC,CAAC,EAAE,CAAC;IACP,CAAC,EAAE,cAAc,CAAC,CAAC;IAEnB,OAAO,GAAG,EAAE;QACV,aAAa,CAAC,QAAQ,CAAC,CAAC;QACxB,GAAG,CAAC,IAAI,CAAC;YACP,KAAK,EAAE,4BAA4B;YACnC,EAAE,EAAE,EAAE,EAAE;YACR,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;YAC9C,GAAG,IAAI;SACR,CAAC,CAAC;IACL,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,KAAqB,EACrB,SAAiB,EACjB,MAA8B,EAC9B,IAA8C,EAC9C,SAAiB,EACjB,OAAgB;IAEhB,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO;IAC5B,IAAI,KAAK,CAAC,YAAY,KAAK,oBAAoB;QAAE,OAAO;IACxD,IAAI,CAAC,KAAK,CAAC,cAAc,IAAI,CAAC,KAAK,CAAC,qBAAqB;QAAE,OAAO;IAElE,MAAM,IAAI,GAAG;QACX,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC;QACzC,SAAS;KACV,CAAC;IACF,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAE1C,MAAM,SAAS,GAAG,MAAM,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,SAAS,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO;IAE5C,wEAAwE;IACxE,IAAI,CAAC,KAAK,CAAC,iBAAiB,IAAI,SAAS,GAAG,MAAM,CAAC,WAAW,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/F,KAAK,CAAC,iBAAiB,GAAG,IAAI,CAAC;QAC/B,IAAI,CAAC;YACH,KAAK,EAAE,gCAAgC;YACvC,EAAE,EAAE,EAAE,EAAE;YACR,SAAS;YACT,SAAS,EAAE,gBAAgB;YAC3B,GAAG,IAAI;SACR,CAAC,CAAC;IACL,CAAC;IAED,+BAA+B;IAC/B,MAAM,QAAQ,GAAG,KAAK,CAAC,IAA4C,CAAC;IACpE,MAAM,aAAa,GACjB,CAAC,QAAQ,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,GAAG,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1F,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC;QAC/E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,eAAe,GAAG,UAAU,CAAC;YACnC,IAAI,CAAC,EAAE,KAAK,EAAE,mCAAmC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;QAClG,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/bounded-execution/real-diff.d.ts

@@ -1,17 +0,0 @@
-export interface RealFilesChanged {
-    files: string[];
-    source: 'git_diff' | 'self_report' | 'git_error';
-}
-/** Structural subset of LifecycleState that getRealFilesChanged reads. Declared
- *  here so this substrate-layer git primitive carries no dependency on the
- *  lifecycle/pipeline layer (enforced by .dependency-cruiser.cjs's
- *  no-substrate-to-pipeline rule). LifecycleState satisfies it structurally. */
-export interface RealDiffInputs {
-    cwd?: string;
-    executionContext?: unknown;
-    preTaskHeadSha?: string;
-    preTaskUntrackedFiles?: Set<string>;
-    lastRunResult?: unknown;
-}
-export declare function getRealFilesChanged(state: RealDiffInputs): Promise<RealFilesChanged>;
-//# sourceMappingURL=real-diff.d.ts.map

package/dist/bounded-execution/real-diff.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"real-diff.d.ts","sourceRoot":"","sources":["../../src/bounded-execution/real-diff.ts"],"names":[],"mappings":"AAcA,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,UAAU,GAAG,aAAa,GAAG,WAAW,CAAC;CAClD;AAED;;;gFAGgF;AAChF,MAAM,WAAW,cAAc;IAC7B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,qBAAqB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAED,wBAAsB,mBAAmB,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAiD1F"}

package/dist/bounded-execution/real-diff.js

@@ -1,59 +0,0 @@
-// Sub-project A: filesChanged from real `git diff`, not worker self-report.
-//
-// Three sources, with explicit discriminator:
-// - `git_diff`   — Authoritative. Used for commit decisions, telemetry counts,
-//                  watchdog signals.
-// - `self_report` — Non-git cwd. Used for telemetry counts ONLY. Watchdog
-//                  signals 1, 2, 3 are all DISABLED in this mode.
-// - `git_error`  — Git work-tree exists but a git invocation failed. `files`
-//                  is the empty array; nothing is fabricated from self-report.
-//                  Commit handler treats as `no_diff` and skips.
-import { spawnSync } from 'node:child_process';
-import { join } from 'node:path';
-export async function getRealFilesChanged(state) {
-    // Defense in depth: prefer state.cwd, fall back to executionContext.cwd —
-    // production wires it on the latter. Without this the helper goes inert
-    // (self_report) and the git-truth safety net never engages.
-    const cwd = state.cwd ?? state.executionContext?.cwd;
-    const preSha = state.preTaskHeadSha;
-    const preUntracked = state.preTaskUntrackedFiles;
-    if (!cwd || !preSha || !preUntracked) {
-        const selfReport = (state.lastRunResult?.filesChanged) ?? [];
-        return { files: selfReport, source: 'self_report' };
-    }
-    try {
-        // `git diff <sha>` (no `..`) compares working tree to <sha>. Includes both
-        // staged and unstaged changes — what we want for "files touched since task
-        // entry". `git diff <sha>..` (with `..`) would only diff committed changes.
-        const diffResult = spawnSync('git', ['diff', '--name-only', preSha], {
-            cwd,
-            encoding: 'utf8',
-            windowsHide: true,
-        });
-        if (diffResult.status !== 0) {
-            return { files: [], source: 'git_error' };
-        }
-        const diffFiles = diffResult.stdout
-            .split('\n')
-            .filter((line) => line.length > 0)
-            .map((rel) => join(cwd, rel));
-        const lsResult = spawnSync('git', ['ls-files', '--others', '--exclude-standard'], {
-            cwd,
-            encoding: 'utf8',
-            windowsHide: true,
-        });
-        if (lsResult.status !== 0) {
-            return { files: [], source: 'git_error' };
-        }
-        const currentUntracked = lsResult.stdout
-            .split('\n')
-            .filter((line) => line.length > 0)
-            .map((rel) => join(cwd, rel));
-        const newUntracked = currentUntracked.filter((p) => !preUntracked.has(p));
-        return { files: [...diffFiles, ...newUntracked], source: 'git_diff' };
-    }
-    catch {
-        return { files: [], source: 'git_error' };
-    }
-}
-//# sourceMappingURL=real-diff.js.map

package/dist/bounded-execution/real-diff.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"real-diff.js","sourceRoot":"","sources":["../../src/bounded-execution/real-diff.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,EAAE;AACF,8CAA8C;AAC9C,+EAA+E;AAC/E,qCAAqC;AACrC,0EAA0E;AAC1E,kEAAkE;AAClE,6EAA6E;AAC7E,+EAA+E;AAC/E,iEAAiE;AAEjE,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAmBjC,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,KAAqB;IAC7D,0EAA0E;IAC1E,wEAAwE;IACxE,4DAA4D;IAC5D,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,IAAK,KAAK,CAAC,gBAAiD,EAAE,GAAG,CAAC;IACvF,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAAC;IACpC,MAAM,YAAY,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAEjD,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;QACrC,MAAM,UAAU,GACd,CAAE,KAAK,CAAC,aAAyD,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC;QACzF,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IACtD,CAAC;IAED,IAAI,CAAC;QACH,2EAA2E;QAC3E,2EAA2E;QAC3E,4EAA4E;QAC5E,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,EAAE;YACnE,GAAG;YACH,QAAQ,EAAE,MAAM;YAChB,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;QAC5C,CAAC;QACD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM;aAChC,KAAK,CAAC,IAAI,CAAC;aACX,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;aACjC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAEhC,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,oBAAoB,CAAC,EAAE;YAChF,GAAG;YACH,QAAQ,EAAE,MAAM;YAChB,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;QAC5C,CAAC;QACD,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM;aACrC,KAAK,CAAC,IAAI,CAAC;aACX,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;aACjC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChC,MAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAE1E,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,EAAE,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IACxE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IAC5C,CAAC;AACH,CAAC"}

package/dist/bounded-execution/scope-match.d.ts

@@ -1,7 +0,0 @@
-export interface NormalizedScopeEntry {
-    absPath: string;
-    kind: 'directory' | 'file';
-}
-export declare function normalizeScopeEntry(cwd: string, entry: string): NormalizedScopeEntry;
-export declare function isInScope(filePath: string, scope: NormalizedScopeEntry[]): boolean;
-//# sourceMappingURL=scope-match.d.ts.map

package/dist/bounded-execution/scope-match.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"scope-match.d.ts","sourceRoot":"","sources":["../../src/bounded-execution/scope-match.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,WAAW,GAAG,MAAM,CAAC;CAC5B;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,oBAAoB,CAQpF;AAED,wBAAgB,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,oBAAoB,EAAE,GAAG,OAAO,CAWlF"}