@ifc-lite/sdk 9.2.0 → 9.3.0

package/dist/review/portable-analysis.d.ts

@@ -0,0 +1,103 @@
+/**
+ * Portable contract for a captured clash or validation run kept for
+ * cross-revision reconciliation (#7370). No store or runtime imports: the
+ * content library, a backup import and recovery all validate through
+ * `decodeSavedAnalysisRun`.
+ *
+ * A session capture (`CapturedRun`) is the native result object, which names
+ * the session's model ids and, for clashes, renderer ids. Neither means
+ * anything after a reload. A saved run therefore keeps the native result with
+ * every model id replaced by a join key (`SavedRunModel.key`), each model by
+ * its name and the source identities the viewer had for it, and each clash
+ * element by its local express id instead of the renderer id. An element
+ * without a GlobalId has a model-scoped key (`expressid:<model>:<id>`); its
+ * model part is the join key too. Everything the
+ * reconciler compares (rules, settings, coverage, truncation, specifications,
+ * rule content, per-entity results) is kept as the native run recorded it, so
+ * the same compatibility checks and refusals apply to a reopened run.
+ */
+import type { Clash, ClashElementRef, ClashResult } from '@ifc-lite/clash';
+import type { ValidationReport } from '@ifc-lite/ids';
+export type SavedTranslation = [number, number, number];
+/** One model the run drew from. `key` joins the rows of this payload; it is never a live model id. */
+export interface SavedRunModel {
+    key: string;
+    name: string;
+    /** Sampled source fingerprint (`FederatedModel.sourceFingerprint`), when the viewer had one. */
+    sourceFingerprint?: string;
+    /** Full-content source hash (`FederatedModel.sourceContentHash`), when the viewer had one. */
+    sourceContentHash?: string;
+    /** Placement the run was stamped with; absent when the run recorded none. */
+    placement?: {
+        translation: SavedTranslation;
+        angle: number;
+        pivot: SavedTranslation;
+    };
+}
+/** A clash element named by its local express id; the renderer id is rebuilt from the bound model. */
+export type SavedClashRef = Omit<ClashElementRef, 'ref'> & {
+    expressId: number;
+};
+/** A non-finite distance survives as its name: JSON would turn it into null. */
+export type SavedDistance = number | 'Infinity' | '-Infinity' | 'NaN';
+export type SavedRunClash = Omit<Clash, 'a' | 'b' | 'distance'> & {
+    a: SavedClashRef;
+    b: SavedClashRef;
+    distance: SavedDistance;
+};
+export type SavedRunClashResult = Omit<ClashResult, 'clashes'> & {
+    clashes: SavedRunClash[];
+};
+export type SavedRunValidationReport = Omit<ValidationReport, 'timestamp'> & {
+    timestamp: string;
+};
+/** The rule content a rules report ran from (`ReportRuleSetContent`), as rule id/text pairs. */
+export interface SavedRuleSetContent {
+    file: string;
+    rules: Array<[string, string]>;
+}
+interface SavedAnalysisRunBase {
+    version: 1;
+    /** The session capture id, kept so a reopened run is the same run to reconciliation and Review. */
+    id: string;
+    capturedAt: string;
+    savedAt: string;
+    models: SavedRunModel[];
+    /** Keys of the models the run examined; null when the run did not record them. */
+    examined: string[] | null;
+    /** When saved: the run described the open models, they changed after it, or the run carried no freshness stamp. */
+    freshness: 'current' | 'stale' | 'unknown';
+    /** A model the run examined had unsaved edits when it ran, so the run does not describe its file; null when unknown. */
+    edited: boolean | null;
+    /** The run's stamp recorded each model's placement (clash runs do). */
+    placementRecorded: boolean;
+    /**
+     * The placement frame of a placement-stamped run, exactly what makes such a run stale in its session:
+     * the committed realignment (`realignedFrameKey`), how many models were open, and each open model the run
+     * did not examine (`others`, with its source identity and placement). Null without placement.
+     */
+    frame: {
+        realignedFrameKey: string | null;
+        openModels: number;
+        others: SavedRunModel[];
+    } | null;
+}
+export type SavedAnalysisRun = SavedAnalysisRunBase & {
+    kind: 'clash';
+    result: SavedRunClashResult;
+} | SavedAnalysisRunBase & {
+    kind: 'validation';
+    report: SavedRunValidationReport;
+    ruleSet: SavedRuleSetContent | null;
+};
+export declare const SAVED_RUN_LIMITS: {
+    readonly models: 1000;
+    readonly clashes: 200000;
+    readonly rules: 2000;
+    readonly specifications: 5000;
+    readonly text: 2000;
+};
+/** Strict: one invalid row refuses the whole run rather than reconciling a subset of it as if it were the run. */
+export declare function decodeSavedAnalysisRun(v: unknown): SavedAnalysisRun | null;
+export {};
+//# sourceMappingURL=portable-analysis.d.ts.map

