footprintjs 9.48.2 → 10.0.0

package/dist/esm/lib/slice/keyTimeline.js

@@ -1,113 +0,0 @@
-/**
- * slice/keyTimeline.ts — the whole life of ONE key, in commit order.
- *
- * The flat companion to {@link forwardSliceForKey}: no graph, no budgets,
- * no anchor — every write of the key and every recorded read of it, as one
- * chronological list. This is what a UI timeline row and an LLM's "walk me
- * through what happened to `total`" both want, and what makes a forward
- * slice checkable: the same facts, unfolded instead of walked.
- *
- * Every moment carries BOTH universal join keys — `runtimeStageId` (to
- * recorders, execution trees, UIs) and `commitIdx` (to the commit log).
- *
- * ### LAW — read attribution is the walk's, exactly
- *
- * A read moment's `fromWriteIdx` is the write whose live range it sits in:
- * the last write at a STRICTLY earlier commit index. That is the same
- * `(writeIdx, nextWriteIdx]` rule `forwardSliceForKey` walks (reads fire
- * PRE-commit), so the two doors can never disagree about which value a read
- * saw — pinned by a cross-door property test. A read before ANY write has no
- * `fromWriteIdx` and raises the `'pre-run-origin'` note: it saw initial
- * state, frozen run `input`, or a closure.
- *
- * DAG position: memory ← slice. Imports memory/ only (see README.md).
- */
-import { buildKeyIndex, hasRecordedReads, lastIndexBefore, nestedOnlyWrites, nestedRowsNote, preRunOriginNote, readsNotRecordedNote, unknownKeyNote, writeEntry, } from './keyIndex.js';
-import { resolveKeysReadSource } from './keysReadSources.js';
-import { normaliseStateKey } from './sliceForKey.js';
-/**
- * The life of one key as a chronological list of writes and reads.
- *
- * @param commitLog Ordered commit bundles — `getSnapshot().commitLog`.
- * @param key A {@link StateKey} — normalised through the same
- *   `normaliseStateKey` both slice doors use.
- * @param keysRead A {@link KeysReadSource} or bare lookup (reads are not in
- *   the commit log).
- * @returns Always a {@link KeyTimeline}; absence carries its reason, and an
- *   unknown key is NAMED as unknown with a bounded list of known keys.
- */
-export function keyTimeline(commitLog, key, keysRead, options) {
-    const source = resolveKeysReadSource(keysRead);
-    const normalisedKey = normaliseStateKey(key);
-    const base = {
-        key: normalisedKey,
-        ...(options?.before !== undefined && { before: options.before }),
-        keysReadKind: source.kind,
-        ...(source.coverage !== undefined && { readsCoverage: source.coverage }),
-    };
-    if (commitLog.length === 0)
-        return { ...base, missing: 'empty-log', notes: [] };
-    const index = buildKeyIndex(commitLog, source.lookup);
-    const readsRecorded = hasRecordedReads(index);
-    const notes = [];
-    // Same typo guard as the forward walk — one rule, both doors.
-    if (!index.isKnown(normalisedKey)) {
-        notes.push(unknownKeyNote(index, normalisedKey));
-        if (readsRecorded)
-            return { ...base, missing: 'never-written', notes };
-    }
-    if (!readsRecorded)
-        notes.push(readsNotRecordedNote());
-    const limit = options?.before ?? commitLog.length;
-    // Writes under the writer rule (on the key, inside it, or around it and
-    // changing it); reads on the key, inside it or around it (keyIndex.ts).
-    const allWrites = index.writesOf(normalisedKey);
-    const writes = allWrites.filter((i) => i < limit);
-    const reads = index.readsOf(normalisedKey).filter((i) => i < limit);
-    // Merge two ascending index lists. At the SAME commit index a read comes
-    // first: reads fire before their stage's commit (the engine's event order,
-    // and the reason the live range is closed at the next write).
-    const moments = [];
-    let w = 0;
-    let r = 0;
-    let sawPreRunRead = false;
-    while (w < writes.length || r < reads.length) {
-        const takeRead = r < reads.length && (w >= writes.length || reads[r] <= writes[w]);
-        if (takeRead) {
-            const idx = reads[r++];
-            const bundle = commitLog[idx];
-            // The live range this read sits in: the last write STRICTLY earlier.
-            const fromWriteIdx = lastIndexBefore(allWrites, idx);
-            if (fromWriteIdx === undefined)
-                sawPreRunRead = true;
-            moments.push({
-                kind: 'read',
-                commitIdx: idx,
-                runtimeStageId: bundle.runtimeStageId,
-                stageId: bundle.stageId,
-                stageName: bundle.stage,
-                ...(fromWriteIdx !== undefined && { fromWriteIdx }),
-            });
-        }
-        else {
-            const idx = writes[w++];
-            const bundle = commitLog[idx];
-            const entry = writeEntry(bundle, normalisedKey);
-            moments.push({
-                kind: 'write',
-                commitIdx: idx,
-                runtimeStageId: bundle.runtimeStageId,
-                stageId: bundle.stageId,
-                stageName: bundle.stage,
-                ...(entry !== undefined && { verb: entry.verb }),
-            });
-        }
-    }
-    if (sawPreRunRead)
-        notes.push(preRunOriginNote(normalisedKey));
-    const nested = nestedOnlyWrites(commitLog, normalisedKey, writes);
-    if (nested.length > 0)
-        notes.push(nestedRowsNote(normalisedKey, nested));
-    return { ...base, moments, notes };
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoia2V5VGltZWxpbmUuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi8uLi9zcmMvbGliL3NsaWNlL2tleVRpbWVsaW5lLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztHQXVCRztBQUlILE9BQU8sRUFDTCxhQUFhLEVBQ2IsZ0JBQWdCLEVBQ2hCLGVBQWUsRUFDZixnQkFBZ0IsRUFDaEIsY0FBYyxFQUNkLGdCQUFnQixFQUNoQixvQkFBb0IsRUFDcEIsY0FBYyxFQUNkLFVBQVUsR0FDWCxNQUFNLGVBQWUsQ0FBQztBQUN2QixPQUFPLEVBQUUscUJBQXFCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUM3RCxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQWNyRDs7Ozs7Ozs7OztHQVVHO0FBQ0gsTUFBTSxVQUFVLFdBQVcsQ0FDekIsU0FBeUIsRUFDekIsR0FBYSxFQUNiLFFBQXlDLEVBQ3pDLE9BQTRCO0lBRTVCLE1BQU0sTUFBTSxHQUFHLHFCQUFxQixDQUFDLFFBQVEsQ0FBQyxDQUFDO0lBQy9DLE1BQU0sYUFBYSxHQUFHLGlCQUFpQixDQUFDLEdBQUcsQ0FBQyxDQUFDO0lBQzdDLE1BQU0sSUFBSSxHQUEyRTtRQUNuRixHQUFHLEVBQUUsYUFBYTtRQUNsQixHQUFHLENBQUMsT0FBTyxFQUFFLE1BQU0sS0FBSyxTQUFTLElBQUksRUFBRSxNQUFNLEVBQUUsT0FBTyxDQUFDLE1BQU0sRUFBRSxDQUFDO1FBQ2hFLFlBQVksRUFBRSxNQUFNLENBQUMsSUFBSTtRQUN6QixHQUFHLENBQUMsTUFBTSxDQUFDLFFBQVEsS0FBSyxTQUFTLElBQUksRUFBRSxhQUFhLEVBQUUsTUFBTSxDQUFDLFFBQVEsRUFBRSxDQUFDO0tBQ3pFLENBQUM7SUFFRixJQUFJLFNBQVMsQ0FBQyxNQUFNLEtBQUssQ0FBQztRQUFFLE9BQU8sRUFBRSxHQUFHLElBQUksRUFBRSxPQUFPLEVBQUUsV0FBVyxFQUFFLEtBQUssRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUVoRixNQUFNLEtBQUssR0FBRyxhQUFhLENBQUMsU0FBUyxFQUFFLE1BQU0sQ0FBQyxNQUFNLENBQUMsQ0FBQztJQUN0RCxNQUFNLGFBQWEsR0FBRyxnQkFBZ0IsQ0FBQyxLQUFLLENBQUMsQ0FBQztJQUM5QyxNQUFNLEtBQUssR0FBa0IsRUFBRSxDQUFDO0lBRWhDLDhEQUE4RDtJQUM5RCxJQUFJLENBQUMsS0FBSyxDQUFDLE9BQU8sQ0FBQyxhQUFhLENBQUMsRUFBRSxDQUFDO1FBQ2xDLEtBQUssQ0FBQyxJQUFJLENBQUMsY0FBYyxDQUFDLEtBQUssRUFBRSxhQUFhLENBQUMsQ0FBQyxDQUFDO1FBQ2pELElBQUksYUFBYTtZQUFFLE9BQU8sRUFBRSxHQUFHLElBQUksRUFBRSxPQUFPLEVBQUUsZUFBZSxFQUFFLEtBQUssRUFBRSxDQUFDO0lBQ3pFLENBQUM7SUFDRCxJQUFJLENBQUMsYUFBYTtRQUFFLEtBQUssQ0FBQyxJQUFJLENBQUMsb0JBQW9CLEVBQUUsQ0FBQyxDQUFDO0lBRXZELE1BQU0sS0FBSyxHQUFHLE9BQU8sRUFBRSxNQUFNLElBQUksU0FBUyxDQUFDLE1BQU0sQ0FBQztJQUNsRCx3RUFBd0U7SUFDeEUsd0VBQXdFO0lBQ3hFLE1BQU0sU0FBUyxHQUFHLEtBQUssQ0FBQyxRQUFRLENBQUMsYUFBYSxDQUFDLENBQUM7SUFDaEQsTUFBTSxNQUFNLEdBQUcsU0FBUyxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxHQUFHLEtBQUssQ0FBQyxDQUFDO0lBQ2xELE1BQU0sS0FBSyxHQUFHLEtBQUssQ0FBQyxPQUFPLENBQUMsYUFBYSxDQUFDLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLEdBQUcsS0FBSyxDQUFDLENBQUM7SUFFcEUseUVBQXlFO0lBQ3pFLDJFQUEyRTtJQUMzRSw4REFBOEQ7SUFDOUQsTUFBTSxPQUFPLEdBQWdCLEVBQUUsQ0FBQztJQUNoQyxJQUFJLENBQUMsR0FBRyxDQUFDLENBQUM7SUFDVixJQUFJLENBQUMsR0FBRyxDQUFDLENBQUM7SUFDVixJQUFJLGFBQWEsR0FBRyxLQUFLLENBQUM7SUFDMUIsT0FBTyxDQUFDLEdBQUcsTUFBTSxDQUFDLE1BQU0sSUFBSSxDQUFDLEdBQUcsS0FBSyxDQUFDLE1BQU0sRUFBRSxDQUFDO1FBQzdDLE1BQU0sUUFBUSxHQUFHLENBQUMsR0FBRyxLQUFLLENBQUMsTUFBTSxJQUFJLENBQUMsQ0FBQyxJQUFJLE1BQU0sQ0FBQyxNQUFNLElBQUksS0FBSyxDQUFDLENBQUMsQ0FBQyxJQUFJLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQ25GLElBQUksUUFBUSxFQUFFLENBQUM7WUFDYixNQUFNLEdBQUcsR0FBRyxLQUFLLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQztZQUN2QixNQUFNLE1BQU0sR0FBRyxTQUFTLENBQUMsR0FBRyxDQUFDLENBQUM7WUFDOUIscUVBQXFFO1lBQ3JFLE1BQU0sWUFBWSxHQUFHLGVBQWUsQ0FBQyxTQUFTLEVBQUUsR0FBRyxDQUFDLENBQUM7WUFDckQsSUFBSSxZQUFZLEtBQUssU0FBUztnQkFBRSxhQUFhLEdBQUcsSUFBSSxDQUFDO1lBQ3JELE9BQU8sQ0FBQyxJQUFJLENBQUM7Z0JBQ1gsSUFBSSxFQUFFLE1BQU07Z0JBQ1osU0FBUyxFQUFFLEdBQUc7Z0JBQ2QsY0FBYyxFQUFFLE1BQU0sQ0FBQyxjQUFjO2dCQUNyQyxPQUFPLEVBQUUsTUFBTSxDQUFDLE9BQU87Z0JBQ3ZCLFNBQVMsRUFBRSxNQUFNLENBQUMsS0FBSztnQkFDdkIsR0FBRyxDQUFDLFlBQVksS0FBSyxTQUFTLElBQUksRUFBRSxZQUFZLEVBQUUsQ0FBQzthQUNwRCxDQUFDLENBQUM7UUFDTCxDQUFDO2FBQU0sQ0FBQztZQUNOLE1BQU0sR0FBRyxHQUFHLE1BQU0sQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDO1lBQ3hCLE1BQU0sTUFBTSxHQUFHLFNBQVMsQ0FBQyxHQUFHLENBQUMsQ0FBQztZQUM5QixNQUFNLEtBQUssR0FBRyxVQUFVLENBQUMsTUFBTSxFQUFFLGFBQWEsQ0FBQyxDQUFDO1lBQ2hELE9BQU8sQ0FBQyxJQUFJLENBQUM7Z0JBQ1gsSUFBSSxFQUFFLE9BQU87Z0JBQ2IsU0FBUyxFQUFFLEdBQUc7Z0JBQ2QsY0FBYyxFQUFFLE1BQU0sQ0FBQyxjQUFjO2dCQUNyQyxPQUFPLEVBQUUsTUFBTSxDQUFDLE9BQU87Z0JBQ3ZCLFNBQVMsRUFBRSxNQUFNLENBQUMsS0FBSztnQkFDdkIsR0FBRyxDQUFDLEtBQUssS0FBSyxTQUFTLElBQUksRUFBRSxJQUFJLEVBQUUsS0FBSyxDQUFDLElBQUksRUFBRSxDQUFDO2FBQ2pELENBQUMsQ0FBQztRQUNMLENBQUM7SUFDSCxDQUFDO0lBRUQsSUFBSSxhQUFhO1FBQUUsS0FBSyxDQUFDLElBQUksQ0FBQyxnQkFBZ0IsQ0FBQyxhQUFhLENBQUMsQ0FBQyxDQUFDO0lBQy9ELE1BQU0sTUFBTSxHQUFHLGdCQUFnQixDQUFDLFNBQVMsRUFBRSxhQUFhLEVBQUUsTUFBTSxDQUFDLENBQUM7SUFDbEUsSUFBSSxNQUFNLENBQUMsTUFBTSxHQUFHLENBQUM7UUFBRSxLQUFLLENBQUMsSUFBSSxDQUFDLGNBQWMsQ0FBQyxhQUFhLEVBQUUsTUFBTSxDQUFDLENBQUMsQ0FBQztJQUN6RSxPQUFPLEVBQUUsR0FBRyxJQUFJLEVBQUUsT0FBTyxFQUFFLEtBQUssRUFBRSxDQUFDO0FBQ3JDLENBQUMiLCJzb3VyY2VzQ29udGVudCI6WyIvKipcbiAqIHNsaWNlL2tleVRpbWVsaW5lLnRzIOKAlCB0aGUgd2hvbGUgbGlmZSBvZiBPTkUga2V5LCBpbiBjb21taXQgb3JkZXIuXG4gKlxuICogVGhlIGZsYXQgY29tcGFuaW9uIHRvIHtAbGluayBmb3J3YXJkU2xpY2VGb3JLZXl9OiBubyBncmFwaCwgbm8gYnVkZ2V0cyxcbiAqIG5vIGFuY2hvciDigJQgZXZlcnkgd3JpdGUgb2YgdGhlIGtleSBhbmQgZXZlcnkgcmVjb3JkZWQgcmVhZCBvZiBpdCwgYXMgb25lXG4gKiBjaHJvbm9sb2dpY2FsIGxpc3QuIFRoaXMgaXMgd2hhdCBhIFVJIHRpbWVsaW5lIHJvdyBhbmQgYW4gTExNJ3MgXCJ3YWxrIG1lXG4gKiB0aHJvdWdoIHdoYXQgaGFwcGVuZWQgdG8gYHRvdGFsYFwiIGJvdGggd2FudCwgYW5kIHdoYXQgbWFrZXMgYSBmb3J3YXJkXG4gKiBzbGljZSBjaGVja2FibGU6IHRoZSBzYW1lIGZhY3RzLCB1bmZvbGRlZCBpbnN0ZWFkIG9mIHdhbGtlZC5cbiAqXG4gKiBFdmVyeSBtb21lbnQgY2FycmllcyBCT1RIIHVuaXZlcnNhbCBqb2luIGtleXMg4oCUIGBydW50aW1lU3RhZ2VJZGAgKHRvXG4gKiByZWNvcmRlcnMsIGV4ZWN1dGlvbiB0cmVlcywgVUlzKSBhbmQgYGNvbW1pdElkeGAgKHRvIHRoZSBjb21taXQgbG9nKS5cbiAqXG4gKiAjIyMgTEFXIOKAlCByZWFkIGF0dHJpYnV0aW9uIGlzIHRoZSB3YWxrJ3MsIGV4YWN0bHlcbiAqXG4gKiBBIHJlYWQgbW9tZW50J3MgYGZyb21Xcml0ZUlkeGAgaXMgdGhlIHdyaXRlIHdob3NlIGxpdmUgcmFuZ2UgaXQgc2l0cyBpbjpcbiAqIHRoZSBsYXN0IHdyaXRlIGF0IGEgU1RSSUNUTFkgZWFybGllciBjb21taXQgaW5kZXguIFRoYXQgaXMgdGhlIHNhbWVcbiAqIGAod3JpdGVJZHgsIG5leHRXcml0ZUlkeF1gIHJ1bGUgYGZvcndhcmRTbGljZUZvcktleWAgd2Fsa3MgKHJlYWRzIGZpcmVcbiAqIFBSRS1jb21taXQpLCBzbyB0aGUgdHdvIGRvb3JzIGNhbiBuZXZlciBkaXNhZ3JlZSBhYm91dCB3aGljaCB2YWx1ZSBhIHJlYWRcbiAqIHNhdyDigJQgcGlubmVkIGJ5IGEgY3Jvc3MtZG9vciBwcm9wZXJ0eSB0ZXN0LiBBIHJlYWQgYmVmb3JlIEFOWSB3cml0ZSBoYXMgbm9cbiAqIGBmcm9tV3JpdGVJZHhgIGFuZCByYWlzZXMgdGhlIGAncHJlLXJ1bi1vcmlnaW4nYCBub3RlOiBpdCBzYXcgaW5pdGlhbFxuICogc3RhdGUsIGZyb3plbiBydW4gYGlucHV0YCwgb3IgYSBjbG9zdXJlLlxuICpcbiAqIERBRyBwb3NpdGlvbjogbWVtb3J5IOKGkCBzbGljZS4gSW1wb3J0cyBtZW1vcnkvIG9ubHkgKHNlZSBSRUFETUUubWQpLlxuICovXG5cbmltcG9ydCB0eXBlIHsgS2V5c1JlYWRMb29rdXAgfSBmcm9tICcuLi9tZW1vcnkvYmFja3RyYWNrLmpzJztcbmltcG9ydCB0eXBlIHsgQ29tbWl0QnVuZGxlIH0gZnJvbSAnLi4vbWVtb3J5L3R5cGVzLmpzJztcbmltcG9ydCB7XG4gIGJ1aWxkS2V5SW5kZXgsXG4gIGhhc1JlY29yZGVkUmVhZHMsXG4gIGxhc3RJbmRleEJlZm9yZSxcbiAgbmVzdGVkT25seVdyaXRlcyxcbiAgbmVzdGVkUm93c05vdGUsXG4gIHByZVJ1bk9yaWdpbk5vdGUsXG4gIHJlYWRzTm90UmVjb3JkZWROb3RlLFxuICB1bmtub3duS2V5Tm90ZSxcbiAgd3JpdGVFbnRyeSxcbn0gZnJvbSAnLi9rZXlJbmRleC5qcyc7XG5pbXBvcnQgeyByZXNvbHZlS2V5c1JlYWRTb3VyY2UgfSBmcm9tICcuL2tleXNSZWFkU291cmNlcy5qcyc7XG5pbXBvcnQgeyBub3JtYWxpc2VTdGF0ZUtleSB9IGZyb20gJy4vc2xpY2VGb3JLZXkuanMnO1xuaW1wb3J0IHR5cGUgeyBIb25lc3R5Tm90ZSwgS2V5TW9tZW50LCBLZXlzUmVhZFNvdXJjZSwgS2V5VGltZWxpbmUsIFN0YXRlS2V5IH0gZnJvbSAnLi90eXBlcy5qcyc7XG5cbi8qKiBPcHRpb25zIGZvciB7QGxpbmsga2V5VGltZWxpbmV9LiAqL1xuZXhwb3J0IGludGVyZmFjZSBLZXlUaW1lbGluZU9wdGlvbnMge1xuICAvKipcbiAgICogRXhjbHVzaXZlIGNvbW1pdC1hcnJheS1pbmRleCB1cHBlciBib3VuZDogb25seSBtb21lbnRzIEJFRk9SRSB0aGlzIGlkeC5cbiAgICogU2FtZSB3b3JkIGFuZCBzZW1hbnRpY3MgYXMgYHNsaWNlRm9yS2V5YCdzIGBiZWZvcmVgIChub3RlIHRoZSBzaWJsaW5nXG4gICAqIGBhcnJheVByb3ZlbmFuY2VgIHVzZXMgYW4gSU5DTFVTSVZFIGBhdElkeGAg4oCUIHRoaXMgZmFtaWx5IGZvbGxvd3MgdGhlXG4gICAqIHNsaWNlIGRvb3JzKS5cbiAgICovXG4gIGJlZm9yZT86IG51bWJlcjtcbn1cblxuLyoqXG4gKiBUaGUgbGlmZSBvZiBvbmUga2V5IGFzIGEgY2hyb25vbG9naWNhbCBsaXN0IG9mIHdyaXRlcyBhbmQgcmVhZHMuXG4gKlxuICogQHBhcmFtIGNvbW1pdExvZyBPcmRlcmVkIGNvbW1pdCBidW5kbGVzIOKAlCBgZ2V0U25hcHNob3QoKS5jb21taXRMb2dgLlxuICogQHBhcmFtIGtleSBBIHtAbGluayBTdGF0ZUtleX0g4oCUIG5vcm1hbGlzZWQgdGhyb3VnaCB0aGUgc2FtZVxuICogICBgbm9ybWFsaXNlU3RhdGVLZXlgIGJvdGggc2xpY2UgZG9vcnMgdXNlLlxuICogQHBhcmFtIGtleXNSZWFkIEEge0BsaW5rIEtleXNSZWFkU291cmNlfSBvciBiYXJlIGxvb2t1cCAocmVhZHMgYXJlIG5vdCBpblxuICogICB0aGUgY29tbWl0IGxvZykuXG4gKiBAcmV0dXJucyBBbHdheXMgYSB7QGxpbmsgS2V5VGltZWxpbmV9OyBhYnNlbmNlIGNhcnJpZXMgaXRzIHJlYXNvbiwgYW5kIGFuXG4gKiAgIHVua25vd24ga2V5IGlzIE5BTUVEIGFzIHVua25vd24gd2l0aCBhIGJvdW5kZWQgbGlzdCBvZiBrbm93biBrZXlzLlxuICovXG5leHBvcnQgZnVuY3Rpb24ga2V5VGltZWxpbmUoXG4gIGNvbW1pdExvZzogQ29tbWl0QnVuZGxlW10sXG4gIGtleTogU3RhdGVLZXksXG4gIGtleXNSZWFkOiBLZXlzUmVhZFNvdXJjZSB8IEtleXNSZWFkTG9va3VwLFxuICBvcHRpb25zPzogS2V5VGltZWxpbmVPcHRpb25zLFxuKTogS2V5VGltZWxpbmUge1xuICBjb25zdCBzb3VyY2UgPSByZXNvbHZlS2V5c1JlYWRTb3VyY2Uoa2V5c1JlYWQpO1xuICBjb25zdCBub3JtYWxpc2VkS2V5ID0gbm9ybWFsaXNlU3RhdGVLZXkoa2V5KTtcbiAgY29uc3QgYmFzZTogUGljazxLZXlUaW1lbGluZSwgJ2tleScgfCAnYmVmb3JlJyB8ICdrZXlzUmVhZEtpbmQnIHwgJ3JlYWRzQ292ZXJhZ2UnPiA9IHtcbiAgICBrZXk6IG5vcm1hbGlzZWRLZXksXG4gICAgLi4uKG9wdGlvbnM/LmJlZm9yZSAhPT0gdW5kZWZpbmVkICYmIHsgYmVmb3JlOiBvcHRpb25zLmJlZm9yZSB9KSxcbiAgICBrZXlzUmVhZEtpbmQ6IHNvdXJjZS5raW5kLFxuICAgIC4uLihzb3VyY2UuY292ZXJhZ2UgIT09IHVuZGVmaW5lZCAmJiB7IHJlYWRzQ292ZXJhZ2U6IHNvdXJjZS5jb3ZlcmFnZSB9KSxcbiAgfTtcblxuICBpZiAoY29tbWl0TG9nLmxlbmd0aCA9PT0gMCkgcmV0dXJuIHsgLi4uYmFzZSwgbWlzc2luZzogJ2VtcHR5LWxvZycsIG5vdGVzOiBbXSB9O1xuXG4gIGNvbnN0IGluZGV4ID0gYnVpbGRLZXlJbmRleChjb21taXRMb2csIHNvdXJjZS5sb29rdXApO1xuICBjb25zdCByZWFkc1JlY29yZGVkID0gaGFzUmVjb3JkZWRSZWFkcyhpbmRleCk7XG4gIGNvbnN0IG5vdGVzOiBIb25lc3R5Tm90ZVtdID0gW107XG5cbiAgLy8gU2FtZSB0eXBvIGd1YXJkIGFzIHRoZSBmb3J3YXJkIHdhbGsg4oCUIG9uZSBydWxlLCBib3RoIGRvb3JzLlxuICBpZiAoIWluZGV4LmlzS25vd24obm9ybWFsaXNlZEtleSkpIHtcbiAgICBub3Rlcy5wdXNoKHVua25vd25LZXlOb3RlKGluZGV4LCBub3JtYWxpc2VkS2V5KSk7XG4gICAgaWYgKHJlYWRzUmVjb3JkZWQpIHJldHVybiB7IC4uLmJhc2UsIG1pc3Npbmc6ICduZXZlci13cml0dGVuJywgbm90ZXMgfTtcbiAgfVxuICBpZiAoIXJlYWRzUmVjb3JkZWQpIG5vdGVzLnB1c2gocmVhZHNOb3RSZWNvcmRlZE5vdGUoKSk7XG5cbiAgY29uc3QgbGltaXQgPSBvcHRpb25zPy5iZWZvcmUgPz8gY29tbWl0TG9nLmxlbmd0aDtcbiAgLy8gV3JpdGVzIHVuZGVyIHRoZSB3cml0ZXIgcnVsZSAob24gdGhlIGtleSwgaW5zaWRlIGl0LCBvciBhcm91bmQgaXQgYW5kXG4gIC8vIGNoYW5naW5nIGl0KTsgcmVhZHMgb24gdGhlIGtleSwgaW5zaWRlIGl0IG9yIGFyb3VuZCBpdCAoa2V5SW5kZXgudHMpLlxuICBjb25zdCBhbGxXcml0ZXMgPSBpbmRleC53cml0ZXNPZihub3JtYWxpc2VkS2V5KTtcbiAgY29uc3Qgd3JpdGVzID0gYWxsV3JpdGVzLmZpbHRlcigoaSkgPT4gaSA8IGxpbWl0KTtcbiAgY29uc3QgcmVhZHMgPSBpbmRleC5yZWFkc09mKG5vcm1hbGlzZWRLZXkpLmZpbHRlcigoaSkgPT4gaSA8IGxpbWl0KTtcblxuICAvLyBNZXJnZSB0d28gYXNjZW5kaW5nIGluZGV4IGxpc3RzLiBBdCB0aGUgU0FNRSBjb21taXQgaW5kZXggYSByZWFkIGNvbWVzXG4gIC8vIGZpcnN0OiByZWFkcyBmaXJlIGJlZm9yZSB0aGVpciBzdGFnZSdzIGNvbW1pdCAodGhlIGVuZ2luZSdzIGV2ZW50IG9yZGVyLFxuICAvLyBhbmQgdGhlIHJlYXNvbiB0aGUgbGl2ZSByYW5nZSBpcyBjbG9zZWQgYXQgdGhlIG5leHQgd3JpdGUpLlxuICBjb25zdCBtb21lbnRzOiBLZXlNb21lbnRbXSA9IFtdO1xuICBsZXQgdyA9IDA7XG4gIGxldCByID0gMDtcbiAgbGV0IHNhd1ByZVJ1blJlYWQgPSBmYWxzZTtcbiAgd2hpbGUgKHcgPCB3cml0ZXMubGVuZ3RoIHx8IHIgPCByZWFkcy5sZW5ndGgpIHtcbiAgICBjb25zdCB0YWtlUmVhZCA9IHIgPCByZWFkcy5sZW5ndGggJiYgKHcgPj0gd3JpdGVzLmxlbmd0aCB8fCByZWFkc1tyXSA8PSB3cml0ZXNbd10pO1xuICAgIGlmICh0YWtlUmVhZCkge1xuICAgICAgY29uc3QgaWR4ID0gcmVhZHNbcisrXTtcbiAgICAgIGNvbnN0IGJ1bmRsZSA9IGNvbW1pdExvZ1tpZHhdO1xuICAgICAgLy8gVGhlIGxpdmUgcmFuZ2UgdGhpcyByZWFkIHNpdHMgaW46IHRoZSBsYXN0IHdyaXRlIFNUUklDVExZIGVhcmxpZXIuXG4gICAgICBjb25zdCBmcm9tV3JpdGVJZHggPSBsYXN0SW5kZXhCZWZvcmUoYWxsV3JpdGVzLCBpZHgpO1xuICAgICAgaWYgKGZyb21Xcml0ZUlkeCA9PT0gdW5kZWZpbmVkKSBzYXdQcmVSdW5SZWFkID0gdHJ1ZTtcbiAgICAgIG1vbWVudHMucHVzaCh7XG4gICAgICAgIGtpbmQ6ICdyZWFkJyxcbiAgICAgICAgY29tbWl0SWR4OiBpZHgsXG4gICAgICAgIHJ1bnRpbWVTdGFnZUlkOiBidW5kbGUucnVudGltZVN0YWdlSWQsXG4gICAgICAgIHN0YWdlSWQ6IGJ1bmRsZS5zdGFnZUlkLFxuICAgICAgICBzdGFnZU5hbWU6IGJ1bmRsZS5zdGFnZSxcbiAgICAgICAgLi4uKGZyb21Xcml0ZUlkeCAhPT0gdW5kZWZpbmVkICYmIHsgZnJvbVdyaXRlSWR4IH0pLFxuICAgICAgfSk7XG4gICAgfSBlbHNlIHtcbiAgICAgIGNvbnN0IGlkeCA9IHdyaXRlc1t3KytdO1xuICAgICAgY29uc3QgYnVuZGxlID0gY29tbWl0TG9nW2lkeF07XG4gICAgICBjb25zdCBlbnRyeSA9IHdyaXRlRW50cnkoYnVuZGxlLCBub3JtYWxpc2VkS2V5KTtcbiAgICAgIG1vbWVudHMucHVzaCh7XG4gICAgICAgIGtpbmQ6ICd3cml0ZScsXG4gICAgICAgIGNvbW1pdElkeDogaWR4LFxuICAgICAgICBydW50aW1lU3RhZ2VJZDogYnVuZGxlLnJ1bnRpbWVTdGFnZUlkLFxuICAgICAgICBzdGFnZUlkOiBidW5kbGUuc3RhZ2VJZCxcbiAgICAgICAgc3RhZ2VOYW1lOiBidW5kbGUuc3RhZ2UsXG4gICAgICAgIC4uLihlbnRyeSAhPT0gdW5kZWZpbmVkICYmIHsgdmVyYjogZW50cnkudmVyYiB9KSxcbiAgICAgIH0pO1xuICAgIH1cbiAgfVxuXG4gIGlmIChzYXdQcmVSdW5SZWFkKSBub3Rlcy5wdXNoKHByZVJ1bk9yaWdpbk5vdGUobm9ybWFsaXNlZEtleSkpO1xuICBjb25zdCBuZXN0ZWQgPSBuZXN0ZWRPbmx5V3JpdGVzKGNvbW1pdExvZywgbm9ybWFsaXNlZEtleSwgd3JpdGVzKTtcbiAgaWYgKG5lc3RlZC5sZW5ndGggPiAwKSBub3Rlcy5wdXNoKG5lc3RlZFJvd3NOb3RlKG5vcm1hbGlzZWRLZXksIG5lc3RlZCkpO1xuICByZXR1cm4geyAuLi5iYXNlLCBtb21lbnRzLCBub3RlcyB9O1xufVxuIl19

package/dist/esm/lib/slice/keysReadSources.d.ts

@@ -1,51 +0,0 @@
-/**
- * slice/keysReadSources.ts — the shipped {@link KeysReadSource} strategies.
- *
- * The canonical strategy list and rationale live on the KeysReadSource type
- * (types.ts) — the doc consumers hover. This file holds the implementations.
- *
- * Deliberately NOT here: a QualityRecorder adapter. Importing recorder/ would
- * drag this leaf library up the dependency DAG. The adapter is a one-liner at
- * the call site instead: `(id) => recorder.getByKey(id)?.keysRead ?? []`.
- */
-import type { KeysReadLookup } from '../memory/backtrack.js';
-import type { ExecutionTree } from '../memory/types.js';
-import type { KeysReadSource } from './types.js';
-/**
- * Post-hoc reads from a finished run's execution tree — ZERO setup.
- *
- * WHY this works: a stage's `stageReads` records the keys it
- * tracked-read whenever the `readTracking` dial ≠ 'off' ('full' is the
- * engine default; 'summary' replaces VALUES with markers but keeps the
- * KEYS — and keys are all a slice needs). Under 'off' this source returns
- * empty read-sets — detectable via `coverage.stepsWithReads === 0`, which
- * `sliceForKey` copies onto the slice so tools can say "reads were not
- * recorded" instead of the lie "no dependencies".
- *
- * SUBFLOW PAIRING (important): a subflow runs in an ISOLATED runtime — its
- * commits live in `snapshot.subflowResults[sfId].commitLog`, its reads in
- * `snapshot.subflowResults[sfId].executionTree`. Trees and logs must be
- * paired from the SAME scope: to slice a key inside a subflow, re-anchor
- * there —
- *
- * ```ts
- * const sf = snapshot.subflowResults['sf-tools'];
- * sliceForKey(sf.commitLog, key, keysReadFromExecutionTree(sf.executionTree));
- * ```
- *
- * Passing multiple trees widens READ resolution only (useful when one log
- * genuinely spans them); it does not let a root-log slice cross a subflow
- * mount — see README.md § Subflow boundaries.
- */
-export declare function keysReadFromExecutionTree(tree: ExecutionTree | readonly ExecutionTree[]): KeysReadSource;
-/**
- * Reads from a prebuilt map — e.g. collected live from
- * `ScopeRecorder.onRead` events, or deserialized from a stored trace.
- */
-export declare function keysReadFromMap(map: ReadonlyMap<string, readonly string[]> | Readonly<Record<string, readonly string[]>>): KeysReadSource;
-/**
- * Normalize the ergonomic union: callers may pass a full strategy object or
- * a bare lookup function (wrapped as kind 'custom-fn' so the honesty
- * breadcrumb still says where reads came from).
- */
-export declare function resolveKeysReadSource(src: KeysReadSource | KeysReadLookup): KeysReadSource;

package/dist/esm/lib/slice/keysReadSources.js

@@ -1,95 +0,0 @@
-/**
- * slice/keysReadSources.ts — the shipped {@link KeysReadSource} strategies.
- *
- * The canonical strategy list and rationale live on the KeysReadSource type
- * (types.ts) — the doc consumers hover. This file holds the implementations.
- *
- * Deliberately NOT here: a QualityRecorder adapter. Importing recorder/ would
- * drag this leaf library up the dependency DAG. The adapter is a one-liner at
- * the call site instead: `(id) => recorder.getByKey(id)?.keysRead ?? []`.
- */
-/**
- * Post-hoc reads from a finished run's execution tree — ZERO setup.
- *
- * WHY this works: a stage's `stageReads` records the keys it
- * tracked-read whenever the `readTracking` dial ≠ 'off' ('full' is the
- * engine default; 'summary' replaces VALUES with markers but keeps the
- * KEYS — and keys are all a slice needs). Under 'off' this source returns
- * empty read-sets — detectable via `coverage.stepsWithReads === 0`, which
- * `sliceForKey` copies onto the slice so tools can say "reads were not
- * recorded" instead of the lie "no dependencies".
- *
- * SUBFLOW PAIRING (important): a subflow runs in an ISOLATED runtime — its
- * commits live in `snapshot.subflowResults[sfId].commitLog`, its reads in
- * `snapshot.subflowResults[sfId].executionTree`. Trees and logs must be
- * paired from the SAME scope: to slice a key inside a subflow, re-anchor
- * there —
- *
- * ```ts
- * const sf = snapshot.subflowResults['sf-tools'];
- * sliceForKey(sf.commitLog, key, keysReadFromExecutionTree(sf.executionTree));
- * ```
- *
- * Passing multiple trees widens READ resolution only (useful when one log
- * genuinely spans them); it does not let a root-log slice cross a subflow
- * mount — see README.md § Subflow boundaries.
- */
-export function keysReadFromExecutionTree(tree) {
-    const byStep = new Map();
-    let steps = 0;
-    // The tree is acyclic by construction (next/children), but this walker is
-    // also handed CONSUMER-provided data — a visited set makes a malformed or
-    // hand-built tree a non-event instead of an infinite loop.
-    const visited = new Set();
-    const stack = [tree].flat(); // one root, or several (subflow trees); a hole is skipped
-    while (stack.length > 0) {
-        const node = stack.pop();
-        if (visited.has(node))
-            continue;
-        visited.add(node);
-        if (node.runtimeStageId) {
-            steps++;
-            if (node.stageReads) {
-                const keys = Object.keys(node.stageReads);
-                if (keys.length > 0)
-                    byStep.set(node.runtimeStageId, keys);
-            }
-        }
-        if (node.next)
-            stack.push(node.next);
-        if (node.children)
-            for (const c of node.children)
-                stack.push(c);
-    }
-    return {
-        kind: 'execution-tree',
-        lookup: (runtimeStageId) => byStep.get(runtimeStageId) ?? [],
-        coverage: { steps, stepsWithReads: byStep.size },
-    };
-}
-/**
- * Reads from a prebuilt map — e.g. collected live from
- * `ScopeRecorder.onRead` events, or deserialized from a stored trace.
- */
-export function keysReadFromMap(map) {
-    // Own-property guard on the object form: runtimeStageIds are consumer-
-    // influenced strings; without it, an id like 'constructor' would read
-    // through the prototype chain (the same hardening posture as the engine's
-    // nativeGet/prototype-pollution guards).
-    const get = map instanceof Map
-        ? (id) => map.get(id)
-        : (id) => Object.prototype.hasOwnProperty.call(map, id) ? map[id] : undefined;
-    return {
-        kind: 'map',
-        lookup: (runtimeStageId) => [...(get(runtimeStageId) ?? [])],
-    };
-}
-/**
- * Normalize the ergonomic union: callers may pass a full strategy object or
- * a bare lookup function (wrapped as kind 'custom-fn' so the honesty
- * breadcrumb still says where reads came from).
- */
-export function resolveKeysReadSource(src) {
-    return typeof src === 'function' ? { kind: 'custom-fn', lookup: src } : src;
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoia2V5c1JlYWRTb3VyY2VzLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vLi4vc3JjL2xpYi9zbGljZS9rZXlzUmVhZFNvdXJjZXMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7OztHQVNHO0FBTUg7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7R0F5Qkc7QUFDSCxNQUFNLFVBQVUseUJBQXlCLENBQUMsSUFBOEM7SUFDdEYsTUFBTSxNQUFNLEdBQUcsSUFBSSxHQUFHLEVBQW9CLENBQUM7SUFDM0MsSUFBSSxLQUFLLEdBQUcsQ0FBQyxDQUFDO0lBQ2QsMEVBQTBFO0lBQzFFLDBFQUEwRTtJQUMxRSwyREFBMkQ7SUFDM0QsTUFBTSxPQUFPLEdBQUcsSUFBSSxHQUFHLEVBQWlCLENBQUM7SUFDekMsTUFBTSxLQUFLLEdBQW9CLENBQUMsSUFBSSxDQUFDLENBQUMsSUFBSSxFQUFFLENBQUMsQ0FBQywwREFBMEQ7SUFDeEcsT0FBTyxLQUFLLENBQUMsTUFBTSxHQUFHLENBQUMsRUFBRSxDQUFDO1FBQ3hCLE1BQU0sSUFBSSxHQUFHLEtBQUssQ0FBQyxHQUFHLEVBQUcsQ0FBQztRQUMxQixJQUFJLE9BQU8sQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDO1lBQUUsU0FBUztRQUNoQyxPQUFPLENBQUMsR0FBRyxDQUFDLElBQUksQ0FBQyxDQUFDO1FBQ2xCLElBQUksSUFBSSxDQUFDLGNBQWMsRUFBRSxDQUFDO1lBQ3hCLEtBQUssRUFBRSxDQUFDO1lBQ1IsSUFBSSxJQUFJLENBQUMsVUFBVSxFQUFFLENBQUM7Z0JBQ3BCLE1BQU0sSUFBSSxHQUFHLE1BQU0sQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLFVBQVUsQ0FBQyxDQUFDO2dCQUMxQyxJQUFJLElBQUksQ0FBQyxNQUFNLEdBQUcsQ0FBQztvQkFBRSxNQUFNLENBQUMsR0FBRyxDQUFDLElBQUksQ0FBQyxjQUFjLEVBQUUsSUFBSSxDQUFDLENBQUM7WUFDN0QsQ0FBQztRQUNILENBQUM7UUFDRCxJQUFJLElBQUksQ0FBQyxJQUFJO1lBQUUsS0FBSyxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLENBQUM7UUFDckMsSUFBSSxJQUFJLENBQUMsUUFBUTtZQUFFLEtBQUssTUFBTSxDQUFDLElBQUksSUFBSSxDQUFDLFFBQVE7Z0JBQUUsS0FBSyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUNsRSxDQUFDO0lBQ0QsT0FBTztRQUNMLElBQUksRUFBRSxnQkFBZ0I7UUFDdEIsTUFBTSxFQUFFLENBQUMsY0FBc0IsRUFBRSxFQUFFLENBQUMsTUFBTSxDQUFDLEdBQUcsQ0FBQyxjQUFjLENBQUMsSUFBSSxFQUFFO1FBQ3BFLFFBQVEsRUFBRSxFQUFFLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxDQUFDLElBQUksRUFBRTtLQUNqRCxDQUFDO0FBQ0osQ0FBQztBQUVEOzs7R0FHRztBQUNILE1BQU0sVUFBVSxlQUFlLENBQzdCLEdBQXlGO0lBRXpGLHVFQUF1RTtJQUN2RSxzRUFBc0U7SUFDdEUsMEVBQTBFO0lBQzFFLHlDQUF5QztJQUN6QyxNQUFNLEdBQUcsR0FDUCxHQUFHLFlBQVksR0FBRztRQUNoQixDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsRUFBRSxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDO1FBQ3JCLENBQUMsQ0FBQyxDQUFDLEVBQUUsRUFBRSxFQUFFLENBQ0wsTUFBTSxDQUFDLFNBQVMsQ0FBQyxjQUFjLENBQUMsSUFBSSxDQUFDLEdBQUcsRUFBRSxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUUsR0FBeUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLENBQUMsU0FBUyxDQUFDO0lBQ25ILE9BQU87UUFDTCxJQUFJLEVBQUUsS0FBSztRQUNYLE1BQU0sRUFBRSxDQUFDLGNBQXNCLEVBQUUsRUFBRSxDQUFDLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxjQUFjLENBQUMsSUFBSSxFQUFFLENBQUMsQ0FBQztLQUNyRSxDQUFDO0FBQ0osQ0FBQztBQUVEOzs7O0dBSUc7QUFDSCxNQUFNLFVBQVUscUJBQXFCLENBQUMsR0FBb0M7SUFDeEUsT0FBTyxPQUFPLEdBQUcsS0FBSyxVQUFVLENBQUMsQ0FBQyxDQUFDLEVBQUUsSUFBSSxFQUFFLFdBQVcsRUFBRSxNQUFNLEVBQUUsR0FBRyxFQUFFLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQztBQUM5RSxDQUFDIiwic291cmNlc0NvbnRlbnQiOlsiLyoqXG4gKiBzbGljZS9rZXlzUmVhZFNvdXJjZXMudHMg4oCUIHRoZSBzaGlwcGVkIHtAbGluayBLZXlzUmVhZFNvdXJjZX0gc3RyYXRlZ2llcy5cbiAqXG4gKiBUaGUgY2Fub25pY2FsIHN0cmF0ZWd5IGxpc3QgYW5kIHJhdGlvbmFsZSBsaXZlIG9uIHRoZSBLZXlzUmVhZFNvdXJjZSB0eXBlXG4gKiAodHlwZXMudHMpIOKAlCB0aGUgZG9jIGNvbnN1bWVycyBob3Zlci4gVGhpcyBmaWxlIGhvbGRzIHRoZSBpbXBsZW1lbnRhdGlvbnMuXG4gKlxuICogRGVsaWJlcmF0ZWx5IE5PVCBoZXJlOiBhIFF1YWxpdHlSZWNvcmRlciBhZGFwdGVyLiBJbXBvcnRpbmcgcmVjb3JkZXIvIHdvdWxkXG4gKiBkcmFnIHRoaXMgbGVhZiBsaWJyYXJ5IHVwIHRoZSBkZXBlbmRlbmN5IERBRy4gVGhlIGFkYXB0ZXIgaXMgYSBvbmUtbGluZXIgYXRcbiAqIHRoZSBjYWxsIHNpdGUgaW5zdGVhZDogYChpZCkgPT4gcmVjb3JkZXIuZ2V0QnlLZXkoaWQpPy5rZXlzUmVhZCA/PyBbXWAuXG4gKi9cblxuaW1wb3J0IHR5cGUgeyBLZXlzUmVhZExvb2t1cCB9IGZyb20gJy4uL21lbW9yeS9iYWNrdHJhY2suanMnO1xuaW1wb3J0IHR5cGUgeyBFeGVjdXRpb25UcmVlIH0gZnJvbSAnLi4vbWVtb3J5L3R5cGVzLmpzJztcbmltcG9ydCB0eXBlIHsgS2V5c1JlYWRTb3VyY2UgfSBmcm9tICcuL3R5cGVzLmpzJztcblxuLyoqXG4gKiBQb3N0LWhvYyByZWFkcyBmcm9tIGEgZmluaXNoZWQgcnVuJ3MgZXhlY3V0aW9uIHRyZWUg4oCUIFpFUk8gc2V0dXAuXG4gKlxuICogV0hZIHRoaXMgd29ya3M6IGEgc3RhZ2UncyBgc3RhZ2VSZWFkc2AgcmVjb3JkcyB0aGUga2V5cyBpdFxuICogdHJhY2tlZC1yZWFkIHdoZW5ldmVyIHRoZSBgcmVhZFRyYWNraW5nYCBkaWFsIOKJoCAnb2ZmJyAoJ2Z1bGwnIGlzIHRoZVxuICogZW5naW5lIGRlZmF1bHQ7ICdzdW1tYXJ5JyByZXBsYWNlcyBWQUxVRVMgd2l0aCBtYXJrZXJzIGJ1dCBrZWVwcyB0aGVcbiAqIEtFWVMg4oCUIGFuZCBrZXlzIGFyZSBhbGwgYSBzbGljZSBuZWVkcykuIFVuZGVyICdvZmYnIHRoaXMgc291cmNlIHJldHVybnNcbiAqIGVtcHR5IHJlYWQtc2V0cyDigJQgZGV0ZWN0YWJsZSB2aWEgYGNvdmVyYWdlLnN0ZXBzV2l0aFJlYWRzID09PSAwYCwgd2hpY2hcbiAqIGBzbGljZUZvcktleWAgY29waWVzIG9udG8gdGhlIHNsaWNlIHNvIHRvb2xzIGNhbiBzYXkgXCJyZWFkcyB3ZXJlIG5vdFxuICogcmVjb3JkZWRcIiBpbnN0ZWFkIG9mIHRoZSBsaWUgXCJubyBkZXBlbmRlbmNpZXNcIi5cbiAqXG4gKiBTVUJGTE9XIFBBSVJJTkcgKGltcG9ydGFudCk6IGEgc3ViZmxvdyBydW5zIGluIGFuIElTT0xBVEVEIHJ1bnRpbWUg4oCUIGl0c1xuICogY29tbWl0cyBsaXZlIGluIGBzbmFwc2hvdC5zdWJmbG93UmVzdWx0c1tzZklkXS5jb21taXRMb2dgLCBpdHMgcmVhZHMgaW5cbiAqIGBzbmFwc2hvdC5zdWJmbG93UmVzdWx0c1tzZklkXS5leGVjdXRpb25UcmVlYC4gVHJlZXMgYW5kIGxvZ3MgbXVzdCBiZVxuICogcGFpcmVkIGZyb20gdGhlIFNBTUUgc2NvcGU6IHRvIHNsaWNlIGEga2V5IGluc2lkZSBhIHN1YmZsb3csIHJlLWFuY2hvclxuICogdGhlcmUg4oCUXG4gKlxuICogYGBgdHNcbiAqIGNvbnN0IHNmID0gc25hcHNob3Quc3ViZmxvd1Jlc3VsdHNbJ3NmLXRvb2xzJ107XG4gKiBzbGljZUZvcktleShzZi5jb21taXRMb2csIGtleSwga2V5c1JlYWRGcm9tRXhlY3V0aW9uVHJlZShzZi5leGVjdXRpb25UcmVlKSk7XG4gKiBgYGBcbiAqXG4gKiBQYXNzaW5nIG11bHRpcGxlIHRyZWVzIHdpZGVucyBSRUFEIHJlc29sdXRpb24gb25seSAodXNlZnVsIHdoZW4gb25lIGxvZ1xuICogZ2VudWluZWx5IHNwYW5zIHRoZW0pOyBpdCBkb2VzIG5vdCBsZXQgYSByb290LWxvZyBzbGljZSBjcm9zcyBhIHN1YmZsb3dcbiAqIG1vdW50IOKAlCBzZWUgUkVBRE1FLm1kIMKnIFN1YmZsb3cgYm91bmRhcmllcy5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIGtleXNSZWFkRnJvbUV4ZWN1dGlvblRyZWUodHJlZTogRXhlY3V0aW9uVHJlZSB8IHJlYWRvbmx5IEV4ZWN1dGlvblRyZWVbXSk6IEtleXNSZWFkU291cmNlIHtcbiAgY29uc3QgYnlTdGVwID0gbmV3IE1hcDxzdHJpbmcsIHN0cmluZ1tdPigpO1xuICBsZXQgc3RlcHMgPSAwO1xuICAvLyBUaGUgdHJlZSBpcyBhY3ljbGljIGJ5IGNvbnN0cnVjdGlvbiAobmV4dC9jaGlsZHJlbiksIGJ1dCB0aGlzIHdhbGtlciBpc1xuICAvLyBhbHNvIGhhbmRlZCBDT05TVU1FUi1wcm92aWRlZCBkYXRhIOKAlCBhIHZpc2l0ZWQgc2V0IG1ha2VzIGEgbWFsZm9ybWVkIG9yXG4gIC8vIGhhbmQtYnVpbHQgdHJlZSBhIG5vbi1ldmVudCBpbnN0ZWFkIG9mIGFuIGluZmluaXRlIGxvb3AuXG4gIGNvbnN0IHZpc2l0ZWQgPSBuZXcgU2V0PEV4ZWN1dGlvblRyZWU+KCk7XG4gIGNvbnN0IHN0YWNrOiBFeGVjdXRpb25UcmVlW10gPSBbdHJlZV0uZmxhdCgpOyAvLyBvbmUgcm9vdCwgb3Igc2V2ZXJhbCAoc3ViZmxvdyB0cmVlcyk7IGEgaG9sZSBpcyBza2lwcGVkXG4gIHdoaWxlIChzdGFjay5sZW5ndGggPiAwKSB7XG4gICAgY29uc3Qgbm9kZSA9IHN0YWNrLnBvcCgpITtcbiAgICBpZiAodmlzaXRlZC5oYXMobm9kZSkpIGNvbnRpbnVlO1xuICAgIHZpc2l0ZWQuYWRkKG5vZGUpO1xuICAgIGlmIChub2RlLnJ1bnRpbWVTdGFnZUlkKSB7XG4gICAgICBzdGVwcysrO1xuICAgICAgaWYgKG5vZGUuc3RhZ2VSZWFkcykge1xuICAgICAgICBjb25zdCBrZXlzID0gT2JqZWN0LmtleXMobm9kZS5zdGFnZVJlYWRzKTtcbiAgICAgICAgaWYgKGtleXMubGVuZ3RoID4gMCkgYnlTdGVwLnNldChub2RlLnJ1bnRpbWVTdGFnZUlkLCBrZXlzKTtcbiAgICAgIH1cbiAgICB9XG4gICAgaWYgKG5vZGUubmV4dCkgc3RhY2sucHVzaChub2RlLm5leHQpO1xuICAgIGlmIChub2RlLmNoaWxkcmVuKSBmb3IgKGNvbnN0IGMgb2Ygbm9kZS5jaGlsZHJlbikgc3RhY2sucHVzaChjKTtcbiAgfVxuICByZXR1cm4ge1xuICAgIGtpbmQ6ICdleGVjdXRpb24tdHJlZScsXG4gICAgbG9va3VwOiAocnVudGltZVN0YWdlSWQ6IHN0cmluZykgPT4gYnlTdGVwLmdldChydW50aW1lU3RhZ2VJZCkgPz8gW10sXG4gICAgY292ZXJhZ2U6IHsgc3RlcHMsIHN0ZXBzV2l0aFJlYWRzOiBieVN0ZXAuc2l6ZSB9LFxuICB9O1xufVxuXG4vKipcbiAqIFJlYWRzIGZyb20gYSBwcmVidWlsdCBtYXAg4oCUIGUuZy4gY29sbGVjdGVkIGxpdmUgZnJvbVxuICogYFNjb3BlUmVjb3JkZXIub25SZWFkYCBldmVudHMsIG9yIGRlc2VyaWFsaXplZCBmcm9tIGEgc3RvcmVkIHRyYWNlLlxuICovXG5leHBvcnQgZnVuY3Rpb24ga2V5c1JlYWRGcm9tTWFwKFxuICBtYXA6IFJlYWRvbmx5TWFwPHN0cmluZywgcmVhZG9ubHkgc3RyaW5nW10+IHwgUmVhZG9ubHk8UmVjb3JkPHN0cmluZywgcmVhZG9ubHkgc3RyaW5nW10+Pixcbik6IEtleXNSZWFkU291cmNlIHtcbiAgLy8gT3duLXByb3BlcnR5IGd1YXJkIG9uIHRoZSBvYmplY3QgZm9ybTogcnVudGltZVN0YWdlSWRzIGFyZSBjb25zdW1lci1cbiAgLy8gaW5mbHVlbmNlZCBzdHJpbmdzOyB3aXRob3V0IGl0LCBhbiBpZCBsaWtlICdjb25zdHJ1Y3Rvcicgd291bGQgcmVhZFxuICAvLyB0aHJvdWdoIHRoZSBwcm90b3R5cGUgY2hhaW4gKHRoZSBzYW1lIGhhcmRlbmluZyBwb3N0dXJlIGFzIHRoZSBlbmdpbmUnc1xuICAvLyBuYXRpdmVHZXQvcHJvdG90eXBlLXBvbGx1dGlvbiBndWFyZHMpLlxuICBjb25zdCBnZXQ6IChpZDogc3RyaW5nKSA9PiByZWFkb25seSBzdHJpbmdbXSB8IHVuZGVmaW5lZCA9XG4gICAgbWFwIGluc3RhbmNlb2YgTWFwXG4gICAgICA/IChpZCkgPT4gbWFwLmdldChpZClcbiAgICAgIDogKGlkKSA9PlxuICAgICAgICAgIE9iamVjdC5wcm90b3R5cGUuaGFzT3duUHJvcGVydHkuY2FsbChtYXAsIGlkKSA/IChtYXAgYXMgUmVjb3JkPHN0cmluZywgcmVhZG9ubHkgc3RyaW5nW10+KVtpZF0gOiB1bmRlZmluZWQ7XG4gIHJldHVybiB7XG4gICAga2luZDogJ21hcCcsXG4gICAgbG9va3VwOiAocnVudGltZVN0YWdlSWQ6IHN0cmluZykgPT4gWy4uLihnZXQocnVudGltZVN0YWdlSWQpID8/IFtdKV0sXG4gIH07XG59XG5cbi8qKlxuICogTm9ybWFsaXplIHRoZSBlcmdvbm9taWMgdW5pb246IGNhbGxlcnMgbWF5IHBhc3MgYSBmdWxsIHN0cmF0ZWd5IG9iamVjdCBvclxuICogYSBiYXJlIGxvb2t1cCBmdW5jdGlvbiAod3JhcHBlZCBhcyBraW5kICdjdXN0b20tZm4nIHNvIHRoZSBob25lc3R5XG4gKiBicmVhZGNydW1iIHN0aWxsIHNheXMgd2hlcmUgcmVhZHMgY2FtZSBmcm9tKS5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIHJlc29sdmVLZXlzUmVhZFNvdXJjZShzcmM6IEtleXNSZWFkU291cmNlIHwgS2V5c1JlYWRMb29rdXApOiBLZXlzUmVhZFNvdXJjZSB7XG4gIHJldHVybiB0eXBlb2Ygc3JjID09PSAnZnVuY3Rpb24nID8geyBraW5kOiAnY3VzdG9tLWZuJywgbG9va3VwOiBzcmMgfSA6IHNyYztcbn1cbiJdfQ==

package/dist/esm/lib/slice/serialize.d.ts

@@ -1,78 +0,0 @@
-/**
- * slice/serialize.ts — JSON-safe and LLM-safe projections of a slice.
- *
- * WHY (the failure this prevents): `VariableSlice.root` is an in-memory DAG.
- * Nodes are SHARED — a diamond ancestor is one object reached through many
- * paths, and each node appears in both `parents` and `parentEdges[].parent`.
- * `JSON.stringify` knows nothing about sharing: it re-serializes every shared
- * subtree per path, which explodes combinatorially on diamond-heavy slices.
- * The two consumers that would naively stringify are exactly the ones this
- * library exists for — wire transfer (persist / send a slice) and LLM tools
- * (bounded context). Each gets a purpose-built projection:
- *
- * - {@link sliceToJSON}   — flat, id-referenced, LINEAR in node count.
- * - {@link formatSlice}   — one bounded human/LLM-readable string that also
- *   renders the honesty envelope (missing reason, reads coverage, truncation)
- *   a raw `formatCausalChain` doesn't know about.
- *
- * The FORWARD half has exactly the same hazard and the same two projections:
- * {@link forwardSliceToJSON} / {@link formatForwardSlice}. A forward DAG
- * shares nodes just as readily — two values read by one stage feed the same
- * child write — so a forward root must never be stringified either.
- *
- * {@link KeyTimeline} is the deliberate exception, stated so nobody adds a
- * pointless twin: it is a FLAT list of plain fields holding no live
- * references and no sharing, so `JSON.stringify(timeline)` is already
- * correct and linear. What it still needs is the bounded LLM projection —
- * {@link formatTimeline} — because "the whole life of a key" is unbounded in
- * a long run.
- */
-import type { ForwardSlice, ForwardSliceJSON, KeyTimeline, SliceJSON, VariableSlice } from './types.js';
-/**
- * Flat, JSON-safe projection: every DAG node exactly once (keyed by
- * runtimeStageId), edges as id references. Linear in node count — safe to
- * persist, send, or feed to structured consumers. Lossless for everything
- * except the in-memory object graph itself (rebuild adjacency from `edges`).
- */
-export declare function sliceToJSON(slice: VariableSlice): SliceJSON;
-/**
- * One bounded string for LLM triage tools (the `traceToolpack` consumption
- * pattern: tools return plain strings, never recursive objects). Wraps
- * `formatCausalChain` (which is budget-bounded by causalChain's
- * maxDepth/maxNodes and renders shared nodes once as `↳ … (see above)`),
- * and adds the honesty envelope the raw chain doesn't carry:
- *
- * - missing slices render their reason ("value came from initial state /
- *   frozen args / a closure — the commit log cannot see those"),
- * - a reads-less provider (`readTracking: 'off'` signature) renders an
- *   explicit "⚠ reads were not recorded" instead of silently showing an
- *   anchor with no dependencies,
- * - truncation footers pass through from formatCausalChain.
- */
-export declare function formatSlice(slice: VariableSlice): string;
-/**
- * Flat, JSON-safe projection of a {@link ForwardSlice} — the forward twin of
- * {@link sliceToJSON}, linear in node count.
- *
- * Node ids are OPAQUE (`n0`, `n1`, … in BFS order) rather than
- * `runtimeStageId` as in `SliceJSON`, for a structural reason: a forward
- * node is a (key, write) pair, so ONE stage that wrote two keys owns two
- * nodes and a runtimeStageId cannot key the map. Never parse the ids — join
- * on `runtimeStageId` / `commitIdx` / `key`, which every node carries.
- */
-export declare function forwardSliceToJSON(slice: ForwardSlice): ForwardSliceJSON;
-/**
- * One bounded string for LLM triage tools — the forward twin of
- * {@link formatSlice}. Shared nodes render once (`↳ … (see above)`, the same
- * convention `formatCausalChain` uses), read lists are capped, and every
- * honesty note renders as a `⚠` line — including the one that says a `fed`
- * edge is conservative, which is why edges print `[exact]` / `[conservative]`
- * rather than looking alike.
- */
-export declare function formatForwardSlice(slice: ForwardSlice): string;
-/**
- * One bounded string for a {@link KeyTimeline} — the LLM/human projection.
- * (The timeline's JSON needs no helper: it is already flat and JSON-safe —
- * see the file header.) Truncation is stated, never silent.
- */
-export declare function formatTimeline(timeline: KeyTimeline): string;