@eir-labs/coltrane 0.14.1 → 0.14.2

package/agents/change-verifier.json

@@ -13,7 +13,7 @@
   ],
   "domain": "software-change",
   "identity": "You are the change-verifier — the verify seat of the governed dev loop, and you do not ARGUE that a change is correct, you RUN it. The implementer has already written the change into the working tree; there is nothing to apply. You build and run the checks the plan fixed, and your verdict is whatever the run says and nothing more. You exist to close a specific hole: the older verify seat reasoned about whether checks would pass instead of executing them. You hold the seam that the seat which builds a change cannot be the seat that clears it — and you make that clearance an executed fact. A criterion is met only when a real test asserted it and that test went green in this run; anything you could not execute you report as unverified, never as pass; and you report a red run verbatim, never softened.",
-  "method": "1. Read the change-plan and confirm which checks the change commits to: the suite it names (npm run verify) and, where the plan scopes a subset, the targeted tests for exactly the touched files. The implementer has already written the change into the working tree — the change is on disk, there is nothing to apply.\n2. RUN those checks against the working tree. Capture the real exit code, the pass/fail counts, and the failing test names — from the run, not from reading the diff. If the build itself fails to compile, that is a failing verdict: report the compiler output verbatim.\n3. Score each acceptance criterion against the run that just executed: a criterion is met only if a real test asserted it and that test went green. A criterion no test covers is unmet-uncovered; a check you could not execute is reported as unverified. Neither is ever recorded as pass.\n4. Seal the change-verdict from the executed result: pass is true only when the suite is green end to end. List every failing test verbatim (name, message, count) and name any scope drift. Never soften, average, or reframe a red run to pass.",
+  "method": "1. Read the change-plan and confirm which checks the change commits to: the suite it names (npm run verify) and, where the plan scopes a subset, the targeted tests for exactly the touched files. The implementer has already written the change into the working tree — the change is on disk, there is nothing to apply.\n\n2. THE SEALED REDS ARE THE FLOOR, AND THEY ARE CHECKED BEFORE ANYTHING ELSE. Read the red-spec. Its `diffs` carry the law text the drafter sealed, and its `coverage_map` says which law covers which criterion. For EVERY law the red-spec sealed:\n   a. Confirm the law is still PRESENT in the working tree at the path the red-spec names.\n   b. Compare the law's current text against the text sealed in red-spec.diffs. A sealed law that differs is a WEAKENED LAW. Report the exact difference verbatim and FAIL the verdict. This is not a judgement call and not a matter of degree: a red law that was edited on the way to green proves nothing about the change, only about the edit. The builder is permitted to ADD tests and is never permitted to alter a sealed one.\n   c. Confirm the law now PASSES. A sealed red that is still red means the change did not do its job; a sealed red that vanished means it was deleted rather than satisfied. Both fail.\n   Record, per sealed law: present / unmodified / green — three separate observations, each from a tool result, never inferred from the other two.\n\n3. RUN the checks against the working tree. Capture the real exit code, the pass/fail counts, and the failing test names — from the run, not from reading the diff. If the build itself fails to compile, that is a failing verdict: report the compiler output verbatim.\n\n4. Tests the implementer ADDED beyond the sealed set are legitimate and welcome — a builder often discovers a case the drafter could not foresee. Report them as added coverage and hold them to the same bar as any other test: they must be green, and they must not be a restatement of a sealed law with its teeth removed. Added coverage never substitutes for a sealed law; it is only ever additional.\n\n5. Score each acceptance criterion against the run that just executed: a criterion is met only if a real test asserted it and that test went green. A criterion no test covers is unmet-uncovered; a check you could not execute is reported as unverified. Neither is ever recorded as pass.\n\n6. Seal the change-verdict from the executed result: pass is true only when EVERY sealed red is present, unmodified and green, AND the suite is green end to end. List every failing test verbatim (name, message, count), name any sealed law that was altered or removed, and name any scope drift. Never soften, average, or reframe a red run to pass.",
   "constraints": [
     "Ground every claim in your inputs or a tool result from this run; mark anything else as unverified rather than asserting it.",
     "If your inputs are insufficient for the task, say so in the output (a caveat field or equivalent) — do not fill gaps by invention.",
@@ -21,7 +21,9 @@
     "If you cannot retrieve it, mark it explicitly as unverified (or omit it) and record what you tried.",
     "Record the source locator (tool + path/URL/query) alongside each retrieved fact.",
     "Prefer deterministic checks over reasoning; state which checks actually ran versus what was inferred.",
-    "Report failures verbatim (messages, counts, names), not summaries of them."
+    "Report failures verbatim (messages, counts, names), not summaries of them.",
+    "A law sealed in the red-spec that differs from its sealed text is a weakened law: fail the verdict and quote both versions. Never accept a green that was bought by editing the test.",
+    "A sealed law must be observed present, unmodified, and green as THREE separate tool-grounded observations. Never infer one from another."
   ],
   "behavioral_primitives": [
     "executor",

package/agents/code-implementer.json

@@ -34,6 +34,7 @@
     "Edit(src/**)",
     "Write(docs/**)",
     "Edit(docs/**)",
+    "Write(tests/**)",
     "Bash(git add:*)",
     "Bash(git diff:*)",
     "Bash(git status:*)"

package/dist/src/cli.d.ts

@@ -31,7 +31,7 @@ export interface CliIO {
     /** Injected for tests. Production reads stdin for `--input -`. */
     stdin?: () => string;
 }
-export declare const USAGE = "coltrane 0.14.1\n\n  coltrane validate                     load the genome; exit non-zero on load errors\n  coltrane dispatch <standard>          run a standard\n  coltrane monitor <gig-id>             report a gig's progress\n  coltrane logs <gig-id>                per-chair logs for a gig\n  coltrane abort <gig-id>               stop a running gig\n  coltrane trace <output-id>            walk an output's provenance\n  coltrane simulate <standard>          cost/shape a standard without running it\n  coltrane health                       engine + store health\n  coltrane serve                        run the MCP server on stdio\n  coltrane enqueue <standard>           queue a gig on the LOCAL file queue (no store, no key)\n                                        (env: COLTRANE_QUEUE_DIR \u2014 its absence is the whole\n                                         difference between local and hosted)\n  coltrane work                         claim one queued gig from the org store and run it\n  coltrane work --check                  report whether this box's drain environment is configured\n                                        and exit without claiming (0 ready, 1 not ready)\n                                        (env: COLTRANE_STORE_URL, COLTRANE_STORE_ANON,\n                                         COLTRANE_AGENT_TOKEN; results drain via\n                                         COLTRANE_DRAIN_URL + COLTRANE_DRAIN_KEY;\n                                         checkpoints under COLTRANE_WORKER_CHECKPOINTS,\n                                         default ~/.coltrane/worker-checkpoints;\n                                         exit 0 complete or parked, 1 failed, 3 queue empty)\n\nOptions\n  --input <json|@file|->                dispatch payload; @file reads a file, - reads stdin\n  --depth <skim|standard|deep>          tighten the per-chair turn cap\n  --budget <dollars>                    per-gig ceiling; the run stops when it is gone\n  --reuse                               allow chair-level reuse of prior sealed outputs\n  --resume <gig-id>                     continue a gig that died mid-pipeline\n  --approve <role>=<json|@file>         a human chair's verdict; repeat once per chair\n  --as <name>                           who is approving; sealed as the verdict's author\n  --wait                                block until the run finishes\n  --follow                              poll until the gig reaches a terminal state\n  --direction <upstream|downstream|both>  for trace\n  --json                                print the raw result to stdout\n  --genome <path>                       genome root (default: $COLTRANE_GENOME or cwd)\n  --help, --version\n\nA dispatch that reaches a chair a HUMAN holds parks: it names the waiting chair and exits 0,\nbecause a gig waiting on a person is not a failed gig. Approve it on the resume \u2014\n\n  coltrane dispatch <standard> --resume <gig> \\\n      --approve approve=@verdict.json --as eugene\n\n--input is NOT required on an approve-only resume: when every remaining chair is human the\ncheckpoint's recorded payload stands and the omission inherits it. If you DO pass --input it is\nchecked against the checkpoint, and a disagreement still refuses the resume.\n";
+export declare const USAGE = "coltrane 0.14.2\n\n  coltrane validate                     load the genome; exit non-zero on load errors\n  coltrane dispatch <standard>          run a standard\n  coltrane monitor <gig-id>             report a gig's progress\n  coltrane logs <gig-id>                per-chair logs for a gig\n  coltrane abort <gig-id>               stop a running gig\n  coltrane trace <output-id>            walk an output's provenance\n  coltrane simulate <standard>          cost/shape a standard without running it\n  coltrane health                       engine + store health\n  coltrane serve                        run the MCP server on stdio\n  coltrane enqueue <standard>           queue a gig on the LOCAL file queue (no store, no key)\n                                        (env: COLTRANE_QUEUE_DIR \u2014 its absence is the whole\n                                         difference between local and hosted)\n  coltrane work                         claim one queued gig from the org store and run it\n  coltrane work --check                  report whether this box's drain environment is configured\n                                        and exit without claiming (0 ready, 1 not ready)\n                                        (env: COLTRANE_STORE_URL, COLTRANE_STORE_ANON,\n                                         COLTRANE_AGENT_TOKEN; results drain via\n                                         COLTRANE_DRAIN_URL + COLTRANE_DRAIN_KEY;\n                                         checkpoints under COLTRANE_WORKER_CHECKPOINTS,\n                                         default ~/.coltrane/worker-checkpoints;\n                                         exit 0 complete or parked, 1 failed, 3 queue empty)\n\nOptions\n  --input <json|@file|->                dispatch payload; @file reads a file, - reads stdin\n  --depth <skim|standard|deep>          tighten the per-chair turn cap\n  --budget <dollars>                    per-gig ceiling; the run stops when it is gone\n  --reuse                               allow chair-level reuse of prior sealed outputs\n  --resume <gig-id>                     continue a gig that died mid-pipeline\n  --approve <role>=<json|@file>         a human chair's verdict; repeat once per chair\n  --as <name>                           who is approving; sealed as the verdict's author\n  --wait                                block until the run finishes\n  --follow                              poll until the gig reaches a terminal state\n  --direction <upstream|downstream|both>  for trace\n  --json                                print the raw result to stdout\n  --genome <path>                       genome root (default: $COLTRANE_GENOME or cwd)\n  --help, --version\n\nA dispatch that reaches a chair a HUMAN holds parks: it names the waiting chair and exits 0,\nbecause a gig waiting on a person is not a failed gig. Approve it on the resume \u2014\n\n  coltrane dispatch <standard> --resume <gig> \\\n      --approve approve=@verdict.json --as eugene\n\n--input is NOT required on an approve-only resume: when every remaining chair is human the\ncheckpoint's recorded payload stands and the omission inherits it. If you DO pass --input it is\nchecked against the checkpoint, and a disagreement still refuses the resume.\n";
 interface Parsed {
     cmd: string | undefined;
     positional: string[];

package/dist/src/seal_drill.d.ts

@@ -1,11 +1,4 @@
 import type { Registry } from "./registry.js";
-/**
- * A minimal payload the schema ITSELF describes: required fields filled with the
- * simplest type-conformant values (enum → first member, arrays → one item, objects →
- * their own required subset). If even this cannot seal, no payload can — which is the
- * defect the drill exists to name. Deliberately not a fuzzer: one honest attempt at
- * the schema's own floor.
- */
 export declare function stubForSchema(schema: Record<string, unknown>): unknown;
 export interface SealDrillFailure {
     phase: string;

package/dist/src/seal_drill.js

@@ -12,6 +12,43 @@ import { CANONICAL_CORE_TYPES } from "./canonical_core_types.js";
  * defect the drill exists to name. Deliberately not a fuzzer: one honest attempt at
  * the schema's own floor.
  */
+/**
+ * A short string satisfying `pattern`, or undefined when this drill cannot synthesise one.
+ *
+ * WHY: the stub honoured enum, const and minLength and IGNORED pattern, so `"sss"` was offered
+ * against `(^|\n)[+-]` and the drill declared the type unsealable. That took software-change-pr-v1,
+ * software-change-red-first-v0 and spec-drafting-v1 offline the moment red-spec gained its patch
+ * pattern (30d1b48) — the whole RED-first loop refused at dispatch, for a constraint every real
+ * drafter satisfies on every run.
+ *
+ * Deliberately a CANDIDATE LIST and not a regex inverter: inverting an arbitrary regex is its own
+ * project, and a wrong inversion would be worse than no answer — it would let the drill assert a
+ * type is sealable on the strength of a value no producer would ever write. Candidates cover the
+ * shapes that actually appear in this genome's types (diff markers, dates, hashes, urls, ids). When
+ * none matches, this returns undefined and the caller declines to drill the constraint rather than
+ * condemning the standard — see the pattern-error filter in sealDrill.
+ */
+function stringMatching(pattern, minLength) {
+    let re;
+    try {
+        re = new RegExp(pattern);
+    }
+    catch {
+        return undefined; // an uncompilable pattern is the schema's problem, reported elsewhere
+    }
+    const candidates = [
+        "+", "-", "+a", "-a", "a\n+b", "diff --git a/x b/x\n+added",
+        "a", "A", "0", "1", "ab", "abc", "abc123", "a-b", "a_b", "a.b", "a/b",
+        "2026-01-01", "2026-01-01T00:00:00Z", "a@b.co", "https://example.com",
+        "0".repeat(40), "0".repeat(64), "00000000-0000-4000-8000-000000000000",
+        "s".repeat(Math.max(1, minLength)),
+    ];
+    for (const c of candidates) {
+        if (c.length >= minLength && re.test(c))
+            return c;
+    }
+    return undefined;
+}
 export function stubForSchema(schema) {
     return stubValue(schema, 0);
 }
@@ -26,7 +63,11 @@ function stubValue(s, depth) {
     switch (t) {
         case "string": {
             const min = typeof s["minLength"] === "number" ? s["minLength"] : 1;
-            return "s".repeat(Math.max(1, min));
+            const plain = "s".repeat(Math.max(1, min));
+            const pattern = typeof s["pattern"] === "string" ? s["pattern"] : undefined;
+            if (!pattern)
+                return plain;
+            return stringMatching(pattern, min) ?? plain;
         }
         case "number":
         case "integer":
@@ -128,8 +169,17 @@ export function sealDrill(standard, registry) {
                     if (!floorCheck.valid)
                         errors.push(floorCheck.reason ?? "core substance floor rejected the stub");
                 }
-                if (errors.length > 0)
-                    fail(errors);
+                // A PATTERN IS A CONTENT CONSTRAINT, NOT A STRUCTURAL ONE. This drill exists to catch a
+                // standard that CANNOT seal — an unknown type, a required field with contradictory bounds,
+                // a schema that will not compile. A `pattern` is a rule about what the AGENT writes, and the
+                // agent satisfies it every run; the stub is a synthetic placeholder that was never going to.
+                // Reporting it as "cannot seal" is a FALSE REFUSAL, and this one took the entire RED-first
+                // change pipeline offline (30d1b48 → three standards undispatchable) while every one of them
+                // was in fact perfectly sealable. stringMatching() now satisfies the patterns it can; what it
+                // cannot, the drill declines to judge rather than condemning the standard on.
+                const structural = errors.filter((e) => !/^pattern at /.test(e));
+                if (structural.length > 0)
+                    fail(structural);
             }
         }
     }

package/dist/src/seal_drill.js.map

@@ -1 +1 @@
-{"version":3,"file":"seal_drill.js","sourceRoot":"","sources":["../../src/seal_drill.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,gFAAgF;AAChF,mFAAmF;AACnF,0EAA0E;AAE1E,OAAO,EAAE,UAAU,EAAiB,MAAM,iBAAiB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAGjE;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,MAA+B;IAC3D,OAAO,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,SAAS,CAAC,CAAsC,EAAE,KAAa;IACtE,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IACnC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAAE,OAAQ,CAAC,CAAC,MAAM,CAAe,CAAC,CAAC,CAAC,CAAC;IACjE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,MAAM,CAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,MAAM,CAAwB,CAAC;IACpG,QAAQ,CAAC,EAAE,CAAC;QACV,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,WAAW,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,WAAW,CAAY,CAAC,CAAC,CAAC,CAAC,CAAC;YAChF,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACtC,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,SAAS,CAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,UAAU,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,UAAU,CAAY,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9E,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAwC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACrF,iFAAiF;YACjF,0EAA0E;YAC1E,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,OAAO,CAAC,CAAC,CAAC;YACR,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC;gBAAE,OAAO,MAAM,CAAC;YACvD,MAAM,KAAK,GAAI,CAAC,CAAC,YAAY,CAAyD,IAAI,EAAE,CAAC;YAC7F,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,UAAU,CAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YACjF,MAAM,GAAG,GAA4B,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,QAAQ;gBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAClE,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;AACH,CAAC;AAsBD,MAAM,YAAY,GAAsD,MAAM,CAAC,WAAW,CACxF,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAiC,CAAC,CAAC,CAC/E,CAAC;AAEF,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAQ,UAAgC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC1D,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,SAAS,CAAC,QAA2B,EAAE,QAAkB;IACvE,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,eAAe,IAAI,EAAE,EAAE,CAAC;gBAC/C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,MAAM,IAAI,GAAG,CAAC,MAAgB,EAAE,EAAE,CAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;gBAEpF,IAAI,IAA0B,CAAC;gBAC/B,IAAI,MAA2C,CAAC;gBAChD,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjB,IAAI,GAAG,IAAI,CAAC;oBACZ,0EAA0E;oBAC1E,yEAAyE;oBACzE,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;oBAClC,MAAM,GAAG;wBACP,IAAI,EAAE,QAAQ;wBACd,UAAU,EAAG,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAA6B,IAAI,EAAE;wBACjF,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;qBACnC,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,MAAM,GAAG,QAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;oBACxC,IAAI,CAAC,MAAM,EAAE,CAAC;wBACZ,IAAI,CAAC,CAAC,wBAAwB,IAAI,yCAAyC,CAAC,CAAC,CAAC;wBAC9E,SAAS;oBACX,CAAC;oBACD,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,OAA+B,CAAC;gBAC5F,CAAC;gBAED,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAA4B,CAAC;gBAC9D,8EAA8E;gBAC9E,8EAA8E;gBAC9E,6EAA6E;gBAC7E,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;oBAClC,IAAI,IAAI,EAAE,CAAC;wBACT,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;wBAC3B,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;4BAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC;wBACpG,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;4BAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,CAAe,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;4BAC3E,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,aAAa;gCACnC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACZ,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;oCACxB,CAAC,CAAC,EAAE,GAAI,CAA6B,EAAE,CAAC,IAAI,CAAC,aAAc,CAAC,EAAG,CAA6B,CAAC,IAAI,CAAC,aAAc,CAAC,IAAI,MAAM,EAAE;oCAC7H,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,aAAc,CAAC,EAAE,MAAM,EAAE,CACtC;gCACH,CAAC,CAAC,GAAG,CAAC;wBACV,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,MAAM,MAAM,GAAa,EAAE,CAAC;gBAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClB,6EAA6E;oBAC7E,wEAAwE;oBACxE,oEAAoE;oBACpE,IAAI,CAAC;wBACH,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,IAAI,IAAI,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;wBACtG,IAAI,CAAC,WAAW,CAAC,KAAK;4BAAE,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;oBAC7D,CAAC;oBAAC,OAAO,GAAG,EAAE,CAAC;wBACb,MAAM,CAAC,IAAI,CAAC,4BAA4B,MAAM,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAC9F,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,UAAU,GAAG,cAAc,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;oBACtF,IAAI,CAAC,UAAU,CAAC,KAAK;wBAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,IAAI,wCAAwC,CAAC,CAAC;gBACpG,CAAC;gBACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC;AACxE,CAAC"}
+{"version":3,"file":"seal_drill.js","sourceRoot":"","sources":["../../src/seal_drill.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,gFAAgF;AAChF,mFAAmF;AACnF,0EAA0E;AAE1E,OAAO,EAAE,UAAU,EAAiB,MAAM,iBAAiB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAGjE;;;;;;GAMG;AACH;;;;;;;;;;;;;;;GAeG;AACH,SAAS,cAAc,CAAC,OAAe,EAAE,SAAiB;IACxD,IAAI,EAAU,CAAC;IACf,IAAI,CAAC;QACH,EAAE,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC,CAAC,sEAAsE;IAC1F,CAAC;IACD,MAAM,UAAU,GAAG;QACjB,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,4BAA4B;QAC3D,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;QACrE,YAAY,EAAE,sBAAsB,EAAE,QAAQ,EAAE,qBAAqB;QACrE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,sCAAsC;QACtE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;KACnC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,MAAM,IAAI,SAAS,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAA+B;IAC3D,OAAO,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,SAAS,CAAC,CAAsC,EAAE,KAAa;IACtE,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IACnC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAAE,OAAQ,CAAC,CAAC,MAAM,CAAe,CAAC,CAAC,CAAC,CAAC;IACjE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,MAAM,CAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,MAAM,CAAwB,CAAC;IACpG,QAAQ,CAAC,EAAE,CAAC;QACV,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,WAAW,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,WAAW,CAAY,CAAC,CAAC,CAAC,CAAC,CAAC;YAChF,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3C,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,SAAS,CAAY,CAAC,CAAC,CAAC,SAAS,CAAC;YACxF,IAAI,CAAC,OAAO;gBAAE,OAAO,KAAK,CAAC;YAC3B,OAAO,cAAc,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC;QAC/C,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,SAAS,CAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,UAAU,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,UAAU,CAAY,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9E,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAwC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACrF,iFAAiF;YACjF,0EAA0E;YAC1E,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,OAAO,CAAC,CAAC,CAAC;YACR,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC;gBAAE,OAAO,MAAM,CAAC;YACvD,MAAM,KAAK,GAAI,CAAC,CAAC,YAAY,CAAyD,IAAI,EAAE,CAAC;YAC7F,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,UAAU,CAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YACjF,MAAM,GAAG,GAA4B,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,QAAQ;gBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAClE,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;AACH,CAAC;AAsBD,MAAM,YAAY,GAAsD,MAAM,CAAC,WAAW,CACxF,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAiC,CAAC,CAAC,CAC/E,CAAC;AAEF,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAQ,UAAgC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC1D,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,SAAS,CAAC,QAA2B,EAAE,QAAkB;IACvE,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,eAAe,IAAI,EAAE,EAAE,CAAC;gBAC/C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,MAAM,IAAI,GAAG,CAAC,MAAgB,EAAE,EAAE,CAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;gBAEpF,IAAI,IAA0B,CAAC;gBAC/B,IAAI,MAA2C,CAAC;gBAChD,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjB,IAAI,GAAG,IAAI,CAAC;oBACZ,0EAA0E;oBAC1E,yEAAyE;oBACzE,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;oBAClC,MAAM,GAAG;wBACP,IAAI,EAAE,QAAQ;wBACd,UAAU,EAAG,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAA6B,IAAI,EAAE;wBACjF,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;qBACnC,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,MAAM,GAAG,QAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;oBACxC,IAAI,CAAC,MAAM,EAAE,CAAC;wBACZ,IAAI,CAAC,CAAC,wBAAwB,IAAI,yCAAyC,CAAC,CAAC,CAAC;wBAC9E,SAAS;oBACX,CAAC;oBACD,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,OAA+B,CAAC;gBAC5F,CAAC;gBAED,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAA4B,CAAC;gBAC9D,8EAA8E;gBAC9E,8EAA8E;gBAC9E,6EAA6E;gBAC7E,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;oBAClC,IAAI,IAAI,EAAE,CAAC;wBACT,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;wBAC3B,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;4BAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC;wBACpG,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;4BAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,CAAe,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;4BAC3E,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,aAAa;gCACnC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACZ,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;oCACxB,CAAC,CAAC,EAAE,GAAI,CAA6B,EAAE,CAAC,IAAI,CAAC,aAAc,CAAC,EAAG,CAA6B,CAAC,IAAI,CAAC,aAAc,CAAC,IAAI,MAAM,EAAE;oCAC7H,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,aAAc,CAAC,EAAE,MAAM,EAAE,CACtC;gCACH,CAAC,CAAC,GAAG,CAAC;wBACV,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,MAAM,MAAM,GAAa,EAAE,CAAC;gBAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClB,6EAA6E;oBAC7E,wEAAwE;oBACxE,oEAAoE;oBACpE,IAAI,CAAC;wBACH,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,IAAI,IAAI,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;wBACtG,IAAI,CAAC,WAAW,CAAC,KAAK;4BAAE,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;oBAC7D,CAAC;oBAAC,OAAO,GAAG,EAAE,CAAC;wBACb,MAAM,CAAC,IAAI,CAAC,4BAA4B,MAAM,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAC9F,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,UAAU,GAAG,cAAc,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;oBACtF,IAAI,CAAC,UAAU,CAAC,KAAK;wBAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,IAAI,wCAAwC,CAAC,CAAC;gBACpG,CAAC;gBACD,wFAAwF;gBACxF,2FAA2F;gBAC3F,6FAA6F;gBAC7F,6FAA6F;gBAC7F,2FAA2F;gBAC3F,6FAA6F;gBAC7F,8FAA8F;gBAC9F,8EAA8E;gBAC9E,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC;AACxE,CAAC"}

package/dist/src/version.d.ts

@@ -1,5 +1,5 @@
 /** Engine semver. Keep in lockstep with package.json `version` (enforced by test). */
-export declare const COLTRANE_VERSION = "0.14.1";
+export declare const COLTRANE_VERSION = "0.14.2";
 /**
  * The commit this engine checkout is sitting on, or null when it can't be determined.
  *

package/dist/src/version.js

@@ -17,7 +17,7 @@ import { existsSync, readFileSync, statSync } from "node:fs";
 import { dirname, join, resolve } from "node:path";
 import { fileURLToPath } from "node:url";
 /** Engine semver. Keep in lockstep with package.json `version` (enforced by test). */
-export const COLTRANE_VERSION = "0.14.1";
+export const COLTRANE_VERSION = "0.14.2";
 /**
  * The commit this engine checkout is sitting on, or null when it can't be determined.
  *

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@eir-labs/coltrane",
-  "version": "0.14.1",
+  "version": "0.14.2",
   "description": "A methodology engine \u2014 a typed substrate for defining agents, composing multi-phase standards, dispatching gigs, and sealing every output to a content-addressed ledger. Ships as an MCP server.",
   "type": "module",
   "license": "Apache-2.0",

package/standards/software-change-pr-v1.json

@@ -5,6 +5,7 @@
     "john",
     "miles",
     "bill",
+    "red-spec-drafter",
     "code-implementer",
     "change-verifier",
     "pr-publisher"
@@ -73,6 +74,29 @@
         }
       ]
     },
+    {
+      "name": "draft-laws",
+      "chairs": [
+        {
+          "role": "draft-laws",
+          "agent_slug": "red-spec-drafter",
+          "depends_on": [
+            "plan-change",
+            "frame-change"
+          ],
+          "input_contract": [
+            "change-plan",
+            "change-decision"
+          ],
+          "output_contract": [
+            "red-spec"
+          ],
+          "optional_outputs": [],
+          "required_skills": [],
+          "turn_reserve": 14
+        }
+      ]
+    },
     {
       "name": "create-change",
       "chairs": [
@@ -80,10 +104,12 @@
           "role": "write-change",
           "agent_slug": "code-implementer",
           "depends_on": [
-            "plan-change"
+            "plan-change",
+            "draft-laws"
           ],
           "input_contract": [
-            "change-plan"
+            "change-plan",
+            "red-spec"
           ],
           "output_contract": [
             "change-set"
@@ -101,11 +127,13 @@
           "agent_slug": "change-verifier",
           "depends_on": [
             "plan-change",
-            "write-change"
+            "write-change",
+            "draft-laws"
           ],
           "input_contract": [
             "change-plan",
-            "change-set"
+            "change-set",
+            "red-spec"
           ],
           "output_contract": [
             "change-verdict"
@@ -123,11 +151,13 @@
           "agent_slug": "pr-publisher",
           "depends_on": [
             "write-change",
-            "verify-change"
+            "verify-change",
+            "draft-laws"
           ],
           "input_contract": [
             "change-set",
-            "change-verdict"
+            "change-verdict",
+            "red-spec"
           ],
           "output_contract": [
             "pull-request"
@@ -138,6 +168,7 @@
       ]
     }
   ],
+  "status": "active",
   "input_types": [
     "change-request",
     "change-context"
@@ -147,5 +178,5 @@
     "change-verdict",
     "pull-request"
   ],
-  "description": "The governed dev loop, dispatchable WITH its grounding. Reads context, frames the change, plans it, writes it, verifies by running the checks, and opens a pull request a human lands. `change-context` is declared a seedable input alongside `change-request` (#424 I9): the reading chair's product may arrive from any of four interchangeable producers — a reader, the src/repo_index.ts compiler, a prior standard, or a human — and the runtime's existing seeding seam satisfies a chair's contract from an upstream output OR from the gig payload. A dispatch that already holds a reading need not pay a premium seat to re-derive it; a dispatch that does not, still runs exactly as before."
+  "description": "Governed dev loop, RED-first: context → decision → plan → SEALED RED LAWS → build → verify → PR. draft-laws seats red-spec-drafter (holds tests/**, cannot reach src/) and its sealed red-spec is a required input of write-change, verify-change and publish-pr — so the builder cannot begin before the laws exist, and the verifier checks every sealed law is present, unmodified and green."
 }