codex-workflow-v2 2.0.0-beta.13.8 → 2.0.0-beta.14

package/dist/src/navigation-update-artifact.js

@@ -0,0 +1,227 @@
+import { execFileSync } from 'node:child_process';
+import { createHash } from 'node:crypto';
+import { closeSync, constants, fstatSync, lstatSync, openSync, readSync, realpathSync } from 'node:fs';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { pendingReviewRunnerFingerprint } from './pending-review-update.js';
+import { PACKAGE_NAME, PACKAGE_VERSION } from './version.js';
+const MAX_COMPRESSED = 32 * 1024 * 1024;
+const MAX_EXPANDED = 128 * 1024 * 1024;
+const MAX_FILE = 32 * 1024 * 1024;
+const MAX_ENTRIES = 10_000;
+const BLOCK = 512;
+const decoder = new TextDecoder('utf-8', { fatal: true });
+function reject(message) {
+    throw new Error(`NAVIGATION_UPDATE_ARTIFACT_INVALID: ${message}`);
+}
+function digest(bytes) {
+    return createHash('sha256').update(bytes).digest('hex');
+}
+function readRegular(file, maximum) {
+    let descriptor;
+    try {
+        descriptor = openSync(file, constants.O_RDONLY | constants.O_NOFOLLOW | constants.O_NONBLOCK);
+        const before = fstatSync(descriptor);
+        if (!before.isFile() || before.size > maximum)
+            reject('A required file is nonregular or exceeds its size limit.');
+        const bounded = Buffer.alloc(before.size + 1);
+        let length = 0;
+        while (length < bounded.length) {
+            const read = readSync(descriptor, bounded, length, bounded.length - length, null);
+            if (read === 0)
+                break;
+            length += read;
+        }
+        const bytes = bounded.subarray(0, length);
+        const after = fstatSync(descriptor);
+        if (bytes.length !== before.size || after.size !== before.size || after.mtimeMs !== before.mtimeMs
+            || after.ctimeMs !== before.ctimeMs)
+            reject('A required file changed while being inspected.');
+        return bytes;
+    }
+    finally {
+        if (descriptor !== undefined)
+            closeSync(descriptor);
+    }
+}
+function textField(field) {
+    const nul = field.indexOf(0);
+    if (nul >= 0 && field.subarray(nul).some(byte => byte !== 0))
+        reject('Noncanonical tar string field.');
+    return decoder.decode(nul < 0 ? field : field.subarray(0, nul));
+}
+function octal(field) {
+    const value = field.toString('ascii').replace(/[\0 ]+$/g, '').trim();
+    if (value && !/^[0-7]+$/.test(value))
+        reject('Unsupported or invalid tar numeric field.');
+    const number = value ? Number.parseInt(value, 8) : 0;
+    if (!Number.isSafeInteger(number) || number < 0)
+        reject('Tar numeric field exceeds the supported range.');
+    return number;
+}
+function safeName(name, directory) {
+    const normalized = directory && name.endsWith('/') ? name.slice(0, -1) : name;
+    if (!normalized || normalized.length > 4096 || normalized.startsWith('/')
+        || /[\\\x00-\x1f\x7f]/.test(normalized)
+        || normalized.split('/').some(part => !part || part === '.' || part === '..')) {
+        reject('Tar entry has an unsafe or noncanonical path.');
+    }
+    return normalized;
+}
+function paxFields(bytes) {
+    if (bytes.length > 64 * 1024)
+        reject('PAX metadata exceeds its size limit.');
+    const result = Object.create(null);
+    let offset = 0;
+    while (offset < bytes.length) {
+        const space = bytes.indexOf(32, offset);
+        if (space < 0 || space - offset > 8)
+            reject('Malformed PAX record length.');
+        const digits = bytes.subarray(offset, space).toString('ascii');
+        if (!/^[1-9][0-9]*$/.test(digits))
+            reject('Malformed PAX record length.');
+        const length = Number(digits);
+        const end = offset + length;
+        if (end > bytes.length || end <= space + 2 || bytes[end - 1] !== 10)
+            reject('Truncated PAX record.');
+        const record = decoder.decode(bytes.subarray(space + 1, end - 1));
+        const separator = record.indexOf('=');
+        const key = record.slice(0, separator);
+        if (separator < 1 || !['path', 'size', 'mtime', 'atime', 'ctime', 'uid', 'gid', 'uname', 'gname', 'charset'].includes(key)
+            || Object.hasOwn(result, key))
+            reject('Unsupported or duplicate PAX metadata.');
+        result[key] = record.slice(separator + 1);
+        offset = end;
+    }
+    return result;
+}
+function unpack(bytes) {
+    const files = new Map();
+    const names = new Set();
+    let offset = 0;
+    let count = 0;
+    let pendingPax = null;
+    while (offset + BLOCK <= bytes.length) {
+        const header = bytes.subarray(offset, offset + BLOCK);
+        if (header.every(byte => byte === 0)) {
+            if (pendingPax || offset + 2 * BLOCK > bytes.length || bytes.subarray(offset).some(byte => byte !== 0)) {
+                reject('Tar end marker is incomplete or followed by unexpected data.');
+            }
+            return files;
+        }
+        if (++count > MAX_ENTRIES)
+            reject('Tar entry count exceeds its limit.');
+        const expectedChecksum = octal(header.subarray(148, 156));
+        const checksum = header.reduce((sum, byte, index) => sum + (index >= 148 && index < 156 ? 32 : byte), 0);
+        if (checksum !== expectedChecksum)
+            reject('Tar header checksum does not match.');
+        if (textField(header.subarray(257, 263)).trim() !== 'ustar')
+            reject('Only USTAR/PAX package archives are supported.');
+        const type = header[156];
+        if (![0, 48, 53, 120].includes(type))
+            reject('Tar links, special files and unsupported metadata are forbidden.');
+        if (textField(header.subarray(157, 257)))
+            reject('Tar link targets are forbidden.');
+        const prefix = textField(header.subarray(345, 500));
+        const baseName = textField(header.subarray(0, 100));
+        const headerName = safeName(prefix ? `${prefix}/${baseName}` : baseName, type === 53);
+        const size = octal(header.subarray(124, 136));
+        if (size > MAX_FILE)
+            reject('Tar entry exceeds its size limit.');
+        const start = offset + BLOCK;
+        const end = start + size;
+        const paddedEnd = start + Math.ceil(size / BLOCK) * BLOCK;
+        if (paddedEnd > bytes.length)
+            reject('Tar entry data is truncated.');
+        if (bytes.subarray(end, paddedEnd).some(byte => byte !== 0))
+            reject('Tar entry padding is not zero.');
+        offset = paddedEnd;
+        if (type === 120) {
+            if (pendingPax)
+                reject('Consecutive PAX headers are ambiguous.');
+            pendingPax = paxFields(bytes.subarray(start, end));
+            continue;
+        }
+        const name = safeName(pendingPax?.path ?? headerName, type === 53);
+        if (pendingPax?.size !== undefined && (!/^(0|[1-9][0-9]*)$/.test(pendingPax.size)
+            || Number(pendingPax.size) !== size))
+            reject('PAX size does not match the bounded tar entry.');
+        pendingPax = null;
+        if (name !== 'package' && !name.startsWith('package/'))
+            reject('Tar entries must stay under package/.');
+        if (names.has(name))
+            reject('Duplicate tar paths are forbidden.');
+        names.add(name);
+        if (type === 53) {
+            if (size !== 0)
+                reject('Tar directory entries cannot contain data.');
+        }
+        else {
+            if (name === 'package')
+                reject('The package root must be a directory.');
+            files.set(name.slice('package/'.length), bytes.subarray(start, end));
+        }
+    }
+    reject('Tar archive is missing its complete end marker.');
+}
+/** Inspect an exact local package; no install, extraction, network or authority mutation. */
+export function verifyNavigationUpdateArtifact(tarball, installedPackageRoot) {
+    try {
+        if (!tarball.trim())
+            reject('An explicit local tarball path is required.');
+        const compressed = readRegular(path.resolve(tarball), MAX_COMPRESSED);
+        if (compressed[0] !== 0x1f || compressed[1] !== 0x8b)
+            reject('The artifact must be a gzip tarball.');
+        // Isolate synchronous decompression so a corrupt archive has an enforced deadline.
+        const expanded = execFileSync(process.execPath, ['--input-type=module', '--eval',
+            `import{readFileSync}from'node:fs';import{gunzipSync}from'node:zlib';process.stdout.write(gunzipSync(readFileSync(0),{maxOutputLength:${MAX_EXPANDED}}));`], {
+            input: compressed, timeout: 10_000, killSignal: 'SIGKILL', maxBuffer: MAX_EXPANDED + 1024,
+            stdio: ['pipe', 'pipe', 'pipe'], env: { ...process.env, NODE_OPTIONS: '' },
+        });
+        if (expanded.length > MAX_EXPANDED)
+            reject('Expanded tarball exceeds its size limit.');
+        const files = unpack(expanded);
+        const manifestBytes = files.get('package.json');
+        const buildBytes = files.get('dist/reviewer-runtime-build.json');
+        if (!manifestBytes || !buildBytes)
+            reject('Package identity or runtime build evidence is missing.');
+        const pkg = JSON.parse(manifestBytes.toString('utf8'));
+        if (pkg.name !== PACKAGE_NAME || pkg.version !== PACKAGE_VERSION)
+            reject('Tarball package/version differs from the running Workflow.');
+        const build = JSON.parse(buildBytes.toString('utf8'));
+        if (!Array.isArray(build.files) || build.files.length === 0
+            || build.files.some(entry => typeof entry.path !== 'string' || !files.has(entry.path))
+            || !files.has('dist/src/navigation-update-artifact.js'))
+            reject('The tarball omits required runtime files.');
+        const packageRoot = realpathSync(path.resolve(path.dirname(fileURLToPath(import.meta.url)), '../..'));
+        if (installedPackageRoot !== undefined && !installedPackageRoot.trim())
+            reject('Installed package root must be explicit and nonempty.');
+        const roots = [
+            { root: packageRoot, label: 'running' },
+            ...(installedPackageRoot === undefined ? [] : [{ root: realpathSync(installedPackageRoot), label: 'installed' }]),
+        ];
+        for (const { root, label } of roots) {
+            for (const [relative, content] of files) {
+                let current = root;
+                const parts = relative.split('/');
+                for (let index = 0; index < parts.length; index++) {
+                    current = path.join(current, parts[index]);
+                    const stat = lstatSync(current);
+                    if (stat.isSymbolicLink() || (index < parts.length - 1 && !stat.isDirectory())) {
+                        reject(`The ${label} package path is not a regular confined path: ${relative}`);
+                    }
+                }
+                if (!readRegular(current, MAX_FILE).equals(content))
+                    reject(`Tarball bytes differ from the ${label} package: ${relative}`);
+            }
+        }
+        const runtimeHash = pendingReviewRunnerFingerprint();
+        return { sha256: digest(compressed), runtimeHash };
+    }
+    catch (error) {
+        if (error instanceof Error && error.message.startsWith('NAVIGATION_UPDATE_ARTIFACT_INVALID:'))
+            throw error;
+        reject(error instanceof Error ? error.message : 'Artifact inspection failed.');
+    }
+}
+//# sourceMappingURL=navigation-update-artifact.js.map

