Repository navigation

EdgeLabel cut: Authored | StructuralLabel (CoreMarker | ProductionEdge) | Positional, root-first - #12799

Merged

briansrls merged 59 commits into

mainfrom

session/quiet-koi-814-cut

Oct 2, 2026

Commits on Sep 30, 2026
- WIP EdgeLabel cut: rename Named->Authored; v2.std.node root arms
  Brian Searls
  committed
  2c040f1
- WIP cut: core markers, path labels, dag surface readers
  Brian Searls
  committed
  84056c4
- WIP cut: dag surface production labels, ReferenceSite position labels, controls
  Brian Searls
  committed
  4ef1635
- WIP cut: exhaustive arms round 1
  Brian Searls
  committed
  b001462
- WIP cut: exhaustive arms round 2, RFM climb + frontier, reader controls
  Brian Searls
  committed
  8b2fb11
- WIP: fix stray imports
  Brian Searls
  committed
  dfadbf0
- WIP cut: round-3 arms, SCM codec for structural labels, seed reflection Authored, import-mode fix
  Brian Searls
  committed
  388c847
- WIP: list_map
  Brian Searls
  committed
  8682cb7
- WIP: re-derived hash vectors
  Brian Searls
  committed
  cdee2c0
- WIP: arms the typechecker missed (generic scrutinee)
  Brian Searls
  committed
  71ba4d8
- Merge origin/main into the EdgeLabel cut
  Brian Searls
  committed
  0b75ecf
- EdgeLabel cut: controls as evidence on the climb row
  Brian Searls
  committed
  f4689d7
- fact_density: import ConstructionJustification directly (floor UnimportedBareProvider)
  Brian Searls
  committed
  1b6c50a
- Direct imports for two names the touched files reached only through the census (floor UnimportedBareProvider)
  Brian Searls
  committed
  36157a0
- Floor bare-provider roster: retire two pairs my imports fixed; direct imports for pairs surfaced on touched witnesses
  Brian Searls
  committed
  cc34a2b
- Merge origin/main into the EdgeLabel cut
  Brian Searls
  committed
  c2884b9
- Floor bare-provider roster: retire pairs the added imports fixed
  Brian Searls
  committed
  43a2944
- Record patterns over Edge cover StructuralLabel (emitted Rust E0004 in self-host)
  Brian Searls
  committed
  6b56a3f
- Merge remote-tracking branch 'origin/main' into session/quiet-koi-814-cut
  Brian Searls
  committed
  e481615
- Marker tests as edge_is_core predicates (emitted nested-constant pattern panics); RFM row for the interpreter/emitter pattern gap
  Brian Searls
  committed
  e57b4ae
- Merge origin/main into the EdgeLabel cut
  Brian Searls
  committed
  6765449
- module_member_emission_test: where clause edge as the dag surface production label
  Brian Searls
  committed
  b04efa1
- Guard for the emitter nested-constant defect: interpreted-vs-emitted witness; RFM owner + narrowed condition
  Brian Searls
  committed
  5798d5f
- RFM: emitter trigger owner is deep-ferret-305
  Brian Searls
  committed
  d3958e3
