@eir-labs/coltrane 0.24.13 → 0.24.15

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"
         }

package/domain_types/repo-survey.json

@@ -8,21 +8,91 @@
   "schema": {
     "type": "object",
     "properties": {
-      "repo_path":          { "type": "string", "description": "Absolute path to the repo on disk." },
-      "repo_name":          { "type": "string", "description": "Basename of the repo directory." },
-      "primary_language":   { "type": ["string", "null"], "description": "Inferred from file-extension distribution + manifest files. Null if mixed/unclear." },
-      "manifest_files":     { "type": "array", "items": { "type": "string" }, "description": "Detected manifest files: package.json, pyproject.toml, Cargo.toml, go.mod, etc." },
-      "readme_h1":          { "type": ["string", "null"], "description": "First H1 line of README (≤200 chars), if present." },
-      "readme_first_lines": { "type": ["string", "null"], "description": "First 200 chars of README body for context." },
-      "has_claude_md":      { "type": "boolean", "description": "Whether the repo has a CLAUDE.md." },
-      "has_dot_claude":     { "type": "boolean", "description": "Whether the repo has a .claude/ directory (subagents, commands, hooks)." },
-      "has_dot_coltrane":   { "type": "boolean", "description": "Whether the repo has a .coltrane/ directory (already coltrane-flavored)." },
-      "commit_rhythm_30d":  { "type": ["integer", "null"], "description": "Number of commits in the last 30 days." },
-      "last_commit_at":     { "type": ["string", "null"], "format": "date-time" },
-      "top_directories":    { "type": "array", "items": { "type": "string" }, "description": "Top-level subdirectory names (e.g. src/, tests/, docs/) — structural hint." },
-      "survey_completeness": { "type": "string", "enum": ["complete", "partial", "shallow"], "description": "Honest signal-bound: did we hit the scan limits or get clean reads on every channel?" }
+      "repo_path": {
+        "type": "string",
+        "description": "Absolute path to the repo on disk."
+      },
+      "repo_name": {
+        "type": "string",
+        "description": "Basename of the repo directory."
+      },
+      "primary_language": {
+        "type": [
+          "string",
+          "null"
+        ],
+        "description": "Inferred from file-extension distribution + manifest files. Null if mixed/unclear."
+      },
+      "manifest_files": {
+        "type": "array",
+        "items": {
+          "type": "string"
+        },
+        "description": "Detected manifest files: package.json, pyproject.toml, Cargo.toml, go.mod, etc."
+      },
+      "readme_h1": {
+        "type": [
+          "string",
+          "null"
+        ],
+        "description": "First H1 line of README (≤200 chars), if present."
+      },
+      "readme_first_lines": {
+        "type": [
+          "string",
+          "null"
+        ],
+        "description": "First 200 chars of README body for context."
+      },
+      "has_claude_md": {
+        "type": "boolean",
+        "description": "Whether the repo has a CLAUDE.md."
+      },
+      "has_dot_claude": {
+        "type": "boolean",
+        "description": "Whether the repo has a .claude/ directory (subagents, commands, hooks)."
+      },
+      "has_dot_coltrane": {
+        "type": "boolean",
+        "description": "Whether the repo has a .coltrane/ directory (already coltrane-flavored)."
+      },
+      "commit_rhythm_30d": {
+        "type": [
+          "integer",
+          "null"
+        ],
+        "description": "Number of commits in the last 30 days."
+      },
+      "last_commit_at": {
+        "type": [
+          "string",
+          "null"
+        ],
+        "format": "date-time"
+      },
+      "top_directories": {
+        "type": "array",
+        "items": {
+          "type": "string"
+        },
+        "description": "Top-level subdirectory names (e.g. src/, tests/, docs/) — structural hint."
+      },
+      "survey_completeness": {
+        "type": "string",
+        "enum": [
+          "complete",
+          "partial",
+          "shallow"
+        ],
+        "description": "Honest signal-bound: did we hit the scan limits or get clean reads on every channel?"
+      }
     },
-    "required": ["repo_path", "repo_name", "survey_completeness", "source"]
+    "required": [
+      "repo_path",
+      "repo_name",
+      "survey_completeness",
+      "source"
+    ]
   },
   "required_fields": []
 }

