musubix3 0.1.20 → 0.1.21

package/dist/packages/analysis/src/quality-refresh.js

@@ -0,0 +1,312 @@
+import { link, mkdir, open, readFile, readdir, rename, rm, unlink, writeFile } from 'node:fs/promises';
+import { dirname, resolve } from 'node:path';
+import { digest, exists, safePath } from './files.js';
+import { evidenceJournals } from './evidence-merge-guard.js';
+import { withEvidenceWriterLock } from './evidence-writer-lock.js';
+import { validateEvidenceOrderLog } from './order.js';
+import { qualityIdentity, qualityLineage, } from './change-evidence.js';
+const EVIDENCE_DIR = '.musubix/evidence';
+const ORDER_PATH = `${EVIDENCE_DIR}/order.json`;
+const CHANGES_PATH = `${EVIDENCE_DIR}/changes.json`;
+const JOURNAL_PATH = `${EVIDENCE_DIR}/.quality-refresh-transaction.json`;
+const STAGING_PREFIX = `${EVIDENCE_DIR}/.quality-refresh-transaction.`;
+const TARGETS = [ORDER_PATH, CHANGES_PATH];
+function json(value) {
+    return `${JSON.stringify(value, null, 2)}\n`;
+}
+async function fsyncFile(path) {
+    const handle = await open(path, 'r+');
+    try {
+        await handle.sync();
+    }
+    finally {
+        await handle.close();
+    }
+}
+export async function fsyncQualityRefreshDirectory(path, openDirectory = open) {
+    let handle;
+    try {
+        handle = await openDirectory(path, 'r');
+        await handle.sync();
+    }
+    catch (cause) {
+        if (!['EISDIR', 'EPERM', 'EACCES', 'EINVAL'].includes(cause.code ?? ''))
+            throw cause;
+    }
+    finally {
+        await handle?.close();
+    }
+}
+async function removeIfPresent(path) {
+    await rm(path, { force: true });
+}
+async function originalBytes(root, path) {
+    const absolute = await safePath(root, path);
+    try {
+        return { existed: true, bytes: await readFile(absolute, 'utf8') };
+    }
+    catch (cause) {
+        if (cause.code === 'ENOENT')
+            return { existed: false, bytes: '' };
+        throw cause;
+    }
+}
+async function restoreJournal(root, journal) {
+    const evidenceDirectory = await safePath(root, EVIDENCE_DIR);
+    for (const target of journal.targets) {
+        const absolute = await safePath(root, target.path);
+        if (target.existed) {
+            const staging = `${absolute}.${journal.transactionId}.restore`;
+            await writeFile(staging, Buffer.from(target.originalBase64, 'base64'));
+            await fsyncFile(staging);
+            await rename(staging, absolute);
+        }
+        else {
+            await removeIfPresent(absolute);
+        }
+        await removeIfPresent(await safePath(root, target.temporaryPath));
+    }
+    await fsyncQualityRefreshDirectory(evidenceDirectory);
+    await removeIfPresent(await safePath(root, JOURNAL_PATH));
+    await fsyncQualityRefreshDirectory(evidenceDirectory);
+}
+function validateCandidate(order, changes) {
+    if (!validateEvidenceOrderLog(order).valid || changes.schemaVersion !== 2 || !Array.isArray(changes.changes)) {
+        throw new Error('candidate evidence is structurally invalid');
+    }
+    for (const change of changes.changes) {
+        if (change.qualityHistory !== undefined
+            && (!Array.isArray(change.qualityHistory) || change.qualityHistory.length === 0)) {
+            throw new Error(`${change.changeId} has malformed Quality history`);
+        }
+        const lineage = qualityLineage(change);
+        if (!lineage.length)
+            continue;
+        const identities = new Set();
+        for (const [index, checkpoint] of lineage.entries()) {
+            const identity = qualityIdentity(index + 1);
+            identities.add(identity);
+            if (checkpoint.phase !== 'quality' || typeof checkpoint.recordedAt !== 'string'
+                || !checkpoint.fingerprints || !Number.isInteger(checkpoint.order)) {
+                throw new Error(`${change.changeId}:${identity} is malformed`);
+            }
+            const matches = order.records.filter((record) => record.kind === 'change' && record.entityId === change.changeId
+                && record.phase === identity && record.sequence === checkpoint.order);
+            if (matches.length !== 1)
+                throw new Error(`${change.changeId}:${identity} is not paired`);
+        }
+        if (order.records.some((record) => record.kind === 'change' && record.entityId === change.changeId
+            && /^quality(?::\d+)?$/.test(record.phase) && !identities.has(record.phase))) {
+            throw new Error(`${change.changeId} has an orphan Quality order identity`);
+        }
+    }
+}
+function validateJournal(journal) {
+    if (journal.schemaVersion !== 1 || journal.kind !== 'quality-refresh'
+        || typeof journal.transactionId !== 'string' || !journal.transactionId
+        || !['prepared', 'committed'].includes(journal.state) || !Array.isArray(journal.targets)) {
+        throw new Error('published Quality-refresh journal is invalid');
+    }
+    const paths = new Set();
+    for (const target of journal.targets) {
+        if (!TARGETS.includes(target.path) || paths.has(target.path)
+            || typeof target.existed !== 'boolean'
+            || typeof target.originalBase64 !== 'string' || typeof target.originalSha256 !== 'string'
+            || typeof target.candidateBase64 !== 'string' || typeof target.candidateSha256 !== 'string'
+            || typeof target.temporaryPath !== 'string'
+            || !target.temporaryPath.startsWith(`${target.path}.${journal.transactionId}.`)
+            || digest(Buffer.from(target.originalBase64, 'base64')) !== target.originalSha256
+            || digest(Buffer.from(target.candidateBase64, 'base64')) !== target.candidateSha256) {
+            throw new Error('published Quality-refresh journal target is invalid');
+        }
+        paths.add(target.path);
+    }
+    if (paths.size !== TARGETS.length || TARGETS.some((path) => !paths.has(path))) {
+        throw new Error('published Quality-refresh journal target inventory is incomplete');
+    }
+}
+function unsafe(reason) {
+    return new Error(`CHANGE_QUALITY_REFRESH_RECOVERY_UNSAFE: ${reason}`);
+}
+/** @id CODE-CHANGE-QUALITY-REFRESH-002
+ * @implements REQ-CHANGE-QUALITY-REFRESH-001 REQ-CHANGE-QUALITY-REFRESH-003
+ * @design DES-CHANGE-QUALITY-REFRESH-002
+ */
+export async function commitQualityRefresh(root, order, changes, faultAt) {
+    const journals = await evidenceJournals(root);
+    if (journals.merge)
+        throw new Error('EVIDENCE_MERGE_RECOVERY_REQUIRED: run evidence merge --recover.');
+    if (journals.qualityRefresh) {
+        throw new Error('CHANGE_QUALITY_REFRESH_RECOVERY_REQUIRED: run change quality-recover.');
+    }
+    validateCandidate(order, changes);
+    const transactionId = crypto.randomUUID();
+    const candidateBytes = {
+        [ORDER_PATH]: json(order),
+        [CHANGES_PATH]: json(changes),
+    };
+    const targets = [];
+    for (const path of TARGETS) {
+        const original = await originalBytes(root, path);
+        const candidate = candidateBytes[path];
+        targets.push({
+            path,
+            existed: original.existed,
+            originalBase64: Buffer.from(original.bytes).toString('base64'),
+            originalSha256: digest(original.bytes),
+            candidateBase64: Buffer.from(candidate).toString('base64'),
+            candidateSha256: digest(candidate),
+            temporaryPath: `${path}.${transactionId}.quality-refresh`,
+        });
+    }
+    const journal = {
+        schemaVersion: 1,
+        kind: 'quality-refresh',
+        transactionId,
+        state: 'prepared',
+        targets,
+    };
+    const journalAbsolute = await safePath(root, JOURNAL_PATH);
+    const stagingJournal = await safePath(root, `${STAGING_PREFIX}${transactionId}.json`);
+    await mkdir(dirname(journalAbsolute), { recursive: true });
+    if (faultAt === 'journal:staging')
+        throw new Error('Injected Quality refresh failure at journal:staging.');
+    await writeFile(stagingJournal, json(journal), { flag: 'wx' });
+    await fsyncFile(stagingJournal);
+    if (faultAt === 'journal:publication') {
+        throw new Error('CHANGE_QUALITY_REFRESH_RECOVERY_REQUIRED: injected failure at journal:publication.');
+    }
+    try {
+        await link(stagingJournal, journalAbsolute);
+        await unlink(stagingJournal);
+    }
+    catch (cause) {
+        await removeIfPresent(stagingJournal);
+        if (cause.code === 'EEXIST') {
+            throw new Error('CHANGE_QUALITY_REFRESH_RECOVERY_REQUIRED: another Quality refresh was published.');
+        }
+        throw cause;
+    }
+    await fsyncQualityRefreshDirectory(dirname(journalAbsolute));
+    try {
+        for (let index = 0; index < targets.length; index++) {
+            if (faultAt === `temporary:${index}`)
+                throw new Error(`Injected Quality refresh failure at temporary:${index}.`);
+            const target = targets[index];
+            const temporary = await safePath(root, target.temporaryPath);
+            await writeFile(temporary, Buffer.from(target.candidateBase64, 'base64'), { flag: 'wx' });
+            await fsyncFile(temporary);
+        }
+        for (let index = 0; index < targets.length; index++) {
+            if (faultAt === `replace:${index}`)
+                throw new Error(`Injected Quality refresh failure at replace:${index}.`);
+            const target = targets[index];
+            await rename(await safePath(root, target.temporaryPath), await safePath(root, target.path));
+        }
+        await fsyncQualityRefreshDirectory(dirname(journalAbsolute));
+        journal.state = 'committed';
+        const commitStaging = await safePath(root, `${STAGING_PREFIX}${transactionId}.commit.json`);
+        await writeFile(commitStaging, json(journal), { flag: 'wx' });
+        await fsyncFile(commitStaging);
+        if (faultAt === 'commit-marker')
+            throw new Error('Injected Quality refresh failure at commit-marker.');
+        await rename(commitStaging, journalAbsolute);
+        await fsyncQualityRefreshDirectory(dirname(journalAbsolute));
+        if (faultAt === 'cleanup') {
+            throw new Error('CHANGE_QUALITY_REFRESH_RECOVERY_REQUIRED: injected failure at cleanup.');
+        }
+        await removeIfPresent(journalAbsolute);
+    }
+    catch (cause) {
+        const injected = cause instanceof Error && cause.message.startsWith('Injected Quality refresh failure');
+        if (injected && journal.state === 'prepared') {
+            await restoreJournal(root, journal);
+            throw cause;
+        }
+        throw new Error(`CHANGE_QUALITY_REFRESH_RECOVERY_REQUIRED: ${cause instanceof Error ? cause.message : String(cause)}`);
+    }
+}
+/** @id CODE-CHANGE-QUALITY-REFRESH-003
+ * @implements REQ-CHANGE-QUALITY-REFRESH-003
+ * @design DES-CHANGE-QUALITY-REFRESH-002
+ */
+export async function recoverQualityRefresh(root) {
+    return withEvidenceWriterLock(root, 'change quality-recover', async () => {
+        const journals = await evidenceJournals(root);
+        if (journals.merge && journals.qualityRefresh)
+            throw unsafe('merge and Quality-refresh journals coexist.');
+        if (journals.merge)
+            throw new Error('EVIDENCE_MERGE_RECOVERY_REQUIRED: run evidence merge --recover.');
+        const journalAbsolute = await safePath(root, JOURNAL_PATH);
+        const evidenceDir = await safePath(root, EVIDENCE_DIR);
+        let staging = [];
+        try {
+            staging = (await readdir(evidenceDir))
+                .filter((entry) => entry.startsWith('.quality-refresh-transaction.')
+                && entry !== '.quality-refresh-transaction.json');
+        }
+        catch (cause) {
+            if (cause.code !== 'ENOENT')
+                throw cause;
+        }
+        if (!await exists(journalAbsolute)) {
+            for (const entry of staging)
+                await removeIfPresent(resolve(evidenceDir, entry));
+            return { recovered: false, action: 'nothing-to-recover' };
+        }
+        let journal;
+        try {
+            journal = JSON.parse(await readFile(journalAbsolute, 'utf8'));
+            validateJournal(journal);
+        }
+        catch (cause) {
+            throw unsafe(cause instanceof Error ? cause.message : String(cause));
+        }
+        if (journal.state === 'prepared') {
+            await restoreJournal(root, journal);
+            for (const entry of staging)
+                await removeIfPresent(resolve(evidenceDir, entry));
+            return { recovered: true, action: 'rolled-back' };
+        }
+        try {
+            const values = new Map(journal.targets.map((target) => [
+                target.path,
+                JSON.parse(Buffer.from(target.candidateBase64, 'base64').toString('utf8')),
+            ]));
+            validateCandidate(values.get(ORDER_PATH), values.get(CHANGES_PATH));
+            for (const target of journal.targets) {
+                const absolute = await safePath(root, target.path);
+                let actual = '';
+                try {
+                    actual = await readFile(absolute, 'utf8');
+                }
+                catch (cause) {
+                    if (cause.code !== 'ENOENT')
+                        throw cause;
+                }
+                const actualDigest = digest(actual);
+                if (actualDigest !== target.originalSha256 && actualDigest !== target.candidateSha256) {
+                    throw unsafe(`${target.path} differs from both journaled original and candidate.`);
+                }
+                if (actualDigest !== target.candidateSha256) {
+                    const recovery = `${absolute}.${journal.transactionId}.recover`;
+                    await writeFile(recovery, Buffer.from(target.candidateBase64, 'base64'));
+                    await fsyncFile(recovery);
+                    await rename(recovery, absolute);
+                }
+            }
+        }
+        catch (cause) {
+            if (cause instanceof Error && cause.message.startsWith('CHANGE_QUALITY_REFRESH_RECOVERY_UNSAFE'))
+                throw cause;
+            throw unsafe(cause instanceof Error ? cause.message : String(cause));
+        }
+        await fsyncQualityRefreshDirectory(evidenceDir);
+        await removeIfPresent(journalAbsolute);
+        for (const entry of staging)
+            await removeIfPresent(resolve(evidenceDir, entry));
+        await fsyncQualityRefreshDirectory(evidenceDir);
+        return { recovered: true, action: 'rolled-forward' };
+    });
+}
+//# sourceMappingURL=quality-refresh.js.map

