@unbrained/pm-cli 2026.8.13 → 2026.8.15

package/dist/sdk/governance/validate-history-drift.js

@@ -0,0 +1,68 @@
+/**
+ * @module sdk/governance/validate-history-drift
+ *
+ * Projects append-only item and workspace singleton drift into the validation
+ * check contract without adding history-specific weight to the main validate
+ * orchestration module.
+ */
+
+!function(){try{var e="undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof globalThis?globalThis:"undefined"!=typeof self?self:{},n=(new e.Error).stack;n&&(e._sentryDebugIds=e._sentryDebugIds||{},e._sentryDebugIds[n]="a1261d65-222c-5c6c-8634-a4413a91aba9")}catch(e){}}();
+import { scanHistoryDrift } from "../../core/history/drift-scan.js";
+const DEFAULT_DIAGNOSTIC_LIMIT = 5;
+/** Build the validation warning and bounded evidence projection for history drift. */
+export async function buildValidateHistoryDriftCheck(pmRoot, items, verboseDiagnostics) {
+    const drift = await scanHistoryDrift(pmRoot, items);
+    const warningCounts = [
+        ["validate_history_drift_missing_streams", drift.missingStreams.length],
+        ["validate_history_drift_unreadable_streams", drift.unreadableStreams.length],
+        ["validate_history_drift_hash_mismatches", drift.hashMismatches.length],
+        ["validate_history_drift_chain_mismatches", drift.chainMismatches.length],
+        [
+            "validate_history_drift_workspace_state_mismatches",
+            drift.workspaceStateMismatches.length,
+        ],
+        [
+            "validate_history_drift_workspace_state_missing",
+            drift.workspaceStateMissing.length,
+        ],
+        [
+            "validate_history_drift_workspace_state_unreadable",
+            drift.workspaceStateUnreadable.length,
+        ],
+    ];
+    const warnings = warningCounts
+        .filter(([, count]) => count > 0)
+        .map(([code, count]) => `${code}:${count}`);
+    const diagnosticLimit = verboseDiagnostics
+        ? Number.POSITIVE_INFINITY
+        : DEFAULT_DIAGNOSTIC_LIMIT;
+    const driftedItems = drift.driftedItems.slice(0, diagnosticLimit);
+    return {
+        check: {
+            name: "history_drift",
+            status: warnings.length === 0 ? "ok" : "warn",
+            ok: warnings.length === 0,
+            details: {
+                checked_items: items.length,
+                drifted_items_count: drift.driftedItems.length,
+                drifted_items: driftedItems,
+                drifted_items_truncated: driftedItems.length < drift.driftedItems.length,
+                counts: {
+                    missing_streams: drift.missingStreams.length,
+                    unreadable_streams: drift.unreadableStreams.length,
+                    hash_mismatches: drift.hashMismatches.length,
+                    chain_mismatches: drift.chainMismatches.length,
+                    workspace_state_mismatches: drift.workspaceStateMismatches.length,
+                    workspace_state_missing: drift.workspaceStateMissing.length,
+                    workspace_state_unreadable: drift.workspaceStateUnreadable.length,
+                },
+                workspace_state_mismatches: drift.workspaceStateMismatches,
+                workspace_state_missing: drift.workspaceStateMissing,
+                workspace_state_unreadable: drift.workspaceStateUnreadable,
+            },
+        },
+        warnings,
+    };
+}
+//# sourceMappingURL=validate-history-drift.js.map
+//# debugId=a1261d65-222c-5c6c-8634-a4413a91aba9

package/dist/sdk/governance/validate.js

@@ -4,7 +4,7 @@
  * Implements the pm validate command surface and its agent-facing runtime behavior.
  */
 
-!function(){try{var e="undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof globalThis?globalThis:"undefined"!=typeof self?self:{},n=(new e.Error).stack;n&&(e._sentryDebugIds=e._sentryDebugIds||{},e._sentryDebugIds[n]="7dd04a2f-1798-5c16-8740-5b7094f81cc0")}catch(e){}}();
+!function(){try{var e="undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof globalThis?globalThis:"undefined"!=typeof self?self:{},n=(new e.Error).stack;n&&(e._sentryDebugIds=e._sentryDebugIds||{},e._sentryDebugIds[n]="b8c4707f-5445-5079-96e5-dc0dbd649b34")}catch(e){}}();
 import fs from "node:fs/promises";
 import { realpathSync } from "node:fs";
 import { execFile } from "node:child_process";
@@ -14,7 +14,6 @@ import { buildRemediationCommands } from "../../core/diagnostics/remediation.js"
 import { getActiveExtensionRegistrations } from "../../core/extensions/index.js";
 import { collectRegisteredItemFieldNames } from "../../core/extensions/item-fields.js";
 import { isFileMissingError, pathExists } from "../../core/fs/fs-utils.js";
-import { scanHistoryDrift } from "../../core/history/drift-scan.js";
 import { normalizeStatusInput } from "../../core/item/status.js";
 import { resolveItemTypeRegistry } from "../../core/item/type-registry.js";
 import { resolveRuntimeStatusRegistry, } from "../../core/schema/runtime-schema.js";
@@ -43,6 +42,7 @@ import { runDocs } from "../docs.js";
 import { runFiles } from "../files.js";
 import { extractReferencedPmItemIdsFromCommand } from "../test/linked-command-detection.js";
 import { readValidateItems, } from "./validate-item-reader.js";
+import { buildValidateHistoryDriftCheck } from "./validate-history-drift.js";
 const FILE_SCAN_DIRECTORIES = ["src", "tests", "docs"];
 const FILE_SCAN_ROOT_FILES = [
     "README.md",
@@ -778,9 +778,7 @@ function buildMetadataCounts(metadataPolicy, missingByField) {
         const missing = missingByField[field];
         const value = missing ? missing.length : 0;
         const countKey = METADATA_COUNT_KEY_BY_FIELD[field];
-        if (value > 0 && countKey) {
-            counts[countKey] = value;
-        }
+        counts[countKey] = value;
     }
     return counts;
 }
@@ -858,9 +856,10 @@ function buildMetadataCheck(items, metadataPolicy, statusRegistry, verboseDiagno
     const duplicateIssueCodes = findDuplicateIssueCodes(items);
     const duplicateIssueCodeSummary = summarizeDuplicateIssueCodes(duplicateIssueCodes, verboseDiagnostics);
     const warningTokens = buildMetadataWarningTokens(metadataPolicy, missingByField, duplicateIssueCodeSummary.warnings);
-    // Zero-suppress counts to reduce agent token cost (telemetry pm-tylj).
-    // Only emit counts for the ACTIVE required fields of the resolved profile so a
-    // looser profile (e.g. core) never reports missing reviewer/risk/sprint/etc.
+    // Emit an explicit numeric predicate for every ACTIVE required field. Stable
+    // zeroes let assurance consumers distinguish a passing metric from an absent
+    // contract key without exposing any per-item diagnostic rows.
+    // A looser profile (e.g. core) still never reports reviewer/risk/sprint/etc.
     // Defensive guards (Gemini high #1, PR #78 follow-up): a future settings
     // shape could include an unsupported field in required_fields — fall back
     // to 0 instead of throwing TypeError, and skip writing when the count-key
@@ -1767,48 +1766,6 @@ async function buildFilesCheck(items, workspaceRoot, pmRoot, fileScanMode, inclu
     };
 }
 /* c8 ignore stop */
-/* c8 ignore start -- history-drift warning/count projection permutations are covered by drift integration tests */
-async function buildHistoryDriftCheck(pmRoot, items, verboseDiagnostics) {
-    const { missingStreams, unreadableStreams, hashMismatches, chainMismatches, driftedItems, } = await scanHistoryDrift(pmRoot, items);
-    const warnings = [];
-    if (missingStreams.length > 0) {
-        warnings.push(`validate_history_drift_missing_streams:${missingStreams.length}`);
-    }
-    if (unreadableStreams.length > 0) {
-        warnings.push(`validate_history_drift_unreadable_streams:${unreadableStreams.length}`);
-    }
-    if (hashMismatches.length > 0) {
-        warnings.push(`validate_history_drift_hash_mismatches:${hashMismatches.length}`);
-    }
-    if (chainMismatches.length > 0) {
-        warnings.push(`validate_history_drift_chain_mismatches:${chainMismatches.length}`);
-    }
-    const diagnosticLimit = verboseDiagnostics
-        ? Number.POSITIVE_INFINITY
-        : DIAGNOSTIC_LIST_SUMMARY_LIMIT;
-    const summarizedDrifted = summarizeList(driftedItems, diagnosticLimit);
-    return {
-        check: {
-            name: "history_drift",
-            status: warnings.length === 0 ? "ok" : "warn",
-            ok: warnings.length === 0,
-            details: {
-                checked_items: items.length,
-                drifted_items_count: driftedItems.length,
-                drifted_items: summarizedDrifted.values,
-                drifted_items_truncated: summarizedDrifted.truncated,
-                counts: {
-                    missing_streams: missingStreams.length,
-                    unreadable_streams: unreadableStreams.length,
-                    hash_mismatches: hashMismatches.length,
-                    chain_mismatches: chainMismatches.length,
-                },
-            },
-        },
-        warnings,
-    };
-}
-/* c8 ignore stop */
 /* c8 ignore start -- command preview truncation formatting is covered by command-reference integration fixtures */
 function summarizeCommandReferenceRow(ownerId, referencedId, command) {
     const normalizedCommand = command.trim().replaceAll(/\s+/g, " ");
@@ -2195,7 +2152,7 @@ async function executeRequestedValidateChecks(params) {
         recordValidateCheck(state, buildCommandReferencesCheck(params.items, params.settings.id_prefix, fullDiagnostics), fixHintsEnabled);
     }
     if (params.requestedChecks.has("history_drift")) {
-        recordValidateCheck(state, await buildHistoryDriftCheck(params.pmRoot, params.items, fullDiagnostics), fixHintsEnabled);
+        recordValidateCheck(state, await buildValidateHistoryDriftCheck(params.pmRoot, params.items, fullDiagnostics), fixHintsEnabled);
     }
     if (params.requestedChecks.has("format_version")) {
         recordValidateCheck(state, buildFormatVersionCheck(params.items, fullDiagnostics), fixHintsEnabled);
@@ -2356,4 +2313,4 @@ export async function runValidate(options, global, services = {}) {
 }
 /* c8 ignore stop */
 //# sourceMappingURL=validate.js.map
-//# debugId=7dd04a2f-1798-5c16-8740-5b7094f81cc0
+//# debugId=b8c4707f-5445-5079-96e5-dc0dbd649b34

package/dist/sdk/governance.d.ts

@@ -5,6 +5,12 @@
  */
 export * from "./governance/gc.js";
 export * from "./governance/health.js";
+export * from "./governance/extension-host-version.js";
+export * from "./governance/assurance.js";
+export * from "./governance/assurance-action.js";
+export * from "./governance/assurance-mutation-error.js";
+export * from "./governance/assurance-presets.js";
+export * from "./governance/assurance-runtime.js";
 export { runReindex, type ReindexOptions, type ReindexResult, } from "./governance/reindex.js";
 export * from "./governance/stale-work.js";
 export * from "./governance/storage-integrity.js";

package/dist/sdk/governance.js

@@ -4,9 +4,15 @@
  * Provides validation, health, integrity, and mutation-policy primitives.
  */
 
-!function(){try{var e="undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof globalThis?globalThis:"undefined"!=typeof self?self:{},n=(new e.Error).stack;n&&(e._sentryDebugIds=e._sentryDebugIds||{},e._sentryDebugIds[n]="8e8c2de1-7bff-57c6-8e71-9c27e9e76eaa")}catch(e){}}();
+!function(){try{var e="undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof globalThis?globalThis:"undefined"!=typeof self?self:{},n=(new e.Error).stack;n&&(e._sentryDebugIds=e._sentryDebugIds||{},e._sentryDebugIds[n]="0baaaf38-2a32-5d6e-92bc-9919d2393f86")}catch(e){}}();
 export * from "./governance/gc.js";
 export * from "./governance/health.js";
+export * from "./governance/extension-host-version.js";
+export * from "./governance/assurance.js";
+export * from "./governance/assurance-action.js";
+export * from "./governance/assurance-mutation-error.js";
+export * from "./governance/assurance-presets.js";
+export * from "./governance/assurance-runtime.js";
 export { runReindex, } from "./governance/reindex.js";
 export * from "./governance/stale-work.js";
 export * from "./governance/storage-integrity.js";
@@ -17,4 +23,4 @@ export * from "./mutation-guard.js";
 export * from "./governance/provenance-health.js";
 export * from "./similarity.js";
 //# sourceMappingURL=governance.js.map
-//# debugId=8e8c2de1-7bff-57c6-8e71-9c27e9e76eaa
+//# debugId=0baaaf38-2a32-5d6e-92bc-9919d2393f86

package/dist/sdk/graph/assembly.d.ts

@@ -77,6 +77,19 @@ export interface DuplicateDependencyRow {
     /** Whether the holder is terminal and the duplication is historical debt. */
     legacy_terminal: boolean;
 }
+/** One holder whose scalar blocker and structured ordering row assert opposite precedence. */
+export interface OrderingStorageContradiction {
+    /** Item storing both contradictory representations. */
+    holder_id: string;
+    /** Target named by both the scalar blocker and structured dependency row. */
+    target_id: string;
+    /** Structured ordering kind that places the holder before the target. */
+    dependency_kind: string;
+    /** Current lifecycle status of the holder. */
+    holder_status: ItemStatus;
+    /** Whether the holder is terminal and the contradiction is historical debt. */
+    legacy_terminal: boolean;
+}
 /**
  * Collect raw stored dependency rows whose exact identity — holder, kind, and
  * case-insensitive target — appears more than once on one item. Graph
@@ -85,6 +98,14 @@ export interface DuplicateDependencyRow {
  * only surface that reports the storage-layer defect.
  */
 export declare function collectDuplicateDependencyRows(items: readonly DependencyReferenceHolder[], isTerminal?: (status: ItemStatus) => boolean): DuplicateDependencyRow[];
+/**
+ * Collect storage rows where `blocked_by: target` places the target before the
+ * holder while a same-target structured ordering dependency places the holder
+ * before the target. The contradictory rows form an artificial two-node cycle
+ * after graph assembly, so this pre-assembly evidence identifies the exact row
+ * to remove instead of reporting only strongly connected component members.
+ */
+export declare function collectOrderingStorageContradictions(items: readonly DependencyReferenceHolder[], isTerminal?: (status: ItemStatus) => boolean, registry?: RelationshipKindRegistry): OrderingStorageContradiction[];
 /**
  * Classify missing hierarchy and dependency targets without mutating their holders.
  *
@@ -127,6 +148,8 @@ export interface WorkspaceRelationshipAssembly {
     dangling: DanglingDependencyReferenceSummary;
     /** Raw same-identity duplicated dependency rows found before graph dedup. */
     duplicateRows: DuplicateDependencyRow[];
+    /** Scalar-versus-structured ordering contradictions found before graph normalization. */
+    orderingContradictions?: OrderingStorageContradiction[];
     /** Raw legacy alias rows grouped by accepted spelling before graph canonicalization. */
     legacyAliasCounts: Record<string, number>;
 }

package/dist/sdk/graph/assembly.js

@@ -1,5 +1,5 @@
 
-!function(){try{var e="undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof globalThis?globalThis:"undefined"!=typeof self?self:{},n=(new e.Error).stack;n&&(e._sentryDebugIds=e._sentryDebugIds||{},e._sentryDebugIds[n]="62ec8e0e-658e-5a32-b458-439d5ffd1229")}catch(e){}}();
+!function(){try{var e="undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof globalThis?globalThis:"undefined"!=typeof self?self:{},n=(new e.Error).stack;n&&(e._sentryDebugIds=e._sentryDebugIds||{},e._sentryDebugIds[n]="a6fc5da1-b7d1-5b3c-8033-cecccc7861c3")}catch(e){}}();
 import { getActiveExtensionRegistrations } from "../../core/extensions/index.js";
 import { RelationshipGraph, createRelationshipKindRegistry, } from "../relationships.js";
 import { isExternalDependencySourceKind } from "../dependency-provenance.js";
@@ -104,6 +104,57 @@ export function collectDuplicateDependencyRows(items, isTerminal = (status) => s
         return compareCaseFoldedText(left.kind, right.kind);
     });
 }
+/** Decode one dependency row only when it contradicts the holder's scalar blocker. */
+function decodeOrderingStorageContradiction(item, blocker, dependency, isTerminal, registry) {
+    if (typeof dependency !== "object" || dependency === null)
+        return undefined;
+    const target = normalizeDependencyReferenceTarget(dependency.id);
+    if (!target || target.toLowerCase() !== blocker.toLowerCase())
+        return undefined;
+    const definition = registry.resolve(typeof dependency.kind === "string" ? dependency.kind : "related");
+    if (definition?.ordering !== true ||
+        (definition.precedence ?? "source_before_target") !== "source_before_target")
+        return undefined;
+    return {
+        holder_id: item.id.trim(),
+        target_id: target,
+        dependency_kind: definition.kind,
+        holder_status: item.status,
+        legacy_terminal: isTerminal(item.status),
+    };
+}
+/**
+ * Collect storage rows where `blocked_by: target` places the target before the
+ * holder while a same-target structured ordering dependency places the holder
+ * before the target. The contradictory rows form an artificial two-node cycle
+ * after graph assembly, so this pre-assembly evidence identifies the exact row
+ * to remove instead of reporting only strongly connected component members.
+ */
+export function collectOrderingStorageContradictions(items, isTerminal = (status) => status === "closed" || status === "canceled", registry = resolveWorkspaceRelationshipKindRegistry()) {
+    const contradictions = new Map();
+    for (const item of items) {
+        if (typeof item?.id !== "string" || item.id.trim().length === 0)
+            continue;
+        const blocker = normalizeDependencyReferenceTarget(item.blocked_by);
+        if (!blocker)
+            continue;
+        for (const dependency of item.dependencies ?? []) {
+            const row = decodeOrderingStorageContradiction(item, blocker, dependency, isTerminal, registry);
+            if (!row)
+                continue;
+            contradictions.set(`${row.holder_id.toLowerCase()}\u0000${row.target_id.toLowerCase()}\u0000${row.dependency_kind}`, row);
+        }
+    }
+    return [...contradictions.values()].sort((left, right) => {
+        const holderCompare = compareCaseFoldedText(left.holder_id, right.holder_id);
+        if (holderCompare !== 0)
+            return holderCompare;
+        const targetCompare = compareCaseFoldedText(left.target_id, right.target_id);
+        if (targetCompare !== 0)
+            return targetCompare;
+        return compareCaseFoldedText(left.dependency_kind, right.dependency_kind);
+    });
+}
 /**
  * Classify missing hierarchy and dependency targets without mutating their holders.
  *
@@ -296,8 +347,9 @@ export function assembleWorkspaceRelationshipGraph(items, isTerminal, registry)
         missingIdSet: new Set(missingIds.map((id) => id.toLowerCase())),
         dangling,
         duplicateRows: collectDuplicateDependencyRows(safeItems, isTerminal),
+        orderingContradictions: collectOrderingStorageContradictions(safeItems, isTerminal, relationshipRegistry),
         legacyAliasCounts: collectLegacyDependencyAliasCounts(safeItems, relationshipRegistry),
     };
 }
 //# sourceMappingURL=assembly.js.map
-//# debugId=62ec8e0e-658e-5a32-b458-439d5ffd1229
+//# debugId=a6fc5da1-b7d1-5b3c-8033-cecccc7861c3

package/dist/sdk/graph/durable-cache.js

@@ -15,7 +15,7 @@
  * threshold or after an explicit `pm graph index --rebuild` opt-in.
  */
 
-!function(){try{var e="undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof globalThis?globalThis:"undefined"!=typeof self?self:{},n=(new e.Error).stack;n&&(e._sentryDebugIds=e._sentryDebugIds||{},e._sentryDebugIds[n]="2f7f14e3-6d41-5f45-a560-ebfbb8aa5828")}catch(e){}}();
+!function(){try{var e="undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof globalThis?globalThis:"undefined"!=typeof self?self:{},n=(new e.Error).stack;n&&(e._sentryDebugIds=e._sentryDebugIds||{},e._sentryDebugIds[n]="9e4aa41d-fca4-5e55-ab2b-d99f06d90ae2")}catch(e){}}();
 import path from "node:path";
 import { readFileIfExists, removeFileIfExists, writeFileAtomic, } from "../../core/fs/fs-utils.js";
 import { acquireLock } from "../../core/lock/lock.js";
@@ -174,8 +174,52 @@ function isNonnegativeCoverageByTypeRecord(value) {
     return Object.values(value).every((entry) => isRecord(entry) &&
         [entry.active, entry.isolated, entry.degree_leq_one].every(isNonnegativeInteger));
 }
+/** Decode the additive information-bearing census as one coherent field group. */
+function decodeInformativeProfile(profile, nodes, edges) {
+    const fields = [
+        "recorded_nodes",
+        "informative_edges",
+        "redundant_edges",
+        "ordering_contradiction_edges",
+    ];
+    const presentCount = fields.filter((field) => profile[field] !== undefined).length;
+    if (presentCount !== 0 && presentCount !== fields.length)
+        return undefined;
+    if (!fields.every((field) => isOptionalValid(profile[field], isNonnegativeInteger)))
+        return undefined;
+    const decoded = {
+        recorded_nodes: profile.recorded_nodes ?? nodes,
+        informative_edges: profile.informative_edges ?? edges,
+        redundant_edges: profile.redundant_edges ?? 0,
+        ordering_contradiction_edges: profile.ordering_contradiction_edges ?? 0,
+    };
+    return decoded.recorded_nodes <= nodes &&
+        decoded.informative_edges <= edges &&
+        decoded.redundant_edges <= edges &&
+        decoded.ordering_contradiction_edges <= edges
+        ? decoded
+        : undefined;
+}
+/** Validate the optional structural census fields as one complete version group. */
+function hasValidStructuralFields(profile, countFields, rateFields) {
+    const introducedFields = [
+        ...countFields,
+        ...rateFields,
+        "finding_subjects_by_code",
+    ];
+    const presentCount = introducedFields.filter((field) => profile[field] !== undefined).length;
+    if (presentCount !== 0 && presentCount !== introducedFields.length)
+        return false;
+    return (countFields.every((field) => isOptionalValid(profile[field], isNonnegativeInteger)) &&
+        rateFields.every((field) => isOptionalValid(profile[field], isNonnegativeInteger) &&
+            (profile[field] === undefined || Number(profile[field]) <= 10_000)) &&
+        isOptionalValid(profile.finding_subjects_by_code, isNonnegativeCountRecord));
+}
 /** Decode optional structural fields while normalizing pre-structure baselines. */
-function decodeStructuralProfile(profile, affectedSubjectsByCode) {
+function decodeStructuralProfile(profile, affectedSubjectsByCode, nodes, edges) {
+    const informative = decodeInformativeProfile(profile, nodes, edges);
+    if (informative === undefined)
+        return undefined;
     const countFields = [
         "articulation_points",
         "bridge_edges",
@@ -193,31 +237,17 @@ function decodeStructuralProfile(profile, affectedSubjectsByCode) {
         "terminal_outcome_reachability_basis_points",
         "outcome_reachability_basis_points",
     ];
-    const introducedStructuralFields = [
-        ...countFields,
-        ...rateFields,
-        "finding_subjects_by_code",
-    ];
-    const introducedStructuralFieldCount = introducedStructuralFields.filter((field) => profile[field] !== undefined).length;
-    if (introducedStructuralFieldCount !== 0 &&
-        introducedStructuralFieldCount !== introducedStructuralFields.length) {
-        return undefined;
-    }
-    const validCounts = countFields.every((field) => profile[field] === undefined || isNonnegativeInteger(profile[field]));
-    const validRates = rateFields.every((field) => profile[field] === undefined ||
-        (isNonnegativeInteger(profile[field]) && Number(profile[field]) <= 10_000));
-    if (!validCounts || !validRates)
+    if (!hasValidStructuralFields(profile, countFields, rateFields))
         return undefined;
     if (profile.edge_basis !== undefined &&
         profile.edge_basis !== "deduplicated_directed")
         return undefined;
-    if (!isOptionalValid(profile.finding_subjects_by_code, isNonnegativeCountRecord))
-        return undefined;
     const findingSubjects = isNonnegativeCountRecord(profile.finding_subjects_by_code)
         ? profile.finding_subjects_by_code
         : {};
     return {
         edge_basis: "deduplicated_directed",
+        ...informative,
         ...Object.fromEntries(countFields.map((field) => [field, profile[field] ?? 0])),
         ...Object.fromEntries(rateFields.map((field) => [field, profile[field] ?? 0])),
         finding_subjects_by_code: Object.fromEntries(RELATIONSHIP_AUDIT_FINDING_CODES.map((code) => [
@@ -302,7 +332,7 @@ function decodeBaseline(raw) {
         const composition = decodeGraphComposition(profile.edges, profile.edges_by_kind, profile.edge_share_by_kind, profile.semantic_edges, profile.semantic_edge_share);
         if (composition === undefined)
             return undefined;
-        const structural = decodeStructuralProfile(profile, affectedSubjectsByCode);
+        const structural = decodeStructuralProfile(profile, affectedSubjectsByCode, profile.nodes, profile.edges);
         if (structural === undefined)
             return undefined;
         const { coverage_by_type = {} } = profile;
@@ -329,4 +359,4 @@ export async function saveGraphAuditBaseline(pmRoot, snapshot) {
     await writeFileAtomic(graphAuditBaselinePath(pmRoot), JSON.stringify(snapshot));
 }
 //# sourceMappingURL=durable-cache.js.map
-//# debugId=2f7f14e3-6d41-5f45-a560-ebfbb8aa5828
+//# debugId=9e4aa41d-fca4-5e55-ab2b-d99f06d90ae2

package/dist/sdk/graph/governance-contracts.d.ts

@@ -7,6 +7,6 @@
  * drifting when a finding family is added.
  */
 /** Stable machine-readable relationship audit finding families. */
-export declare const RELATIONSHIP_AUDIT_FINDING_CODES: readonly ["missing_reference_active", "missing_reference_terminal", "legacy_no_blocker_sentinel", "ordering_cycle", "legacy_ordering_cycle", "duplicate_edge", "legacy_duplicate_edge", "duplicate_dependency_row", "legacy_duplicate_dependency_row", "stale_lifecycle_block", "isolated_active_node", "sparse_active_node"];
+export declare const RELATIONSHIP_AUDIT_FINDING_CODES: readonly ["missing_reference_active", "missing_reference_terminal", "legacy_no_blocker_sentinel", "ordering_cycle", "legacy_ordering_cycle", "ordering_storage_contradiction", "legacy_ordering_storage_contradiction", "duplicate_edge", "legacy_duplicate_edge", "duplicate_dependency_row", "legacy_duplicate_dependency_row", "stale_lifecycle_block", "isolated_active_node", "sparse_active_node"];
 /** Machine-readable identifier for one relationship audit finding family. */
 export type RelationshipAuditFindingCode = (typeof RELATIONSHIP_AUDIT_FINDING_CODES)[number];

package/dist/sdk/graph/governance-contracts.js

@@ -8,13 +8,15 @@
  */
 /** Stable machine-readable relationship audit finding families. */
 
-!function(){try{var e="undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof globalThis?globalThis:"undefined"!=typeof self?self:{},n=(new e.Error).stack;n&&(e._sentryDebugIds=e._sentryDebugIds||{},e._sentryDebugIds[n]="a2043b27-3dfe-5da8-a10f-d92ff33f3c28")}catch(e){}}();
+!function(){try{var e="undefined"!=typeof window?window:"undefined"!=typeof global?global:"undefined"!=typeof globalThis?globalThis:"undefined"!=typeof self?self:{},n=(new e.Error).stack;n&&(e._sentryDebugIds=e._sentryDebugIds||{},e._sentryDebugIds[n]="bc561e73-75b8-5ea7-a18c-da70fb991b69")}catch(e){}}();
 export const RELATIONSHIP_AUDIT_FINDING_CODES = [
     "missing_reference_active",
     "missing_reference_terminal",
     "legacy_no_blocker_sentinel",
     "ordering_cycle",
     "legacy_ordering_cycle",
+    "ordering_storage_contradiction",
+    "legacy_ordering_storage_contradiction",
     "duplicate_edge",
     "legacy_duplicate_edge",
     "duplicate_dependency_row",
@@ -24,4 +26,4 @@ export const RELATIONSHIP_AUDIT_FINDING_CODES = [
     "sparse_active_node",
 ];
 //# sourceMappingURL=governance-contracts.js.map
-//# debugId=a2043b27-3dfe-5da8-a10f-d92ff33f3c28
+//# debugId=bc561e73-75b8-5ea7-a18c-da70fb991b69

package/dist/sdk/graph/governance.d.ts

@@ -13,7 +13,7 @@
  * agents can plan remediation without re-deriving context.
  */
 import type { RelationshipEdge } from "../relationships.js";
-import type { WorkspaceRelationshipAssembly } from "./assembly.js";
+import type { OrderingStorageContradiction, WorkspaceRelationshipAssembly } from "./assembly.js";
 import { type RelationshipAuditFindingCode } from "./governance-contracts.js";
 export type { RelationshipAuditFindingCode } from "./governance-contracts.js";
 /** Severity ladder shared by every relationship audit finding. */
@@ -32,6 +32,8 @@ export interface RelationshipAuditFinding {
     count: number;
     /** Deterministic bounded sample of affected subjects. */
     sample: string[];
+    /** Optional exact evidence that explains why the sampled subjects were selected. */
+    evidence?: string[];
     /** Whether {@link sample} was truncated by the configured sample bound. */
     sample_truncated: boolean;
     /** Safe machine-actionable next step; audits never invent or auto-apply edges. */
@@ -50,8 +52,16 @@ export interface RelationshipCoverageTypeProfile {
 export interface RelationshipCoverageProfile {
     /** Total indexed nodes including materialized missing placeholders. */
     nodes: number;
+    /** Tracker-recorded nodes, excluding synthesized missing and external placeholders. */
+    recorded_nodes?: number;
     /** Total deduplicated indexed edges. */
     edges: number;
+    /** Edges that remain after excluding redundant and contradictory storage rows. */
+    informative_edges?: number;
+    /** Stored edges implied by a bounded longer path in the same semantic family. */
+    redundant_edges?: number;
+    /** Structured ordering edges that contradict a same-target scalar blocker. */
+    ordering_contradiction_edges?: number;
     /** Counting convention used by edges and edges_by_kind. */
     edge_basis: "deduplicated_directed";
     /** Deterministic per-kind edge counts. */
@@ -134,6 +144,8 @@ export declare function isSemanticContextKind(kind: string): boolean;
  * advisories) share one cycle semantics with the workspace audit.
  */
 export declare function collectOrderingCycles(successors: Map<string, string[]>): string[][];
+/** Format the exact contradictory storage pair that manufactures an ordering cycle. */
+export declare function formatOrderingStorageContradiction(contradiction: Pick<OrderingStorageContradiction, "holder_id" | "target_id" | "dependency_kind">): string;
 /** One duplicate-edge group in semantic orientation with its stored spellings. */
 export interface DuplicateRelationshipEdgeGroup {
     /** Semantic tail node shared by every stored spelling. */
@@ -189,8 +201,16 @@ export interface RelationshipAuditDelta {
     profile: {
         /** Node-count change including missing placeholders. */
         nodes: number;
+        /** Tracker-recorded node-count change excluding synthesized placeholders. */
+        recorded_nodes?: number;
         /** Deduplicated edge-count change. */
         edges: number;
+        /** Informative edge-count change after non-information deductions. */
+        informative_edges?: number;
+        /** Redundant edge-count change. */
+        redundant_edges?: number;
+        /** Ordering contradiction edge-count change. */
+        ordering_contradiction_edges?: number;
         /** Active-node-count change. */
         active_nodes: number;
         /** Missing-placeholder-count change. */