package/domain_types/seeding-verdict.json

@@ -8,63 +8,129 @@
   "schema": {
     "type": "object",
     "properties": {
-      "input_refs":       { "type": "array", "items": { "type": "string" }, "description": "References to all draft-* outputs this verdict resolves." },
-      "repos_surveyed":   { "type": "integer", "description": "Total repo-survey signals consumed." },
-      "patterns_extracted": { "type": "integer", "description": "Total pattern-extraction interpretations produced." },
-
+      "input_refs": {
+        "type": "array",
+        "items": {
+          "type": "string"
+        },
+        "description": "References to all draft-* outputs this verdict resolves."
+      },
+      "repos_surveyed": {
+        "type": "integer",
+        "description": "Total repo-survey signals consumed."
+      },
+      "patterns_extracted": {
+        "type": "integer",
+        "description": "Total pattern-extraction interpretations produced."
+      },
       "drafts_proposed": {
         "type": "object",
         "properties": {
-          "agents":     { "type": "integer" },
-          "standards":  { "type": "integer" },
-          "domain_types": { "type": "integer" }
+          "agents": {
+            "type": "integer"
+          },
+          "standards": {
+            "type": "integer"
+          },
+          "domain_types": {
+            "type": "integer"
+          }
         }
       },
       "drafts_accepted": {
         "type": "object",
         "properties": {
-          "agents":     { "type": "integer" },
-          "standards":  { "type": "integer" },
-          "domain_types": { "type": "integer" }
+          "agents": {
+            "type": "integer"
+          },
+          "standards": {
+            "type": "integer"
+          },
+          "domain_types": {
+            "type": "integer"
+          }
         }
       },
       "drafts_rejected": {
         "type": "object",
         "properties": {
-          "agents":     { "type": "integer" },
-          "standards":  { "type": "integer" },
-          "domain_types": { "type": "integer" }
+          "agents": {
+            "type": "integer"
+          },
+          "standards": {
+            "type": "integer"
+          },
+          "domain_types": {
+            "type": "integer"
+          }
         }
       },
       "drafts_refined": {
         "type": "object",
         "description": "Drafts the user edited before accepting — re-proposed and adopted in modified form.",
         "properties": {
-          "agents":     { "type": "integer" },
-          "standards":  { "type": "integer" },
-          "domain_types": { "type": "integer" }
+          "agents": {
+            "type": "integer"
+          },
+          "standards": {
+            "type": "integer"
+          },
+          "domain_types": {
+            "type": "integer"
+          }
         }
       },
-
-      "pass":   { "type": "boolean", "description": "True if ≥1 draft of each kind (agent/standard/type) was accepted, OR the user explicitly approves the empty-result verdict." },
+      "pass": {
+        "type": "boolean",
+        "description": "True if ≥1 draft of each kind (agent/standard/type) was accepted, OR the user explicitly approves the empty-result verdict."
+      },
       "checks": {
         "type": "array",
         "items": {
           "type": "object",
           "properties": {
-            "name":   { "type": "string" },
-            "method": { "type": "string", "description": "How the check was performed. Required by the Verdict core invariant (#227/#228) — this item schema previously omitted it, so a maximally schema-valid seeding-verdict was unsealable." },
-            "passed": { "type": "boolean" },
-            "note":   { "type": "string" }
+            "name": {
+              "type": "string"
+            },
+            "method": {
+              "type": "string",
+              "description": "How the check was performed. Required by the Verdict core invariant (#227/#228) — this item schema previously omitted it, so a maximally schema-valid seeding-verdict was unsealable."
+            },
+            "passed": {
+              "type": "boolean"
+            },
+            "note": {
+              "type": "string"
+            }
           },
-          "required": ["name", "method", "passed"]
+          "required": [
+            "name",
+            "method",
+            "passed"
+          ]
         }
       },
-
-      "outcome":          { "type": "string", "enum": ["completed", "partial", "refined", "aborted"] },
-      "next_step_hint":   { "type": "string", "description": "What to run next." }
+      "outcome": {
+        "type": "string",
+        "enum": [
+          "completed",
+          "partial",
+          "refined",
+          "aborted"
+        ]
+      },
+      "next_step_hint": {
+        "type": "string",
+        "description": "What to run next."
+      }
     },
-    "required": ["input_refs", "repos_surveyed", "pass", "checks", "outcome"]
+    "required": [
+      "input_refs",
+      "repos_surveyed",
+      "pass",
+      "checks",
+      "outcome"
+    ]
   },
   "required_fields": []
 }

