1
I Use This!
Very High Activity

Commits : Listings

Analyzed about 22 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
js/string_escape: index the table directly, keep the escape an expression More... 3 months ago
cas: reuse collectRead in round-trip proofs (#1695) More... 3 months ago
web: never read what is not a regular file More... 3 months ago
todo: derive the regeneration loop from the table instead of a fixed list More... 3 months ago
todo: complete the citation inventory; count bare sites, not links More... 3 months ago
todo: make the documented search runnable; drop the i32 false positive More... 3 months ago
web: do not serve dot-prefixed paths More... 3 months ago
edag/todo: one optional region, not one HCF lifetime More... 3 months ago
todo: resolve the retired ids from the deleted issues/ tree More... 3 months ago
effects/node: close the connection when refusing a request body More... 3 months ago
edag/todo: three bounded HCF nodes, not two More... 3 months ago
edag/todo: two bounded shapes get nodes, not all of them More... 3 months ago
edag/todo: finish carrying the minimality promotion through More... 3 months ago
todo: restore the paragraph break the retired-id list swallowed More... 3 months ago
todo: resolve i167, i198 and i160 from the commit log; cast in i66D's sketch More... 3 months ago
effects/node: a request must not be able to kill the server More... 3 months ago
todo: quantify O on toolMethod, and use pureOk in allVoid's alternative More... 3 months ago
mcp: bind O on i66D's continuation and spell its error channel never More... 3 months ago
edag/todo: the four families need minimality, not just cardinality More... 3 months ago
js: i666's tokenizeOp was inlined, not renamed — rebase the issue on that More... 3 months ago
Merge remote-tracking branch 'origin/claude/simple-file-server-tools-8mnzyv' into claude/simple-file-server-tools-8mnzyv More... 3 months ago
edag/todo: a `|?.()` opens a region or binds to one More... 3 months ago
changelog: fold the review-bot fixes into the #1693 entry More... 3 months ago
web: bind loopback, state Content-Length, refuse port 0 More... 3 months ago
changelog: entry for #1696 More... 3 months ago
js: one owner for the simple string escapes More... 3 months ago
cas: reuse collectRead in round-trip proofs More... 3 months ago
edag/todo: the seven kinds stand More... 3 months ago
js: repair i666's two re-derivable citations, flag the one that is not More... 3 months ago
bnf: projection is recursive, so scope the open question by depth More... 3 months ago