- Merge origin/main; construct tag (#12714) becomes CoreEdgeLabel ConstructTagEdge
  Brian Searls
  committed
  e3c1aa8
- Record the ConstructTag conversion on the climb row and the plan
  Brian Searls
  committed
  d898fae
- Merge origin/main into the EdgeLabel cut; cite ConstructTagEdge
  Brian Searls
  committed
  5b22103
- wave1 helper: typed optional constructors in the edge_is_core branch
  Brian Searls
  committed
  5ddc945
- Merge origin/main into the EdgeLabel cut: match_arm_pattern_edge and the new where-clause reader on typed labels; symbol index keeps main's type-param marking
  Brian Searls
  committed
  ea6bcb3
- Merge origin/main; the construct tag and its elided marker are CoreEdgeLabel arms; new resolve readers on typed labels
  Brian Searls
  committed
  589157d
- Merge origin/main (#12828 carries the flipped emitter witness and RFM row)
  Brian Searls
  committed
  ee2b67d
- Merge origin/main; ^loop_realized_declaration_edge (#12550) becomes CoreEdgeLabel LoopRealizedDeclarationEdge; the fold encoding mints every loop edge through Core
  Brian Searls
  committed
  0e46191
- fold_encoding_test: StructuralLabel arm
  Brian Searls
  committed
  115d816
Commits on Oct 1, 2026
- Merge origin/main; dag.dag complement/binop arrow domains keep Authored labels over main's ^bool_node_symbol
  
  Brian Searls
  and
  claude
  committed
  5c28777
- Map-literal markers become CoreEdgeLabel arms (MapLiteralEntryEdge, MapLiteralEntriesEdge); key/value and the entries actual stay Authored
  
  Brian Searls
  and
  claude
  committed
  a38f0ec
- Merge origin/main; #12766's parameter-reference marker becomes CoreEdgeLabel ParameterReferenceEdge
  
  Brian Searls
  and
  claude
  committed
  00ee9aa
- Merge origin/main; #12847's let-annotation position edge and its claim reader use Authored, as the record-field position does
  
  Brian Searls
  and
  claude
  committed
  789f0bf
- Merge origin/main; #12863's Arrow contract edges become CoreEdgeLabel ArrowEffectClaimsEdge / ArrowExecutionModeClaimEdge
  
  Brian Searls
  and
  claude
  committed
  92e5ab5
- #12879's list-literal claim reads a named actual as Authored (it imported the deleted Named)
  
  Brian Searls
  and
  claude
  committed
  9127be8
- Merge origin/main; take #12899's one binder reader (declared_field_from_edge) at every conflicted site; lens member arms read Authored
  
  Brian Searls
  and
  claude
  committed
  2f2afd4
- Merge origin/main (import-list conflicts only: #12898 resource declarations beside this branch's imports)
  
  Brian Searls
  and
  claude
  committed
  8b49986
- Merge origin/main (#12890 landed); take main's deletion of emit_ingest_type_decl_round_trip_test; #12878's float-literal reader and its two claims read Authored
  
  Brian Searls
  and
  claude
  committed
  a8ac3e0
- Merge origin/main (#12909): its new v2.std.node arrow_signature_order_edge matches the core arm (edge_is_core ArrowSignatureOrderEdge), not a label compare
  
  Brian Searls
  and
  claude
  committed
  d7a2089
- Merge origin/main (#12904): the one binder builder (binder_edge, binder_relabelled) mints Authored; every conflicted producer takes main's builder call; import lists merged
  
  Brian Searls
  and
  claude
  committed
  a517d8f
- Merge origin/main; #12770/#12862 sites read Authored; arrow_domain_binds_a_name counts only Authored binders (a structural edge in a domain Conj is not a parameter)
  
  Brian Searls
  and
  claude
  committed
  b9f1569
- Merge origin/main (clean; no new Named sites or text-matched markers in #12892 #12920 #12741 #12613 #12913)
  
  Brian Searls
  and
  claude
  committed
  5e4ee25
- Merge origin/main (#12936 landed; #12923 binder node): the binder node's two markers become CoreEdgeLabel BinderTypeEdge / BinderDefaultEdge
  
  Brian Searls
  and
  claude
  committed
  716dbc3
- sort_labeled partitions by the label's arm (labeled_sort_classes); label_is_structural deleted
  
  Brian Searls
  and
  claude
  committed
  64b1ad1
- Merge origin/main (#12660 enumerates closed-coproduct arms): corpus_census's label fingerprint names all three EdgeLabel arms; a structural label tags |S: instead of falling into |P
  
  Brian Searls
  and
  claude
  committed
  1440a09
- Merge origin/main (#12911 requires clause, #12605): the resource-requirements contract edge becomes CoreEdgeLabel ArrowResourceRequirementsEdge
  
  Brian Searls
  and
  claude
  committed
  f182e73
Commits on Oct 2, 2026
- module_graph: drop the gunbc.rust_item_scan ends_with import that #12736 deleted (an earlier merge of mine kept this branch's import line beside main's)
  
  Brian Searls
  and
  claude
  committed
  e168bc5
- Merge origin/main (#12948 defaults on binders, #12790 close_lowered_image, #12910): resolve_binder_part dispatches on CoreEdgeLabel BinderDefaultEdge, not the <binder-default> text
  
  Brian Searls
  and
  claude
  committed
  07b992b
- node_minimal_representation_test: OccurrencePending arms (#12790 added the variant; this manual witness's exhaustive match was not updated)
  
  Brian Searls
  and
  claude
  committed
  255cf54
- Merge origin/main (#12960 requires none/opaque, #12968, #12939, #12965): #12960's requirements-edge claim builds and reads the core ArrowResourceRequirementsEdge; its member labels are Authored
  
  Brian Searls
  and
  claude
  committed
  075be31
- Merge origin/main (#12760 kernel host-text String, #12932, #12914): infer's string-literal payload read and the product_introduction census edge name read Authored, with an explicit structural arm
  
  Brian Searls
  and
  claude
  committed
  064f99c
- Merge origin/main (DIRTY; #12969 = #12947 lexical refs by occurrence + #12381 where-predicates as declarations, #12944, #12610, ...)
  
  Brian Searls
  and
  claude
  committed
  b629c7d
- translate_underived_refusal claim builds its effect-claims edge as core_edge ArrowEffectClaimsEdge (arrow_effect_claims_label is deleted on this branch)
  
  Brian Searls
  and
  claude
  committed
  b74d1c0
- No wildcard arm over a closed coproduct in this PR's four new functions (#12610's non-fold-residue check)
  
  Brian Searls
  and
  claude
  committed
  4f631ca
- Merge origin/main (#12980 NFR census roster landed; #12993 #12985 #12996 #12987)
  
  Brian Searls
  and
  claude
  committed
  4c7eaa9

Commits

Commits on Sep 30, 2026

Commits on Oct 1, 2026

Commits on Oct 2, 2026