yarramate 1.7.0 → 1.8.0

package/dist/visual-app-lib/editor.js

@@ -90184,6 +90184,12 @@ function uC(e) {
 	}
 	return y.length > 0 ? iC(y) : {
 		ok: !0,
+		patternMemberships: h.flatMap(({ instance: e, pattern: t, bindings: n }) => [...n].map(([n, r]) => ({
+			member: r,
+			slot: n,
+			instance: e,
+			pattern: t.kindIdentity
+		}))).sort((e, t) => e.member.localeCompare(t.member) || e.pattern.localeCompare(t.pattern) || e.instance.localeCompare(t.instance) || e.slot.localeCompare(t.slot)),
 		profileContext: {
 			conceptKindLineages: qS([...a].sort(([e], [t]) => e.localeCompare(t)).map(([e, t]) => [e, Object.freeze([...t.lineage])])),
 			relationshipKindLineages: qS([...o].sort(([e], [t]) => e.localeCompare(t)).map(([e, t]) => [e, Object.freeze([...t.lineage])])),
@@ -90222,7 +90228,8 @@ function dC(e) {
 	let t = uC(cC(e).parsed);
 	return t.ok ? {
 		ok: !0,
-		graph: t.graph
+		graph: t.graph,
+		patternMemberships: t.patternMemberships
 	} : t;
 }
 var fC = (e) => uC(cC(e).parsed), yse = {
@@ -92228,383 +92235,7 @@ var ece = {
 			items: { $ref: "#/$defs/question" }
 		}
 	},
-	$defs: {
-		id: {
-			type: "string",
-			pattern: "^[a-z][a-z0-9-]*$"
-		},
-		nonEmptyText: {
-			type: "string",
-			minLength: 1
-		},
-		profileIdentity: {
-			type: "string",
-			pattern: "^[a-z][a-z0-9/-]*@[0-9][0-9A-Za-z.-]*$"
-		},
-		catalogueIdentity: {
-			type: "string",
-			pattern: "^[a-z][a-z0-9/-]*@[0-9][0-9A-Za-z.-]*$"
-		},
-		qualifiedKind: {
-			type: "string",
-			pattern: "^[a-z][a-z0-9/-]*@[0-9][0-9A-Za-z.-]*#[A-Za-z][A-Za-z0-9-]*$"
-		},
-		claimPredicate: {
-			type: "string",
-			pattern: "^[a-z][a-z0-9/@.#-]*$"
-		},
-		subjectSelector: {
-			description: "Which subjects a subject-scope question applies to. Field vocabulary mirrors the projection query selector (ADR 0017).",
-			type: "object",
-			additionalProperties: !1,
-			properties: {
-				kinds: {
-					type: "array",
-					minItems: 1,
-					uniqueItems: !0,
-					items: { $ref: "#/$defs/qualifiedKind" }
-				},
-				kindMatching: {
-					enum: ["exact", "descendants"],
-					default: "descendants"
-				},
-				statuses: {
-					type: "array",
-					minItems: 1,
-					uniqueItems: !0,
-					items: { enum: [
-						"planned",
-						"current",
-						"retired"
-					] }
-				},
-				documents: {
-					type: "array",
-					minItems: 1,
-					uniqueItems: !0,
-					items: { $ref: "#/$defs/id" }
-				}
-			}
-		},
-		condition: {
-			description: "One deterministic trigger condition. All conditions in a trigger must hold (AND) for the question to be open.",
-			oneOf: [
-				{
-					type: "object",
-					additionalProperties: !1,
-					required: ["condition", "predicate"],
-					properties: {
-						condition: { const: "missing-claim" },
-						predicate: { $ref: "#/$defs/claimPredicate" }
-					}
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					required: [
-						"condition",
-						"kinds",
-						"direction"
-					],
-					properties: {
-						condition: { const: "missing-relationship" },
-						kinds: {
-							type: "array",
-							minItems: 1,
-							uniqueItems: !0,
-							items: { $ref: "#/$defs/qualifiedKind" }
-						},
-						direction: { enum: [
-							"incoming",
-							"outgoing",
-							"any"
-						] },
-						kindMatching: { enum: ["exact", "descendants"] }
-					}
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					required: ["condition"],
-					properties: { condition: { const: "isolated" } }
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					required: ["condition", "kinds"],
-					properties: {
-						condition: { const: "no-subject-of-kind" },
-						kinds: {
-							type: "array",
-							minItems: 1,
-							uniqueItems: !0,
-							items: { $ref: "#/$defs/qualifiedKind" }
-						},
-						kindMatching: {
-							enum: ["exact", "descendants"],
-							default: "descendants"
-						}
-					}
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					required: ["condition"],
-					properties: { condition: { const: "no-state-defined" } }
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					required: [
-						"condition",
-						"kinds",
-						"direction",
-						"counterpartKinds"
-					],
-					properties: {
-						condition: { const: "missing-linkage" },
-						kinds: {
-							type: "array",
-							minItems: 1,
-							uniqueItems: !0,
-							items: { $ref: "#/$defs/qualifiedKind" }
-						},
-						direction: { enum: ["outgoing", "incoming"] },
-						counterpartKinds: {
-							type: "array",
-							minItems: 1,
-							uniqueItems: !0,
-							items: { $ref: "#/$defs/qualifiedKind" }
-						},
-						kindMatching: {
-							enum: ["exact", "descendants"],
-							default: "descendants"
-						}
-					}
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					required: [
-						"condition",
-						"kinds",
-						"direction",
-						"counterpartKinds"
-					],
-					properties: {
-						condition: { const: "has-linkage" },
-						kinds: {
-							type: "array",
-							minItems: 1,
-							uniqueItems: !0,
-							items: { $ref: "#/$defs/qualifiedKind" }
-						},
-						direction: { enum: [
-							"outgoing",
-							"incoming",
-							"either"
-						] },
-						counterpartKinds: {
-							type: "array",
-							minItems: 1,
-							uniqueItems: !0,
-							items: { $ref: "#/$defs/qualifiedKind" }
-						},
-						kindMatching: {
-							enum: ["exact", "descendants"],
-							default: "descendants"
-						}
-					}
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					required: [
-						"condition",
-						"kinds",
-						"direction",
-						"counterpartKinds"
-					],
-					properties: {
-						condition: { const: "exists-linkage" },
-						kinds: {
-							type: "array",
-							minItems: 1,
-							uniqueItems: !0,
-							items: { $ref: "#/$defs/qualifiedKind" }
-						},
-						direction: { enum: [
-							"outgoing",
-							"incoming",
-							"either"
-						] },
-						counterpartKinds: {
-							type: "array",
-							minItems: 1,
-							uniqueItems: !0,
-							items: { $ref: "#/$defs/qualifiedKind" }
-						},
-						kindMatching: {
-							enum: ["exact", "descendants"],
-							default: "descendants"
-						}
-					}
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					required: ["condition", "kinds"],
-					properties: {
-						condition: { const: "missing-constraint" },
-						kinds: {
-							type: "array",
-							minItems: 1,
-							uniqueItems: !0,
-							items: { $ref: "#/$defs/qualifiedKind" }
-						},
-						kindMatching: {
-							enum: ["exact", "descendants"],
-							default: "descendants"
-						}
-					}
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					description: "The subject is an endpoint of at least one flow relationship that has no yarramate/flow/content claim.",
-					required: ["condition"],
-					properties: { condition: { const: "missing-flow-content" } }
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					required: [
-						"condition",
-						"predicate",
-						"direction"
-					],
-					properties: {
-						condition: { const: "missing-reference" },
-						predicate: { $ref: "#/$defs/claimPredicate" },
-						direction: { enum: ["outgoing", "incoming"] }
-					}
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					required: ["condition", "topic"],
-					properties: {
-						condition: { const: "missing-attestation" },
-						topic: {
-							type: "string",
-							pattern: "^[a-z][a-z0-9-]*$"
-						}
-					}
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					description: "The subject resembles another subject of the same kind closely enough to be the same thing under two names, and no yarramate/identity/distinct-from claim dismisses the pair. Deterministic and lexical; the algorithm and thresholds are stated in ADR 0077. Questions using it may interpolate {counterparts}.",
-					required: ["condition"],
-					properties: { condition: { const: "near-duplicate" } }
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					description: "The subject's kind is never tested by anything the compiler can check: it participates in no relationship whose kind pins the aspect at the subject's end, so reclassifying it to any other kind of any other aspect would still compile. The kind is a label rather than a constraint (ADR 0083).",
-					required: ["condition"],
-					properties: { condition: { const: "unconstrained-kind" } }
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					description: "The subject supersedes a predecessor that is still current, and does not say in what respect. A succession that replaced its predecessor outright says so by the predecessor being gone; one where both remain is usually partial, and the respect is the part a reader needs (ADR 0109).",
-					required: ["condition"],
-					properties: { condition: { const: "unscoped-succession" } }
-				},
-				{
-					type: "object",
-					additionalProperties: !1,
-					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: !1,
-					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" } }
-				}
-			]
-		},
-		question: {
-			type: "object",
-			additionalProperties: !1,
-			required: [
-				"id",
-				"wave",
-				"scope",
-				"trigger",
-				"question",
-				"materiality",
-				"authority"
-			],
-			properties: {
-				id: { $ref: "#/$defs/id" },
-				wave: {
-					description: "Wave id declared in this catalogue (or an extended one).",
-					$ref: "#/$defs/id"
-				},
-				scope: {
-					description: "subject: evaluated once per matching subject. workspace: evaluated once per workspace.",
-					enum: ["subject", "workspace"]
-				},
-				subjects: { $ref: "#/$defs/subjectSelector" },
-				trigger: {
-					type: "array",
-					minItems: 1,
-					items: { $ref: "#/$defs/condition" }
-				},
-				question: {
-					description: "Human-facing phrasing. Subject-scope questions may interpolate {subject.id} and {subject.name}.",
-					$ref: "#/$defs/nonEmptyText"
-				},
-				askPlain: {
-					description: "Optional plain-language phrasing of the same question, written to be read aloud in a stakeholder workshop. Interpolates {subject.id} and {subject.name} exactly like question. design --facilitate prefers it; when absent, renderers fall back to question and never block.",
-					$ref: "#/$defs/nonEmptyText"
-				},
-				materiality: {
-					description: "Which architectural decision the answer changes. A question that cannot state this does not belong in the catalogue.",
-					$ref: "#/$defs/nonEmptyText"
-				},
-				authority: {
-					description: "Who may answer. A label carried into reports, never a gate (ADR 0082). agent: an agent may propose the answer from repository evidence (still lands as a reviewable diff). human: a genuine design decision that must be escalated. either: an agent may propose, a human confirms.",
-					enum: [
-						"agent",
-						"human",
-						"either"
-					]
-				},
-				resolution: {
-					description: "Guidance for how an accepted answer should land as native authoring (which claim, relationship, or state to add).",
-					$ref: "#/$defs/nonEmptyText"
-				},
-				since: {
-					description: "The catalogue version this question first appeared in. Lets consumers distinguish 'the catalogue deepened' from 'the model regressed' when a completed interview reopens (ADR 0063).",
-					type: "string",
-					pattern: "^[0-9]+\\.[0-9]+$"
-				}
-			},
-			allOf: [{
-				if: { properties: { scope: { const: "subject" } } },
-				then: { required: ["subjects"] }
-			}, {
-				if: { properties: { scope: { const: "workspace" } } },
-				then: { not: { required: ["subjects"] } }
-			}]
-		}
-	}
+	$defs: /* @__PURE__ */ JSON.parse("{\"id\":{\"type\":\"string\",\"pattern\":\"^[a-z][a-z0-9-]*$\"},\"nonEmptyText\":{\"type\":\"string\",\"minLength\":1},\"profileIdentity\":{\"type\":\"string\",\"pattern\":\"^[a-z][a-z0-9/-]*@[0-9][0-9A-Za-z.-]*$\"},\"catalogueIdentity\":{\"type\":\"string\",\"pattern\":\"^[a-z][a-z0-9/-]*@[0-9][0-9A-Za-z.-]*$\"},\"qualifiedKind\":{\"type\":\"string\",\"pattern\":\"^[a-z][a-z0-9/-]*@[0-9][0-9A-Za-z.-]*#[A-Za-z][A-Za-z0-9-]*$\"},\"claimPredicate\":{\"type\":\"string\",\"pattern\":\"^[a-z][a-z0-9/@.#-]*$\"},\"subjectSelector\":{\"description\":\"Which subjects a subject-scope question applies to. Field vocabulary mirrors the projection query selector (ADR 0017).\",\"type\":\"object\",\"additionalProperties\":false,\"properties\":{\"kinds\":{\"type\":\"array\",\"minItems\":1,\"uniqueItems\":true,\"items\":{\"$ref\":\"#/$defs/qualifiedKind\"}},\"kindMatching\":{\"enum\":[\"exact\",\"descendants\"],\"default\":\"descendants\"},\"statuses\":{\"type\":\"array\",\"minItems\":1,\"uniqueItems\":true,\"items\":{\"enum\":[\"planned\",\"current\",\"retired\"]}},\"documents\":{\"type\":\"array\",\"minItems\":1,\"uniqueItems\":true,\"items\":{\"$ref\":\"#/$defs/id\"}}}},\"condition\":{\"description\":\"One deterministic trigger condition. All conditions in a trigger must hold (AND) for the question to be open.\",\"oneOf\":[{\"type\":\"object\",\"additionalProperties\":false,\"required\":[\"condition\",\"predicate\"],\"properties\":{\"condition\":{\"const\":\"missing-claim\"},\"predicate\":{\"$ref\":\"#/$defs/claimPredicate\"}}},{\"type\":\"object\",\"additionalProperties\":false,\"required\":[\"condition\",\"kinds\",\"direction\"],\"properties\":{\"condition\":{\"const\":\"missing-relationship\"},\"kinds\":{\"type\":\"array\",\"minItems\":1,\"uniqueItems\":true,\"items\":{\"$ref\":\"#/$defs/qualifiedKind\"}},\"direction\":{\"enum\":[\"incoming\",\"outgoing\",\"any\"]},\"kindMatching\":{\"enum\":[\"exact\",\"descendants\"]}}},{\"type\":\"object\",\"additionalProperties\":false,\"required\":[\"condition\"],\"properties\":{\"condition\":{\"const\":\"isolated\"}}},{\"type\":\"object\",\"additionalProperties\":false,\"required\":[\"condition\",\"kinds\"],\"properties\":{\"condition\":{\"const\":\"no-subject-of-kind\"},\"kinds\":{\"type\":\"array\",\"minItems\":1,\"uniqueItems\":true,\"items\":{\"$ref\":\"#/$defs/qualifiedKind\"}},\"kindMatching\":{\"enum\":[\"exact\",\"descendants\"],\"default\":\"descendants\"}}},{\"type\":\"object\",\"additionalProperties\":false,\"required\":[\"condition\"],\"properties\":{\"condition\":{\"const\":\"no-state-defined\"}}},{\"type\":\"object\",\"additionalProperties\":false,\"required\":[\"condition\",\"kinds\",\"direction\",\"counterpartKinds\"],\"properties\":{\"condition\":{\"const\":\"missing-linkage\"},\"kinds\":{\"type\":\"array\",\"minItems\":1,\"uniqueItems\":true,\"items\":{\"$ref\":\"#/$defs/qualifiedKind\"}},\"direction\":{\"enum\":[\"outgoing\",\"incoming\"]},\"counterpartKinds\":{\"type\":\"array\",\"minItems\":1,\"uniqueItems\":true,\"items\":{\"$ref\":\"#/$defs/qualifiedKind\"}},\"kindMatching\":{\"enum\":[\"exact\",\"descendants\"],\"default\":\"descendants\"}}},{\"type\":\"object\",\"additionalProperties\":false,\"required\":[\"condition\",\"kinds\",\"direction\",\"counterpartKinds\"],\"properties\":{\"condition\":{\"const\":\"has-linkage\"},\"kinds\":{\"type\":\"array\",\"minItems\":1,\"uniqueItems\":true,\"items\":{\"$ref\":\"#/$defs/qualifiedKind\"}},\"direction\":{\"enum\":[\"outgoing\",\"incoming\",\"either\"]},\"counterpartKinds\":{\"type\":\"array\",\"minItems\":1,\"uniqueItems\":true,\"items\":{\"$ref\":\"#/$defs/qualifiedKind\"}},\"kindMatching\":{\"enum\":[\"exact\",\"descendants\"],\"default\":\"descendants\"}}},{\"type\":\"object\",\"additionalProperties\":false,\"required\":[\"condition\",\"kinds\",\"direction\",\"counterpartKinds\"],\"properties\":{\"condition\":{\"const\":\"exists-linkage\"},\"kinds\":{\"type\":\"array\",\"minItems\":1,\"uniqueItems\":true,\"items\":{\"$ref\":\"#/$defs/qualifiedKind\"}},\"direction\":{\"enum\":[\"outgoing\",\"incoming\",\"either\"]},\"counterpartKinds\":{\"type\":\"array\",\"minItems\":1,\"uniqueItems\":true,\"items\":{\"$ref\":\"#/$defs/qualifiedKind\"}},\"kindMatching\":{\"enum\":[\"exact\",\"descendants\"],\"default\":\"descendants\"}}},{\"type\":\"object\",\"additionalProperties\":false,\"required\":[\"condition\",\"kinds\"],\"properties\":{\"condition\":{\"const\":\"missing-constraint\"},\"kinds\":{\"type\":\"array\",\"minItems\":1,\"uniqueItems\":true,\"items\":{\"$ref\":\"#/$defs/qualifiedKind\"}},\"kindMatching\":{\"enum\":[\"exact\",\"descendants\"],\"default\":\"descendants\"}}},{\"type\":\"object\",\"additionalProperties\":false,\"description\":\"The subject is an endpoint of at least one flow relationship that has no yarramate/flow/content claim.\",\"required\":[\"condition\"],\"properties\":{\"condition\":{\"const\":\"missing-flow-content\"}}},{\"type\":\"object\",\"additionalProperties\":false,\"required\":[\"condition\",\"predicate\",\"direction\"],\"properties\":{\"condition\":{\"const\":\"missing-reference\"},\"predicate\":{\"$ref\":\"#/$defs/claimPredicate\"},\"direction\":{\"enum\":[\"outgoing\",\"incoming\"]}}},{\"type\":\"object\",\"additionalProperties\":false,\"required\":[\"condition\",\"topic\"],\"properties\":{\"condition\":{\"const\":\"missing-attestation\"},\"topic\":{\"type\":\"string\",\"pattern\":\"^[a-z][a-z0-9-]*$\"}}},{\"type\":\"object\",\"additionalProperties\":false,\"description\":\"The subject resembles another subject of the same kind closely enough to be the same thing under two names, and no yarramate/identity/distinct-from claim dismisses the pair. Deterministic and lexical; the algorithm and thresholds are stated in ADR 0077. Questions using it may interpolate {counterparts}.\",\"required\":[\"condition\"],\"properties\":{\"condition\":{\"const\":\"near-duplicate\"}}},{\"type\":\"object\",\"additionalProperties\":false,\"description\":\"The subject's kind is never tested by anything the compiler can check: it participates in no relationship whose kind pins the aspect at the subject's end, so reclassifying it to any other kind of any other aspect would still compile. The kind is a label rather than a constraint (ADR 0083).\",\"required\":[\"condition\"],\"properties\":{\"condition\":{\"const\":\"unconstrained-kind\"}}},{\"type\":\"object\",\"additionalProperties\":false,\"description\":\"The subject supersedes a predecessor that is still current, and does not say in what respect. A succession that replaced its predecessor outright says so by the predecessor being gone; one where both remain is usually partial, and the respect is the part a reader needs (ADR 0109).\",\"required\":[\"condition\"],\"properties\":{\"condition\":{\"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 subject fills a slot of a pattern instance (ADR 0131). A guard, per the #334 split: it says a question applies here, and an ordinary condition beside it says what would answer it. Bare, it means bound into any slot of any instance; patternKinds narrows by the pattern's kind identity (never a document path, ADR 0129) and slots by part name. Evaluation reads pattern memberships from the compilation; a caller that does not supply them gets a condition that never holds.\",\"required\":[\"condition\"],\"properties\":{\"condition\":{\"const\":\"fills-pattern-slot\"},\"patternKinds\":{\"type\":\"array\",\"minItems\":1,\"uniqueItems\":true,\"items\":{\"$ref\":\"#/$defs/qualifiedKind\"}},\"slots\":{\"type\":\"array\",\"minItems\":1,\"uniqueItems\":true,\"items\":{\"type\":\"string\",\"pattern\":\"^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$\"}}}},{\"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\"}}}]},\"question\":{\"type\":\"object\",\"additionalProperties\":false,\"required\":[\"id\",\"wave\",\"scope\",\"trigger\",\"question\",\"materiality\",\"authority\"],\"properties\":{\"id\":{\"$ref\":\"#/$defs/id\"},\"wave\":{\"description\":\"Wave id declared in this catalogue (or an extended one).\",\"$ref\":\"#/$defs/id\"},\"scope\":{\"description\":\"subject: evaluated once per matching subject. workspace: evaluated once per workspace.\",\"enum\":[\"subject\",\"workspace\"]},\"subjects\":{\"$ref\":\"#/$defs/subjectSelector\"},\"trigger\":{\"type\":\"array\",\"minItems\":1,\"items\":{\"$ref\":\"#/$defs/condition\"}},\"question\":{\"description\":\"Human-facing phrasing. Subject-scope questions may interpolate {subject.id} and {subject.name}.\",\"$ref\":\"#/$defs/nonEmptyText\"},\"askPlain\":{\"description\":\"Optional plain-language phrasing of the same question, written to be read aloud in a stakeholder workshop. Interpolates {subject.id} and {subject.name} exactly like question. design --facilitate prefers it; when absent, renderers fall back to question and never block.\",\"$ref\":\"#/$defs/nonEmptyText\"},\"materiality\":{\"description\":\"Which architectural decision the answer changes. A question that cannot state this does not belong in the catalogue.\",\"$ref\":\"#/$defs/nonEmptyText\"},\"authority\":{\"description\":\"Who may answer. A label carried into reports, never a gate (ADR 0082). agent: an agent may propose the answer from repository evidence (still lands as a reviewable diff). human: a genuine design decision that must be escalated. either: an agent may propose, a human confirms.\",\"enum\":[\"agent\",\"human\",\"either\"]},\"resolution\":{\"description\":\"Guidance for how an accepted answer should land as native authoring (which claim, relationship, or state to add).\",\"$ref\":\"#/$defs/nonEmptyText\"},\"since\":{\"description\":\"The catalogue version this question first appeared in. Lets consumers distinguish 'the catalogue deepened' from 'the model regressed' when a completed interview reopens (ADR 0063).\",\"type\":\"string\",\"pattern\":\"^[0-9]+\\\\.[0-9]+$\"}},\"allOf\":[{\"if\":{\"properties\":{\"scope\":{\"const\":\"subject\"}}},\"then\":{\"required\":[\"subjects\"]}},{\"if\":{\"properties\":{\"scope\":{\"const\":\"workspace\"}}},\"then\":{\"not\":{\"required\":[\"subjects\"]}}}]}}")
 }, Dw = AS.default, tce = new (Dw.default ?? Dw)({ allErrors: !0 }).compile(ece), nce = (e) => {
 	let t = new Set(e.subjects.filter(({ type: e }) => e === "relationship").map(({ id: e }) => e)), n = new Set(e.claims.filter(({ predicate: e }) => e === "yarramate/state/type").map(({ subject: e }) => e)), r = /* @__PURE__ */ new Map(), i = /* @__PURE__ */ new Map(), a = /* @__PURE__ */ new Map(), o = /* @__PURE__ */ new Map(), s = [], c = [], l = /* @__PURE__ */ new Map(), u = /* @__PURE__ */ new Map(), d = /* @__PURE__ */ new Map();
 	for (let n of e.claims) {
@@ -92700,8 +92331,9 @@ var ece = {
 		let o = [];
 		return (t.direction === "outgoing" || t.direction === "either") && a.subject === n && o.push(a.object.ref), (t.direction === "incoming" || t.direction === "either") && a.object.ref === n && o.push(a.subject), o.some((n) => Ow(e.kindOf.get(n), t.counterpartKinds, i, r));
 	});
-}, Pw = (e, t, n, r, i) => {
+}, Pw = (e, t, n, r, i, a) => {
 	switch (t.condition) {
+		case "fills-pattern-slot": return a !== void 0 && n !== void 0 && a.some((e) => e.member === n && (t.patternKinds === void 0 || t.patternKinds.includes(e.pattern)) && (t.slots === void 0 || t.slots.includes(e.slot)));
 		case "has-any-subject": return e.concepts.size > 0;
 		case "unchallenged-evidence": return i !== void 0 && i.length > 0 && i.every(({ result: e, searched: t }) => e === "confirmed" && (t === void 0 || t.length === 0));
 		case "missing-claim": return !(e.claimsBySubject.get(n) ?? []).some(({ predicate: e }) => e === t.predicate);
@@ -92765,12 +92397,12 @@ var ece = {
 		return n === void 0 ? t : `${n} (${t})`;
 	});
 };
-function ice(e, t, n, r, i) {
-	let a = nce(t), o = 0, s = 0, c = e.questions.filter((e) => Mw(e, t.profiles)), l = (e) => e.opensWhen === void 0 || e.opensWhen.every((e) => Pw(a, e, void 0, n, r)), u = e.waves.map((e) => ({
+function ice(e, t, n, r, i, a) {
+	let o = nce(t), s = 0, c = 0, l = e.questions.filter((e) => Mw(e, t.profiles)), u = (e) => e.opensWhen === void 0 || e.opensWhen.every((e) => Pw(o, e, void 0, n, r, a)), d = e.waves.map((e) => ({
 		id: e.id,
 		name: e.name,
-		opened: l(e),
-		questions: l(e) ? c.filter((t) => t.wave === e.id).map((e) => {
+		opened: u(e),
+		questions: u(e) ? l.filter((t) => t.wave === e.id).map((e) => {
 			let t = {
 				id: e.id,
 				scope: e.scope,
@@ -92782,25 +92414,25 @@ function ice(e, t, n, r, i) {
 				...e.since === void 0 ? {} : { since: e.since }
 			};
 			if (e.scope === "workspace") {
-				let i = e.trigger.every((e) => Pw(a, e, void 0, n, r));
-				return i && (o += 1, s += 1), {
+				let i = e.trigger.every((e) => Pw(o, e, void 0, n, r, a));
+				return i && (s += 1, c += 1), {
 					...t,
 					open: i
 				};
 			}
-			let i = kw(a, e.subjects, n).filter((t) => e.trigger.every((e) => Pw(a, e, t, n, r)));
+			let i = kw(o, e.subjects, n).filter((t) => e.trigger.every((e) => Pw(o, e, t, n, r, a)));
 			return i.length === 0 ? {
 				...t,
 				open: !1
-			} : (o += i.length, s += 1, {
+			} : (s += i.length, c += 1, {
 				...t,
 				open: !0,
 				subjects: i.map((t) => {
-					let n = a.nameOf.get(t);
+					let n = o.nameOf.get(t);
 					return {
 						id: t,
 						...n === void 0 ? {} : { name: n },
-						question: Fw(e.question, t, n, Iw(a, e, t))
+						question: Fw(e.question, t, n, Iw(o, e, t))
 					};
 				})
 			});
@@ -92812,16 +92444,20 @@ function ice(e, t, n, r, i) {
 		...i === void 0 || i.length < 2 ? {} : { catalogues: i },
 		semantics: "1",
 		summary: {
-			questions: u.reduce((e, t) => e + t.questions.length, 0),
-			openQuestions: s,
-			open: o
+			questions: d.reduce((e, t) => e + t.questions.length, 0),
+			openQuestions: c,
+			open: s
 		},
-		waves: u
+		waves: d
 	};
 }
 var ace = (e) => {
 	let t = [], n = (e, n) => {
-		if (!(typeof e != "object" || !e)) for (let r of ["kinds", "counterpartKinds"]) {
+		if (!(typeof e != "object" || !e)) for (let r of [
+			"kinds",
+			"counterpartKinds",
+			"patternKinds"
+		]) {
 			let i = e[r];
 			Array.isArray(i) && i.forEach((e, i) => {
 				typeof e == "string" && t.push({
@@ -92977,7 +92613,7 @@ var lce = (e) => [...e.keys()].map((t) => ({
 })), uce = (e, t, n) => Ase(e, Hw(t), n).subjects.filter(({ type: e }) => e === "concept").length, Bw = (e, t, n = []) => {
 	let r = zw(Array.isArray(t) ? t : [t]);
 	if (!r.ok) return;
-	let i = ice(r.composed.catalogue, e.graph, e.profileContext, void 0, r.composed.catalogues), a = new Set(n.filter(({ subject: e }) => e === void 0).map(({ questionId: e }) => e)), o = new Set(n.filter(({ subject: e }) => e !== void 0).map(({ questionId: e, subject: t }) => `${e}\u0000${t}`)), s = [], c = {};
+	let i = ice(r.composed.catalogue, e.graph, e.profileContext, void 0, r.composed.catalogues, e.patternMemberships), a = new Set(n.filter(({ subject: e }) => e === void 0).map(({ questionId: e }) => e)), o = new Set(n.filter(({ subject: e }) => e !== void 0).map(({ questionId: e, subject: t }) => `${e}\u0000${t}`)), s = [], c = {};
 	for (let e of i.waves) for (let t of e.questions) {
 		if (!t.open || a.has(t.id)) continue;
 		let e = {
@@ -93148,7 +92784,8 @@ var lce = (e) => [...e.keys()].map((t) => ({
 		};
 		let s = {
 			graph: a.graph,
-			profileContext: a.profileContext
+			profileContext: a.profileContext,
+			patternMemberships: a.patternMemberships
 		};
 		r = s, d = [];
 		let u = dce(s, o, {

package/dist/visual-app-lib/types/adapters/visual/workspace-model.d.ts

@@ -4,6 +4,7 @@ import type { ResolvedWorkspace } from "../../workspace.js";
 import type { VisualDiagnostic, VisualViewOperation } from "./protocol-contract.js";
 import type { ProjectionDefinition, ProjectionExclusion, ProjectionQuery } from "../../projection.js";
 import type { ResolvedProfileContext, SemanticGraph } from "../../compiler.js";
+import { type CataloguePatternMembership } from "../../interrogate-command.js";
 import type { VisualKindOption, VisualViewSummary } from "./protocol-contract.js";
 import type { VisualInterrogationOverlay, VisualRenderedModel } from "./wire.js";
 /**
@@ -57,6 +58,8 @@ export interface DismissedQuestion {
 export declare const interrogationOverlayOf: (compiled: {
     readonly graph: SemanticGraph;
     readonly profileContext: ResolvedProfileContext;
+    /** From the compilation (ADR 0131); absent, slot questions stay quiet. */
+    readonly patternMemberships?: readonly CataloguePatternMembership[];
 }, 
 /**
  * The catalogue, or the composed SET a workspace carries (#345, ADR 0129).
@@ -90,6 +93,7 @@ dismissed?: readonly DismissedQuestion[]) => VisualInterrogationOverlay | undefi
 export declare const renderedWorkspaceOf: (compiled: {
     readonly graph: SemanticGraph;
     readonly profileContext: ResolvedProfileContext;
+    readonly patternMemberships?: readonly CataloguePatternMembership[];
 }, views: readonly VisualViewSummary[], metadata: Omit<VisualRenderedModel, "graph" | "vocabulary" | "interrogation">, catalogue?: {
     readonly path: string;
     readonly source: string;

package/dist/visual-app-lib/types/compiler.d.ts

@@ -94,9 +94,31 @@ export interface ResolvedProfileContext {
      */
     readonly permittedRelationshipKinds: (fromKindIdentity: string, toKindIdentity: string) => ReadonlySet<RelationshipKind> | undefined;
 }
+/**
+ * One slot of one pattern instance, and the subject bound into it
+ * (ADR 0131). Compile CONTEXT, not graph content: `parts` binds existing
+ * subjects (#268), the binding is consumed during expansion, and the graph
+ * stays indistinguishable from a hand-authored one — so the compile result
+ * is the only place this fact survives. `pattern` is the kind identity
+ * (`yarrasys/api-led@1.0#api`), the naming ADR 0129 chose: identity that
+ * travels, never a document path.
+ */
+export interface PatternMembership {
+    readonly member: string;
+    readonly slot: string;
+    readonly instance: string;
+    readonly pattern: string;
+}
 export type CompilationResult = {
     readonly ok: true;
     readonly graph: SemanticGraph;
+    /**
+     * Optional in the type although the compiler always emits it: this
+     * shape is published, and a required addition is free for readers
+     * and a break for constructors. Read it as `?? []` — and thread it
+     * to `evaluateCatalogue`, or `fills-pattern-slot` never fires.
+     */
+    readonly patternMemberships?: readonly PatternMembership[];
 } | {
     readonly ok: false;
     readonly diagnostics: readonly Diagnostic[];
@@ -105,6 +127,7 @@ export type ContextualCompilationResult = {
     readonly ok: true;
     readonly graph: SemanticGraph;
     readonly profileContext: ResolvedProfileContext;
+    readonly patternMemberships?: readonly PatternMembership[];
 } | {
     readonly ok: false;
     readonly diagnostics: readonly Diagnostic[];

package/dist/visual-app-lib/types/interrogate-command.d.ts

@@ -89,6 +89,18 @@ export type CatalogueCondition = {
     readonly condition: 'unchallenged-evidence';
 } | {
     readonly condition: 'has-any-subject';
+} | {
+    /**
+     * The subject fills a slot of a pattern instance (ADR 0131). A GUARD,
+     * per the #334 split: it says a question applies here, and an
+     * ordinary condition beside it says what would answer it. Bare, it
+     * means bound into any slot of any instance; `patternKinds` narrows
+     * by the pattern's kind identity (never a document path, ADR 0129)
+     * and `slots` by part name.
+     */
+    readonly condition: 'fills-pattern-slot';
+    readonly patternKinds?: readonly string[];
+    readonly slots?: readonly string[];
 };
 /**
  * One observation from the workspace's evidence overlay, reduced to what
@@ -107,6 +119,21 @@ export interface CatalogueEvidenceObservation {
     readonly result: 'confirmed' | 'contradicted' | 'unknown' | 'not-observed';
     readonly searched?: readonly unknown[];
 }
+/**
+ * One slot of one pattern instance and the subject bound into it, as
+ * interrogation reads it. Shaped structurally rather than importing the
+ * compiler's {@link PatternMembership} for the same reason
+ * {@link CatalogueEvidenceObservation} is: the pure engine entry keeps
+ * owning its whole input surface, and a host passes
+ * `compilation.patternMemberships` without the compiler's types. Only
+ * `fills-pattern-slot` reads it (ADR 0131).
+ */
+export interface CataloguePatternMembership {
+    readonly member: string;
+    readonly slot: string;
+    readonly instance: string;
+    readonly pattern: string;
+}
 export interface CatalogueQuestion {
     readonly id: string;
     readonly wave: string;
@@ -210,7 +237,15 @@ export declare function evaluateCatalogue(catalogue: QuestionCatalogue, graph: S
  * the report. A fifth optional parameter rather than an options object,
  * because this signature is published and a consumer already calls it.
  */
-catalogues?: readonly string[]): Omit<InterrogationReport, 'workspace'>;
+catalogues?: readonly string[], 
+/**
+ * Pattern memberships from the compilation (ADR 0131) — pass
+ * `compilation.patternMemberships`, or `fills-pattern-slot` conditions
+ * never fire. A sixth optional parameter for the same reason
+ * `catalogues` is a fifth: this signature is published and a consumer
+ * already calls it.
+ */
+patternMemberships?: readonly CataloguePatternMembership[]): Omit<InterrogationReport, 'workspace'>;
 export type CatalogueLoadResult = {
     readonly ok: true;
     readonly catalogue: QuestionCatalogue;