From 4391fcc03a214e6296e19ca42487de023ab12f6a Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Sat, 26 Sep 2026 16:02:24 -0700 Subject: bug fix widen Failed lattice law tests mixing constants and have wide type ints; or mixing wide ints and constant arrays. --- skills/graph-viewer-codex-notes.md | 23 +++++++++++++---------- 1 file changed, 13 insertions(+), 10 deletions(-) (limited to 'skills/graph-viewer-codex-notes.md') diff --git a/skills/graph-viewer-codex-notes.md b/skills/graph-viewer-codex-notes.md index 19fe3ec5..5b06bd6a 100644 --- a/skills/graph-viewer-codex-notes.md +++ b/skills/graph-viewer-codex-notes.md @@ -1,15 +1,17 @@ # Shared graph viewer: restart notes -Updated 2026-09-25. Read graph/README.md for the current design and protocol. +Updated 2026-09-26. Read graph/README.md for the current design and protocol. These are AI-facing continuity notes, not a new task list or authority to change -compiler semantics. Cliff reports the peephole animations, inlining display, and -TypeCheck diagnostics committed and working well as of 2026-09-25. +compiler semantics. Cliff declared the viewer task complete on 2026-09-26. +Peephole animations, inlining display, TypeCheck diagnostics, and arrow-key +playback are committed. Resume the independent bug-fix backport review from +docs/chapter-backports.md when requested. ## Working tree and latest change -Preserve existing dirty files. This checkout still reports earlier viewer changes -and untracked peep.js despite Cliff's report of commits; do not reconcile or -commit those files merely on the basis of these notes. +The working tree was clean when checked on 2026-09-26; the viewer changes, +including peep.js and arrow-key playback, are in a32e83c9. Preserve any later +unrelated dirty files. Latest request: Left/Right arrow keys perform the same actions as the Previous/Next buttons, including animation stages. Added outside inputs/editable content with @@ -143,10 +145,11 @@ capture server on an ephemeral port. Scratch helpers may disappear after cleanup ## Deferred work, not authorization to start -Cliff considers incomplete/exit-loop grouping adequate as is. Bounded history can -wait longer: mid-sized compiles slow the viewer, but it remains fine for demos. -Full graph snapshots currently remain cached. Stable whole-graph placement has no -agreed approach; compilation-unit containers remain deferred. +Cliff considers incomplete/exit-loop grouping adequate as is. Bounded history +storage waits until an actual usage issue warrants it; full graph snapshots +currently remain cached. Stable whole-graph placement awaits viewing a larger +program to establish what is needed. Compilation-unit containers remain deferred. +These are future considerations, not unfinished requirements of the completed task. Dead-field cleanup/interprocedural reverse liveness is explicitly deferred; do not revive the rejected whole-graph store sweep. Private-field syntax decisions belong in the parser, not optimization. -- cgit v1.2.3