@intentius/chant 0.124.45 → 0.124.48

package/dist/op/op-waves-run.js

@@ -52,13 +52,14 @@ import { execFileSync } from "node:child_process";
 import { existsSync, mkdirSync, readFileSync, rmSync, writeFileSync } from "node:fs";
 import { dirname, isAbsolute, join, posix } from "node:path";
 import { decideWaveGate, runWaveLoop, waveDigestMembers, waveSetDigest, writeWaveRecordFile, } from "../wave-engine.js";
+import { blockedMembers, blockedWords, earlierWaveOutcomes, passesThrough, readWaveOutcomeFile, waveOutcomeFileName, writeWaveOutcomeFile, } from "../wave-blocked.js";
 import { approveCommand, evaluateGate, gitGateLedgerPort } from "./gate.js";
 import { isApprovalSpent } from "../lifecycle/gate-applied.js";
 import { samePlanDigest } from "../lifecycle/plan-digest.js";
 import { isLifecycleLocalNote } from "../lifecycle/local-note.js";
 import { ciRunIdFromEnv } from "./gate-run-locator.js";
-import { quorumProblems, quorumRuleLine, quorumRulesFor, quorumWaiting, ruleNeedsProof, samePrincipal, trustQuorumJudge, } from "./gate-quorum.js";
-import { OP_WAVE_DEFAULT_APPLY, OP_WAVE_GATE_POLICIES, OP_WAVE_HOOK_MOMENTS, GATE_APPROVAL_SOURCES, assertOpWaveHooks, assertOpWavesSpec, opWaveApplyHooksRunBy, opWaveGateName, opWaveHooksAt, opWavePointAt, opWavePointProblems, opWaveRecordPath, opWaveGroupRuns, opWaveGroupsProblem, opWaveShare, } from "./op-waves.js";
+import { changeInvolvement, quorumProblems, quorumRuleLine, quorumRulesFor, quorumWaiting, recordedReviewApprovals, ruleNeedsProof, samePrincipal, trustQuorumJudge, } from "./gate-quorum.js";
+import { OP_WAVE_DEFAULT_APPLY, OP_WAVE_GATE_POLICIES, OP_WAVE_HOOK_MOMENTS, GATE_APPROVAL_SOURCES, assertOpWaveHooks, assertOpWavesSpec, opWaveApplyHooksRunBy, opWaveGateName, opWaveHooksAt, opWaveOutcomeDir, opWavePointAt, opWavePointProblems, opWaveRecordPath, opWaveGroupRuns, opWaveGroupsProblem, opWaveShare, OP_LEDGER_NAME, opWavesInvolvedProblems, } from "./op-waves.js";
 import { OP_WAVE_PENDING_RESERVED, opWaveArgv, pendingFields, readHoldRequest, runHookList, runStageHooks, runStageHooksAsync, spawnExec, spawnExecAsync, } from "./stage-hooks.js";
 export { OP_WAVE_PENDING_RESERVED, opWaveArgv, runStageHooks, runStageHooksAsync, spawnExecAsync };
 export const OP_WAVE_APPLY_OUTCOMES = ["stood-down", "held", "replan"];
