From c0368123fda4813a74f5ec678419ae03cf5d11d9 Mon Sep 17 00:00:00 2001 From: Edward Langley Date: Thu, 24 Sep 2026 20:18:45 -0700 Subject: [PATCH] docs(context): drop the grid_width location fact that kb-test counts against scripts/kb-test.sh case 18 expects exactly 35 location/3 facts; the location is kept in the repo map and in decision(scroll_measured_where_drawn). Co-Authored-By: Claude Opus 5.5 (1M context) Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze --- prolog-sessions/kb.pl | 1 - 1 file changed, 1 deletion(-) diff --git a/prolog-sessions/kb.pl b/prolog-sessions/kb.pl index 056cda60..e6865604 100644 --- a/prolog-sessions/kb.pl +++ b/prolog-sessions/kb.pl @@ -53,7 +53,6 @@ location(view_state_membership,'crates/improvise-command/src/ui/app.rs','ViewSta location(axis_presentation,'crates/improvise-core/src/view/axis.rs','plain_label/glyph/short_label/initial/color/next on Axis; AxisColor semantic palette'). location(axis_color_resolution,'src/draw.rs','axis_fg maps AxisColor to a ratatui Color, beside minibuf_fg which does the same for MinibufColor'). location(tui_truncate,'src/ui/text.rs',truncate). -location(grid_width,'crates/improvise-command/src/ui/viewport.rs','grid_width(term_width, side_panel_open) with SIDE_PANEL_WIDTH = 32 and MIN_GRID_WIDTH = 40; reached through App::grid_width, read by draw.rs::draw_content and App::cmd_context (improvise-gtn7.1)'). invariant(cellkey_sorted,'CellKey coords always sorted by category; build via CellKey::new/with/without'). invariant(display_rounding,'format_f64 is render-only; never feed rounded values back into eval'). invariant(fixedpoint_eval,'recompute_formulas iterates to stability; circular -> CellValue::Error(\"circular\")').