Skip to content

feat(guidelines): existence is not reachability — trace the current shape with the real input - #37

Merged
pallaoro merged 1 commit into
mainfrom
anything-we-could-have-helped-with
Sep 2, 2026
Merged

feat(guidelines): existence is not reachability — trace the current shape with the real input#37
pallaoro merged 1 commit into
mainfrom
anything-we-could-have-helped-with

Conversation

@pallaoro

@pallaoro pallaoro commented Sep 2, 2026

Copy link
Copy Markdown
Member

Reported from a real /visualize + /pressure-test run: the agent anchored every
node to an honest file:line and still drew a connect flow that cannot happen
today. The handler exists; the registry lookup for the concrete key fails inside
it. Every rule as written was satisfied, so the hole was in the rules.

  • /visualize: the "draw the current shape" bullet now says to carry the real
    input through every lookup, guard, and branch; a dead end is the current
    shape; a node whose annotation contradicts the diagram's conclusion is
    unreconciled — resolve or prune.
  • /pressure-test: the ledger gains a third hard rule — a file:line for the code
    a path runs through is not evidence the path runs for this input.
  • §7 "Read this codebase": "trace the real flow end to end" now reads "with the
    concrete input", so the rule reaches every harness, not only Claude Code.
    Mirrors regenerated with npm run build.
  • README: visualize description matches the command.

…hape with the real input

Reported from a real /visualize + /pressure-test run: the agent anchored every
node to an honest file:line and still drew a connect flow that cannot happen
today. The handler exists; the registry lookup for the concrete key fails inside
it. Every rule as written was satisfied, so the hole was in the rules.

- /visualize: the "draw the current shape" bullet now says to carry the real
  input through every lookup, guard, and branch; a dead end *is* the current
  shape; a node whose annotation contradicts the diagram's conclusion is
  unreconciled — resolve or prune.
- /pressure-test: the ledger gains a third hard rule — a file:line for the code
  a path runs *through* is not evidence the path *runs* for this input.
- §7 "Read this codebase": "trace the real flow end to end" now reads "with the
  concrete input", so the rule reaches every harness, not only Claude Code.
  Mirrors regenerated with `npm run build`.
- README: visualize description matches the command.
@pallaoro
pallaoro merged commit 1208819 into main Sep 2, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant