@eir-labs/coltrane 0.23.1 → 0.24.1

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.23.1";
+export declare const COLTRANE_VERSION = "0.24.1";
 /**
  * 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.23.1";
+export const COLTRANE_VERSION = "0.24.1";
 /**
  * The commit this engine checkout is sitting on, or null when it can't be determined.
  *

package/institutions/coltrane.json

@@ -24,7 +24,7 @@
         "deontic": "permitted",
         "aim": "open a pull request proposing a change to the institution's main line",
         "conditions": "the change is committed on a non-main branch and its local verify passed",
-        "or_else": "not applicable \u2014 a permission, not an obligation",
+        "or_else": "not applicable — a permission, not an obligation",
         "check": {
           "predicate": "(=> (and (is-agent actor) (= action \"open-pr\") (not (= source \"main\"))) allow)",
           "inputs": {
@@ -55,7 +55,7 @@
         "deontic": "permitted",
         "aim": "stand deliberately red between the spec merge and the implementation merge on a change-set branch, off the protected line",
         "conditions": "while the target branch is a change-set branch and is not the protected main line",
-        "or_else": "not applicable \u2014 a permission, not an obligation",
+        "or_else": "not applicable — a permission, not an obligation",
         "check": {
           "predicate": "(=> (not (= target_branch \"main\")) allow)",
           "inputs": {
@@ -65,11 +65,11 @@
         "content_hash": "sha256:f465a9f3e76a5288dd993ef1b8228993feea04a47af8f3c99462cc4edcb238a5"
       },
       {
-        "attributes": "any seated agent performing a coltrane-shaped operation \u2014 composing a standard, writing a typed output, defining an agent, registering a type",
+        "attributes": "any seated agent performing a coltrane-shaped operation — composing a standard, writing a typed output, defining an agent, registering a type",
         "deontic": "forbidden",
         "aim": "perform a coltrane-shaped operation through a built-in file or search surface instead of the MCP surface",
         "conditions": "whenever the operation has a coltrane tool that performs it; reading source and editing engine TypeScript are not coltrane-shaped and are unaffected",
-        "or_else": "the operation is not seen by the genome \u2014 the work does not enter the genome: no content_sha is sealed, no ledger entry is written, no hash updates, so the change is unrecorded however correct its bytes are. Where the seat holds no such grant the surface is absent and the bypass cannot arise; where it does, this is what follows.",
+        "or_else": "the operation is not seen by the genome — the work does not enter the genome: no content_sha is sealed, no ledger entry is written, no hash updates, so the change is unrecorded however correct its bytes are. Where the seat holds no such grant the surface is absent and the bypass cannot arise; where it does, this is what follows.",
         "check": {
           "predicate": "(=> (and (is-agent actor) (= operation \"coltrane-shaped\") (not (= surface \"mcp\"))) deny)",
           "inputs": {
@@ -85,7 +85,7 @@
         "deontic": "forbidden",
         "aim": "write to core_types/ or domain_types/ directly instead of using type_register or type_extend",
         "conditions": "at all times",
-        "or_else": "the type is not registered \u2014 the work does not enter the genome: no content_sha is sealed, no ledger entry is written, no hash updates, so the change is unrecorded however correct its bytes are. Where the seat holds no such grant the surface is absent and the bypass cannot arise; where it does, this is what follows.",
+        "or_else": "the type is not registered — the work does not enter the genome: no content_sha is sealed, no ledger entry is written, no hash updates, so the change is unrecorded however correct its bytes are. Where the seat holds no such grant the surface is absent and the bypass cannot arise; where it does, this is what follows.",
         "check": {
           "predicate": "(=> (and (is-agent actor) (= action \"direct-write\") (= target \"type-dir\")) deny)",
           "inputs": {
@@ -100,8 +100,8 @@
         "attributes": "any seated agent adding an agent definition to the genome",
         "deontic": "forbidden",
         "aim": "add an agent DEFINITION by dropping a file under agents/ instead of using agent_define",
-        "conditions": "for the genome agent-definition surface (agents/*.json). NOT the base-player surface: CLAUDE.md ships Claude Code subagents as markdown under agents/players/<name>.md, and those are files by design \u2014 a law that forbade them would forbid the shipped arrangement.",
-        "or_else": "the agent is not defined \u2014 the work does not enter the genome: no content_sha is sealed, no ledger entry is written, no hash updates, so the change is unrecorded however correct its bytes are. Where the seat holds no such grant the surface is absent and the bypass cannot arise; where it does, this is what follows.",
+        "conditions": "for the genome agent-definition surface (agents/*.json). NOT the base-player surface: CLAUDE.md ships Claude Code subagents as markdown under agents/players/<name>.md, and those are files by design — a law that forbade them would forbid the shipped arrangement.",
+        "or_else": "the agent is not defined — the work does not enter the genome: no content_sha is sealed, no ledger entry is written, no hash updates, so the change is unrecorded however correct its bytes are. Where the seat holds no such grant the surface is absent and the bypass cannot arise; where it does, this is what follows.",
         "check": {
           "predicate": "(=> (and (is-agent actor) (= action \"file-drop\") (= target \"agent-definition\")) deny)",
           "inputs": {
@@ -120,7 +120,7 @@
     {
       "slug": "eir-labs",
       "name": "Eir Labs",
-      "charter": "The organization that develops Coltrane through Coltrane's own governed pipeline. Its charter is to carry every change to the engine and its genome through a reviewed pull request a human governor merges on green continuous integration \u2014 never a direct write to the protected main line. It ships no capability it has not been granted and lands no change its checks have not passed.",
+      "charter": "The organization that develops Coltrane through Coltrane's own governed pipeline. Its charter is to carry every change to the engine and its genome through a reviewed pull request a human governor merges on green continuous integration — never a direct write to the protected main line. It ships no capability it has not been granted and lands no change its checks have not passed.",
       "parent_org": null
     }
   ],
@@ -141,7 +141,7 @@
       "kind": "steve",
       "is_institution": false,
       "skill_slugs": [],
-      "status": "named",
+      "status": "active",
       "named_from_forebear": "blakey-art",
       "auth_user_id": null
     }
@@ -190,7 +190,7 @@
       "role": "human-governor",
       "human": true,
       "function": "JUDGE",
-      "mission": "Hold the merge authority for Coltrane's protected main line. This chair is held by a person, never a model agent: the governor reviews an open pull request and its continuous-integration result and merges it under their own name, or refuses it. Nothing lands on main without this office's yes. The office ships unassigned \u2014 the adopting organization seats a person here as its first governance act.",
+      "mission": "Hold the merge authority for Coltrane's protected main line. This chair is held by a person, never a model agent: the governor reviews an open pull request and its continuous-integration result and merges it under their own name, or refuses it. Nothing lands on main without this office's yes. The office ships unassigned — the adopting organization seats a person here as its first governance act.",
       "required_skills": [],
       "caps": [],
       "obligations": [
@@ -226,7 +226,7 @@
       "name": "Crawford, S.E.S. & Ostrom, E. (1995), \"A Grammar of Institutions\"",
       "domain": "institutional analysis",
       "kind": "work",
-      "what_taken": "The ADICO grammar \u2014 Attribute, Deontic, aIm, Condition, Or-else \u2014 which InstitutionalLawSchema takes as the shape of a law. Cited with a DOI at src/genome_schema.ts:356, the tree's one explicit \"Descends from\" declaration."
+      "what_taken": "The ADICO grammar — Attribute, Deontic, aIm, Condition, Or-else — which InstitutionalLawSchema takes as the shape of a law. Cited with a DOI at src/genome_schema.ts:356, the tree's one explicit \"Descends from\" declaration."
     },
     {
       "slug": "makinson-vandertorre-io-logic",
@@ -234,7 +234,7 @@
       "name": "Makinson, D. & van der Torre, L. (2000), \"Input/Output Logics\"",
       "domain": "deontic logic",
       "kind": "work",
-      "what_taken": "The obligation as a norm-PAIR (condition, consequent) rather than a modal operator over a proposition \u2014 why a law here carries a predicate and an or_else instead of a truth value."
+      "what_taken": "The obligation as a norm-PAIR (condition, consequent) rather than a modal operator over a proposition — why a law here carries a predicate and an or_else instead of a truth value."
     },
     {
       "slug": "xacml-3-decision-model",
@@ -242,7 +242,7 @@
       "name": "OASIS eXtensible Access Control Markup Language (XACML) 3.0",
       "domain": "access control",
       "kind": "work",
-      "what_taken": "The multi-verdict decision algebra \u2014 permit / deny / not-applicable / indeterminate \u2014 that the admissibility result descends from, rather than a boolean. Named in the schema prose WITHOUT a locator: attestation, not archive."
+      "what_taken": "The multi-verdict decision algebra — permit / deny / not-applicable / indeterminate — that the admissibility result descends from, rather than a boolean. Named in the schema prose WITHOUT a locator: attestation, not archive."
     },
     {
       "slug": "gasb-54-encumbrance",
@@ -250,7 +250,7 @@
       "name": "GASB Statement No. 54, Fund Balance Reporting and Governmental Fund Type Definitions",
       "domain": "governmental accounting",
       "kind": "work",
-      "what_taken": "The encumbrance \u2014 a commitment recorded between an appropriation ceiling and an expenditure \u2014 which the committed-work objects (Tour / Booking / Resource) take as the binding middle place. Named in docs/specs/the-binding-middle-place.md WITHOUT a locator: attestation, not archive."
+      "what_taken": "The encumbrance — a commitment recorded between an appropriation ceiling and an expenditure — which the committed-work objects (Tour / Booking / Resource) take as the binding middle place. Named in docs/specs/the-binding-middle-place.md WITHOUT a locator: attestation, not archive."
     },
     {
       "slug": "blakey-art",
@@ -258,7 +258,7 @@
       "name": "Art Blakey",
       "domain": "modern jazz (drums, bandleading)",
       "kind": "musician",
-      "what_taken": "Born 11 October 1919 in Pittsburgh, Pennsylvania; died 16 October 1990 in New York City (Scott DeVeaux/Gary Giddins record the dates; the American National Biography entry is titled \"Blakey, Art (1919-1990), jazz drummer and bandleader\", doi:10.1093/anb/9780198606697.article.1802592, retrieved 2026-08-20). What the BANDLEADER chair takes is the documented practice of running a band as an INSTITUTION THAT OUTLIVES ITS PLAYERS. From 1954 until his death Blakey led the Jazz Messengers through roughly two dozen lineups, seating young players, developing them, and releasing them onward \u2014 Horace Silver, Clifford Brown, Lee Morgan, Wayne Shorter, Freddie Hubbard, Keith Jarrett, Wynton Marsalis among them \u2014 while the band itself persisted as the durable thing. The disposition the chair takes is that of the seat rather than the incumbent: the leader calls the tune, counts it off, seats the players, judges the take, and stops the band when it is wrong, and does not play the horn. Grove Music Online's entry (Lewis Porter, 2003, doi:10.1093/gmo/9781561592630.article.j046400, retrieved 2026-08-20) records the Messengers as the defining vehicle of that practice. Nothing of the man's biography beyond this working disposition is claimed or carried."
+      "what_taken": "Born 11 October 1919 in Pittsburgh, Pennsylvania; died 16 October 1990 in New York City (Scott DeVeaux/Gary Giddins record the dates; the American National Biography entry is titled \"Blakey, Art (1919-1990), jazz drummer and bandleader\", doi:10.1093/anb/9780198606697.article.1802592, retrieved 2026-08-20). What the BANDLEADER chair takes is the documented practice of running a band as an INSTITUTION THAT OUTLIVES ITS PLAYERS. From 1954 until his death Blakey led the Jazz Messengers through roughly two dozen lineups, seating young players, developing them, and releasing them onward — Horace Silver, Clifford Brown, Lee Morgan, Wayne Shorter, Freddie Hubbard, Keith Jarrett, Wynton Marsalis among them — while the band itself persisted as the durable thing. The disposition the chair takes is that of the seat rather than the incumbent: the leader calls the tune, counts it off, seats the players, judges the take, and stops the band when it is wrong, and does not play the horn. Grove Music Online's entry (Lewis Porter, 2003, doi:10.1093/gmo/9781561592630.article.j046400, retrieved 2026-08-20) records the Messengers as the defining vehicle of that practice. Nothing of the man's biography beyond this working disposition is claimed or carried."
     }
   ],
   "lineage_edges": [
@@ -297,7 +297,7 @@
       "source": {
         "evidence_grade": "attestation",
         "locator": "src/genome_schema.ts (AdmissibilityResult)",
-        "note": "named in prose without a doi or url. Under system.coltrane.institutional-model the citation rule refuses a citation carrying neither \u2014 recorded here as an attestation so the gap is visible, never laundered upward to archive"
+        "note": "named in prose without a doi or url. Under system.coltrane.institutional-model the citation rule refuses a citation carrying neither — recorded here as an attestation so the gap is visible, never laundered upward to archive"
       }
     },
     {
@@ -309,7 +309,7 @@
       "source": {
         "evidence_grade": "attestation",
         "locator": "docs/specs/the-binding-middle-place.md",
-        "note": "named in prose without a doi or url. Under system.coltrane.institutional-model the citation rule refuses a citation carrying neither \u2014 recorded here as an attestation so the gap is visible, never laundered upward to archive"
+        "note": "named in prose without a doi or url. Under system.coltrane.institutional-model the citation rule refuses a citation carrying neither — recorded here as an attestation so the gap is visible, never laundered upward to archive"
       }
     },
     {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@eir-labs/coltrane",
-  "version": "0.23.1",
+  "version": "0.24.1",
   "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/falsifier-investigation-v0.json

@@ -0,0 +1,95 @@
+{
+  "slug": "falsifier-investigation-v0",
+  "domain": "engineering",
+  "agent_slugs": [
+    "defect-investigator"
+  ],
+  "phases": [
+    {
+      "name": "reproduce",
+      "intent": "Reproduce the defect deterministically; no investigation proceeds on a guess.",
+      "chairs": [
+        {
+          "role": "reproduce",
+          "agent_slug": "defect-investigator",
+          "depends_on": [],
+          "input_contract": [
+            "defect-report"
+          ],
+          "output_contract": [
+            "reproduction"
+          ],
+          "required_skills": []
+        }
+      ]
+    },
+    {
+      "name": "locate",
+      "intent": "Trace the exact failing call-chain in read code, file:symbol.",
+      "chairs": [
+        {
+          "role": "locate",
+          "agent_slug": "defect-investigator",
+          "depends_on": [
+            "reproduce"
+          ],
+          "input_contract": [
+            "reproduction"
+          ],
+          "output_contract": [
+            "defect-location"
+          ],
+          "required_skills": []
+        }
+      ]
+    },
+    {
+      "name": "root-cause",
+      "intent": "Why-chain to the violated invariant, not the surface symptom.",
+      "chairs": [
+        {
+          "role": "root-cause",
+          "agent_slug": "defect-investigator",
+          "depends_on": [
+            "locate"
+          ],
+          "input_contract": [
+            "defect-location"
+          ],
+          "output_contract": [
+            "root-cause"
+          ],
+          "required_skills": []
+        }
+      ]
+    },
+    {
+      "name": "fix-spec",
+      "intent": "Plan a fix for EVERY swept instance, each RED-first, plus a class-guard test.",
+      "chairs": [
+        {
+          "role": "fix-spec",
+          "agent_slug": "defect-investigator",
+          "depends_on": [
+            "root-cause"
+          ],
+          "input_contract": [
+            "root-cause"
+          ],
+          "output_contract": [
+            "fix-spec"
+          ],
+          "required_skills": []
+        }
+      ]
+    }
+  ],
+  "input_types": [
+    "defect-report"
+  ],
+  "output_types": [
+    "fix-spec"
+  ],
+  "description": "The thin canon investigation standard: when a stated falsifier fires, its investigation is a standing procedure, never left to whoever happens to notice. Reproduce the firing, locate it, find the root cause, and seal a fix-spec to be carried through the RED-first amendment gate. Deliberately NARROW: the class-complete practice (generalize + sweep + class-guard) is tenant law — see defect-investigation-v1 in the coltrane example — and any institution may adopt it through its own gate. Canon carries only the guarantee that a fired falsifier is investigated by procedure.",
+  "status": "active"
+}