User copies are scatter-gather: a window is its physical runs, each pinned - #593

Merged

Japabu merged 9 commits into

mainfrom

Sep 29, 2026

Commits on Sep 28, 2026

User copies are scatter-gather: a window is its physical runs, each pinned

Japabu
and
claude
committed
8bfad2c
user_copy_spans_windows speaks only std, so its source is its own oracle

Japabu
and
claude
committed
939783c

Commits on Sep 29, 2026

Merge remote-tracking branch 'origin/main' into wt/toyos-mem4k
Japabu
committed
4cf0130
Round 2 of #593: one walk per leaf, a typed copy allocates nothing, and the pins are all-or-nothing in one tested place

Japabu
and
claude
committed
954bbce
munmap_reissues_second_read_window fails at once on a read refused before it parks

Japabu
and
claude
committed
f03f81b
Merge remote-tracking branch 'origin/main' into wt/toyos-mem4k
Japabu
committed
5ae4132
Round 3 of #593: a write across a split window's pages is tested per page, and one pin path serves both copies

Japabu
and
claude
committed
fa99614
Delete TECHNICAL_DEBT section 2 and the translate_writable issue

Japabu
and
claude
committed
12a4520
Delete section 2 of kernel/TECHNICAL_DEBT.md

Japabu
and
claude
committed
c671f22