fix(tui): a null message_id on the first hook fire must not disarm the F1 guard (#160)

Residual found by the independent reviewer's second pass, by PROBING the fixed code rather
than reading it — the F1 fix was correct but its ARMING could be skipped entirely.

TuiDeltaAssembler.messageId was initialized to `null`. A first MessageDisplay payload carrying
message_id:null therefore compared EQUAL to the sentinel, registered no boundary, and left
`messages` at 0. When the real boundary then arrived, `else if (this.messages > 1)` evaluated
1 > 1 === false, so restartedAfterEmit never armed, and the `released` branch forwarded the
auth banner to the client — the exact leak F1 closed, reachable again through a single null
field. parseDeltaChunk does not validate message_id, so such a payload does reach push().

Two changes, both narrowing:
  - messageId now initializes to a Symbol sentinel, which is === to nothing a JSON payload can
    produce, so the first fire ALWAYS registers as message 1 whatever its message_id is.
  - the boundary branch drops the `this.messages > 1` sub-condition. It bought nothing and was
    the sole cause. The real invariant is "a boundary occurred while emitted !== ''" — which is
    unrecoverable regardless of how many messages have been seen — and that is now what the
    code says.

Whether claude ever emits message_id:null is unverified (the observed contract has it present),
so this is defense-in-depth, not a live bug. But the guard is the mechanism this feature
nominates as its primary safety property; it should not be disarmable by a field's absence.

Mutation-tested: restore the null sentinel + the messages>1 condition and the new test fails;
with the fix, 317 passed / 0 failed (was 316).

Class B (ADR 0007, OCP-owned TUI spawn) — cli.js does NOT perform this operation.


Claude-Session: https://claude.ai/code/session_01VqgWJcjxrjjL9L9SkpZyXR

Co-authored-by: dtzp555 <dtzp555@gmail.com>
Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>
This commit is contained in:
dtzp555-max
2026-07-14 08:21:30 +10:00
committed by GitHub
co-authored by taodeng Claude Opus 4.8
parent 1b324968f4
commit a90f830b5d
2 changed files with 35 additions and 2 deletions
+20
View File
@@ -3598,6 +3598,26 @@ test("F1: an auth banner rendered as a LATER message is never forwarded to the c
assert.equal(a.finalize(BANNER).ok, false, "and the turn is refused, not served");
});
test("F1: a first payload with message_id:null cannot disarm the guard", () => {
// The residual bypass the reviewer found by probing. `this.messageId` used to be initialized
// to null, so a first payload carrying message_id:null compared EQUAL to it → no boundary
// registered → `messages` stayed 0 → when the REAL boundary arrived, `messages > 1` evaluated
// 1 > 1 === false → restartedAfterEmit never armed → the released branch forwarded the banner.
// The whole F1 guard was disarmed by a single null field. parseDeltaChunk does not validate
// message_id, so such a payload does reach push().
const a = new TuiDeltaAssembler({ holdbackChars: 100 });
const narration = "I'll check that file for you and then report back with what I find inside it.";
a.push({ hook_event_name: "MessageDisplay", message_id: null, delta: narration + narration });
assert.notEqual(a.emitted, "", "precondition: the narration released to the client");
assert.equal(a.messages, 1, "a null message_id is still a MESSAGE — it must register as one");
const BANNER = "Please run /login · API Error: 401 Invalid authentication credentials";
const out = a.push({ hook_event_name: "MessageDisplay", message_id: "m2", delta: BANNER });
assert.equal(out, null, "the banner must not be forwarded — the guard must arm regardless");
assert.equal(a.restartedAfterEmit, true);
assert.ok(!a.emitted.includes("401"));
});
test("F1: whitespace cannot buy a release — the holdback screens TRIMMED length", () => {
// detectTuiUpstreamError() TRIMS before applying its <=100-char rule, so gating release on
// the UNTRIMMED pending.length let 101 spaces trim to "" → the detector has nothing to