package/dist/src/navigation-update-artifact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"navigation-update-artifact.js","sourceRoot":"","sources":["../../src/navigation-update-artifact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvG,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,8BAA8B,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE7D,MAAM,cAAc,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AACxC,MAAM,YAAY,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;AACvC,MAAM,QAAQ,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAClC,MAAM,WAAW,GAAG,MAAM,CAAC;AAC3B,MAAM,KAAK,GAAG,GAAG,CAAC;AAClB,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAE1D,SAAS,MAAM,CAAC,OAAe;IAC7B,MAAM,IAAI,KAAK,CAAC,uCAAuC,OAAO,EAAE,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,OAAe;IAChD,IAAI,UAA8B,CAAC;IACnC,IAAI,CAAC;QACH,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;QAC9F,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,GAAG,OAAO;YAAE,MAAM,CAAC,0DAA0D,CAAC,CAAC;QAClH,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QAC9C,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,OAAO,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC;YAClF,IAAI,IAAI,KAAK,CAAC;gBAAE,MAAM;YACtB,MAAM,IAAI,IAAI,CAAC;QACjB,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;QACpC,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO;eAC7F,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO;YAAE,MAAM,CAAC,gDAAgD,CAAC,CAAC;QAChG,OAAO,KAAK,CAAC;IACf,CAAC;YAAS,CAAC;QACT,IAAI,UAAU,KAAK,SAAS;YAAE,SAAS,CAAC,UAAU,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC;QAAE,MAAM,CAAC,gCAAgC,CAAC,CAAC;IACvG,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,KAAK,CAAC,KAAa;IAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACrE,IAAI,KAAK,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,CAAC,2CAA2C,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,gDAAgD,CAAC,CAAC;IAC1G,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,SAAkB;IAChD,MAAM,UAAU,GAAG,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,IAAI,IAAI,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC;WACpE,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC;WACpC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAChF,MAAM,CAAC,+CAA+C,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,IAAI,KAAK,CAAC,MAAM,GAAG,EAAE,GAAG,IAAI;QAAE,MAAM,CAAC,sCAAsC,CAAC,CAAC;IAC7E,MAAM,MAAM,GAA2B,MAAM,CAAC,MAAM,CAAC,IAAI,CAA2B,CAAC;IACrF,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,OAAO,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACxC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,8BAA8B,CAAC,CAAC;QAC5E,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC/D,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,MAAM,CAAC,8BAA8B,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,MAAM,GAAG,MAAM,CAAC;QAC5B,IAAI,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,GAAG,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,EAAE;YAAE,MAAM,CAAC,uBAAuB,CAAC,CAAC;QACrG,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClE,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACvC,IAAI,SAAS,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;eACrH,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;YAAE,MAAM,CAAC,wCAAwC,CAAC,CAAC;QAClF,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,CAAC;IACf,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,UAAU,GAAkC,IAAI,CAAC;IACrD,OAAO,MAAM,GAAG,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC;QACtD,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;YACrC,IAAI,UAAU,IAAI,MAAM,GAAG,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;gBACvG,MAAM,CAAC,8DAA8D,CAAC,CAAC;YACzE,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,WAAW;YAAE,MAAM,CAAC,oCAAoC,CAAC,CAAC;QACxE,MAAM,gBAAgB,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1D,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,IAAI,GAAG,IAAI,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACzG,IAAI,QAAQ,KAAK,gBAAgB;YAAE,MAAM,CAAC,qCAAqC,CAAC,CAAC;QACjF,IAAI,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,OAAO;YAAE,MAAM,CAAC,gDAAgD,CAAC,CAAC;QACtH,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAK,CAAC;YAAE,MAAM,CAAC,kEAAkE,CAAC,CAAC;QAClH,IAAI,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAAE,MAAM,CAAC,iCAAiC,CAAC,CAAC;QACpF,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACpD,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACpD,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC;QACtF,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9C,IAAI,IAAI,GAAG,QAAQ;YAAE,MAAM,CAAC,mCAAmC,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,MAAM,GAAG,KAAK,CAAC;QAC7B,MAAM,GAAG,GAAG,KAAK,GAAG,IAAI,CAAC;QACzB,MAAM,SAAS,GAAG,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;QAC1D,IAAI,SAAS,GAAG,KAAK,CAAC,MAAM;YAAE,MAAM,CAAC,8BAA8B,CAAC,CAAC;QACrE,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC;YAAE,MAAM,CAAC,gCAAgC,CAAC,CAAC;QACtG,MAAM,GAAG,SAAS,CAAC;QACnB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,IAAI,UAAU;gBAAE,MAAM,CAAC,wCAAwC,CAAC,CAAC;YACjE,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;YACnD,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,IAAI,IAAI,UAAU,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC;QACnE,IAAI,UAAU,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;eAC5E,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;YAAE,MAAM,CAAC,gDAAgD,CAAC,CAAC;QACjG,UAAU,GAAG,IAAI,CAAC;QAClB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;YAAE,MAAM,CAAC,uCAAuC,CAAC,CAAC;QACxG,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,oCAAoC,CAAC,CAAC;QAClE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChB,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YAChB,IAAI,IAAI,KAAK,CAAC;gBAAE,MAAM,CAAC,4CAA4C,CAAC,CAAC;QACvE,CAAC;aAAM,CAAC;YACN,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,CAAC,uCAAuC,CAAC,CAAC;YACxE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IACD,MAAM,CAAC,iDAAiD,CAAC,CAAC;AAC5D,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,8BAA8B,CAAC,OAAe,EAAE,oBAA6B;IAC3F,IAAI,CAAC;QACH,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE;YAAE,MAAM,CAAC,6CAA6C,CAAC,CAAC;QAC3E,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC;QACtE,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,MAAM,CAAC,sCAAsC,CAAC,CAAC;QACrG,mFAAmF;QACnF,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,qBAAqB,EAAE,QAAQ;YAC9E,wIAAwI,YAAY,MAAM,CAAC,EAAE;YAC7J,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,GAAG,IAAI;YACzF,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,YAAY,EAAE,EAAE,EAAE;SAC3E,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,MAAM,GAAG,YAAY;YAAE,MAAM,CAAC,0CAA0C,CAAC,CAAC;QACvF,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC/B,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;QACjE,IAAI,CAAC,aAAa,IAAI,CAAC,UAAU;YAAE,MAAM,CAAC,wDAAwD,CAAC,CAAC;QACpG,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,CAA0C,CAAC;QAChG,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,OAAO,KAAK,eAAe;YAAE,MAAM,CAAC,4DAA4D,CAAC,CAAC;QACvI,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAA0C,CAAC;QAC/F,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;eACtD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;eACnF,CAAC,KAAK,CAAC,GAAG,CAAC,wCAAwC,CAAC;YAAE,MAAM,CAAC,2CAA2C,CAAC,CAAC;QAC/G,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACtG,IAAI,oBAAoB,KAAK,SAAS,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE;YAAE,MAAM,CAAC,uDAAuD,CAAC,CAAC;QACxI,MAAM,KAAK,GAAG;YACZ,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE;YACvC,GAAG,CAAC,oBAAoB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,oBAAoB,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;SAClH,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,EAAE,CAAC;YACpC,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC;gBACxC,IAAI,OAAO,GAAG,IAAI,CAAC;gBACnB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAClC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;oBAClD,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAE,CAAC,CAAC;oBAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;oBAChC,IAAI,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;wBAC/E,MAAM,CAAC,OAAO,KAAK,iDAAiD,QAAQ,EAAE,CAAC,CAAC;oBAClF,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;oBAAE,MAAM,CAAC,iCAAiC,KAAK,aAAa,QAAQ,EAAE,CAAC,CAAC;YAC7H,CAAC;QACH,CAAC;QACD,MAAM,WAAW,GAAG,8BAA8B,EAAE,CAAC;QACrD,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,CAAC;IACrD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,qCAAqC,CAAC;YAAE,MAAM,KAAK,CAAC;QAC3G,MAAM,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;IACjF,CAAC;AACH,CAAC"}

