Skip to content

[DO NOT MERGE] native-seven integration candidate: pins and qualification record #12628

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
gunbai-bot wants to merge 328 commits into from
Closed

[DO NOT MERGE] native-seven integration candidate: pins and qualification record #12628

Changes from all commits
Commits
Show all changes
328 commits
Select commit Hold shift + click to select a range
cc877b0
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 25, 2026
0ce02be
Merge origin/main (MQ-4 typed wrapper retention, XL-2 bound value) in…
Sep 25, 2026
a8f13df
Merge origin/main into MQ-1 (#12205 unimported-bare-provider rule, #1…
Sep 25, 2026
123f2ad
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 25, 2026
e164aed
Merge #12208 head (main merged there) into MQ-1
Sep 25, 2026
3958f48
Resolve the leftover import conflict marker from the #12208 merge
Sep 25, 2026
b74d700
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 25, 2026
d990cde
required_floor_runner: read UnimportedBareProviderBaseRoster as the c…
Sep 25, 2026
467c6f9
Merge origin/main into MQ-1 (#12270, #12226): v2_native_route keeps m…
Sep 25, 2026
104737c
A function value as an Arrow's whole body refuses located at the inne…
Sep 25, 2026
38a3ddc
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 25, 2026
63b2c46
Merge origin/main into MQ-1 (ledger receipts kept; native_route impor…
Sep 25, 2026
fb379fc
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 25, 2026
45aac86
Merge #12208 head into MQ-1 (ledger receipts in #12208's order)
Sep 25, 2026
71b7580
fold-callee expected-red: OWNER is MQ-5 via gunbc#12272 (review 71205)
Sep 25, 2026
8ff6368
Retire the std.algebra self-reference expected-red row: #12240 (type …
Sep 25, 2026
dfbae61
Merge #12208 head (std.algebra self-reference row retired) into MQ-1
Sep 25, 2026
ec28776
RFM cost-shape row: a producer re-enters a general subtree walker and…
Sep 25, 2026
c0c9e3e
Merge origin/session/fierce-gull-556 (keep the restated fold-seam row)
Sep 25, 2026
f19bbcc
Merge origin/main (floor runner: take #12278's base-roster coproduct …
Sep 25, 2026
461e76a
Merge origin/main into MQ-1 (#12278 landed): required_floor_runner.rs…
Sep 25, 2026
43fe925
function_value_body claim: import SubstrateInputsOnly (unimported-bar…
Sep 25, 2026
8f26d36
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 25, 2026
6713e4b
Cost-shape row: the counts do not confirm the re-entry hypothesis; th…
Sep 25, 2026
fcbb4f9
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 25, 2026
5226a58
Merge remote-tracking branch 'origin/main' into session/merry-hawk-532
Sep 25, 2026
2508815
function_value_body: one warm pure producer (fvb_outcomes) for both v…
Sep 25, 2026
fafbd6b
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 25, 2026
2ff34c0
Merge origin/main (#12248) into MQ-1: a fn literal's return type is c…
Sep 25, 2026
fd859a8
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 25, 2026
7e0f8fe
Merge origin/main into MQ-1 (#12250, #12261, #12248, #12286, #12244, …
Sep 25, 2026
d34cb0a
swift_decl (#12267): list_append from std.algebra
Sep 25, 2026
4b55bdf
Merge origin/main (keep both occurrence receipts on accepted_source_e…
Sep 25, 2026
8365804
Merge origin/main (#12202 landed) into MQ-1, and a list introduction …
Sep 25, 2026
eacd30e
Merge origin/main (MQ-2/3 call-reader cutover) into MQ-1: imports as …
Sep 25, 2026
c06bff7
Merge #12208 head into MQ-1 (#12208's resolutions of its own files)
Sep 25, 2026
fb58545
Merge origin/main (#12287) into MQ-1: node_query keeps main's map imp…
Sep 25, 2026
56a00a6
Repoint two new consumers from main (skeleton_call_route_witness, bod…
Sep 25, 2026
817288e
Merge origin/session/fierce-gull-556 (ledger: take its union of recei…
Sep 25, 2026
7b749de
Merge origin/main (#12287) into MQ-1: node_query imports as the union
Sep 25, 2026
8308aac
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 25, 2026
52aaca2
btar fn-literal claims: one warm pure producer (btar_fn_literal_outco…
Sep 25, 2026
57c8ce4
Rename the grammar-level function-literal body sum to FunctionLiteral…
Sep 25, 2026
4c0f706
Function values lower once, through their own slots: the fold lowers …
Sep 25, 2026
19275a2
Cost-shape row: confirmed on the native route, located (nested fn-lit…
Sep 25, 2026
1da6504
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 25, 2026
a033fa1
Merge origin/main into MQ-1 (#12275 deleted the self-host hand shims;…
Sep 25, 2026
c5cd45b
Merge remote-tracking branch 'origin/session/lively-koi-275' into ses…
Sep 25, 2026
e3f20b6
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 26, 2026
1e780e2
Delete .regen.sh: a hand-written regen loop swept into the #12208 mer…
Sep 26, 2026
7f35fae
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 26, 2026
1f4bae6
Merge origin/main (dag.dag imports: main's any, list helpers stay on …
Sep 26, 2026
4ca672b
Cost-shape row: the native acceptance rerun passed (54 target_model c…
Sep 26, 2026
82375c4
Merge origin/main (#12208 landed) into MQ-1: dag.dag imports take mai…
Sep 26, 2026
66683f9
Merge origin/main (#12208 landed): expected-red chunk list and warm-p…
Sep 26, 2026
90737ce
Function-value domains mint anonymous slots through the shared anonym…
Sep 26, 2026
798f15c
Merge origin/main (#12299 value carry deleted; #12364 #12258 #12227) …
Sep 26, 2026
a6c348f
Merge origin/session/fierce-gull-556 (main through b1b7aea9aa): keep …
Sep 26, 2026
50f7bac
std_algebra.rs: regenerate the stage0 mirror over main's #12227 (coun…
Sep 26, 2026
a3c1899
floor_expected_red: restore main's retired chunk_15 (Empty) that a wh…
Sep 27, 2026
8a0def6
Merge remote-tracking branch 'origin/main' into session/merry-hawk-532
Sep 27, 2026
0d3c75e
Fresh type variables are minted by structural path (v2.std.anonymous_…
Sep 27, 2026
327ee63
Merge origin/main (#12373, #12375): resolve per hunk. body_lowering_f…
Sep 27, 2026
b88af22
Merge origin/main (#12373 #12375 #12378, let annotation carried) into…
Sep 27, 2026
05a9ed8
Merge origin/session/fierce-gull-556 (b88af22, mirrors the #12373/#12…
Sep 27, 2026
5dd333f
Merge remote-tracking branch 'origin/main' into session/merry-hawk-532
Sep 27, 2026
d539148
Delete the uncalled is_fresh_type_variable (review 71732, §3c dangling)
Sep 27, 2026
4debb03
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 27, 2026
cb4254c
Merge remote-tracking branch 'origin/main' into session/merry-hawk-532
Sep 27, 2026
1bbf1c3
A function value's renaming is decided by construction (equality with…
Sep 27, 2026
18ad80a
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 27, 2026
6f0ff77
Function-value accumulators snoc instead of list_append: the signatur…
Sep 27, 2026
55cc265
MQ-1 PR-2 WIP: caret symbol lowers to a symbol literal
Sep 27, 2026
f2ad6a8
MQ-1 PR-2: RFMs, conservation control, symbol-literal frontier control
Sep 27, 2026
a926369
symbol literal payload read without a nested Edge pattern (emitted Ru…
Sep 27, 2026
0f8ca29
caret lowering claims: list_snoc_item from v2.std.algebra; declare th…
Sep 27, 2026
61a66c5
Merge remote-tracking branch 'origin/main' into session/fierce-gull-556
Sep 27, 2026
2db345f
parse probe: caret-site claims read one warm-shared parse (caret_tree…
Sep 27, 2026
4371fc7
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 27, 2026
3237099
caret lowering witness: plain recursion instead of fn-lambda call arg…
Sep 27, 2026
debbced
caret lowering witness: build lists with list literals/concat (seed t…
Sep 27, 2026
234f06e
A fold-family call taken on its raw node admits its arguments before …
Sep 27, 2026
9c6cb63
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 27, 2026
5b860f6
Merge remote-tracking branch 'origin/main' into session/merry-hawk-532
Sep 27, 2026
21ea6bd
Merge remote-tracking branch 'origin/main' into session/fierce-gull-556
Sep 27, 2026
619f483
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 27, 2026
28aa3d5
The positional-order control's lambda gets its own callee, so the two…
Sep 27, 2026
0359c9a
Merge remote-tracking branch 'origin/session/fierce-gull-556' into se…
Sep 27, 2026
e2f97bb
Merge remote-tracking branch 'origin/main' into mh532
Sep 28, 2026
032ac22
Merge origin/main into session/vivid-ant-536
Sep 28, 2026
4aef862
v2 resolve: a module's own `type Int` / `type Bool` shadows the kerne…
Sep 28, 2026
62b0b0b
v2 resolve: an imported user Int refuses instead of binding the kerne…
Sep 28, 2026
fa8c596
v2 resolve: an ambiguous kernel spelling refuses unless every candida…
Sep 28, 2026
404f259
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat…
Sep 28, 2026
1a46781
S0 edge: Loop admits one ^loop_domain_edge; every loop-edge consumer …
Sep 28, 2026
f648216
Merge branch 'session/deep-raven-602-s0' into session/deep-raven-602-s3
Sep 28, 2026
b4d46ee
wip: infer symbol-literal arm (DagCanonicalSymbolLiteral typed as v2.…
Sep 28, 2026
32194a7
test.claim.parse_test_fn_decl_return_clause: lowering carries the aut…
Sep 28, 2026
5eae95f
Merge branch 'session/neat-ibex-696' into neat-ibex-696/symbol-arm
Sep 28, 2026
8f52e07
S3: the fold call lowers to the full fold encoding, operands conserve…
Sep 28, 2026
c690bdd
Revert hand-mirrored plan projection; the generated-artifact heal own…
Sep 28, 2026
05ea38e
fold_encoding: the head-edge drop mutation turns conservation red at …
Sep 28, 2026
ece7777
Drop loop_domain_value_target: no consumer in this change (its first …
Sep 28, 2026
a21605d
Merge S0 (#12548) into S3: loop_domain_value_target lands here, with …
Sep 28, 2026
9dab283
dag_canonical_literal_from_node: match the symbol-literal optional once
Sep 28, 2026
5269b35
floor_expected_red: remove the orphaned brace the row removal left be…
Sep 28, 2026
3fb5d6a
Dissolve dag_node_is_symbol_literal_atom: callers match dag_symbol_li…
Sep 28, 2026
9a5666a
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat…
Sep 28, 2026
38709a8
fold_lowering: construct Optional through optional_present/optional_a…
Sep 28, 2026
91409e2
identity_captured_navigation: read a caret literal's name from the le…
Sep 28, 2026
5dd210a
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat…
Sep 28, 2026
5d35bd4
fold_encoding claim: construct Optional through optional_present/opti…
Sep 28, 2026
ebbdff8
Delete the octet-to-scalar index and its lens-slice claims with the l…
Sep 28, 2026
ccf61dd
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat…
Sep 28, 2026
db6b83b
caret_symbol_has_no_lowered_form: the receipt states the literal's ty…
Sep 28, 2026
a4ab128
v2 infer: the facts map is a Node-keyed Map built once, not a list sc…
Sep 28, 2026
32f7dba
Merge remote-tracking branch 'origin/main' into session/deep-raven-60…
Sep 28, 2026
9436bed
Merge origin/main into S3 (#12272 landed as a squash; its content is …
Sep 28, 2026
169641e
Loop edge roles are matched by their consumers; drop the Bool project…
Sep 28, 2026
917ef4d
Merge S0 into S3; role matches carry LoopRealizedDeclaration; inline …
Sep 28, 2026
9a8b370
Merge remote-tracking branch 'origin/main' into session/vivid-ant-536
Sep 28, 2026
b55b8a7
v2 resolve: the single-tree namespace binds the module's own declarat…
Sep 28, 2026
ba77453
Merge branch 'session/neat-ibex-696' into neat-ibex-696/symbol-arm
Sep 28, 2026
1b0bcc8
Cost pricing per edge is one coproduct (cost_edge_role); the unary ta…
Sep 28, 2026
bc3ac8d
Merge S0 into S3: cost_edge_role and the role-matched target gate car…
Sep 28, 2026
942c4cd
Regenerate plan projection from heal candidate (run 36475365430; blob…
Sep 28, 2026
e519bda
v2 resolve: select a grafted module body by the graft's mark, never b…
Sep 28, 2026
6384e52
Merge branch 'session/neat-ibex-696' into neat-ibex-696/symbol-arm
Sep 28, 2026
658ca0f
v2 resolve: move build_program_namespace's rationale above the declar…
Sep 28, 2026
2c78a91
Merge branch 'session/neat-ibex-696' into neat-ibex-696/symbol-arm
Sep 28, 2026
b4dc585
Fold encoding reads collection and init through the value-position re…
Sep 28, 2026
b66ff24
Fold-lowering and fold-encoding claims read one warm producer each (f…
Sep 28, 2026
0f2cc9d
Merge branch 'pr12549' into session/eager-newt-412
Sep 28, 2026
b59537a
v2 infer: a key carrying two different facts refuses (infer_facts_key…
Sep 28, 2026
cab2674
authored-occurrence census: the fact-subject key's uniqueness premise…
Sep 29, 2026
7dfd5b0
census: annotation adjacency; hoist matches out of argument position
Sep 29, 2026
41c8480
fkc: Rejected carries NonEmptyDiagnostics; record infer_parameter_sco…
Sep 29, 2026
7c443f2
Revert "census: annotation adjacency; hoist matches out of argument p…
Sep 29, 2026
f8a96ac
Revert "authored-occurrence census: the fact-subject key's uniqueness…
Sep 29, 2026
f1b9ee0
Merge #12557 (node-keyed facts map); the conflict refusal moves into …
Sep 29, 2026
68ef51a
Merge main into session/eager-newt-412: keep the renamed caret_symbol…
Sep 29, 2026
7ea9f2e
Merge origin/main (incl. #12433) into session/vivid-ant-536
Sep 29, 2026
87a29e4
Merge remote-tracking branch 'origin/main' into neat-ibex-696/symbol-arm
Sep 29, 2026
1a0f163
Merge branch 'pr12549b' into session/eager-newt-412
Sep 29, 2026
849da15
RFM reference_conservation_population_omits_class_stamped_terminals: …
Sep 29, 2026
92389ff
v2 infer: a literal payload's facts derive for its own family
Sep 29, 2026
58d33f7
Merge branch 'pr12549c' into session/eager-newt-412
Sep 29, 2026
c7bca92
Merge origin/main into S3 (#12548 landed as a squash; resolved per hu…
Sep 29, 2026
8831f13
body_let_annotation: share the payload verdicts, not the inferred trees
Sep 29, 2026
c01d18a
Merge branch 'pr12549d' into session/eager-newt-412
Sep 29, 2026
d02a7bf
Regenerate stage0 mirror std_algebra.rs from the required-regen candi…
Sep 29, 2026
0695071
Fold family: slots ride on FoldRealization; every reader matches the …
Sep 29, 2026
cfa8e3a
Merge main (with #12557 landed): keep the conflict-refusing inferred_…
Sep 29, 2026
a166f01
fold_lowering: convert template row positions (Int?) to slot Optional…
Sep 29, 2026
4475ef4
Merge origin/main into session/vivid-ant-536 (resolve: kernel-type re…
Sep 29, 2026
6d53179
Merge remote-tracking branch 'origin/main' into neat-ibex-696/symbol-arm
Sep 29, 2026
b8298b6
Merge branch 'pr12549e' into session/eager-newt-412
Sep 29, 2026
fed694a
04_infer: the payload comment cites infer_literal_edge_payload, not t…
Sep 29, 2026
52e51e6
Accumulator-copy lens reads the carrier from the step alone (fold_cal…
Sep 29, 2026
a509091
Lower piped folds: xs |> fold(init, step) takes the pipe input as its…
Sep 29, 2026
4c236f1
Piped-fold towers are recognised by structure at the top of body_lowe…
Sep 29, 2026
0955361
Drop the std.algebra whole-file canary (floor wall 8066ms > 8000ms); …
Sep 29, 2026
f8213c2
Merge remote-tracking branch 'origin/main' into session/vivid-ant-536
Sep 29, 2026
78bf5d2
Merge origin/main; bla_symbol_literal_as_int returns Outcome<Resolved…
Sep 29, 2026
b349957
v2 parse: grammar Expect label; fn '=' with no expression refuses wit…
Sep 29, 2026
81c1522
Merge origin/main into session/vivid-ant-536 (reference_conservation:…
Sep 29, 2026
da03799
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat…
Sep 29, 2026
973c840
Merge main into session/eager-newt-412: keep #12549's caret-payload s…
Sep 29, 2026
c1e31b4
Merge branch 'pr12549f' into session/eager-newt-412
Sep 29, 2026
b1dc7db
integration: merge #12686 b349957e2b61
Sep 29, 2026
2eb1dd1
roster_gate imports Finding (bare channel is off in a file that decla…
Sep 29, 2026
03ad079
Import LiveTreeDisposition in the two touched claim files (floor Unim…
Sep 29, 2026
d0f8556
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat…
Sep 29, 2026
b45c8bd
Merge branch 'pr12549g' into session/eager-newt-412
Sep 29, 2026
abd48a4
integration: re-pin #12549 d0f85560624d (carries #12420 2eb1dd1a178)
Sep 29, 2026
538b13f
parse_token_before: typed step so both arms are Optional<Token>
Sep 29, 2026
031639a
Plan: construct tag as a declaration reference (qualified constructio…
Sep 29, 2026
254cf93
Plan: fold in review conditions and landing order; file the live cons…
Sep 29, 2026
cd9b18c
Native prepare: a module whose import target was refused at ingest is…
Sep 29, 2026
e47c68a
integration: pin m12686b 538b13fe6e46
Sep 29, 2026
e8aaa8a
integration: pin m12702 cd9b18c0234e
Sep 29, 2026
09c8dce
Retire the two SubstrateInputsOnly bare-provider debt rows as Imports…
Sep 29, 2026
7c86562
Refused-file module is a QualifiedName, parsed once; compare typed na…
Sep 29, 2026
f98cf2f
integration: re-pin #12702 7c86562ed6e6
Sep 29, 2026
9497f7b
explicit_fn_import_binds: import v2.std.text String (the native route…
Sep 29, 2026
ee154db
integration: re-pin #12702 9497f7bd1a14
Sep 29, 2026
6348125
Merge origin/main; carry #12615's let-in caret position into caret_sy…
Sep 29, 2026
a7bf590
integration: merge main 7f144278c570 (#12420 retires caret_symbol_val…
Sep 29, 2026
92602d5
Merge main into session/eager-newt-412: keep #12420's retirement of c…
Sep 29, 2026
ab0ccff
Merge branch 'int-12420c' into session/eager-newt-412
Sep 29, 2026
836dc1e
integration: re-pin #12420 6348125fa3e2
Sep 29, 2026
368b18c
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat…
Sep 29, 2026
59af7b3
Merge origin/main into S3 (floor_pure_producer_share: both roster row…
Sep 29, 2026
796477d
merge #12549 368b18c7ef47
Sep 29, 2026
1da4a5a
merge #12549 368b18c7ef47
Sep 29, 2026
0d75a57
Floor resolve fixes: explicit imports in grammar_expect_test; drop a …
Sep 29, 2026
37ad055
Merge origin/main (keep #12607's return row and #12617's handoff rece…
Sep 29, 2026
d9fd2c9
Merge remote-tracking branch 'origin/session/vivid-ant-536' into neat…
Sep 29, 2026
b986425
Merge remote-tracking branch 'origin/main' into neat-ibex-696/symbol-arm
Sep 29, 2026
c81bbc9
Merge #12420 37ad055e3494 into session/eager-newt-412: keep #12420's …
Sep 29, 2026
7a64c8f
Merge remote-tracking branch 'origin/main' into session/eager-newt-412
Sep 29, 2026
e739f1a
integration: #12582 7a64c8fe46eb (#12420 37ad055e3494 + main)
Sep 29, 2026
ee3464a
merge #12549 b9864258ae96
Sep 29, 2026
f308f70
peeled_shell_fold_head claim (landed on main in #12495) reads fold-fa…
Sep 29, 2026
528f64b
Expect reason: typed by a closed parse-stage vocabulary; drop the han…
Sep 29, 2026
8cb3894
Construct tag as a declaration reference: qualified construction, pat…
Sep 29, 2026
e85bf5d
integration: pin #12714 8cb389401b93 (import list keeps #12549's symb…
Sep 29, 2026
054a440
Read a sealed NormalizedTree's import rows through a projection in it…
Sep 29, 2026
9925c77
integration: re-pin #12702 054a440082cf
Sep 29, 2026
bd6bd29
fold_encoding: read the resolved root off ResolvedTree (main made it …
Sep 29, 2026
f7581a6
integration: pin #12550 bd6bd29782c5 (symbol list keeps ^symbol_node_…
Sep 29, 2026
38a5faf
fold_encoding: the step's carrier and element binders are Arrow param…
Sep 29, 2026
e0c91b6
fold_encoding binder fixture: type xs as Bool (List is unbound in a s…
Sep 29, 2026
8ae6cd8
integration: re-pin #12686 528f64b9bf23 (floor-green)
Sep 30, 2026
bc43a41
Keep the unmarked Conj arrow-body admission unchanged; construct mark…
Sep 30, 2026
04f7639
Merge origin/main into S3 (both roster rows kept); fold_operand_struc…
Sep 30, 2026
7de20da
integration: merge main (share roster keeps #12550's fold_encoding ro…
Sep 30, 2026
baf1a35
integration: re-pin #12550 04f76397586a (its fold-encoding comment wins)
Sep 30, 2026
09f1fc6
type_param_binder_frame_test: the emit-twin helpers are translate out…
Sep 30, 2026
9931400
integration: merge main (keep #12686's Expect arms in #12542's enumer…
Sep 30, 2026
fc9de2d
Merge origin/main: keep Expect arms inside #12542's enumerated matches
Sep 30, 2026
63631e9
integration: pin #12756 09f1fc6f6b1a (tpb retype; clears the latent m…
Sep 30, 2026
3c48b57
Decide a pipe-into-fold tower once, at its root, in constant time (wa…
Sep 30, 2026
0eb3633
Merge remote-tracking branch 'origin/main' into session/lively-eagle-…
Sep 30, 2026
d50f298
Merge main; migrate vf_wildcard_pattern_keeps_its_field (added by #12…
Sep 30, 2026
bca769c
integration: merge main (#12420 landed as a squash; the caret RFM row…
Sep 30, 2026
a0a65fd
Merge remote-tracking branch 'origin/main' into neat-ibex-696/symbol-arm
Sep 30, 2026
46b8939
Fold slots read both spellings: roster fold names its collection xs; …
Sep 30, 2026
5523f4b
integration: re-pin #12686 fc9de2d8557 (green, main-merged)
Sep 30, 2026
163b94e
integration: re-pin #12714 d50f2984d6b0
Sep 30, 2026
2ff1d99
merge #12549 a0a65fd57a5a
Sep 30, 2026
ca11d5a
fold_encoding: match the lookup's third arm by wildcard, not the qual…
Sep 30, 2026
dcfc5e9
Per-node and per-call-site fold guards are single symbol comparisons
Sep 30, 2026
ab3e75b
Rename the `loop` pattern binders in the fold claims: `loop` is a key…
Sep 30, 2026
e6c4783
Record the seed's keyword-as-pattern-binder leniency on the failure-m…
Sep 30, 2026
573ab36
integration: merge main (#12549's literal-payload step threads main's…
Sep 30, 2026
24a6aaa
Merge remote-tracking branch 'origin/main' into neat-ibex-696/symbol-arm
Sep 30, 2026
478ab65
Merge origin/main into S3 (fold_lowering std.algebra import: union of…
Sep 30, 2026
a13319b
integration: merge main (fold_lowering imports: #12550's names plus m…
Sep 30, 2026
6e9850b
04_infer: bind the literal payload family once in the gather
Sep 30, 2026
0ce988a
integration: merge #12549 6e9850bfbbec (its payload-family binding, h…
Sep 30, 2026
2272172
Merge remote-tracking branch 'origin/main' into neat-ibex-696/symbol-arm
Sep 30, 2026
63edc62
integration: merge main (#12714 landed: its node.dag version wins; da…
Sep 30, 2026
50a9513
integration: merge #12549 22721720aee0 (its import order)
Sep 30, 2026
38b097d
integration: re-pin #12550 478ab65620d3
Sep 30, 2026
99fa0ea
Merge remote-tracking branch 'origin/main' into session/deep-raven-60…
Sep 30, 2026
cc8881b
Merge origin/main into S3; fold_encoding's drop-mutation tree carries…
Sep 30, 2026
9f46c13
integration: re-pin #12550 cc8881b9d950
Sep 30, 2026
9704d67
integration: merge main (symbol list keeps #12550's ^dag_surface_fold…
Sep 30, 2026
4493d21
integration: merge main (#12582 landed; its test file is main's)
Sep 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

These merge commits were added into this branch cleanly.

There are no new changes to show.