fiddlerwoaroof/improvise
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

docs(context): drop the grid_width location fact that kb-test counts against

Browse Source 
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) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze
This commit is contained in:
Edward Langley
2026-09-24 20:18:45 -07:00
parent d5fd1ec824
commit c0368123fd
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
prolog-sessions/kb.pl
-1
View File
@@ -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_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(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(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(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(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\")'). invariant(fixedpoint_eval,'recompute_formulas iterates to stability; circular -> CellValue::Error(\"circular\")').