@gaunt-sloth/core 2.0.0-beta.0 → 2.0.0-beta.2

package/dist/core/shell/negotiation.js

@@ -1,30 +1,3 @@
-/**
- * @module core/shell/negotiation
- *
- * [[EXT-29]] (spec §5) — **the bounded, visible argument between the agent and the rater** that
- * `auto` conducts where `assisted` interrupts a person.
- *
- * A `destructive` rating at `auto` does not go to the human. It goes back to the *agent* as the
- * refused call's tool result (§7), naming what would make the command acceptable (§5.2); the agent
- * may narrow the command or justify the one it chose; the next call is rated again with the
- * exchange in view (§5.1). This module holds the state that makes that a bounded exchange rather
- * than a loop: the transcript, and the two counters that end it at a person.
- *
- * **It decides nothing about safety.** Every round is a full, independent rating by
- * {@link import('./rater.js').mapVerdictToAction}; this only answers *"may another round be
- * served, or is it a human's turn?"*.
- *
- * ## The lifetimes, which are the whole design
- *
- * - **The transcript and the consecutive counter have ONE lifetime, by construction** (§5.3). A
- *   successful intervening tool call resets the counter *and clears the transcript with it*, so the
- *   rating right after a reset is a round-1 context — the command alone, no transcript and no user
- *   messages. They are one field's worth of state precisely because the spec warns that an
- *   implementation clearing the counter alone *"looks correct and passes any obvious test"* while
- *   letting justification text accumulate across unbounded attempts.
- * - **The reachability bound is monotonic and a reset does not refill it.** See
- *   {@link MAX_REJECTIONS_BEFORE_HUMAN}.
- */
 import { MIN_CONTENT_WIDTH, neutralizeToOneLine, wrapToWidth } from '#src/core/shell/framing.js';
 import { maxDisplayWidth } from '#src/utils/displayWidth.js';
 /**
@@ -46,10 +19,15 @@ export const MAX_CONSECUTIVE_REJECTIONS = 3;
  * add one without a fresh decision. **This is that decision (Andrew, EXT-29), and it answers a
  * different question than the one §5.3 asked.**
  *
- * §5.3's argument is about **safety**, and it is sound and untouched: every attempt is rated
- * independently, the rater does not weaken with repetition, and — because a reset also clears the
- * transcript — a gamed reset approves nothing that would not have been approved on the first try.
- * Nothing here contradicts that, and this bound must never be described as a security control.
+ * §5.3's argument is about **safety**, and its core is untouched: every attempt is rated
+ * independently, the rater does not weaken with repetition, and every deterministic floor is
+ * recomputed from the RAW command each round, so no amount of argument unlocks one. What
+ * [[EXT-108]] changed is that a reset no longer clears the rounds with the counter, so the
+ * justification channel §5.1 opens at round 2 stays open across an approved call — deliberately,
+ * because the round after a call the rater itself asked for is the same argument continuing. That
+ * is the one channel able to LOWER an outcome, which is why what bounds it matters: this count,
+ * which no reset refills, is what ends an argument nobody is winning. Nothing here contradicts
+ * §5.3, and this bound must never be described as a security control.
  *
  * The question §5.3 never asked is **reachability**: does the human terminus fire at all? Under its
  * own reset predicate it does not. An agent that alternates one approved `ls` with one rejection
@@ -92,60 +70,54 @@ export const NEGOTIATION_USER_MESSAGE_RETENTION = 10;
  * | event | transcript | consecutive | since-human |
  * |---|---|---|---|
  * | a rejection ({@link recordRejection}) | append | +1 | +1 |
- * | the gate approved a call ({@link noteProgress}) | **cleared** | 0 | unchanged |
+ * | the gate approved a call ({@link noteProgress}) | **kept** | 0 | unchanged |
  * | a human was reached ({@link humanReached}) | cleared | 0 | **0** |
  * | the run halted ({@link humanReached}) | cleared | 0 | 0 |
  */
 export class ShellNegotiationState {
-    /** §5.1's transcript: every round of the CURRENT negotiation, oldest first. */
+    /** §5.1's transcript: every round since a person was last involved, oldest first. */
     rounds = [];
-    /** §5.3's consecutive-rejection count. Shares the transcript's lifetime, by construction. */
+    /**
+     * §5.3's consecutive-rejection count. Reset by an approved call, which [[EXT-108]] stopped taking
+     * the rounds with it — so this is the shorter of the two lifetimes, not a shared one.
+     */
     consecutive = 0;
     /** The reachability bound's count. Cleared ONLY by {@link humanReached}. */
     sinceHuman = 0;
     /** §5.1's last user messages, oldest first, capped at {@link NEGOTIATION_USER_MESSAGE_RETENTION}. */
     userMessages = [];
     /**
-     * §5.1 — the context for the rating about to be made: the justification the agent supplied for
-     * *this* command, the user messages, and the rounds so far.
-     *
-     * Handed over raw. The prompt builder owns every bound and every transform (last 5, truncation,
-     * home-folding, one-lining, tag neutralisation), so a caller that pre-processes anything here is
-     * doing the work twice and differently.
-     *
-     * An empty negotiation has no privileged spelling on the builder's side, so this always returns an
-     * object and never `undefined`: a cleared transcript IS the round-1 case, with no `if` at the call
-     * site — which is exactly what makes §5.6's *"a cleared transcript means a round-1 context"* fall
-     * out of the reset rather than out of a second branch that could disagree with it.
-     *
-     * **Everything except the command is admitted from round 2, never at round 1**, and the transcript
-     * is what decides which round this is. §5.1 is unambiguous — *"Round 1 sees the command alone —
-     * nothing else"* — and §5.6 spells out the consequence for the round right after a reset: *"the
-     * command and nothing else — no transcript, no user messages, because that is what round 1 means"*.
+     * [[EXT-106]] §4.6 — whether {@link retainedUserMessages} may hand this session's human turns out
+     * as **the user's own words**. See {@link admitUserProvenance}; `false` until something positively
+     * establishes otherwise, which is the whole of its safety.
+     */
+    userProvenanceAdmitted = false;
+    /**
+     * [[EXT-127]] — **the checker's own earlier rounds, for the alignment check about to be made.**
      *
-     * Keying them on the transcript rather than on a flag is what makes those two sentences the same
-     * fact, and it is why the justification is withheld by the same test rather than passed straight
-     * through. §5.1 lists the justification under what *"from round 2 the rater additionally sees"*,
-     * and it is the one channel the design allows to LOWER an outcome — so a justification volunteered
-     * before any rejection has happened would open that channel on the first attempt, pre-emptively,
-     * for the agent or for anything that has injected into the agent's context. Withholding it until
-     * round 2 is what the spec's ordering buys, and a round-1 context is byte-identical to a plain
-     * rating because of it.
+     * The rounds it returns are the transcript's, with each round's alignment decision attached where
+     * the checker made one. What §5.1's withholding rules used to govern here is gone with the flat
+     * context they governed: the classifier now sees the command alone at every round, and the
+     * checker's context is assembled across message roles by
+     * {@link import('./alignment.js').buildAlignmentMessages} rather than handed over as a block.
      *
-     * The messages and the volunteered justification are NOT destroyed by a reset (they are the
-     * conversation and the pending call's own argument, not the exchange), so §5.6's convergence still
-     * works: the reply *"just the last two"* is out of view for the round-1 rating after the reset and
-     * in view for the round-2 rating that follows it — which is exactly the row the spec's table shows
-     * it arriving on. A justification the agent supplies again with its next attempt is admitted then,
-     * because by then there is a rejection for it to answer.
+     * **The user's words are deliberately NOT here.** They come from
+     * {@link retainedUserMessages} — the gated provenance channel — and never from this method or
+     * from {@link noteUserMessages}' store. Routing them through a "context for the next call"
+     * accessor is exactly how the gate would come to be bypassed by a caller doing the obvious thing.
      */
-    contextFor(justification) {
-        const roundOne = this.rounds.length === 0;
-        return {
-            justification: roundOne ? undefined : justification,
-            userMessages: roundOne ? [] : [...this.userMessages],
-            priorRounds: [...this.rounds],
-        };
+    alignmentRounds() {
+        return this.rounds
+            .filter((round) => round.alignment !== undefined)
+            .map((round) => ({
+            subject: {
+                command: round.command,
+                outcome: round.outcome,
+                reason: round.reason,
+                ...(round.justification ? { justification: round.justification } : {}),
+            },
+            decision: round.alignment,
+        }));
     }
     /**
      * Record a rejected round and decide whether another may be served.
@@ -167,16 +139,24 @@ export class ShellNegotiationState {
         return 'reject';
     }
     /**
-     * §5.3 — a tool call the gate let through. Resets the consecutive counter **and clears the
-     * transcript with it**; the reachability bound is deliberately untouched.
+     * §5.3 — a tool call the gate let through. Resets the consecutive counter and **nothing else**:
+     * the rounds stand, and so does the reachability bound.
+     *
+     * **The counter reset is §5.3's and is sound; taking the rounds with it was not** ([[EXT-108]]).
+     * The reset exists to bound a *stalled* negotiation — an agent that went away, gathered
+     * information and came back better informed is making progress, not ping-pong. But the approved
+     * call is very often the agent doing exactly what the rejection told it to do, and clearing the
+     * rounds there makes that compliance erase the record of the advice: the retry is then rated with
+     * an empty transcript, which {@link contextFor} correctly reads as round 1 and so withholds the
+     * justification and the user messages from. **Measured**: the rater refused `git reset --hard`
+     * advising a stash first, the agent stashed, and the rater then advised a stash twice more —
+     * recommending a thing already done, because on the evidence it was given it could not know.
      *
-     * **What it must NOT truncate is the human's record of how hard the agent pushed.** The counter's
-     * reset is §5.3's and is sound; the reader at an escalation is asking a different question, and
-     * the answer to theirs is {@link NegotiationCounters.rejectionsSinceHuman}, which this leaves
-     * standing. {@link renderNegotiationRows} reports that count rather than the surviving rounds, so
-     * an argument this erased is still declared even though its rounds are gone; every erased round
-     * itself survives whole in [[TUI-C27]]'s archive, which captures per RATING CALL and so is not
-     * truncated by anything here.
+     * **What replaces the clearing as a bound is the count this deliberately leaves standing.** Every
+     * appended round increments {@link NegotiationCounters.rejectionsSinceHuman}, which no reset
+     * refills, so a transcript still cannot grow past {@link MAX_REJECTIONS_BEFORE_HUMAN} rounds
+     * before {@link humanReached} clears the lot. A cap on the retained rounds would bound something
+     * that is already bounded, and would re-introduce the erasure on a longer fuse.
      *
      * **"Approved" is what the gate can observe, and it is not quite §5.3's "successful".** The
      * decision site sees whether a call was allowed to run, never whether it then exited zero — and
@@ -186,7 +166,6 @@ export class ShellNegotiationState {
      * {@link MAX_REJECTIONS_BEFORE_HUMAN} is monotonic for.
      */
     noteProgress() {
-        this.rounds = [];
         this.consecutive = 0;
     }
     /**
@@ -228,6 +207,54 @@ export class ShellNegotiationState {
             this.userMessages = this.userMessages.slice(-NEGOTIATION_USER_MESSAGE_RETENTION);
         }
     }
+    /**
+     * [[EXT-106]] §4.6 — **the user's own words, for the provenance carve-out that lifts the
+     * open-world floor.** A snapshot, oldest first, of the whole retained window.
+     *
+     * **This is deliberately NOT {@link contextFor}, and the difference is the point.** That function
+     * returns `userMessages: []` at round 1 by design — §5.1's *"round 1 sees the command alone"* —
+     * and round 1 is exactly the round the carve-out exists to act on: the user asks for a fetch, the
+     * agent proposes it, and there has been no rejection for a round 2 to exist. §5.1 bounds what the
+     * **rater** may see, and the floor is not the rater. Reading `contextFor()` here would make the
+     * carve-out fire only after the command had already been refused once, i.e. never in the case it
+     * was built for.
+     *
+     * The window is cumulative across the turns of a thread (capped and de-duplicated by
+     * {@link noteUserMessages}), so a host named in an earlier turn still carves a command proposed in
+     * a later one. {@link clear} drops it with the thread.
+     *
+     * **Empty until {@link admitUserProvenance} says otherwise**, which is why this is the provenance
+     * window rather than {@link noteUserMessages}'s store: the store also feeds §5.1's negotiation
+     * context, a different question with a different reader, and one that a command's fetched content
+     * is legitimately part of. What must never be answered *"yes, the human said this"* is this
+     * accessor, so the gate lives on it and defaults to refusing.
+     */
+    retainedUserMessages() {
+        if (!this.userProvenanceAdmitted)
+            return [];
+        return [...this.userMessages];
+    }
+    /**
+     * [[EXT-106]] §4.6 — **declare whether this session's human turns are the user's own words**, and
+     * therefore whether {@link retainedUserMessages} may return them at all.
+     *
+     * A human message the product SYNTHESISED from content it fetched must never enter the provenance
+     * window: `review` and `pr` hand the agent a diff and a PR description that gaunt-sloth went and
+     * got, and the review prompt tells the agent to examine them. Reading the same bytes as the user's
+     * verbatim words would make the product contradict itself about identical input — and the words
+     * are written by whoever opened the pull request.
+     *
+     * **It defaults to `false` and the caller must positively establish otherwise**, so a surface that
+     * never calls this — or a future driver nobody has classified — floors exactly as it did before
+     * the carve-out existed. The one caller is
+     * {@link import('../GthAgentRunner.js').GthAgentRunner.init}, which decides it from the CLI verb
+     * ({@link import('../../config/shell-policy.js').commandCarriesUserProvenance}) and never from
+     * anything inside a message: those bytes are attacker-controlled, so a marker in them can be
+     * forged by the text it is supposed to classify.
+     */
+    admitUserProvenance(admitted) {
+        this.userProvenanceAdmitted = admitted;
+    }
     /**
      * §6 — the rounds to show the human, oldest first. A snapshot: the caller holds it across the
      * {@link humanReached} that immediately follows, and nothing it holds may change underneath it.
@@ -264,6 +291,26 @@ export class ShellNegotiationState {
         this.userMessages = [];
     }
 }
+/**
+ * §5.5 — **the minimum interval a negotiated approval is visible before it takes effect.**
+ *
+ * It must never be described or relied upon as an opportunity to evaluate the command: nobody
+ * reads a command in 800 ms, and a design that assumed they did would be resting a safety property
+ * on a glance. What it buys is that the approving round exists on screen as its own event, rather
+ * than being drawn and overwritten by the tool's own output in the same frame.
+ *
+ * **It is NOT a guaranteed abort window on either surface**, and the claim must not be restored
+ * without the mechanism: on the event/TUI path an abort during the interval does stop the tool,
+ * but because LangGraph refuses an already-aborted signal rather than because this code re-checks
+ * one; on the plain/readline path no signal is threaded and the Esc handler is torn down before
+ * the interval begins, so the command runs. See `GthAgentRunner.showNegotiatedApproval`, which
+ * carries the full statement of what is true where.
+ *
+ * **A minimum visible interval, not a delay added to a finished decision.** The real window is
+ * longer at both ends — the rater call's own latency precedes it, and the tool takes time to start
+ * after it — so this bounds the short end of a window that mostly already exists.
+ */
+export const NEGOTIATED_APPROVAL_COOLDOWN_MS = 800;
 /**
  * The prefix a row too wide for the terminal is continued with.
  *
@@ -282,10 +329,10 @@ const CONTINUATION_PREFIX = '      ┊ ';
  * **MEASURED, and it is the height bound this block needs rather than a cap on rounds.** At 80
  * columns three rounds of paragraph-length argument cost 37 rows, of which one round was 12; the
  * whole prompt was 64 rows against a 20-row budget, so the human saw the command and the verdict
- * and neither the later rounds nor the menu line. A cap on the NUMBER of rounds would have changed
- * none of that — §5.3 already bounds the transcript at
- * {@link MAX_CONSECUTIVE_REJECTIONS} — because the cost is per row, not per round. Bounding each
- * element keeps every round structurally on the screen, which is what §5.6 calls the most important
+ * and neither the later rounds nor the menu line. A cap on the NUMBER of rounds does not answer
+ * that — the measured case was three rounds, exactly what {@link NEGOTIATION_MAX_ROUNDS_SHOWN}
+ * allows a screen, and it still cost 37 rows — because the cost is per row, not per round. Bounding
+ * each element keeps every round structurally on the screen, which is what §5.6 calls the most important
  * thing on it, and pays for it out of the tail of a paragraph the reader was never going to need in
  * full: the archive keeps every round whole ([[TUI-C27]]'s capture is per rating call).
  *
@@ -294,10 +341,12 @@ const CONTINUATION_PREFIX = '      ┊ ';
  */
 export const NEGOTIATION_MAX_ROWS_PER_ELEMENT = 2;
 /**
- * Rounds a screen shows, newest last. A backstop rather than today's binding constraint: §5.3
- * escalates at {@link MAX_CONSECUTIVE_REJECTIONS}, so a transcript reaching a human is never longer
- * than this — and an unscrollable prompt must not acquire an unbounded section the moment that
- * number is raised. What is dropped is said out loud in the heading, which carries the true count.
+ * Rounds a screen shows, newest last. **Binding rather than a backstop, since [[EXT-108]]**: an
+ * approved call no longer clears the transcript, so an agent that makes progress between refusals
+ * reaches a person carrying every round since the last one — up to
+ * {@link MAX_REJECTIONS_BEFORE_HUMAN} of them — and an unscrollable prompt cannot grow a section
+ * that long. What is dropped is said out loud in the heading, which carries the true count, and the
+ * markers keyed on a position in the transcript stay keyed on it across the slice.
  */
 export const NEGOTIATION_MAX_ROUNDS_SHOWN = 3;
 /**
@@ -329,18 +378,21 @@ export const NEGOTIATION_MAX_ROUNDS_SHOWN = 3;
  * and each of these lied toward approving, at the moment a human was deciding whether to overrule
  * a refusal.
  *
- * - **`attempts` is the count, and it is not `rounds.length`.** §5.3 clears the transcript on an
- *   approved call, so the rounds handed over are the attempts since the last *approval*, while the
- *   fact the reader is weighing is how hard the agent pushed since the last *human* — the caller's
- *   `rejectionsSinceHuman`. A measured escalation attempted the same command five times and
- *   rendered three. Omit it and this falls back to `rounds.length`, which is the honest reading of
- *   a caller that has no better number rather than a claim that none were erased.
+ * - **`attempts` counts the argument; the rounds below it are a slice of that argument.** A screen
+ *   shows at most {@link NEGOTIATION_MAX_ROUNDS_SHOWN} of them, so the heading has to report what
+ *   happened rather than what fits, and the rounds have to be numbered from the true attempt
+ *   number. The caller's `rejectionsSinceHuman` is that count. [[EXT-108]] brought it into
+ *   agreement with `rounds.length` for a caller holding the whole transcript — an approved call no
+ *   longer erases rounds, and one event clears both — so what this parameter still guards is the
+ *   slice, plus the `Math.max` below, which stops a stale or smaller number making the block claim
+ *   less argument than it is about to print. Omit it and this falls back to `rounds.length`, the
+ *   honest reading of a caller that has no better number.
  * - **The last round IS the pending rating, not a prior one.** {@link
  *   ShellNegotiationState.recordRejection} appends before either bound is tested, deliberately, so
  *   that the rating being escalated is on the transcript the human sees. The old heading called
  *   them all prior rounds, which both under-reported the argument and put the pending command on
  *   the screen twice with nothing saying they were the same call.
- * - **The first round was rated on the command alone.** A cleared transcript IS the round-1 case
+ * - **The first round was rated on the command alone.** An EMPTY transcript IS the round-1 case
  *   (see {@link ShellNegotiationState.contextFor}), so §5.1 withheld the justification and the user
  *   messages from that rating — while {@link ShellNegotiationState.recordRejection} stores the
  *   justification the agent supplied whatever the round. Printed unmarked, the round reads as a
@@ -359,54 +411,174 @@ export function renderNegotiationRows(rounds, options) {
     if (rounds.length === 0)
         return [];
     const width = options?.width;
+    const live = options?.mode === 'live';
+    // The rater agreeing ends the argument; it is not another numbered attempt in it. Only a live
+    // block can carry one — the escalation block renders the transcript, and the transcript holds
+    // rejections alone.
+    const agreed = live && options?.agreed === true;
     // A screen shows the newest rounds; a consumer with no screen (§6.2's exception message) shows
     // them all, for the same reason it is handed no width.
     const shown = width === undefined ? rounds : rounds.slice(-NEGOTIATION_MAX_ROUNDS_SHOWN);
     // Never fewer attempts than rounds on the screen: a caller that passes a stale or smaller number
     // must not be able to make this block claim less argument than it is about to print.
     const attempts = Math.max(options?.attempts ?? rounds.length, rounds.length);
+    // How many of the transcript's own rounds precede the first one shown, so a marker keyed on a
+    // POSITION IN THE TRANSCRIPT (round one, the pending round) stays keyed on it after the slice.
+    // A caller that took its own slice says so; otherwise this block took it and knows.
+    const dropped = options?.from ?? rounds.length - shown.length;
     // The shown rounds are the most recent ones, so they are attempts `attempts - shown + 1` … N.
     // Numbering them by their true attempt number is what stops the heading's count and the rounds
-    // beneath it describing two different exchanges.
-    const firstNumber = attempts - shown.length + 1;
-    // How many of the transcript's own rounds this screen had to drop, so a marker keyed on a
-    // POSITION IN THE TRANSCRIPT (round one, the pending round) stays keyed on it after the slice.
-    const dropped = rounds.length - shown.length;
-    const rows = [
-        {
+    // beneath it describing two different exchanges. A live block has no such heading to agree with
+    // and knows exactly where its round sits, so it numbers from the position itself.
+    const firstNumber = live ? dropped + 1 : attempts - shown.length + 1;
+    const rows = [];
+    if (!live) {
+        rows.push({
             voice: 'chrome',
             text: attempts > shown.length
                 ? `The agent argued with the auto-rater ${attempts} times; the last ${shown.length} of them:`
                 : `The agent argued with the auto-rater ${attempts} ${attempts === 1 ? 'time' : 'times'}:`,
-        },
-    ];
+        });
+    }
+    else if (dropped === 0) {
+        // §5.4 — one context sentence per exchange, over the round that opens it. Repeating it on
+        // every round would spend a row per round saying the same thing, and saying nothing at all
+        // leaves a bare `Round 1:` with no account of what is talking to what.
+        rows.push({ voice: 'chrome', text: 'The agent is negotiating with the auto-rater:' });
+    }
     shown.forEach((round, index) => {
         // **Each marker rides the row whose reading it corrects, and no other.** Put on the `Round`
         // row they would be paid for in the one thing that row is for — the command, and how it
         // compares with the round above it — which at a narrow width is most of what fits on it.
-        const pending = dropped + index === rounds.length - 1 ? ' (this request)' : '';
-        // A cleared transcript IS the round-1 case, so the transcript's FIRST round is the one §5.1
+        //
+        // §5.4 — a LIVE round is never the pending request: nothing is being ruled on yet, and the
+        // marker means *this is the call you are being asked about*.
+        const pending = !live && dropped + index === rounds.length - 1 ? ' (this request)' : '';
+        // **The round that ENDS the argument is labelled, not numbered.** Numbering it would spend a
+        // number the transcript is about to reuse — the approved call never joins the transcript, so
+        // the next rejection sits at the very position this round was drawn at, and the escalation
+        // prompt then gives that number to a third command. A label cannot collide with a count.
+        rows.push(...negotiationRoundRows(round, agreed ? endingLabel(options?.revised) : `Round ${firstNumber + index}${pending}`, 
+        // An EMPTY transcript IS the round-1 case, so the transcript's FIRST round is the one §5.1
         // rated on the command alone. Derived from the position rather than carried on the round
-        // because it is a property of the transcript, not of the rating — but that makes it a fact a
-        // reset could quietly invalidate, so it is pinned against a real run rather than by reading.
-        const roundOne = dropped + index === 0;
+        // because it is a property of the transcript, not of the rating.
+        //
+        // An `agreed` round is never it, and that is a fact about the transcript rather than about
+        // today's call sites: the approved call is not ON the transcript, so it cannot be the first
+        // thing on it whatever position it is drawn at. Said here rather than left to the caller's
+        // arithmetic so no future emitter can make the §5.1 marker lie by drawing an agreement at
+        // position zero.
+        !agreed && dropped + index === 0));
+    });
+    if (width === undefined)
+        return rows;
+    return rows.flatMap((row) => wrapRow(row, width));
+}
+/**
+ * [[TUI-C69]] §5.4 — the label over the round that ENDS an argument, in the one place both the live
+ * list and the single-round live render read it from, so the two surfaces cannot say different
+ * things about the same event.
+ *
+ * *Agreed* is a claim about the rater's opinion of THIS command; *Accepted* is a claim only about
+ * what it let through. Using the first where the second is true prints a false statement about the
+ * auto-rater, which is worse than the vaguer word.
+ */
+const endingLabel = (revised) => revised === true ? 'Accepted' : 'Agreed';
+/**
+ * The three rows one round of the argument occupies — the command, the agent's justification if it
+ * gave one, and the rater's answer — with the label already decided by the caller.
+ *
+ * **Extracted so the live panel and the escalation prompt cannot drift.** They differ in what they
+ * put ABOVE the rounds (a heading, a context sentence) and in how many rounds they show; they must
+ * not differ by so much as a colon in the rounds themselves, because the whole claim §5.4 rests on
+ * is that the exchange a person watched and the exchange they are later asked to rule on are one
+ * account of one argument. Two copies of this body is precisely how that claim would rot.
+ *
+ * ---
+ *
+ * [[EXT-127]] — **the two speaker-named rows below stay exactly as they are, and this is the
+ * recorded decision rather than an omission.** The node that split the gate in two asks deliberately
+ * whether rows saying `rater` should move now that there are two models, and the answer is no, for a
+ * reason that is about truth rather than effort:
+ *
+ * - every row here renders the CLASSIFIER's own verdict — `round.outcome` and `round.reason` are its
+ *   answer, and it is still the auto-rater. Nothing on these rows was ever the alignment checker's,
+ *   so nothing here is misattributed;
+ * - `(not shown to the rater)` and `(on the command alone)` are MORE literally true after the split
+ *   than before it, because the classifier's input shrank to the command. Rewording either one to
+ *   account for the checker would make a true statement about the classifier into a false one;
+ * - the checker's own voice on screen is an ADDITION to the display, not a correction of it — a new
+ *   row for a new speaker. That is display work in its own right (the [[TUI-C69]]/[[TUI-C98]]
+ *   surface), it moves strings the `tui-e2e` suite asserts on by literal, and it therefore needs the
+ *   Windows cell of `tui-e2e.yml` read before it lands. It is deliberately NOT done here.
+ *
+ * So: the existing labels are SETTLED and must not be reworded. Showing the check's own answer is
+ * DEFERRED, and is a display ticket, not a leftover of this one.
+ */
+function negotiationRoundRows(round, label, roundOne) {
+    const rows = [
+        { voice: 'agent', text: `  ${label}: ${oneLine(round.command)}` },
+    ];
+    const justification = round.justification?.trim();
+    if (justification) {
         rows.push({
             voice: 'agent',
-            text: `  Round ${firstNumber + index}${pending}: ${oneLine(round.command)}`,
-        });
-        const justification = round.justification?.trim();
-        if (justification) {
-            rows.push({
-                voice: 'agent',
-                text: `    agent justified${roundOne ? ' (not shown to the rater)' : ''}: ${oneLine(justification)}`,
-            });
-        }
-        const reason = round.reason.trim();
-        rows.push({
-            voice: 'rater',
-            text: `    rater answered${roundOne ? ' (on the command alone)' : ''}: ${round.outcome}${reason ? ` — ${oneLine(reason)}` : ''}`,
+            text: `    agent justified${roundOne ? ' (not shown to the rater)' : ''}: ${oneLine(justification)}`,
         });
+    }
+    const reason = round.reason.trim();
+    rows.push({
+        voice: 'rater',
+        text: `    rater answered${roundOne ? ' (on the command alone)' : ''}: ${round.outcome}${reason ? ` — ${oneLine(reason)}` : ''}`,
     });
+    return rows;
+}
+/**
+ * [[TUI-C69]] §5.4 — **the whole live exchange as a bounded screen**, for a surface that redraws a
+ * pinned region rather than appending to scrollback.
+ *
+ * ## Why this exists rather than the caller looping over {@link renderNegotiationRows}
+ *
+ * **A cap applied one round at a time is not a cap.** The escalation prompt hands the renderer its
+ * whole transcript, so `slice(-NEGOTIATION_MAX_ROUNDS_SHOWN)` bounds it; a live surface that
+ * rendered each round as it arrived and kept the output handed the renderer a ONE-element array
+ * every time, where that slice is an identity operation, and then accumulated the results. The
+ * bound was still in the code and applied to nothing. **Measured**: a nine-round argument cost 46
+ * rows at 80 columns that way, against 16 for the same argument in the prompt.
+ *
+ * That is not a tidiness problem. The Ink surface pins this inside a `flexShrink={0}` dock —
+ * [[TUI-C75]]'s governing constraint is that the dialog does not scroll, so rows spent here are
+ * taken from the conversation, and past a couple of dozen they push the input prompt off the
+ * bottom of an 80×24 terminal. Every other occupant of that dock is bounded; this was the one that
+ * was not.
+ *
+ * ## What it shows
+ *
+ * The newest {@link NEGOTIATION_MAX_ROUNDS_SHOWN} rounds, **unconditionally** — a screen is what
+ * this is for, so unlike {@link renderNegotiationRows} it does not let an absent `width` mean "show
+ * everything". A caller that wants the whole exchange unbounded wants the escalation renderer.
+ *
+ * Each round keeps the number of its own position in the transcript, so the numbers a watcher sees
+ * are the numbers the escalation prompt will use for the same rounds even after the earlier ones
+ * scroll out of this window — and an `agreed` round is labelled rather than numbered, for the
+ * reason {@link LiveNegotiationRound.agreed} gives.
+ *
+ * The context sentence is drawn **every time** rather than only over round one. Once the window
+ * slides, the round that carried it is gone, and the alternative is a bare `Round 7:` heading
+ * nothing — an unattributed command sitting in the chrome of a tool that is asking the user to
+ * trust it. One row is the right price for saying whose argument this is.
+ */
+export function renderLiveNegotiationRows(rounds, options) {
+    if (rounds.length === 0)
+        return [];
+    const width = options?.width;
+    const shown = rounds.slice(-NEGOTIATION_MAX_ROUNDS_SHOWN);
+    const rows = [
+        { voice: 'chrome', text: 'The agent is negotiating with the auto-rater:' },
+    ];
+    for (const entry of shown) {
+        rows.push(...negotiationRoundRows(entry.round, entry.agreed === true ? endingLabel(entry.revised) : `Round ${entry.position + 1}`, entry.agreed !== true && entry.position === 0));
+    }
     if (width === undefined)
         return rows;
     return rows.flatMap((row) => wrapRow(row, width));

package/dist/core/shell/negotiation.js.map

@@ -1 +1 @@
-{"version":3,"file":"negotiation.js","sourceRoot":"","sources":["../../../src/core/shell/negotiation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAEjG,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC;AAE5C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC;AAuB7C;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG,EAAE,CAAC;AAErD;;;;;;;;;;;;;GAaG;AACH,MAAM,OAAO,qBAAqB;IAChC,+EAA+E;IACvE,MAAM,GAA4B,EAAE,CAAC;IAC7C,6FAA6F;IACrF,WAAW,GAAG,CAAC,CAAC;IACxB,4EAA4E;IACpE,UAAU,GAAG,CAAC,CAAC;IACvB,qGAAqG;IAC7F,YAAY,GAAa,EAAE,CAAC;IAEpC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAiCG;IACH,UAAU,CAAC,aAAsB;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;QAC1C,OAAO;YACL,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa;YACnD,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC;YACpD,WAAW,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;SAC9B,CAAC;IACJ,CAAC;IAED;;;;;;;;OAQG;IACH,eAAe,CAAC,KAA4B;QAC1C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;QACrB,IAAI,IAAI,CAAC,WAAW,IAAI,0BAA0B;YAAE,OAAO,UAAU,CAAC;QACtE,IAAI,IAAI,CAAC,UAAU,IAAI,2BAA2B;YAAE,OAAO,UAAU,CAAC;QACtE,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,YAAY;QACV,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC;IACvB,CAAC;IAED;;;;OAIG;IACH,YAAY;QACV,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC;QACrB,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC;IACtB,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,gBAAgB,CAAC,QAA2B;QAC1C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAChD,IAAI,IAAI,KAAK,CAAC,CAAC;gBAAE,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACnD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,kCAAkC,EAAE,CAAC;YAClE,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,kCAAkC,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,UAAU;QACR,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACH,QAAQ;QACN,OAAO;YACL,qBAAqB,EAAE,IAAI,CAAC,WAAW;YACvC,oBAAoB,EAAE,IAAI,CAAC,UAAU;YACrC,cAAc,EAAE,0BAA0B;YAC1C,cAAc,EAAE,2BAA2B;SAC5C,CAAC;IACJ,CAAC;IAED,4FAA4F;IAC5F,KAAK;QACH,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;IACzB,CAAC;CACF;AAoBD;;;;;;;;;GASG;AACH,MAAM,mBAAmB,GAAG,UAAU,CAAC;AAEvC;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC;AAElD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC;AAE9C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAwC,EACxC,OAOC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,CAAC;IAC7B,+FAA+F;IAC/F,uDAAuD;IACvD,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,4BAA4B,CAAC,CAAC;IACzF,iGAAiG;IACjG,qFAAqF;IACrF,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7E,8FAA8F;IAC9F,+FAA+F;IAC/F,iDAAiD;IACjD,MAAM,WAAW,GAAG,QAAQ,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAChD,0FAA0F;IAC1F,+FAA+F;IAC/F,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC7C,MAAM,IAAI,GAAqB;QAC7B;YACE,KAAK,EAAE,QAAQ;YACf,IAAI,EACF,QAAQ,GAAG,KAAK,CAAC,MAAM;gBACrB,CAAC,CAAC,wCAAwC,QAAQ,oBAAoB,KAAK,CAAC,MAAM,WAAW;gBAC7F,CAAC,CAAC,wCAAwC,QAAQ,IAAI,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,GAAG;SAC/F;KACF,CAAC;IACF,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC7B,4FAA4F;QAC5F,wFAAwF;QACxF,yFAAyF;QACzF,MAAM,OAAO,GAAG,OAAO,GAAG,KAAK,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,4FAA4F;QAC5F,yFAAyF;QACzF,6FAA6F;QAC7F,6FAA6F;QAC7F,MAAM,QAAQ,GAAG,OAAO,GAAG,KAAK,KAAK,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI,CAAC;YACR,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,WAAW,WAAW,GAAG,KAAK,GAAG,OAAO,KAAK,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;SAC5E,CAAC,CAAC;QACH,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,EAAE,IAAI,EAAE,CAAC;QAClD,IAAI,aAAa,EAAE,CAAC;YAClB,IAAI,CAAC,IAAI,CAAC;gBACR,KAAK,EAAE,OAAO;gBACd,IAAI,EAAE,sBAAsB,QAAQ,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,aAAa,CAAC,EAAE;aACrG,CAAC,CAAC;QACL,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC;YACR,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,qBAAqB,QAAQ,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;SACjI,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,OAAO,CAAC,GAAmB,EAAE,KAAa;IACjD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,iBAAiB,EAAE,KAAK,GAAG,eAAe,CAAC,mBAAmB,CAAC,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,gFAAgF;IAChF,6FAA6F;IAC7F,iGAAiG;IACjG,8FAA8F;IAC9F,gGAAgG;IAChG,4FAA4F;IAC5F,MAAM,IAAI,GACR,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,gCAAgC,CAAC,CAAC;IACzF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,IAAI,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,MAAM,IAAI,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QAChE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7B,2FAA2F;QAC3F,8FAA8F;QAC9F,gGAAgG;QAChG,gGAAgG;QAChG,8FAA8F;QAC9F,MAAM,IAAI,GAAG,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAI,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvF,MAAM,QAAQ,GAAG,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC;YACR,eAAe,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,OAAO;QACL,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE;QAChC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,mBAAmB,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC;KACrF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAAwC,EACxC,QAAiB;IAEjB,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC9F,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC"}
+{"version":3,"file":"negotiation.js","sourceRoot":"","sources":["../../../src/core/shell/negotiation.ts"],"names":[],"mappings":"AAiCA,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAEjG,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC;AAE5C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC;AAuB7C;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG,EAAE,CAAC;AAErD;;;;;;;;;;;;;GAaG;AACH,MAAM,OAAO,qBAAqB;IAChC,qFAAqF;IAC7E,MAAM,GAA4B,EAAE,CAAC;IAC7C;;;OAGG;IACK,WAAW,GAAG,CAAC,CAAC;IACxB,4EAA4E;IACpE,UAAU,GAAG,CAAC,CAAC;IACvB,qGAAqG;IAC7F,YAAY,GAAa,EAAE,CAAC;IACpC;;;;OAIG;IACK,sBAAsB,GAAG,KAAK,CAAC;IAEvC;;;;;;;;;;;;;OAaG;IACH,eAAe;QACb,OAAO,IAAI,CAAC,MAAM;aACf,MAAM,CACL,CAAC,KAAK,EAAqE,EAAE,CAC3E,KAAK,CAAC,SAAS,KAAK,SAAS,CAChC;aACA,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACf,OAAO,EAAE;gBACP,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACvE;YACD,QAAQ,EAAE,KAAK,CAAC,SAAS;SAC1B,CAAC,CAAC,CAAC;IACR,CAAC;IAED;;;;;;;;OAQG;IACH,eAAe,CAAC,KAA4B;QAC1C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;QACrB,IAAI,IAAI,CAAC,WAAW,IAAI,0BAA0B;YAAE,OAAO,UAAU,CAAC;QACtE,IAAI,IAAI,CAAC,UAAU,IAAI,2BAA2B;YAAE,OAAO,UAAU,CAAC;QACtE,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH,YAAY;QACV,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC;IACvB,CAAC;IAED;;;;OAIG;IACH,YAAY;QACV,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC;QACrB,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC;IACtB,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,gBAAgB,CAAC,QAA2B;QAC1C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAChD,IAAI,IAAI,KAAK,CAAC,CAAC;gBAAE,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACnD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,kCAAkC,EAAE,CAAC;YAClE,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,kCAAkC,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,oBAAoB;QAClB,IAAI,CAAC,IAAI,CAAC,sBAAsB;YAAE,OAAO,EAAE,CAAC;QAC5C,OAAO,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;IAChC,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,mBAAmB,CAAC,QAAiB;QACnC,IAAI,CAAC,sBAAsB,GAAG,QAAQ,CAAC;IACzC,CAAC;IAED;;;OAGG;IACH,UAAU;QACR,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACH,QAAQ;QACN,OAAO;YACL,qBAAqB,EAAE,IAAI,CAAC,WAAW;YACvC,oBAAoB,EAAE,IAAI,CAAC,UAAU;YACrC,cAAc,EAAE,0BAA0B;YAC1C,cAAc,EAAE,2BAA2B;SAC5C,CAAC;IACJ,CAAC;IAED,4FAA4F;IAC5F,KAAK;QACH,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;IACzB,CAAC;CACF;AAgID;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,GAAG,CAAC;AAEnD;;;;;;;;;GASG;AACH,MAAM,mBAAmB,GAAG,UAAU,CAAC;AAEvC;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC;AAElD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC;AAE9C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAwC,EACxC,OAkDC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,CAAC;IAC7B,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,KAAK,MAAM,CAAC;IACtC,8FAA8F;IAC9F,8FAA8F;IAC9F,oBAAoB;IACpB,MAAM,MAAM,GAAG,IAAI,IAAI,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAChD,+FAA+F;IAC/F,uDAAuD;IACvD,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,4BAA4B,CAAC,CAAC;IACzF,iGAAiG;IACjG,qFAAqF;IACrF,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7E,8FAA8F;IAC9F,+FAA+F;IAC/F,oFAAoF;IACpF,MAAM,OAAO,GAAG,OAAO,EAAE,IAAI,IAAI,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC9D,8FAA8F;IAC9F,+FAA+F;IAC/F,gGAAgG;IAChG,kFAAkF;IAClF,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACrE,MAAM,IAAI,GAAqB,EAAE,CAAC;IAClC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,CAAC,IAAI,CAAC;YACR,KAAK,EAAE,QAAQ;YACf,IAAI,EACF,QAAQ,GAAG,KAAK,CAAC,MAAM;gBACrB,CAAC,CAAC,wCAAwC,QAAQ,oBAAoB,KAAK,CAAC,MAAM,WAAW;gBAC7F,CAAC,CAAC,wCAAwC,QAAQ,IAAI,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,GAAG;SAC/F,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;QACzB,0FAA0F;QAC1F,2FAA2F;QAC3F,uEAAuE;QACvE,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,+CAA+C,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC7B,4FAA4F;QAC5F,wFAAwF;QACxF,yFAAyF;QACzF,EAAE;QACF,2FAA2F;QAC3F,6DAA6D;QAC7D,MAAM,OAAO,GAAG,CAAC,IAAI,IAAI,OAAO,GAAG,KAAK,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;QACxF,6FAA6F;QAC7F,6FAA6F;QAC7F,2FAA2F;QAC3F,yFAAyF;QACzF,IAAI,CAAC,IAAI,CACP,GAAG,oBAAoB,CACrB,KAAK,EACL,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,WAAW,GAAG,KAAK,GAAG,OAAO,EAAE;QACjF,2FAA2F;QAC3F,yFAAyF;QACzF,iEAAiE;QACjE,EAAE;QACF,2FAA2F;QAC3F,4FAA4F;QAC5F,2FAA2F;QAC3F,0FAA0F;QAC1F,iBAAiB;QACjB,CAAC,MAAM,IAAI,OAAO,GAAG,KAAK,KAAK,CAAC,CACjC,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,GAAG,CAAC,OAA4B,EAAU,EAAE,CAC3D,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC;AAE3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,SAAS,oBAAoB,CAC3B,KAA4B,EAC5B,KAAa,EACb,QAAiB;IAEjB,MAAM,IAAI,GAAqB;QAC7B,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,KAAK,KAAK,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE;KAClE,CAAC;IACF,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,EAAE,IAAI,EAAE,CAAC;IAClD,IAAI,aAAa,EAAE,CAAC;QAClB,IAAI,CAAC,IAAI,CAAC;YACR,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,sBAAsB,QAAQ,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,aAAa,CAAC,EAAE;SACrG,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACnC,IAAI,CAAC,IAAI,CAAC;QACR,KAAK,EAAE,OAAO;QACd,IAAI,EAAE,qBAAqB,QAAQ,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;KACjI,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAuC,EACvC,OAA4B;IAE5B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,CAAC;IAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,4BAA4B,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAqB;QAC7B,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,+CAA+C,EAAE;KAC3E,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CACP,GAAG,oBAAoB,CACrB,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,QAAQ,GAAG,CAAC,EAAE,EAClF,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,CAC9C,CACF,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,OAAO,CAAC,GAAmB,EAAE,KAAa;IACjD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,iBAAiB,EAAE,KAAK,GAAG,eAAe,CAAC,mBAAmB,CAAC,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,gFAAgF;IAChF,6FAA6F;IAC7F,iGAAiG;IACjG,8FAA8F;IAC9F,gGAAgG;IAChG,4FAA4F;IAC5F,MAAM,IAAI,GACR,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,gCAAgC,CAAC,CAAC;IACzF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,IAAI,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,MAAM,IAAI,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QAChE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7B,2FAA2F;QAC3F,8FAA8F;QAC9F,gGAAgG;QAChG,gGAAgG;QAChG,8FAA8F;QAC9F,MAAM,IAAI,GAAG,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAI,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvF,MAAM,QAAQ,GAAG,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC;YACR,eAAe,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,OAAO;QACL,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE;QAChC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,mBAAmB,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC;KACrF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAAwC,EACxC,QAAiB;IAEjB,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC9F,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC"}