Skip to content
Merged
Changes from all commits
Commits
Show all changes
100 commits
Select commit Hold shift + click to select a range
ea68340
WIP: proud-lark-674
briansrls May 5, 2026
b560da2
fix(brief): use BoundedInterval shape per HEAD substrate
briansrls May 5, 2026
476e944
fix(brief): replace machine-local path with host-neutral phrasing
briansrls May 5, 2026
3ff00f6
WIP: proud-lark-674
briansrls May 5, 2026
9168825
fix(brief): restrict Never algebra inhabitance to operation-only alge…
briansrls May 5, 2026
ff1e4df
fix(brief): drop encoding axis — algebra choice (FreeMonoid<Char> vs …
briansrls May 5, 2026
1d14edb
WIP: proud-lark-674
briansrls May 5, 2026
f7377b9
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 5, 2026
2f5cdb6
fix(brief): correct manager label to R2 Grounding Manager per live au…
briansrls May 5, 2026
bedd8fd
WIP: proud-lark-674
briansrls May 5, 2026
5996742
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 5, 2026
b9454f2
fix(brief): replace host-local git plumbing language with durable rep…
briansrls May 5, 2026
025666d
WIP: proud-lark-674
briansrls May 5, 2026
68dd88d
fix(brief): fold safety into representation axis; exclude Encoding fr…
briansrls May 5, 2026
8daac6c
WIP: proud-lark-674
briansrls May 5, 2026
12a157e
fix(brief): route HashSet/BTreeSet to existing Set<T> = BooleanAlgebr…
briansrls May 5, 2026
076233b
WIP: proud-lark-674
briansrls May 5, 2026
22ae768
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 5, 2026
5e5f717
WIP: proud-lark-674
briansrls May 5, 2026
4a39534
fix(brief): gate Cardinal substrate, split function-item/pointer/clos…
briansrls May 5, 2026
36d4285
WIP: proud-lark-674
briansrls May 5, 2026
ba46677
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 5, 2026
fd954c9
WIP: proud-lark-674
briansrls May 5, 2026
d2e3e98
fix(brief): hash/Ord admissibility axes; route Result via dsl/std/err…
briansrls May 5, 2026
d4e370c
WIP: proud-lark-674
briansrls May 5, 2026
6b2b385
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 5, 2026
6d0569b
fix(brief): route floats via ApproximateField; expand ReferenceModel …
briansrls May 5, 2026
ec08733
WIP: proud-lark-674
briansrls May 5, 2026
2013959
fix(brief): remove RealizationCost authoring from T-Ground-Rust scope…
briansrls May 5, 2026
a558535
WIP: proud-lark-674
briansrls May 5, 2026
65642ec
fix(brief): correct closure call-trait derivation per Rust Reference …
briansrls May 5, 2026
58f136a
WIP: proud-lark-674
briansrls May 5, 2026
05faf31
fix(brief): align preamble gate list with §F (PR-F sole primary; PR-I…
briansrls May 5, 2026
9a91028
WIP: proud-lark-674
briansrls May 5, 2026
d04b179
fix(brief): split impl Trait into argument-position (universal) and r…
briansrls May 5, 2026
13c6dcb
WIP: proud-lark-674
briansrls May 5, 2026
8a6639c
fix(brief): expand FunctionItemIdentity, CaptureSet capture-paths, an…
briansrls May 5, 2026
e189b00
WIP: proud-lark-674
briansrls May 5, 2026
331baca
fix(brief): add UniqueImmutableBorrow as fourth CaptureMode per Rust …
briansrls May 5, 2026
6339087
WIP: proud-lark-674
briansrls May 5, 2026
61f6eb8
fix(brief): gate float rows on Real/base-carrier STOP; add edition_ca…
briansrls May 5, 2026
8b512e4
WIP: proud-lark-674
briansrls May 5, 2026
de39ed6
fix(brief): derive default_capture from edition (illegal-states disci…
briansrls May 5, 2026
63fe658
WIP: proud-lark-674
briansrls May 5, 2026
a7c0745
fix(brief): correct M9 receipt — Float inhabits ApproximateField is c…
briansrls May 5, 2026
0ab0265
WIP: proud-lark-674
briansrls May 5, 2026
954d623
fix(brief): float row STOP-gated; ApproximateField is post-gate candi…
briansrls May 5, 2026
b11e4af
WIP: proud-lark-674
briansrls May 5, 2026
dffb48c
fix(brief): remove floats from Phase 1 slice; convert test 6 to STOP …
briansrls May 5, 2026
aa1a75a
WIP: proud-lark-674
briansrls May 5, 2026
0a590a7
Merge remote-tracking branch 'origin/session/proud-lark-674' into ses…
briansrls May 5, 2026
aad0c90
fix(brief): surface full std-carrier generic signatures (hasher S, al…
briansrls May 5, 2026
d9598cd
fix(brief): add STOP #11 for non-default hasher/allocator instantiati…
briansrls May 5, 2026
3748e1a
fix(brief): retarget §F RealizationCost escalation cross-ref (was poi…
briansrls May 5, 2026
34ee819
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 5, 2026
2b7e6d9
WIP: proud-lark-674
briansrls May 5, 2026
88835aa
fix(brief): expand FunctionItemIdentity generic_args (type/const/life…
briansrls May 5, 2026
db4ff8f
WIP: proud-lark-674
briansrls May 5, 2026
24c6afe
fix(brief): closure lends_to_future is derived from captures (not sto…
briansrls May 6, 2026
2e31e82
fix(brief): std-carrier trait bounds (?Sized, Allocator, Allocator+Cl…
briansrls May 6, 2026
29dce91
fix(brief): enumerate all five derivation inputs for impl-Trait captu…
briansrls May 6, 2026
5ccbb3c
fix(brief): correct lending semantics — by-value capture by future IS…
briansrls May 6, 2026
259840e
fix(brief): use<> precise-capture cannot narrow type/const params (mu…
briansrls May 6, 2026
25d1684
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
d83047d
fix(brief): structure TraitObjectPrimitive (base_trait/auto_traits/ob…
briansrls May 6, 2026
2bfc1f8
fix(brief): expand impl-Trait use<> legality to full five-constraint …
briansrls May 6, 2026
74d61bd
fix(brief): bound-mentioned-lifetime constraint covers other return b…
briansrls May 6, 2026
fd57175
fix(brief): pin Rust Reference + std authorities to 1.86 versioned UR…
briansrls May 6, 2026
4d9993a
fix(brief): structure authority pin (toolchain + reference + std + ed…
briansrls May 6, 2026
90e088d
fix(brief): pin §A and §B authority URLs to 1.86.0 versioned bases (c…
briansrls May 6, 2026
3e0040d
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
3fd865e
fix(brief): drop allocator axis from §B std-carrier rows (allocator_a…
briansrls May 6, 2026
fab33d9
docs(brief): unescape inline-code backticks in T-Ground-Rust brief
briansrls May 6, 2026
21c78fa
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
7c510f5
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
5130c1f
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
820cd4d
fix(brief): trait-object base_trait Optional (zero non-auto traits va…
briansrls May 6, 2026
4595089
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
dcbabdc
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
44cff1a
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
86eeb51
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
59dabd8
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
284acdc
fix(brief): FunctionItemPrimitive derived trait-inhabitance receipt
briansrls May 6, 2026
e301b9e
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
4c59c20
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
b1755de
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
6cf3a5e
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
fad3053
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
0d1bac6
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
5831e2f
fix(brief): per-variant is_copy derivation receipt for C-axis expansion
briansrls May 6, 2026
2289543
fix(brief): FunctionPointerPrimitive — FnSignature shape + variadic +…
briansrls May 6, 2026
9729c35
fix(brief): resolve R2/R3 manager + allocator-axis self-contradictions
briansrls May 6, 2026
400c52f
Merge remote-tracking branch 'origin/main' into session/proud-lark-674
briansrls May 6, 2026
251cabb
fix(brief): closure is_copy derivation — UniqueImmutableBorrow blocks…
briansrls May 6, 2026
cef0352
WIP: proud-lark-674
briansrls May 6, 2026
7f32aec
fix(brief): RPIT capture matrix — item_kind-scoped + per-abstract-type
briansrls May 6, 2026
da9543c
fix(brief): §A RPIT capture summary defers to §C item_kind matrix
briansrls May 6, 2026
007a47c
fix(brief): R2/R3 file gap + ReturnType single-authority + AbiKind sum
briansrls May 6, 2026
a7c8531
fix(brief): Vec<T> M9 parent + lending reads (mode, body_use) jointly
briansrls May 6, 2026
c0f2409
fix(brief): line-13 manager citation + Phase-1 Q2 overclaim narrowed
briansrls May 6, 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