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
Merge branch 'main' into claude/edag-optional-property-lambda-7fho1u More... 3 months ago
json_rpc/todo: cite the whole quoted mcpStep block, not its first four lines More... 3 months ago
Merge branch 'main' into codex/fix-open-issue-in-todo-files More... 3 months ago
todo: no type establishes runtime ownership at the boundary More... 3 months ago
docs: drop the `Changelog: none` requirement More... 3 months ago
bigint: centralize sign access (#1699) More... 3 months ago
todo: totality is a property of the whole initializer More... 3 months ago
todo: declarations need every export; `parse` does not sever `unknown` More... 3 months ago
types/rtti/todo: define the empty rest operationally, not semantically More... 3 months ago
todo: `close(c, rest)` is inexpressible too; local schemas may throw More... 3 months ago
types/rtti/todo: cut the review scar tissue, keep the evidence More... 3 months ago
todo: the printer matches the readers on `unknown`; `Ts<>` is narrow More... 3 months ago
todo: tuple openness is not a defect; schema exports need their own type More... 3 months ago
todo: numeric constants are inexpressible too More... 3 months ago
todo: an upper-bound `.d.ts` is only safe in output positions More... 3 months ago
todo: correct the scope extension, the cost claim, and LSP transport More... 3 months ago
todo: function schemas need an algebra and a printer path, not just a form More... 3 months ago
todo: correct two stage-ordering claims More... 3 months ago
todo: state what a generated `.d.ts` cannot promise More... 3 months ago
todo: state the retirement rule once; stage 1 is not fully independent More... 3 months ago
types/rtti/todo: define "empty rest" as what `toData` normalizes away More... 3 months ago
Merge branch 'main' into claude/open-issue-fix-76mxy8 More... 3 months ago
types/rtti/todo: spell the changelog marker exactly More... 3 months ago
todo: `.d.ts` emission is not just a command More... 3 months ago
emergent_testing: install the SpiderMonkey shell through Nix More... 3 months ago
protocol/json_rpc: changelog the new types; fix two stale line citations More... 3 months ago
todo: `subset` is incomplete, and generic emission needs reification More... 3 months ago
emergent_testing: make the SpiderMonkey issue take the simplest path More... 3 months ago
changelog: add entry for iterate combinator More... 3 months ago
crypto/vdf: close iterate combinator todo More... 3 months ago