package/dist/packages/analysis/src/quality-refresh.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quality-refresh.js","sourceRoot":"","sources":["../../../../packages/analysis/src/quality-refresh.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvG,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAyB,MAAM,YAAY,CAAC;AAC7E,OAAO,EACL,eAAe,EACf,cAAc,GAEf,MAAM,sBAAsB,CAAC;AAE9B,MAAM,YAAY,GAAG,mBAAmB,CAAC;AACzC,MAAM,UAAU,GAAG,GAAG,YAAY,aAAa,CAAC;AAChD,MAAM,YAAY,GAAG,GAAG,YAAY,eAAe,CAAC;AACpD,MAAM,YAAY,GAAG,GAAG,YAAY,oCAAoC,CAAC;AACzE,MAAM,cAAc,GAAG,GAAG,YAAY,gCAAgC,CAAC;AACvE,MAAM,OAAO,GAAG,CAAC,UAAU,EAAE,YAAY,CAAU,CAAC;AA0BpD,SAAS,IAAI,CAAC,KAAc;IAC1B,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,IAAY;IACnC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;IACtB,CAAC;YAAS,CAAC;QACT,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;IACvB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,IAAY,EACZ,gBAA6B,IAAI;IAEjC,IAAI,MAAoD,CAAC;IACzD,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;IACtB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAE,KAA+B,CAAC,IAAI,IAAI,EAAE,CAAC;YAAE,MAAM,KAAK,CAAC;IAClH,CAAC;YAAS,CAAC;QACT,MAAM,MAAM,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,IAAY;IACzC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAClC,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,IAAY,EAAE,IAAgB;IACzD,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC;QACH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;IACpE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QAC7F,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,IAAY,EAAE,OAA8B;IACxE,MAAM,iBAAiB,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC7D,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACnB,MAAM,OAAO,GAAG,GAAG,QAAQ,IAAI,OAAO,CAAC,aAAa,UAAU,CAAC;YAC/D,MAAM,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAC;YACvE,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC;YACzB,MAAM,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAClC,CAAC;aAAM,CAAC;YACN,MAAM,eAAe,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC;QACD,MAAM,eAAe,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,4BAA4B,CAAC,iBAAiB,CAAC,CAAC;IACtD,MAAM,eAAe,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;IAC1D,MAAM,4BAA4B,CAAC,iBAAiB,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAuB,EAAE,OAAuB;IACzE,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,aAAa,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7G,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS;eAClC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;YACnF,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,CAAC,QAAQ,gCAAgC,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,OAAO,CAAC,MAAM;YAAE,SAAS;QAC9B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YACpD,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC5C,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACzB,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,UAAU,CAAC,UAAU,KAAK,QAAQ;mBAC1E,CAAC,UAAU,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,CAAC,QAAQ,IAAI,QAAQ,eAAe,CAAC,CAAC;YACjE,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAC9C,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ;mBAC5D,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,KAAK,UAAU,CAAC,KAAK,CAAC,CAAC;YACxE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,CAAC,QAAQ,IAAI,QAAQ,gBAAgB,CAAC,CAAC;QAC5F,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAChC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ;eAC5D,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAC/E,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,CAAC,QAAQ,uCAAuC,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,OAA8B;IACrD,IAAI,OAAO,CAAC,aAAa,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB;WAChE,OAAO,OAAO,CAAC,aAAa,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,aAAa;WACnE,CAAC,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3F,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAc,CAAC;IACpC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;eACvD,OAAO,MAAM,CAAC,OAAO,KAAK,SAAS;eACnC,OAAO,MAAM,CAAC,cAAc,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,cAAc,KAAK,QAAQ;eACtF,OAAO,MAAM,CAAC,eAAe,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,eAAe,KAAK,QAAQ;eACxF,OAAO,MAAM,CAAC,aAAa,KAAK,QAAQ;eACxC,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,aAAa,GAAG,CAAC;eAC5E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC,KAAK,MAAM,CAAC,cAAc;eAC9E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,KAAK,MAAM,CAAC,eAAe,EAAE,CAAC;YACtF,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACzE,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACtF,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,MAAc;IAC5B,OAAO,IAAI,KAAK,CAAC,2CAA2C,MAAM,EAAE,CAAC,CAAC;AACxE,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,IAAY,EACZ,KAAuB,EACvB,OAAuB,EACvB,OAAgB;IAEhB,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,QAAQ,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;IACvG,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAC;IAC3F,CAAC;IACD,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAClC,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;IAC1C,MAAM,cAAc,GAA+B;QACjD,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC;QACzB,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC;KAC9B,CAAC;IACF,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACjD,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACvC,OAAO,CAAC,IAAI,CAAC;YACX,IAAI;YACJ,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAC9D,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YACtC,eAAe,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAC1D,eAAe,EAAE,MAAM,CAAC,SAAS,CAAC;YAClC,aAAa,EAAE,GAAG,IAAI,IAAI,aAAa,kBAAkB;SAC1D,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAA0B;QACrC,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,iBAAiB;QACvB,aAAa;QACb,KAAK,EAAE,UAAU;QACjB,OAAO;KACR,CAAC;IACF,MAAM,eAAe,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC3D,MAAM,cAAc,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,GAAG,cAAc,GAAG,aAAa,OAAO,CAAC,CAAC;IACtF,MAAM,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,IAAI,OAAO,KAAK,iBAAiB;QAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC3G,MAAM,SAAS,CAAC,cAAc,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/D,MAAM,SAAS,CAAC,cAAc,CAAC,CAAC;IAChC,IAAI,OAAO,KAAK,qBAAqB,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,oFAAoF,CAAC,CAAC;IACxG,CAAC;IACD,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,cAAc,EAAE,eAAe,CAAC,CAAC;QAC5C,MAAM,MAAM,CAAC,cAAc,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,eAAe,CAAC,cAAc,CAAC,CAAC;QACtC,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACvD,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAC;QACtG,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;IACD,MAAM,4BAA4B,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;IAC7D,IAAI,CAAC;QACH,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACpD,IAAI,OAAO,KAAK,aAAa,KAAK,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,KAAK,GAAG,CAAC,CAAC;YACjH,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAE,CAAC;YAC/B,MAAM,SAAS,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;YAC7D,MAAM,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1F,MAAM,SAAS,CAAC,SAAS,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACpD,IAAI,OAAO,KAAK,WAAW,KAAK,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,KAAK,GAAG,CAAC,CAAC;YAC7G,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAE,CAAC;YAC/B,MAAM,MAAM,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,EAAE,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9F,CAAC;QACD,MAAM,4BAA4B,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;QAC7D,OAAO,CAAC,KAAK,GAAG,WAAW,CAAC;QAC5B,MAAM,aAAa,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,GAAG,cAAc,GAAG,aAAa,cAAc,CAAC,CAAC;QAC5F,MAAM,SAAS,CAAC,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,SAAS,CAAC,aAAa,CAAC,CAAC;QAC/B,IAAI,OAAO,KAAK,eAAe;YAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACvG,MAAM,MAAM,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;QAC7C,MAAM,4BAA4B,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;QAC7D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,eAAe,CAAC,eAAe,CAAC,CAAC;IACzC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,QAAQ,GAAG,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,kCAAkC,CAAC,CAAC;QACxG,IAAI,QAAQ,IAAI,OAAO,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAC7C,MAAM,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACpC,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,6CACd,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CACvD,EAAE,CAAC,CAAC;IACN,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,IAAY;IACtD,OAAO,sBAAsB,CAAC,IAAI,EAAE,wBAAwB,EAAE,KAAK,IAAI,EAAE;QACvE,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,cAAc;YAAE,MAAM,MAAM,CAAC,6CAA6C,CAAC,CAAC;QAC3G,IAAI,QAAQ,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;QACvG,MAAM,eAAe,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAC3D,MAAM,WAAW,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACvD,IAAI,OAAO,GAAa,EAAE,CAAC;QAC3B,IAAI,CAAC;YACH,OAAO,GAAG,CAAC,MAAM,OAAO,CAAC,WAAW,CAAC,CAAC;iBACnC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,+BAA+B,CAAC;mBAC/D,KAAK,KAAK,mCAAmC,CAAC,CAAC;QACxD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;QACtE,CAAC;QACD,IAAI,CAAC,MAAM,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC;YACnC,KAAK,MAAM,KAAK,IAAI,OAAO;gBAAE,MAAM,eAAe,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;YAChF,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;QAC5D,CAAC;QACD,IAAI,OAA8B,CAAC;QACnC,IAAI,CAAC;YACH,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC,CAA0B,CAAC;YACvF,eAAe,CAAC,OAAO,CAAC,CAAC;QAC3B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,MAAM,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACpC,KAAK,MAAM,KAAK,IAAI,OAAO;gBAAE,MAAM,eAAe,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;YAChF,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;QACpD,CAAC;QACD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;gBACrD,MAAM,CAAC,IAAI;gBACX,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAY;aACtF,CAAC,CAAC,CAAC;YACJ,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAqB,EAAE,MAAM,CAAC,GAAG,CAAC,YAAY,CAAmB,CAAC,CAAC;YAC1G,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;gBACrC,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;gBACnD,IAAI,MAAM,GAAG,EAAE,CAAC;gBAChB,IAAI,CAAC;oBACH,MAAM,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;gBAC5C,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;wBAAE,MAAM,KAAK,CAAC;gBACtE,CAAC;gBACD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;gBACpC,IAAI,YAAY,KAAK,MAAM,CAAC,cAAc,IAAI,YAAY,KAAK,MAAM,CAAC,eAAe,EAAE,CAAC;oBACtF,MAAM,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,sDAAsD,CAAC,CAAC;gBACrF,CAAC;gBACD,IAAI,YAAY,KAAK,MAAM,CAAC,eAAe,EAAE,CAAC;oBAC5C,MAAM,QAAQ,GAAG,GAAG,QAAQ,IAAI,OAAO,CAAC,aAAa,UAAU,CAAC;oBAChE,MAAM,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC;oBACzE,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC;oBAC1B,MAAM,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBACnC,CAAC;YACH,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,wCAAwC,CAAC;gBAAE,MAAM,KAAK,CAAC;YAC9G,MAAM,MAAM,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,4BAA4B,CAAC,WAAW,CAAC,CAAC;QAChD,MAAM,eAAe,CAAC,eAAe,CAAC,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,OAAO;YAAE,MAAM,eAAe,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;QAChF,MAAM,4BAA4B,CAAC,WAAW,CAAC,CAAC;QAChD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/packages/analysis/src/tdd.d.ts

