Repository navigation

Native broker 2K-b: identity-keyed type_summaries; Host-Option decided by declaration - #13454

Closed

gunbai-bot[bot] wants to merge 61 commits into

mainfrom

session/bright-swift-722

Closed

Native broker 2K-b: identity-keyed type_summaries; Host-Option decided by declaration#13454
gunbai-bot[bot] wants to merge 61 commits into
mainfrom
session/bright-swift-722

Commits on Oct 6, 2026
- Refuse an authored import of a non-mint type that collides with a kernel name.
  
  Brian Searls
  and
  cursoragent
  committed
  93af325
- Witness compiles the importer and collision files, not a forked string.
  
  Brian Searls
  and
  cursoragent
  committed
  ca07d88
- Require mint DeclarationRef equality and refuse ambiguous mint rows.
  
  Brian Searls
  and
  cursoragent
  committed
  785270a
- Admit a mint import only via declaration_ref_eq.
  
  Brian Searls
  and
  cursoragent
  committed
  c648d23
- Retire stale Optional unimported-bare-provider rows.
  
  Brian Searls
  and
  cursoragent
  committed
  d851c41
- Install emitted stage0 mirrors and isolate the non-kernel control.
  
  Brian Searls
  and
  cursoragent
  committed
  f88f6e4
- Keep the colliding Optional out of the source-root corpus.
  
  Brian Searls
  and
  cursoragent
  committed
  a085556
- Restore the three Optional unimported-bare-provider rows.
  
  Brian Searls
  and
  cursoragent
  committed
  c13efd6
Commits on Oct 7, 2026
- Merge remote-tracking branch 'origin/main' into session/swift-ram-681
  Brian Searls
  committed
  7219bbd
- Repoint this PR's mint Optional citations onto std.optional.
  
  Brian Searls
  and
  cursoragent
  committed
  d6e32f4
- emit_info: type_summaries keyed by declaring identity; variant_to_enum maps to the owner's identity; host-Option decided by declaration
  
  Brian Searls
  and
  claude
  committed
  e99aa7e
- emit_info: fn-type syntax; unit control: a same-leaf type elsewhere leaves another module's emission unchanged
  
  Brian Searls
  and
  claude
  committed
  10f0078
- emit_info: lookup_emit_type_summary answers the decided summary; disposition witness builds the identity-keyed index
  
  Brian Searls
  and
  claude
  committed
  a7681cf
- cli_run: read type summaries by declaration identity; a variant owner's module is its identity's prefix
  
  Brian Searls
  and
  claude
  committed
  cc0933e
- emit_rust: summary presence through the decided lookup, not a map builtin
  
  Brian Searls
  and
  claude
  committed
  208db2c
- emit_rust: shared set by declarer agreement; host-option and native-alias name checks decide an identity by its declaration; failure-mode row updated
  
  Brian Searls
  and
  claude
  committed
  dd7b1c9
- emit_info: a bare kernel-mint spelling resolves through kernel_mint_declaration_rows (counted kernel_mint); emit_rust: a re-exported parent is a host carrier when every declarer is; unit control so…
  
  Brian Searls
  and
  claude
  committed
  f9cebcc
- emit_rust: a reference resolved to a declaration node is the host option only when it is the kernel mint's declaration (symbol index + declaring span)
  
  Brian Searls
  and
  claude
  committed
  2db5765
- emit_rust: bind the mint declaration's path before concatenating
  
  Brian Searls
  and
  claude
  committed
  2b5aed2
- emit_rust: bind the declaration-node test before the condition (a constructor before '{' reads as a record literal)
  
  Brian Searls
  and
  claude
  committed
  cfd5a87
- emit_rust: a coproduct structure is the host option only when built from the kernel mint's declaration
  
  Brian Searls
  and
  claude
  committed
  0fe67e2
- emit_rust: a declaration structure is the host option only when declaration_ref_of_declaration_node names the kernel mint's declaration
  
  Brian Searls
  and
  claude
  committed
  679ba6a
- emit_info: an unstamped bare leaf is decided by its occurrence's file scope; the kernel mint only when nothing the scope wrote binds it. emit_rust: Host-Option has no leaf-only arm
  
  authored and
  Brian Searls
  committed
  1db5cae
- Back out the explicit Optional imports: v2.std.optional is not in these files' compile roots (v2 self-compile: unresolved import)
  
  authored and
  Brian Searls
  committed
  abd0fea
- Unstamped occurrences follow the resolver's order (own file, kernel, imports) through one decision, v1.compiler.infer_env bare_occurrence_binding, read by the type-declaration router and by Host-Op…
  
  authored and
  Brian Searls
  committed
  7923441
- Occurrence decision mirrors lookup_binding (own file, named import, kernel) on SymbolIndex; importer fixture asserts the imported coproduct; failure-mode row records the resolver meaning fork
  
  authored and
  Brian Searls
  committed
  65871af
- Import arm decided by the import's declaration (node join, else module and name); Host-Option admits either declaration fact
  
  authored and
  Brian Searls
  committed
  7c83d48
- A named import is followed through re-exports to the declaring module, as lookup_binding follows it
  
  authored and
  Brian Searls
  committed
  b5ee63f
