yarramate 1.2.0 → 1.4.0

package/schema/yarramate-pattern.schema.json

@@ -0,0 +1,133 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://yarramate.org/schema/pattern/v1",
+  "title": "YarraMate structural pattern",
+  "description": "The shape a concept kind promises: the parts an instance binds and the wiring the compiler mints between them (ADR 0123). A pattern declares structure; a profile declares vocabulary. Expansion is compile-time and lands in the semantic graph, never in a document.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["format", "id", "version", "patterns"],
+  "properties": {
+    "format": {
+      "const": "yarramate/pattern/v1"
+    },
+    "id": {
+      "type": "string",
+      "pattern": "^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$"
+    },
+    "version": {
+      "type": "string",
+      "pattern": "^[0-9]+\\.[0-9]+$"
+    },
+    "patterns": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "$ref": "#/$defs/pattern"
+      }
+    }
+  },
+  "$defs": {
+    "pattern": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["kind", "parts", "wiring"],
+      "properties": {
+        "kind": {
+          "description": "The globally qualified concept kind this pattern shapes. The kind's anchor is whatever the profile says it specializes; a pattern never restates it.",
+          "$ref": "#/$defs/qualifiedKind"
+        },
+        "parts": {
+          "description": "The slots an instance binds, by name. A slot names the kind the bound subject must be, and whether an instance must bind it.",
+          "type": "object",
+          "minProperties": 1,
+          "additionalProperties": false,
+          "propertyNames": {
+            "$ref": "#/$defs/slotName"
+          },
+          "patternProperties": {
+            "^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$": {
+              "$ref": "#/$defs/part"
+            }
+          }
+        },
+        "ports": {
+          "description": "Where a macro-grain edge lands canonically (#268 phase 2, ADR 0124). A relationship authored between two instances whose patterns both declare a port for its kind is expanded: `out` names the slot it leaves from on the source instance, `in` the slot it arrives at on the target. The macro edge itself survives - it is an authored fact, which is what gives a collapsed view edges to draw.",
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/port"
+          }
+        },
+        "wiring": {
+          "description": "The relationships the compiler mints between an instance and its bound parts. Where an authored relationship already says exactly this, nothing is minted. Any other authored relationship between the same pair contradicts the pattern and fails compilation.",
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/wire"
+          }
+        }
+      }
+    },
+    "part": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["kind"],
+      "properties": {
+        "kind": {
+          "$ref": "#/$defs/qualifiedKind"
+        },
+        "required": {
+          "description": "An instance that leaves a required slot unbound fails compilation (YM416). Absent means optional.",
+          "type": "boolean"
+        }
+      }
+    },
+    "port": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["kind", "out", "in"],
+      "properties": {
+        "kind": {
+          "$ref": "#/$defs/qualifiedKind"
+        },
+        "out": {
+          "description": "The slot a macro edge of this kind leaves from, on the SOURCE instance. Never `self`: an edge that left from the instance would be the macro edge again.",
+          "$ref": "#/$defs/slotName"
+        },
+        "in": {
+          "description": "The slot a macro edge of this kind arrives at, on the TARGET instance.",
+          "$ref": "#/$defs/slotName"
+        }
+      }
+    },
+    "wire": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["from", "kind", "to"],
+      "properties": {
+        "from": {
+          "$ref": "#/$defs/endpoint"
+        },
+        "kind": {
+          "$ref": "#/$defs/qualifiedKind"
+        },
+        "to": {
+          "$ref": "#/$defs/endpoint"
+        }
+      }
+    },
+    "endpoint": {
+      "description": "A slot name declared in `parts`, or `self` for the instance itself.",
+      "type": "string",
+      "pattern": "^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$"
+    },
+    "slotName": {
+      "type": "string",
+      "pattern": "^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$"
+    },
+    "qualifiedKind": {
+      "type": "string",
+      "pattern": "^[a-z][a-z0-9-]*(?:/[a-z][a-z0-9-]*)+@[0-9]+\\.[0-9]+#[a-z][A-Za-z0-9-]*$"
+    }
+  }
+}

package/schema/yarramate-projection.schema.json

