@eir-labs/coltrane 0.24.14 → 0.24.15

package/domain_types/pattern-extraction.json

@@ -8,55 +8,125 @@
   "schema": {
     "type": "object",
     "properties": {
-      "input_refs":          { "type": "array", "items": { "type": "string" }, "description": "References to the repo-survey outputs this extraction is derived from." },
-      "user_signature":      { "type": "string", "description": "One-line characterization of the user's working pattern (e.g., 'rapid cross-domain research with TDD-flavored code changes')." },
-
+      "input_refs": {
+        "type": "array",
+        "items": {
+          "type": "string"
+        },
+        "description": "References to the repo-survey outputs this extraction is derived from."
+      },
+      "user_signature": {
+        "type": "string",
+        "description": "One-line characterization of the user's working pattern (e.g., 'rapid cross-domain research with TDD-flavored code changes')."
+      },
       "recurrent_workflows": {
         "type": "array",
         "description": "Observable multi-step sequences the user runs across repos (e.g., 'fetch dataset → run analysis → write results doc → OTS-stamp').",
         "items": {
           "type": "object",
           "properties": {
-            "name":          { "type": "string" },
-            "steps":         { "type": "array", "items": { "type": "string" } },
-            "evidence_repos": { "type": "array", "items": { "type": "string" }, "description": "Which repos exhibit this pattern." },
-            "frequency":     { "type": "string", "enum": ["once", "occasional", "frequent", "dominant"] }
+            "name": {
+              "type": "string"
+            },
+            "steps": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              }
+            },
+            "evidence_repos": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              },
+              "description": "Which repos exhibit this pattern."
+            },
+            "frequency": {
+              "type": "string",
+              "enum": [
+                "once",
+                "occasional",
+                "frequent",
+                "dominant"
+              ]
+            }
           },
-          "required": ["name", "steps", "evidence_repos"]
+          "required": [
+            "name",
+            "steps",
+            "evidence_repos"
+          ]
         }
       },
-
       "agent_like_roles": {
         "type": "array",
         "description": "Implicit roles the user plays (or scripts they've written) that map to coltrane agent shapes.",
         "items": {
           "type": "object",
           "properties": {
-            "role":               { "type": "string" },
-            "implicit_primitives": { "type": "array", "items": { "type": "string" }, "description": "Behavioral primitives this role would map to (analyst, executor, etc.)." },
-            "evidence":           { "type": "string", "description": "What in the surveys suggests this role." }
+            "role": {
+              "type": "string"
+            },
+            "implicit_primitives": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              },
+              "description": "Behavioral primitives this role would map to (analyst, executor, etc.)."
+            },
+            "evidence": {
+              "type": "string",
+              "description": "What in the surveys suggests this role."
+            }
           },
-          "required": ["role", "evidence"]
+          "required": [
+            "role",
+            "evidence"
+          ]
         }
       },
-
       "recurrent_domain_shapes": {
         "type": "array",
         "description": "Data shapes the user repeatedly works with (e.g., 'time-series with channel + bandpass metadata').",
         "items": {
           "type": "object",
           "properties": {
-            "shape_name":   { "type": "string" },
-            "schema_hint":  { "type": "object", "description": "Loose JSON-schema-ish hint, not a binding type definition." },
-            "evidence_repos": { "type": "array", "items": { "type": "string" } }
+            "shape_name": {
+              "type": "string"
+            },
+            "schema_hint": {
+              "type": "object",
+              "description": "Loose JSON-schema-ish hint, not a binding type definition."
+            },
+            "evidence_repos": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              }
+            }
           },
-          "required": ["shape_name", "evidence_repos"]
+          "required": [
+            "shape_name",
+            "evidence_repos"
+          ]
         }
       },
-
-      "confidence_band": { "type": "string", "enum": ["high", "moderate", "low"], "description": "How confident is this read across the survey cohort?" }
+      "confidence_band": {
+        "type": "string",
+        "enum": [
+          "high",
+          "moderate",
+          "low"
+        ],
+        "description": "How confident is this read across the survey cohort?"
+      }
     },
