Skip to content

docs(formal): generate PROFILES.md from the replay descriptors and shrink BEHAVIOR.md - #233

Merged
lan17 merged 3 commits into
mainfrom
claude/formal-profiles-doc
Oct 15, 2026
Merged

docs(formal): generate PROFILES.md from the replay descriptors and shrink BEHAVIOR.md#233
lan17 merged 3 commits into
mainfrom
claude/formal-profiles-doc

Commits

  1. Commits on Oct 15, 2026