package/domain_types/soft-verdict.json

@@ -13,38 +13,73 @@
           "parent_context_preservation": {
             "type": "object",
             "properties": {
-              "score": { "type": ["number", "null"] },
-              "rationale": { "type": "string" }
+              "score": {
+                "type": [
+                  "number",
+                  "null"
+                ]
+              },
+              "rationale": {
+                "type": "string"
+              }
             }
           },
           "child_stay_on_task": {
             "type": "object",
             "properties": {
-              "score": { "type": ["number", "null"] },
-              "rationale": { "type": "string" }
+              "score": {
+                "type": [
+                  "number",
+                  "null"
+                ]
+              },
+              "rationale": {
+                "type": "string"
+              }
             }
           },
           "inter_turn_coherence": {
             "type": "object",
             "properties": {
-              "score": { "type": ["number", "null"] },
-              "rationale": { "type": "string" }
+              "score": {
+                "type": [
+                  "number",
+                  "null"
+                ]
+              },
+              "rationale": {
+                "type": "string"
+              }
             }
           },
           "graceful_degradation": {
             "type": "object",
             "properties": {
-              "score": { "type": ["number", "null"] },
-              "rationale": { "type": "string" }
+              "score": {
+                "type": [
+                  "number",
+                  "null"
+                ]
+              },
+              "rationale": {
+                "type": "string"
+              }
             }
           }
         }
       },
       "overall_verdict_shade": {
         "type": "string",
-        "enum": ["pass", "mixed", "fail", "not-judgeable"]
+        "enum": [
+          "pass",
+          "mixed",
+          "fail",
+          "not-judgeable"
+        ]
       },
-      "top_insight": { "type": "string" }
+      "top_insight": {
+        "type": "string"
+      }
     }
   },
   "required_fields": [

package/domain_types/user-flow-transcript.json

@@ -7,32 +7,58 @@
   "schema": {
     "type": "object",
     "properties": {
-      "transcript_present": { "type": "boolean" },
-      "turn_count": { "type": "number" },
+      "transcript_present": {
+        "type": "boolean"
+      },
+      "turn_count": {
+        "type": "number"
+      },
       "turns": {
         "type": "array",
         "items": {
           "type": "object",
           "properties": {
-            "turn_idx": { "type": "number" },
-            "user_intent": { "type": "string" },
-            "claude_response": { "type": "string" },
+            "turn_idx": {
+              "type": "number"
+            },
+            "user_intent": {
+              "type": "string"
+            },
+            "claude_response": {
+              "type": "string"
+            },
             "tool_calls": {
               "type": "array",
               "items": {
                 "type": "object",
                 "properties": {
-                  "tool_name": { "type": "string" },
-                  "args": { "type": ["object", "null"] }
+                  "tool_name": {
+                    "type": "string"
+                  },
+                  "args": {
+                    "type": [
+                      "object",
+                      "null"
+                    ]
+                  }
                 }
               }
             },
-            "post_turn_genome_state": { "type": ["object", "null"] },
-            "malformed_input": { "type": "boolean" }
+            "post_turn_genome_state": {
+              "type": [
+                "object",
+                "null"
+              ]
+            },
+            "malformed_input": {
+              "type": "boolean"
+            }
           }
         }
       },
-      "notes": { "type": "string" }
+      "notes": {
+        "type": "string"
+      }
     }
   },
   "required_fields": [