@@ -36,6 +36,15 @@
             "$ref": "#/$defs/subjectIdentity"
           }
         },
+        "exclude": {
+          "description": "Subjects this query would otherwise select and the author has taken out: the exception a rule cannot state (#267, ADR 0122). Applied after every other facet and after relationship expansion, so an excluded subject is out whichever way it would have come back in. Naming a subject no facet selects is allowed and inert until the model grows into the rule.",
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/subjectIdentity"
+          }
+        },
         "documents": {
           "type": "array",
           "uniqueItems": true,

package/schema/yarramate-question-catalogue.schema.json

@@ -63,6 +63,14 @@
           },
           "description": {
             "$ref": "#/$defs/nonEmptyText"
+          },
+          "opensWhen": {
+            "description": "Conditions that must all hold before this wave opens (#334, ADR 0125). A wave that has not opened asks nothing: its questions are premature rather than answered, and the report says so with `opened: false` and no questions rather than reporting them closed. Written in the same condition vocabulary a question's trigger uses, so a reviewer reads a gate the way they already read a trigger. Absent means the wave is always open, which is what every wave did before this existed.",
+            "type": "array",
+            "minItems": 1,
+            "items": {
+              "$ref": "#/$defs/condition"
+            }
           }
         }
       }
@@ -502,6 +510,32 @@
               "const": "unscoped-succession"
             }
           }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "description": "The workspace holds at least one concept (#334, ADR 0125). The guard a late wave needs to say \"only once the model has substance\": an empty model is not an architecture at rest, it has not started, and asking it how the planned architecture becomes real greets someone ahead of question one.",
+          "required": [
+            "condition"
+          ],
+          "properties": {
+            "condition": {
+              "const": "has-any-subject"
+            }
+          }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "description": "The workspace's evidence overlay records observations and every one is a frictionless confirmation: no contradicted, unknown, or not-observed result, and no recorded search (ADR 0107). A discovery that never records anything but success never tested a claim it might fail. The one condition that reads the evidence overlay rather than the compiled graph; where the evaluating consumer supplies no overlay it stays quiet (ADR 0120).",
+          "required": [
+            "condition"
+          ],
+          "properties": {
+            "condition": {
+              "const": "unchallenged-evidence"
+            }
+          }
         }
       ]
     },

package/schema/yarramate-visual-graph.schema.json

@@ -31,6 +31,7 @@
         "kind",
         "kindLabel",
         "coreKindLabel",
+        "portKinds",
         "layer",
         "aspect",
         "name",
@@ -64,6 +65,14 @@
         "kindLabel": {
           "type": "string"
         },
+        "portKinds": {
+          "description": "The core relationship kinds this node's pattern ports, or [] where its kind has no pattern with ports (#268 phase 3, ADR 0124). A macro edge needs both ends to port its kind, so an editor offering a palette between two instances intersects the two lists.",
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "string"
+          }
+        },
         "coreKindLabel": {
           "type": "string"
         },

package/schema/yarramate-workspace.schema.json

@@ -28,6 +28,10 @@
     "projections": {
       "$ref": "#/$defs/patterns"
     },
+    "patterns": {
+      "description": "yarramate/pattern/v1 documents: the shape a concept kind promises, and the wiring the compiler mints between an instance and the parts it binds (ADR 0123). Structure, where profiles declare vocabulary. Optional, like evidence and contracts.",
+      "$ref": "#/$defs/patterns"
+    },
     "adapterMappings": {
       "$ref": "#/$defs/patterns"
     },

package/skills/yarramate-architecture/SKILL.md

@@ -267,6 +267,11 @@ request
   -> End or failure: recover, optionally read the transcript, stop, resume
 ```
 
+The canvas itself carries the interview: subjects with open questions wear
+a count chip, and the Open questions panel scopes to the selected subject
+(workspace-scoped questions show when nothing is selected). Landing answers
+through the editor's changeset closes them on the next model frame.
+
 Read [references/visual-conversations.md](references/visual-conversations.md)
 before starting a session. It owns the request builder and its refusals, the
 capability test, the exact commands and documents, the delegated child's prompt