package/dist/src/navigation-update.d.ts

@@ -0,0 +1,39 @@
+import type { TaskState } from './contracts.js';
+import type { FileStateStore } from './state/store.js';
+export interface NavigationUpdateReceipt {
+    protocol: 'navigation-update-source-v1';
+    issuedAt: string;
+    projectId: string;
+    taskId: string;
+    revision: number;
+    taskHash: string;
+    artifactsHash: string;
+    knowledgeHash: string;
+    milestoneHash: string | null;
+    taskBranch: string;
+    baseBranch: string;
+    sourceHead: string;
+    sourceBaseHead: string;
+    sourceVersion: string;
+    targetVersion: string;
+    artifact: {
+        sha256: string;
+        runtimeHash: string;
+    };
+    actor: string;
+    dirtyHash: string;
+}
+/** Recompute source proof even after transport. The virtual record classifies Git only;
+ * it neither writes state nor manufactures execution authority. */
+export declare function navigationUpdateSource(repository: string, store: FileStateStore, task: TaskState, artifact: NavigationUpdateReceipt['artifact'], issuedAt: string, sourceHead?: string, sourceBaseHead?: string): NavigationUpdateReceipt;
+export declare function assertNavigationSourceInstalled(repository: string, task: TaskState): void;
+export declare function inspectNavigationTransport(repository: string, store: FileStateStore, task: TaskState, receipt: NavigationUpdateReceipt, artifact: NavigationUpdateReceipt['artifact'], _now: Date): {
+    receipt: NavigationUpdateReceipt;
+    commits: {
+        commitSha: string;
+        parentCommitSha: string;
+        packageVersion: string;
+    }[];
+    baseTransport: string;
+    targetHead: string;
+};

package/dist/src/navigation-update.js

