@shrkcrft/inspector 0.1.0-alpha.31 → 0.1.0-alpha.32

package/dist/knowledge-stale.js

@@ -24,7 +24,8 @@
 import { existsSync, readdirSync, readFileSync, statSync } from 'node:fs';
 import * as nodePath from 'node:path';
 import { globListSelects, globToRegex } from '@shrkcrft/boundaries';
-import { KNOWLEDGE_REFERENCE_KINDS, todayUtcIso, verifiedOnAgeDays, } from '@shrkcrft/knowledge';
+import { KnowledgeReferenceRoot } from '@shrkcrft/core';
+import { KNOWLEDGE_REFERENCE_KINDS, referenceRootProblem, anchorShapeProblem, anchorsListProblem, declaredAnchorItems, declaredReferenceItems, knowledgeAnchors, knowledgeSourceFormat, referenceShapeProblem, referencesListProblem, todayUtcIso, verifiedOnAgeDays, } from '@shrkcrft/knowledge';
 import { isCacheBackedKind, isReferenceCacheWarm, referenceIdExists, referenceIdsFor, } from "./reference-registry.js";
 import { listPolicyDeclarations } from "./policy-registry.js";
 import { checkReferenceContent, checkReferenceCount, hasContentAssertion, } from "./reference-content-check.js";
@@ -32,13 +33,28 @@ import { ReferenceFailure } from "./reference-failure.js";
 import { KnowledgeEntryVerdict } from "./knowledge-entry-verdict.js";
 import { KnowledgeUnverifiableReason } from "./knowledge-unverifiable-reason.js";
 import { KnowledgeAdvisoryCode } from "./knowledge-advisory-code.js";
+import { knowledgeRejectedEntries } from "./knowledge-entry-rejections.js";
 import { ReferenceAssetKind } from "./reference-asset-kind.js";
+import { stalePathHint } from "./stale-path-hint.js";
 import { buildSymbolIndex } from "./symbol-index.js";
 // The `command` reference case (and its anchor twin) — one injected resolver.
 import { COMMAND_INDEX_NOT_INJECTED, resolveShrkCommandReference } from "./reference-registry.js";
 import { CommandResolutionStatus } from "./command-resolution-status.js";
 import { resolveSymbolInFile, SymbolResolution } from "./symbol-index.js";
+import { packOriginByName, packOriginOfFile } from "./reference-pack-origin.js";
 export const KNOWLEDGE_STALE_SCHEMA = 'sharkcraft.knowledge-stale/v1';
