wingfoil 0.2.2 → 0.3.0

package/dist/agent/run-log.js

@@ -0,0 +1,612 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RUN_TOKEN_KEYS = exports.RUN_RECORD_KEYS = exports.ADHOC_PHASE = exports.NO_WORKFLOW = exports.NOT_REPORTED = void 0;
+exports.isRunId = isRunId;
+exports.runIdElementId = runIdElementId;
+exports.formatRunId = formatRunId;
+exports.serializeRunRecord = serializeRunRecord;
+exports.parseRunLog = parseRunLog;
+exports.readRunLogAt = readRunLogAt;
+exports.runLogDirPrefix = runLogDirPrefix;
+exports.isRunLogPath = isRunLogPath;
+exports.readRunLogsAt = readRunLogsAt;
+exports.resolveRunLogPath = resolveRunLogPath;
+exports.requireWritableRunLog = requireWritableRunLog;
+exports.runLogPreflight = runLogPreflight;
+exports.nextRunId = nextRunId;
+exports.executionNotesSection = executionNotesSection;
+exports.notesField = notesField;
+exports.deriveNotesField = deriveNotesField;
+exports.recordSubject = recordSubject;
+exports.recordRun = recordRun;
+/**
+ * The run log (task-206, `spec-016` §4): one JSON Lines record per agent run, in one file per element
+ * under `dna.yaml` `paths.runs`, committed on its own as `agent: record <run-id>`.
+ *
+ * This is the library `agent execute` (task-228), `agent list` (task-240) and `agent show` (task-220)
+ * build on. It owns:
+ * - the 18-key record of §4.2, written in a fixed key order with no insignificant whitespace, where an
+ *   unreported value is the literal {@link NOT_REPORTED}, never `0` or `null` (`dl-114` Q2 (b), Q3 (i));
+ * - the run id `<element-id>/<phase>/<n>` of §4.3, `n` counted at `state_ref` (`dl-135` Q3 (a)), so
+ *   every clone derives the same id from the same history (`REQ-SYS-07`);
+ * - the strict reader of §4.5, which every reader goes through;
+ * - the §4.4 commit, which contains only the element's run-log file (`commitPaths --only`), and the
+ *   §4.3 collision rule, checked against the then-current `HEAD`;
+ * - the `notes` field (`dl-135` Q2 (c)).
+ *
+ * **Baseline.** The id is counted at `state_ref`, the collision is checked at `HEAD`, and `notes`
+ * compares the element at `state_ref` with the element at `HEAD`: all committed states, never the
+ * working tree, so notes an agent wrote but did not commit yield `none` (§4.2 key 18).
+ */
+const node_fs_1 = require("node:fs");
+const node_path_1 = require("node:path");
+const storage_1 = require("../storage");
+const id_1 = require("../validation/id");
+const confinement_1 = require("../core/confinement");
+const revision_1 = require("../core/revision");
+const types_1 = require("../core/types");
+const write_guard_1 = require("../core/write-guard");
+/** The literal of a value the agent did not report (§2.6): never `0`, `null` or an absent key. */
+exports.NOT_REPORTED = 'not-reported';
+/** `workflow` of a run with no step (§4.2 key 3). */
+exports.NO_WORKFLOW = 'n/a';
+/** `phase`, and the id's phase segment, of a run with no step (§4.3; reserved by `spec-003`). */
+exports.ADHOC_PHASE = 'adhoc';
+/** The record's keys, in the order §4.2 fixes and every line carries. */
+exports.RUN_RECORD_KEYS = [
+    'id',
+    'element',
+    'workflow',
+    'phase',
+    'role',
+    'mode',
+    'agent',
+    'adapter',
+    'agent_version',
+    'model',
+    'session',
+    'tokens',
+    'wingfoil',
+    'state_ref',
+    'duration_ms',
+    'exit_status',
+    'result',
+    'notes',
+];
+/** The keys of the record's `tokens` object, in order (§4.2 key 12). */
+exports.RUN_TOKEN_KEYS = ['input', 'output', 'cache_read', 'cache_write'];
+/** A phase segment: `spec-003`'s phase-name class. */
+const PHASE_SOURCE = '[a-z][a-z0-9-]*';
+/** `n`: decimal, no padding, from 1. */
+const COUNT_SOURCE = '[1-9][0-9]*';
+const SIGNAL_RE = /^signal:[A-Z][A-Z0-9]*$/;
+/** The largest process exit code (§4.2 key 16, bug-288). */
+const MAX_EXIT_CODE = 255;
+/** `element`'s `<type>:<id>` shape (`spec-008` §7): two non-empty parts. */
+const ELEMENT_REF_RE = /^[^:\s]+:[^:\s]+$/;
+/** The element id `<type>:<id>`'s id: everything after the first `:`. */
+const elementIdOf = (element) => element.slice(element.indexOf(':') + 1);
+const escapeRegExp = (text) => text.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+/**
+ * Whether `id` is a run id of the element `elementId` (§4.3): the element id, a `/`, a phase segment
+ * in `spec-003`'s phase-name class (a lowercase letter, then lowercase letters, digits and `-`), a
+ * `/`, and a decimal count from 1 with no padding; `elementId` itself in `spec-009`'s ID class.
+ */
+function isRunId(id, elementId) {
+    if (!(0, id_1.isIdPiece)(elementId))
+        return false;
+    return new RegExp(`^${escapeRegExp(elementId)}/${PHASE_SOURCE}/${COUNT_SOURCE}$`).test(id);
+}
+/**
+ * The element id of the run id `value` (§4.3), or `null` when `value` is not a run id of any element
+ * — the parse a caller that only has the id needs (`agent show <run-id>`, task-220). An element id is
+ * in `spec-009`'s ID class, which holds no `/`, so a run id has exactly three `/`-separated segments
+ * and the first one is the element's.
+ */
+function runIdElementId(value) {
+    const segments = value.split('/');
+    if (segments.length !== 3)
+        return null;
+    const elementId = segments[0];
+    return isRunId(value, elementId) ? elementId : null;
+}
+/**
+ * The run id `<element-id>/<phase>/<n>` (§4.3).
+ *
+ * @throws Error when the result would not be a run id ({@link isRunId}): a caller passing a malformed
+ *   element id, phase or count has a defect, not a refusal to report.
+ */
+function formatRunId(elementId, phase, n) {
+    const id = `${elementId}/${phase}/${n}`;
+    if (!Number.isSafeInteger(n) || !isRunId(id, elementId))
+        throw new Error(`not a run id: '${id}'`);
+    return id;
+}
+const isNonNegativeInteger = (value) => typeof value === 'number' && Number.isSafeInteger(value) && value >= 0;
+/** Plain object, not an array and not `null`. */
+const isPlainObject = (value) => typeof value === 'object' && value !== null && !Array.isArray(value);
+/**
+ * The first difference between the keys `actual` has, in order, and `expected`: a missing, an
+ * unexpected or an out-of-order key, named with `prefix` (`tokens.` inside the token object).
+ */
+function keyOrderDefect(actual, expected, prefix = '') {
+    for (let i = 0; i < Math.max(actual.length, expected.length); i += 1) {
+        const [have, want] = [actual[i], expected[i]];
+        if (have === want)
+            continue;
+        if (have === undefined || (want !== undefined && !actual.includes(want)))
+            return `missing key '${prefix}${want}'`;
+        if (want === undefined || !expected.includes(have))
+            return `unexpected key '${prefix}${have}'`;
+        return `key '${prefix}${have}' out of order: expected '${prefix}${want}' at position ${i + 1}`;
+    }
+    return null;
+}
+/** The defect of one field's value, or `null` (§4.2 types). The token object's key order is checked here too. */
+function fieldDefect(key, value, ordered) {
+    switch (key) {
+        case 'tokens': {
+            if (!isPlainObject(value))
+                return "'tokens' must be an object";
+            const keys = Object.keys(value);
+            const order = ordered
+                ? keyOrderDefect(keys, exports.RUN_TOKEN_KEYS, 'tokens.')
+                : keyOrderDefect([...keys].sort(), [...exports.RUN_TOKEN_KEYS].sort(), 'tokens.');
+            if (order !== null)
+                return order;
+            for (const token of exports.RUN_TOKEN_KEYS) {
+                const count = value[token];
+                if (count !== exports.NOT_REPORTED && !isNonNegativeInteger(count)) {
+                    return `'tokens.${token}' must be a non-negative integer or "${exports.NOT_REPORTED}"`;
+                }
+            }
+            return null;
+        }
+        case 'duration_ms':
+            return isNonNegativeInteger(value) ? null : "'duration_ms' must be a non-negative integer";
+        case 'exit_status':
+            // A process exit code is 0–255 (bug-288): a negative or larger integer is no exit code a spawn yields.
+            return (typeof value === 'number' && Number.isSafeInteger(value) && value >= 0 && value <= MAX_EXIT_CODE) ||
+                (typeof value === 'string' && SIGNAL_RE.test(value))
+                ? null
+                : `'exit_status' must be an integer from 0 to ${MAX_EXIT_CODE} or "signal:<NAME>"`;
+        default:
+            return typeof value === 'string' ? null : `'${key}' must be a string`;
+    }
+}
+/**
+ * The first defect of `value` as a run record, or `null`. Its id must be the one its own `element` and
+ * `phase` produce.
+ *
+ * @param fileElementId - The log file's basename, which the id's element segment must equal (§4.5);
+ *   `null` for a record not read from a file.
+ * @param ordered - `true` for a line read back (§4.5: keys in the declared order); `false` for an
+ *   object a caller built, whose key order the writer fixes itself.
+ */
+function recordDefect(value, fileElementId, ordered) {
+    if (!isPlainObject(value))
+        return 'not a JSON object';
+    const keys = Object.keys(value);
+    const order = ordered
+        ? keyOrderDefect(keys, exports.RUN_RECORD_KEYS)
+        : keyOrderDefect([...keys].sort(), [...exports.RUN_RECORD_KEYS].sort());
+    if (order !== null)
+        return order;
+    for (const key of exports.RUN_RECORD_KEYS) {
+        const defect = fieldDefect(key, value[key], ordered);
+        if (defect !== null)
+            return defect;
+    }
+    const [id, element, phase] = [value.id, value.element, value.phase];
+    if (!ELEMENT_REF_RE.test(element))
+        return "'element' must be <type>:<id>";
+    if (fileElementId !== null && !isRunId(id, fileElementId)) {
+        return `'id' '${id}' is not a run id of element '${fileElementId}' (the file's basename)`;
+    }
+    // The id must be the one this record's own element and phase produce (task-206 review F6): an id
+    // that disagrees is counted under another (element, phase) and wedges every later run of its own.
+    if (!isRunId(id, elementIdOf(element)) || !id.startsWith(`${elementIdOf(element)}/${phase}/`)) {
+        return `'id' '${id}' does not match element '${element}' and phase '${phase}'`;
+    }
+    return null;
+}
+/** `record` as an object whose keys, and whose token keys, are in §4.2 order. */
+function ordered(record) {
+    const out = {};
+    for (const key of exports.RUN_RECORD_KEYS) {
+        out[key] = key === 'tokens' ? Object.fromEntries(exports.RUN_TOKEN_KEYS.map((token) => [token, record.tokens[token]])) : record[key];
+    }
+    return out;
+}
+/**
+ * The record as its log line (§4.2): one JSON object, keys in {@link RUN_RECORD_KEYS} order whatever
+ * order `record` was built in, no insignificant whitespace, `\n`-terminated.
+ *
+ * The record is validated first, with the reader's rules except key order, so the writer can never
+ * produce a line the reader refuses: an absent key, a `null`, a fractional count is refused rather than
+ * written.
+ *
+ * @throws Error `run record is not valid: <detail>` — a caller defect.
+ */
+function serializeRunRecord(record) {
+    const defect = recordDefect(record, null, false);
+    if (defect !== null)
+        throw new Error(`run record is not valid: ${defect}`);
+    return `${JSON.stringify(ordered(record))}\n`;
+}
+/** `run log <path>: line <k> is not a valid run record: <detail>` (§4.5). */
+const invalidLine = (path, k, detail) => (0, types_1.coreErr)({ code: 'VALIDATION', message: `run log ${path}: line ${k} is not a valid run record: ${detail}` });
+/**
+ * Read a run log strictly (§4.5): every line JSON, exactly the §4.2 keys in order with valid types, an
+ * `id` whose element segment is the file's basename (`<runs>/<element-id>.jsonl`), no id twice, and each
+ * line byte for byte the writer's serialization of its record — no CR, no whitespace outside a string
+ * (bug-288).
+ * The last line must be `\n`-terminated, since an append to an unterminated line would corrupt both.
+ *
+ * @param text - The file's content.
+ * @param path - Root-relative path of the file; its basename without `.jsonl` is the element id, and it
+ *   is named in every refusal.
+ * @returns The records in line order, or `VALIDATION` with the §4.5 message for the first violation.
+ */
+function parseRunLog(text, path) {
+    const elementId = (0, node_path_1.basename)(path, '.jsonl');
+    const lines = text.split('\n');
+    const terminated = lines[lines.length - 1] === '';
+    if (terminated)
+        lines.pop();
+    const records = [];
+    const seen = new Set();
+    for (let i = 0; i < lines.length; i += 1) {
+        if (i === lines.length - 1 && !terminated)
+            return invalidLine(path, i + 1, 'not terminated by a newline');
+        let value;
+        try {
+            value = JSON.parse(lines[i]);
+        }
+        catch {
+            return invalidLine(path, i + 1, 'not JSON');
+        }
+        const defect = recordDefect(value, elementId, true);
+        if (defect !== null)
+            return invalidLine(path, i + 1, defect);
+        const record = value;
+        // The line must be exactly what the writer produces for the record it parses to (§4.2, bug-288):
+        // no CR before the newline, no whitespace outside a string. Key order is checked above, with its own
+        // message, so the comparison can only fail on those.
+        if (`${lines[i]}\n` !== serializeRunRecord(record)) {
+            return invalidLine(path, i + 1, 'not in the serialized form of spec-016 §4.2 (a CR, whitespace outside a string, or another spelling of a value)');
+        }
+        if (seen.has(record.id))
+            return (0, types_1.coreErr)({ code: 'VALIDATION', message: `run log ${path}: run id ${record.id} recorded twice` });
+        seen.add(record.id);
+        records.push(record);
+    }
+    return (0, types_1.coreOk)(records);
+}
+/**
+ * The run log `path` as commit `rev` holds it, read strictly ({@link parseRunLog}); a log the commit
+ * does not hold is no records.
+ *
+ * @returns `VALIDATION`/`NOT_FOUND` from a `rev` that is malformed or names no commit.
+ */
+function readRunLogAt(root, rev, path) {
+    let sha;
+    try {
+        sha = (0, revision_1.resolveRevision)(root, rev);
+    }
+    catch (error) {
+        if (error instanceof revision_1.RevisionError)
+            return (0, types_1.coreErr)(error.toCoreError());
+        throw error;
+    }
+    const text = (0, storage_1.readPathAtRev)(root, sha, path);
+    return text === null ? (0, types_1.coreOk)([]) : parseRunLog(text, path);
+}
+/**
+ * The run-log directory `dir` (`dna.yaml` `paths.runs`' one entry) as a root-relative POSIX path, joined
+ * as {@link resolveRunLogPath} joins it (a trailing slash, `./` or a doubled `/` changes nothing): `''` for
+ * the root itself.
+ */
+function runLogDirPrefix(root, dir) {
+    return (0, node_path_1.relative)((0, node_path_1.resolve)(root), (0, node_path_1.resolve)(root, dir.split(node_path_1.sep).join('/'))).split(node_path_1.sep).join('/');
+}
+/**
+ * Whether the root-relative `path` is a run log of the directory `prefix` ({@link runLogDirPrefix}): a
+ * `.jsonl` file directly inside it (§4.1, `<runs>/<element-id>.jsonl`). Anything else there — a README, a
+ * file in a subdirectory — is not a run log: no reader reads it, and nothing reports it (task-240 review F5).
+ */
+function isRunLogPath(prefix, path) {
+    return path.endsWith('.jsonl') && node_path_1.posix.dirname(path) === (prefix === '' ? '.' : prefix);
+}
+/**
+ * Every run log commit `sha` holds in the run-log directory `dir` (§4.1, §4.5): each `<element-id>.jsonl`
+ * directly inside it ({@link isRunLogPath}), ordered by element id in byte order — the basename without
+ * `.jsonl`, never the whole path, under which `minor-v0.3.1.jsonl` would sort before `minor-v0.3.jsonl`
+ * (task-240 review F1) — each read strictly ({@link parseRunLog}), its records in line order. The reader
+ * `agent list` lists past runs from (task-240, `spec-016` §5).
+ *
+ * `dir` is confined to the project root first (`REQ-SEC-06`), unless it is the root itself, the boundary.
+ *
+ * @param dir - `dna.yaml` `paths.runs`' one directory, non-blank.
+ * @returns The records, or the first §4.5 violation (`VALIDATION`), or a confinement refusal.
+ * @throws `StorageError` when git cannot list the commit.
+ */
+function readRunLogsAt(root, sha, dir) {
+    const prefix = runLogDirPrefix(root, dir);
+    // The root itself (`./`) is the one directory the confinement check names as outside: it is the boundary.
+    if (prefix !== '') {
+        const confined = (0, confinement_1.requireConfinedTarget)(root, dir, 'read');
+        if (!confined.ok)
+            return confined;
+    }
+    const elementOf = (path) => (0, node_path_1.basename)(path, '.jsonl');
+    const paths = (0, revision_1.listPathsAtCommit)(root, sha, prefix)
+        .filter((path) => isRunLogPath(prefix, path))
+        .sort((a, b) => Number(elementOf(a) > elementOf(b)) - Number(elementOf(a) < elementOf(b)));
+    const records = [];
+    for (const path of paths) {
+        const parsed = parseRunLog((0, storage_1.readPathAtRev)(root, sha, path) ?? '', path);
+        if (!parsed.ok)
+            return parsed;
+        records.push(...parsed.value);
+    }
+    return (0, types_1.coreOk)(records);
+}
+/**
+ * The run-log file of `elementId` (§4.1): `<runs>/<element-id>.jsonl`, joined as a path (a trailing
+ * slash, `./` or a doubled `/` in `paths.runs` changes nothing) and confined to the project root
+ * (`REQ-SEC-06`): `paths.runs` accepts an absolute or a `../` value, so the file it names is checked
+ * where it is resolved.
+ *
+ * @param runs - `dna.yaml` `paths.runs` (one directory; absent when undeclared).
+ * @param action - The verb of the confinement refusal (`cannot <action> '<path>'`): `write` for the
+ *   recorder, `read` for a reader that opens the working tree's file (`agent show`'s hint, task-220).
+ * @returns The root-relative POSIX path, or `VALIDATION`: `dna.yaml declares no run log (paths.runs)`
+ *   (`NO_RUN_LOG`, §3.7) for an absent or blank value; a confinement refusal; an element id outside
+ *   `spec-009`'s ID class.
+ */
+function resolveRunLogPath(root, runs, elementId, action = 'write') {
+    const dir = runs?.[0];
+    if (dir === undefined || dir.trim() === '') {
+        return (0, types_1.coreErr)({ code: 'VALIDATION', message: 'dna.yaml declares no run log (paths.runs)' });
+    }
+    if (!(0, id_1.isIdPiece)(elementId)) {
+        return (0, types_1.coreErr)({ code: 'VALIDATION', message: `not an element id: '${elementId}'` });
+    }
+    const joined = node_path_1.posix.join(dir.split(node_path_1.sep).join('/'), `${elementId}.jsonl`);
+    const relativePath = (0, node_path_1.relative)((0, node_path_1.resolve)(root), (0, node_path_1.resolve)(root, joined)).split(node_path_1.sep).join('/');
+    // The run log is not Memory: the neutral confinement refusal, not REQ-SEC-06's Memory-entry text
+    // (task-206 review, decision 6). A textual escape and a symlinked ancestor leaving the root both fail.
+    // Confinement is checked on the configured spelling (`/etc/<id>.jsonl`), so a refusal names the
+    // target `paths.runs` gives rather than its `../` climb from the root (bug-288).
+    const confined = (0, confinement_1.requireConfinedTarget)(root, joined, action);
+    if (!confined.ok)
+        return confined;
+    return (0, types_1.coreOk)(relativePath);
+}
+/** How the write guards name the run log and its commit (`requireInspectableTarget`). */
+const RUN_LOG_CONTRACT = {
+    noun: 'run log',
+    owner: 'run record',
+    records: 'An `agent: record` commit records one run and nothing else',
+};
+/**
+ * Whether the run log `logPath` may be appended to and committed now: confined to the project root
+ * with no symlinked leaf (`requireConfinedWriteTarget`), inspectable by git — no directory on the way
+ * to it is a symbolic link, which would make an empty `git status` mean nothing
+ * (`requireInspectableTarget`, task-131) — and unmodified against `HEAD` in the index and the working
+ * tree, an untracked file included (`CONFLICT` `run log <path> has uncommitted changes`, §3.7).
+ * {@link recordRun} asks it again at step 17.
+ */
+function requireWritableRunLog(root, logPath) {
+    const confined = (0, confinement_1.requireConfinedWriteTarget)(root, logPath, 'write');
+    if (!confined.ok)
+        return confined;
+    const inspectable = (0, write_guard_1.requireInspectableTarget)(root, logPath, RUN_LOG_CONTRACT);
+    if (!inspectable.ok)
+        return inspectable;
+    if ((0, storage_1.pathPorcelainStatus)(root, logPath) !== '') {
+        return (0, types_1.coreErr)({ code: 'CONFLICT', message: `run log ${logPath} has uncommitted changes` });
+    }
+    return (0, types_1.coreOk)(undefined);
+}
+/**
+ * The run-log pre-flight of `agent execute`'s pipeline step 6 (`spec-016` §3.3), for a caller to run
+ * **before the spawn**, so a run whose record could not be committed is refused before it starts:
+ * the log is declared (`NO_RUN_LOG`), confined, inspectable and unmodified ({@link resolveRunLogPath},
+ * then {@link requireWritableRunLog}).
+ *
+ * @param runs - `dna.yaml` `paths.runs`, read at `HEAD`.
+ * @returns The root-relative run-log path the record will be committed to.
+ */
+function runLogPreflight(root, runs, elementId) {
+    const path = resolveRunLogPath(root, runs, elementId);
+    if (!path.ok)
+        return path;
+    const writable = requireWritableRunLog(root, path.value);
+    return writable.ok ? path : writable;
+}
+/**
+ * The next run id (§4.3): `<element-id>/<phase>/<n>`, `n` = 1 + the records in the log **at
+ * `state_ref`** whose `element` and `phase` match, whatever their workflow. Later commits and the
+ * working tree do not count, so two clones of the same history derive the same id.
+ *
+ * @returns The id, or the strict reader's `VALIDATION` for a log at `state_ref` it refuses.
+ */
+function nextRunId(root, input) {
+    const records = readRunLogAt(root, input.stateRef, input.logPath);
+    if (!records.ok)
+        return records;
+    const n = 1 + records.value.filter((record) => record.element === input.element && record.phase === input.phase).length;
+    return (0, types_1.coreOk)(formatRunId(elementIdOf(input.element), input.phase, n));
+}
+/** The heading line that opens the section `notes` watches (§4.2 key 18, §2.4). */
+const NOTES_HEADING = '## Execution Notes';
+const FENCE_RE = /^ {0,3}(```|~~~)/;
+const SECTION_END_RE = /^#{1,2}(?:\s|$)/;
+/**
+ * The body of the `## Execution Notes` section of a Markdown document, or `null` when it has none.
+ *
+ * The section is found by its **heading line** — a line that is exactly `## Execution Notes` — never
+ * by substring, so an inline `` `## Execution Notes` `` in prose, a YAML frontmatter value or
+ * `## Triage & Execution Notes` is not it. It runs to the next level-1 or level-2 heading, or the end;
+ * lines inside a fenced code block are not headings. CRLF reads as LF.
+ */
+function executionNotesSection(markdown) {
+    const lines = markdown.replace(/\r\n/g, '\n').split('\n');
+    if (lines[lines.length - 1] === '')
+        lines.pop();
+    let i = 0;
+    if (lines[0] === '---') {
+        const close = lines.indexOf('---', 1);
+        i = close === -1 ? lines.length : close + 1;
+    }
+    let fenced = false;
+    let start = -1;
+    for (; i < lines.length; i += 1) {
+        const line = lines[i];
+        if (FENCE_RE.test(line)) {
+            fenced = !fenced;
+            continue;
+        }
+        if (fenced)
+            continue;
+        if (start === -1) {
+            if (line === NOTES_HEADING)
+                start = i + 1;
+        }
+        else if (SECTION_END_RE.test(line)) {
+            break;
+        }
+    }
+    if (start === -1)
+        return null;
+    return lines.slice(start, i).map((line) => `${line}\n`).join('');
+}
+/**
+ * The record's `notes` (§4.2 key 18, `dl-135` Q2 (c)): `<element-id>#execution-notes` when the
+ * element's `## Execution Notes` section differs between `state_ref` and `HEAD`, else `none`. Always
+ * `none` for a type whose template has no such section.
+ */
+function notesField(elementId, input) {
+    if (input.template === null || executionNotesSection(input.template) === null)
+        return 'none';
+    const before = input.atStateRef === null ? null : executionNotesSection(input.atStateRef);
+    const after = input.atHead === null ? null : executionNotesSection(input.atHead);
+    return before === after ? 'none' : `${elementId}#execution-notes`;
+}
+/**
+ * {@link notesField} over git: the template and the element at `HEAD`, the element at `state_ref`.
+ * Committed states only, so notes left uncommitted yield `none`.
+ */
+function deriveNotesField(root, input) {
+    return notesField(input.elementId, {
+        template: (0, storage_1.readPathAtRev)(root, 'HEAD', input.templatePath),
+        atStateRef: (0, storage_1.readPathAtRev)(root, input.stateRef, input.elementPath),
+        atHead: (0, storage_1.readPathAtRev)(root, 'HEAD', input.elementPath),
+    });
+}
+/** The subject of the commit that records the run `runId` (§4.4): `agent: record <run-id>`, outside `wf()`. */
+function recordSubject(runId) {
+    return `agent: record ${runId}`;
+}
+/** The record as the `details` of a refusal that loses it: one `dl-055` detail line, the JSON line. */
+const recordDetails = (record, line) => ({
+    run_id: record.id,
+    record,
+    issues: [{ detail: line.replace(/\n$/, '') }],
+});
+/**
+ * `text` on one line with both spellings of the project root removed (`<root>/x` → `x`, a bare root →
+ * `.`), so a filesystem error's absolute path does not reach the operator.
+ */
+function withoutRoot(root, text) {
+    let detail = text;
+    const spellings = [(0, node_path_1.resolve)(root), (0, node_fs_1.realpathSync)(root)].sort((a, b) => b.length - a.length);
+    for (const spelling of spellings)
+        detail = detail.split(`${spelling}${node_path_1.sep}`).join('').split(spelling).join('.');
+    return detail
+        .split('\n')
+        .map((part) => part.trim())
+        .filter((part) => part !== '')
+        .join('; ');
+}
+/**
+ * The cause a failed record commit names: git's (or a hook's) explanation on one line with the project
+ * root removed (`CommitFailure.gitDetail`, task-210), plus the index problem when the index entry could
+ * not be put back.
+ */
+function commitCause(failure) {
+    return failure.indexProblem === undefined
+        ? failure.gitDetail
+        : `${failure.gitDetail} (the index entry could not be put back: ${failure.indexProblem}; check it with git status)`;
+}
+/**
+ * Append `record` to its run log and commit it (§4.4, §4.3 collision, §3.7).
+ *
+ * The commit contains only `logPath` (`commitPaths`, `--only`): the agent's uncommitted and staged
+ * edits elsewhere stay as they are. Its subject is `agent: record <run-id>`, outside the `wf()`
+ * grammar because the run log is not Memory, and `commitPaths` adds `dl-111`'s `WingFoil-Version:`
+ * trailer; there is no other body.
+ *
+ * Refusals, in order, none of which writes anything:
+ * - `VALIDATION` — `record` is not a valid record, including an id that is not the one its own
+ *   `element` and `phase` produce (no `details`: there is no line to give back);
+ * - every later refusal carries the record as a `details` line, so the run is not lost (§3.7, §4.3):
+ *   `VALIDATION` for a record not of this log's element (its id's element segment is not the file's
+ *   basename), a log path that leaves the project root, is a symlink, or lies beyond a symlinked
+ *   directory; `CONFLICT` `run log <path> has uncommitted changes` ({@link requireWritableRunLog});
+ *   the strict reader's `VALIDATION` for the log at `HEAD`; `CONFLICT` `run id <run-id> already
+ *   recorded at HEAD`.
+ *
+ * The append and the commit go through `writeAndCommit` (task-210): under a dry run the commit is
+ * planned and nothing is written. A commit git refuses (a hook, a held `index.lock`, …) is `IO` `run
+ * <run-id> not recorded: <cause>` with the record as a `details` line, the cause naming no absolute
+ * path; the file, any directory the append created, and the index entry are put back as they were. A
+ * write the filesystem refuses (`EACCES`, `ENOSPC`) is the same `IO` refusal, the record kept.
+ */
+function recordRun(root, logPath, record) {
+    let line;
+    try {
+        line = serializeRunRecord(record);
+    }
+    catch (error) {
+        return (0, types_1.coreErr)({ code: 'VALIDATION', message: error.message });
+    }
+    // From here on every refusal carries the record, so the run is never lost (§3.7, §4.3; review F3).
+    const keep = (error) => (0, types_1.coreErr)({ ...error, details: recordDetails(record, line) });
+    const elementId = (0, node_path_1.basename)(logPath, '.jsonl');
+    if (!isRunId(record.id, elementId)) {
+        return keep({
+            code: 'VALIDATION',
+            message: `run log ${logPath}: run id ${record.id} is not a run id of element '${elementId}' (the file's basename)`,
+        });
+    }
+    const writable = requireWritableRunLog(root, logPath);
+    if (!writable.ok)
+        return keep(writable.error);
+    const atHead = (0, storage_1.readPathAtRev)(root, 'HEAD', logPath);
+    const existing = atHead === null ? (0, types_1.coreOk)([]) : parseRunLog(atHead, logPath);
+    if (!existing.ok)
+        return keep(existing.error);
+    if (existing.value.some((recorded) => recorded.id === record.id)) {
+        return keep({ code: 'CONFLICT', message: `run id ${record.id} already recorded at HEAD` });
+    }
+    const message = recordSubject(record.id);
+    try {
+        // task-210's primitive: plans instead of writing under a dry run, and on a refused commit puts the
+        // file, any directory it created and the index entry back before throwing a CommitFailure.
+        const sha = (0, storage_1.writeAndCommit)(root, [{ path: logPath, content: `${atHead ?? ''}${line}` }], message);
+        return (0, types_1.coreOk)({ record, sha }, { sha, message });
+    }
+    catch (error) {
+        // The dry-run stop ends the operation with its plan; it is not a failure to report.
+        if ((0, storage_1.isDryRunActive)())
+            throw error;
+        // Anything else — git refusing the commit, or the filesystem refusing the write (EACCES, ENOSPC),
+        // which writeAndCommit rethrows as raised — loses no run: the record goes back in details (§3.7).
+        const cause = error instanceof storage_1.CommitFailure ? commitCause(error) : withoutRoot(root, error instanceof Error ? error.message : String(error));
+        return keep({ code: 'IO', message: `run ${record.id} not recorded: ${cause}` });
+    }
+}
+//# sourceMappingURL=run-log.js.map

package/dist/agent/run-log.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-log.js","sourceRoot":"","sources":["../../src/agent/run-log.ts"],"names":[],"mappings":";;;AAkIA,0BAGC;AAQD,wCAKC;AAQD,kCAIC;AA4GD,gDAIC;AAkBD,kCA6BC;AAQD,oCAUC;AAOD,0CAEC;AAOD,oCAEC;AAeD,sCAkBC;AAeD,8CAsBC;AAiBD,sDASC;AAWD,0CAKC;AAqBD,8BAKC;AAeD,sDAyBC;AAiBD,gCAKC;AAgBD,4CAMC;AAGD,sCAEC;AAiED,8BAwCC;AA7qBD;;;;;;;;;;;;;;;;;;GAkBG;AACH,qCAAuC;AACvC,yCAAoE;AAEpE,wCAA+G;AAC/G,yCAA6C;AAC7C,qDAAwF;AACxF,+CAAqF;AACrF,yCAAiF;AACjF,qDAAyF;AAEzF,kGAAkG;AACrF,QAAA,YAAY,GAAG,cAAuB,CAAC;AAEpD,qDAAqD;AACxC,QAAA,WAAW,GAAG,KAAc,CAAC;AAE1C,iGAAiG;AACpF,QAAA,WAAW,GAAG,OAAgB,CAAC;AAE5C,yEAAyE;AAC5D,QAAA,eAAe,GAAG;IAC7B,IAAI;IACJ,SAAS;IACT,UAAU;IACV,OAAO;IACP,MAAM;IACN,MAAM;IACN,OAAO;IACP,SAAS;IACT,eAAe;IACf,OAAO;IACP,SAAS;IACT,QAAQ;IACR,UAAU;IACV,WAAW;IACX,aAAa;IACb,aAAa;IACb,QAAQ;IACR,OAAO;CACC,CAAC;AAEX,wEAAwE;AAC3D,QAAA,cAAc,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,CAAU,CAAC;AAgDxF,sDAAsD;AACtD,MAAM,YAAY,GAAG,iBAAiB,CAAC;AACvC,wCAAwC;AACxC,MAAM,YAAY,GAAG,aAAa,CAAC;AACnC,MAAM,SAAS,GAAG,yBAAyB,CAAC;AAC5C,4DAA4D;AAC5D,MAAM,aAAa,GAAG,GAAG,CAAC;AAE1B,4EAA4E;AAC5E,MAAM,cAAc,GAAG,mBAAmB,CAAC;AAE3C,yEAAyE;AACzE,MAAM,WAAW,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAEzF,MAAM,YAAY,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAE3F;;;;GAIG;AACH,SAAgB,OAAO,CAAC,EAAU,EAAE,SAAiB;IACnD,IAAI,CAAC,IAAA,cAAS,EAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,OAAO,IAAI,MAAM,CAAC,IAAI,YAAY,CAAC,SAAS,CAAC,IAAI,YAAY,IAAI,YAAY,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC7F,CAAC;AAED;;;;;GAKG;AACH,SAAgB,cAAc,CAAC,KAAa;IAC1C,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;IAC/B,OAAO,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED;;;;;GAKG;AACH,SAAgB,WAAW,CAAC,SAAiB,EAAE,KAAa,EAAE,CAAS;IACrE,MAAM,EAAE,GAAG,GAAG,SAAS,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;IAClG,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,oBAAoB,GAAG,CAAC,KAAc,EAAmB,EAAE,CAC/D,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAEzE,iDAAiD;AACjD,MAAM,aAAa,GAAG,CAAC,KAAc,EAAoC,EAAE,CACzE,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAEvE;;;GAGG;AACH,SAAS,cAAc,CAAC,MAAyB,EAAE,QAA2B,EAAE,MAAM,GAAG,EAAE;IACzF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,gBAAgB,MAAM,GAAG,IAAI,GAAG,CAAC;QAClH,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,mBAAmB,MAAM,GAAG,IAAI,GAAG,CAAC;QAC/F,OAAO,QAAQ,MAAM,GAAG,IAAI,6BAA6B,MAAM,GAAG,IAAI,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;IACjG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,iHAAiH;AACjH,SAAS,WAAW,CAAC,GAAqC,EAAE,KAAc,EAAE,OAAgB;IAC1F,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;gBAAE,OAAO,4BAA4B,CAAC;YAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChC,MAAM,KAAK,GAAG,OAAO;gBACnB,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,sBAAc,EAAE,SAAS,CAAC;gBACjD,CAAC,CAAC,cAAc,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,sBAAc,CAAC,CAAC,IAAI,EAAE,EAAE,SAAS,CAAC,CAAC;YAC5E,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACjC,KAAK,MAAM,KAAK,IAAI,sBAAc,EAAE,CAAC;gBACnC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC3B,IAAI,KAAK,KAAK,oBAAY,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC3D,OAAO,WAAW,KAAK,wCAAwC,oBAAY,GAAG,CAAC;gBACjF,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,aAAa;YAChB,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,8CAA8C,CAAC;QAC7F,KAAK,aAAa;YAChB,uGAAuG;YACvG,OAAO,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,aAAa,CAAC;gBACvG,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpD,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,8CAA8C,aAAa,qBAAqB,CAAC;QACvF;YACE,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,oBAAoB,CAAC;IAC1E,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,YAAY,CAAC,KAAc,EAAE,aAA4B,EAAE,OAAgB;IAClF,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,mBAAmB,CAAC;IACtD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,OAAO;QACnB,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,uBAAe,CAAC;QACvC,CAAC,CAAC,cAAc,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,uBAAe,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAClE,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACjC,KAAK,MAAM,GAAG,IAAI,uBAAe,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC;IACrC,CAAC;IACD,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAY,EAAE,KAAK,CAAC,OAAiB,EAAE,KAAK,CAAC,KAAe,CAAC,CAAC;IAClG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,+BAA+B,CAAC;IAC1E,IAAI,aAAa,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,CAAC;QAC1D,OAAO,SAAS,EAAE,iCAAiC,aAAa,yBAAyB,CAAC;IAC5F,CAAC;IACD,iGAAiG;IACjG,kGAAkG;IAClG,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC9F,OAAO,SAAS,EAAE,6BAA6B,OAAO,gBAAgB,KAAK,GAAG,CAAC;IACjF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAGD,iFAAiF;AACjF,SAAS,OAAO,CAAC,MAAiB;IAChC,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,GAAG,IAAI,uBAAe,EAAE,CAAC;QAClC,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,sBAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC/H,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,kBAAkB,CAAC,MAAiB;IAClD,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,MAAM,EAAE,CAAC,CAAC;IAC3E,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC;AAChD,CAAC;AAED,6EAA6E;AAC7E,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,CAAS,EAAE,MAAc,EAAqB,EAAE,CACjF,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,WAAW,IAAI,UAAU,CAAC,+BAA+B,MAAM,EAAE,EAAE,CAAC,CAAC;AAE9G;;;;;;;;;;;GAWG;AACH,SAAgB,WAAW,CAAC,IAAY,EAAE,IAAY;IACpD,MAAM,SAAS,GAAG,IAAA,oBAAQ,EAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;IAClD,IAAI,UAAU;QAAE,KAAK,CAAC,GAAG,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU;YAAE,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,6BAA6B,CAAC,CAAC;QAC1G,IAAI,KAAc,CAAC;QACnB,IAAI,CAAC;YACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;QAChC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QACpD,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,KAAkB,CAAC;QAClC,iGAAiG;QACjG,qGAAqG;QACrG,qDAAqD;QACrD,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,IAAI,KAAK,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;YACpD,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,iHAAiH,CAAC,CAAC;QACrJ,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAAE,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,WAAW,IAAI,YAAY,MAAM,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC;QAChI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,IAAA,cAAM,EAAC,OAAO,CAAC,CAAC;AACzB,CAAC;AAED;;;;;GAKG;AACH,SAAgB,YAAY,CAAC,IAAY,EAAE,GAAW,EAAE,IAAY;IAClE,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,IAAA,0BAAe,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,wBAAa;YAAE,OAAO,IAAA,eAAO,EAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;QACxE,MAAM,KAAK,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,IAAA,uBAAa,EAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC5C,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAA,cAAM,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAC9D,CAAC;AAED;;;;GAIG;AACH,SAAgB,eAAe,CAAC,IAAY,EAAE,GAAW;IACvD,OAAO,IAAA,oBAAQ,EAAC,IAAA,mBAAO,EAAC,IAAI,CAAC,EAAE,IAAA,mBAAO,EAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,eAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,eAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/F,CAAC;AAED;;;;GAIG;AACH,SAAgB,YAAY,CAAC,MAAc,EAAE,IAAY;IACvD,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,iBAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAC3F,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAgB,aAAa,CAAC,IAAY,EAAE,GAAW,EAAE,GAAW;IAClE,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC1C,0GAA0G;IAC1G,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;QAClB,MAAM,QAAQ,GAAG,IAAA,mCAAqB,EAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC1D,IAAI,CAAC,QAAQ,CAAC,EAAE;YAAE,OAAO,QAAQ,CAAC;IACpC,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAA,oBAAQ,EAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,IAAA,4BAAiB,EAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC;SAC/C,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;SAC5C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7F,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAA,uBAAa,EAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;QACvE,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO,MAAM,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,IAAA,cAAM,EAAC,OAAO,CAAC,CAAC;AACzB,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAgB,iBAAiB,CAC/B,IAAY,EACZ,IAAmC,EACnC,SAAiB,EACjB,SAA2B,OAAO;IAElC,MAAM,GAAG,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3C,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,2CAA2C,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,CAAC,IAAA,cAAS,EAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,uBAAuB,SAAS,GAAG,EAAE,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,MAAM,GAAG,iBAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,eAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,SAAS,QAAQ,CAAC,CAAC;IAC1E,MAAM,YAAY,GAAG,IAAA,oBAAQ,EAAC,IAAA,mBAAO,EAAC,IAAI,CAAC,EAAE,IAAA,mBAAO,EAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,eAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzF,iGAAiG;IACjG,uGAAuG;IACvG,gGAAgG;IAChG,iFAAiF;IACjF,MAAM,QAAQ,GAAG,IAAA,mCAAqB,EAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7D,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAC;IAClC,OAAO,IAAA,cAAM,EAAC,YAAY,CAAC,CAAC;AAC9B,CAAC;AAED,yFAAyF;AACzF,MAAM,gBAAgB,GAAwB;IAC5C,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,YAAY;IACnB,OAAO,EAAE,4DAA4D;CACtE,CAAC;AAEF;;;;;;;GAOG;AACH,SAAgB,qBAAqB,CAAC,IAAY,EAAE,OAAe;IACjE,MAAM,QAAQ,GAAG,IAAA,wCAA0B,EAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAC;IAClC,MAAM,WAAW,GAAG,IAAA,sCAAwB,EAAC,IAAI,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;IAC9E,IAAI,CAAC,WAAW,CAAC,EAAE;QAAE,OAAO,WAAW,CAAC;IACxC,IAAI,IAAA,6BAAmB,EAAC,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;QAC9C,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,OAAO,0BAA0B,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,OAAO,IAAA,cAAM,EAAC,SAAS,CAAC,CAAC;AAC3B,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,eAAe,CAAC,IAAY,EAAE,IAAmC,EAAE,SAAiB;IAClG,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,OAAO,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;AACvC,CAAC;AAcD;;;;;;GAMG;AACH,SAAgB,SAAS,CAAC,IAAY,EAAE,KAAqB;IAC3D,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAClE,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC;IAChC,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;IACxH,OAAO,IAAA,cAAM,EAAC,WAAW,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,mFAAmF;AACnF,MAAM,aAAa,GAAG,oBAAoB,CAAC;AAC3C,MAAM,QAAQ,GAAG,kBAAkB,CAAC;AACpC,MAAM,cAAc,GAAG,iBAAiB,CAAC;AAEzC;;;;;;;GAOG;AACH,SAAgB,qBAAqB,CAAC,QAAgB;IACpD,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE;QAAE,KAAK,CAAC,GAAG,EAAE,CAAC;IAChD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACtC,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACf,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACvB,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,GAAG,CAAC,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,MAAM;YAAE,SAAS;QACrB,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YACjB,IAAI,IAAI,KAAK,aAAa;gBAAE,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5C,CAAC;aAAM,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9B,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACnE,CAAC;AAYD;;;;GAIG;AACH,SAAgB,UAAU,CAAC,SAAiB,EAAE,KAAsB;IAClE,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC7F,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC1F,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACjF,OAAO,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,SAAS,kBAAkB,CAAC;AACpE,CAAC;AAYD;;;GAGG;AACH,SAAgB,gBAAgB,CAAC,IAAY,EAAE,KAA4B;IACzE,OAAO,UAAU,CAAC,KAAK,CAAC,SAAS,EAAE;QACjC,QAAQ,EAAE,IAAA,uBAAa,EAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC;QACzD,UAAU,EAAE,IAAA,uBAAa,EAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC;QAClE,MAAM,EAAE,IAAA,uBAAa,EAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC;KACvD,CAAC,CAAC;AACL,CAAC;AAED,+GAA+G;AAC/G,SAAgB,aAAa,CAAC,KAAa;IACzC,OAAO,iBAAiB,KAAK,EAAE,CAAC;AAClC,CAAC;AAQD,uGAAuG;AACvG,MAAM,aAAa,GAAG,CAAC,MAAiB,EAAE,IAAY,EAA2B,EAAE,CAAC,CAAC;IACnF,MAAM,EAAE,MAAM,CAAC,EAAE;IACjB,MAAM;IACN,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC,CAAC;AAEH;;;GAGG;AACH,SAAS,WAAW,CAAC,IAAY,EAAE,IAAY;IAC7C,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,MAAM,SAAS,GAAG,CAAC,IAAA,mBAAO,EAAC,IAAI,CAAC,EAAE,IAAA,sBAAY,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IAC1F,KAAK,MAAM,QAAQ,IAAI,SAAS;QAAE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,QAAQ,GAAG,eAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChH,OAAO,MAAM;SACV,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;SAC7B,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,OAAsB;IACzC,OAAO,OAAO,CAAC,YAAY,KAAK,SAAS;QACvC,CAAC,CAAC,OAAO,CAAC,SAAS;QACnB,CAAC,CAAC,GAAG,OAAO,CAAC,SAAS,4CAA4C,OAAO,CAAC,YAAY,6BAA6B,CAAC;AACxH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,SAAgB,SAAS,CAAC,IAAY,EAAE,OAAe,EAAE,MAAiB;IACxE,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,IAAA,eAAO,EAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAG,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,mGAAmG;IACnG,MAAM,IAAI,GAAG,CAAC,KAAgB,EAA2B,EAAE,CAAC,IAAA,eAAO,EAAC,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACxH,MAAM,SAAS,GAAG,IAAA,oBAAQ,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;YACV,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,WAAW,OAAO,YAAY,MAAM,CAAC,EAAE,gCAAgC,SAAS,yBAAyB;SACnH,CAAC,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAE9C,MAAM,MAAM,GAAG,IAAA,uBAAa,EAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAA,cAAM,EAAc,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1F,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QACjE,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,MAAM,CAAC,EAAE,2BAA2B,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACzC,IAAI,CAAC;QACH,mGAAmG;QACnG,2FAA2F;QAC3F,MAAM,GAAG,GAAG,IAAA,wBAAc,EAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,MAAM,IAAI,EAAE,GAAG,IAAI,EAAE,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;QAClG,OAAO,IAAA,cAAM,EAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,oFAAoF;QACpF,IAAI,IAAA,wBAAc,GAAE;YAAE,MAAM,KAAK,CAAC;QAClC,kGAAkG;QAClG,kGAAkG;QAClG,MAAM,KAAK,GAAG,KAAK,YAAY,uBAAa,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9I,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,MAAM,CAAC,EAAE,kBAAkB,KAAK,EAAE,EAAE,CAAC,CAAC;IAClF,CAAC;AACH,CAAC"}