Commit Graph

5 Commits

Author SHA1 Message Date
Tianyi Cui dddebe6755 Merge codex/goal-domain into codex/goal-tools 2026-07-20 01:12:37 +08:00
Tianyi Cui af4313ec11 Merge rfc/loop into codex/goal-domain 2026-07-20 01:04:15 +08:00
Tianyi Cui b1b57a0ac5 Require Agent Notes for non-trivial changes 2026-07-19 23:29:55 +08:00
Tianyi Cui 4779d04af8 Remove generated Agent Note index 2026-07-19 23:15:23 +08:00
Tianyi Cui e8eddc7ef8 Rename RFCs to Agent Notes 2026-07-19 22:52:03 +08:00