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
todo: "validate at entry" is gated on identity-aware validation More... 3 months ago
todo: 7a's serialization deliverable is conditional on stage 4's choice More... 3 months ago
rtti/todo: move the empty-rest length bound to stage 1, pin array(option) More... 3 months ago
fix: simplify native promise detection typing More... 3 months ago
fix: avoid TypeScript compiler API in browser manifest More... 3 months ago
todo: parse is not yet fit for a hostile boundary; fix the 3360 step order More... 3 months ago
rtti/todo: an empty rest renders no tail More... 3 months ago
fix changelog topics More... 3 months ago
parse browser proof exports structurally More... 3 months ago
rtti/todo: holes in the rendered tail, array absence, three more doc sites More... 3 months ago
todo: stage 11 needs the .f.js rename, not "once the parser accepts it" More... 3 months ago
test browser promise and error edge cases More... 3 months ago
fix browser promise and error handling More... 3 months ago
todo: bound stage 4's evaluation too; a snapshot does not reach every use More... 3 months ago
rtti/todo: strip absence in objectPresentSet, migrate the data-form README More... 3 months ago
website: run proofs in generated browser page (#1730) More... 3 months ago
rtti/todo: give open a const signature, document the fifth unit bit More... 3 months ago
emergent_testing/browser: address PR review comments More... 3 months ago
rtti/todo: three precision corrections from review More... 3 months ago
rtti/todo: reject an incompatible inherited member, migrate two more todos More... 3 months ago
rtti/todo: migrate the surviving sibling and the Phantom contract More... 3 months ago
rtti/todo: complete the doc migration, restate edag's README, delete the sibling More... 3 months ago
rtti/todo: state the rebuild's bound, and migrate the docs too More... 3 months ago
Merge branch 'main' into claude/rtti-proposal-qqkct0 More... 3 months ago
todo: fix the stage 7 cross-reference from spec/todo More... 3 months ago
todo: nothing produces subset's third answer today More... 3 months ago
rtti/todo: convert the option tag, or the whole data side is dead code More... 3 months ago
todo: the annotation sketch still said expression parser; own the inference domain More... 3 months ago
rtti/todo: drive the rebuild by own indices, not by slice and map More... 3 months ago
Merge branch 'main' into claude/compile-time-type-verification-rtti-bxxwgf More... 3 months ago