package/dist/review/portable-analysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"portable-analysis.d.ts","sourceRoot":"","sources":["../../src/review/portable-analysis.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC3E,OAAO,KAAK,EAAqE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEzH,MAAM,MAAM,gBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAExD,sGAAsG;AACtG,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,gGAAgG;IAChG,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,8FAA8F;IAC9F,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,6EAA6E;IAC7E,SAAS,CAAC,EAAE;QAAE,WAAW,EAAE,gBAAgB,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,gBAAgB,CAAA;KAAE,CAAC;CACvF;AAED,sGAAsG;AACtG,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,GAAG;IAAE,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;AACjF,gFAAgF;AAChF,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,UAAU,GAAG,WAAW,GAAG,KAAK,CAAC;AACtE,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,GAAG,GAAG,GAAG,UAAU,CAAC,GAAG;IAAE,CAAC,EAAE,aAAa,CAAC;IAAC,CAAC,EAAE,aAAa,CAAC;IAAC,QAAQ,EAAE,aAAa,CAAA;CAAE,CAAC;AAClI,MAAM,MAAM,mBAAmB,GAAG,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG;IAAE,OAAO,EAAE,aAAa,EAAE,CAAA;CAAE,CAAC;AAE9F,MAAM,MAAM,wBAAwB,GAAG,IAAI,CAAC,gBAAgB,EAAE,WAAW,CAAC,GAAG;IAAE,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;AACnG,gGAAgG;AAChG,MAAM,WAAW,mBAAmB;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAAE;AAErF,UAAU,oBAAoB;IAC5B,OAAO,EAAE,CAAC,CAAC;IACX,mGAAmG;IACnG,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,aAAa,EAAE,CAAC;IACxB,kFAAkF;IAClF,QAAQ,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAC1B,mHAAmH;IACnH,SAAS,EAAE,SAAS,GAAG,OAAO,GAAG,SAAS,CAAC;IAC3C,wHAAwH;IACxH,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC;IACvB,uEAAuE;IACvE,iBAAiB,EAAE,OAAO,CAAC;IAC3B;;;;OAIG;IACH,KAAK,EAAE;QAAE,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,aAAa,EAAE,CAAA;KAAE,GAAG,IAAI,CAAC;CACjG;AAED,MAAM,MAAM,gBAAgB,GACxB,oBAAoB,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,mBAAmB,CAAA;CAAE,GACrE,oBAAoB,GAAG;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,wBAAwB,CAAC;IAAC,OAAO,EAAE,mBAAmB,GAAG,IAAI,CAAA;CAAE,CAAC;AAEzH,eAAO,MAAM,gBAAgB;;;;;;CAAiG,CAAC;AAiG/H,kHAAkH;AAClH,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,OAAO,GAAG,gBAAgB,GAAG,IAAI,CAkB1E"}

package/dist/review/portable-analysis.js