-    "required": ["input_refs", "user_signature", "confidence_band", "claims"]
+    "required": [
+      "input_refs",
+      "user_signature",
+      "confidence_band",
+      "claims"
+    ]
   },
   "required_fields": []
 }

package/domain_types/preview-deployment.json

@@ -8,14 +8,43 @@
   "schema": {
     "type": "object",
     "properties": {
-      "preview_url":   { "type": "string", "description": "The reachable preview URL from POST /v13/deployments (the deployment's url, https-prefixed)." },
-      "commit_sha":    { "type": "string", "description": "The exact commit deployed, sensed from branch HEAD — not read out of the change-set." },
-      "branch":        { "type": "string", "description": "The git branch deployed to the preview target." },
-      "project_id":    { "type": "string", "description": "The Vercel project id (prj_...) the deployment belongs to." },
-      "deployment_id": { "type": "string", "description": "The Vercel deployment id (dpl_...), read later by a promote chair to call the promote API." },
-      "build_status":  { "type": "string", "description": "The last observed Vercel readyState: QUEUED | INITIALIZING | BUILDING | READY | ERROR | CANCELED." },
-      "protection":    { "type": "string", "enum": ["vercel-sso", "supabase-auth", "public"], "description": "How the preview URL is gated. supabase-auth is the phone-reachable mode required at the approval gate." },
-      "inspector_url": { "type": "string", "description": "The Vercel inspector/dashboard URL for the deployment, when the response carried it." }
+      "preview_url": {
+        "type": "string",
+        "description": "The reachable preview URL from POST /v13/deployments (the deployment's url, https-prefixed)."
+      },
+      "commit_sha": {
+        "type": "string",
+        "description": "The exact commit deployed, sensed from branch HEAD — not read out of the change-set."
+      },
+      "branch": {
+        "type": "string",
+        "description": "The git branch deployed to the preview target."
+      },
+      "project_id": {
+        "type": "string",
+        "description": "The Vercel project id (prj_...) the deployment belongs to."
+      },
+      "deployment_id": {
+        "type": "string",
+        "description": "The Vercel deployment id (dpl_...), read later by a promote chair to call the promote API."
+      },
+      "build_status": {
+        "type": "string",
+        "description": "The last observed Vercel readyState: QUEUED | INITIALIZING | BUILDING | READY | ERROR | CANCELED."
+      },
+      "protection": {
+        "type": "string",
+        "enum": [
+          "vercel-sso",
+          "supabase-auth",
+          "public"
+        ],
+        "description": "How the preview URL is gated. supabase-auth is the phone-reachable mode required at the approval gate."
+      },
+      "inspector_url": {
+        "type": "string",
+        "description": "The Vercel inspector/dashboard URL for the deployment, when the response carried it."
+      }
     }
   },
   "required_fields": [

package/domain_types/project-charter.json

@@ -8,14 +8,25 @@
   "schema": {
     "type": "object",
     "properties": {
-      "id": { "type": "string" },
-      "name": { "type": "string" },
+      "id": {
+        "type": "string"
+      },
+      "name": {
+        "type": "string"
+      },
       "use_case": {
         "type": "string",
-        "enum": ["code-changes", "research-briefs", "operations", "mixed", "bare"]
+        "enum": [
+          "code-changes",
+          "research-briefs",
+          "operations",
+          "mixed",
+          "bare"
+        ]
+      },
+      "template": {
+        "type": "string"
       },
-      "template": { "type": "string" },
-
       "scope": {
         "type": "string",
         "description": "What the project will do."
@@ -28,44 +39,76 @@
         "type": "string",
         "description": "What this project is explicitly NOT."
       },
-
       "preseed_agents": {
         "type": "array",
-        "items": { "type": "string" },
+        "items": {
+          "type": "string"
+        },
         "description": "Slugs of agents to ship in the scaffolded .coltrane/agents/."
       },
       "preseed_standards": {
         "type": "array",
-        "items": { "type": "string" },
+        "items": {
+          "type": "string"
+        },
         "description": "Slugs of standards to ship in .coltrane/standards/."
       },
       "preseed_skills": {
         "type": "array",
-        "items": { "type": "string" },
+        "items": {
+          "type": "string"
+        },
         "description": "Slugs of skills to ship in .coltrane/skills/."
       },
       "default_model_tier": {
         "type": "string",
-        "enum": ["economy", "standard", "premium"],
+        "enum": [
+          "economy",
+          "standard",
+          "premium"
+        ],
         "default": "standard"
       },
       "default_code_tool_access": {
         "type": "string",
-        "enum": ["none", "read", "write", "full"],
+        "enum": [
+          "none",
+          "read",
+          "write",
+          "full"
+        ],
         "default": "read"
       },
-
       "outcome": {
-        "type": ["string", "null"],
-        "enum": [null, "completed", "partial", "refined", "aborted", "unverified"],
+        "type": [
+          "string",
+          "null"
+        ],
+        "enum": [
+          null,
+          "completed",
+          "partial",
+          "refined",
+          "aborted",
+          "unverified"
+        ],
         "description": "Set at DELIVER. unverified = outcome cannot be computed."
       },
       "outcome_at": {
-        "type": ["string", "null"],
+        "type": [
+          "string",
+          "null"
+        ],
         "format": "date-time"
       }
     },
-    "required": ["id", "name", "use_case", "scope", "steps"]
+    "required": [
+      "id",
+      "name",
+      "use_case",
+      "scope",
+      "steps"
+    ]
   },
   "required_fields": []
 }

