Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
49 commits
Select commit Hold shift + click to select a range
c8cac56
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
f47efa9
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
b9d021a
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
4644dcd
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
d910df3
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
cabbef4
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
3bf021a
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
8da142b
fix: restore MVP1 translate when type-expression projection edge absent
briansrls May 30, 2026
fb58199
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
b91c31a
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
1315613
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
6dde787
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
107cb6b
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
e541200
fix: declare TargetTypeExprKind coproduct on emitted type-expression …
briansrls May 30, 2026
ebdeca2
fix: parse fold_list cons callbacks — use is_empty not partial == Empty
briansrls May 30, 2026
00e8370
fix: fail-closed arrow serialize arity + thread node locus in list_he…
briansrls May 30, 2026
51f73e5
chore: review cleanup — dissolution mark, dedupe record reader, drop …
briansrls May 30, 2026
e4a3311
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
14549c5
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
10f1866
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
a539514
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
5433472
fix: SG-2 substrate fidelity — narrow generic-apply emitters, preserv…
briansrls May 30, 2026
181b24b
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
9055acf
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
3c281a6
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
202b4fd
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
748d23b
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
ce2a7ab
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
13f9ee2
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
ea18434
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
7a09a5e
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
0e696a5
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
6fb4b9c
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
c986b74
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
120787a
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
ae4b2c0
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
9bd50f7
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
da43b60
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
a3b6b1a
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
f3abcf4
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
89f7573
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
bbcfa70
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
ce06c6a
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
5e421ba
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
9e697ad
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
bc1aee5
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
b473724
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
c8a0384
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 2026
2ae93ed
WIP: SG-2: TargetTypeExpressionProjection (canonical carrier + Rust r…
briansrls May 30, 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