@@ -0,0 +1,119 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+export const SAVED_RUN_LIMITS = { models: 1_000, clashes: 200_000, rules: 2_000, specifications: 5_000, text: 2_000 };
+const record = (v) => typeof v === 'object' && v !== null && !Array.isArray(v);
+const text = (v, allowEmpty = false, max = SAVED_RUN_LIMITS.text) => typeof v === 'string' && v.length <= max && (allowEmpty || v.length > 0);
+const anyText = (v) => typeof v === 'string';
+const finite = (v) => typeof v === 'number' && Number.isFinite(v);
+const count = (v) => typeof v === 'number' && Number.isSafeInteger(v) && v >= 0;
+const optional = (v, check) => v === undefined || check(v);
+const bool = (v) => typeof v === 'boolean';
+const date = (v) => typeof v === 'string' && Number.isFinite(Date.parse(v));
+const list = (v, max, check) => Array.isArray(v) && v.length <= max && v.every(check);
+const oneOf = (v, values) => typeof v === 'string' && values.includes(v);
+const vector = (v) => Array.isArray(v) && v.length === 3 && v.every(finite);
+function isModel(v) {
+    return record(v) && text(v.key) && text(v.name) && optional(v.sourceFingerprint, text) && optional(v.sourceContentHash, text)
+        && optional(v.placement, p => record(p) && vector(p.translation) && finite(p.angle) && vector(p.pivot));
+}
+function isClashRef(v, keys) {
+    return record(v) && text(v.key) && text(v.model) && keys.has(v.model) && anyText(v.tag) && optional(v.name, anyText) && count(v.expressId);
+}
+const DISTANCE_NAMES = ['Infinity', '-Infinity', 'NaN'];
+function isClash(v, keys) {
+    return record(v) && text(v.id) && text(v.rule) && oneOf(v.status, ['hard', 'clearance', 'touch'])
+        && oneOf(v.severity, ['critical', 'major', 'minor', 'info']) && (finite(v.distance) || oneOf(v.distance, DISTANCE_NAMES))
+        && optional(v.distanceKind, k => oneOf(k, ['mesh', 'estimate'])) && optional(v.depthFloor, finite)
+        && vector(v.point) && record(v.bounds) && vector(v.bounds.min) && vector(v.bounds.max)
+        && isClashRef(v.a, keys) && isClashRef(v.b, keys);
+}
+const keyList = (v) => Array.isArray(v) && v.every(anyText);
+function isCoverage(v) {
+    return record(v) && text(v.rule) && count(v.matchedA) && (v.matchedB === null || count(v.matchedB))
+        && optional(v.fromMembersA, bool) && optional(v.fromMembersB, bool) && optional(v.matchedKeysA, keyList)
+        && optional(v.matchedKeysB, k => k === null || keyList(k)) && optional(v.candidatesExamined, count);
+}
+function isRule(v) {
+    // Member lists name session renderer ids; a saved run never carries them.
+    return record(v) && text(v.id) && anyText(v.name) && anyText(v.a) && optional(v.b, anyText) && oneOf(v.mode, ['hard', 'clearance'])
+        && optional(v.tolerance, finite) && optional(v.clearance, finite)
+        && optional(v.severity, s => oneOf(s, ['critical', 'major', 'minor', 'info'])) && optional(v.reportTouch, bool)
+        && v.membersA === undefined && v.membersB === undefined;
+}
+function isClashResult(v, keys) {
+    if (!record(v) || !record(v.settings) || !finite(v.settings.tolerance) || !bool(v.settings.excludeVoidsAndHosts))
+        return false;
+    if (!record(v.summary) || !list(v.rulesRun, SAVED_RUN_LIMITS.rules, isRule))
+        return false;
+    if (!optional(v.ruleCoverage, c => list(c, SAVED_RUN_LIMITS.rules, isCoverage)))
+        return false;
+    if (!optional(v.truncated, t => record(t) && anyText(t.reason) && count(t.droppedPairs)))
+        return false;
+    return list(v.clashes, SAVED_RUN_LIMITS.clashes, clash => isClash(clash, keys));
+}
+function isEntity(v, keys) {
+    return record(v) && count(v.expressId) && text(v.modelId) && keys.has(v.modelId) && anyText(v.entityType)
+        && optional(v.entityName, anyText) && optional(v.globalId, anyText) && bool(v.passed)
+        && Array.isArray(v.requirementResults) && v.requirementResults.every(r => record(r) && record(r.requirement)
+        && anyText(r.requirement.id) && oneOf(r.status, ['pass', 'fail', 'not_applicable']) && optional(r.actualValue, anyText));
+}
+function isSetResult(v, keys) {
+    return record(v) && Array.isArray(v.members) && v.members.every(m => record(m) && text(m.modelId) && keys.has(m.modelId) && count(m.expressId));
+}
+function isSpecification(v, keys) {
+    return record(v) && record(v.specification) && anyText(v.specification.id) && anyText(v.specification.name)
+        && oneOf(v.status, ['pass', 'fail', 'not_applicable']) && count(v.applicableCount) && count(v.passedCount) && count(v.failedCount)
+        && optional(v.error, anyText) && Array.isArray(v.entityResults) && v.entityResults.every(e => isEntity(e, keys))
+        && optional(v.setResults, s => Array.isArray(s) && s.every(r => isSetResult(r, keys)));
+}
+function isModelInfo(v, keys) {
+    return record(v) && text(v.modelId) && keys.has(v.modelId) && anyText(v.schemaVersion) && count(v.entityCount);
+}
+function isValidationReport(v, keys) {
+    if (!record(v) || !date(v.timestamp) || !record(v.summary) || !record(v.source))
+        return false;
+    const source = v.source;
+    if (!(source.kind === 'ids' && record(source.document) && Array.isArray(source.document.specifications))
+        && !(source.kind === 'rules' && record(source.ruleSet) && anyText(source.ruleSet.name)))
+        return false;
+    return list(v.modelInfo, SAVED_RUN_LIMITS.models, info => isModelInfo(info, keys))
+        && list(v.specificationResults, SAVED_RUN_LIMITS.specifications, spec => isSpecification(spec, keys));
+}
+function isRuleSet(v) {
+    return record(v) && anyText(v.file) && Array.isArray(v.rules)
+        && v.rules.every(entry => Array.isArray(entry) && entry.length === 2 && anyText(entry[0]) && anyText(entry[1]));
+}
+const isFrame = (v) => record(v)
+    && (v.realignedFrameKey === null || text(v.realignedFrameKey)) && count(v.openModels) && v.openModels > 0
+    && list(v.others, SAVED_RUN_LIMITS.models, other => isModel(other) && other.placement !== undefined);
+/** Strict: one invalid row refuses the whole run rather than reconciling a subset of it as if it were the run. */
+export function decodeSavedAnalysisRun(v) {
+    if (!record(v) || v.version !== 1 || !text(v.id, false, 200) || !date(v.capturedAt) || !date(v.savedAt))
+        return null;
+    if (!oneOf(v.freshness, ['current', 'stale', 'unknown']) || !(v.edited === null || bool(v.edited)) || !bool(v.placementRecorded))
+        return null;
+    if (v.placementRecorded ? !isFrame(v.frame) : v.frame !== null)
+        return null;
+    if (!list(v.models, SAVED_RUN_LIMITS.models, isModel))
+        return null;
+    const keys = new Set(v.models.map(model => model.key));
+    if (keys.size !== v.models.length)
+        return null;
+    // A placement-stamped run recorded where every model sat: one without its placement could never be checked for a move.
+    if (v.placementRecorded && v.models.some(model => model.placement === undefined))
+        return null;
+    // A frame model is one the run did not examine: its key never names a run model, and no two share one.
+    const others = isFrame(v.frame) ? v.frame.others : [];
+    if (new Set([...keys, ...others.map(other => other.key)]).size !== keys.size + others.length)
+        return null;
+    if (v.examined !== null && !list(v.examined, SAVED_RUN_LIMITS.models, key => typeof key === 'string' && keys.has(key)))
+        return null;
+    if (v.kind === 'clash')
+        return isClashResult(v.result, keys) ? v : null;
+    if (v.kind === 'validation') {
+        return isValidationReport(v.report, keys) && (v.ruleSet === null || isRuleSet(v.ruleSet)) ? v : null;
+    }
+    return null;
+}
+//# sourceMappingURL=portable-analysis.js.map