package/domain_types/proof-of-work-contract.json

@@ -0,0 +1,86 @@
+{
+  "slug": "proof-of-work-contract",
+  "version": 1,
+  "extends": "Artifact",
+  "domain": "software-change",
+  "status": "active",
+  "description": "The composed PROOF OF WORK for a work order's reconciliation (WO-F02, Documenso #1917537): the cold map, the hot audit's findings, and a verdict per clause, folded into one contract and written as a sealed output — the engine stamps its content_sha and input_shas, so the contract is content-addressed by construction, never by an agent's own hashing. This is what the sovereign settles against and what a DEFAULT cites: the document that makes 'the work was done' a checkable claim instead of a recollection.",
+  "schema": {
+    "type": "object",
+    "properties": {
+      "work_order_id": {
+        "type": "string",
+        "description": "The chancery_work_order.id this contract reconciles."
+      },
+      "cold_map_ref": {
+        "type": "string",
+        "description": "content_sha (or output id) of the sealed reconciliation-map this contract composes from."
+      },
+      "audit_verdict_ref": {
+        "type": "string",
+        "description": "content_sha (or output id) of the sealed hot-audit change-verdict this contract composes from."
+      },
+      "clause_verdicts": {
+        "type": "array",
+        "minItems": 1,
+        "description": "One verdict per clause of the order — the cold map's row joined with the audit's finding for that clause. Copies only: the composer draws no verdict of its own.",
+        "items": {
+          "type": "object",
+          "properties": {
+            "clause_ref": {
+              "type": "string"
+            },
+            "clause_kind": {
+              "type": "string",
+              "enum": [
+                "article",
+                "terminal",
+                "receipt_due"
+              ]
+            },
+            "receipt_status": {
+              "type": "string",
+              "enum": [
+                "receipted",
+                "absent"
+              ]
+            },
+            "audit_finding": {
+              "type": "string",
+              "description": "The audit's verdict for this clause, verbatim: upheld, refuted (with the refutation), or unaudited (with why — e.g. budget exhausted, receipt absent)."
+            },
+            "evidence_refs": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              },
+              "description": "The citations the finding rests on — output ids, file paths, URLs probed, check names run."
+            }
+          },
+          "required": [
+            "clause_ref",
+            "receipt_status",
+            "audit_finding"
+          ]
+        }
+      },
+      "proposed_state": {
+        "type": "string",
+        "enum": [
+          "satisfied",
+          "defaulted"
+        ],
+        "description": "What the composed evidence supports — a PROPOSAL only. The adjudicator rules on default; only the sovereign, settling at the human seat, records 'satisfied'."
+      }
+    }
+  },
+  "required_fields": [
+    "work_order_id",
+    "cold_map_ref",
+    "audit_verdict_ref",
+    "clause_verdicts",
+    "proposed_state",
+    "input_refs",
+    "content"
+  ]
+}

