musubix3 0.1.19 → 0.1.21

package/dist/packages/analysis/src/change-evidence.d.ts

@@ -1,4 +1,3 @@
-import type { TddEvidence } from './tdd.js';
 export declare const changePhases: readonly ["impact", "requirements", "design", "red", "implementation", "green", "quality"];
 export type ChangePhase = typeof changePhases[number];
 export interface ChangeFingerprints {
@@ -31,9 +30,10 @@ export interface ChangeRecord {
     requirementIds: string[];
     phases: Partial<Record<ChangePhase, ChangePhaseEvidence>>;
     tddBatches?: ChangeTddBatch[];
+    qualityHistory?: ChangePhaseEvidence[];
 }
 export interface ChangeEvidence {
-    schemaVersion: 1;
+    schemaVersion: 1 | 2;
     changes: ChangeRecord[];
 }
 export interface ChangeCompleteness {
@@ -45,12 +45,47 @@ export interface ChangeCompleteness {
     valid: boolean;
 }
 export declare function loadChangeEvidence(root: string): Promise<ChangeEvidence | null>;
+/** @id CODE-CHANGE-QUALITY-REFRESH-001
+ * @implements REQ-CHANGE-QUALITY-REFRESH-001 REQ-CHANGE-QUALITY-REFRESH-003
+ * @design DES-CHANGE-QUALITY-REFRESH-001
+ */
+export declare function qualityLineage(change: ChangeRecord): ChangePhaseEvidence[];
+export declare function qualityIdentity(ordinal: number): string;
+export declare function qualityPayloadForIdentity(change: ChangeRecord, identity: string): ChangePhaseEvidence | undefined;
+export declare function qualityOrderIdentity(change: ChangeRecord, checkpoint: ChangePhaseEvidence): string;
 /** @id CODE-CHANGE-REQUIREMENT-BATCHES-001
  * @implements REQ-CHANGE-REQUIREMENT-BATCHES-001 REQ-CHANGE-REQUIREMENT-BATCHES-003 REQ-CHANGE-REQUIREMENT-BATCHES-004
  * @design DES-CHANGE-REQUIREMENT-BATCHES-001
  */
 export declare function effectiveBatches(change: ChangeRecord): ChangeTddBatch[];
+/** @id CODE-CHANGE-REQUIREMENT-BATCHES-003
+ * @implements REQ-CHANGE-REQUIREMENT-BATCHES-005
+ * @design DES-CHANGE-REQUIREMENT-BATCHES-002
+ */
 export declare function batchFor(batches: ChangeTddBatch[], requirementId: string): ChangeTddBatch | undefined;
+/** @id CODE-TDD-GREEN-REQUIREMENT-SCOPING-002
+ * @implements REQ-TDD-GREEN-REQUIREMENT-SCOPING-003
+ * @design DES-TDD-GREEN-REQUIREMENT-SCOPING-002
+ * Fail-fast precondition for `tdd red`/`tdd green`, checked by
+ * `runTddPhaseUnlocked` (`tdd.ts`) before any side effect. Both phases first
+ * share the same "does any candidate change have `phases.design` recorded"
+ * check; only once a design-satisfied candidate exists does `green` go on to
+ * distinguish a missing `implementation` from a missing `red`. This mirrors
+ * `change.ts`'s own `recordChangePhaseUnlocked` phase-precedence rules
+ * (`design` before `red` before `implementation` before `green`) so the
+ * reported `missingPhase` always names a `change-record` command `change.ts`
+ * would itself currently accept.
+ */
+export declare function changeRecordPhasePrecondition(evidence: ChangeEvidence | null, phase: 'red' | 'green', requirementId: string): {
+    satisfied: boolean;
+    changeId?: string;
+    missingPhase?: 'design' | 'red' | 'implementation';
+};
+export declare function currentRequirementIdsForBatch(batches: ChangeTddBatch[], batch: ChangeTddBatch, requirementIds: string[]): string[];
+export declare function currentTddOrderWindow(change: ChangeRecord, requirementId: string): {
+    after: number;
+    through: number;
+} | undefined;
 /** @id CODE-CHANGE-EVIDENCE-WAIVER-014
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-016
  * @design DES-CHANGE-EVIDENCE-WAIVER-001
@@ -64,12 +99,11 @@ export declare function batchKey(requirementIds: string[]): string;
  * @design DES-CHANGE-EVIDENCE-WAIVER-001
  */
 export declare function batchForKey(batches: ChangeTddBatch[], key: string): ChangeTddBatch | undefined;
+export declare function batchesForKey<T extends {
+    requirementIds: string[];
+}>(batches: T[], key: string): T[];
 export declare function requirementsUnchangedCondition(change: ChangeRecord): boolean;
 export declare function designUnchangedCondition(change: ChangeRecord): boolean;
-export declare function hasValidTddCycle(change: ChangeRecord, requirementId: string, tdd: TddEvidence | null): boolean;
-export declare function redUnprovenCondition(change: ChangeRecord, requirementId: string, tdd: TddEvidence | null): boolean;
-export declare function greenUnprovenCondition(change: ChangeRecord, requirementId: string, tdd: TddEvidence | null): boolean;
-export declare function completenessTddUnsatisfiedCondition(change: ChangeRecord, requirementId: string, tdd: TddEvidence | null): boolean;
 /** @id CODE-CHANGE-EVIDENCE-WAIVER-016
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-002
  * @design DES-CHANGE-EVIDENCE-WAIVER-001
@@ -83,9 +117,32 @@ export declare function completenessTddUnsatisfiedCondition(change: ChangeRecord
 export declare function recordMissingCondition(root: string, evidence: ChangeEvidence | null, changeId: string): Promise<boolean>;
 export declare function phaseMissingCondition(change: ChangeRecord, phaseName: string): boolean;
 export declare function orderMigrationRequiredPhaseCondition(change: ChangeRecord, phaseName: string): boolean;
-export declare function orderMigrationRequiredBatchCondition(change: ChangeRecord, batchPhaseName: string, key: string): boolean;
-export declare function orderMigrationRequiredRequirementCondition(change: ChangeRecord, requirementId: string, tdd: TddEvidence | null): boolean;
+/** @id CODE-CHANGE-EVIDENCE-WAIVER-022
+ * @implements REQ-CHANGE-EVIDENCE-WAIVER-011
+ * @design DES-CHANGE-EVIDENCE-WAIVER-004
+ */
+type BatchOrderState = Pick<ChangeTddBatch, 'requirementIds'> & Partial<Record<'red' | 'implementation' | 'green', {
+    order?: number;
+}>>;
+export declare function orderMigrationRequiredBatchItemCondition(batch: BatchOrderState, batchPhaseName: string): boolean;
+export declare function orderMigrationRequiredBatchCondition(change: Pick<ChangeRecord, 'changeId' | 'requirementIds' | 'phases'> & {
+    tddBatches?: BatchOrderState[];
+}, batchPhaseName: string, key: string): boolean;
+/** @id CODE-CHANGE-EVIDENCE-WAIVER-024
+ * @implements REQ-CHANGE-EVIDENCE-WAIVER-017
+ * @design DES-CHANGE-EVIDENCE-WAIVER-004
+ * Pure re-derivations of `CHANGE_PHASE_ORDER`'s six transition conditions
+ * (GitHub Issue #56), mirroring `orderMigrationRequiredPhaseCondition`'s/
+ * `orderMigrationRequiredBatchCondition`'s shape so `evaluateWaiverCondition`
+ * never duplicates `change.ts`'s emission-site comparisons.
+ */
+export declare function phaseOrderPhaseCondition(change: ChangeRecord, phaseName: string): boolean;
+export declare function phaseOrderBatchItemCondition(change: Pick<ChangeRecord, 'phases'>, batch: BatchOrderState, batchPhaseName: string): boolean;
+export declare function phaseOrderBatchCondition(change: Pick<ChangeRecord, 'changeId' | 'requirementIds' | 'phases'> & {
+    tddBatches?: BatchOrderState[];
+}, batchPhaseName: string, key: string): boolean;
 export declare function testsUnchangedCondition(change: ChangeRecord, batch: ChangeTddBatch): boolean;
 export declare function implementationUnchangedCondition(batch: ChangeTddBatch): boolean;
 export declare function relevantImplementationUnchangedCondition(batch: ChangeTddBatch, requirementId: string): boolean;
 export declare function testChangedAfterRedCondition(batch: ChangeTddBatch): boolean;
+export {};

package/dist/packages/analysis/src/change-evidence.js

@@ -9,10 +9,41 @@ export async function loadChangeEvidence(root) {
     if (!await exists(within(root, path)))
         return null;
     const value = JSON.parse(await readText(root, path));
-    if (value.schemaVersion !== 1 || !Array.isArray(value.changes))
+    if (!Number.isInteger(value.schemaVersion) || value.schemaVersion < 1 || !Array.isArray(value.changes)) {
         throw new Error('Invalid change chronology evidence.');
+    }
+    if (value.schemaVersion > 2) {
+        throw new Error(`CHANGE_EVIDENCE_SCHEMA_UNSUPPORTED: schema version ${value.schemaVersion} is not supported.`);
+    }
     return value;
 }
+/** @id CODE-CHANGE-QUALITY-REFRESH-001
+ * @implements REQ-CHANGE-QUALITY-REFRESH-001 REQ-CHANGE-QUALITY-REFRESH-003
+ * @design DES-CHANGE-QUALITY-REFRESH-001
+ */
+export function qualityLineage(change) {
+    const quality = change.phases.quality;
+    return [...(change.qualityHistory ?? []), ...(quality ? [quality] : [])];
+}
+export function qualityIdentity(ordinal) {
+    if (!Number.isInteger(ordinal) || ordinal < 1)
+        throw new Error('Quality ordinal must be a positive integer.');
+    return ordinal === 1 ? 'quality' : `quality:${ordinal}`;
+}
+export function qualityPayloadForIdentity(change, identity) {
+    const match = /^quality(?::([1-9]\d*))?$/.exec(identity);
+    if (!match)
+        return undefined;
+    const ordinal = match[1] === undefined ? 1 : Number(match[1]);
+    const lineage = qualityLineage(change);
+    return lineage[ordinal - 1];
+}
+export function qualityOrderIdentity(change, checkpoint) {
+    const index = qualityLineage(change).findIndex((entry) => entry === checkpoint);
+    if (index < 0)
+        throw new Error('Quality checkpoint is not part of the supplied change lineage.');
+    return qualityIdentity(index + 1);
+}
 /** @id CODE-CHANGE-REQUIREMENT-BATCHES-001
  * @implements REQ-CHANGE-REQUIREMENT-BATCHES-001 REQ-CHANGE-REQUIREMENT-BATCHES-003 REQ-CHANGE-REQUIREMENT-BATCHES-004
  * @design DES-CHANGE-REQUIREMENT-BATCHES-001
@@ -31,8 +62,76 @@ export function effectiveBatches(change) {
     }
     return batches;
 }
+/** @id CODE-CHANGE-REQUIREMENT-BATCHES-003
+ * @implements REQ-CHANGE-REQUIREMENT-BATCHES-005
+ * @design DES-CHANGE-REQUIREMENT-BATCHES-002
+ */
 export function batchFor(batches, requirementId) {
-    return batches.find((batch) => batch.requirementIds.includes(requirementId));
+    const applicable = batches.filter((batch) => batch.requirementIds.includes(requirementId));
+    const ordered = applicable.filter((batch) => Number.isInteger(batch.red?.order));
+    if (!ordered.length)
+        return applicable[0];
+    return ordered.reduce((selected, batch) => batch.red.order >= selected.red.order ? batch : selected);
+}
+/** @id CODE-TDD-GREEN-REQUIREMENT-SCOPING-002
+ * @implements REQ-TDD-GREEN-REQUIREMENT-SCOPING-003
+ * @design DES-TDD-GREEN-REQUIREMENT-SCOPING-002
+ * Fail-fast precondition for `tdd red`/`tdd green`, checked by
+ * `runTddPhaseUnlocked` (`tdd.ts`) before any side effect. Both phases first
+ * share the same "does any candidate change have `phases.design` recorded"
+ * check; only once a design-satisfied candidate exists does `green` go on to
+ * distinguish a missing `implementation` from a missing `red`. This mirrors
+ * `change.ts`'s own `recordChangePhaseUnlocked` phase-precedence rules
+ * (`design` before `red` before `implementation` before `green`) so the
+ * reported `missingPhase` always names a `change-record` command `change.ts`
+ * would itself currently accept.
+ */
+export function changeRecordPhasePrecondition(evidence, phase, requirementId) {
+    const candidates = (evidence?.changes ?? []).filter((change) => change.requirementIds.includes(requirementId));
+    const designSatisfied = candidates.filter((change) => change.phases.design);
+    if (!designSatisfied.length) {
+        return {
+            satisfied: false,
+            missingPhase: 'design',
+            ...(candidates[0] ? { changeId: candidates[0].changeId } : {}),
+        };
+    }
+    if (phase === 'red')
+        return { satisfied: true };
+    const batchesByChange = designSatisfied.map((change) => ({
+        change,
+        batch: batchFor(effectiveBatches(change), requirementId),
+    }));
+    if (batchesByChange.some(({ batch }) => batch?.red && batch.implementation)) {
+        return { satisfied: true };
+    }
+    const withRed = batchesByChange.find(({ batch }) => batch?.red);
+    if (withRed) {
+        return { satisfied: false, changeId: withRed.change.changeId, missingPhase: 'implementation' };
+    }
+    return { satisfied: false, changeId: designSatisfied[0].changeId, missingPhase: 'red' };
+}
+export function currentRequirementIdsForBatch(batches, batch, requirementIds) {
+    // `batch` must be an element of `batches`; callers intentionally share one
+    // effectiveBatches() result so duplicate batch keys remain distinguishable.
+    return requirementIds.filter((requirementId) => batchFor(batches, requirementId) === batch);
+}
+export function currentTddOrderWindow(change, requirementId) {
+    const requirementsOrder = change.phases.requirements?.order;
+    const batches = effectiveBatches(change);
+    const batch = batchFor(batches, requirementId);
+    const currentRedOrder = batch?.red?.order;
+    if (!Number.isInteger(requirementsOrder) || !Number.isInteger(currentRedOrder))
+        return undefined;
+    const previousRedOrders = batches
+        .filter((candidate) => candidate.requirementIds.includes(requirementId)
+        && Number.isInteger(candidate.red?.order)
+        && candidate.red.order < currentRedOrder)
+        .map((candidate) => candidate.red.order);
+    return {
+        after: Math.max(requirementsOrder, ...previousRedOrders),
+        through: currentRedOrder,
+    };
 }
 /** @id CODE-CHANGE-EVIDENCE-WAIVER-014
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-016
@@ -51,6 +150,9 @@ export function batchKey(requirementIds) {
 export function batchForKey(batches, key) {
     return batches.find((batch) => batchKey(batch.requirementIds) === key);
 }
+export function batchesForKey(batches, key) {
+    return batches.filter((batch) => batchKey(batch.requirementIds) === key);
+}
 // Pure, side-effect-free re-derivations of the exact "would this diagnostic
 // currently fire" conditions used by change.ts's validators. Kept here (with
 // no dependency on change.ts or change-waiver.ts) so change-waiver.ts can
@@ -67,41 +169,6 @@ export function designUnchangedCondition(change) {
     const design = change.phases.design;
     return !!requirements && !!design && requirements.fingerprints.design === design.fingerprints.design;
 }
-export function hasValidTddCycle(change, requirementId, tdd) {
-    const requirements = change.phases.requirements;
-    const batch = batchFor(effectiveBatches(change), requirementId);
-    const red = batch?.red;
-    const implementation = batch?.implementation;
-    const green = batch?.green;
-    const cycles = tdd?.cycles.filter((cycle) => cycle.requirementId === requirementId) ?? [];
-    return cycles.some((cycle) => requirements
-        && red
-        && implementation
-        && green
-        && Number.isInteger(requirements.order)
-        && Number.isInteger(red.order)
-        && Number.isInteger(implementation.order)
-        && Number.isInteger(green.order)
-        && Number.isInteger(cycle.red.order)
-        && Number.isInteger(cycle.green?.order)
-        && cycle.red.valid
-        && cycle.green?.valid
-        && cycle.red.order > requirements.order
-        && cycle.red.order <= red.order
-        && cycle.green.order > implementation.order
-        && cycle.green.order <= green.order);
-}
-export function redUnprovenCondition(change, requirementId, tdd) {
-    const batch = batchFor(effectiveBatches(change), requirementId);
-    return !!batch?.red && !hasValidTddCycle(change, requirementId, tdd);
-}
-export function greenUnprovenCondition(change, requirementId, tdd) {
-    const batch = batchFor(effectiveBatches(change), requirementId);
-    return !!batch?.green && !hasValidTddCycle(change, requirementId, tdd);
-}
-export function completenessTddUnsatisfiedCondition(change, requirementId, tdd) {
-    return !hasValidTddCycle(change, requirementId, tdd);
-}
 const tddBatchPhaseNames = ['red', 'implementation', 'green'];
 /** @id CODE-CHANGE-EVIDENCE-WAIVER-016
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-002
@@ -131,17 +198,77 @@ export function orderMigrationRequiredPhaseCondition(change, phaseName) {
     const item = change.phases[phaseName];
     return !!item && !Number.isInteger(item.order);
 }
-export function orderMigrationRequiredBatchCondition(change, batchPhaseName, key) {
-    const batch = batchForKey(effectiveBatches(change), key);
-    const item = batch?.[batchPhaseName];
+export function orderMigrationRequiredBatchItemCondition(batch, batchPhaseName) {
+    const item = batch[batchPhaseName];
     return !!item && !Number.isInteger(item.order);
 }
-export function orderMigrationRequiredRequirementCondition(change, requirementId, tdd) {
-    const batch = batchFor(effectiveBatches(change), requirementId);
-    if (!batch?.red)
-        return false;
-    const cycles = (tdd?.cycles ?? []).filter((cycle) => cycle.requirementId === requirementId);
-    return cycles.some((cycle) => !Number.isInteger(cycle.red.order) || !Number.isInteger(cycle.green?.order));
+export function orderMigrationRequiredBatchCondition(change, batchPhaseName, key) {
+    const batches = [...(change.tddBatches ?? [])];
+    if (change.phases.red || change.phases.implementation || change.phases.green) {
+        const legacyBatch = {
+            requirementIds: [...change.requirementIds],
+            ...(change.phases.red ? { red: change.phases.red } : {}),
+            ...(change.phases.implementation ? { implementation: change.phases.implementation } : {}),
+            ...(change.phases.green ? { green: change.phases.green } : {}),
+        };
+        batches.unshift(legacyBatch);
+    }
+    return batchesForKey(batches, key)
+        .some((batch) => orderMigrationRequiredBatchItemCondition(batch, batchPhaseName));
+}
+/** @id CODE-CHANGE-EVIDENCE-WAIVER-024
+ * @implements REQ-CHANGE-EVIDENCE-WAIVER-017
+ * @design DES-CHANGE-EVIDENCE-WAIVER-004
+ * Pure re-derivations of `CHANGE_PHASE_ORDER`'s six transition conditions
+ * (GitHub Issue #56), mirroring `orderMigrationRequiredPhaseCondition`'s/
+ * `orderMigrationRequiredBatchCondition`'s shape so `evaluateWaiverCondition`
+ * never duplicates `change.ts`'s emission-site comparisons.
+ */
+export function phaseOrderPhaseCondition(change, phaseName) {
+    if (phaseName === 'requirements') {
+        const requirements = change.phases.requirements;
+        const impact = change.phases.impact;
+        return requirements?.order !== undefined && impact?.order !== undefined && requirements.order <= impact.order;
+    }
+    if (phaseName === 'design') {
+        const design = change.phases.design;
+        const requirements = change.phases.requirements;
+        return design?.order !== undefined && requirements?.order !== undefined && design.order <= requirements.order;
+    }
+    return false;
+}
+export function phaseOrderBatchItemCondition(change, batch, batchPhaseName) {
+    if (batchPhaseName === 'red') {
+        const design = change.phases.design;
+        return batch.red?.order !== undefined && design?.order !== undefined && batch.red.order <= design.order;
+    }
+    if (batchPhaseName === 'implementation') {
+        return batch.implementation?.order !== undefined && batch.red?.order !== undefined
+            && batch.implementation.order <= batch.red.order;
+    }
+    if (batchPhaseName === 'green') {
+        return batch.green?.order !== undefined && batch.implementation?.order !== undefined
+            && batch.green.order <= batch.implementation.order;
+    }
+    if (batchPhaseName === 'quality') {
+        const quality = change.phases.quality;
+        return quality?.order !== undefined && batch.green?.order !== undefined && quality.order <= batch.green.order;
+    }
+    return false;
+}
+export function phaseOrderBatchCondition(change, batchPhaseName, key) {
+    const batches = [...(change.tddBatches ?? [])];
+    if (change.phases.red || change.phases.implementation || change.phases.green) {
+        const legacyBatch = {
+            requirementIds: [...change.requirementIds],
+            ...(change.phases.red ? { red: change.phases.red } : {}),
+            ...(change.phases.implementation ? { implementation: change.phases.implementation } : {}),
+            ...(change.phases.green ? { green: change.phases.green } : {}),
+        };
+        batches.unshift(legacyBatch);
+    }
+    return batchesForKey(batches, key)
+        .some((batch) => phaseOrderBatchItemCondition(change, batch, batchPhaseName));
 }
 export function testsUnchangedCondition(change, batch) {
     const design = change.phases.design;

package/dist/packages/analysis/src/change-evidence.js.map

@@ -1 +1 @@
-{"version":3,"file":"change-evidence.js","sourceRoot":"","sources":["../../../../packages/analysis/src/change-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAGtD,sEAAsE;AACtE,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AAExC,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAE,SAAS,CAAU,CAAC;AAoDvH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAY;IACnD,MAAM,IAAI,GAAG,gCAAgC,CAAC;IAC9C,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAmB,CAAC;IACvE,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACvH,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAoB;IACnD,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;IACxC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7E,MAAM,WAAW,GAAmB,EAAE,cAAc,EAAE,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;QACnF,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG;YAAE,WAAW,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;QAC3D,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc;YAAE,WAAW,CAAC,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;QAC5F,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK;YAAE,WAAW,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QACjE,OAAO,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,OAAyB,EAAE,aAAqB;IACvE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAC,cAAwB;IAC/C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,OAAyB,EAAE,GAAW;IAChE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,GAAG,CAAC,CAAC;AACzE,CAAC;AAED,4EAA4E;AAC5E,6EAA6E;AAC7E,0EAA0E;AAC1E,yEAAyE;AACzE,0DAA0D;AAE1D,MAAM,UAAU,8BAA8B,CAAC,MAAoB;IACjE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAChD,OAAO,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,YAAY,CAAC,cAAc;WAC5D,MAAM,CAAC,YAAY,CAAC,YAAY,KAAK,YAAY,CAAC,YAAY,CAAC,YAAY,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,MAAoB;IAC3D,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAChD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,OAAO,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,MAAM,IAAI,YAAY,CAAC,YAAY,CAAC,MAAM,KAAK,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC;AACvG,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,MAAoB,EAAE,aAAqB,EAAE,GAAuB;IACnG,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAChD,MAAM,KAAK,GAAG,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC;IAChE,MAAM,GAAG,GAAG,KAAK,EAAE,GAAG,CAAC;IACvB,MAAM,cAAc,GAAG,KAAK,EAAE,cAAc,CAAC;IAC7C,MAAM,KAAK,GAAG,KAAK,EAAE,KAAK,CAAC;IAC3B,MAAM,MAAM,GAAG,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,KAAK,aAAa,CAAC,IAAI,EAAE,CAAC;IAC1F,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3B,YAAY;WACT,GAAG;WACH,cAAc;WACd,KAAK;WACL,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC;WACpC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;WAC3B,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,KAAK,CAAC;WACtC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;WAC7B,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;WACjC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC;WACpC,KAAK,CAAC,GAAG,CAAC,KAAK;WACf,KAAK,CAAC,KAAK,EAAE,KAAK;WAClB,KAAK,CAAC,GAAG,CAAC,KAAM,GAAG,YAAY,CAAC,KAAM;WACtC,KAAK,CAAC,GAAG,CAAC,KAAM,IAAI,GAAG,CAAC,KAAM;WAC9B,KAAK,CAAC,KAAK,CAAC,KAAM,GAAG,cAAc,CAAC,KAAM;WAC1C,KAAK,CAAC,KAAK,CAAC,KAAM,IAAI,KAAK,CAAC,KAAM,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAoB,EAAE,aAAqB,EAAE,GAAuB;IACvG,MAAM,KAAK,GAAG,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC;IAChE,OAAO,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAoB,EAAE,aAAqB,EAAE,GAAuB;IACzG,MAAM,KAAK,GAAG,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC;IAChE,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,mCAAmC,CAAC,MAAoB,EAAE,aAAqB,EAAE,GAAuB;IACtH,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,kBAAkB,GAAG,CAAC,KAAK,EAAE,gBAAgB,EAAE,OAAO,CAAU,CAAC;AAGvE;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,IAAY,EAAE,QAA+B,EAAE,QAAgB;IAC1G,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,QAAQ,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACjF,OAAO,QAAQ,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;AAC7F,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAoB,EAAE,SAAiB;IAC3E,IAAK,kBAAwC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAClE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,MAAM,CAAC;aAC7C,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAA8B,CAAC,CAAC;aACxD,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC;QAC7C,OAAO,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,SAAwB,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,oCAAoC,CAAC,MAAoB,EAAE,SAAiB;IAC1F,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,SAAwB,CAAC,CAAC;IACrD,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,oCAAoC,CAAC,MAAoB,EAAE,cAAsB,EAAE,GAAW;IAC5G,MAAM,KAAK,GAAG,WAAW,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,KAAK,EAAE,CAAC,cAAmC,CAAC,CAAC;IAC1D,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,0CAA0C,CAAC,MAAoB,EAAE,aAAqB,EAAE,GAAuB;IAC7H,MAAM,KAAK,GAAG,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC;IAChE,IAAI,CAAC,KAAK,EAAE,GAAG;QAAE,OAAO,KAAK,CAAC;IAC9B,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,KAAK,aAAa,CAAC,CAAC;IAC5F,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAC7G,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,MAAoB,EAAE,KAAqB;IACjF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,OAAO,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,KAAK,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAAqB;IACpE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,cAAc,GAAG,KAAK,CAAC,cAAc,CAAC;IAC5C,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,cAAc,IAAI,GAAG,CAAC,YAAY,CAAC,cAAc,KAAK,cAAc,CAAC,YAAY,CAAC,cAAc,CAAC;AACrH,CAAC;AAED,MAAM,UAAU,wCAAwC,CAAC,KAAqB,EAAE,aAAqB;IACnG,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,cAAc,GAAG,KAAK,CAAC,cAAc,CAAC;IAC5C,IAAI,CAAC,GAAG,IAAI,CAAC,cAAc;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,0BAA0B,EAAE,CAAC,aAAa,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,cAAc,CAAC,YAAY,CAAC,0BAA0B,EAAE,CAAC,aAAa,CAAC,CAAC;IACtF,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACrF,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAqB;IAChE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,YAAY,CAAC,KAAK,KAAK,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC;AACjF,CAAC"}
+{"version":3,"file":"change-evidence.js","sourceRoot":"","sources":["../../../../packages/analysis/src/change-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEtD,sEAAsE;AACtE,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AAExC,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAE,SAAS,CAAU,CAAC;AAqDvH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAY;IACnD,MAAM,IAAI,GAAG,gCAAgC,CAAC;IAC9C,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAmB,CAAC;IACvE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,aAAa,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACvG,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,sDAAsD,KAAK,CAAC,aAAa,oBAAoB,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,MAAoB;IACjD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;IACtC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,OAAe;IAC7C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IAC9G,OAAO,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,OAAO,EAAE,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,MAAoB,EACpB,QAAgB;IAEhB,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACvC,OAAO,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAoB,EAAE,UAA+B;IACxF,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC;IAChF,IAAI,KAAK,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACjG,OAAO,eAAe,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AACpC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAoB;IACnD,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;IACxC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7E,MAAM,WAAW,GAAmB,EAAE,cAAc,EAAE,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;QACnF,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG;YAAE,WAAW,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;QAC3D,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc;YAAE,WAAW,CAAC,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;QAC5F,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK;YAAE,WAAW,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QACjE,OAAO,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,OAAyB,EAAE,aAAqB;IACvE,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;IAC3F,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IACjF,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IAC1C,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CACxC,KAAK,CAAC,GAAI,CAAC,KAAM,IAAI,QAAQ,CAAC,GAAI,CAAC,KAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;AAClE,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,6BAA6B,CAC3C,QAA+B,EAC/B,KAAsB,EACtB,aAAqB;IAErB,MAAM,UAAU,GAAG,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;IAC/G,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5E,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;QAC5B,OAAO;YACL,SAAS,EAAE,KAAK;YAChB,YAAY,EAAE,QAAQ;YACtB,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/D,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAEhD,MAAM,eAAe,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACvD,MAAM;QACN,KAAK,EAAE,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC;KACzD,CAAC,CAAC,CAAC;IACJ,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,IAAI,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;QAC5E,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAC7B,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAChE,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,gBAAgB,EAAE,CAAC;IACjG,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,OAAyB,EACzB,KAAqB,EACrB,cAAwB;IAExB,2EAA2E;IAC3E,4EAA4E;IAC5E,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,KAAK,KAAK,CAAC,CAAC;AAC9F,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,MAAoB,EACpB,aAAqB;IAErB,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC;IAC5D,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC/C,MAAM,eAAe,GAAG,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC;IAC1C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC;QAAE,OAAO,SAAS,CAAC;IACjG,MAAM,iBAAiB,GAAG,OAAO;SAC9B,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CACpB,SAAS,CAAC,cAAc,CAAC,QAAQ,CAAC,aAAa,CAAC;WAC7C,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC;WACtC,SAAS,CAAC,GAAI,CAAC,KAAM,GAAG,eAAgB,CAAC;SAC7C,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,GAAI,CAAC,KAAM,CAAC,CAAC;IAC7C,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,iBAAkB,EAAE,GAAG,iBAAiB,CAAC;QACzD,OAAO,EAAE,eAAgB;KAC1B,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAC,cAAwB;IAC/C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,OAAyB,EAAE,GAAW;IAChE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,GAAG,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,aAAa,CAAyC,OAAY,EAAE,GAAW;IAC7F,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,GAAG,CAAC,CAAC;AAC3E,CAAC;AAED,4EAA4E;AAC5E,6EAA6E;AAC7E,0EAA0E;AAC1E,yEAAyE;AACzE,0DAA0D;AAE1D,MAAM,UAAU,8BAA8B,CAAC,MAAoB;IACjE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAChD,OAAO,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,YAAY,CAAC,cAAc;WAC5D,MAAM,CAAC,YAAY,CAAC,YAAY,KAAK,YAAY,CAAC,YAAY,CAAC,YAAY,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,MAAoB;IAC3D,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAChD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,OAAO,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,MAAM,IAAI,YAAY,CAAC,YAAY,CAAC,MAAM,KAAK,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC;AACvG,CAAC;AAED,MAAM,kBAAkB,GAAG,CAAC,KAAK,EAAE,gBAAgB,EAAE,OAAO,CAAU,CAAC;AAGvE;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,IAAY,EAAE,QAA+B,EAAE,QAAgB;IAC1G,IAAI,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,QAAQ,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACjF,OAAO,QAAQ,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;AAC7F,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAoB,EAAE,SAAiB;IAC3E,IAAK,kBAAwC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAClE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,MAAM,CAAC;aAC7C,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAA8B,CAAC,CAAC;aACxD,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC;QAC7C,OAAO,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,SAAwB,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,oCAAoC,CAAC,MAAoB,EAAE,SAAiB;IAC1F,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,SAAwB,CAAC,CAAC;IACrD,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACjD,CAAC;AASD,MAAM,UAAU,wCAAwC,CACtD,KAAsB,EACtB,cAAsB;IAEtB,MAAM,IAAI,GAAG,KAAK,CAAC,cAAmC,CAAC,CAAC;IACxD,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,MAAyG,EACzG,cAAsB,EACtB,GAAW;IAEX,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/C,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7E,MAAM,WAAW,GAAoB;YACnC,cAAc,EAAE,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC;YAC1C,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzF,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/D,CAAC;QACF,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,aAAa,CAAC,OAAO,EAAE,GAAG,CAAC;SAC/B,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,wCAAwC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC;AACtF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAAoB,EAAE,SAAiB;IAC9E,IAAI,SAAS,KAAK,cAAc,EAAE,CAAC;QACjC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;QAChD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QACpC,OAAO,YAAY,EAAE,KAAK,KAAK,SAAS,IAAI,MAAM,EAAE,KAAK,KAAK,SAAS,IAAI,YAAY,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;IAChH,CAAC;IACD,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QACpC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;QAChD,OAAO,MAAM,EAAE,KAAK,KAAK,SAAS,IAAI,YAAY,EAAE,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,IAAI,YAAY,CAAC,KAAK,CAAC;IAChH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,MAAoC,EACpC,KAAsB,EACtB,cAAsB;IAEtB,IAAI,cAAc,KAAK,KAAK,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QACpC,OAAO,KAAK,CAAC,GAAG,EAAE,KAAK,KAAK,SAAS,IAAI,MAAM,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;IAC1G,CAAC;IACD,IAAI,cAAc,KAAK,gBAAgB,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC,cAAc,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,EAAE,KAAK,KAAK,SAAS;eAC7E,KAAK,CAAC,cAAc,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;IACrD,CAAC;IACD,IAAI,cAAc,KAAK,OAAO,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC,KAAK,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,cAAc,EAAE,KAAK,KAAK,SAAS;eAC/E,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC;IACvD,CAAC;IACD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QACtC,OAAO,OAAO,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,EAAE,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;IAChH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,MAAyG,EACzG,cAAsB,EACtB,GAAW;IAEX,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/C,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7E,MAAM,WAAW,GAAoB;YACnC,cAAc,EAAE,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC;YAC1C,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzF,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/D,CAAC;QACF,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,aAAa,CAAC,OAAO,EAAE,GAAG,CAAC;SAC/B,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,4BAA4B,CAAC,MAAM,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,MAAoB,EAAE,KAAqB;IACjF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,OAAO,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,KAAK,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAAqB;IACpE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,cAAc,GAAG,KAAK,CAAC,cAAc,CAAC;IAC5C,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,cAAc,IAAI,GAAG,CAAC,YAAY,CAAC,cAAc,KAAK,cAAc,CAAC,YAAY,CAAC,cAAc,CAAC;AACrH,CAAC;AAED,MAAM,UAAU,wCAAwC,CAAC,KAAqB,EAAE,aAAqB;IACnG,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,cAAc,GAAG,KAAK,CAAC,cAAc,CAAC;IAC5C,IAAI,CAAC,GAAG,IAAI,CAAC,cAAc;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,0BAA0B,EAAE,CAAC,aAAa,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,cAAc,CAAC,YAAY,CAAC,0BAA0B,EAAE,CAAC,aAAa,CAAC,CAAC;IACtF,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACrF,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAqB;IAChE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,YAAY,CAAC,KAAK,KAAK,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC;AACjF,CAAC"}

package/dist/packages/analysis/src/change-waiver.d.ts

@@ -6,7 +6,7 @@ import { inspectEvidenceOrder } from './order.js';
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-001 REQ-CHANGE-EVIDENCE-WAIVER-004
  * @design DES-CHANGE-EVIDENCE-WAIVER-001
  */
-export declare const WAIVABLE_CODES: readonly ["CHANGE_REQUIREMENTS_UNCHANGED", "CHANGE_DESIGN_UNCHANGED", "CHANGE_RED_UNPROVEN", "CHANGE_GREEN_UNPROVEN", "CHANGE_COMPLETENESS_TDD", "CHANGE_RECORD_MISSING", "CHANGE_PHASE_MISSING", "CHANGE_ORDER_MIGRATION_REQUIRED", "CHANGE_TESTS_UNCHANGED", "CHANGE_IMPLEMENTATION_UNCHANGED", "CHANGE_RELEVANT_IMPLEMENTATION_UNCHANGED", "CHANGE_TEST_CHANGED_AFTER_RED"];
+export declare const WAIVABLE_CODES: readonly ["CHANGE_REQUIREMENTS_UNCHANGED", "CHANGE_DESIGN_UNCHANGED", "CHANGE_RED_UNPROVEN", "CHANGE_GREEN_UNPROVEN", "CHANGE_COMPLETENESS_TDD", "CHANGE_RECORD_MISSING", "CHANGE_PHASE_MISSING", "CHANGE_ORDER_MIGRATION_REQUIRED", "CHANGE_TESTS_UNCHANGED", "CHANGE_IMPLEMENTATION_UNCHANGED", "CHANGE_RELEVANT_IMPLEMENTATION_UNCHANGED", "CHANGE_TEST_CHANGED_AFTER_RED", "CHANGE_PHASE_ORDER"];
 export type WaivableCode = typeof WAIVABLE_CODES[number];
 /** @id CODE-CHANGE-EVIDENCE-WAIVER-017
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-004 REQ-CHANGE-EVIDENCE-WAIVER-016
@@ -15,12 +15,12 @@ export type WaivableCode = typeof WAIVABLE_CODES[number];
  * single `CHANGE_LEVEL_CODES` set, so REQ-004's regime matrix is data, never
  * scattered per-code `if` branches.
  */
-export declare const NEITHER_KEY_CODES: Set<"CHANGE_REQUIREMENTS_UNCHANGED" | "CHANGE_DESIGN_UNCHANGED" | "CHANGE_RED_UNPROVEN" | "CHANGE_GREEN_UNPROVEN" | "CHANGE_COMPLETENESS_TDD" | "CHANGE_RECORD_MISSING" | "CHANGE_PHASE_MISSING" | "CHANGE_ORDER_MIGRATION_REQUIRED" | "CHANGE_TESTS_UNCHANGED" | "CHANGE_IMPLEMENTATION_UNCHANGED" | "CHANGE_RELEVANT_IMPLEMENTATION_UNCHANGED" | "CHANGE_TEST_CHANGED_AFTER_RED">;
-export declare const REQUIREMENT_ONLY_CODES: Set<"CHANGE_REQUIREMENTS_UNCHANGED" | "CHANGE_DESIGN_UNCHANGED" | "CHANGE_RED_UNPROVEN" | "CHANGE_GREEN_UNPROVEN" | "CHANGE_COMPLETENESS_TDD" | "CHANGE_RECORD_MISSING" | "CHANGE_PHASE_MISSING" | "CHANGE_ORDER_MIGRATION_REQUIRED" | "CHANGE_TESTS_UNCHANGED" | "CHANGE_IMPLEMENTATION_UNCHANGED" | "CHANGE_RELEVANT_IMPLEMENTATION_UNCHANGED" | "CHANGE_TEST_CHANGED_AFTER_RED">;
-export declare const DETAIL_ONLY_CODES: Set<"CHANGE_REQUIREMENTS_UNCHANGED" | "CHANGE_DESIGN_UNCHANGED" | "CHANGE_RED_UNPROVEN" | "CHANGE_GREEN_UNPROVEN" | "CHANGE_COMPLETENESS_TDD" | "CHANGE_RECORD_MISSING" | "CHANGE_PHASE_MISSING" | "CHANGE_ORDER_MIGRATION_REQUIRED" | "CHANGE_TESTS_UNCHANGED" | "CHANGE_IMPLEMENTATION_UNCHANGED" | "CHANGE_RELEVANT_IMPLEMENTATION_UNCHANGED" | "CHANGE_TEST_CHANGED_AFTER_RED">;
-export declare const BOTH_KEYS_CODES: Set<"CHANGE_REQUIREMENTS_UNCHANGED" | "CHANGE_DESIGN_UNCHANGED" | "CHANGE_RED_UNPROVEN" | "CHANGE_GREEN_UNPROVEN" | "CHANGE_COMPLETENESS_TDD" | "CHANGE_RECORD_MISSING" | "CHANGE_PHASE_MISSING" | "CHANGE_ORDER_MIGRATION_REQUIRED" | "CHANGE_TESTS_UNCHANGED" | "CHANGE_IMPLEMENTATION_UNCHANGED" | "CHANGE_RELEVANT_IMPLEMENTATION_UNCHANGED" | "CHANGE_TEST_CHANGED_AFTER_RED">;
+export declare const NEITHER_KEY_CODES: Set<"CHANGE_REQUIREMENTS_UNCHANGED" | "CHANGE_DESIGN_UNCHANGED" | "CHANGE_RED_UNPROVEN" | "CHANGE_GREEN_UNPROVEN" | "CHANGE_COMPLETENESS_TDD" | "CHANGE_RECORD_MISSING" | "CHANGE_PHASE_MISSING" | "CHANGE_ORDER_MIGRATION_REQUIRED" | "CHANGE_TESTS_UNCHANGED" | "CHANGE_IMPLEMENTATION_UNCHANGED" | "CHANGE_RELEVANT_IMPLEMENTATION_UNCHANGED" | "CHANGE_TEST_CHANGED_AFTER_RED" | "CHANGE_PHASE_ORDER">;
+export declare const REQUIREMENT_ONLY_CODES: Set<"CHANGE_REQUIREMENTS_UNCHANGED" | "CHANGE_DESIGN_UNCHANGED" | "CHANGE_RED_UNPROVEN" | "CHANGE_GREEN_UNPROVEN" | "CHANGE_COMPLETENESS_TDD" | "CHANGE_RECORD_MISSING" | "CHANGE_PHASE_MISSING" | "CHANGE_ORDER_MIGRATION_REQUIRED" | "CHANGE_TESTS_UNCHANGED" | "CHANGE_IMPLEMENTATION_UNCHANGED" | "CHANGE_RELEVANT_IMPLEMENTATION_UNCHANGED" | "CHANGE_TEST_CHANGED_AFTER_RED" | "CHANGE_PHASE_ORDER">;
+export declare const DETAIL_ONLY_CODES: Set<"CHANGE_REQUIREMENTS_UNCHANGED" | "CHANGE_DESIGN_UNCHANGED" | "CHANGE_RED_UNPROVEN" | "CHANGE_GREEN_UNPROVEN" | "CHANGE_COMPLETENESS_TDD" | "CHANGE_RECORD_MISSING" | "CHANGE_PHASE_MISSING" | "CHANGE_ORDER_MIGRATION_REQUIRED" | "CHANGE_TESTS_UNCHANGED" | "CHANGE_IMPLEMENTATION_UNCHANGED" | "CHANGE_RELEVANT_IMPLEMENTATION_UNCHANGED" | "CHANGE_TEST_CHANGED_AFTER_RED" | "CHANGE_PHASE_ORDER">;
+export declare const BOTH_KEYS_CODES: Set<"CHANGE_REQUIREMENTS_UNCHANGED" | "CHANGE_DESIGN_UNCHANGED" | "CHANGE_RED_UNPROVEN" | "CHANGE_GREEN_UNPROVEN" | "CHANGE_COMPLETENESS_TDD" | "CHANGE_RECORD_MISSING" | "CHANGE_PHASE_MISSING" | "CHANGE_ORDER_MIGRATION_REQUIRED" | "CHANGE_TESTS_UNCHANGED" | "CHANGE_IMPLEMENTATION_UNCHANGED" | "CHANGE_RELEVANT_IMPLEMENTATION_UNCHANGED" | "CHANGE_TEST_CHANGED_AFTER_RED" | "CHANGE_PHASE_ORDER">;
 /** Retained purely for backward-compatible naming inside this module. */
-export declare const CHANGE_LEVEL_CODES: Set<"CHANGE_REQUIREMENTS_UNCHANGED" | "CHANGE_DESIGN_UNCHANGED" | "CHANGE_RED_UNPROVEN" | "CHANGE_GREEN_UNPROVEN" | "CHANGE_COMPLETENESS_TDD" | "CHANGE_RECORD_MISSING" | "CHANGE_PHASE_MISSING" | "CHANGE_ORDER_MIGRATION_REQUIRED" | "CHANGE_TESTS_UNCHANGED" | "CHANGE_IMPLEMENTATION_UNCHANGED" | "CHANGE_RELEVANT_IMPLEMENTATION_UNCHANGED" | "CHANGE_TEST_CHANGED_AFTER_RED">;
+export declare const CHANGE_LEVEL_CODES: Set<"CHANGE_REQUIREMENTS_UNCHANGED" | "CHANGE_DESIGN_UNCHANGED" | "CHANGE_RED_UNPROVEN" | "CHANGE_GREEN_UNPROVEN" | "CHANGE_COMPLETENESS_TDD" | "CHANGE_RECORD_MISSING" | "CHANGE_PHASE_MISSING" | "CHANGE_ORDER_MIGRATION_REQUIRED" | "CHANGE_TESTS_UNCHANGED" | "CHANGE_IMPLEMENTATION_UNCHANGED" | "CHANGE_RELEVANT_IMPLEMENTATION_UNCHANGED" | "CHANGE_TEST_CHANGED_AFTER_RED" | "CHANGE_PHASE_ORDER">;
 export declare function requiresRequirementId(code: WaivableCode): boolean;
 export declare function requiresDetail(code: WaivableCode): boolean;
 export declare const CURRENT_SNAPSHOT_VERSION = 1;
@@ -57,6 +57,11 @@ export type LoadedChangeWaiverEvidence = {
  * regardless of key insertion order.
  */
 export declare function canonicalJson(value: unknown): string;
+/** @id CODE-CHANGE-EVIDENCE-WAIVER-026
+ * @implements REQ-CHANGE-EVIDENCE-WAIVER-011
+ * @design DES-CHANGE-EVIDENCE-WAIVER-002
+ */
+export declare function normalizeChangeRecordMissingDocument(text: string, changeId: string, waiverRecord?: Pick<ChangeWaiverRecord, 'code' | 'approver' | 'recordedAt' | 'snapshotHash'>): string;
 /** @id CODE-CHANGE-EVIDENCE-WAIVER-002
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-007
  * @design DES-CHANGE-EVIDENCE-WAIVER-001
@@ -109,7 +114,7 @@ export declare function parseDetail(code: WaivableCode, detail: string | undefin
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-011 REQ-CHANGE-EVIDENCE-WAIVER-016
  * @design DES-CHANGE-EVIDENCE-WAIVER-002
  */
-export declare function snapshotPayload(root: string, evidence: ChangeEvidence | null, tdd: TddEvidence | null, order: Awaited<ReturnType<typeof inspectEvidenceOrder>>, changeId: string, code: WaivableCode, requirementId?: string, detail?: string): Promise<unknown | null>;
+export declare function snapshotPayload(root: string, evidence: ChangeEvidence | null, tdd: TddEvidence | null, order: Awaited<ReturnType<typeof inspectEvidenceOrder>>, changeId: string, code: WaivableCode, requirementId?: string, detail?: string, waiverRecord?: Pick<ChangeWaiverRecord, 'code' | 'approver' | 'recordedAt' | 'snapshotHash'>): Promise<unknown | null>;
 /** @id CODE-CHANGE-EVIDENCE-WAIVER-005
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-015 REQ-CHANGE-EVIDENCE-WAIVER-016
  * @design DES-CHANGE-EVIDENCE-WAIVER-002
@@ -124,10 +129,17 @@ export declare function waiverChainValid(waivers: ChangeWaiverRecord[], index: n
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-006 REQ-CHANGE-EVIDENCE-WAIVER-016
  * @design DES-CHANGE-EVIDENCE-WAIVER-002
  */
-export declare function waiverLinkage(root: string, evidence: ChangeEvidence | null, order: Awaited<ReturnType<typeof inspectEvidenceOrder>>, waivers: ChangeWaiverRecord[], index: number): Promise<{
+export declare function waiverLinkage(order: Awaited<ReturnType<typeof inspectEvidenceOrder>>, waivers: ChangeWaiverRecord[], index: number): {
     valid: boolean;
     reason?: string;
-}>;
+};
+export type WaiverCondition = 'true' | 'false' | 'indeterminate';
+export interface WaiverScope {
+    changeId: string;
+    code: WaivableCode;
+    requirementId?: string;
+    detail?: string;
+}
 export interface WaiverContext {
     loaded: LoadedChangeWaiverEvidence | null;
     order: Awaited<ReturnType<typeof inspectEvidenceOrder>>;
@@ -136,7 +148,9 @@ export interface WaiverContext {
         reason?: string;
     }>;
     currentHash: Array<string | undefined>;
+    condition: Array<WaiverCondition | undefined>;
 }
+export declare function evaluateWaiverCondition(root: string, evidence: ChangeEvidence | null, tdd: TddEvidence | null, order: Awaited<ReturnType<typeof inspectEvidenceOrder>>, scope: WaiverScope): Promise<WaiverCondition>;
 /** @id CODE-CHANGE-EVIDENCE-WAIVER-020
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-006 REQ-CHANGE-EVIDENCE-WAIVER-007 REQ-CHANGE-EVIDENCE-WAIVER-010 REQ-CHANGE-EVIDENCE-WAIVER-011
  * @design DES-CHANGE-EVIDENCE-WAIVER-004
@@ -144,7 +158,17 @@ export interface WaiverContext {
  * consults only this fully resolved value, so no diagnostic-emission call
  * site or final malformed/stale pass needs to itself `await` anything.
  */
-export declare function buildWaiverContext(root: string, evidence: ChangeEvidence | null, tdd: TddEvidence | null): Promise<WaiverContext>;
+export declare function buildWaiverContext(root: string, evidence: ChangeEvidence | null, tdd: TddEvidence | null, precomputed?: {
+    loaded?: LoadedChangeWaiverEvidence | null;
+    order?: Awaited<ReturnType<typeof inspectEvidenceOrder>>;
+}): Promise<WaiverContext>;
+export declare function isWaiverStale(waiverContext: WaiverContext, index: number): boolean;
+/**
+ * Selects the greatest-`order` validly linked record within a
+ * `changeId`/`code`/`requirementId`/`detail` scope group (REQ-006's
+ * supersession rule), returning its index, or -1 if none match/link.
+ */
+export declare function authoritativeWaiverIndex(waiverContext: WaiverContext, scope: WaiverScope): number;
 /** @id CODE-CHANGE-EVIDENCE-WAIVER-008
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-006 REQ-CHANGE-EVIDENCE-WAIVER-008 REQ-CHANGE-EVIDENCE-WAIVER-009 REQ-CHANGE-EVIDENCE-WAIVER-016
  * @design DES-CHANGE-EVIDENCE-WAIVER-004
@@ -154,7 +178,7 @@ export declare function waivedDiagnostic(waiverContext: WaiverContext, code: Wai
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-006 REQ-CHANGE-EVIDENCE-WAIVER-007 REQ-CHANGE-EVIDENCE-WAIVER-011
  * @design DES-CHANGE-EVIDENCE-WAIVER-004
  */
-export declare function reportWaiverEvidenceDiagnostics(waiverContext: WaiverContext, _evidence: ChangeEvidence | null, _tdd: TddEvidence | null): Diagnostic[];
+export declare function reportWaiverEvidenceDiagnostics(waiverContext: WaiverContext): Diagnostic[];
 /** @id CODE-CHANGE-EVIDENCE-WAIVER-010
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-001 REQ-CHANGE-EVIDENCE-WAIVER-002 REQ-CHANGE-EVIDENCE-WAIVER-003 REQ-CHANGE-EVIDENCE-WAIVER-004 REQ-CHANGE-EVIDENCE-WAIVER-005 REQ-CHANGE-EVIDENCE-WAIVER-010 REQ-CHANGE-EVIDENCE-WAIVER-015 REQ-CHANGE-EVIDENCE-WAIVER-016
  * @design DES-CHANGE-EVIDENCE-WAIVER-001
@@ -170,7 +194,7 @@ export declare function recordChangeWaiver(root: string, changeId: string, code:
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-006 REQ-CHANGE-EVIDENCE-WAIVER-012 REQ-CHANGE-EVIDENCE-WAIVER-016
  * @design DES-CHANGE-EVIDENCE-WAIVER-005
  */
-export declare function activeWaivers(root: string): Promise<Array<{
+export declare function activeWaivers(root: string, precomputed?: WaiverContext): Promise<Array<{
     changeId: string;
     code: string;
     requirementId?: string;
@@ -179,8 +203,17 @@ export declare function activeWaivers(root: string): Promise<Array<{
     reason: string;
     recordedAt: string;
 }>>;
+export declare function evaluateChangeWaiverState(root: string, evidence: ChangeEvidence, tdd: TddEvidence, order: Awaited<ReturnType<typeof inspectEvidenceOrder>>, waivers: ChangeWaiverEvidence): Promise<{
+    stale: Array<{
+        changeId: string;
+        code: string;
+        requirementId?: string;
+        detail?: string;
+    }>;
+    authoritative: Map<string, string>;
+}>;
 /** @id CODE-CHANGE-EVIDENCE-WAIVER-012
  * @implements REQ-CHANGE-EVIDENCE-WAIVER-007 REQ-CHANGE-EVIDENCE-WAIVER-011
  * @design DES-CHANGE-EVIDENCE-WAIVER-005
  */
-export declare function waiverEvidenceDiagnostics(root: string): Promise<Diagnostic[]>;
+export declare function waiverEvidenceDiagnostics(root: string, precomputed?: WaiverContext): Promise<Diagnostic[]>;