package/dist/review/portable-analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"portable-analysis.js","sourceRoot":"","sources":["../../src/review/portable-analysis.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AA4E/D,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAW,CAAC;AAE/H,MAAM,MAAM,GAAG,CAAC,CAAU,EAAgC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACtH,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,UAAU,GAAG,KAAK,EAAE,MAAc,gBAAgB,CAAC,IAAI,EAAe,EAAE,CAChG,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC3E,MAAM,OAAO,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;AACnE,MAAM,MAAM,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AACxF,MAAM,KAAK,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtG,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAE,KAAkC,EAAW,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;AAC1G,MAAM,IAAI,GAAG,CAAC,CAAU,EAAgB,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;AAClE,MAAM,IAAI,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAClG,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,GAAW,EAAE,KAAkC,EAAkB,EAAE,CAC3F,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACxD,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,MAAyB,EAAW,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC9G,MAAM,MAAM,GAAG,CAAC,CAAU,EAAyB,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAE5G,SAAS,OAAO,CAAC,CAAU;IACzB,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,iBAAiB,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,iBAAiB,EAAE,IAAI,CAAC;WACxH,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,UAAU,CAAC,CAAU,EAAE,IAAyB;IACvD,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAC7I,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,UAAU,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;AACxD,SAAS,OAAO,CAAC,CAAU,EAAE,IAAyB;IACpD,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;WAC5F,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;WACtH,QAAQ,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC;WAC/F,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;WACnF,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACrE,SAAS,UAAU,CAAC,CAAU;IAC5B,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;WAC9F,QAAQ,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,YAAY,EAAE,OAAO,CAAC;WACrG,QAAQ,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,kBAAkB,EAAE,KAAK,CAAC,CAAC;AACxG,CAAC;AAED,SAAS,MAAM,CAAC,CAAU;IACxB,0EAA0E;IAC1E,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;WAC9H,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC;WAC9D,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC;WAC5G,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC;AAC5D,CAAC;AAED,SAAS,aAAa,CAAC,CAAU,EAAE,IAAyB;IAC1D,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,oBAAoB,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/H,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1F,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9F,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACvG,OAAO,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,QAAQ,CAAC,CAAU,EAAE,IAAyB;IACrD,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;WACpG,QAAQ,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;WAClF,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC;WACvG,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;AAC/H,CAAC;AAED,SAAS,WAAW,CAAC,CAAU,EAAE,IAAyB;IACxD,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAClJ,CAAC;AAED,SAAS,eAAe,CAAC,CAAU,EAAE,IAAyB;IAC5D,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;WACtG,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC;WAC/H,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;WAC7G,QAAQ,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,WAAW,CAAC,CAAU,EAAE,IAAyB;IACxD,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;AACjH,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAU,EAAE,IAAyB;IAC/D,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9F,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;IACxB,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;WACnG,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACxG,OAAO,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;WAC7E,IAAI,CAAC,CAAC,CAAC,oBAAoB,EAAE,gBAAgB,CAAC,cAAc,EAAE,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAC1G,CAAC;AAED,SAAS,SAAS,CAAC,CAAU;IAC3B,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;WACxD,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpH,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,CAAU,EAAmD,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;OACrF,CAAC,CAAC,CAAC,iBAAiB,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,UAAU,GAAG,CAAC;OACtG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;AAEvG,kHAAkH;AAClH,MAAM,UAAU,sBAAsB,CAAC,CAAU;IAC/C,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACrH,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9I,IAAI,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5E,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAE,CAAC,CAAC,MAA0B,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5E,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC/C,uHAAuH;IACvH,IAAI,CAAC,CAAC,iBAAiB,IAAK,CAAC,CAAC,MAA0B,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACnH,uGAAuG;IACvG,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACtD,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC1G,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpI,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,aAAa,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAgC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvG,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC5B,OAAO,kBAAkB,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,IAAI,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAgC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtI,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/review/portable-automation-provenance.d.ts

@@ -0,0 +1,32 @@
+/** Optional, portable execution context beside immutable native evidence (#6612). */
+export interface AutomationReportProvenance {
+    origin: 'flow';
+    workflowId: string;
+    runId: string;
+    jobId: string;
+    resultId: string;
+    resource?: {
+        name: string;
+        fingerprint?: string;
+    };
+    effectiveOptions?: Record<string, AutomationJsonValue>;
+    models: Array<{
+        id?: string;
+        name: string;
+        sourceFingerprint?: string;
+        mutationRevision?: number;
+    }>;
+    timestamp: string;
+    diagnostics?: Array<{
+        severity: 'warning' | 'error';
+        message: string;
+        code?: string;
+    }>;
+}
+export type AutomationJsonValue = null | boolean | number | string | AutomationJsonValue[] | {
+    [key: string]: AutomationJsonValue;
+};
+export declare function isAutomationReportProvenance(value: unknown): value is AutomationReportProvenance;
+/** JSON evidence equality ignores object member order; IDs and provenance remain significant. */
+export declare function sameReportEvidence(left: unknown, right: unknown): boolean;
+//# sourceMappingURL=portable-automation-provenance.d.ts.map

package/dist/review/portable-automation-provenance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"portable-automation-provenance.d.ts","sourceRoot":"","sources":["../../src/review/portable-automation-provenance.ts"],"names":[],"mappings":"AAIA,qFAAqF;AACrF,MAAM,WAAW,0BAA0B;IACzC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAClD,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IACvD,MAAM,EAAE,KAAK,CAAC;QAAE,EAAE,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;QAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpG,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,SAAS,GAAG,OAAO,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACxF;AACD,MAAM,MAAM,mBAAmB,GAAG,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,mBAAmB,EAAE,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,mBAAmB,CAAA;CAAE,CAAC;AAgBpI,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,0BAA0B,CAYhG;AAED,iGAAiG;AACjG,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAczE"}

package/dist/review/portable-automation-provenance.js

