Repository navigation

det ports: one-line field declarations (-20.7% code lines) and named 88 condition methods, under proof - #4202

Merged

squid-protocol merged 4 commits into

mainfrom

feat/det-readable-88-levels

Oct 3, 2026

Merged

det ports: one-line field declarations (-20.7% code lines) and named 88 condition methods, under proof#4202
squid-protocol merged 4 commits into
mainfrom
feat/det-readable-88-levels

Commits on Oct 3, 2026
- det: named condition methods for 88s; one-line field declarations (-20.7% code lines)
  
  squid-protocol
  and
  claude
  committed
  3d86907
- det: set comprehension for the paragraph-name check (ruff C401)
  
  squid-protocol
  and
  claude
  committed
  ed82b14
- docs: det port shape -- one-line field declarations, named 88 methods; lesson: measure the det output
  
  squid-protocol
  and
  claude
  committed
  091b96c
- merge origin/main
  squid-protocol
  committed
  67dbc6d