neuwirth
/
pmacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

test(panel): Absent joins the matrix, and G5m proves its coincidence 

Answers review of c37c066.

ABSENT WAS MISSING. The approved G5b table has five transitions, not
four, so the matrix was 16 quadrants where it should be 20. Added, and
it earns its place twice: as the fifth row, and as a CONTROL on SS5b's
own cancellation --- removing that cancel now fails the Absent quadrants
while the four this lane added still pass.

The quadrant count is asserted in the row. A loop that quietly stops
covering a combination passes exactly as loudly as one that covers them
all, which is the same read-success-from-absence shape as a test filter
that matches nothing.

G5m ASSUMED its composites. Both scenarios asserted one release without
ever checking the mapping moved, so either would pass as a
single-cause transition wearing a composite's name. It now peeks the
generation before and asserts it advanced after --- peeked, because
reading through the authoritative accessor would advance the key and
manufacture the very second cause the row is meant to observe. The
assertion bites: a same-size geometry change does NOT move the mapping,
and substituting one fails the fixture.

The doubled P12 rustdoc line is back and removed again. I wrote the note
about this exact seam after the first occurrence and then spliced
through it a second time. The crate-wide sweep is now a real check
rather than a grep I improvised: every `///` line containing a second
`///` that is not a URL.

Machine note: a foreign C++ build was running at load 114 during the
final verification, and three wall-clock rows redded under it ---
m6_2_pty_streaming_respects_byte_ceiling,
composition_overhead_under_ten_percent and
full_buffer_summary_flatten_scales_on_large_grammar_file --- each green
in isolation. The gate still wants a quiet machine.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_016bqGA6s9tTUFzYpbeW3tai
This commit is contained in:
Levi Neuwirth 2026-08-21 12:15:56 +02:00
parent c37c066786
commit 70999e22ac
No known key found for this signature in database
2 changed files with 56 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
docs/active-work.md
View File

@ -366,8 +366,13 @@ from #171 and #215 — the correction the 1b lane missed, honoured here.
needed a retained `geometry_epoch` because nothing else the
producer holds moves with it); **detach** cancels in the dispatcher
before any teardown.
- **Witnessed by a TABLE-DRIVEN matrix**: four transitions × two
families × two targets, sixteen quadrants, each **draining
- **Witnessed by a TABLE-DRIVEN matrix**: **five** transitions ×
two families × two targets, **twenty quadrants** — `Absent`
included, both as the fifth row and as a CONTROL on §5b's own
cancellation, which a mutation confirms it catches. The count is
asserted in the row, because a loop that quietly stops covering a
combination passes exactly as loudly as one that covers them all.
Each quadrant **drains
explicitly** and asserting the effect — the exact release bytes
for a reporting terminal, the cleared empty selection for a
document, and an empty slot afterwards. An earlier version
@ -384,6 +389,12 @@ from #171 and #215 — the correction the 1b lane missed, honoured here.
replacement that also moves the mapping — and reads the child's
stream rather than a cancellation count, because a count of one
proves the latch was taken once, not that one release went out.
It also **asserts the mapping generation actually advances**:
without that, a same-size geometry change passes as a
"composite" while being a single cause, and the row would prove
nothing about coincidence. Peeked rather than read through the
authoritative accessor, which would advance the key and
manufacture the second cause.
- **G5j has two legs and they differ**: an empty selection is
cleared without moving point, a REAL dragged region survives
anchor-and-cursor exact. Clearing every selection fails the

47
src/daemon.rs
View File

@ -8831,6 +8831,12 @@ mod tests {
/// Which authority loss a matrix row drives.
#[derive(Clone, Copy, Debug)]
enum LossCause {
/// The panel stops being presentable at all.
///
/// §5b wired this one, so it is the matrix's CONTROL as much as
/// its fifth row: if the four this lane added regressed while
/// `Absent` still worked, the matrix would say so.
Absent,
WindowReplaced,
BufferReplaced,
GeometrySameSize,
@ -8948,16 +8954,24 @@ mod tests {
)]
#[test]
fn g5b_the_authority_loss_matrix() {
use LossCause::{BufferReplaced, Detach, GeometrySameSize, WindowReplaced};
use LossCause::{Absent, BufferReplaced, Detach, GeometrySameSize, WindowReplaced};
use LossTarget::{Document, ReportingTerminal};
let mut next_fid = 830u64;
for cause in [WindowReplaced, BufferReplaced, GeometrySameSize, Detach] {
let mut quadrants = 0usize;
for cause in [
Absent,
WindowReplaced,
BufferReplaced,
GeometrySameSize,
Detach,
] {
for target in [Document, ReportingTerminal] {
for version in [LEGACY_PANEL_VERSION, PROTOCOL_VERSION] {
let fid = FrontendId(next_fid);
next_fid += 1;
let label = format!("{cause:?}/{target:?}/v{version}");
quadrants += 1;
let (mut editor, mut states, mut render, panel, buffer_id, epochs) =
loss_fixture(fid, version, target);
@ -8999,6 +9013,10 @@ mod tests {
let selection_before = editor.core.borrow().windows[&panel].selection;
match cause {
Absent => {
editor.hide_panel_for_test(fid);
render_and_redeclare(&editor, &mut states, fid);
}
WindowReplaced => {
replace_panel_window(&editor, fid, panel, buffer_id);
render_and_redeclare(&editor, &mut states, fid);
@ -9064,7 +9082,9 @@ mod tests {
None => assert!(
matches!(cause, WindowReplaced),
"{label}: the panel window vanished for \
a cause that should not remove it"
a cause that should not remove it --- \
`Absent` hides the panel and leaves the \
window, so only a replacement may land here"
),
}
}
@ -9072,6 +9092,12 @@ mod tests {
}
}
}
assert_eq!(
quadrants, 20,
"FIVE transitions x two families x two targets. Asserted \
because a loop that silently stops covering a combination \
passes exactly as loudly as one that covers them all"
);
}
/// G5m — coincident invalidations produce ONE completion effect.
@ -9106,12 +9132,25 @@ mod tests {
"{label}: fixture --- the press reached the child"
);
// The composite is only a composite if the MAPPING moves
// too. Peeked, not read through the authoritative accessor,
// which would advance the key and manufacture the very
// second cause this row is supposed to observe.
let mapping_before = stamped_generation(&states, fid);
if changed_size {
editor.accept_semantic_frame_geometry(fid, 2, CellSize::new(20, 60));
} else {
replace_panel_buffer(&editor, panel);
}
render_and_redeclare(&editor, &mut states, fid);
assert_ne!(
stamped_generation(&states, fid),
mapping_before,
"{label}: fixture --- the mapping generation must actually \
ADVANCE, or this is a single-cause transition wearing a \
composite's name and the row proves nothing about \
coincidence"
);
drain_pending_release(&mut editor, &mut states, fid);
assert_eq!(
@ -9214,7 +9253,7 @@ mod tests {
let _ = sem.render_frame(editor);
}
/// P12 — a panel WIDER THAN 512 COLUMNS still routes pointer input. /// P12 — a panel WIDER THAN 512 COLUMNS still routes pointer input.
/// P12 — a panel WIDER THAN 512 COLUMNS still routes pointer input.
///
/// A panel deliberately does not inherit the terminal's per-axis PTY
/// caps (Bet B5'): a 4K surface at a small font is legitimately