F

functionalscript

Settings | Report Duplicate

1

I Use This!

Very High Activity

Commits : Listings

Analyzed about 23 hours ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 13, 2025 — Nov 13, 2026 Showing page 439 of 540 Search / Filter on:
todo: types/list is 82, and make the #1719 hazard drift-proof	Claude	More...				3 months ago
website: run the complete proof suite in browsers	Sergey Shandar	More...				3 months ago
rtti/todo: render the open tuple tail, and migrate the option call sites	Claude	More...				3 months ago
docs: make the Changelog section optional for non-behavior PRs (#1724)	Sergey Shandar	More...				3 months ago
emergent_testing: file the SpiderMonkey test runner issue (#1723)	Sergey Shandar	More...				3 months ago
todo: the free-schema claim, sixth site; Related's order contradicted the gates	Claude	More...				3 months ago
rtti/todo: require an index-preserving rebuild for absent tuple positions	Claude	More...				3 months ago
todo: freeze must mean the whole retained graph; one more extern mandate	Claude	More...				3 months ago
website: run proofs in generated browser page	Sergey Shandar	More...				3 months ago
rtti/todo: add the JSON Schema renderer to both stages' migration	Claude	More...				3 months ago
todo: the isObject guard would break unknown; reconcile 3360 and 668	Claude	More...				3 months ago
rtti/todo: specify what the absent-bit strip does with a referenced rest	Claude	More...				3 months ago
types/rtti/todo: the empty-rest equality must be up to rule renaming	Claude	More...				3 months ago
todo: stage 4's toData remedy is gated on a data/thunk reader divergence	Claude	More...				3 months ago
rtti/todo: correct the absence rule's normalization claims	Claude	More...				3 months ago
todo: require the BREAKING CHANGES prefix verbatim on the move's entry	Claude	More...				3 months ago
todo: stage 12 is not numbered last, and 7 gates 11	Claude	More...				3 months ago
docs: unsettle the "entry owed?" predicate instead of asserting it	Claude	More...				3 months ago
types/rtti/todo: reflow the over-wide proof line	Claude	More...				3 months ago
todo: the boundary line is the call site, not the consumer's language	Claude	More...				3 months ago
todo: fix counts missed by single-quote matching, and the changelog reason	Claude	More...				3 months ago
emergent_testing: stop calling env an operation	Claude	More...				3 months ago
docs: name the trade the optional Changelog section makes	Claude	More...				3 months ago
todo: inventory rtti path references by resolution, not by grep	Claude	More...				3 months ago
todo: break the 6/7 cycle at 7a/7b; a .d.ts never enforces	Claude	More...				3 months ago
todo: list the cargo checks — CI runs them unconditionally	Claude	More...				3 months ago
todo: foreign calls into readable exports are stage 13's, not unowned	Claude	More...				3 months ago
crypto/vdf: adapt to iterate value-first order	Sergey Shandar	More...				3 months ago
types/function: cover iterate inference	Sergey Shandar	More...				3 months ago
types/function: make iterate inference-friendly	Sergey Shandar	More...				3 months ago

←
1
2
…
435
436
437
438
439
440
441
442
443
…
539
540
→