@@ -0,0 +1,68 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+const record = (value) => typeof value === 'object' && value !== null && !Array.isArray(value);
+const identifier = (value) => typeof value === 'string' && value.length > 0 && value.length <= 512;
+const optionalString = (value) => value === undefined || identifier(value);
+/** Bound the metadata traversal independently of the native report's entity rows. */
+function portable(value, depth, budget) {
+    if (depth > 12 || --budget.left < 0)
+        return false;
+    if (value === null || typeof value === 'boolean')
+        return true;
+    if (typeof value === 'number')
+        return Number.isFinite(value);
+    if (typeof value === 'string')
+        return value.length <= 16384;
+    if (Array.isArray(value))
+        return value.length <= 2048 && value.every((entry) => portable(entry, depth + 1, budget));
+    return record(value) && Object.keys(value).length <= 512
+        && Object.entries(value).every(([key, entry]) => key.length <= 512 && portable(entry, depth + 1, budget));
+}
+export function isAutomationReportProvenance(value) {
+    if (!record(value) || value.origin !== 'flow' ||
+        !['workflowId', 'runId', 'jobId', 'resultId'].every((key) => identifier(value[key])) ||
+        typeof value.timestamp !== 'string' || !Number.isFinite(Date.parse(value.timestamp)))
+        return false;
+    if (value.resource !== undefined && (!record(value.resource) || !identifier(value.resource.name) || !optionalString(value.resource.fingerprint)))
+        return false;
+    if (value.effectiveOptions !== undefined && (!record(value.effectiveOptions) || !portable(value.effectiveOptions, 0, { left: 10000 })))
+        return false;
+    if (!Array.isArray(value.models) || value.models.length > 1000 || !value.models.every((model) => record(model)
+        && identifier(model.name) && optionalString(model.id) && optionalString(model.sourceFingerprint)
+        && (model.mutationRevision === undefined || (typeof model.mutationRevision === 'number' && Number.isSafeInteger(model.mutationRevision) && model.mutationRevision >= 0))))
+        return false;
+    return value.diagnostics === undefined || (Array.isArray(value.diagnostics) && value.diagnostics.length <= 1000 && value.diagnostics.every((diagnostic) => record(diagnostic)
+        && (diagnostic.severity === 'warning' || diagnostic.severity === 'error') && typeof diagnostic.message === 'string'
+        && diagnostic.message.length > 0 && diagnostic.message.length <= 16384 && optionalString(diagnostic.code)));
+}
+/** JSON evidence equality ignores object member order; IDs and provenance remain significant. */
+export function sameReportEvidence(left, right) {
+    const normalize = (value, depth, path) => {
+        if (depth > 64)
+            throw new Error('Evidence nesting exceeds the supported depth');
+        if (typeof value !== 'object' || value === null)
+            return value;
+        if (path.has(value))
+            throw new Error('Evidence must not contain cycles');
+        path.add(value);
+        try {
+            if (Array.isArray(value))
+                return value.map((entry) => normalize(entry, depth + 1, path));
+            if (record(value))
+                return Object.fromEntries(Object.keys(value).sort().map((key) => [key, normalize(value[key], depth + 1, path)]));
+            return value;
+        }
+        finally {
+            path.delete(value);
+        }
+    };
+    try {
+        return JSON.stringify(normalize(left, 0, new WeakSet())) === JSON.stringify(normalize(right, 0, new WeakSet()));
+    }
+    catch (error) {
+        console.warn('[Reports] Unable to compare evidence', error);
+        return false;
+    }
+}
+//# sourceMappingURL=portable-automation-provenance.js.map

package/dist/review/portable-automation-provenance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"portable-automation-provenance.js","sourceRoot":"","sources":["../../src/review/portable-automation-provenance.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAgB/D,MAAM,MAAM,GAAG,CAAC,KAAc,EAAoC,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC1I,MAAM,UAAU,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC;AAC7H,MAAM,cAAc,GAAG,CAAC,KAAc,EAAW,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;AAE7F,qFAAqF;AACrF,SAAS,QAAQ,CAAC,KAAc,EAAE,KAAa,EAAE,MAAwB;IACvE,IAAI,KAAK,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC7D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC;IAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,MAAM,IAAI,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACpH,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,IAAI,GAAG;WACnD,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;AAC9G,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAc;IACzD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;QAC3C,CAAC,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACpF,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrG,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/J,IAAI,KAAK,CAAC,gBAAgB,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrJ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;WAClH,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,iBAAiB,CAAC;WAC7F,CAAC,KAAK,CAAC,gBAAgB,KAAK,SAAS,IAAI,CAAC,OAAO,KAAK,CAAC,gBAAgB,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,KAAK,CAAC,gBAAgB,IAAI,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1L,OAAO,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,IAAI,IAAI,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,UAAmB,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC;WACjL,CAAC,UAAU,CAAC,QAAQ,KAAK,SAAS,IAAI,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC,IAAI,OAAO,UAAU,CAAC,OAAO,KAAK,QAAQ;WAChH,UAAU,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,IAAI,KAAK,IAAI,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAChH,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,kBAAkB,CAAC,IAAa,EAAE,KAAc;IAC9D,MAAM,SAAS,GAAG,CAAC,KAAc,EAAE,KAAa,EAAE,IAAqB,EAAW,EAAE;QAClF,IAAI,KAAK,GAAG,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAChF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAC9D,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACzE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,IAAI,CAAC;YACH,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;YACzF,IAAI,MAAM,CAAC,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACpI,OAAO,KAAK,CAAC;QACf,CAAC;gBAAS,CAAC;YAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAAC,CAAC;IACnC,CAAC,CAAC;IACF,IAAI,CAAC;QAAC,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,OAAO,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC;IAAC,CAAC;IACxH,OAAO,KAAK,EAAE,CAAC;QAAC,OAAO,CAAC,IAAI,CAAC,sCAAsC,EAAE,KAAK,CAAC,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC;AAC9F,CAAC"}

package/dist/review/portable-ids-report.d.ts