@@ -0,0 +1,82 @@
+import { lstatSync, readFileSync, readdirSync } from 'node:fs';
+import path from 'node:path';
+import { assessNavigationDirtyCarryover } from './alpha6/navigation-dirty-carryover.js';
+import { canonicalJsonStringify, sha256Hex } from './alpha6/store-sidecars.js';
+import { inspectBoundedWorkflowDependencyCommit } from './dependency-provenance.js';
+import { inspectWorkflowVersions } from './diagnostics.js';
+import { currentBranch, headCommit, runGit } from './repository.js';
+import { PACKAGE_VERSION } from './version.js';
+const SOURCE_VERSION = '2.0.0-beta.13.16';
+function require(condition, message) {
+    if (!condition)
+        throw new Error(`NAVIGATION_UPDATE_BLOCKED: ${message}`);
+}
+const hash = (value) => sha256Hex(canonicalJsonStringify(value));
+function hashFiles(root) {
+    const visit = (directory) => readdirSync(directory).sort().flatMap(name => {
+        const file = path.join(directory, name);
+        const info = lstatSync(file);
+        require(!info.isSymbolicLink(), 'Task artifacts must not contain symlinks.');
+        require(info.isDirectory() || info.isFile(), 'Task artifacts must be regular files or directories.');
+        return info.isDirectory() ? visit(file) : [[path.relative(root, file), sha256Hex(readFileSync(file))]];
+    });
+    return hash(visit(root));
+}
+function sourcePin(repository, commit) {
+    const manifest = JSON.parse(runGit(repository, ['show', `${commit}:package.json`]));
+    const lock = JSON.parse(runGit(repository, ['show', `${commit}:package-lock.json`]));
+    require(manifest.devDependencies?.['codex-workflow-v2'] === SOURCE_VERSION
+        && !manifest.dependencies?.['codex-workflow-v2']
+        && lock.packages?.['']?.devDependencies?.['codex-workflow-v2'] === SOURCE_VERSION
+        && !lock.packages?.['']?.dependencies?.['codex-workflow-v2']
+        && lock.packages?.['node_modules/codex-workflow-v2']?.version === SOURCE_VERSION, 'Source manifest and lock must bind the exact supported source version.');
+}
+/** Recompute source proof even after transport. The virtual record classifies Git only;
+ * it neither writes state nor manufactures execution authority. */
+export function navigationUpdateSource(repository, store, task, artifact, issuedAt, sourceHead = headCommit(repository), sourceBaseHead = runGit(repository, ['rev-parse', task.baseBranch])) {
+    require(PACKAGE_VERSION !== SOURCE_VERSION, 'Target must differ from source.');
+    require(issuedAt === task.updatedAt && Number.isFinite(Date.parse(issuedAt)), 'Receipt timestamp must bind the stored Task update.');
+    require(task.taskBranch && currentBranch(repository) === task.taskBranch, 'Expected owned Task branch.');
+    sourcePin(repository, sourceHead);
+    sourcePin(repository, sourceBaseHead);
+    const dependency = inspectBoundedWorkflowDependencyCommit(repository, sourceHead);
+    require(dependency?.packageVersion === SOURCE_VERSION && !task.systemCommits.includes(sourceHead), 'Source HEAD must be the one unregistered source dependency commit.');
+    require(runGit(repository, ['rev-list', '--parents', '-n', '1', sourceHead]).split(' ').length === 2, 'Source dependency commit must have one parent.');
+    const virtual = { ...task, systemCommits: [...task.systemCommits, sourceHead],
+        dependencyProvenanceRecoveries: [...(task.dependencyProvenanceRecoveries ?? []), {
+                ...dependency, packageName: 'codex-workflow-v2', files: ['package-lock.json', 'package.json'],
+                actor: 'source-proof', reason: 'Read-only Git classification.', recordedAt: issuedAt,
+            }] };
+    const proof = assessNavigationDirtyCarryover(store, repository, virtual, undefined, sourceHead, sourceHead);
+    require(proof.eligible && proof.compatibility && proof.requiredActor, proof.blockers.join(' '));
+    return { protocol: 'navigation-update-source-v1', issuedAt, projectId: task.projectId, taskId: task.id,
+        revision: task.revision, taskHash: hash(task), artifactsHash: hashFiles(store.taskRoot(task.projectId, task.id)),
+        knowledgeHash: hash(store.readKnowledgeMap(task.projectId)),
+        milestoneHash: task.milestoneId ? hash(store.readMilestone(task.projectId, task.milestoneId)) : null,
+        taskBranch: task.taskBranch, baseBranch: task.baseBranch, sourceHead, sourceBaseHead,
+        sourceVersion: SOURCE_VERSION, targetVersion: PACKAGE_VERSION, artifact,
+        actor: proof.requiredActor, dirtyHash: proof.compatibility.dirtyWorktreeHash };
+}
+export function assertNavigationSourceInstalled(repository, task) {
+    const versions = inspectWorkflowVersions(repository, [task.baseBranch]);
+    require([versions.declared, versions.locked, versions.installed, versions.currentBranch,
+        ...versions.milestoneBases.map(base => base.version)].every(version => version === SOURCE_VERSION), 'All source version surfaces must agree before transport.');
+}
+export function inspectNavigationTransport(repository, store, task, receipt, artifact, _now) {
+    require(receipt?.protocol === 'navigation-update-source-v1', 'Missing or foreign source receipt.');
+    const head = headCommit(repository);
+    const base = runGit(repository, ['rev-parse', task.baseBranch]);
+    const target = inspectBoundedWorkflowDependencyCommit(repository, head);
+    const baseTransport = inspectBoundedWorkflowDependencyCommit(repository, base);
+    require([head, base].every(commit => runGit(repository, ['rev-list', '--parents', '-n', '1', commit]).split(' ').length === 2), 'Transport commits must have one parent.');
+    require(target?.parentCommitSha === receipt.sourceHead && target?.packageVersion === PACKAGE_VERSION, 'Expected exactly one target dependency transport on the source HEAD.');
+    require(baseTransport?.parentCommitSha === receipt.sourceBaseHead && baseTransport?.packageVersion === PACKAGE_VERSION, 'Expected exactly one target dependency transport on the source base HEAD.');
+    const recomputed = navigationUpdateSource(repository, store, task, artifact, receipt.issuedAt, target.parentCommitSha, baseTransport.parentCommitSha);
+    require(canonicalJsonStringify(receipt) === canonicalJsonStringify(recomputed), 'Receipt does not match independently recomputed source evidence, state or target artifact.');
+    const versions = inspectWorkflowVersions(repository, [task.baseBranch]);
+    require([versions.declared, versions.locked, versions.installed, versions.currentBranch,
+        ...versions.milestoneBases.map(item => item.version)].every(version => version === PACKAGE_VERSION), 'All installed target version surfaces must agree.');
+    const source = inspectBoundedWorkflowDependencyCommit(repository, receipt.sourceHead);
+    return { receipt: recomputed, commits: [source, target], baseTransport: base, targetHead: head };
+}
+//# sourceMappingURL=navigation-update.js.map

