Partial #56 hardening receipt from clean local commit c6c5366.
Deterministic verification passed:
zig build✅zig build test✅zig build v1-smoke✅zig build run -- --help…
Completed final parent checklist item: Prove the revised grammar in terminal E2E with keystroke budgets and traces.
No source changes in this receipt; proof ran from clean local commit c6c5366.
…
Completed parent checklist item: Redesign file/search/job/PI panels around the wider key surface.
Implemented in local commit c6c5366 (Expose panel rails with mobile aliases):
- Added…
Completed parent checklist item: Redesign LSP hover/signature/parameter navigation shortcuts for mobile SSH.
Implemented in local commit 4789cf7 (`Group LSP parameter navigation on language…
Completed parent checklist item: Redesign selection/object workflows for thumb + Esc/Ctrl ergonomics.
Implemented in local commit accbedb (Add select object rail):
- Select mode keeps bare…
Completed parent checklist item: Motion grammar for line start/end and selection motions.
Implemented in local commit d7bf5ed (Separate first nonblank line motion):
- Added protocol/session…
Completed parent checklist item: Mode switching contract across Normal/Insert/Select.
Implemented in local commit d5c31a9 (Document Esc and Ctrl bracket mode exits):
- KEYMAP.md now…
Completed parent checklist item: Define mobile SSH input tiers and update KEYMAP/requirements.
Implemented in local commit 2e60a09 (Define mobile SSH input tiers):
- KEYMAP.md now defines…
Deterministic #64 receipt update.
While attempting final visual dogfood closure, zig build v1-smoke exposed a stale smoke helper: it measured ANSI-styled frame line length by raw bytes rather…