@@ -0,0 +1,125 @@
+/**
+ * The validation report block's saved shape (#5125, #6372), split out of
+ * `types.ts` (which re-exports everything here) to keep that file under its
+ * module-size budget.
+ *
+ * One block kind (`'ids-report'`) serves both validation sources: an IDS run
+ * and an information-validation (rule set) run. `sourceKind` says which one
+ * produced the snapshot. It is optional and additive (#6372): every block
+ * saved before it existed was labelled as IDS, so an absent `sourceKind`
+ * reads as `'ids'` and the document format version stays the same.
+ */
+import { type SavedValidationElements } from './portable-validation-evidence.js';
+import { type BlockTitle } from './portable-report-metadata.js';
+import type { PortableReportValidationError as DocumentValidationError } from './portable-report-metadata.js';
+import { type ReportProvenance } from './portable-report-metadata.js';
+/** Which engine produced a report block's snapshot; mirrors `ValidationSource['kind']`. */
+export type ReportSourceKind = 'ids' | 'rules';
+/**
+ * One check (IDS specification, or information-validation rule) inside a
+ * report block (#5125): the counts and description taken straight off
+ * `SpecificationResult` — `shortDescription` is the specification's `name`,
+ * `longDescription` its optional `description`, so neither is invented here.
+ *
+ * The optional fields below are only ever written for an information
+ * validation snapshot (#6372); an IDS snapshot keeps its original shape.
+ */
+export interface IdsReportCheckSummary {
+    id: string;
+    shortDescription: string;
+    longDescription?: string;
+    checked: number;
+    passed: number;
+    failed: number;
+    /** 0-100, floor-rounded; 100 when `checked` is 0 (no applicable entities) — matches `SpecificationResult.passRate`. */
+    passRate: number;
+    rules: IdsReportRuleSummary[];
+    /** `'warning'`: this check's failures are warnings, counted apart from failures (#6372). Absent means `'error'`. */
+    severity?: 'error' | 'warning';
+    /** The engine could not evaluate this check (`SpecificationResult.error`); printed instead of counts (#6372). */
+    error?: string;
+    /** Set-level results of a `unique` / `aggregate` rule (`SpecificationResult.setResults`, #6372). */
+    sets?: IdsReportSetRow[];
+    /** The engine capped `sets` before every set was evaluated (`setResultsTruncated`). */
+    setsTruncated?: boolean;
+    /** How many applicable elements the rule found against its declared cardinality (#6372). */
+    cardinality?: IdsReportCardinality;
+}
+/** A requirement under one IDS specification. Null metrics mean the source
+ * report omitted passing entities, so an exact per-rule count is unavailable. */
+export interface IdsReportRuleSummary {
+    id: string;
+    /** Bare attribute / property name (#6470), for the compact layout. Absent in older documents. */
+    name?: string;
+    shortDescription: string;
+    longDescription?: string;
+    checked: number;
+    passed: number | null;
+    failed: number | null;
+    passRate: number | null;
+}
+/** One uniqueness / aggregate group result, as `SetResult` reports it (without its member list). */
+export interface IdsReportSetRow {
+    /** unique: the shared value; aggregate: fn + subject, e.g. `sum(Qto_….NetFloorArea)`. */
+    label: string;
+    /** The rendered groupBy key (parent name, storey name…), when the rule groups; `''` is a blank grouping value, not "ungrouped". */
+    groupKey?: string;
+    actual: string;
+    expected: string;
+    passed: boolean;
+}
+/** `IDSCardinalityResult` reduced to its numbers, so every surface words it in its own language. */
+export interface IdsReportCardinality {
+    passed: boolean;
+    actual: number;
+    min?: number;
+    max?: number;
+}
+/** `compact`: one bar row per check / requirement. `long`: full requirement text, never truncated. */
+export type IdsReportVariant = 'compact' | 'long';
+export declare const IDS_REPORT_VARIANTS: readonly IdsReportVariant[];
+/**
+ * A frozen snapshot of an IDS / information-validation report (#5125, #6372),
+ * taken from the live `ValidationReport` when the block is added or refreshed
+ * — like a table block's list copy, it travels with the document instead of
+ * reading the store, so a saved document still prints the run that produced it.
+ */
+export interface IdsReportBlock extends ReportProvenance, BlockTitle {
+    kind: 'ids-report';
+    id: string;
+    /** Layout (#6470). Absent in documents saved before it existed, which keep printing the original layout (one truncated line per field) until the author picks one. */
+    variant?: IdsReportVariant;
+    /**
+     * Compact layout only (#6560): print one bar row per specification and leave out its
+     * requirement rows. Optional and additive, so the document format version is unchanged;
+     * a viewer that supports the document format but predates this field ignores it
+     * and prints the full compact report.
+     */
+    specificationsOnly?: boolean;
+    /** Optional ring benchmark (#6552). Absent retains existing document output. */
+    benchmarks?: boolean;
+    /** Whole-block size, 0.5-2 (#6548); absent is 1. */
+    scale?: number;
+    /** Which engine produced the snapshot (#6372). Absent means `'ids'`: every block saved before this field existed was labelled IDS. */
+    sourceKind?: ReportSourceKind;
+    /** IDS document title, or rule-set name, printed in the block's heading. */
+    sourceName: string;
+    /** When the snapshotted run finished (`ValidationReport.timestamp`, ISO). */
+    generatedAt: string;
+    /** `failed` excludes warning-severity failures, which `warnings` counts (#6372; absent on IDS snapshots). */
+    summary: {
+        checked: number;
+        passed: number;
+        failed: number;
+        passRate: number;
+        warnings?: number;
+    };
+    checks: IdsReportCheckSummary[];
+    /** Optional immutable element failures; absent in older count-only snapshots (#7091). */
+    elementEvidence?: SavedValidationElements;
+}
+/** The source a report block was snapshotted from; a block saved before #6372 has none and is IDS. */
+export declare function reportBlockSourceKind(block: Pick<IdsReportBlock, 'sourceKind'>): ReportSourceKind;
+/** Structural check of a report block (#5125, #6372): a finite, non-negative count and a 0-100 pass rate at both the block and every check. */
+export declare function validateIdsReportBlock(block: Record<string, unknown>, at: string, errors: DocumentValidationError[]): void;
+//# sourceMappingURL=portable-ids-report.d.ts.map