+/** The `byReferenceKind` bucket of an item with no kind to bucket under (a string, a non-list value). */
+const MALFORMED_KIND_BUCKET = '(malformed)';
+/**
+ * A declared value as a check row carries it: `null` / `undefined` become their
+ * text, so no renderer dereferences them; anything else as declared
+ * (`formatKnowledgeReference` renders a non-object as written). The CHECK reads
+ * the original, so a `null` item says "is not an object (got null)" — the
+ * validator's words — not "is the string \"null\"".
+ */
+function displayedReference(value) {
+    return (value === null || value === undefined ? String(value) : value);
+}
 export var ReferenceCheckOutcome;
 (function (ReferenceCheckOutcome) {
     ReferenceCheckOutcome["Ok"] = "ok";
@@ -269,11 +285,20 @@ function workspacePackages(inspection) {
     WORKSPACE_PACKAGES.set(inspection, out);
     return out;
 }
-function checkPackageReference(inspection, id) {
+function checkPackageReference(inspection, id, origin) {
     const dir = workspacePackages(inspection).get(id);
     if (dir) {
         return { outcome: ReferenceCheckOutcome.Ok, message: `Package exists: ${id} (${dir})` };
     }
+    // A pack's entry naming the pack that ships it (round 15 follow-up): the
+    // consumer's root package.json names neither its installed packs nor their
+    // names, but the contributing pack is installed by definition.
+    if (origin && origin.packageName === id) {
+        return {
+            outcome: ReferenceCheckOutcome.Ok,
+            message: `Package exists: ${id} (the contributing pack, installed at ${origin.displayRoot})`,
+        };
+    }
     // Last-resort backstop for repos without a `workspaces` field — reported as
     // probable, because a directory name is not a package name.
     const rel = id.startsWith('@') ? (id.split('/')[1] ?? '') : id;
@@ -479,14 +504,102 @@ function escapeRe(s) {
  * `contains` / `matches` / `count`, does the target still say what the asset
  * claims. Every non-ok result carries a {@link ReferenceFailure}.
  */
-function checkReference(inspection, ref, graph, excludeDirs = []) {
-    const base = checkReferenceTarget(inspection, ref, graph);
-    const result = base.outcome === ReferenceCheckOutcome.Ok
-        ? applyAssertions(inspection.projectRoot, ref, base, excludeDirs)
-        : base;
-    if (result.outcome === ReferenceCheckOutcome.Ok || result.failure !== undefined)
+function checkReference(inspection, ref, graph, excludeDirs = [], origin, subject) {
+    // THE item-shape predicate the validator applies (a string the grammar
+    // refused, a number, a non-string `path`): MALFORMED here — never a crash in a
+    // path join, never a silent row.
+    const shape = referenceShapeProblem(ref);
+    if (shape) {
+        return {
+            outcome: ReferenceCheckOutcome.Invalid,
+            failure: ReferenceFailure.Malformed,
+            message: `malformed reference: ${shape}.`,
+        };
+    }
+    // THE `root` predicate the validator applies (round 15 follow-up): `root:
+    // pack` on an asset no pack contributes is MALFORMED — never a silent
+    // fallback to the project root, which would read a different file.
+    const rootProblem = referenceRootProblem(ref, origin !== undefined);
+    if (rootProblem?.severity === 'error') {
+        return {
+            outcome: ReferenceCheckOutcome.Invalid,
+            failure: ReferenceFailure.Malformed,
+            message: `malformed reference: ${rootProblem.message}.`,
+        };
+    }
+    // A `root: pack` that has an effect (the predicate's warning means none)
+    // moves every path read — the target, `contains` / `matches`, a `count`
+    // source — into the contributing pack's directory. The consumer's code graph
+    // never indexes a pack's files, and its count exclusions are consumer paths.
+    const pack = origin !== undefined && rootProblem === undefined && isPackRooted(ref) ? origin : undefined;
+    const rootDir = pack ? pack.packageRoot : inspection.projectRoot;
+    const base = checkReferenceTarget(inspection, ref, pack ? undefined : graph, rootDir, origin);
+    const asserted = base.outcome === ReferenceCheckOutcome.Ok ? applyAssertions(rootDir, ref, base, pack ? [] : excludeDirs) : base;
+    const result = asserted.outcome === ReferenceCheckOutcome.Ok || asserted.failure !== undefined
+        ? asserted
+        : { ...asserted, failure: defaultFailure(ref.kind, asserted.outcome) };
+    const labelled = pack ? packRootedResult(result, pack) : result;
+    return withStalePathHint(labelled, ref, origin, pack !== undefined, subject);
+}
+/** A reference whose path resolves against its contributing pack's directory (`root: pack`). */
+function isPackRooted(ref) {
+    return ref !== null && typeof ref === 'object' && ref.root === KnowledgeReferenceRoot.Pack;
+}
+/**
+ * Every row of a pack-rooted reference names the root it resolved against —
+ * the renderers (text, gate violations, markdown, MCP) all print the message.
+ * A missing path is fixed in the pack, never by a consumer-side rename (the
+ * hint is {@link stalePathHint}'s).
+ */
+function packRootedResult(result, pack) {
+    return { ...result, message: `${result.message} (root: pack — ${pack.packageName} at ${pack.displayRoot})` };
+}
+/**
+ * A missing path's hint, from THE authority ({@link stalePathHint}, round 15
+ * closing A3): who declared the reference decides who fixes it — a pack (the
+ * round-15 repro: a pack doc referencing its own file read STALE, with a hint
+ * to rename a file the consumer does not own), a Markdown entry's frontmatter,
+ * or a rename. No other code path sets a missing path's `suggestion`.
+ */
+function withStalePathHint(result, ref, origin, packRooted, subject) {
+    if (result.failure !== ReferenceFailure.PathMissing || typeof ref.path !== 'string' || ref.path === '')
         return result;
-    return { ...result, failure: defaultFailure(ref.kind, result.outcome) };
+    const suggestion = stalePathHint({
+        kind: String(ref.kind),
+        path: normalizeRel(ref.path),
+        packRooted,
+        ...(origin !== undefined ? { pack: origin } : {}),
+        ...(subject?.sourceFormat !== undefined ? { sourceFormat: subject.sourceFormat } : {}),
+        ...(subject?.source !== undefined ? { source: subject.source } : {}),
+    });
+    return suggestion === undefined ? result : { ...result, suggestion };
+}
+/**
+ * A reference as the changeset scope sees it: a pack-rooted path — and a
+ * pack-rooted `count` source's globs, the tree the count is MEASURED over —
+ * made project-relative. Unprefixed, a count over the pack's `src/*.ts` was
+ * scoped in by a change to the CONSUMER's `src/` and never by the pack's.
+ */
+function scopedReference(ref, origin) {
+    if (!origin || !isPackRooted(ref) || origin.displayRoot === '.')
+        return ref;
+    const at = (rel) => `${origin.displayRoot}/${normalizeRel(rel)}`;
+    const globs = ref.count?.source?.files;
+    return {
+        ...ref,
+        ...(typeof ref.path === 'string' ? { path: at(ref.path) } : {}),
+        ...(ref.count && Array.isArray(globs)
+            ? {
+                count: {
+                    ...ref.count,
+                    source: {
+                        ...ref.count.source,
+                        files: globs.map((g) => (typeof g === 'string' && g.startsWith('!') ? `!${at(g.slice(1))}` : at(String(g)))),
+                    },
+                },
+            }
+            : {}),
+    };
 }
 /** The failure mode of a non-ok check that did not name one. */
 function defaultFailure(kind, outcome) {
@@ -543,8 +656,10 @@ function assertionFailure(base, a, what) {
     };
 }
 /** Does the reference's TARGET exist? (Assertions are layered on by {@link checkReference}.) */
-function checkReferenceTarget(inspection, ref, graph) {
-    const projectRoot = inspection.projectRoot;
+function checkReferenceTarget(inspection, ref, graph, rootDir = inspection.projectRoot, origin) {
+    // The directory a path resolves against: the project root, or the
+    // contributing pack's directory for a `root: pack` reference.
+    const projectRoot = rootDir;
     switch (ref.kind) {
         case 'file': {
             if (!ref.path)
@@ -564,7 +679,7 @@ function checkReferenceTarget(inspection, ref, graph) {
                 outcome: ReferenceCheckOutcome.Stale,
                 failure: ReferenceFailure.PathMissing,
                 message: `Directory missing: ${ref.path}`,
-                suggestion: 'Move the directory or update the knowledge reference.',
+                // The hint is {@link stalePathHint}'s — who declared it decides (A3).
             };
         }
         case 'symbol': {
@@ -615,7 +730,7 @@ function checkReferenceTarget(inspection, ref, graph) {
         case 'package': {
             if (!ref.id)
                 return missingField('package', 'id');
-            return checkPackageReference(inspection, ref.id);
+            return checkPackageReference(inspection, ref.id, origin);
         }
         case 'url': {
             // We never fetch URLs. Mark them unknown unless we can resolve to a
@@ -643,12 +758,12 @@ function missingField(kind, field) {
         message: `malformed reference: ${kind} reference missing required field \`${field}\`.`,
     };
 }
+/** A missing file — its hint is {@link stalePathHint}'s, who declared the reference decides (A3). */
 function staleFile(rel) {
     return {
         outcome: ReferenceCheckOutcome.Stale,
         failure: ReferenceFailure.PathMissing,
         message: `File missing: ${rel}`,
-        suggestion: 'Restore the file or run `shrk knowledge rename-file <old> <new> --dry-run`.',
     };
 }
 function staleId(kind, id) {
@@ -700,7 +815,10 @@ function subjectTouchesChangedFiles(subject, changed) {
     if (changedList.includes(normalizeScopePath(subject.source)))
         return true;
     for (const ref of subject.references ?? []) {
-        if (pathTouched(ref.path, changedList))
+        // A malformed item (a string, a number) points at no path.
+        if (ref === null || typeof ref !== 'object')
+            continue;
+        if (pathTouched(typeof ref.path === 'string' ? ref.path : undefined, changedList))
             return true;
         // The scope the count is MEASURED over (`inspectSource` selects through
         // `globListSelects`), so a change to a file its `!` excludes is no touch.
@@ -822,10 +940,14 @@ const PATH_ONLY_ADVISORY_CAP = 5;
  * — the strong form (`symbol` pinned to the path) catches it. Never gating.
  */
 function pathOnlyAdvisories(projectRoot, entry, refs, cache) {
-    if (refs.length === 0 || !refs.every((r) => r.kind === 'file' || r.kind === 'directory'))
+    // A malformed item (a string, a null, a non-string path) earns no advisory — it is an INVALID row.
+    if (refs.length === 0 ||
+        !refs.every((r) => referenceShapeProblem(r) === undefined && (r.kind === 'file' || r.kind === 'directory'))) {
         return [];
+    }
     const files = refs
-        .filter((r) => r.kind === 'file' && r.path !== undefined && TS_SOURCE.test(r.path))
+        // A pack-rooted path names a file in the pack, not in this tree (round 15 follow-up).
+        .filter((r) => r.kind === 'file' && r.path !== undefined && TS_SOURCE.test(r.path) && !isPackRooted(r))
         .map((r) => r.path);
     if (files.length === 0)
         return [];
@@ -916,12 +1038,12 @@ export function buildKnowledgeStaleReport(inspection, options = {}) {
      * for a knowledge entry, a boundary rule and a policy check, so every asset
      * kind is verified by one checker.
      */
-    const checkOne = (subjectId, ref, assetKind) => {
-        const result = checkReference(inspection, ref, options.graph, excludeDirs);
+    const checkOne = (subjectId, ref, assetKind, origin, subject) => {
+        const result = checkReference(inspection, ref, options.graph, excludeDirs, origin, subject);
         const outcome = result.outcome;
         const check = {
             entryId: subjectId,
-            reference: ref,
+            reference: displayedReference(ref),
             outcome,
             message: result.message,
             ...(result.confidence ? { symbolConfidence: result.confidence } : {}),
@@ -931,10 +1053,16 @@ export function buildKnowledgeStaleReport(inspection, options = {}) {
             ...(result.actual !== undefined ? { actual: result.actual } : {}),
             ...(assetKind ? { assetKind } : {}),
         };
-        tallyOutcome((byReferenceKind[ref.kind] ??= { checked: 0, ok: 0, stale: 0, missing: 0, unknown: 0, invalid: 0 }), outcome);
+        // A malformed item (a string, a number) has no kind to bucket under.
+        const kindKey = ref !== null && typeof ref === 'object' && typeof ref.kind === 'string' ? ref.kind : MALFORMED_KIND_BUCKET;
+        tallyOutcome((byReferenceKind[kindKey] ??= { checked: 0, ok: 0, stale: 0, missing: 0, unknown: 0, invalid: 0 }), outcome);
         if (result.failure)
             failureCounts[result.failure] += 1;
         const isStaleOrMissing = outcome === ReferenceCheckOutcome.Stale || outcome === ReferenceCheckOutcome.Missing;
+        // A pack's reference is fixed in the pack (round 15 follow-up): a candidate
+        // from THIS tree is never its rename — `fix --knowledge-stale` would point
+        // a pack's entry at a consumer file. Its hint names `root: pack` instead.
+        const findRename = isStaleOrMissing && origin === undefined;
         // A bare MEMBER name: the qualified spelling resolves in the same file, so
         // it is the replacement (`shrk fix --knowledge-stale` applies it).
         if (isStaleOrMissing && result.suggestedSymbol) {
@@ -948,7 +1076,7 @@ export function buildKnowledgeStaleReport(inspection, options = {}) {
         // only for the single unambiguous candidate. Wide mode also
         // emits scored candidate lists for the multi-candidate cases that
         // strict silently drops.
-        if (isStaleOrMissing && ref.kind === 'symbol' && ref.symbol && !check.replaceWith) {
+        if (findRename && ref.kind === 'symbol' && ref.symbol && !check.replaceWith) {
             const all = (getSymbolIndex().get(ref.symbol) ?? []).filter((p) => p !== ref.path);
             if (all.length === 1) {
                 check.replaceWith = {
@@ -966,7 +1094,7 @@ export function buildKnowledgeStaleReport(inspection, options = {}) {
             }
         }
         // File rename detection (directory move, basename match).
-        if (isStaleOrMissing && ref.kind === 'file' && ref.path && !check.replaceWith) {
+        if (findRename && ref.kind === 'file' && ref.path && !check.replaceWith) {
             const indexed = getFileBasenameIndex();
             const uniq = pickUniqueRenameCandidate(ref.path, indexed);
             if (uniq) {
@@ -988,7 +1116,7 @@ export function buildKnowledgeStaleReport(inspection, options = {}) {
             }
         }
         // Directory rename detection.
-        if (isStaleOrMissing && ref.kind === 'directory' && ref.path && !check.replaceWith) {
+        if (findRename && ref.kind === 'directory' && ref.path && !check.replaceWith) {
             const indexed = getDirBasenameIndex();
             const uniq = pickUniqueRenameCandidate(ref.path, indexed);
             if (uniq) {
@@ -1012,21 +1140,61 @@ export function buildKnowledgeStaleReport(inspection, options = {}) {
         return check;
     };
     for (const entry of inspection.knowledgeEntries) {
+        // EVERY declared item is judged (`declaredReferenceItems` /
+        // `declaredAnchorItems`): a non-list `references` or `anchors` is never
+        // iterated (it crashed every inspection-backed verb) — each is reported
+        // below as one INVALID row — and a malformed item is checked into an
+        // INVALID row carrying the validator's words (`displayedReference`).
+        const refs = declaredReferenceItems(entry);
+        const anchorItems = declaredAnchorItems(entry);
+        // The contributing pack (round 15 follow-up) — what a `root: pack` reference resolves against.
+        const entrySource = inspection.entrySources?.get(entry.id);
+        const packOrigin = entrySource?.type === 'pack' ? packOriginByName(inspection, entrySource.packageName) : undefined;
         if (options.changedFiles &&
             !subjectTouchesChangedFiles({
                 source: relativeSource(projectRoot, entry.source?.origin),
-                references: entry.references ?? [],
-                anchors: entry.anchors ?? [],
+                references: refs.map((r) => scopedReference(r, packOrigin)),
+                anchors: knowledgeAnchors(entry),
             }, options.changedFiles)) {
             continue;
         }
-        const refs = entry.references ?? [];
-        const anchors = entry.anchors ?? [];
+        const sourceFormat = knowledgeSourceFormat(entry);
         let checkable = 0;
         let failing = 0;
+        // A non-list `references` / `anchors` value (TypeScript or Markdown), or a
+        // malformed anchor item: declared, never checkable — MALFORMED, the same
+        // problem the validator reports. One INVALID row each.
+        const malformedRow = (declaredValue, message) => {
+            counts.invalid += 1;
+            failureCounts[ReferenceFailure.Malformed] += 1;
+            tallyOutcome((byReferenceKind[MALFORMED_KIND_BUCKET] ??= { checked: 0, ok: 0, stale: 0, missing: 0, unknown: 0, invalid: 0 }), ReferenceCheckOutcome.Invalid);
+            referenceChecks.push({
+                entryId: entry.id,
+                // As declared: a string renders as written, a map as `kind:value`.
+                reference: displayedReference(declaredValue),
+                outcome: ReferenceCheckOutcome.Invalid,
+                failure: ReferenceFailure.Malformed,
+                message,
+            });
+        };
+        const listProblem = referencesListProblem(entry.references, sourceFormat);
+        if (listProblem) {
+            totalReferences += 1;
+            malformedRow(entry.references, `malformed reference: ${listProblem}.`);
+        }
+        // An anchor row names WHICH anchor (`anchors`, `anchor #N` — the doctor's
+        // spelling): rendered through the reference grammar, an anchor object read
+        // `undefined:<id>`.
+        const anchorsProblem = anchorsListProblem(entry.anchors);
+        if (anchorsProblem) {
+            totalAnchors += 1;
+            malformedRow('anchors', `malformed anchor: ${anchorsProblem}.`);
+        }
+        // Who fixes a missing path (A3): a Markdown entry names its `references:` frontmatter.
+        const hintSubject = { sourceFormat, source: relativeSource(projectRoot, entry.source?.origin) };
         for (const ref of refs) {
             totalReferences += 1;
-            const check = checkOne(entry.id, ref);
+            const check = checkOne(entry.id, ref, undefined, packOrigin, hintSubject);
             if (check.outcome === ReferenceCheckOutcome.Ok)
                 counts.ok += 1;
             else if (check.outcome === ReferenceCheckOutcome.Stale)
@@ -1044,8 +1212,16 @@ export function buildKnowledgeStaleReport(inspection, options = {}) {
             }
             referenceChecks.push(check);
         }
-        for (const anchor of anchors) {
+        for (const [i, item] of anchorItems.entries()) {
             totalAnchors += 1;
+            // THE anchor item-shape predicate the validator applies: a `null` item
+            // crashed `checkAnchor` (`anchor.kind`), a non-string path its path join.
+            const shape = anchorShapeProblem(item);
+            if (shape) {
+                malformedRow(`anchor #${i + 1}`, `malformed anchor: ${shape}.`);
+                continue;
+            }
+            const anchor = item;
             const inspected = checkAnchor(inspection, anchor, options.graph);
             const failure = inspected.outcome === ReferenceCheckOutcome.Ok
                 ? undefined
@@ -1066,18 +1242,21 @@ export function buildKnowledgeStaleReport(inspection, options = {}) {
             });
         }
         const verdict = classifyChecks(checkable, failing);
-        const declared = refs.length + anchors.length;
+        const declared = refs.length + anchorItems.length + (listProblem ? 1 : 0) + (anchorsProblem ? 1 : 0);
         const reason = verdict !== KnowledgeEntryVerdict.Unverifiable
             ? undefined
             : declared === 0
                 ? KnowledgeUnverifiableReason.NoReferences
                 : KnowledgeUnverifiableReason.OnlyUnverifiableReferences;
         const type = String(entry.type);
+        const origin = inspection.entrySources?.get(entry.id);
         entryVerdicts.push({
             entryId: entry.id,
             verdict,
             ...(reason ? { reason } : {}),
             source: relativeSource(projectRoot, entry.source?.origin),
+            sourceFormat,
+            ...(origin?.type === 'pack' && origin.packageName ? { pack: origin.packageName } : {}),
             type,
             checkable,
             failing,
@@ -1112,15 +1291,29 @@ export function buildKnowledgeStaleReport(inspection, options = {}) {
             references: p.references ?? [],
         })),
     ];
+    // The contributing pack of a boundary rule / policy check a pack declares
+    // (round 15 follow-up) — the same `root: pack` resolution a knowledge entry gets.
+    const subjectPackOrigin = (subject) => {
+        if (subject.assetKind === ReferenceAssetKind.BoundaryRule) {
+            const src = inspection.boundarySources?.get(subject.id);
+            return src?.type === 'pack' ? packOriginByName(inspection, src.packageName) : undefined;
+        }
+        const decl = policyDecls.find((p) => p.qualifiedId === subject.id);
+        return decl?.source === 'pack' ? packOriginOfFile(inspection, decl.sourceFile) : undefined;
+    };
     for (const subject of subjects) {
+        const packOrigin = subjectPackOrigin(subject);
         if (options.changedFiles &&
-            !subjectTouchesChangedFiles({ source: subject.source ?? '(unknown source)', references: subject.references }, options.changedFiles)) {
+            !subjectTouchesChangedFiles({
+                source: subject.source ?? '(unknown source)',
+                references: subject.references.map((r) => scopedReference(r, packOrigin)),
+            }, options.changedFiles)) {
             continue;
         }
         let checkable = 0;
         let failing = 0;
         for (const ref of subject.references) {
-            const check = checkOne(subject.id, ref, subject.assetKind);
+            const check = checkOne(subject.id, ref, subject.assetKind, packOrigin);
             if (isCheckableOutcome(check.outcome)) {
                 checkable += 1;
                 if (isFailingOutcome(check.outcome))
@@ -1227,6 +1420,7 @@ export function buildKnowledgeStaleReport(inspection, options = {}) {
         coverage,
         entryVerdicts,
         unverifiableIds,
+        rejectedEntries: knowledgeRejectedEntries(inspection),
         failureCounts,
         byAssetKind,
         byEntryType,

package/dist/knowledge-unverifiable-remedy.d.ts

@@ -0,0 +1,56 @@
+import type { IKnowledgeEntryVerdictRecord } from './knowledge-entry-verdict-record.js';
+import { KnowledgeMinReferencedValve } from './knowledge-min-referenced-valve.js';
+import type { IUnverifiableRemedyGroup } from './i-unverifiable-remedy-group.js';
+/** The channel sentence: both formats can declare references. */
+export declare const DECLARE_REFERENCES_REMEDY = "Declare references[] (TypeScript) or a references: frontmatter list (Markdown)";
+/** The valve a surface names (the verb takes the flag; `quality` refuses it). */
+export declare function minReferencedValveText(valve: KnowledgeMinReferencedValve): string;
+/**
+ * The fix for ONE unverifiable entry — `undefined` only for a local TypeScript
+ * (or other non-Markdown) entry that declares NOTHING (the heading names
+ * `references[]`). It branches on the verdict REASON (round 15 closing, A4): an
+ * entry that declares references, none checkable (a malformed item — a
+ * non-boolean `required`, an unknown kind or `root` — or only `url:`s), is told
+ * to fix what it declared, never to "add a references: frontmatter list" /
+ * "declare references[]" it already has. A pack's entries are fixed upstream;
+ * their `file:` / `directory:` paths resolve against the CONSUMER's root unless
+ * the reference declares `root: pack` (round 15 follow-up, F7 — then against
+ * the pack's own directory), and `package:` reads the consumer's root
+ * package.json plus the pack's own name.
+ */
+export declare function unverifiableFileRemedy(v: Pick<IKnowledgeEntryVerdictRecord, 'sourceFormat' | 'pack' | 'reason'>): string | undefined;
+/**
+ * {@link unverifiableFileRemedy} for EVERY entry — what a per-entry row (the
+ * `--require-references` violation) prints: a local TypeScript entry that
+ * declares nothing is told to declare `references[]`, one whose references are
+ * all uncheckable to fix them (it read "declare references[]").
+ */
+export declare function unverifiableEntryRemedy(v: Pick<IKnowledgeEntryVerdictRecord, 'sourceFormat' | 'pack' | 'reason'>): string;
+/**
+ * The heading of the unverifiable list, after `UNVERIFIABLE (N) — never
+ * checked; ` — by reason (round 15 closing, A4): it told every entry to
+ * "declare references[] …, a references: frontmatter list (Markdown) or
+ * anchors[]", over entries whose references exist and are malformed.
+ */
+export declare function unverifiableListHeading(verdicts: readonly Pick<IKnowledgeEntryVerdictRecord, 'verdict' | 'reason'>[]): string;
+/**
+ * The remedy sentence for a run with unverifiable entries: the channel (or,
+ * for entries that declare references none of which is checkable, the fix to
+ * them — round 15 closing, A4), the valve this surface can name, and — when a
+ * pack contributed any of them — the pack that fixes them upstream.
+ */
+export declare function unverifiableRemedy(verdicts: readonly Pick<IKnowledgeEntryVerdictRecord, 'verdict' | 'pack' | 'reason'>[], valve: KnowledgeMinReferencedValve): string;
+/**
+ * Unverifiable entries grouped by declaring file AND remedy, in report order —
+ * THE grouping the stale-check's per-file lines and `quality`'s notes read. A
+ * file whose entries need different fixes gets one group per fix: the first
+ * entry's remedy used to speak for its whole file (round 15 closing, A4).
+ */
+export declare function unverifiableRemedyGroups(verdicts: readonly Pick<IKnowledgeEntryVerdictRecord, 'entryId' | 'verdict' | 'source' | 'sourceFormat' | 'pack' | 'reason'>[]): IUnverifiableRemedyGroup[];
+/**
+ * `<file>: <remedy>` for each file whose unverifiable entries need more than
+ * `references[]`, capped — `<file> (<ids>): <remedy>` when that file's entries
+ * need different fixes ({@link unverifiableRemedyGroups}).
+ */
+export declare function unverifiableFileRemedies(verdicts: readonly Pick<IKnowledgeEntryVerdictRecord, 'entryId' | 'verdict' | 'source' | 'sourceFormat' | 'pack' | 'reason'>[]): string[];
+//# sourceMappingURL=knowledge-unverifiable-remedy.d.ts.map

package/dist/knowledge-unverifiable-remedy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge-unverifiable-remedy.d.ts","sourceRoot":"","sources":["../src/knowledge-unverifiable-remedy.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,qCAAqC,CAAC;AACxF,OAAO,EAAE,2BAA2B,EAAE,MAAM,qCAAqC,CAAC;AAClF,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAEjF,iEAAiE;AACjE,eAAO,MAAM,yBAAyB,mFAC4C,CAAC;AAKnF,iFAAiF;AACjF,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,2BAA2B,GAAG,MAAM,CAIjF;AAWD;;;;;;;;;;;;GAYG;AACH,wBAAgB,sBAAsB,CACpC,CAAC,EAAE,IAAI,CAAC,4BAA4B,EAAE,cAAc,GAAG,MAAM,GAAG,QAAQ,CAAC,GACxE,MAAM,GAAG,SAAS,CAyBpB;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,CAAC,EAAE,IAAI,CAAC,4BAA4B,EAAE,cAAc,GAAG,MAAM,GAAG,QAAQ,CAAC,GACxE,MAAM,CAER;AAiBD;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,SAAS,IAAI,CAAC,4BAA4B,EAAE,SAAS,GAAG,QAAQ,CAAC,EAAE,GAAG,MAAM,CAK7H;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,SAAS,IAAI,CAAC,4BAA4B,EAAE,SAAS,GAAG,MAAM,GAAG,QAAQ,CAAC,EAAE,EACtF,KAAK,EAAE,2BAA2B,GACjC,MAAM,CAmBR;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,SAAS,IAAI,CAAC,4BAA4B,EAAE,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,cAAc,GAAG,MAAM,GAAG,QAAQ,CAAC,EAAE,GAC7H,wBAAwB,EAAE,CAc5B;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,SAAS,IAAI,CAAC,4BAA4B,EAAE,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,cAAc,GAAG,MAAM,GAAG,QAAQ,CAAC,EAAE,GAC7H,MAAM,EAAE,CAUV"}

package/dist/pack-contributions-inventory.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pack-contributions-inventory.d.ts","sourceRoot":"","sources":["../src/pack-contributions-inventory.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAQvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,qCAAqC,CAAC;AAGvF,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE1D,eAAO,MAAM,mCAAmC,+CACF,CAAC;AAE/C,oBAAY,kBAAkB;IAC5B,OAAO,YAAY;IACnB,KAAK,UAAU;IACf,IAAI,SAAS;IACb,OAAO,YAAY;CACpB;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,GAAG,YAAY,GAAG,gBAAgB,GAAG,WAAW,CAAC;AAE3E,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,IAAI,GAAG,SAAS,GAAG,OAAO,CAAC;IAChD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,wDAAwD;IACxD,QAAQ,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;IACzC,6CAA6C;IAC7C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;CACjD;AAED,oBAAY,YAAY;IACtB,mBAAmB,2BAA2B;IAC9C,0BAA0B,kCAAkC;IAC5D,mBAAmB,0BAA0B;IAC7C,kBAAkB,yBAAyB;IAC3C,mBAAmB,yBAAyB;IAC5C,mBAAmB,0BAA0B;IAC7C,cAAc,oBAAoB;IAClC,kBAAkB,wBAAwB;IAC1C,aAAa,mBAAmB;CACjC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,SAAS;QACzB,MAAM,EAAE,kBAAkB,CAAC;QAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,EAAE,CAAC;IACJ,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IAChD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,MAAM,EAAE,OAAO,mCAAmC,CAAC;IAC5D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC,CAAC,CAAC;IAChF,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,OAAO,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACrD,QAAQ,CAAC,KAAK,EAAE,SAAS;QACvB,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;QAChB,IAAI,EAAE,MAAM,CAAC;QACb,gBAAgB,EAAE,OAAO,CAAC;KAC3B,EAAE,CAAC;IACJ;;;;OAIG;IACH,QAAQ,CAAC,gBAAgB,EAAE;QACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;KAC3B,CAAC;IACF;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,SAAS;QAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;KACxC,EAAE,CAAC;IACJ;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS;QAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;QAChC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;QACpC,QAAQ,CAAC,KAAK,EAAE,2BAA2B,CAAC,OAAO,CAAC,CAAC;KACtD,EAAE,CAAC;IACJ;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAAC;CACjC;AAUD;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAAQ,CAAC,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAoC5E,CAAC;AAEH,8GAA8G;AAC9G,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAGlF;AAwTD;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,qBAAqB,GAChC,2BAA2B,CAE7B;AAED;;;GAGG;AACH,wBAAsB,oCAAoC,CACxD,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,2BAA2B,CAAC,CAGtC;AAyVD,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,2BAA2B,GAAG,MAAM,CAkD5E;AAED,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,2BAA2B,GAAG,MAAM,CA4DhF;AAED,wBAAgB,eAAe,CAC7B,GAAG,EAAE,2BAA2B,GAC/B,SAAS,qBAAqB,EAAE,CAElC;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,2BAA2B,GAAG,IAAI,EACvC,IAAI,EAAE;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC,CAAA;CAAE,GAChH,MAAM,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAkBvE"}
+{"version":3,"file":"pack-contributions-inventory.d.ts","sourceRoot":"","sources":["../src/pack-contributions-inventory.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AASvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,qCAAqC,CAAC;AAGvF,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE1D,eAAO,MAAM,mCAAmC,+CACF,CAAC;AAE/C,oBAAY,kBAAkB;IAC5B,OAAO,YAAY;IACnB,KAAK,UAAU;IACf,IAAI,SAAS;IACb,OAAO,YAAY;CACpB;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,GAAG,YAAY,GAAG,gBAAgB,GAAG,WAAW,CAAC;AAE3E,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,IAAI,GAAG,SAAS,GAAG,OAAO,CAAC;IAChD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,wDAAwD;IACxD,QAAQ,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;IACzC,6CAA6C;IAC7C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;CACjD;AAED,oBAAY,YAAY;IACtB,mBAAmB,2BAA2B;IAC9C,0BAA0B,kCAAkC;IAC5D,mBAAmB,0BAA0B;IAC7C,kBAAkB,yBAAyB;IAC3C,mBAAmB,yBAAyB;IAC5C,mBAAmB,0BAA0B;IAC7C,cAAc,oBAAoB;IAClC,kBAAkB,wBAAwB;IAC1C,aAAa,mBAAmB;CACjC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,SAAS;QACzB,MAAM,EAAE,kBAAkB,CAAC;QAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,UAAU,CAAC,EAAE,MAAM,CAAC;KACrB,EAAE,CAAC;IACJ,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IAChD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,MAAM,EAAE,OAAO,mCAAmC,CAAC;IAC5D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC,CAAC,CAAC;IAChF,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,OAAO,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACrD,QAAQ,CAAC,KAAK,EAAE,SAAS;QACvB,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;QAChB,IAAI,EAAE,MAAM,CAAC;QACb,gBAAgB,EAAE,OAAO,CAAC;KAC3B,EAAE,CAAC;IACJ;;;;OAIG;IACH,QAAQ,CAAC,gBAAgB,EAAE;QACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;KAC3B,CAAC;IACF;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,SAAS;QAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;KACxC,EAAE,CAAC;IACJ;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS;QAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;QAChC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;QACpC,QAAQ,CAAC,KAAK,EAAE,2BAA2B,CAAC,OAAO,CAAC,CAAC;KACtD,EAAE,CAAC;IACJ;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAAC;CACjC;AAUD;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAAQ,CAAC,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAoC5E,CAAC;AAEH,8GAA8G;AAC9G,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAGlF;AAwTD;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,qBAAqB,GAChC,2BAA2B,CAE7B;AAED;;;GAGG;AACH,wBAAsB,oCAAoC,CACxD,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,2BAA2B,CAAC,CAGtC;AAyVD,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,2BAA2B,GAAG,MAAM,CAkD5E;AAED,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,2BAA2B,GAAG,MAAM,CA8DhF;AAED,wBAAgB,eAAe,CAC7B,GAAG,EAAE,2BAA2B,GAC/B,SAAS,qBAAqB,EAAE,CAElC;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,2BAA2B,GAAG,IAAI,EACvC,IAAI,EAAE;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC,CAAA;CAAE,GAChH,MAAM,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAkBvE"}

package/dist/pack-contributions-inventory.js

@@ -25,7 +25,7 @@
 import { readFileSync } from 'node:fs';
 import * as nodePath from 'node:path';
 import { CONTRIBUTION_FILE_KEYS } from '@shrkcrft/plugin-api';
-import { collectContributionLoadFailures, collectContributionRejections, collectRegistryOutcomes, formatEntryRejection, } from "./contribution-load-failures.js";
+import { collectContributionLoadFailures, collectContributionRejections, collectRegistryOutcomes, formatEntryRejection, rejectedEntrySlot, } from "./contribution-load-failures.js";
 import { ContributionKind } from "./contribution-kind.js";
 import { describePackAssetFreshness, detectPackAssetFreshness } from "./pack-asset-freshness.js";
 export { ContributionKind } from "./contribution-kind.js";
@@ -826,7 +826,9 @@ export function renderInventoryMarkdown(inv) {
         lines.push('| File | Kind | Pack | Entry | Reasons |');
         lines.push('| --- | --- | --- | --- | --- |');
         for (const r of rejections) {
-            lines.push(`| \`${r.file}\` | ${r.kind} | ${r.packageName ?? ''} | ${r.entryId !== undefined ? `\`${r.entryId}\`` : '(no id)'} ${r.exportName ?? ''}[${r.index}] | ${r.reasons.join('; ')} |`);
+            // THE slot label (round 15 closing review, A5): a whole Markdown document
+            // printed `[-1]` here; every other surface reads `rejectedEntrySlot`.
+            lines.push(`| \`${r.file}\` | ${r.kind} | ${r.packageName ?? ''} | ${r.entryId !== undefined ? `\`${r.entryId}\`` : '(no id)'} (${rejectedEntrySlot(r)}) | ${r.reasons.join('; ')} |`);
         }
     }
     lines.push('');

package/dist/propose-knowledge.js

@@ -12,6 +12,7 @@
  */
 import { existsSync, readdirSync, statSync } from 'node:fs';
 import * as nodePath from 'node:path';
+import { knowledgeAnchors, knowledgeReferences } from '@shrkcrft/knowledge';
 import { getChangedFiles, getCommitSubjects, isGitRepo } from "./git-helpers.js";
 import { inspectSharkcraft } from "./sharkcraft-inspector.js";
 import { buildSymbolIndex, SymbolDeclarationKind, SymbolVisibility, } from "./symbol-index.js";
@@ -111,7 +112,7 @@ function buildCoverageIndex(entries) {
     const files = new Map();
     const symbolByFile = new Map();
     for (const entry of entries) {
-        for (const ref of entry.references ?? []) {
+        for (const ref of knowledgeReferences(entry)) {
             if (ref.kind === 'symbol' && ref.symbol) {
                 const symbolKey = ref.path
                     ? `${ref.path}::${ref.symbol}`
@@ -130,7 +131,7 @@ function buildCoverageIndex(entries) {
                 files.set(ref.path, entry.id);
             }
         }
-        for (const anchor of entry.anchors ?? []) {
+        for (const anchor of knowledgeAnchors(entry)) {
             if (anchor.kind === 'symbol' && anchor.symbol) {
                 const symbolKey = anchor.path
                     ? `${anchor.path}::${anchor.symbol}`

package/dist/reference-pack-origin.d.ts

@@ -0,0 +1,18 @@
+import type { IReferencePackOrigin } from './i-reference-pack-origin.js';
+import type { ISharkcraftInspection } from './sharkcraft-inspector.js';
+/**
+ * The contributing pack of an asset whose provenance names it (`entrySources`
+ * / `boundarySources` → `{ type: 'pack', packageName }`), with its package
+ * directory from THE discovered pack list (`inspection.packs.validPacks`) —
+ * the directory the loaders read the pack's contribution files from. A name
+ * no valid pack carries has no directory: `undefined`.
+ */
+export declare function packOriginByName(inspection: ISharkcraftInspection, packageName: string | undefined): IReferencePackOrigin | undefined;
+/**
+ * The contributing pack of an asset known only by its declaring FILE (a
+ * pack's policy check): the valid pack whose package directory contains it —
+ * the innermost one, so a pack nested in another pack's `node_modules`
+ * resolves to itself.
+ */
+export declare function packOriginOfFile(inspection: ISharkcraftInspection, absFile: string | undefined): IReferencePackOrigin | undefined;
+//# sourceMappingURL=reference-pack-origin.d.ts.map

package/dist/reference-pack-origin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-pack-origin.d.ts","sourceRoot":"","sources":["../src/reference-pack-origin.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAOvE;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,qBAAqB,EACjC,WAAW,EAAE,MAAM,GAAG,SAAS,GAC9B,oBAAoB,GAAG,SAAS,CAIlC;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,qBAAqB,EACjC,OAAO,EAAE,MAAM,GAAG,SAAS,GAC1B,oBAAoB,GAAG,SAAS,CAUlC"}