- Importer specimen leaves the emission-controls closure (the resolver fork makes it unbuildable); unit control pins the emitter's lookup_binding order over carrier_realization_census
  
  authored and
  Brian Searls
  committed
  6098708
- compiler_tests_rust: escape the interpolation brace in the new control's messages
  
  authored and
  Brian Searls
  committed
  8c605bb
- anonymous_record_struct_resolution_test: build the identity-keyed TypeSummaryIndex
  
  authored and
  Brian Searls
  committed
  cdfed09
- Cite overlay_skips_kernel_name at its new home, v1.compiler.infer_env (carrier_by_spelling evidence and three prose citations)
  
  authored and
  Brian Searls
  committed
  cd41f67
- Regenerate gunbc_rust_source_type_bindings.rs mirror
  
  authored and
  Brian Searls
  committed
  90a90c3
- Bare-provider gate: a kernel-layer name owes no pair (overlay_skips_kernel_name); the loader's pull predicate is restored, since the kernel mint's declaration module must still load
  
  authored and
  Brian Searls
  committed
  241c386
- Keep the colliding Optional and its importer out of the source-root corpus (fixtures/), as gunbc#13459 does: a second Optional declaration type-cascaded three gated parse claims on the floor. The t…
  
  authored and
  Brian Searls
  committed
  e850e69
- Repoint this lane's Optional citations to std.optional after #13388 re-homed the mint.
  
  Brian Searls
  and
  cursoragent
  committed
  fc21c85
- Read identity-keyed type summaries through the committed HashMap seed surface.
  
  Brian Searls
  and
  cursoragent
  committed
  77b8451
- Regenerate stage0 mirrors at the 13454/std.optional fixed point.
  briansrls
  committed
  bdfdcf0
- Read type summaries through TypeSummaryIndex.by_key now that the regen installed that carrier.
  
  Brian Searls
  and
  cursoragent
  committed
  0d8690b
- Converged stage0 mirrors after TypeSummaryIndex seed rebuild.
  briansrls
  committed
  12cd8e5
- Walk each imported type against a one-scan declaration-name set.
  
  Brian Searls
  and
  cursoragent
  committed
  f4f0a56
- Fill SymbolIndex.file_modules and module_named_imports after the regen installed those fields.
  
  Brian Searls
  and
  cursoragent
  committed
  46ccad0
- Retire the three Optional roster rows as ImportsFixed now that those files import std.optional.
  
  Brian Searls
  and
  cursoragent
  committed
  7975886
- Dissolve the stale shadowed-by-kernel-name class into import_collides_with_a_kernel_name now that the import wall is enrolled.
  
  Brian Searls
  and
  cursoragent
  committed
  7e9bf09
- Retarget the overlay-shadow class to non-mint kernel names; Optional is closed by the import wall.
  
  Brian Searls
  and
  cursoragent
  committed
  81bd6ed
- Delete the unused per-name kernel-mint wrappers; cite the resolve path that actually refuses.
  
  Brian Searls
  and
  cursoragent
  committed
  5ab8a3c
- Parse the one-scan type-declaration fold with the same fn form the rest of resolve uses.
  
  Brian Searls
  and
  cursoragent
  committed
  037ff25
- Collect type-declaration names with the filter/map/fold spelling this module already parses.
  
  Brian Searls
  and
  cursoragent
  committed
  0a9ecf0
- Take the peel-probe SymbolIndex file maps from empty_symbol_index; the fixture has no files.
  
  Brian Searls
  and
  cursoragent
  committed
  ab66389
- Install the emitted v1_compiler_resolve.rs mirror so generated surface matches the resolve .dag.
  
  Brian Searls
  and
  cursoragent
  committed
  a4f1a32
- Drop transcribed kernel-import census counts; the wall's scope is qualitative.
  
  Brian Searls
  and
  cursoragent
  committed
  307617f
- Refuse an unqualified variant-to-enum identity instead of guessing its module.
  
  Brian Searls
  and
  cursoragent
  committed
  bb7549d
- Delete the type-env scan from defining_module_for_resolved_type.
  
  Brian Searls
  and
  cursoragent
  committed
  9fd3d69
- Merge session/swift-ram-681: one-scan kernel-import resolve wall.
  Brian Searls
  committed
  0150667
- Look up owned-data modules by variant leaf or type identity.
  
  Brian Searls
  and
  cursoragent
  committed
  e052e3a
- Prefer type-declaration identity over a colliding variant leaf.
  
  Brian Searls
  and
  cursoragent
  committed
  ae38e97
- Cover the BoolWitnessClaim collision at resolved_initializer_decl_ref.
  
  Brian Searls
  and
  cursoragent
  committed
  820265d
Commits on Oct 8, 2026
- Merge origin/main into session/bright-swift-722.
  
  Brian Searls
  and
  cursoragent
  committed
  7eba9e0
- Refuse an ambiguous type-summary question instead of answering false.
  
  Brian Searls
  and
  cursoragent
  committed
  74aee14
- Take main's v1_std_core.rs so the merged seed compiles.
  
  Brian Searls
  and
  cursoragent
  committed
  1a4070c
- Install the three stage0 mirrors that drifted after the main merge.
  
  Brian Searls
  and
  cursoragent
  committed
  8b0f27f

Commits

Commits on Oct 6, 2026

Commits on Oct 7, 2026

Commits on Oct 8, 2026