package/dist/src/navigation-update.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"navigation-update.js","sourceRoot":"","sources":["../../src/navigation-update.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,IAAI,MAAM,WAAW,CAAC;AAG7B,OAAO,EAAE,8BAA8B,EAAE,MAAM,wCAAwC,CAAC;AACxF,OAAO,EAAE,sBAAsB,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAC/E,OAAO,EAAE,sCAAsC,EAAE,MAAM,4BAA4B,CAAC;AACpF,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,MAAM,cAAc,GAAW,kBAAkB,CAAC;AAqBlD,SAAS,OAAO,CAAC,SAAkB,EAAE,OAAe;IAClD,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,OAAO,EAAE,CAAC,CAAC;AAC3E,CAAC;AACD,MAAM,IAAI,GAAG,CAAC,KAAc,EAAE,EAAE,CAAC,SAAS,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,CAAC;AAC1E,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,KAAK,GAAG,CAAC,SAAiB,EAA2B,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QACzG,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QAAC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QACtE,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,EAAE,EAAE,2CAA2C,CAAC,CAAC;QAC7E,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,sDAAsD,CAAC,CAAC;QACrG,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACzG,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC3B,CAAC;AACD,SAAS,SAAS,CAAC,UAAkB,EAAE,MAAc;IACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC;IACpF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,oBAAoB,CAAC,CAAC,CAAC,CAAC;IACrF,OAAO,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC,mBAAmB,CAAC,KAAK,cAAc;WACrE,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,mBAAmB,CAAC;WAC7C,IAAI,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,mBAAmB,CAAC,KAAK,cAAc;WAC9E,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,mBAAmB,CAAC;WACzD,IAAI,CAAC,QAAQ,EAAE,CAAC,gCAAgC,CAAC,EAAE,OAAO,KAAK,cAAc,EAClF,wEAAwE,CAAC,CAAC;AAC5E,CAAC;AAED;mEACmE;AACnE,MAAM,UAAU,sBAAsB,CACpC,UAAkB,EAAE,KAAqB,EAAE,IAAe,EAC1D,QAA6C,EAAE,QAAgB,EAC/D,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAExG,OAAO,CAAC,eAAe,KAAK,cAAc,EAAE,iCAAiC,CAAC,CAAC;IAC/E,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,qDAAqD,CAAC,CAAC;IACrI,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,aAAa,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,UAAU,EAAE,6BAA6B,CAAC,CAAC;IACzG,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAAC,SAAS,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,sCAAsC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAClF,OAAO,CAAC,UAAU,EAAE,cAAc,KAAK,cAAc,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,EAC/F,oEAAoE,CAAC,CAAC;IACxE,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,EAClG,gDAAgD,CAAC,CAAC;IACpD,MAAM,OAAO,GAAc,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,CAAC,GAAG,IAAI,CAAC,aAAa,EAAE,UAAU,CAAC;QACtF,8BAA8B,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,8BAA8B,IAAI,EAAE,CAAC,EAAE;gBAC/E,GAAG,UAAU,EAAE,WAAW,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC,mBAAmB,EAAE,cAAc,CAAC;gBAC7F,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,+BAA+B,EAAE,UAAU,EAAE,QAAQ;aACrF,CAAC,EAAE,CAAC;IACP,MAAM,KAAK,GAAG,8BAA8B,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IAC5G,OAAO,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,aAAa,IAAI,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAChG,OAAO,EAAE,QAAQ,EAAE,6BAA6B,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;QACpG,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAChH,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3D,aAAa,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QACpG,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc;QACpF,aAAa,EAAE,cAAc,EAAE,aAAa,EAAE,eAAe,EAAE,QAAQ;QACvE,KAAK,EAAE,KAAK,CAAC,aAAa,EAAE,SAAS,EAAE,KAAK,CAAC,aAAa,CAAC,iBAAiB,EAAE,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,UAAkB,EAAE,IAAe;IACjF,MAAM,QAAQ,GAAG,uBAAuB,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IACxE,OAAO,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,aAAa;QACrF,GAAG,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,cAAc,CAAC,EACpG,0DAA0D,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,UAAkB,EAAE,KAAqB,EAAE,IAAe,EAAE,OAAgC,EAC5F,QAA6C,EAAE,IAAU;IAEzD,OAAO,CAAC,OAAO,EAAE,QAAQ,KAAK,6BAA6B,EAAE,oCAAoC,CAAC,CAAC;IACnG,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,sCAAsC,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG,sCAAsC,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC/E,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,EAC5H,yCAAyC,CAAC,CAAC;IAC7C,OAAO,CAAC,MAAM,EAAE,eAAe,KAAK,OAAO,CAAC,UAAU,IAAI,MAAM,EAAE,cAAc,KAAK,eAAe,EAClG,sEAAsE,CAAC,CAAC;IAC1E,OAAO,CAAC,aAAa,EAAE,eAAe,KAAK,OAAO,CAAC,cAAc,IAAI,aAAa,EAAE,cAAc,KAAK,eAAe,EACpH,2EAA2E,CAAC,CAAC;IAC/E,MAAM,UAAU,GAAG,sBAAsB,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAC3F,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IACzD,OAAO,CAAC,sBAAsB,CAAC,OAAO,CAAC,KAAK,sBAAsB,CAAC,UAAU,CAAC,EAC5E,4FAA4F,CAAC,CAAC;IAChG,MAAM,QAAQ,GAAG,uBAAuB,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IACxE,OAAO,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,aAAa;QACrF,GAAG,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,eAAe,CAAC,EACrG,mDAAmD,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,sCAAsC,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAE,CAAC;IACvF,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AACnG,CAAC"}

package/dist/src/observation.js

