concord-engine 0.3.1 → 0.3.2

package/README.md

@@ -20,10 +20,12 @@ parallel run:
 Concord Engine answers it by comparison, never by a model, and refuses the
 second answer at the moment it is written.
 
-[![A real Claude Code session: a refunds feature is split across four workers, two of them settle the error format differently, and the second is refused with the decision already in force, who made it and why.](assets/brag.gif)](https://github.com/harsh-chandak/concord-engine/blob/main/assets/brag.gif)
+[![A real Claude Code session: two workers on a refunds feature settle the error format differently, the second is refused with the decision already in force, who made it and why, and the acceptance checks then run.](assets/brag.gif)](https://github.com/harsh-chandak/concord-engine/blob/main/assets/brag.gif)
 
 <sub>Recorded, not drawn. `brag/record.mjs` runs the real CLI and captures its
-output verbatim; `brag/video.html` only renders what was captured.</sub>
+output verbatim; `brag/video.html` only renders what was captured. The loop
+shows the refusal arc — the full run also writes the contract, binds it and
+briefs four workers first.</sub>
 
 ## What a decision is
 

package/dist/cli.js

@@ -158,7 +158,21 @@ async function main() {
         // decision from the first release while `decide` recorded it silently, so
         // which interface you used decided whether the product's central promise
         // held. --force records anyway, for the deliberate case.
-        const clash = findContradiction(activeDecisions(all), values.kind, values.subject, parseValue(values.value));
+        // A deliberate override is the other way through, and it has to be a real
+        // one: the id must already be in the log. That also stops a decision
+        // naming the id it is about to be given, which superseded it out of force
+        // the moment it was written — "recorded", exit 0, and not in force.
+        if (values.supersedes && !all.some((d) => d.id === values.supersedes)) {
+            console.error(`${red("refused")} --supersedes ${values.supersedes}: no decision has that id.`);
+            console.error(`  \`concord-engine check --json\` lists the ids in force.`);
+            return 1;
+        }
+        // An override replaces what it names, so that decision is no longer in
+        // force to be contradicted. This is the same reading detect() takes
+        // through activeDecisions(), which is why record_decision on the MCP side
+        // never had this bug and `decide` did.
+        const inForce = activeDecisions(all).filter((d) => d.id !== values.supersedes);
+        const clash = findContradiction(inForce, values.kind, values.subject, parseValue(values.value));
         if (clash && !values.force) {
             const spec = kindSpec(values.kind);
             console.error(`${red("refused")} this contradicts a decision already in force.`);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "concord-engine",
-  "version": "0.3.1",
+  "version": "0.3.2",
   "description": "Scale parallelism. Preserve alignment. A fleet of coding agents builds one task in parallel against a spec contract, and a decision that contradicts one already in force is refused \u2014 deterministically, with no model in the decision path.",
   "keywords": [
     "ai-agents",