synergyspec-selfevolving 2.1.7 → 2.1.8

package/dist/commands/self-evolution.js

@@ -423,13 +423,14 @@ function packageHostEdits(editsInput, allowedFiles, currentFiles, group, targetI
     }
     const validated = validateCandidateEdits(editsInput.edits, allowedFiles);
     const oldByPath = new Map(currentFiles.map((f) => [f.relPath.replace(/\\/g, '/'), f.content]));
-    // No-op guard: if every edit's content equals the current file there is
-    // nothing to evolve — surface it as a no-op (placeholder), like the agent path.
-    const changesSomething = validated.some((e) => (oldByPath.get(e.relPath) ?? '') !== e.content);
-    if (!changesSomething) {
+    // No-op guard: package only edits whose content differs from the current
+    // file. If none remain there is nothing to evolve — surface it as a no-op
+    // (placeholder), like the agent path.
+    const changed = validated.filter((e) => (oldByPath.get(e.relPath) ?? '') !== e.content);
+    if (changed.length === 0) {
         throw new EvolvingAgentNoOp();
     }
-    const diffPatch = validated
+    const diffPatch = changed
         .map((e) => renderUnifiedDiff(e.relPath, oldByPath.get(e.relPath) ?? '', e.content))
         .join('\n');
     const rationale = (editsInput.rationale ?? '').trim() ||
@@ -437,9 +438,9 @@ function packageHostEdits(editsInput, allowedFiles, currentFiles, group, targetI
     return {
         targetId,
         diffPatch,
-        changedFiles: validated.map((e) => e.relPath),
+        changedFiles: changed.map((e) => e.relPath),
         rationale,
-        edits: validated,
+        edits: changed,
     };
 }
 /**

package/dist/core/self-evolution/edits-contract.d.ts

@@ -53,6 +53,9 @@ export interface CanonicalProposeOutput {
  * {@link EvolvingAgentOutputInvalid} for any shape / frozen / scope
  * violation. Path traversal and absolute paths are rejected transitively: they
  * can never be a member of `allowedFiles`, so they fail the scope check.
+ * Duplicate relPaths are rejected because full-file replacements have no
+ * stable sequencing semantics; allowing them would let a later entry silently
+ * override an earlier one.
  */
 export declare function validateCandidateEdits(rawEdits: readonly unknown[], allowedFiles: readonly string[]): {
     relPath: string;

package/dist/core/self-evolution/edits-contract.js

@@ -58,6 +58,9 @@ export const CanonicalProposerInvocationError = EvolvingAgentInvocationError;
  * {@link EvolvingAgentOutputInvalid} for any shape / frozen / scope
  * violation. Path traversal and absolute paths are rejected transitively: they
  * can never be a member of `allowedFiles`, so they fail the scope check.
+ * Duplicate relPaths are rejected because full-file replacements have no
+ * stable sequencing semantics; allowing them would let a later entry silently
+ * override an earlier one.
  */
 export function validateCandidateEdits(rawEdits, allowedFiles) {
     if (rawEdits.length === 0) {
@@ -66,6 +69,7 @@ export function validateCandidateEdits(rawEdits, allowedFiles) {
     const allowed = new Set(allowedFiles.map((p) => p.replace(/\\/g, '/')));
     const frozen = new Set(GATE_DEFINING_FILES.map((p) => p.replace(/\\/g, '/')));
     const validated = [];
+    const seen = new Set();
     for (const e of rawEdits) {
         if (!e || typeof e !== 'object') {
             throw new EvolvingAgentOutputInvalid('edit entry must be an object');
@@ -82,6 +86,10 @@ export function validateCandidateEdits(rawEdits, allowedFiles) {
         if (!allowed.has(norm)) {
             throw new EvolvingAgentOutputInvalid(`edit relPath "${relPath}" is outside the target's declared files`);
         }
+        if (seen.has(norm)) {
+            throw new EvolvingAgentOutputInvalid(`edit relPath "${relPath}" appears more than once; combine changes into one full-file content edit`);
+        }
+        seen.add(norm);
         validated.push({ relPath: norm, content });
     }
     return validated;

package/dist/core/self-evolution/evolving-agent.js

@@ -111,6 +111,8 @@ function preludeLines(editBudget) {
         '- Only edit files listed under "CANONICAL TARGET" below. Never invent paths.',
         '- Prefer compact edit operations: `replaceText`, `insertAfter`, or `insertBefore`.',
         '- `replaceText.find` and marker text must match exactly one location in the current file.',
+        '- For `insertAfter`/`insertBefore`, include a non-empty `marker` field and a string `insert` field.',
+        '- Empty `edits` is valid only with a non-empty `refusal`; never emit `{"edits":[]}` alone.',
         '- Include needed newlines inside `replace`/`insert`; the runner will expand the operation locally.',
         '- Legacy `content` full-file replacements are accepted only for small files or true rewrites.',
         '- Do not re-emit a large canonical file just to make a small localized edit.',
@@ -253,6 +255,9 @@ export function parseEvolvingAgentResponse(text) {
         // Empty edits with no refusal reason is a malformed no-op, not a refusal.
         throw new EvolvingAgentNoOp();
     }
+    if (Object.prototype.hasOwnProperty.call(o, 'refusal')) {
+        throw new EvolvingAgentOutputInvalid('refusal is only valid with empty edits; choose either a refusal or a concrete edit');
+    }
     // Concrete-edit shape: validate prediction + edit instruction shapes.
     const prediction = parsePrediction(o.prediction);
     const edits = [];
@@ -339,6 +344,7 @@ function findExactlyOnce(content, needle, description) {
 export function resolveEvolvingAgentEditInstructions(candidate, currentFiles) {
     const currentByPath = new Map(currentFiles.map((f) => [f.relPath.replace(/\\/g, '/'), f.content]));
     const proposedByPath = new Map();
+    const editModeByPath = new Map();
     const order = [];
     const rememberPath = (relPath) => {
         if (!proposedByPath.has(relPath))
@@ -346,6 +352,15 @@ export function resolveEvolvingAgentEditInstructions(candidate, currentFiles) {
     };
     for (const raw of candidate.edits) {
         const relPath = raw.relPath.replace(/\\/g, '/');
+        const mode = 'content' in raw ? 'fullContent' : 'compact';
+        const previousMode = editModeByPath.get(relPath);
+        if (mode === 'fullContent' && previousMode !== undefined) {
+            throw new EvolvingAgentOutputInvalid(`legacy full-file content edit for "${relPath}" cannot be combined with other edits for the same file`);
+        }
+        if (mode === 'compact' && previousMode === 'fullContent') {
+            throw new EvolvingAgentOutputInvalid(`legacy full-file content edit for "${relPath}" cannot be combined with other edits for the same file`);
+        }
+        editModeByPath.set(relPath, mode);
         if ('content' in raw) {
             rememberPath(relPath);
             proposedByPath.set(relPath, raw.content);
@@ -377,6 +392,16 @@ export function resolveEvolvingAgentEditInstructions(candidate, currentFiles) {
         edits: order.map((relPath) => ({ relPath, content: proposedByPath.get(relPath) ?? '' })),
     };
 }
+function dropByteIdenticalEdits(candidate, currentFiles) {
+    const currentByPath = new Map(currentFiles.map((f) => [f.relPath.replace(/\\/g, '/'), f.content]));
+    return {
+        ...candidate,
+        edits: candidate.edits.filter((edit) => {
+            const current = currentByPath.get(edit.relPath.replace(/\\/g, '/'));
+            return current === undefined || current !== edit.content;
+        }),
+    };
+}
 function parsePrediction(raw) {
     if (!raw || typeof raw !== 'object') {
         throw new EvolvingAgentOutputInvalid('a concrete edit requires a `prediction` object {metric, direction, checkBy}');
@@ -613,10 +638,14 @@ export async function runEvolvingAgent(opts) {
                 parsed = response;
                 break;
             }
-            const candidate = resolveEvolvingAgentEditInstructions(response, currentFiles);
+            const resolved = resolveEvolvingAgentEditInstructions(response, currentFiles);
             // Static-shape edit: validate scope-to-target + frozen freeze here so a
             // bad path is a REPAIRABLE failure (the evolving agent's repair contract).
-            validateCandidateEdits(candidate.edits, allowedFiles);
+            validateCandidateEdits(resolved.edits, allowedFiles);
+            const candidate = dropByteIdenticalEdits(resolved, currentFiles);
+            if (candidate.edits.length === 0) {
+                throw new EvolvingAgentOutputInvalid('edit makes no changes against the current policy head - emit a refusal or a real bounded edit');
+            }
             // ≤ L budget (repairable).
             const changed = countChangedLines(candidate.edits, currentFiles);
             if (changed > editBudget) {
@@ -656,7 +685,8 @@ export async function runEvolvingAgent(opts) {
             break;
         }
         catch (err) {
-            if (err instanceof EvolvingAgentOutputInvalid && attempt < maxRepairAttempts) {
+            if ((err instanceof EvolvingAgentOutputInvalid || err instanceof EvolvingAgentNoOp) &&
+                attempt < maxRepairAttempts) {
                 feedback = gateFeedback(err.message);
                 continue;
             }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "synergyspec-selfevolving",
-  "version": "2.1.7",
+  "version": "2.1.8",
   "description": "AI-native system for spec-driven development",
   "keywords": [
     "synergyspec-selfevolving",