package/domain_types/reconciliation-map.json

@@ -0,0 +1,90 @@
+{
+  "slug": "reconciliation-map",
+  "version": 1,
+  "extends": "Interpretation",
+  "domain": "software-change",
+  "status": "active",
+  "description": "The COLD MAP of a work order's reconciliation (WO-F02, Documenso #1917537): every clause of the order — each article, each terminal, each receipts_due type — matched deterministically against the receipts actually landed (chancery_work_order_receipt rows and the completed_output_id FK into the sealed output chain). A clause with no receipt is listed ABSENT, never omitted. This is clerical work: no model judgment, no spend against the reconciliation budget — the map restates rows, it does not evaluate them.",
+  "schema": {
+    "type": "object",
+    "properties": {
+      "work_order_id": {
+        "type": "string",
+        "description": "The chancery_work_order.id this map reconciles."
+      },
+      "reconciliation_owner": {
+        "type": "string",
+        "description": "chancery_work_order.reconciliation_owner — who reconciles: the bond's bonded_party or a named agent/chair."
+      },
+      "reconciliation_budget": {
+        "type": "number",
+        "description": "chancery_work_order.reconciliation_budget — the declared heat cap the hot audit must spend within."
+      },
+      "reconciliation_due_at": {
+        "type": "string",
+        "description": "chancery_work_order.reconciliation_due_at (ISO-8601) — the committed date the sweep fires at regardless of any completion signal."
+      },
+      "past_due": {
+        "type": "boolean",
+        "description": "Whether the mapping ran after reconciliation_due_at. Deterministic: map time vs the due timestamp."
+      },
+      "clauses": {
+        "type": "array",
+        "minItems": 1,
+        "description": "One row per clause of the order — every article, terminal, and receipts_due type. Nothing is skipped: an unmatched clause appears with status 'absent'.",
+        "items": {
+          "type": "object",
+          "properties": {
+            "clause_ref": {
+              "type": "string",
+              "description": "Which clause: an article title/index, a terminal role, or a receipts_due type name."
+            },
+            "clause_kind": {
+              "type": "string",
+              "enum": [
+                "article",
+                "terminal",
+                "receipt_due"
+              ]
+            },
+            "receipt_output_ids": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              },
+              "description": "The coltrane_outputs ids (via chancery_work_order_receipt.output_id or completed_output_id) matched to this clause. Empty when absent."
+            },
+            "status": {
+              "type": "string",
+              "enum": [
+                "receipted",
+                "absent"
+              ],
+              "description": "receipted: at least one sealed receipt matches. absent: no receipt exists — stated plainly, never inferred away."
+            },
+            "locator": {
+              "type": "string",
+              "description": "Where the matching rows were read from (table/view + key), so the map is re-runnable."
+            }
+          },
+          "required": [
+            "clause_ref",
+            "clause_kind",
+            "status"
+          ]
+        }
+      },
+      "absent_count": {
+        "type": "number",
+        "description": "The number of clauses with status 'absent'. Zero is a claim like any other: it must equal the count in clauses."
+      }
+    }
+  },
+  "required_fields": [
+    "work_order_id",
+    "clauses",
+    "absent_count",
+    "input_refs",
+    "claims"
+  ]
+}

