yarramate 1.7.0 → 1.8.0

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

@@ -10,6 +10,14 @@ export interface WorkspaceManifest {
     readonly questions?: readonly string[];
     readonly evidence?: readonly string[];
     readonly contracts?: readonly string[];
+    /**
+     * Glob patterns naming the artifacts the model intends to cover (#175,
+     * ADR 0130). Not a document category: nothing here is loaded or compiled,
+     * so it never joins ResolvedWorkspace. reconcile resolves the patterns
+     * against the root of the git repository the manifest lives in and reports
+     * every selected file no evidence observation claims.
+     */
+    readonly coverage?: readonly string[];
 }
 export interface ResolvedWorkspace {
     readonly id: string;

package/dist/workspace.d.ts

@@ -10,6 +10,14 @@ export interface WorkspaceManifest {
     readonly questions?: readonly string[];
     readonly evidence?: readonly string[];
     readonly contracts?: readonly string[];
+    /**
+     * Glob patterns naming the artifacts the model intends to cover (#175,
+     * ADR 0130). Not a document category: nothing here is loaded or compiled,
+     * so it never joins ResolvedWorkspace. reconcile resolves the patterns
+     * against the root of the git repository the manifest lives in and reports
+     * every selected file no evidence observation claims.
+     */
+    readonly coverage?: readonly string[];
 }
 export interface ResolvedWorkspace {
     readonly id: string;

package/dist/workspace.js

@@ -21,21 +21,24 @@ export function loadWorkspaceManifest(source, cwd) {
     const realBase = realpathSync(base);
     const resolutionDiagnostics = [];
     const categoryByPath = new Map();
+    const positionOf = (field, index) => {
+        const node = yaml.getIn([field, index], true);
+        const offset = typeof node === 'object' &&
+            node !== null &&
+            'range' in node &&
+            Array.isArray(node.range)
+            ? node.range[0]
+            : 0;
+        return lineCounter.linePos(offset);
+    };
+    const unsafePattern = (pattern) => isAbsolute(pattern) ||
+        /^[A-Za-z]:[\\/]/.test(pattern) ||
+        pattern.includes('\\') ||
+        pattern.split('/').includes('..');
     const expand = (field, label, patterns) => [
         ...new Set(patterns.flatMap((pattern, index) => {
-            const node = yaml.getIn([field, index], true);
-            const offset = typeof node === 'object' &&
-                node !== null &&
-                'range' in node &&
-                Array.isArray(node.range)
-                ? node.range[0]
-                : 0;
-            const position = lineCounter.linePos(offset);
-            const unsafe = isAbsolute(pattern) ||
-                /^[A-Za-z]:[\\/]/.test(pattern) ||
-                pattern.includes('\\') ||
-                pattern.split('/').includes('..');
-            if (unsafe) {
+            const position = positionOf(field, index);
+            if (unsafePattern(pattern)) {
                 resolutionDiagnostics.push({
                     severity: 'error',
                     code: 'YM701',
@@ -111,6 +114,25 @@ export function loadWorkspaceManifest(source, cwd) {
         evidence: expand('evidence', 'evidence', value.evidence ?? []),
         contracts: expand('contracts', 'Core contract', value.contracts ?? []),
     };
+    // Coverage patterns resolve to nothing here: they are not a document
+    // category, and reconcile interprets them against the repository root
+    // (ADR 0130). Load-time validation covers only pattern safety, with the
+    // same guard every resolving category gets — but relative to the
+    // repository, so escaping it is what YM701 refuses.
+    for (const [index, pattern] of (value.coverage ?? []).entries()) {
+        if (!unsafePattern(pattern))
+            continue;
+        const position = positionOf('coverage', index);
+        resolutionDiagnostics.push({
+            severity: 'error',
+            code: 'YM701',
+            message: `Workspace coverage pattern "${pattern}" must be a relative path beneath the repository root`,
+            path: source.path,
+            pointer: `/coverage/${index}`,
+            line: position.line,
+            column: position.col,
+        });
+    }
     if (resolutionDiagnostics.length > 0) {
         return {
             ok: false,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "yarramate",
-  "version": "1.7.0",
+  "version": "1.8.0",
   "description": "Tool-neutral semantic architecture engine and guided methodology",
   "license": "MIT",
   "repository": {

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

@@ -523,6 +523,36 @@
             }
           }
         },
+        {
+          "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,

package/schema/yarramate-reconciliation-report.schema.json

@@ -38,7 +38,17 @@
       "staleAttestations": { "type": "integer", "minimum": 0 },
         "unconfirmedAttestations": { "type": "integer", "minimum": 0 },
         "expectationsCompared": { "type": "integer", "minimum": 0 },
-        "expectationsWithoutObservation": { "type": "integer", "minimum": 0 }
+        "expectationsWithoutObservation": { "type": "integer", "minimum": 0 },
+        "artifactsInScope": {
+          "type": "integer",
+          "minimum": 0,
+          "description": "Files the declared coverage scope selected (ADR 0130). Present exactly when coverage was assessed, so a report without it is one that never looked, not one that found nothing."
+        },
+        "unclaimedArtifacts": {
+          "type": "integer",
+          "minimum": 0,
+          "description": "Artifacts in scope that no observation's repo: locator claims (ADR 0130). Present exactly when coverage was assessed."
+        }
       }
     },
     "findings": {
@@ -53,6 +63,16 @@
       "type": "array",
       "items": { "$ref": "#/$defs/unobservedExpectation" }
     },
+    "coverageScope": {
+      "description": "The coverage patterns as the manifest declared them, echoed so the report is honest about what it was asked to look at (ADR 0130). Present exactly when coverage was assessed.",
+      "type": "array",
+      "items": { "type": "string", "minLength": 1 }
+    },
+    "unclaimedArtifacts": {
+      "description": "Repository-relative paths of in-scope artifacts no observation claims, sorted (ADR 0130). Absence, never accusation: no finding is fabricated and check --strict does not read this. Present when the count is positive.",
+      "type": "array",
+      "items": { "type": "string", "minLength": 1 }
+    },
     "notes": {
       "type": "array",
       "items": { "type": "string", "minLength": 1 }

package/schema/yarramate-workspace.schema.json

@@ -44,6 +44,10 @@
     },
     "contracts": {
       "$ref": "#/$defs/patterns"
+    },
+    "coverage": {
+      "description": "Glob patterns naming the artifacts the model intends to cover (#175, ADR 0130). NOT a document category: nothing here is loaded or compiled. reconcile resolves the patterns against the root of the git repository the manifest lives in and reports every selected file no evidence observation claims. Opt-in; absent means coverage is not assessed and the reconciliation report says so.",
+      "$ref": "#/$defs/patterns"
     }
   },
   "$defs": {