1
I Use This!
Very High Activity

Commits : Listings

Analyzed about 23 hours ago. based on code collected 2 days ago.
Nov 13, 2025 — Nov 13, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
docs: one home per rule More... 3 months ago
docs: separating design from implementation is a preference More... 3 months ago
docs: change the design in one PR, implement in the next More... 3 months ago
REVIEW.md: an underspecified design is an increment, not a blocker More... 3 months ago
docs: draw the vague/implementer's-choice line, drop the restatements More... 3 months ago
rtti: keep the index walk linear, and its fixtures out of FunctionalScript More... 3 months ago
REVIEW.md: cut it to the signal More... 3 months ago
REVIEW.md: move addressing review comments into its own document More... 3 months ago
rtti: bound the member walk, and the index range it walks over More... 3 months ago
docs: answer a rule generalized from one case with the case it breaks More... 3 months ago
docs: name the kind of loud, and find an issue before filing one More... 3 months ago
AGENTS.md: rewrap the last line of the review paragraph More... 3 months ago
AGENTS.md: rewrap the review paragraph at 80 columns More... 3 months ago
DESIGN.md: refusing is the mitigation, not the resolution More... 3 months ago
DESIGN.md: refuse what you cannot handle More... 3 months ago
Merge remote-tracking branch 'origin/claude/pr-review-guidelines-agents-dw1vv7' into claude/pr-review-guidelines-agents-dw1vv7 More... 3 months ago
docs: blast radius, not claimed scope, bounds a deferred crash More... 3 months ago
Merge branch 'main' into claude/pr-review-guidelines-agents-dw1vv7 More... 3 months ago
Merge branch 'main' into claude/rtti-const-closed-proposal-pjm8rb More... 3 months ago
changelog: name the entry by its pull-request number More... 3 months ago
website: run proofs in generated browser page (#1726) More... 3 months ago
rtti: state the closed default in prose, and retire the issues it settles More... 3 months ago
website: read a proof exported through a binding pattern More... 3 months ago
docs: merge the knowledge is the criterion, not a supporting argument More... 3 months ago
docs: a todo that cannot be implemented is rewritten, not forced More... 3 months ago
docs: a known crash may be deferred; prototypes feed the design More... 3 months ago
emergent_testing/browser: report the stack of an error from another realm More... 3 months ago
docs: how to address review comments that grow a PR More... 3 months ago
website: read module specifiers as tokens, not as lines More... 3 months ago
rtti: a bare `Const` is closed; `rest(c, r)`/`open(c)` state otherwise More... 3 months ago