@@ -25,18 +25,31 @@ export function inspectWorkflowObservationBoundary(options) {
     const pendingMilestoneTransactions = observeMilestoneTransactions(store, identity.projectId);
     const replanTransactions = inspectCorrectiveReplanTaskTransactions(projectRoot, store.root);
     const yieldTransactions = inspectCorrectiveYieldTaskTransactions(projectRoot, store.root);
+    const leases = listWriterLeases(lockRoot);
+    const coreTaskOperations = listCoreTaskOperationMutexes(lockRoot, store.root)
+        .map((mutex) => toPublicCoreTaskOperation(mutex, now));
+    const completedTaskTransactions = [...replanTransactions.completed, ...yieldTransactions.completed];
+    const retainedCompletedWithMutex = completedTaskTransactions
+        .filter(transaction => coreTaskOperations.some(operation => operation.entityId === transaction.taskId && operation.operationId === transaction.transactionId
+        && operation.transitionId === transaction.transitionId));
     const taskTransactions = {
-        pending: [...replanTransactions.pending, ...yieldTransactions.pending]
+        pending: [...replanTransactions.pending, ...yieldTransactions.pending, ...retainedCompletedWithMutex]
             .sort((left, right) => left.taskId.localeCompare(right.taskId) || left.transactionId.localeCompare(right.transactionId)),
         corrupt: [...replanTransactions.corrupt, ...yieldTransactions.corrupt]
             .sort((left, right) => left.taskId.localeCompare(right.taskId) || left.transactionId.localeCompare(right.transactionId)),
     };
-    const pendingTaskTransitionIds = [...new Set(taskTransactions.pending.map((transaction) => transaction.transitionId))];
-    const mixedPendingTaskTransitions = pendingTaskTransitionIds.length > 1;
-    const leases = listWriterLeases(lockRoot);
-    const coreTaskOperations = listCoreTaskOperationMutexes(lockRoot, store.root)
-        .map((mutex) => toPublicCoreTaskOperation(mutex, now));
-    const orphanCoreTaskOperations = coreTaskOperations.filter((operation) => !taskTransactions.pending.some((transaction) => transaction.taskId === operation.entityId && transaction.transactionId === operation.operationId));
+    // Recover one exact journal at a time; independent Tasks can interrupt different families.
+    const pendingTaskTransaction = taskTransactions.pending[0];
+    const orphanCoreTaskOperations = coreTaskOperations.filter((operation) => !taskTransactions.pending.some((transaction) => transaction.taskId === operation.entityId && transaction.transactionId === operation.operationId
+        && transaction.transitionId === operation.transitionId));
+    const activeTaskRecoveryOwner = coreTaskOperations.some(operation => !operation.stale)
+        || taskTransactions.pending.some(transaction => leases.some(lease => lease.entityId === transaction.taskId && Date.parse(lease.expiresAt) > now.getTime()));
+    const staleOrphanCoreOperations = orphanCoreTaskOperations.filter(operation => operation.stale);
+    const conflictsWithRetainedJournal = (operation) => taskTransactions.pending.some(transaction => transaction.taskId === operation.entityId)
+        || completedTaskTransactions.some(transaction => transaction.taskId === operation.entityId
+            && transaction.transactionId === operation.operationId);
+    const conflictingOrphanCoreOperations = staleOrphanCoreOperations.filter(conflictsWithRetainedJournal);
+    const repairableOrphanCoreOperation = staleOrphanCoreOperations.find(operation => !conflictsWithRetainedJournal(operation));
     const project = !missingRegistration && pendingProjectTransactions.length === 0
         ? store.readProject(identity.projectId)
         : null;
@@ -66,7 +79,7 @@ export function inspectWorkflowObservationBoundary(options) {
         reasonCodes.push('TASK_RECOVERY_REQUIRED');
     if (taskTransactions.corrupt.length > 0)
         reasonCodes.push('TASK_TRANSACTION_INTEGRITY_FAILED');
-    if (orphanCoreTaskOperations.some((operation) => !operation.stale))
+    if (activeTaskRecoveryOwner)
         reasonCodes.push('TASK_OPERATION_IN_PROGRESS');
     if (orphanCoreTaskOperations.some((operation) => operation.stale))
         reasonCodes.push('STALE_TASK_OPERATION');
@@ -78,40 +91,50 @@ export function inspectWorkflowObservationBoundary(options) {
         reasonCodes.push('ADOPTION_MISSING');
     const blocked = missingRegistration
         || (project !== null && !repositoryRootBound)
-        || pendingProjectTransactions.length > 0
+        || pendingProjectTransactions.some(transaction => transaction.ownerActive)
         || taskTransactions.corrupt.length > 0
-        || mixedPendingTaskTransitions
-        || orphanCoreTaskOperations.length > 0;
-    const repairable = taskTransactions.pending.length > 0
+        || activeTaskRecoveryOwner
+        || conflictingOrphanCoreOperations.length > 0;
+    const repairable = repairableOrphanCoreOperation !== undefined
+        || pendingProjectTransactions.length > 0
+        || taskTransactions.pending.length > 0
         || pendingMilestoneTransactions.length > 0;
     const kind = blocked ? 'blocked' : repairable ? 'repair' : 'assessment';
     const repair = kind !== 'repair'
         ? null
-        : taskTransactions.pending.length > 0
+        : repairableOrphanCoreOperation
             ? {
-                command: pendingTaskTransitionIds[0] === 'task.coordination.corrective-yield'
-                    ? 'task corrective-yield-recover'
-                    : 'task corrective-replan-recover',
+                command: 'locks repair',
                 cataloged: false,
-                available: true,
                 projectId: identity.projectId,
-                taskIds: [...new Set(taskTransactions.pending.map((transaction) => transaction.taskId))].sort(),
-                transactionIds: taskTransactions.pending.map((transaction) => transaction.transactionId).sort(),
+                entityIds: [repairableOrphanCoreOperation.entityId],
             }
-            : pendingMilestoneTransactions.length > 0
+            : taskTransactions.pending.length > 0
                 ? {
-                    command: 'milestone recover',
+                    command: pendingTaskTransaction.transitionId === 'task.coordination.corrective-yield'
+                        ? 'task corrective-yield-recover'
+                        : 'task corrective-replan-recover',
                     cataloged: false,
+                    available: true,
                     projectId: identity.projectId,
-                    milestoneIds: [...new Set(pendingMilestoneTransactions.map((transaction) => transaction.milestoneId))].sort(),
-                    transactionIds: pendingMilestoneTransactions.map((transaction) => transaction.transactionId).sort(),
+                    taskIds: [pendingTaskTransaction.taskId],
+                    transactionIds: [pendingTaskTransaction.transactionId],
                 }
-                : {
-                    command: 'locks repair',
-                    cataloged: false,
-                    projectId: identity.projectId,
-                    entityIds: staleLeases.map((lease) => lease.entityId).sort(),
-                };
+                : pendingMilestoneTransactions.length > 0 || pendingProjectTransactions.length > 0
+                    ? {
+                        command: 'milestone recover',
+                        cataloged: false,
+                        projectId: identity.projectId,
+                        milestoneIds: [...new Set(pendingMilestoneTransactions.map((transaction) => transaction.milestoneId))].sort(),
+                        transactionIds: [...pendingProjectTransactions, ...pendingMilestoneTransactions]
+                            .map((transaction) => transaction.transactionId).sort(),
+                    }
+                    : {
+                        command: 'locks repair',
+                        cataloged: false,
+                        projectId: identity.projectId,
+                        entityIds: staleLeases.map((lease) => lease.entityId).sort(),
+                    };
     return {
         identity,
         project,

package/dist/src/observation.js.map

@@ -1 +1 @@
-{"version":3,"file":"observation.js","sourceRoot":"","sources":["../../src/observation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,IAAI,MAAM,WAAW,CAAC;AAW7B,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,gCAAgC,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,EAAE,6BAA6B,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAEzE,OAAO,EACL,4BAA4B,EAC5B,gBAAgB,EAChB,yBAAyB,EACzB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,uCAAuC,EAAE,MAAM,0CAA0C,CAAC;AACnG,OAAO,EAAE,sCAAsC,EAAE,MAAM,yCAAyC,CAAC;AAWjG;;;;GAIG;AACH,MAAM,UAAU,kCAAkC,CAAC,OAIlD;IACC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,OAAO,CAAC;IACzC,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACpD,MAAM,gBAAgB,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,kBAAkB,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,mBAAmB,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,0BAA0B,GAAG,0BAA0B,CAAC,WAAW,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC/F,MAAM,4BAA4B,GAAG,4BAA4B,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC7F,MAAM,kBAAkB,GAAG,uCAAuC,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5F,MAAM,iBAAiB,GAAG,sCAAsC,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1F,MAAM,gBAAgB,GAAG;QACvB,OAAO,EAAE,CAAC,GAAG,kBAAkB,CAAC,OAAO,EAAE,GAAG,iBAAiB,CAAC,OAAO,CAAC;aACnE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC1H,OAAO,EAAE,CAAC,GAAG,kBAAkB,CAAC,OAAO,EAAE,GAAG,iBAAiB,CAAC,OAAO,CAAC;aACnE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;KAC3H,CAAC;IACF,MAAM,wBAAwB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvH,MAAM,2BAA2B,GAAG,wBAAwB,CAAC,MAAM,GAAG,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,kBAAkB,GAAG,4BAA4B,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC;SAC1E,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACzD,MAAM,wBAAwB,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CACtG,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,SAAS,CAAC,QAAQ,IAAI,WAAW,CAAC,aAAa,KAAK,SAAS,CAAC,WAAW,CAClH,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,CAAC,mBAAmB,IAAI,0BAA0B,CAAC,MAAM,KAAK,CAAC;QAC7E,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC;QACvC,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,mBAAmB,GAAG,OAAO,EAAE,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC;IAChG,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,MAAM,KAAK,CAAC;WAC3D,4BAA4B,CAAC,MAAM,KAAK,CAAC;WACzC,gBAAgB,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;WACrC,gBAAgB,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;WACrC,wBAAwB,CAAC,MAAM,KAAK,CAAC,CAAC;IAC3C,MAAM,sBAAsB,GAAG,gBAAgB,IAAI,gBAAgB;QACjE,CAAC,CAAC,0BAA0B,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC;QACvD,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,eAAe,GAAG,gBAAgB,IAAI,sBAAsB,KAAK,IAAI,CAAC;IAC5E,MAAM,cAAc,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9E,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAElE,MAAM,WAAW,GAA4B,EAAE,CAAC;IAChD,IAAI,mBAAmB;QAAE,WAAW,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC1E,IAAI,OAAO,IAAI,CAAC,mBAAmB;QAAE,WAAW,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACzF,IAAI,0BAA0B,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACzF,IAAI,4BAA4B,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC7F,IAAI,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACpF,IAAI,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAC/F,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACnH,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IAC5G,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACrE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACnE,IAAI,eAAe;QAAE,WAAW,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAE1D,MAAM,OAAO,GAAG,mBAAmB;WAC9B,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,mBAAmB,CAAC;WAC1C,0BAA0B,CAAC,MAAM,GAAG,CAAC;WACrC,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;WACnC,2BAA2B;WAC3B,wBAAwB,CAAC,MAAM,GAAG,CAAC,CAAC;IACzC,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;WACjD,4BAA4B,CAAC,MAAM,GAAG,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAgC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC;IACrG,MAAM,MAAM,GAAG,IAAI,KAAK,QAAQ;QAC9B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YACnC,CAAC,CAAC;gBACE,OAAO,EAAE,wBAAwB,CAAC,CAAC,CAAC,KAAK,oCAAoC;oBAC3E,CAAC,CAAC,+BAAwC;oBAC1C,CAAC,CAAC,gCAAyC;gBAC7C,SAAS,EAAE,KAAc;gBACzB,SAAS,EAAE,IAAa;gBACxB,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAC/F,cAAc,EAAE,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE;aAChG;YACH,CAAC,CAAC,4BAA4B,CAAC,MAAM,GAAG,CAAC;gBACzC,CAAC,CAAC;oBACE,OAAO,EAAE,mBAA4B;oBACrC,SAAS,EAAE,KAAc;oBACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;oBAC7B,YAAY,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,4BAA4B,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;oBAC7G,cAAc,EAAE,4BAA4B,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE;iBACpG;gBACH,CAAC,CAAC;oBACE,OAAO,EAAE,cAAuB;oBAChC,SAAS,EAAE,KAAc;oBACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;oBAC7B,SAAS,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE;iBAC7D,CAAC;IAER,OAAO;QACL,QAAQ;QACR,OAAO;QACP,sBAAsB;QACtB,MAAM;QACN,WAAW,EAAE;YACX,IAAI;YACJ,WAAW;YACX,gBAAgB;YAChB,kBAAkB;YAClB,eAAe;YACf,mBAAmB;YACnB,mBAAmB;YACnB,gBAAgB;YAChB,eAAe;YACf,0BAA0B;YAC1B,4BAA4B;YAC5B,uBAAuB,EAAE,gBAAgB,CAAC,OAAO;YACjD,uBAAuB,EAAE,gBAAgB,CAAC,OAAO;YACjD,kBAAkB;YAClB,MAAM,EAAE,cAAc;YACtB,2BAA2B,EAAE,IAAI;YACjC,MAAM;SACP;KACF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,WAAmB,EAAE,SAAiB;IACxE,OAAO,uBAAuB,CAAC,WAAW,EAAE,SAAS,CAAC;SACnD,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;SAC1C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC;WACjE,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,4BAA4B,CACnC,KAAqB,EACrB,SAAiB;IAEjB,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC,CAAC;IAC7E,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,6BAA6B,CAAC,cAAc,EAAE;QAC5C,KAAK,EAAE,6BAA6B;QACpC,WAAW,EAAE,IAAI;QACjB,WAAW,EAAE,KAAK,CAAC,IAAI;KACxB,CAAC,CAAC;IACH,OAAO,WAAW,CAAC,cAAc,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;SACxD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;SACtC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gCAAgC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE;QACxG,mBAAmB,EAAE,KAAK,CAAC,IAAI;KAChC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACnB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,SAAS,EAAE,OAAO,CAAC,SAAS;KAC7B,CAAC,CAAC,CAAC;SACH,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC;WACjE,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;AAChE,CAAC"}
+{"version":3,"file":"observation.js","sourceRoot":"","sources":["../../src/observation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,IAAI,MAAM,WAAW,CAAC;AAW7B,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,gCAAgC,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,EAAE,6BAA6B,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAEzE,OAAO,EACL,4BAA4B,EAC5B,gBAAgB,EAChB,yBAAyB,EACzB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,uCAAuC,EAAE,MAAM,0CAA0C,CAAC;AACnG,OAAO,EAAE,sCAAsC,EAAE,MAAM,yCAAyC,CAAC;AAWjG;;;;GAIG;AACH,MAAM,UAAU,kCAAkC,CAAC,OAIlD;IACC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,OAAO,CAAC;IACzC,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACpD,MAAM,gBAAgB,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,kBAAkB,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,mBAAmB,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,0BAA0B,GAAG,0BAA0B,CAAC,WAAW,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC/F,MAAM,4BAA4B,GAAG,4BAA4B,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IAC7F,MAAM,kBAAkB,GAAG,uCAAuC,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5F,MAAM,iBAAiB,GAAG,sCAAsC,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,kBAAkB,GAAG,4BAA4B,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC;SAC1E,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACzD,MAAM,yBAAyB,GAAG,CAAC,GAAG,kBAAkB,CAAC,SAAS,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;IACpG,MAAM,0BAA0B,GAAG,yBAAyB;SACzD,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CACzD,SAAS,CAAC,QAAQ,KAAK,WAAW,CAAC,MAAM,IAAI,SAAS,CAAC,WAAW,KAAK,WAAW,CAAC,aAAa;WAC7F,SAAS,CAAC,YAAY,KAAK,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;IAC7D,MAAM,gBAAgB,GAAG;QACvB,OAAO,EAAE,CAAC,GAAG,kBAAkB,CAAC,OAAO,EAAE,GAAG,iBAAiB,CAAC,OAAO,EAAE,GAAG,0BAA0B,CAAC;aAClG,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC1H,OAAO,EAAE,CAAC,GAAG,kBAAkB,CAAC,OAAO,EAAE,GAAG,iBAAiB,CAAC,OAAO,CAAC;aACnE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;KAC3H,CAAC;IACF,2FAA2F;IAC3F,MAAM,sBAAsB,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,wBAAwB,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CACtG,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,SAAS,CAAC,QAAQ,IAAI,WAAW,CAAC,aAAa,KAAK,SAAS,CAAC,WAAW;WAC5G,WAAW,CAAC,YAAY,KAAK,SAAS,CAAC,YAAY,CACzD,CAAC,CAAC;IAEH,MAAM,uBAAuB,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC;WACjF,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAClE,KAAK,CAAC,QAAQ,KAAK,WAAW,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC3F,MAAM,yBAAyB,GAAG,wBAAwB,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAChG,MAAM,4BAA4B,GAAG,CAAC,SAA4C,EAAE,EAAE,CACpF,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,SAAS,CAAC,QAAQ,CAAC;WACpF,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,SAAS,CAAC,QAAQ;eACrF,WAAW,CAAC,aAAa,KAAK,SAAS,CAAC,WAAW,CAAC,CAAC;IAC5D,MAAM,+BAA+B,GAAG,yBAAyB,CAAC,MAAM,CAAC,4BAA4B,CAAC,CAAC;IACvG,MAAM,6BAA6B,GAAG,yBAAyB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,4BAA4B,CAAC,SAAS,CAAC,CAAC,CAAC;IAE5H,MAAM,OAAO,GAAG,CAAC,mBAAmB,IAAI,0BAA0B,CAAC,MAAM,KAAK,CAAC;QAC7E,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC;QACvC,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,mBAAmB,GAAG,OAAO,EAAE,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC;IAChG,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,MAAM,KAAK,CAAC;WAC3D,4BAA4B,CAAC,MAAM,KAAK,CAAC;WACzC,gBAAgB,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;WACrC,gBAAgB,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;WACrC,wBAAwB,CAAC,MAAM,KAAK,CAAC,CAAC;IAC3C,MAAM,sBAAsB,GAAG,gBAAgB,IAAI,gBAAgB;QACjE,CAAC,CAAC,0BAA0B,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC;QACvD,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,eAAe,GAAG,gBAAgB,IAAI,sBAAsB,KAAK,IAAI,CAAC;IAC5E,MAAM,cAAc,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9E,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAElE,MAAM,WAAW,GAA4B,EAAE,CAAC;IAChD,IAAI,mBAAmB;QAAE,WAAW,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC1E,IAAI,OAAO,IAAI,CAAC,mBAAmB;QAAE,WAAW,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACzF,IAAI,0BAA0B,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACzF,IAAI,4BAA4B,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC7F,IAAI,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACpF,IAAI,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAC/F,IAAI,uBAAuB;QAAE,WAAW,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC5E,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IAC5G,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACrE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACnE,IAAI,eAAe;QAAE,WAAW,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAE1D,MAAM,OAAO,GAAG,mBAAmB;WAC9B,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,mBAAmB,CAAC;WAC1C,0BAA0B,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC;WACvE,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;WACnC,uBAAuB;WACvB,+BAA+B,CAAC,MAAM,GAAG,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,6BAA6B,KAAK,SAAS;WACzD,0BAA0B,CAAC,MAAM,GAAG,CAAC;WACrC,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;WACnC,4BAA4B,CAAC,MAAM,GAAG,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAgC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC;IACrG,MAAM,MAAM,GAAG,IAAI,KAAK,QAAQ;QAC9B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,6BAA6B;YAC7B,CAAC,CAAC;gBACE,OAAO,EAAE,cAAuB;gBAChC,SAAS,EAAE,KAAc;gBACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,SAAS,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC;aACpD;YACL,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBACnC,CAAC,CAAC;oBACE,OAAO,EAAE,sBAAuB,CAAC,YAAY,KAAK,oCAAoC;wBACpF,CAAC,CAAC,+BAAwC;wBAC1C,CAAC,CAAC,gCAAyC;oBAC7C,SAAS,EAAE,KAAc;oBACzB,SAAS,EAAE,IAAa;oBACxB,SAAS,EAAE,QAAQ,CAAC,SAAS;oBAC7B,OAAO,EAAE,CAAC,sBAAuB,CAAC,MAAM,CAAC;oBACzC,cAAc,EAAE,CAAC,sBAAuB,CAAC,aAAa,CAAC;iBACxD;gBACH,CAAC,CAAC,4BAA4B,CAAC,MAAM,GAAG,CAAC,IAAI,0BAA0B,CAAC,MAAM,GAAG,CAAC;oBAClF,CAAC,CAAC;wBACE,OAAO,EAAE,mBAA4B;wBACrC,SAAS,EAAE,KAAc;wBACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;wBAC7B,YAAY,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,4BAA4B,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;wBAC7G,cAAc,EAAE,CAAC,GAAG,0BAA0B,EAAE,GAAG,4BAA4B,CAAC;6BAC7E,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE;qBAC1D;oBACH,CAAC,CAAC;wBACE,OAAO,EAAE,cAAuB;wBAChC,SAAS,EAAE,KAAc;wBACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;wBAC7B,SAAS,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE;qBAC7D,CAAC;IAER,OAAO;QACL,QAAQ;QACR,OAAO;QACP,sBAAsB;QACtB,MAAM;QACN,WAAW,EAAE;YACX,IAAI;YACJ,WAAW;YACX,gBAAgB;YAChB,kBAAkB;YAClB,eAAe;YACf,mBAAmB;YACnB,mBAAmB;YACnB,gBAAgB;YAChB,eAAe;YACf,0BAA0B;YAC1B,4BAA4B;YAC5B,uBAAuB,EAAE,gBAAgB,CAAC,OAAO;YACjD,uBAAuB,EAAE,gBAAgB,CAAC,OAAO;YACjD,kBAAkB;YAClB,MAAM,EAAE,cAAc;YACtB,2BAA2B,EAAE,IAAI;YACjC,MAAM;SACP;KACF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,WAAmB,EAAE,SAAiB;IACxE,OAAO,uBAAuB,CAAC,WAAW,EAAE,SAAS,CAAC;SACnD,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;SAC1C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC;WACjE,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,4BAA4B,CACnC,KAAqB,EACrB,SAAiB;IAEjB,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC,CAAC;IAC7E,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,6BAA6B,CAAC,cAAc,EAAE;QAC5C,KAAK,EAAE,6BAA6B;QACpC,WAAW,EAAE,IAAI;QACjB,WAAW,EAAE,KAAK,CAAC,IAAI;KACxB,CAAC,CAAC;IACH,OAAO,WAAW,CAAC,cAAc,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;SACxD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;SACtC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gCAAgC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE;QACxG,mBAAmB,EAAE,KAAK,CAAC,IAAI;KAChC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACnB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,SAAS,EAAE,OAAO,CAAC,SAAS;KAC7B,CAAC,CAAC,CAAC;SACH,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC;WACjE,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;AAChE,CAAC"}

package/dist/src/observed-routes.js

@@ -43,13 +43,13 @@ const OBSERVED_ROUTE_INVENTORY = [
         routeId: 'observed.dependency-recovery', priority: 1000,
         predicateRef: 'WorkflowService.next/dependency recovery preflights',
         actions: [
+            diagnostic('update navigation-source-preflight'),
+            diagnostic('update navigation-transport-preflight'),
+            executable('update navigation-recover', 'recoverNavigationUpdate'),
             executable('task historical-step-provenance-recover', 'recoverHistoricalStepProvenance'),
-            executable('update pending-review-dependency-recover', 'recoverPendingReviewDependency'),
             executable('update historical-step-dependency-recover', 'recoverHistoricalStepDependencyProvenance'),
-            executable('update plan-integrity-dependency-recover', 'recoverPlanIntegrityDependencyProvenance'),
             executable('update dependency-provenance-recover', 'recoverDependencyProvenance'),
             executable('update downstream-proof-dependency-recover', 'recoverActiveDownstreamProofDependencyProvenance'),
-            executable('update downstream-proof-replan-dependency-recover', 'recoverDownstreamProofReplanDependencyProvenance'),
         ],
         successorWitness: {
             kind: 'reachable', routeIds: ['observed.corrective-continuation'],
@@ -60,15 +60,12 @@ const OBSERVED_ROUTE_INVENTORY = [
         routeId: 'observed.corrective-continuation', priority: 900,
         predicateRef: 'WorkflowService.nextForTaskWithDelegation/corrective overlays',
         actions: [
-            executable('task downstream-proof-replan-recover', 'recoverDownstreamProofReplan'),
             executable('task plan-integrity-recover', 'recoverPlanIntegrity'),
-            executable('task remediation-mode-recover', 'recoverRemediationMode'),
             executable('task corrective-decision-recover', 'recoverStepCorrectiveDecision'),
             executable('task downstream-proof-recover', 'recoverDownstreamProof'),
             executable('task corrective-decision', 'recordStepCorrectiveDecision'),
             executable('task corrective-yield', 'executeCorrectiveYield'),
             executable('task corrective-replan-prepare', 'prepareCorrectiveReplan'),
-            executable('task stop-override-prepare', 'prepareTaskStopOverride'),
         ],
         successorWitness: {
             kind: 'reachable', routeIds: ['observed.task-lifecycle'],
@@ -164,6 +161,8 @@ const OBSERVED_ROUTE_INVENTORY = [
         predicateRef: 'WorkflowService.next/active Milestone status',
         actions: [
             executable('milestone plan-set', 'setMilestonePlan'),
+            executable('milestone scope-change-prepare', 'prepareMilestoneScopeChange'),
+            executable('milestone autonomy-evolve', 'evolveMilestonePlanAutonomously'),
             executable('milestone authorize', 'authorizeMilestone'),
             executable('milestone validate', 'validateMilestone'),
         ],