@@ -2,6 +2,7 @@ import { type Diagnostic } from '../../domain/src/index.js';
 import { type Runner } from './process.js';
 import { type TraceNode } from './trace.js';
 import { type validateEvidenceOrderLog } from './order.js';
+import { type ChangeRecord } from './change-evidence.js';
 import type { MusubixTestReport } from './test-report.js';
 export type { MusubixTestReport } from './test-report.js';
 export type TddPhase = 'red' | 'green' | 'refactor';
@@ -24,12 +25,16 @@ export interface TddPhaseEvidence {
     diagnostics: Diagnostic[];
     warnings?: Diagnostic[];
 }
-export type TddChainPhase = TddPhase | 'migrate' | 'void';
+export type TddChainPhase = TddPhase | 'migrate' | 'void' | 'archive';
+export type TddMigrationMode = 'fingerprint' | 'identifier';
 export interface TddMigrationEvidence {
     phase: 'migrate';
     fromFingerprint: string;
     toFingerprint: string;
     approver: string;
+    mode?: TddMigrationMode;
+    oldTestId?: string;
+    newTestId?: string;
     order?: number;
     recordedAt: string;
 }
@@ -40,6 +45,15 @@ export interface TddVoidEvidence {
     order?: number;
     recordedAt: string;
 }
