Skip to content
Merged
Changes from all commits
Commits
Show all changes
33 commits
Select commit Hold shift + click to select a range
7d9c7f5
docs(briefs): T-ImpossibleBugs unhandled-diagnostic-paths — design/sc…
briansrls Apr 25, 2026
a405ee9
docs(briefs): resolve OOB-audit hedge inline (close claude explorator…
briansrls Apr 25, 2026
d43a075
docs(briefs): refresh stale infer.rs line numbers (close codex findin…
briansrls Apr 25, 2026
27ad63f
docs(briefs): fix Option::from(b) misnaming in proof-mode example (cl…
briansrls Apr 25, 2026
3a1b8a6
docs(briefs): fix stale test_runner.rs LensOutputEquals citation (clo…
briansrls Apr 25, 2026
93d4238
docs(briefs): qualify NonZeroInt-typed-denominator path as substrate-…
briansrls Apr 25, 2026
2045f2e
WIP: T-I Unhandled Diagnostics
briansrls Apr 25, 2026
288c483
docs(briefs): correct / closure-shape — fallback retype or algebra wi…
briansrls Apr 25, 2026
43c1f5c
docs(briefs): flag OrderedRing.quotient/remainder as audit-step targe…
briansrls Apr 25, 2026
56fb5f4
Merge remote-tracking branch 'origin/main' into session/sunny-deer-629
briansrls Apr 25, 2026
70a80a1
Merge remote-tracking branch 'origin/main' into session/sunny-deer-629
briansrls Apr 25, 2026
e41297c
Merge remote-tracking branch 'origin/main' into session/sunny-deer-629
briansrls Apr 25, 2026
40a8de3
docs(briefs): refresh / closure-shape — OrderedRing.div now exists at…
briansrls Apr 25, 2026
33a463a
Merge remote-tracking branch 'origin/main' into session/sunny-deer-629
briansrls Apr 25, 2026
ea1b9c4
docs(briefs): scope / closure to include OperatorRealization migratio…
briansrls Apr 25, 2026
12818f8
docs(briefs): forward-pointer on NonZero-typed-input operator-syntax …
briansrls Apr 25, 2026
a476a9e
docs(briefs): correct Python carrier shape + OrderedRing.div line (cl…
briansrls Apr 25, 2026
0dbf78d
WIP: T-I Unhandled Diagnostics
briansrls Apr 25, 2026
d36068a
Merge remote-tracking branch 'origin/main' into session/sunny-deer-629
briansrls Apr 25, 2026
8e4f0cf
docs(briefs): broaden acceptance-diagnostic class to match closure sh…
briansrls Apr 25, 2026
5c1a571
docs(briefs): cite live alias chain (integer.dag:43,34) for Int dispa…
briansrls Apr 25, 2026
80622d0
Merge remote-tracking branch 'origin/main' into session/sunny-deer-629
briansrls Apr 25, 2026
aac7463
docs(briefs): refresh stale receipts — Field.divide → OrderedRing.div…
briansrls Apr 25, 2026
5947e5a
WIP: T-I Unhandled Diagnostics
briansrls Apr 25, 2026
a8c667f
Merge remote-tracking branch 'origin/main' into session/sunny-deer-629
briansrls Apr 25, 2026
111b839
docs(briefs): clarify force_unwrap closure-by-absence vs languages.da…
briansrls Apr 25, 2026
92411b6
docs(briefs): refresh THESIS R2+ gate citation :374→:391 (close codex…
briansrls Apr 25, 2026
419a9a3
Merge remote-tracking branch 'origin/main' into session/sunny-deer-629
briansrls Apr 25, 2026
0fb470d
Merge remote-tracking branch 'origin/main' into session/sunny-deer-629
briansrls Apr 25, 2026
16a0399
Merge remote-tracking branch 'origin/main' into session/sunny-deer-629
briansrls Apr 25, 2026
62b57c4
Merge remote-tracking branch 'origin/main' into session/sunny-deer-629
briansrls Apr 25, 2026
6f5fe06
Merge remote-tracking branch 'origin/main' into session/sunny-deer-629
briansrls Apr 25, 2026
a9eb859
Merge remote-tracking branch 'origin/main' into session/sunny-deer-629
briansrls Apr 25, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading