Repository navigation

Native coproduct variant lowering: std.types Bool arms emit true/false, keyed by identity (Bool de-fork PR-1) - #12559

Merged

gunbai-bot[bot] merged 23 commits into

mainfrom

session/warm-wolf-234-bool-variant-lowering

Oct 2, 2026

Commits on Sep 28, 2026

WIP: Float de-fork (binary64 in extdeps, kernel type denotation)
Brian Searls
committed
8882562
kernel_type_denotation: one KernelTypeName carrier, admitted only via is_kernel_type
Brian Searls
committed
64b8081
Split KernelTypeName into leaf std.kernel_type_name (keeps IEEE model out of the seed closure); fix stale std.float citation in emit_rust annotation
Brian Searls
committed
59d8efb
ieee_754_2019: cite helper takes NonEmptyStr (literals checked at call site); claim lists Ordering import
Brian Searls
committed
15f9e25
defork census: Float resolution cites #12547
Brian Searls
committed
5180d42
rust primitives: drop unimported 'any' (UnimportedBareProvider); fold over a helper instead
Brian Searls
committed
f99d503
RustFloatBinding holds the KernelTypeName admission; denotation lookup keyed on KernelTypeName; non-kernel-name RED
Brian Searls
committed
4ebb3c4
Regenerate stage0 gunbc_rust_source_type_bindings.rs (std.float Float row gone; Float verdict ProvenUniqueKernelBinding)
Brian Searls
committed
42f2322
Regenerate dag-v2-defork-audit projection (Float resolved, #12547)
Brian Searls
committed
9aaeb66
WIP: native coproduct variant lowering (sources; mirrors regenerated after rebase)

Brian Searls
and
claude
committed
c3f44b2
WIP: kernel arm holds std.kernel_type_name KernelTypeName

Brian Searls
and
claude
committed
3b1eecb
stage0 regen: native coproduct variant lowering + std.kernel_type_name partition row

Brian Searls
and
claude
committed
486a84b
stage0 regen after restack onto #12547 head

Brian Searls
and
claude
committed
c63819e
Wrapper-ness decided in the same branch as the parent label (review 72323); BeforeInference always refuses at emission

Brian Searls
and
claude
committed
331e5f9

Commits on Oct 2, 2026

Interpreter: std.types Bool arms realize as host bool from the same identity-keyed rows; undecidable arm refuses (Bool de-fork PR-1b) (#12567)

authored
2e9c573
Merge origin/main into bool-variant-lowering

gunbc-ci-auto-heal
and
claude
committed
e4efafc
Merge: union the std_kernel_type_name partition row with main's clock_gettime row

gunbc-ci-auto-heal
and
claude
committed
6b25196
Merge: three-way merge of hand-authored v1_interpreter.rs and compiler_tests.rs (not mirrors)

gunbc-ci-auto-heal
and
claude
committed
def1adc
census_heads: carry VariantPattern parent_identity through the occurrence projection

gunbc-ci-auto-heal
and
claude
committed
bb5f229
Regenerate stage0 mirrors to the fixed point after merging main (claim_executor --required-regen, round 2 first_generation_equal=true)

gunbc-ci-auto-heal
and
claude
committed
dbca6a2
infer_semantics_witness: pre-inference VariantPattern fixtures carry VariantParentBeforeInference

gunbc-ci-auto-heal
and
claude
committed
02faba9
Merge origin/main (with #12980) into bool-variant-lowering

gunbc-ci-auto-heal
and
claude
committed
1a6df4a
Regenerate stage0 mirrors to the fixed point after merging main (round 2 first_generation_equal=true)

gunbc-ci-auto-heal
and
claude
committed
0c0a5ee

Navigation Menu

Repository navigation

Native coproduct variant lowering: std.types Bool arms emit true/false, keyed by identity (Bool de-fork PR-1) - #12559

Native coproduct variant lowering: std.types Bool arms emit true/false, keyed by identity (Bool de-fork PR-1)#12559
gunbai-bot[bot] merged 23 commits into
mainfrom
session/warm-wolf-234-bool-variant-lowering

Commits on Sep 28, 2026

WIP: Float de-fork (binary64 in extdeps, kernel type denotation)

kernel_type_denotation: one KernelTypeName carrier, admitted only via is_kernel_type

Split KernelTypeName into leaf std.kernel_type_name (keeps IEEE model out of the seed closure); fix stale std.float citation in emit_rust annotation

ieee_754_2019: cite helper takes NonEmptyStr (literals checked at call site); claim lists Ordering import

defork census: Float resolution cites #12547

rust primitives: drop unimported 'any' (UnimportedBareProvider); fold over a helper instead

RustFloatBinding holds the KernelTypeName admission; denotation lookup keyed on KernelTypeName; non-kernel-name RED

Regenerate stage0 gunbc_rust_source_type_bindings.rs (std.float Float row gone; Float verdict ProvenUniqueKernelBinding)

Regenerate dag-v2-defork-audit projection (Float resolved, #12547)

WIP: native coproduct variant lowering (sources; mirrors regenerated after rebase)

WIP: kernel arm holds std.kernel_type_name KernelTypeName

stage0 regen: native coproduct variant lowering + std.kernel_type_name partition row

stage0 regen after restack onto #12547 head

Wrapper-ness decided in the same branch as the parent label (review 72323); BeforeInference always refuses at emission

Commits on Oct 2, 2026

Interpreter: std.types Bool arms realize as host bool from the same identity-keyed rows; undecidable arm refuses (Bool de-fork PR-1b) (#12567)

Merge origin/main into bool-variant-lowering

Merge: union the std_kernel_type_name partition row with main's clock_gettime row

Merge: three-way merge of hand-authored v1_interpreter.rs and compiler_tests.rs (not mirrors)

census_heads: carry VariantPattern parent_identity through the occurrence projection

Regenerate stage0 mirrors to the fixed point after merging main (claim_executor --required-regen, round 2 first_generation_equal=true)

infer_semantics_witness: pre-inference VariantPattern fixtures carry VariantParentBeforeInference

Merge origin/main (with #12980) into bool-variant-lowering

Regenerate stage0 mirrors to the fixed point after merging main (round 2 first_generation_equal=true)