+export interface TddArchiveEvidence {
+    phase: 'archive';
+    approver: string;
+    reason: string;
+    testId: string;
+    cycleId: string;
+    order?: number;
+    recordedAt: string;
+}
 export interface TddCycle {
     cycleId?: string;
     requirementId: string;
@@ -50,7 +64,9 @@ export interface TddCycle {
     green?: TddPhaseEvidence;
     refactor?: TddPhaseEvidence;
     migrate?: TddMigrationEvidence;
+    migrateHistory?: TddMigrationEvidence[];
     void?: TddVoidEvidence;
+    archive?: TddArchiveEvidence;
 }
 export interface TddChainRecord {
     sequence: number;
@@ -60,6 +76,9 @@ export interface TddChainRecord {
     testPath: string;
     commandName: string;
     phase: TddChainPhase;
+    mode?: TddMigrationMode;
+    oldTestId?: string;
+    newTestId?: string;
     phaseEvidenceSha256: string;
     previousSha256: string | null;
     recordSha256: string;
@@ -69,6 +88,23 @@ export interface TddEvidence {
     cycles: TddCycle[];
     chain?: TddChainRecord[];
 }
+/** @id CODE-CHANGE-REQUIREMENT-BATCHES-004
+ * @implements REQ-CHANGE-REQUIREMENT-BATCHES-005
+ * @design DES-CHANGE-REQUIREMENT-BATCHES-002
+ */
+export declare function voidedCycleOrdersInCurrentWindow(change: ChangeRecord, requirementId: string, tdd: TddEvidence | null, validlyVoided: ReadonlySet<TddCycle>): number[];
+export declare function hasValidTddCycle(change: ChangeRecord, requirementId: string, tdd: TddEvidence | null, validlyVoided?: ReadonlySet<TddCycle>): boolean;
+export declare function redUnprovenCondition(change: ChangeRecord, requirementId: string, tdd: TddEvidence | null, validlyVoided?: ReadonlySet<TddCycle>): boolean;
+export declare function greenUnprovenCondition(change: ChangeRecord, requirementId: string, tdd: TddEvidence | null, validlyVoided?: ReadonlySet<TddCycle>): boolean;
+export declare function completenessTddUnsatisfiedCondition(change: ChangeRecord, requirementId: string, tdd: TddEvidence | null, validlyVoided?: ReadonlySet<TddCycle>): boolean;
+/** @id CODE-CHANGE-EVIDENCE-WAIVER-028
+ * @implements REQ-CHANGE-EVIDENCE-WAIVER-018
+ * @design DES-CHANGE-EVIDENCE-WAIVER-006
+ * Accepts an optional `validlyArchived` set, mirroring `validlyVoided`, so
+ * archived TDD cycles are excluded from both the "lacks order evidence" scan
+ * and `currentTddCycle`'s window selection (Issue #64).
+ */
+export declare function orderMigrationRequiredRequirementCondition(change: ChangeRecord, requirementId: string, tdd: TddEvidence | null, validlyVoided?: ReadonlySet<TddCycle>, validlyArchived?: ReadonlySet<TddCycle>): boolean;
 export declare function parseMusubixTestReport(text: string): MusubixTestReport;
 /** @id CODE-TDD-FINGERPRINT-MIGRATION-001
  * @implements REQ-TDD-FINGERPRINT-MIGRATION-001
@@ -82,21 +118,57 @@ export interface TddMigrationResult {
     toFingerprint?: string;
     reason?: string;
 }
+export interface TddIdentifierMigrationResult extends TddMigrationResult {
+    oldTestId?: string;
+    newTestId?: string;
+}
+/** @id CODE-TDD-CYCLE-ARCHIVE-006
+ * @implements REQ-TDD-CYCLE-ARCHIVE-012
+ * @design DES-TDD-CYCLE-ARCHIVE-005
+ */
 export declare function migrateTddFingerprint(root: string, testId: string, approver: string): Promise<TddMigrationResult>;
+/** @id CODE-TDD-IDENTIFIER-MIGRATION-001
+ * @implements REQ-TDD-IDENTIFIER-MIGRATION-001 REQ-TDD-IDENTIFIER-MIGRATION-002 REQ-TDD-IDENTIFIER-MIGRATION-003 REQ-TDD-IDENTIFIER-MIGRATION-004
+ * @design DES-TDD-IDENTIFIER-MIGRATION-001 DES-TDD-IDENTIFIER-MIGRATION-002 DES-TDD-IDENTIFIER-MIGRATION-003
+ */
+export declare function migrateTddIdentifier(root: string, oldTestId: string, newTestId: string, approver: string): Promise<TddIdentifierMigrationResult>;
 export declare function loadTddEvidence(root: string): Promise<TddEvidence | null>;
 export declare function validlyVoidedTddCycles(evidence: TddEvidence | null, order: ReturnType<typeof validateEvidenceOrderLog>): ReadonlySet<TddCycle>;
+/** @id CODE-CHANGE-EVIDENCE-WAIVER-027
+ * @implements REQ-CHANGE-EVIDENCE-WAIVER-018
+ * @design DES-CHANGE-EVIDENCE-WAIVER-006
+ * Mirrors `validlyVoidedTddCycles` for archived cycles so callers can exclude
+ * validly archived evidence from change order-window checks the same way
+ * validly voided evidence is already excluded (Issue #64).
+ */
+export declare function validlyArchivedTddCycles(evidence: TddEvidence | null, order: ReturnType<typeof validateEvidenceOrderLog>): ReadonlySet<TddCycle>;
 export interface TddVoidResult {
     voided: boolean;
     testId: string;
     cycleId?: string;
     reason?: string;
 }
+export interface TddArchiveResult {
+    archived: boolean;
+    testId: string;
+    cycleId?: string;
+    reason?: string;
+}
 /** @id CODE-TDD-CYCLE-VOID-001
- * @implements REQ-TDD-CYCLE-VOID-001, REQ-TDD-CYCLE-VOID-002, REQ-TDD-CYCLE-VOID-003, REQ-TDD-CYCLE-VOID-004, REQ-TDD-CYCLE-VOID-011
- * @design DES-TDD-CYCLE-VOID-001, DES-TDD-CYCLE-VOID-005
+ * @implements REQ-TDD-CYCLE-VOID-001, REQ-TDD-CYCLE-VOID-002, REQ-TDD-CYCLE-VOID-003, REQ-TDD-CYCLE-VOID-004, REQ-TDD-CYCLE-VOID-011, REQ-TDD-CYCLE-ARCHIVE-004
+ * @design DES-TDD-CYCLE-VOID-001, DES-TDD-CYCLE-VOID-005, DES-TDD-CYCLE-ARCHIVE-002
  */
 export declare function voidTddCycle(root: string, testId: string, approver: string, reason: string): Promise<TddVoidResult>;
+/** @id CODE-TDD-CYCLE-ARCHIVE-001
+ * @implements REQ-TDD-CYCLE-ARCHIVE-001 REQ-TDD-CYCLE-ARCHIVE-002 REQ-TDD-CYCLE-ARCHIVE-003 REQ-TDD-CYCLE-ARCHIVE-004 REQ-TDD-CYCLE-ARCHIVE-005
+ * @design DES-TDD-CYCLE-ARCHIVE-001 DES-TDD-CYCLE-ARCHIVE-002
+ */
+export declare function archiveTddCycle(root: string, testId: string, approver: string, reason: string): Promise<TddArchiveResult>;
 export declare function runTddPhase(root: string, phase: TddPhase, testId: string, requirementId: string, commandName: string, runner?: Runner): Promise<TddPhaseEvidence>;
+/** @id CODE-TDD-CYCLE-ARCHIVE-004
+ * @implements REQ-TDD-CYCLE-ARCHIVE-006 REQ-TDD-CYCLE-ARCHIVE-007 REQ-TDD-CYCLE-ARCHIVE-008 REQ-TDD-CYCLE-ARCHIVE-009 REQ-TDD-CYCLE-ARCHIVE-010 REQ-TDD-CYCLE-ARCHIVE-013
+ * @design DES-TDD-CYCLE-ARCHIVE-003 DES-TDD-CYCLE-ARCHIVE-004 DES-TDD-CYCLE-ARCHIVE-005
+ */
 export declare function validateTddEvidence(root: string): Promise<{
     present: boolean;
     valid: boolean;
@@ -111,4 +183,13 @@ export declare function validateTddEvidence(root: string): Promise<{
             recordedAt: string;
         };
     }>;
+    archived: Array<{
+        testId: string;
+        cycleId: string;
+        archive: {
+            approver: string;
+            reason: string;
+            recordedAt: string;
+        };
+    }>;
 }>;