Repository navigation

Nat de-fork: one Peano Nat in std.nat, realized as the host integer (binding + cut) - #12846

Merged

gunbai-bot[bot] merged 50 commits into

mainfrom

session/lively-lark-214

Oct 3, 2026

Commits on Sep 30, 2026

Nat de-fork step 2: kernel grounding binding for std.nat Nat, folded once at the end of seed typechecking

gunbc-ci-auto-heal
and
claude
committed
476c3f2
Nat de-fork step 3: one Nat, the Peano carrier in std.nat, realized as the kernel integer

gunbc-ci-auto-heal
and
claude
committed
d81c9af
Nat de-fork: fork census row resolved (#12846); grounded carrier unjudged as a type argument

gunbc-ci-auto-heal
and
claude
committed
727c9dd
Nat de-fork: import std.nat values instead of qualifying them; fact_density imports ConstructionJustification

gunbc-ci-auto-heal
and
claude
committed
b1bf672

Commits on Oct 1, 2026

Nat de-fork: regenerate v1_compiler_infer.rs mirror

gunbc-ci-auto-heal
and
claude
committed
0a56112
Merge remote-tracking branch 'origin/main' into session/lively-lark-214
gunbc-ci-auto-heal
committed
48bcb94
chore: regenerate drifted generated artifacts (ci auto-heal)
gunbai-bot[bot]
authored
05725b4
Nat de-fork: regenerate the de-fork audit projection

gunbc-ci-auto-heal
and
claude
committed
6a53741
Nat de-fork: regenerate stage0 mirrors on the merged tree

gunbc-ci-auto-heal
and
claude
committed
04ee6f0
Merge remote-tracking branch 'origin/session/lively-lark-214' into session/lively-lark-214
gunbc-ci-auto-heal
committed
95431f8
Repair five test modules that refuse once the Nat de-fork widens the floor subject

gunbc-ci-auto-heal
and
claude
committed
1ff78ac
Import Filesystem by name where four modules read it bare

gunbc-ci-auto-heal
and
claude
committed
2d9a5d3
Import the systemd Unit variant by name where it is read bare

gunbc-ci-auto-heal
and
claude
committed
e119a22
Merge remote-tracking branch 'origin/main' into session/lively-lark-214
gunbc-ci-auto-heal
committed
5522278
Nat de-fork: regenerate the std_algebra and std_measure mirrors on the merged tree

gunbc-ci-auto-heal
and
claude
committed
fd61c77
Merge remote-tracking branch 'origin/main' into session/lively-lark-214
gunbc-ci-auto-heal
committed
6c2d7da
Merge remote-tracking branch 'origin/main' into session/lively-lark-214
gunbc-ci-auto-heal
committed
3c3b3e4
Nat de-fork: regenerate the infer mirrors on the merged tree

gunbc-ci-auto-heal
and
claude
committed
366b7aa
Nat de-fork: route kernel-grounded carrier operators through the refusing int helpers

gunbc-ci-auto-heal
and
claude
committed
0d82bb6
fact_density: import Nat by name rather than reading std.nat.Nat qualified

gunbc-ci-auto-heal
and
claude
committed
604517d
Nat de-fork: executed control that emitted Nat operators refuse overflow through v1_rt

gunbc-ci-auto-heal
and
claude
committed
08a79a7
Nat de-fork: Nat route witness and the representation-change failure-mode row

gunbc-ci-auto-heal
and
claude
committed
89409d6
Merge remote-tracking branch 'origin/main' into session/lively-lark-214
gunbc-ci-auto-heal
committed
b8c6478
Nat de-fork: key the refusing-int operand check on the reference's DeclarationRef

gunbc-ci-auto-heal
and
claude
committed
70a9528
Escape braces in the Nat overflow control's emitted test text

gunbc-ci-auto-heal
and
claude
committed
bc03493
Nat de-fork: regenerate mirrors for the refusing Nat operators

gunbc-ci-auto-heal
and
claude
committed
4349b1f
Failure-mode row: record the discriminating control and the replaced first repair

gunbc-ci-auto-heal
and
claude
committed
64a9a48
Failure-mode row: Nat infix subtraction below zero yields a negative Nat (pre-existing on main)

gunbc-ci-auto-heal
and
claude
committed
516d524
Withdraw the Nat infix subtraction row: '-' over Nat is typed Int; the defect is the implicit Int->Nat crossing, already rostered as the_checker_admits_a_cast_the_evaluator_refuses

gunbc-ci-auto-heal
and
claude
committed
356d63f
Merge remote-tracking branch 'origin/main' into session/lively-lark-214
gunbc-ci-auto-heal
committed
1824403
Nat de-fork: regenerate the de-fork audit projection on the merged tree

gunbc-ci-auto-heal
and
claude
committed
3a736ff
Nat de-fork: regenerate compiler mirrors on the merged tree

gunbc-ci-auto-heal
and
claude
committed
09e03aa
Import Filesystem by name in runner_microvm_boot_probe (bare read, ambiguous in the wider floor subject)

gunbc-ci-auto-heal
and
claude
committed
097e942

Commits on Oct 2, 2026

std.nat: inline the ordered difference into nat_sub's else arm (review 73960)

gunbc-ci-auto-heal
and
claude
committed
60f8971
std.nat: regenerate the seed mirror for the inlined difference

gunbc-ci-auto-heal
and
claude
committed
c5e9692
Review 73985: restore the ascending-run annotation's subject; key eval_match's raw-payload exemption on the parent carrier

gunbc-ci-auto-heal
and
claude
committed
cb9af7c
Seed-growth row: state how the eval_match exemption is keyed and its next rung

gunbc-ci-auto-heal
and
claude
committed
d9d48de
Merge main into session/lively-lark-214 (take main mirrors; regen follows)

Brian Searls
and
claude
committed
d850ea5
Regenerate stage0 mirrors to the fixed point; give OrderedSemiringProfile its numeral-admission arm

Brian Searls
and
claude
committed
8901f36
Merge remote-tracking branch 'origin/main' into session/lively-lark-214
Brian Searls
committed
8406b37
Regenerate crate partition and defork audit through main_wet

Brian Searls
and
claude
committed
c6cd8eb
Regenerate the crate-partition mirror after the std_magnitude row left (fixed point: first_generation_equal=true)

Brian Searls
and
claude
committed
2cd17f3
Merge main (with #12980) into session/lively-lark-214; take main mirrors, regen follows

Brian Searls
and
claude
committed
a1358a3
Regenerate stage0 mirrors to the fixed point after merging main (first_generation_equal=true)

Brian Searls
and
claude
committed
f055f1b
Review 74240: delete is_zero/nat_lte/nat_gte from std.nat; callers write the host comparison

Brian Searls
and
claude
committed
d88e267
Merge main into session/lively-lark-214 (Named->Authored rename meets the Nat repoint)

Brian Searls
and
claude
committed
f7fbb7d
Regenerate std_nat and compiler-test mirrors to the fixed point (first_generation_equal=true)

Brian Searls
and
claude
committed
78ddefc
Merge main into session/lively-lark-214; take main mirrors, regen follows

Brian Searls
and
claude
committed
ffa096e
Carry VariantPattern parent_identity through ground_kernel_views

Brian Searls
and
claude
committed
a5fe253
Regenerate stage0 mirrors and crate partition to the fixed point after merging main (first_generation_equal=true)

Brian Searls
and
claude
committed
437e06c