@@ -141,13 +142,27 @@ export function readOpWavePolicy(specFile, name, base, cwd, show = gitShowAtBase
 }
 /** The approval rules at base (#4290), or why they cannot be read. A spec at base with none has none. */
 function quorumAtBase(spec, where) {
-    const raw = spec.approvals?.quorum;
+    const a = spec.approvals;
+    const raw = a?.quorum;
+    // #4333: where a product's reviews are, and who counts as involved, read at base with the rules.
+    const extra = {};
+    if (a?.reviewLedger !== undefined) {
+        if (typeof a.reviewLedger !== "string" || !OP_LEDGER_NAME.test(a.reviewLedger))
+            return { quorumRefused: `the approval rules in ${where} cannot be read (approvals.reviewLedger must name an op)` };
+        extra.reviewLedger = a.reviewLedger;
+    }
+    if (a?.involved !== undefined) {
+        const bad = opWavesInvolvedProblems(a.involved);
+        if (bad.length > 0)
+            return { quorumRefused: `the approval rules in ${where} cannot be read (${bad.join("; ")})` };
+        extra.involved = structuredClone(a.involved);
+    }
     if (raw === undefined)
         return {};
     const problems = Array.isArray(raw) ? quorumProblems(raw, "approvals.quorum", { notAuthor: true }) : ["`approvals.quorum` must be a list of rules"];
     if (problems.length > 0)
         return { quorumRefused: `the approval rules in ${where} cannot be read (${problems.join("; ")})` };
-    return raw.length > 0 ? { quorum: raw } : {};
+    return raw.length > 0 ? { quorum: raw, ...extra } : {};
 }
 /** The point wave `name` asks at base (#3836), or why it cannot be asked. */
 function pointAtBase(spec, name, where) {
@@ -642,12 +657,56 @@ export async function runOpWave(options) {
     const { spec } = options;
     assertOpWavesSpec(spec);
     const log = options.log ?? ((line) => console.error(line));
-    const last = spec.waves[spec.waves.length - 1];
+    const cwd = options.cwd ?? process.cwd();
+    const outcomeDir = options.outcomeDir ?? opWaveOutcomeDir(spec);
+    const dir = isAbsolute(outcomeDir) ? outcomeDir : join(cwd, outcomeDir);
+    // #4322: what the earlier jobs' outcome files say: an earlier wave that stopped stops this one, and a failure blocks its dependents.
+    const before = opWaveBefore(options, dir);
+    const blocked = before.blocked;
+    if (before.stop) {
+        log(before.stop.line);
+        const stopped = { exitCode: before.stop.exitCode, applied: [], failed: [], moved: [], hooks: [], ...(blocked.size > 0 ? { blocked: Object.fromEntries(blocked) } : {}) };
+        writeOpWaveOutcome(options, dir, stopped, before.stop.members);
+        return stopped;
+    }
+    if (blocked.size > 0)
+        log(`wave ${options.wave}: ${blockedWords(blocked)}, so not planned or applied`);
+    const mine = jobRuns(options);
+    if (mine.length > 0 && mine.every((t) => blocked.has(t))) {
+        // Every run of this job is blocked: nothing to plan, decide or apply.
+        const none = { exitCode: options.decide ? 0 : 1, applied: [], failed: [], moved: [], hooks: [], blocked: Object.fromEntries(blocked) };
+        writeOpWaveOutcome(options, dir, none);
+        return none;
+    }
+    let result;
     const applied = [];
+    try {
+        result = await runOpWaveLoop(options, log, applied, blocked);
+    }
+    catch (err) {
+        writeOpWaveOutcome(options, dir, { exitCode: 1, applied, failed: [], moved: [], hooks: [], ...(blocked.size > 0 ? { blocked: Object.fromEntries(blocked) } : {}) });
+        throw err;
+    }
+    const all = { ...Object.fromEntries(blocked), ...(result.blocked ?? {}) };
+    if (Object.keys(all).length > 0) {
+        result.blocked = all;
+        // A deciding job applies nothing; its share jobs fail for the blocked runs of their slices.
+        if (result.exitCode === 0 && !options.decide) {
+            log(`wave ${options.wave}: the runs that could apply did; ${blockedWords(new Map(Object.entries(all)))}, so this job fails`);
+            result.exitCode = 1;
+        }
+    }
+    writeOpWaveOutcome(options, dir, result);
+    return result;
+}
+/** The wave engine's loop over this module's steps, from `options.wave` on, with the runs in `skip` left out of that wave. */
+async function runOpWaveLoop(options, log, applied, skip) {
+    const { spec } = options;
+    const last = spec.waves[spec.waves.length - 1];
     const rest = [];
     const result = await runWaveLoop({
         first: options.wave,
-        plan: (at) => planOpWave(options, at),
+        plan: (at) => planOpWave(options, at, at.k === options.wave ? skip : undefined),
         // A share job applies under the digest its deciding job recorded; it does not take the set digest again.
         digest: (_at, planned) => (planned.kind === "share" ? planned.decision.digest : opWaveSetDigest(spec, planned.members, planned.extras)),
         decide: (at, planned, digest) => (planned.kind === "share" ? shareUnmoved(planned) : decideOpWave(options, at, planned, digest)),
@@ -676,6 +735,117 @@ export async function runOpWave(options) {
     });
     return { ...result, applied, ...(rest.length > 0 ? { rest } : {}) };
 }
+/**
+ * Read the outcome files under `dir` for wave `k`'s job (#4322). A wave or
+ * deciding job reads the earlier waves': with none at all (a pipeline
+ * rendered before #4322, or a job run by hand) every earlier run counts as
+ * applied, as `needs:` used to promise. An earlier run that waits at its gate
+ * stops this wave (exit 3), and one that was refused, held, stood down or
+ * moved, or whose share never reported, stops it too (exit 1): only a failure
+ * lets the waves after it go on. Otherwise a run whose `dependsOn` names a
+ * run that failed or was blocked is blocked, and so is one that depends on
+ * it. A share job reads its deciding job's file instead: the runs it blocked
+ * stay blocked, and a run that job failed on stops the share (exit 1), so a
+ * decision record it left behind before failing applies nothing.
+ */
+function opWaveBefore(options, dir) {
+    const { spec, wave: k } = options;
+    const wave = spec.waves[k - 1];
+    if (!wave)
+        return { blocked: new Map() };
+    if (options.share !== undefined || options.group !== undefined) {
+        const decided = readWaveOutcomeFile([dir], waveOutcomeFileName(k));
+        if (!decided)
+            return { blocked: new Map() };
+        const blocked = new Map();
+        const held = [];
+        for (const [target, o] of Object.entries(decided.members)) {
+            if (o.status === "blocked")
+                blocked.set(target, o.by ?? target);
+            // A wave that waits or was refused says so in its decision record, which the share reads as before.
+            else if (o.status !== "decided" && o.status !== "waiting" && o.status !== "refused")
+                held.push([target, o]);
+        }
+        if (held.length === 0)
+            return { blocked };
+        const line = `${shareLabel(options)} of wave ${k} (${wave.name}) applies nothing: its deciding job did not decide ${held.map(([t, o]) => `${t} (${o.status})`).join(", ")}`;
+        return { blocked, stop: { exitCode: 1, line, members: { ...decided.members } } };
+    }
+    if (k === 1)
+        return { blocked: new Map() };
+    const { members } = earlierWaveOutcomes([dir], k);
+    if (members.size === 0)
+        return { blocked: new Map() };
+    const held = [...members].filter(([, o]) => !passesThrough(o) && o.status !== "failed" && o.status !== "blocked");
+    if (held.length > 0) {
+        const waiting = held.filter(([, o]) => o.status === "waiting");
+        const shown = (waiting.length > 0 ? waiting : held).map(([t, o]) => `${t} (wave ${o.wave}${waiting.length > 0 ? "" : `, ${o.status}`})`).join(", ");
+        const line = waiting.length > 0
+            ? `Nothing in wave ${k} (${wave.name}) ran: ${shown} waits at its gate. Approve it and run that wave's job again, then this one.`
+            : `Nothing in wave ${k} (${wave.name}) ran: ${shown} did not apply, and only a failure lets the waves after it go on.`;
+        const status = waiting.length > 0 ? "waiting" : "not-applied";
+        return { blocked: new Map(), stop: { exitCode: waiting.length > 0 ? 3 : 1, line, members: Object.fromEntries((wave.runs ?? []).map((r) => [r.target, { status }])) } };
+    }
+    const runs = wave.runs ?? [];
+    const index = new Map(runs.map((r, i) => [r.target, i]));
+    const ownBefore = (i, dep) => (index.get(dep) ?? Infinity) < i;
+    const upstreams = new Map(runs.map((r, i) => [r.target, (r.dependsOn ?? []).filter((d) => !ownBefore(i, d))]));
+    const blocked = blockedMembers(runs.map((r) => r.target), upstreams, new Set([...upstreams.values()].flat()), members);
+    // A run listed before this one in its own wave and blocked blocks it too, by the same failure.
+    runs.forEach((run, i) => {
+        if (blocked.has(run.target))
+            return;
+        const dep = (run.dependsOn ?? []).filter((d) => ownBefore(i, d) && blocked.has(d)).sort()[0];
+        if (dep !== undefined)
+            blocked.set(run.target, blocked.get(dep));
+    });
+    return { blocked };
+}
+/** The runs of wave `options.wave` this job holds (#4322): its slice for a share job, every run otherwise. Empty for a discovering wave. */
+function jobRuns(options, runs) {
+    const wave = options.spec.waves[options.wave - 1];
+    if (!wave)
+        return [];
+    const all = runs ?? (wave.discover ? [] : wave.runs);
+    if (options.share === undefined && options.group === undefined)
+        return all.map((r) => r.target);
+    const group = options.group === undefined ? undefined : wave.jobs?.find((g) => g.name === options.group);
+    if (options.group !== undefined && !group)
+        return [];
+    const shares = group ? (group.shares ?? 1) : (wave.shares ?? 1);
+    return opWaveShare(group ? opWaveGroupRuns(group, all) : all, options.share ?? 1, shares).map((r) => r.target);
+}
+/**
+ * Write this job's outcome file (#4322): each of its runs' outcome, from how
+ * the job ended. `members`, when given, is written as it is.
+ */
+function writeOpWaveOutcome(options, dir, result, members) {
+    const out = { ...(members ?? {}) };
+    if (!members) {
+        const found = result.decision?.discovered !== undefined ? result.decision.members.map((m) => ({ target: m.member })) : undefined;
+        const targets = new Set([...jobRuns(options, found), ...result.applied, ...result.failed, ...result.moved, ...Object.keys(result.blocked ?? {})]);
+        const applied = new Set(result.applied);
+        const failed = new Set(result.failed);
+        const moved = new Set(result.moved);
+        const otherwise = result.exitCode === 0 ? (options.decide ? "decided" : "unchanged")
+            : result.exitCode === 3 ? "waiting"
+                : result.exitCode === 7 || result.exitCode === 8 ? "refused"
+                    : result.exitCode >= 4 && result.exitCode <= 6 ? "not-applied"
+                        : "failed";
+        for (const t of targets) {
+            const by = result.blocked?.[t];
+            out[t] = by !== undefined ? { status: "blocked", by } : applied.has(t) ? { status: "applied" } : failed.has(t) ? { status: "failed" } : moved.has(t) ? { status: "not-applied" } : { status: otherwise };
+        }
+    }
+    const part = { ...(options.group !== undefined ? { group: options.group } : {}), ...(options.share !== undefined ? { share: options.share } : {}) };
+    try {
+        mkdirSync(dir, { recursive: true });
+        writeWaveOutcomeFile(dir, options.wave, part, out, options.now ?? new Date().toISOString());
+    }
+    catch (err) {
+        (options.log ?? ((line) => console.error(line)))(`wave ${options.wave}: could not write its outcome file in ${dir}: ${err instanceof Error ? err.message : String(err)}`);
+    }
+}
 /** What a share or job group's job calls itself in the log: `share 2`, `job group "prod"`, `share 2 of job group "prod"`. */
 function shareLabel(options) {
     if (options.group === undefined)
@@ -691,7 +861,7 @@ export const OP_WAVE_MAX_REPLANS = 10;
  * a hook fails or holds it on another gate, or a share's decision waits or
  * was refused.
  */
-async function planOpWave(options, { k, pass }) {
+async function planOpWave(options, { k, pass }, skip) {
     const { spec } = options;
     const cwd = options.cwd ?? process.cwd();
     const exec = options.exec ?? spawnExec;
@@ -740,11 +910,15 @@ async function planOpWave(options, { k, pass }) {
             wave = { ...wave, runs: decision.members.map((m) => ({ target: m.member, ...(m.op !== spec.op ? { op: m.op } : {}) })) };
             ctx.wave = wave;
         }
-        const slice = opWaveShare(group ? opWaveGroupRuns(group, wave.runs) : wave.runs, options.share ?? 1, shares);
-        if (group && slice.length === 0) {
+        const whole = opWaveShare(group ? opWaveGroupRuns(group, wave.runs) : wave.runs, options.share ?? 1, shares);
+        if (group && whole.length === 0) {
             log(`${part} of wave ${k} (${wave.name}) holds none of the wave's runs; nothing to apply`);
             return { end: result };
         }
+        // #4322: the runs its deciding job blocked are neither planned nor applied here.
+        const slice = whole.filter((r) => !skip?.has(r.target));
+        if (slice.length === 0)
+            return { end: result };
         const before = await runBeforePlanHooks(ctx, decision.hooks, slice);
         if (before.failed)
             return { end: failed(ctx, `a hook before the plan failed, so nothing in ${part} of wave ${k} was planned or applied`) };
@@ -806,6 +980,11 @@ async function planOpWave(options, { k, pass }) {
         ...(neverOverMcp ? { neverOverMcp: true } : {}),
         ...(rules.point ? { point: { ...rules.point } } : {}),
     };
+    if (skip?.size && !wave.discover) {
+        // #4322: a run a failure blocked is neither planned nor in the set digest.
+        wave = { ...wave, runs: wave.runs.filter((r) => !skip.has(r.target)) };
+        ctx.wave = wave;
+    }
     const before = await runBeforePlanHooks(ctx, rules.hooks, wave.runs);
     if (before.failed)
         return { end: failed(ctx, `a hook before the plan failed, so nothing in wave ${k} was planned or applied`) };
@@ -876,8 +1055,13 @@ async function decideOpWave(options, { prior }, planned, digest) {
     decision.members = members;
     // #4290: the rules at base whose targets glob matches one of the wave's runs.
     const takes = planned.rules.quorum ? quorumRulesFor(planned.rules.quorum, members.map((m) => m.member)) : [];
-    if (takes.length > 0)
+    if (takes.length > 0) {
         decision.quorum = takes;
+        if (planned.rules.reviewLedger)
+            decision.reviewLedger = planned.rules.reviewLedger;
+        if (planned.rules.involved)
+            decision.involved = planned.rules.involved;
+    }
     if (extras)
         decision.extras = extras;
     if (pending)
@@ -1216,6 +1400,16 @@ async function settleGate(options, ctx, decision) {
     decision.status = "waiting";
     decision.approve = approveCommand(spec.name, gate, undefined, digest, approval === "sealed");
 }
+/** The commits after `base` up to `head`, merge commits left out, for the `Requested-by:` trailers on them (#4333). */
+const gitCommitsBetween = (cwd) => (base, head) => {
+    try {
+        const out = execFileSync("git", ["log", "--no-merges", "--format=%H%x00%B%x01", `${base}..${head}`], { cwd, encoding: "utf-8" });
+        return out.split("\x01").map((c) => c.replace(/^\n/, "")).filter((c) => c.includes("\x00")).map((c) => ({ sha: c.slice(0, c.indexOf("\x00")), message: c.slice(c.indexOf("\x00") + 1) }));
+    }
+    catch {
+        return [];
+    }
+};
 /**
  * Decide a gate under approval rules (#4290): the rules at base the wave's
  * targets take, each met by distinct human approvers of the digest. Roles
@@ -1238,7 +1432,7 @@ async function settleQuorumGate(options, ctx, decision, rules) {
     // The merged pull request: its author for notAuthor, and its review under pr-review.
     let merged = null;
     let unknown;
-    const asks = approval === "pr-review" || rules.some((r) => r.notAuthor);
+    const asks = approval === "pr-review" || rules.some((r) => r.notAuthor) || decision.involved !== undefined;
     const head = asks ? (options.head ?? execFileSync("git", ["rev-parse", "HEAD"], { cwd, encoding: "utf-8" }).trim()) : "";
     if (asks) {
         try {
@@ -1287,12 +1481,55 @@ async function settleQuorumGate(options, ctx, decision, rules) {
             }
         }
     }
-    const judge = trustQuorumJudge({
+    // #4333: reviews a product recorded itself, on the ledger the spec at base names. The ledger is
+    // the lifecycle branch's, never the change's, and proves a reviewer only under `pr-review`.
+    const principal = review.forgePrincipalFromEnv();
+    let recorded = [];
+    if (decision.reviewLedger && approval === "pr-review") {
+        const lines = (await ledger.read(decision.reviewLedger)).resolutions.filter((r) => r.gate === gate && samePlanDigest(r.planDigest, digest));
+        const read = recordedReviewApprovals(lines, principal);
+        recorded = read.reviews.filter((x) => !(spent !== undefined && isApprovalSpent(spent, { gate, planDigest: digest, review: { head: x.head } })));
+        const had = (await ledger.read(spec.name)).resolutions.filter((r) => r.gate === gate && samePlanDigest(r.planDigest, digest));
+        for (const rec of read.records) {
+            if (!rec.review || !recorded.some((x) => x.head === rec.review.head) || had.some((r) => r.review?.head === rec.review.head && samePrincipal(r.resolvedBy, rec.resolvedBy)))
+                continue;
+            await ledger.appendResolution?.({
+                ...rec,
+                op: spec.name,
+                gate,
+                timestamp: now,
+                planDigest: digest,
+                note: `approved by a review ${decision.reviewLedger} recorded for ${rec.review.head.slice(0, 12)}: ${rec.review.approvers.join(", ")}`,
+            });
+        }
+        if (recorded.length > 0)
+            log(`${label}: ${decision.reviewLedger} recorded a review of ${digest} by ${[...new Set(recorded.flatMap((x) => x.approvers))].join(", ")}`);
+    }
+    // #4333: everyone involved in the change, from the commits after base and the agents' accounts at base.
+    const involved = decision.involved || merged ? changeInvolvement({
+        ...(merged ? { author: merged.author } : {}),
+        commits: decision.involved ? (options.commits ?? gitCommitsBetween(cwd))(base, head) : [],
+        ...(decision.involved?.agents ? { agents: decision.involved.agents.map(principal) } : {}),
+        principal,
+    }) : [];
+    const said = new Set();
+    const sayExcluded = (j) => {
+        if (j.excluded !== undefined && !said.has(j.excluded)) {
+            said.add(j.excluded);
+            log(`${label}: ${j.excluded}`);
+        }
+        return j;
+    };
+    const judgeBase = trustQuorumJudge({
         signers: trust,
         roles: trust.roles,
         ...(merged ? { authors: [merged.author] } : {}),
+        ...(involved.length > 0 ? { involved } : {}),
+        ...(decision.involved?.exclude ? { excludeInvolved: true } : {}),
         ...(reviewed ? { review: reviewed } : {}),
+        ...(recorded.length > 0 ? { recorded } : {}),
     });
+    const judge = (r) => sayExcluded(judgeBase(r));
     const held = decision.heldBy?.length ? `, held by ${decision.heldBy.join(", ")}` : "";
     const check = await decideWaveGate(port, {
         op: spec.name,
@@ -1604,7 +1841,16 @@ async function applyStage(options, ctx, decision, runs, planned, earlierHolds, r
         }
     }
     else {
-        for (const run of runs) {
+        const order = new Map(runs.map((r, i) => [r.target, i]));
+        for (const [i, run] of runs.entries()) {
+            // #4322: a run listed before this one that failed, or was blocked, blocks it.
+            const dep = (run.dependsOn ?? []).filter((d) => (order.get(d) ?? Infinity) < i && (result.failed.includes(d) || result.blocked?.[d] !== undefined)).sort()[0];
+            if (dep !== undefined) {
+                const by = result.blocked?.[dep] ?? dep;
+                result.blocked = { ...result.blocked, [run.target]: by };
+                log(`${run.target}: blocked by ${by}, so not applied`);
+                continue;
+            }
             const key = run.target.replace(/[^A-Za-z0-9._-]/g, "_");
             // Under runBy "apply" each run's apply runs its own apply-stage hooks, over a runs file of that run alone.
             const runsPath = byApply ? writeRunsFile(ctx, [run], planned, decision.digest, `.chant/op-waves/${spec.name}/wave-${k}/${key}.runs.json`) : opWaveRunsPath(spec, k);

package/dist/op/op-waves.d.ts

@@ -17,8 +17,16 @@
  * (`shares` > 1) is a deciding job that plans every run and decides the gate,
  * plus `shares` jobs that each apply a slice of the runs and refuse a run
  * whose plan moved since the decision. Each wave's jobs need the previous
- * wave's last jobs, so a wave that waits (exit 3) or fails stops every later
- * wave.
+ * wave's last jobs, so a wave that waits (exit 3) stops every later wave.
+ *
+ * ## A failed run blocks its dependents (#4322)
+ *
+ * A run's `dependsOn` names the runs it needs applied first. Each job writes
+ * an outcome file ({@link OpWaveJob.outcome}, `../wave-blocked.ts`) and the
+ * next wave's jobs read every earlier one, so a run that failed blocks only
+ * the runs that depend on it, in its own wave and later ones, and the rest
+ * apply. The generated pipelines run a wave's jobs after a failure in the
+ * wave before; a job exits 1 only for its own failed or blocked runs.
  *
  * ## The gate
  *
@@ -51,6 +59,13 @@
  * in `.chant/trust.json` at base), one of them not the author with
  * `notAuthor`. See `./gate-quorum.ts`.
  *
+ * Two more settings feed those rules, read at base with them (#4333):
+ * `approvals.reviewLedger` names the op whose ledger holds the reviews a
+ * product records itself under `pr-review` (terragucci's `tf-apply`), and
+ * `approvals.involved` names the accounts an agent acts as and, with
+ * `exclude`, leaves an approval by anyone involved in the change out of
+ * every rule.
+ *
  * ## Wave-level commands and hooks (#3762)
  *
  * A product whose tool plans a whole wave in one call (Terragrunt's `run
@@ -192,6 +207,15 @@ export interface OpWaveRun {
     target: string;
     /** The Op to run. Default: the spec's `op`. */
     op?: string;
+    /**
+     * The runs this one needs applied first (#4322), by target: a run of an
+     * earlier wave (the latest earlier wave that has the target), or one listed
+     * before it in its own wave. A run that failed, or was blocked, blocks this
+     * one, which then is neither planned nor applied; a run with no failed
+     * dependency applies whatever else failed. Within its own wave only when
+     * one job applies the wave (no `shares`, no `jobs`).
+     */
+    dependsOn?: string[];
 }
 /**
  * Where a wave's jobs run (#3914): a runner label, a list of labels the
@@ -468,7 +492,35 @@ export interface OpWavesApprovals {
      * author from that pull request. See `./gate-quorum.ts`.
      */
     quorum?: GateQuorumRule[];
+    /**
+     * The op whose ledger (`_gates/<op>.jsonl` on `chant/lifecycle`) holds the
+     * reviews a product records itself (#4333): lines with `via: "pr-review"`,
+     * the reviewed `head` and the approving `reviewers` by forge login, as
+     * terragucci writes them under `tf-apply`. Each reviewer counts toward
+     * `quorum` as one approver of the line's digest, and under `pr-review` is
+     * proven, as a review chant reads from the forge is. Read at the base
+     * commit, so a change cannot name a ledger its own wave is judged by.
+     */
+    reviewLedger?: string;
+    /** Who else was involved in a change, for `quorum` (#4333). Read at the base commit. */
+    involved?: OpWavesInvolved;
 }
+/**
+ * Who was involved in a change besides its pull request's author (#4333):
+ * each login a `Requested-by:` trailer names on the commits after base, and
+ * the accounts listed here. `notAuthor` is met only by a proven approver
+ * none of them is.
+ */
+export interface OpWavesInvolved {
+    /** The accounts an agent acts as, as principals (`github:tg-bot`) or logins: a change's author can post a review as the agent with its token. */
+    agents?: string[];
+    /** An approval by anyone involved counts toward no rule, not only toward `notAuthor`. Default false. */
+    exclude?: boolean;
+}
+/** An op name a ledger file is named by (`_gates/<op>.jsonl`). */
+export declare const OP_LEDGER_NAME: RegExp;
+/** Everything wrong with `approvals.involved` (#4333), one line each. */
+export declare function opWavesInvolvedProblems(value: unknown): string[];
 /** The scheduled resume job of an Op waves pipeline (#3683). */
 export interface OpWavesResume {
     /**
@@ -503,7 +555,21 @@ export interface OpWaveJob {
     command: string[];
     /** On a share job: the decision record to download. On a deciding job: the one to upload. */
     record?: string;
+    /**
+     * The outcome file the job writes (#4322), which the forge keeps whatever
+     * the job's exit code: each of its runs' outcome, as `../wave-blocked.ts`
+     * writes them. A job with `needs` reads the earlier ones from
+     * {@link opWaveOutcomeDir} first.
+     */
+    outcome: string;
 }
+/** Where a wave job writes its outcome file and finds the earlier ones (#4322), at any depth. */
+export declare function opWaveOutcomeDir(spec: Pick<OpWavesSpec, "name">): string;
+/** The outcome file of wave `wave`'s job, or of one group or share of it (#4322). */
+export declare function opWaveOutcomePath(spec: Pick<OpWavesSpec, "name">, wave: number, part?: {
+    group?: string;
+    share?: number;
+}): string;
 /** Refuse a spec no job could run, naming what is wrong. */
 export declare function assertOpWavesSpec(spec: OpWavesSpec): void;
 /**
@@ -533,13 +599,14 @@ export declare function assertOpWaveHooks(where: string, hooks: OpWaveHooks | un
 /**
  * The moments a pull-request job runs hooks at (#4288): `pr-plan` and
  * `pr-record` run the observe and plan moments, and `pr-apply` the apply
- * moments too. The pull request's gate has no `after-gate` moment.
+ * moments too. `after-gate` (#4323) runs in `pr-apply` once the pull
+ * request's gate has decided.
  */
 export declare const PR_LOOP_HOOK_MOMENTS: readonly OpWaveHookMoment[];
 /**
  * Refuse `ci.hooks` a pull-request job could not run (#4288): what
- * {@link assertOpWaveHooks} refuses, plus `after.gate` and `apply.runBy`,
- * since chant itself runs a pull request's apply.
+ * {@link assertOpWaveHooks} refuses, plus `apply.runBy`, since chant itself
+ * runs a pull request's apply.
  */
 export declare function assertPrLoopHooks(where: string, hooks: OpWaveHooks | undefined): void;
 /** The hooks of each moment for wave `name`: the spec's, then the wave's own. */

package/dist/op/op-waves.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"op-waves.d.ts","sourceRoot":"","sources":["../../src/op/op-waves.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0EG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAqB,KAAK,SAAS,EAAE,MAAM,cAAc,CAAC;AACjE,OAAO,EAAkB,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AACpE,OAAO,EAAuB,KAAK,YAAY,EAAE,MAAM,WAAW,CAAC;AAGnE;;;;;;GAMG;AACH,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAE5C,yCAAyC;AACzC,MAAM,MAAM,gBAAgB;AAC1B,2CAA2C;AACzC,QAAQ;AACV,gDAAgD;GAC9C,gBAAgB;AAClB,2EAA2E;GACzE,OAAO,CAAC;AAEZ,eAAO,MAAM,qBAAqB,EAAE,SAAS,gBAAgB,EAA0C,CAAC;AAExG,gFAAgF;AAChF,MAAM,MAAM,kBAAkB;AAC5B,iEAAiE;AAC/D,QAAQ;AACV,wGAAwG;GACtG,WAAW;AACb,yFAAyF;GACvF,QAAQ,CAAC;AAEb,eAAO,MAAM,qBAAqB,EAAE,SAAS,kBAAkB,EAAsC,CAAC;AAEtG,6FAA6F;AAC7F,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,SAAS,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG;IACpC,qFAAqF;IACrF,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,+FAA+F;AAC/F,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,CAG9F;AAED,0EAA0E;AAC1E,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAQ5D;AAED,6FAA6F;AAC7F,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAG/G;AAED,eAAO,MAAM,qBAAqB,EAAE,SAAS,iBAAiB,EAAwB,CAAC;AAEvF,oFAAoF;AACpF,MAAM,WAAW,UAAU;IACzB,uEAAuE;IACvE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,wIAAwI;IACxI,SAAS,CAAC,EAAE,iBAAiB,CAAC;IAC9B,mEAAmE;IACnE,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,qCAAqC;AACrC,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC;AAEpE,wBAAwB;AACxB,MAAM,MAAM,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,GAAG,YAAY,GAAG,YAAY,GAAG,cAAc,GAAG,aAAa,CAAC;AAE/H;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,EAAE,SAAS,gBAAgB,EAAiG,CAAC;AAE9J;;;;;GAKG;AACH,MAAM,MAAM,sBAAsB,GAAG,OAAO,GAAG,OAAO,CAAC;AAEvD,eAAO,MAAM,2BAA2B,EAAE,SAAS,sBAAsB,EAAuB,CAAC;AAEjG,uFAAuF;AACvF,MAAM,WAAW,WAAW;IAC1B,8FAA8F;IAC9F,MAAM,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC;QAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC;QAAC,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;KAAE,CAAC;IAC/E,kHAAkH;IAClH,KAAK,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC;QAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC;QAAC,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;KAAE,CAAC;IAC3E,uHAAuH;IACvH,KAAK,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,sBAAsB,CAAA;KAAE,CAAC;CAC5C;AAED,gGAAgG;AAChG,MAAM,WAAW,SAAS;IACxB,2FAA2F;IAC3F,MAAM,EAAE,MAAM,CAAC;IACf,+CAA+C;IAC/C,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;AAEpC;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,8GAA8G;IAC9G,IAAI,EAAE,MAAM,CAAC;IACb;;;;;OAKG;IACH,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,0FAA0F;IAC1F,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,8HAA8H;IAC9H,WAAW,CAAC,EAAE,aAAa,CAAC;IAC5B,2DAA2D;IAC3D,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,yDAAyD;IACzD,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC;IACtB;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC;;;;;OAKG;IACH,KAAK,CAAC,EAAE,cAAc,CAAC;CACxB;AAED,2DAA2D;AAC3D,MAAM,WAAW,MAAM;IACrB,wFAAwF;IACxF,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,IAAI,EAAE,SAAS,EAAE,CAAC;IAClB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB;;;;;;OAMG;IACH,IAAI,CAAC,EAAE,OAAO,CAAC;IACf;;;OAGG;IACH,IAAI,CAAC,EAAE,gBAAgB,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,EAAE,kBAAkB,CAAC;IAC9B;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC;IAC7B;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qGAAqG;IACrG,WAAW,CAAC,EAAE,aAAa,CAAC;IAC5B,4CAA4C;IAC5C,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,iFAAiF;IACjF,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC;IACtB,0FAA0F;IAC1F,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,wEAAwE;IACxE,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC;;;;;;;OAOG;IACH,KAAK,CAAC,EAAE,cAAc,CAAC;IACvB;;;;;OAKG;IACH,IAAI,CAAC,EAAE,cAAc,EAAE,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,6IAA6I;IAC7I,IAAI,EAAE,MAAM,CAAC;IACb,4CAA4C;IAC5C,EAAE,EAAE,MAAM,CAAC;IACX,2CAA2C;IAC3C,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,MAAM,CAAC,EAAE,aAAa,CAAC;IACvB;;;;;OAKG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB;;;;OAIG;IACH,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB;;;OAGG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;;OAKG;IACH,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,wFAAwF;IACxF,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,+FAA+F;IAC/F,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,iGAAiG;IACjG,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAC7B;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B;;;;;;;OAOG;IACH,KAAK,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC;IAC7B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,aAAa,CAAC;IACvB;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AAED,qDAAqD;AACrD,MAAM,WAAW,aAAa;IAC5B;;;;;;OAMG;IACH,IAAI,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC;CAC3B;AAED,eAAO,MAAM,oBAAoB,YAAI,KAAK,EAAE,UAAU,CAAU,CAAC;AAEjE,qCAAqC;AACrC,eAAO,MAAM,yBAAyB,oBAAyB,CAAC;AAEhE,uGAAuG;AACvG,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAEvG;AAED,mEAAmE;AACnE,MAAM,WAAW,eAAe;IAC9B;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,wEAAwE;AACxE,MAAM,WAAW,gBAAgB;IAC/B;;;;;;OAMG;IACH,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB;;;;;;;;;;OAUG;IACH,MAAM,CAAC,EAAE,cAAc,EAAE,CAAC;CAC3B;AAED,gEAAgE;AAChE,MAAM,WAAW,aAAa;IAC5B;;;;OAIG;IACH,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,qCAAqC;AACrC,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,MAAM,EAAE,CAE9E;AAED,iCAAiC;AACjC,eAAO,MAAM,qBAAqB,UAAgD,CAAC;AAEnF,uGAAuG;AACvG,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAEtF;AAED,yBAAyB;AACzB,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,uBAAuB;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,2FAA2F;IAC3F,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,OAAO,CAAC;IAClC,6EAA6E;IAC7E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2EAA2E;IAC3E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,8BAA8B;IAC9B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,kCAAkC;IAClC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,6FAA6F;IAC7F,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAID,4DAA4D;AAC5D,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,WAAW,GAAG,IAAI,CAgJzD;AAkFD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAYzE;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,CAGvH;AAED,+DAA+D;AAC/D,wBAAgB,eAAe,CAAC,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,KAAK,EAAE,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,CAE1H;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,GAAG,SAAS,CAOvH;AAQD,sEAAsE;AACtE,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,GAAG,SAAS,GAAG,IAAI,CAkDrF;AAED;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,SAAS,gBAAgB,EAAmF,CAAC;AAEhJ;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,GAAG,SAAS,GAAG,IAAI,CAIrF;AAED,iFAAiF;AACjF,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,gBAAgB,EAAE,UAAU,EAAE,CAAC,CAO9H;AAED,uHAAuH;AACvH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,sBAAsB,CAGtH;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,EAAE,CAEhH;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,EAAE,CA8C3E;AAED,+EAA+E;AAC/E,wBAAgB,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,cAAc,GAAG,SAAS,CAEnH;AAED,iCAAiC;AACjC,wBAAgB,QAAQ,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,MAAM,CAEhF"}
+{"version":3,"file":"op-waves.d.ts","sourceRoot":"","sources":["../../src/op/op-waves.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyFG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAqB,KAAK,SAAS,EAAE,MAAM,cAAc,CAAC;AACjE,OAAO,EAAkB,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AACpE,OAAO,EAAuB,KAAK,YAAY,EAAE,MAAM,WAAW,CAAC;AAInE;;;;;;GAMG;AACH,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAE5C,yCAAyC;AACzC,MAAM,MAAM,gBAAgB;AAC1B,2CAA2C;AACzC,QAAQ;AACV,gDAAgD;GAC9C,gBAAgB;AAClB,2EAA2E;GACzE,OAAO,CAAC;AAEZ,eAAO,MAAM,qBAAqB,EAAE,SAAS,gBAAgB,EAA0C,CAAC;AAExG,gFAAgF;AAChF,MAAM,MAAM,kBAAkB;AAC5B,iEAAiE;AAC/D,QAAQ;AACV,wGAAwG;GACtG,WAAW;AACb,yFAAyF;GACvF,QAAQ,CAAC;AAEb,eAAO,MAAM,qBAAqB,EAAE,SAAS,kBAAkB,EAAsC,CAAC;AAEtG,6FAA6F;AAC7F,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,SAAS,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG;IACpC,qFAAqF;IACrF,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,+FAA+F;AAC/F,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,CAG9F;AAED,0EAA0E;AAC1E,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAQ5D;AAED,6FAA6F;AAC7F,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAG/G;AAED,eAAO,MAAM,qBAAqB,EAAE,SAAS,iBAAiB,EAAwB,CAAC;AAEvF,oFAAoF;AACpF,MAAM,WAAW,UAAU;IACzB,uEAAuE;IACvE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,wIAAwI;IACxI,SAAS,CAAC,EAAE,iBAAiB,CAAC;IAC9B,mEAAmE;IACnE,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,qCAAqC;AACrC,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC;AAEpE,wBAAwB;AACxB,MAAM,MAAM,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,GAAG,YAAY,GAAG,YAAY,GAAG,cAAc,GAAG,aAAa,CAAC;AAE/H;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,EAAE,SAAS,gBAAgB,EAAiG,CAAC;AAE9J;;;;;GAKG;AACH,MAAM,MAAM,sBAAsB,GAAG,OAAO,GAAG,OAAO,CAAC;AAEvD,eAAO,MAAM,2BAA2B,EAAE,SAAS,sBAAsB,EAAuB,CAAC;AAEjG,uFAAuF;AACvF,MAAM,WAAW,WAAW;IAC1B,8FAA8F;IAC9F,MAAM,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC;QAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC;QAAC,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;KAAE,CAAC;IAC/E,kHAAkH;IAClH,KAAK,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC;QAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC;QAAC,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;KAAE,CAAC;IAC3E,uHAAuH;IACvH,KAAK,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,sBAAsB,CAAA;KAAE,CAAC;CAC5C;AAED,gGAAgG;AAChG,MAAM,WAAW,SAAS;IACxB,2FAA2F;IAC3F,MAAM,EAAE,MAAM,CAAC;IACf,+CAA+C;IAC/C,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ;;;;;;;OAOG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;AAEpC;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,8GAA8G;IAC9G,IAAI,EAAE,MAAM,CAAC;IACb;;;;;OAKG;IACH,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,0FAA0F;IAC1F,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,8HAA8H;IAC9H,WAAW,CAAC,EAAE,aAAa,CAAC;IAC5B,2DAA2D;IAC3D,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,yDAAyD;IACzD,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC;IACtB;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC;;;;;OAKG;IACH,KAAK,CAAC,EAAE,cAAc,CAAC;CACxB;AAED,2DAA2D;AAC3D,MAAM,WAAW,MAAM;IACrB,wFAAwF;IACxF,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,IAAI,EAAE,SAAS,EAAE,CAAC;IAClB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB;;;;;;OAMG;IACH,IAAI,CAAC,EAAE,OAAO,CAAC;IACf;;;OAGG;IACH,IAAI,CAAC,EAAE,gBAAgB,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,EAAE,kBAAkB,CAAC;IAC9B;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC;IAC7B;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qGAAqG;IACrG,WAAW,CAAC,EAAE,aAAa,CAAC;IAC5B,4CAA4C;IAC5C,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,iFAAiF;IACjF,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC;IACtB,0FAA0F;IAC1F,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,wEAAwE;IACxE,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC;;;;;;;OAOG;IACH,KAAK,CAAC,EAAE,cAAc,CAAC;IACvB;;;;;OAKG;IACH,IAAI,CAAC,EAAE,cAAc,EAAE,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,6IAA6I;IAC7I,IAAI,EAAE,MAAM,CAAC;IACb,4CAA4C;IAC5C,EAAE,EAAE,MAAM,CAAC;IACX,2CAA2C;IAC3C,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,MAAM,CAAC,EAAE,aAAa,CAAC;IACvB;;;;;OAKG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB;;;;OAIG;IACH,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB;;;OAGG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;;OAKG;IACH,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,wFAAwF;IACxF,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,+FAA+F;IAC/F,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,iGAAiG;IACjG,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAC7B;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B;;;;;;;OAOG;IACH,KAAK,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC;IAC7B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,aAAa,CAAC;IACvB;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AAED,qDAAqD;AACrD,MAAM,WAAW,aAAa;IAC5B;;;;;;OAMG;IACH,IAAI,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC;CAC3B;AAED,eAAO,MAAM,oBAAoB,YAAI,KAAK,EAAE,UAAU,CAAU,CAAC;AAEjE,qCAAqC;AACrC,eAAO,MAAM,yBAAyB,oBAAyB,CAAC;AAEhE,uGAAuG;AACvG,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAEvG;AAED,mEAAmE;AACnE,MAAM,WAAW,eAAe;IAC9B;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,wEAAwE;AACxE,MAAM,WAAW,gBAAgB;IAC/B;;;;;;OAMG;IACH,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB;;;;;;;;;;OAUG;IACH,MAAM,CAAC,EAAE,cAAc,EAAE,CAAC;IAC1B;;;;;;;;OAQG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,wFAAwF;IACxF,QAAQ,CAAC,EAAE,eAAe,CAAC;CAC5B;AAED;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,iJAAiJ;IACjJ,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,wGAAwG;IACxG,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,kEAAkE;AAClE,eAAO,MAAM,cAAc,QAAiC,CAAC;AAE7D,yEAAyE;AACzE,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAWhE;AAED,gEAAgE;AAChE,MAAM,WAAW,aAAa;IAC5B;;;;OAIG;IACH,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,qCAAqC;AACrC,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,MAAM,EAAE,CAE9E;AAED,iCAAiC;AACjC,eAAO,MAAM,qBAAqB,UAAgD,CAAC;AAEnF,uGAAuG;AACvG,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAEtF;AAED,yBAAyB;AACzB,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,uBAAuB;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,2FAA2F;IAC3F,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,OAAO,CAAC;IAClC,6EAA6E;IAC7E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2EAA2E;IAC3E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,8BAA8B;IAC9B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,kCAAkC;IAClC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,6FAA6F;IAC7F,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;OAKG;IACH,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,iGAAiG;AACjG,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,MAAM,CAExE;AAED,qFAAqF;AACrF,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,GAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,MAAM,CAEtI;AAID,4DAA4D;AAC5D,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,WAAW,GAAG,IAAI,CA2JzD;AAoHD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAYzE;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,CAGvH;AAED,+DAA+D;AAC/D,wBAAgB,eAAe,CAAC,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,KAAK,EAAE,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,CAE1H;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,GAAG,SAAS,CAOvH;AAQD,sEAAsE;AACtE,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,GAAG,SAAS,GAAG,IAAI,CAkDrF;AAED;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,EAAE,SAAS,gBAAgB,EAAiG,CAAC;AAE9J;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,GAAG,SAAS,GAAG,IAAI,CAGrF;AAED,iFAAiF;AACjF,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,gBAAgB,EAAE,UAAU,EAAE,CAAC,CAO9H;AAED,uHAAuH;AACvH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,OAAO,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,sBAAsB,CAGtH;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,EAAE,CAEhH;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,EAAE,CA8C3E;AAED,+EAA+E;AAC/E,wBAAgB,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,cAAc,GAAG,SAAS,CAEnH;AAED,iCAAiC;AACjC,wBAAgB,QAAQ,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,MAAM,CAEhF"}