Repository navigation

[DO NOT MERGE] Formal verification reference: TLA+/Lean models, defect catalogue and fix plans - #1549

Closed

joaodinissf wants to merge 3 commits into

docs/formal-verification-reference

Closed

[DO NOT MERGE] Formal verification reference: TLA+/Lean models, defect catalogue and fix plans#1549
joaodinissf wants to merge 3 commits into
masterfrom
docs/formal-verification-reference

Commits on Sep 29, 2026
- test(formal): add TLA+ and Lean models of five DDK subsystems
  
  joaodinissf
  and
  claude
  committed
  f7a88b5
- test: add disabled failing-first tests for formally found defects
  
  joaodinissf
  and
  claude
  committed
  6ee05b8
- docs(formal): add campaign analysis, defect catalogue and fix plans
  
  joaodinissf
  and
  claude
  committed
  af49781