Repository navigation

List Found as facts and show only readable simplification steps - #185

Open

CatarinaGamboa wants to merge 9 commits into

mainfrom

study-found-box

Open

List Found as facts and show only readable simplification steps#185
CatarinaGamboa wants to merge 9 commits into
mainfrom
study-found-box

Commits on Nov 10, 2026
- List Found as facts and show only readable simplification steps
  
  CatarinaGamboa
  and
  claude
  committed
  2c41f1e
- Make the step merge condition explicit about the first step
  
  CatarinaGamboa
  and
  claude
  committed
  0f68b5f
- Send the error category to the client and key "Nothing is known" off it
  
  CatarinaGamboa
  and
  claude
  committed
  3209ab8
- Say that nothing known proves Expected when Found states nothing
  
  CatarinaGamboa
  and
  claude
  committed
  02de671
- Found: keep the binders and implications, with a line per conjunct
  
  CatarinaGamboa
  and
  claude
  committed
  0f2a980
- Found: open on a summary step when nothing known proves Expected, so the chain is a step back
  
  CatarinaGamboa
  and
  claude
  committed
  4fb1a77
- Found: do not split a conjunct at an && inside a string literal
  
  CatarinaGamboa
  and
  claude
  committed
  fbd6f8a
- Found: keep a fact on one line when an operator weaker than && is outside parentheses
  
  CatarinaGamboa
  and
  claude
  committed
  44622f1
- Found: describe the Known Enum Values pass of the verifier
  
  CatarinaGamboa
  and
  claude
  committed
  f6c3959