docs(divergences): correct ledger after adversarial re-audit (#138)

Re-verified every ledger entry against Ink v7.0.4. Fixes: MI5 (remove false
"residual false-child divergence", verified by running Ink), MI3 (Model-Implied
-> Intentional), VI2 (-> Non-Behavioral), VI3 (-> Intentional), and an
error-overview test comment (Ink renders blank error.message, not String(value)).
ID4 verified accurate and left unchanged.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This commit is contained in:
Yunfei He
2026-06-05 08:49:53 +08:00
committed by GitHub
parent 7f3b0ca40e
commit a31e8fa335
2 changed files with 58 additions and 73 deletions
@@ -132,8 +132,10 @@ test("unparsable stack frame falls back to literal backslash-t (not a real TAB)"
test("primitive (non-Error) throw renders ERROR header with no synthetic stack", async () => {
const frame = await renderErrorFrame(PrimitiveThrower);
// Ink derives the message from the value (String(value)) and renders just the
// header for a primitive throw.
// vue-tui renders String(value) as the message for a primitive throw, so the header
// shows the thrown text. (Ink renders {error.message}, blank for a primitive that has no
// .message — see .agents/docs/ink-divergences.md, section "Non-Error thrown values keep
// their message in the error overview".)
expect(frame).toContain(" ERROR primitive thrown");
// A primitive has no .stack, so Ink renders no origin/excerpt/stack block.