@rse/specbook 1.2.4 → 1.2.6

package/dst/specbook-parse-semantic.js

@@ -5,6 +5,7 @@
 */
 import { referenceRegex, resolveUnique, resolveSet, chainOf, plainText, assignId } from "./specbook-link.js";
 import { compileValueExpr, splitItems, anchored } from "./specbook-parse-value.js";
+import { referencedCoverage } from "./specbook-coverage.js";
 /*  the syntax of a value consisting of exactly one Wiki-style reference  */
 const singleReferenceRegex = /^\[\[([^[\]]+)\]\]$/;
 /*  match a full property value directly against a value expression
@@ -431,50 +432,13 @@ const checkRelations = (ctx, schemas) => {
     of the flag's reference patterns, itself or through an ancestor, while
     the references from within the subtree of the object itself do not
     count (a lapse is a warning only, as the specification stays valid)  */
-const checkReferenced = (ctx, specification, schemas) => {
-    /*  collect the referencing objects of every referenced object
-        (the references from within its own subtree excluded)  */
-    const referrers = new Map();
-    const walk = (object) => {
-        const chain = chainOf(ctx.linkIndex, object);
-        const texts = [object.name, ...object.properties.map((p) => p.value)];
-        if (object.description !== undefined)
-            texts.push(object.description.description, object.description.rationale ?? "");
-        for (const text of texts)
-            for (const m of plainText(text).matchAll(referenceRegex)) {
-                const target = resolveUnique(ctx.linkIndex, m[1].trim(), object).target;
-                if (target !== undefined && !chain.includes(target))
-                    referrers.set(target, (referrers.get(target) ?? new Set()).add(object));
-            }
-        object.children.forEach(walk);
-    };
-    for (const artifact of specification.artifacts)
-        artifact.objects.forEach(walk);
-    /*  resolve the reference patterns of every flagged kind into the
-        admissible referencing objects (once per shared schema node)  */
-    const sources = new Map();
-    for (const [object, schema] of schemas) {
-        if (schema.referenced === undefined)
-            continue;
-        let admissible = sources.get(schema);
-        if (admissible === undefined) {
-            admissible = new Set();
-            for (const entry of schema.referenced) {
-                const expr = compileValueExpr(entry);
-                if (expr.kind === "reference")
-                    for (const source of resolveSet(ctx.linkIndex, expr.pattern))
-                        admissible.add(source);
-            }
-            sources.set(schema, admissible);
-        }
-        const covered = Array.from(referrers.get(object) ?? [])
-            .some((referrer) => chainOf(ctx.linkIndex, referrer).some((o) => admissible.has(o)));
-        if (!covered) {
+const checkReferenced = (ctx, schemas) => {
+    for (const { schema, uncovered } of referencedCoverage(ctx.linkIndex, schemas))
+        for (const object of uncovered) {
             const meta = ctx.metaOf(object);
             ctx.diagnose(meta.file, meta.line, `${object.kind} "${object.name}" is not referenced from any object matching ` +
-                schema.referenced.map((entry) => `"${entry}"`).join(" or "), "warning");
+                (schema.referenced ?? []).map((entry) => `"${entry}"`).join(" or "), "warning");
         }
-    }
 };
 /*  validate the parsed specification against the configuration  */
 export const validate = (ctx, specification, config) => {
@@ -527,7 +491,7 @@ export const validate = (ctx, specification, config) => {
         been validated on its own  */
     checkRelations(ctx, schemas);
     checkAutomata(ctx, schemas);
-    checkReferenced(ctx, specification, schemas);
+    checkReferenced(ctx, schemas);
     /*  order the artifacts exactly along the schema definition  */
     specification.artifacts.sort((a, b) => (position.get(a) ?? config.length) - (position.get(b) ?? config.length));
 };

package/dst/specbook-parse.d.ts

@@ -2,7 +2,7 @@ import { Spec } from "./specbook-format-spec.js";
 import { type Schema } from "./specbook-format-schema.js";
 import { type SourceFile, type ParseResult } from "./specbook-parse-common.js";
 export { type SourceFile, type ParseResult } from "./specbook-parse-common.js";
-export { resolveArtifact } from "./specbook-parse-semantic.js";
+export { resolveArtifact, collectSchemas } from "./specbook-parse-semantic.js";
 export declare const parseSpecification: (sources: SourceFile[], config?: Schema) => ParseResult;
 export declare const specStatistics: (specification: Spec) => {
     objects: number;

package/dst/specbook-parse.js

@@ -10,7 +10,7 @@ import { ParseContext } from "./specbook-parse-common.js";
 import { parseFile } from "./specbook-parse-syntax.js";
 import { validate, validateReferences } from "./specbook-parse-semantic.js";
 import { validateDiagrams } from "./specbook-diagram.js";
-export { resolveArtifact } from "./specbook-parse-semantic.js";
+export { resolveArtifact, collectSchemas } from "./specbook-parse-semantic.js";
 /*  parse a set of specification Markdown files into the specification
     AST and optionally validate the result against a configuration  */
 export const parseSpecification = (sources, config) => {

package/package.json

@@ -1,6 +1,6 @@
 {
     "name":                                "@rse/specbook",
-    "version":                             "1.2.4",
+    "version":                             "1.2.6",
     "publishConfig":                       { "access": "public" },
     "description":                         "Markdown-based Specification Format (API, CLI and MCP service)",
     "license":                             "Apache-2.0",
@@ -24,15 +24,15 @@
         "pdf-lib":                         "1.17.1",
         "subset-font":                     "2.7.0",
         "@rse/mrcs":                       "0.9.2",
-        "@rse/gradia":                     "1.1.9",
+        "@rse/gradia":                     "1.2.1",
         "@toon-format/toon":               "4.1.1",
         "valibot":                         "1.4.2",
         "nunjucks":                        "3.2.4",
         "@rse/nunjucks-addons":            "2.2.0",
         "textframe":                       "1.2.1",
-        "@swc/html":                       "1.16.1",
+        "@swc/html":                       "1.16.2",
         "tokenizr":                        "2.2.1",
-        "playwright":                      "1.62.1",
+        "playwright":                      "1.63.0",
         "source-code-error":               "1.2.0",
         "commander":                       "15.0.0",
         "chalk":                           "6.0.0",
@@ -64,7 +64,7 @@
         "source-code-pro":                 "2.42.0",
         "@fontsource/noto-sans-symbols":   "5.3.0",
         "postcss":                         "8.5.28",
-        "postcss-cli":                     "11.0.1",
+        "postcss-cli":                     "12.0.0",
         "postcss-url":                     "10.1.4",
         "stylus":                          "0.64.0",
         "@rse/stx":                        "1.1.6",