package/domain_types/reconciliation-record.json

@@ -0,0 +1,52 @@
+{
+  "slug": "reconciliation-record",
+  "version": 1,
+  "extends": "Judgment",
+  "domain": "software-change",
+  "status": "active",
+  "description": "The adjudicated (and, at the human seat, settled) reconciliation of a work order — the record whose reconciliation_state lands in chancery_work_order.reconciliation_state. Its state vocabulary is EXACTLY the DB check constraint ('pending' | 'satisfied' | 'defaulted'): the default-adjudicator seals 'defaulted' (past reconciliation_due_at with clauses unreceipted) or 'pending' (awaiting the sovereign); only the human settling seal records 'satisfied'. A defaulted record cites the absences that defaulted it — abandonment is shown, not summarized.",
+  "schema": {
+    "type": "object",
+    "properties": {
+      "work_order_id": {
+        "type": "string",
+        "description": "The chancery_work_order.id this record reconciles."
+      },
+      "reconciliation_state": {
+        "type": "string",
+        "enum": [
+          "pending",
+          "satisfied",
+          "defaulted"
+        ],
+        "description": "Mirrors the chancery_work_order.reconciliation_state check constraint, byte for byte."
+      },
+      "proof_of_work_ref": {
+        "type": "string",
+        "description": "content_sha (or output id) of the sealed proof-of-work-contract this record rules on."
+      },
+      "basis": {
+        "type": "string",
+        "description": "The deterministic rule applied, restated with its inputs: past_due (yes/no), absent_count, and — for 'satisfied' — the settling seat."
+      },
+      "defaulted_clauses": {
+        "type": "array",
+        "items": {
+          "type": "string"
+        },
+        "description": "For a 'defaulted' record: the clause_refs still absent at ruling time, copied from the cold map. Empty for other states."
+      },
+      "settled_by": {
+        "type": "string",
+        "description": "For a 'satisfied' record: the human seat that settled — the reconciliation_owner (or the governor, where the order names that terminal)."
+      }
+    }
+  },
+  "required_fields": [
+    "work_order_id",
+    "reconciliation_state",
+    "proof_of_work_ref",
+    "basis",
+    "input_refs"
+  ]
+}

package/domain_types/red-spec.json

@@ -22,7 +22,7 @@
             },
             "patch": {
               "type": "string",
-              "description": "The unified diff itself, not a description of it. The spec-drafting review chair reads test bodies OUT OF THIS FIELD ('read each red test in the diffs'), so this is the evidence the gate adjudicates, not documentation of the change. Observed on gig 34ff466b: every patch sealed as a one-line summary ('full unified diff captured from git diff --cached ... content present verbatim in the working tree at this path') \u2014 true, and useless as evidence. The reviewer refused, correctly, marking NON-TAUTOLOGY and REDNESS 'NOT RUN'. The gate was not failed, it was STARVED, and the seal accepted that silently because the type asked only for a string.",
+              "description": "The unified diff itself, not a description of it. The spec-drafting review chair reads test bodies OUT OF THIS FIELD ('read each red test in the diffs'), so this is the evidence the gate adjudicates, not documentation of the change. Observed on gig 34ff466b: every patch sealed as a one-line summary ('full unified diff captured from git diff --cached ... content present verbatim in the working tree at this path') — true, and useless as evidence. The reviewer refused, correctly, marking NON-TAUTOLOGY and REDNESS 'NOT RUN'. The gate was not failed, it was STARVED, and the seal accepted that silently because the type asked only for a string.",
               "pattern": "(^|\\n)[+-]"
             }
           },
@@ -61,7 +61,7 @@
       },
       "uncovered": {
         "type": "array",
-        "description": "Contract invariants with no red test \u2014 MUST be empty.",
+        "description": "Contract invariants with no red test — MUST be empty.",
         "items": {
           "type": "string"
         }