Repository navigation

Remove quadratic remainder copying from code-point/octet slicing in both realizations (skip/take/get/count to their contracts; Value drop no longer walks a shared slice; cost controls enrolled) - #13346

Closed

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

mainfrom

session/swift-ibex-835

Commits on Oct 4, 2026
- Linear code-point/octet slice: skip/take/get/count share the RRB carrier in both realizations
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f747547
- code_point_slice witness: offset decode over non-ASCII text through the slice
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  08a22a6
Commits on Oct 5, 2026
- Regenerate stage0 mirrors (pass 1); witness imports
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6df2f1b
- Regenerate stage0 mirrors (pass 2): emitted skip/take/skip-first now share the carrier; regen fixed point holds
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fe80952
- Value drop: release a persistent carrier by refcount below a nesting threshold
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  abcf580
- Cite the deep-drop control by its module
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  aa8bf65
- Merge origin/main (conflicted generated mirrors taken from main; regen follows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e8bfb93
- Regenerate stage0 mirrors on the merged tree (required-regen converged; fixed_point_equal=true)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  80b9ffc
- Restate the slice cost as O(n log n); exact negative-count contracts; enrol the slice cost controls on the generated job
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  04cd308
- Regenerate witnesses.yml: slice cost controls step on the generated job
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6ece848
- Enrol only the drop tests of value_depth_walker_tests beside the slice controls
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  be51a9f
- code_point_slice witness: size the many-fields walk under the new-witness eval-step budget
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ddb5b64
- Merge origin/main (conflicted generated artifacts taken from main; regen follows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f70eb02
- skip/take contracts: ephemeral_work from the same clamped k as output_size
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e68e82d
- Regenerate stage0 mirrors and witnesses.yml on the merged tree (required-regen converged)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  91f195d
- Merge origin/main (conflicted generated artifacts taken from main; regen follows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  26db7bc
- Regenerate stage0 mirrors and witnesses.yml on the merged tree (required-regen converged)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  09bf927
- Merge origin/main: keep main's PortableValue drop beside the carrier threshold; the slice step now runs only the runtime crate's controls (rust-unit-tests runs v1-compiler whole)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  457c439
- v1_rt.rs: restore list_skip/list_take (main's mirror lacked the runtime_rust.dag block); regen verifies
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3cc369f
- Regenerate stage0 mirrors on the merged tree (pass 1; v1_rt.rs kept as restored, regen verifies)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c10f939
- Regenerate stage0 mirrors on the merged tree (pass 2; required-regen converged, v1_rt.rs equals its emission)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  34306c6
Commits on Oct 6, 2026
- Merge remote-tracking branch 'origin/main' into session/swift-ibex-835
  gunbc-ci-auto-heal
  committed
  3074790
- repo_self_build: the targeted-test comment no longer calls the unit lane off the merge path
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5d3205b
- Regenerate compiler_tests.rs on the merged tree (required-regen converged)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0481d0b
Commits on Oct 7, 2026
- Merge origin/main (generated conflicts taken from main; v1_rt.rs keeps the runtime_rust.dag list_skip/list_take block; regen follows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  654117b
- Regenerate stage0 mirrors and witnesses.yml on the merged tree (required-regen converged; v1_rt.rs equals its emission)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  aded760
Commits on Oct 8, 2026
- Merge origin/main incl. #13280 (generated conflicts taken from main; regen follows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  76052f4
- Regenerate stage0 mirrors and witnesses.yml on main incl. #13280 (extdeps_version_semver.rs re-emitted)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  931fc9a
Commits on Oct 9, 2026
- Merge origin/main (generated conflicts taken from main; regen follows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2cfffd6
- Regenerate stage0 mirrors and witnesses.yml on current main (incl. v1_tests_claim_interpolation_hole_census.rs)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e551ac2

Navigation Menu

Repository navigation

Remove quadratic remainder copying from code-point/octet slicing in both realizations (skip/take/get/count to their contracts; Value drop no longer walks a shared slice; cost controls enrolled) - #13346

Remove quadratic remainder copying from code-point/octet slicing in both realizations (skip/take/get/count to their contracts; Value drop no longer walks a shared slice; cost controls enrolled)#13346
gunbai-bot[bot] wants to merge 30 commits into
mainfrom
session/swift-ibex-835

Commits on Oct 4, 2026

Linear code-point/octet slice: skip/take/get/count share the RRB carrier in both realizations

code_point_slice witness: offset decode over non-ASCII text through the slice

Commits on Oct 5, 2026

Regenerate stage0 mirrors (pass 1); witness imports

Regenerate stage0 mirrors (pass 2): emitted skip/take/skip-first now share the carrier; regen fixed point holds

Value drop: release a persistent carrier by refcount below a nesting threshold

Cite the deep-drop control by its module

Merge origin/main (conflicted generated mirrors taken from main; regen follows)

Regenerate stage0 mirrors on the merged tree (required-regen converged; fixed_point_equal=true)

Restate the slice cost as O(n log n); exact negative-count contracts; enrol the slice cost controls on the generated job

Regenerate witnesses.yml: slice cost controls step on the generated job

Enrol only the drop tests of value_depth_walker_tests beside the slice controls

code_point_slice witness: size the many-fields walk under the new-witness eval-step budget

Merge origin/main (conflicted generated artifacts taken from main; regen follows)

skip/take contracts: ephemeral_work from the same clamped k as output_size

Regenerate stage0 mirrors and witnesses.yml on the merged tree (required-regen converged)

Merge origin/main (conflicted generated artifacts taken from main; regen follows)

Regenerate stage0 mirrors and witnesses.yml on the merged tree (required-regen converged)

Merge origin/main: keep main's PortableValue drop beside the carrier threshold; the slice step now runs only the runtime crate's controls (rust-unit-tests runs v1-compiler whole)

v1_rt.rs: restore list_skip/list_take (main's mirror lacked the runtime_rust.dag block); regen verifies

Regenerate stage0 mirrors on the merged tree (pass 1; v1_rt.rs kept as restored, regen verifies)

Regenerate stage0 mirrors on the merged tree (pass 2; required-regen converged, v1_rt.rs equals its emission)

Commits on Oct 6, 2026

Merge remote-tracking branch 'origin/main' into session/swift-ibex-835

repo_self_build: the targeted-test comment no longer calls the unit lane off the merge path

Regenerate compiler_tests.rs on the merged tree (required-regen converged)

Commits on Oct 7, 2026

Merge origin/main (generated conflicts taken from main; v1_rt.rs keeps the runtime_rust.dag list_skip/list_take block; regen follows)

Regenerate stage0 mirrors and witnesses.yml on the merged tree (required-regen converged; v1_rt.rs equals its emission)

Commits on Oct 8, 2026

Merge origin/main incl. #13280 (generated conflicts taken from main; regen follows)

Regenerate stage0 mirrors and witnesses.yml on main incl. #13280 (extdeps_version_semver.rs re-emitted)

Commits on Oct 9, 2026

Merge origin/main (generated conflicts taken from main; regen follows)

Regenerate stage0 mirrors and witnesses.yml on current main (incl. v1_tests_claim_interpolation_hole_census.rs)