package/dist/review/portable-ids-report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"portable-ids-report.d.ts","sourceRoot":"","sources":["../../src/review/portable-ids-report.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;GAUG;AAEH,OAAO,EAAmC,KAAK,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAClH,OAAO,EAAsB,KAAK,UAAU,EAAE,MAAM,+BAA+B,CAAC;AACpF,OAAO,KAAK,EAAE,6BAA6B,IAAI,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAC9G,OAAO,EAA4B,KAAK,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEhG,2FAA2F;AAC3F,MAAM,MAAM,gBAAgB,GAAG,KAAK,GAAG,OAAO,CAAC;AAE/C;;;;;;;;GAQG;AACH,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,uHAAuH;IACvH,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,oBAAoB,EAAE,CAAC;IAC9B,oHAAoH;IACpH,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC/B,iHAAiH;IACjH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,oGAAoG;IACpG,IAAI,CAAC,EAAE,eAAe,EAAE,CAAC;IACzB,uFAAuF;IACvF,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,4FAA4F;IAC5F,WAAW,CAAC,EAAE,oBAAoB,CAAC;CACpC;AAED;iFACiF;AACjF,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,iGAAiG;IACjG,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED,oGAAoG;AACpG,MAAM,WAAW,eAAe;IAC9B,yFAAyF;IACzF,KAAK,EAAE,MAAM,CAAC;IACd,mIAAmI;IACnI,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,oGAAoG;AACpG,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,sGAAsG;AACtG,MAAM,MAAM,gBAAgB,GAAG,SAAS,GAAG,MAAM,CAAC;AAClD,eAAO,MAAM,mBAAmB,EAAE,SAAS,gBAAgB,EAAwB,CAAC;AAEpF;;;;;GAKG;AACH,MAAM,WAAW,cAAe,SAAQ,gBAAgB,EAAE,UAAU;IAClE,IAAI,EAAE,YAAY,CAAC;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,sKAAsK;IACtK,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAC3B;;;;;OAKG;IACH,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,gFAAgF;IAChF,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,oDAAoD;IACpD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,sIAAsI;IACtI,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC9B,4EAA4E;IAC5E,UAAU,EAAE,MAAM,CAAC;IACnB,6EAA6E;IAC7E,WAAW,EAAE,MAAM,CAAC;IACpB,6GAA6G;IAC7G,OAAO,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAClG,MAAM,EAAE,qBAAqB,EAAE,CAAC;IAChC,yFAAyF;IACzF,eAAe,CAAC,EAAE,uBAAuB,CAAC;CAC3C;AAED,sGAAsG;AACtG,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,EAAE,YAAY,CAAC,GAAG,gBAAgB,CAEjG;AA2BD,+IAA+I;AAC/I,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,uBAAuB,EAAE,GAAG,IAAI,CA8C1H"}

package/dist/review/portable-ids-report.js

@@ -0,0 +1,124 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/**
+ * The validation report block's saved shape (#5125, #6372), split out of
+ * `types.ts` (which re-exports everything here) to keep that file under its
+ * module-size budget.
+ *
+ * One block kind (`'ids-report'`) serves both validation sources: an IDS run
+ * and an information-validation (rule set) run. `sourceKind` says which one
+ * produced the snapshot. It is optional and additive (#6372): every block
+ * saved before it existed was labelled as IDS, so an absent `sourceKind`
+ * reads as `'ids'` and the document format version stays the same.
+ */
+import { validateSavedValidationElements } from './portable-validation-evidence.js';
+import { validateBlockTitle } from './portable-report-metadata.js';
+import { validateReportProvenance } from './portable-report-metadata.js';
+export const IDS_REPORT_VARIANTS = ['compact', 'long'];
+/** The source a report block was snapshotted from; a block saved before #6372 has none and is IDS. */
+export function reportBlockSourceKind(block) {
+    return block.sourceKind ?? 'ids';
+}
+const isRecord = (v) => typeof v === 'object' && v !== null && !Array.isArray(v);
+const isString = (v) => typeof v === 'string';
+const isCount = (v) => typeof v === 'number' && Number.isFinite(v) && v >= 0;
+const isRate = (v) => typeof v === 'number' && Number.isFinite(v) && v >= 0 && v <= 100;
+function validateCheckExtras(check, checkAt, errors) {
+    if (check.severity !== undefined && check.severity !== 'error' && check.severity !== 'warning')
+        errors.push({ path: `${checkAt}.severity`, message: 'expected error | warning' });
+    if (check.error !== undefined && !isString(check.error))
+        errors.push({ path: `${checkAt}.error`, message: 'expected a string' });
+    if (check.setsTruncated !== undefined && typeof check.setsTruncated !== 'boolean')
+        errors.push({ path: `${checkAt}.setsTruncated`, message: 'expected a boolean' });
+    if (check.sets !== undefined) {
+        if (!Array.isArray(check.sets))
+            errors.push({ path: `${checkAt}.sets`, message: 'expected an array' });
+        else
+            check.sets.forEach((set, k) => {
+                const ok = isRecord(set) && isString(set.label) && isString(set.actual) && isString(set.expected) && typeof set.passed === 'boolean'
+                    && (set.groupKey === undefined || isString(set.groupKey));
+                if (!ok)
+                    errors.push({ path: `${checkAt}.sets[${k}]`, message: 'expected { label, actual, expected: strings; passed: boolean; groupKey?: string }' });
+            });
+    }
+    const cardinality = check.cardinality;
+    if (cardinality !== undefined) {
+        const ok = isRecord(cardinality) && typeof cardinality.passed === 'boolean' && isCount(cardinality.actual)
+            && (cardinality.min === undefined || isCount(cardinality.min)) && (cardinality.max === undefined || isCount(cardinality.max));
+        if (!ok)
+            errors.push({ path: `${checkAt}.cardinality`, message: 'expected { passed: boolean; actual, min?, max?: non-negative numbers }' });
+    }
+}
+/** Structural check of a report block (#5125, #6372): a finite, non-negative count and a 0-100 pass rate at both the block and every check. */
+export function validateIdsReportBlock(block, at, errors) {
+    validateReportProvenance(block, at, errors);
+    if (block.elementEvidence !== undefined)
+        validateSavedValidationElements(block.elementEvidence, `${at}.elementEvidence`, errors);
+    validateBlockTitle(block, at, errors);
+    if (block.sourceKind !== undefined && block.sourceKind !== 'ids' && block.sourceKind !== 'rules')
+        errors.push({ path: `${at}.sourceKind`, message: 'expected ids | rules' });
+    if (!isString(block.sourceName))
+        errors.push({ path: `${at}.sourceName`, message: 'expected a string' });
+    if (!isString(block.generatedAt))
+        errors.push({ path: `${at}.generatedAt`, message: 'expected a string' });
+    if (block.variant !== undefined && !IDS_REPORT_VARIANTS.includes(block.variant))
+        errors.push({ path: `${at}.variant`, message: `expected ${IDS_REPORT_VARIANTS.join(' | ')}` });
+    if (block.benchmarks !== undefined && typeof block.benchmarks !== 'boolean')
+        errors.push({ path: `${at}.benchmarks`, message: 'expected a boolean' });
+    if (block.specificationsOnly !== undefined && typeof block.specificationsOnly !== 'boolean')
+        errors.push({ path: `${at}.specificationsOnly`, message: 'expected a boolean' });
+    const summary = block.summary;
+    if (!isRecord(summary) || !isCount(summary.checked) || !isCount(summary.passed) || !isCount(summary.failed) || !isRate(summary.passRate)
+        || (summary.warnings !== undefined && !isCount(summary.warnings))) {
+        errors.push({ path: `${at}.summary`, message: 'expected { checked, passed, failed, warnings?: non-negative numbers; passRate: 0-100 }' });
+    }
+    if (!Array.isArray(block.checks)) {
+        errors.push({ path: `${at}.checks`, message: 'expected an array' });
+        return;
+    }
+    block.checks.forEach((check, i) => {
+        const checkAt = `${at}.checks[${i}]`;
+        if (!isRecord(check)) {
+            errors.push({ path: checkAt, message: 'expected an object' });
+            return;
+        }
+        if (!isString(check.id) || check.id.length === 0)
+            errors.push({ path: `${checkAt}.id`, message: 'expected a non-empty string' });
+        if (!isString(check.shortDescription))
+            errors.push({ path: `${checkAt}.shortDescription`, message: 'expected a string' });
+        if (check.longDescription !== undefined && !isString(check.longDescription))
+            errors.push({ path: `${checkAt}.longDescription`, message: 'expected a string' });
+        if (!isCount(check.checked) || !isCount(check.passed) || !isCount(check.failed))
+            errors.push({ path: `${checkAt}`, message: 'expected checked/passed/failed: non-negative numbers' });
+        if (!isRate(check.passRate))
+            errors.push({ path: `${checkAt}.passRate`, message: 'expected a number between 0 and 100' });
+        validateCheckExtras(check, checkAt, errors);
+        if (!Array.isArray(check.rules)) {
+            errors.push({ path: `${checkAt}.rules`, message: 'expected an array' });
+            return;
+        }
+        check.rules.forEach((rule, j) => {
+            const ruleAt = `${checkAt}.rules[${j}]`;
+            if (!isRecord(rule)) {
+                errors.push({ path: ruleAt, message: 'expected an object' });
+                return;
+            }
+            if (!isString(rule.id) || rule.id.length === 0)
+                errors.push({ path: `${ruleAt}.id`, message: 'expected a non-empty string' });
+            if (!isString(rule.shortDescription))
+                errors.push({ path: `${ruleAt}.shortDescription`, message: 'expected a string' });
+            if (rule.name !== undefined && !isString(rule.name))
+                errors.push({ path: `${ruleAt}.name`, message: 'expected a string' });
+            if (rule.longDescription !== undefined && !isString(rule.longDescription))
+                errors.push({ path: `${ruleAt}.longDescription`, message: 'expected a string' });
+            if (!isCount(rule.checked))
+                errors.push({ path: `${ruleAt}.checked`, message: 'expected a non-negative number' });
+            const unavailable = rule.passed === null && rule.failed === null && rule.passRate === null;
+            if (!unavailable && (!isCount(rule.passed) || !isCount(rule.failed) || !isRate(rule.passRate))) {
+                errors.push({ path: ruleAt, message: 'expected passed/failed: non-negative numbers and passRate: 0-100, or all null' });
+            }
+        });
+    });
+}
+//# sourceMappingURL=portable-ids-report.js.map