BONE/SEA S10: link the actual core into an exact freestanding i386 image by Deadbytes101 · Pull Request #42 · Deadbytes101/BONEBOX-01

Deadbytes101 · 2026-08-04T21:54:44Z

BONE/SEA S10 FREESTANDING SEA IMAGE

STACKED BASE

base branch: ecosystem/shinesea-s9-nostd-adapter
exact parent head: efe07e0cbca4c01320306b805e4a3454d990b0f1
exact S10 head: 8ff5e82aa9c56bdcdc61613c6dcfbd2cf9ac3102
failed initial S10 head: e361b8ff5b2ab392245d6d59b1aa46f213afa3be
exact N6 authority: 93ea5ffb59ff31e87ab7fd5ecb5570c89b29ffee
N6 nano SHA256: 581d1a6c59580fedca7fca97035449521231f9450ca4a3c2cf35d6ed07640855
exact SHINESEA v1.0.0 source: 3bc6343ecaeae27f0d01c6301cab01a0e77bfb96

PURPOSE

S10 links the actual frozen SHINESEA read_verified_image path and the one shared BONE/SEA adapter into a freestanding ELF32 i386 executable with the exact S2 SEA-domain layout. It reconstructs one flat 458752-byte domain image from the seven ELF PT_LOAD segments.

This is link/layout evidence only. The image is not loaded or executed.

EXACT LAYOUT

00020000-0002FFFF  CODE / RODATA / STATIC      65536
00030000-00033FFF  RING3 STACK                  16384
00034000-00034FFF  ATA BLOCK BOUNCE              4096
00035000-00037FFF  PROTOCOL SCRATCH             12288
00038000-0003FFFF  LINKER GROWTH RESERVE        32768
00040000-0007FFFF  FIXED ALLOCATOR ARENA       262144
00080000-0008FFFF  ZERO PADDING RESERVE         65536
00020000-0008FFFF  COMPLETE SEA DOMAIN         458752

OBSERVED FAILURE AND REPAIR

Initial head e361b8ff5b2ab392245d6d59b1aa46f213afa3be passed native tests and inherited release proofs, then failed direct i386 compilation with three E0133 errors while acquiring addresses of mutable statics.

Current head 8ff5e82aa9c56bdcdc61613c6dcfbd2cf9ac3102 changes only three expressions in tools/bone-sea/s10/image.rs, making access to SEA_ARENA, SEA_SCRATCH, and SEA_BOUNCE explicitly unsafe. Linker policy, allocator behavior, exact layout, ELF judge, SHINESEA source, shared adapter, and S1-S9 authorities remain unchanged.

OBSERVED EXACT-HEAD VALIDATION

Working tree:

tracked tree clean;
allowed local artifact only: ?? sc.local.png.

Native validation with warnings denied:

total defined tests: 102 / 102 PASS;
compiler warnings: 0.

Exact S1 authority:

SHINESEA source tar SHA256: ea58c3164184ef6f30d20c88376c2aead04b6c706538c81ac6a15e9e0a08ec71;
image bytes: 65536;
image SHA256: 7c2f52f99de60097d16d89dab2f583450aba9727a3a456ad028dadd561c5dab1;
payload SHA256: 1c6959e34c21eebc43e220400ec1f7573446c962beebe3bdf2bbff512ebff6dd;
terminal verdict: BONE/SEA S1 VERIFY PASS.

Inherited S3 authority:

block/sector bytes: 4096 / 512;
sectors per block: 8;
capacity: 16 blocks;
LBA range: 40..167;
full-volume transfers: 128;
atomic publication: PASS;
write authority: DISABLED;
terminal verdict: BONE/SEA S3 ADAPTER VERIFY PASS.

Inherited S8 fixed-arena proof:

actual SHINESEA no_std + alloc core: PASS;
shared S3 adapter: PASS;
arena authority: 262144 bytes;
peak requested live/high-water: 139264 / 139264;
live/high-water at publication: 66955 / 77104;
arena headroom: 122880;
max alignment: 8;
allocation/deallocation/reallocation calls: 29 / 24 / 0;
System calls in window: 0;
final live bytes/high-water/records: 0 / 0 / 0;
sector transfers: 144;
first-fit reuse and implicit coalescing: PASS;
low-budget bytes/high-water: 65535 / 16384;
full image allocation at 65536: REJECTED;
low-budget transfers: 16;
temporary driver: REMOVED ON EXIT;
terminal verdict: BONE/SEA S8 ACTUAL FIXED ARENA VERIFY PASS.

Inherited S9 no_std boundary:

host default: STD;
direct library mode: NO_STD + ALLOC;
shared adapter: ONE IMPLEMENTATION;
adapter std-path tokens: 0;
SHA256 bytes: NO_STD + ALLOC;
SHA256 file I/O: STD-GATED;
no_std library rlib: 84636 bytes;
std library rlib: 92466 bytes;
no_std consumer rlib: 32180 bytes;
inherited S8 fixed arena: REVERIFIED;
temporary outputs: REMOVED ON EXIT;
terminal verdict: BONE/SEA S9 NO_STD ADAPTER VERIFY PASS.

S10 freestanding image proof:

target: i686-unknown-linux-gnu, i386 codegen carrier only;
linker: Rust-distributed rust-lld / ld.lld;
ELF class/machine/type: 32 / I386 / EXEC;
entry: 0x00020000;
SEA domain: 0x00020000..0x00090000, 458752 bytes;
SEA code bytes/headroom: 35040 / 30496;
exact stack/bounce/scratch/linker/arena/zero regions: PASS;
PT_LOAD segments: 7;
undefined symbols: 0;
dynamic sections: 0;
libc / Linux runtime: ABSENT;
actual SHINESEA core: LINKED NO_STD + ALLOC;
shared adapter: ONE IMPLEMENTATION;
ELF bytes: 79928;
flat image bytes: 458752;
flat image SHA256: 835333bb0636540a7af2d3b59b14482bb5157b38c7d3c250148965e0d51991a8;
write authority: DISABLED;
temporary ELF, rlibs, and flat image: REMOVED ON EXIT;
terminal verdict: BONE/SEA S10 FREESTANDING IMAGE VERIFY PASS.

PROOF SURFACE

.github/workflows/bone-sea-s10-freestanding.yml
config/bone_sea_s10.json
docs/BONE_SEA_S10.md
tools/bone-sea/s10/LICENSE-NOTICE.txt
tools/bone-sea/s10/image.rs
tools/bone-sea/s10/link.ld
tools/bone-sea/src/bin/bone-sea-s10.rs

NON-CLAIMS

N6 loader integration: no;
SEA LDT loaded: no;
ring3 execution: no;
real ATA or N6 I/O-gate execution: no;
RIGHT_IO enforcement: no;
S1 runtime mount: no;
runtime allocator PASS: no;
runtime PASS: no;
write authority: no.

MERGE LAW

S10 is ready for review only against exact parent efe07e0cbca4c01320306b805e4a3454d990b0f1 and exact head 8ff5e82aa9c56bdcdc61613c6dcfbd2cf9ac3102. Any head movement, rebase, retarget, or integration requires fresh evidence.

No merge is performed automatically.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

Deadbytes101 · 2026-08-04T21:55:22Z

BONE/SEA S10 EXACT WINDOWS VALIDATION GATE

Current exact head:

e361b8ff5b2ab392245d6d59b1aa46f213afa3be

Required setup and commands:

cd D:\TECHNICAL\BONEBOX-01

git fetch origin --prune
git switch ecosystem/shinesea-s10-freestanding-image
git reset --hard origin/ecosystem/shinesea-s10-freestanding-image

git rev-parse HEAD
git status --short

rustup target add i686-unknown-linux-gnu

$env:RUSTFLAGS = '-Dwarnings'

cargo test `
    --locked `
    --all-targets `
    --manifest-path .\tools\bone-sea\Cargo.toml

cargo run `
    --locked `
    --release `
    --manifest-path .\tools\bone-sea\Cargo.toml `
    --bin bone-sea `
    -- `
    proof `
    --shinesea D:\TECHNICAL\SHINESEA

cargo run `
    --locked `
    --release `
    --manifest-path .\tools\bone-sea\Cargo.toml `
    --bin bone-sea-s3 `
    -- `
    verify

cargo run `
    --locked `
    --release `
    --manifest-path .\tools\bone-sea\Cargo.toml `
    --bin bone-sea-s8 `
    -- `
    verify `
    --shinesea D:\TECHNICAL\SHINESEA

cargo run `
    --locked `
    --release `
    --manifest-path .\tools\bone-sea\Cargo.toml `
    --bin bone-sea-s9 `
    -- `
    verify `
    --shinesea D:\TECHNICAL\SHINESEA

cargo run `
    --locked `
    --release `
    --manifest-path .\tools\bone-sea\Cargo.toml `
    --bin bone-sea-s10 `
    -- `
    verify `
    --shinesea D:\TECHNICAL\SHINESEA

Only ?? sc.local.png is allowed in git status --short.

Required native test total:

LIBRARY               0 / 0
S1                   13 / 13
S2 DOMAIN            14 / 14
S2 CONTROL            6 / 6
S3 ADAPTER           15 / 15
S4 ORCHESTRATOR       7 / 7
S5 ORCHESTRATOR       7 / 7
S6 ORCHESTRATOR       8 / 8
S7 ORCHESTRATOR       8 / 8
S8 ORCHESTRATOR       8 / 8
S9 ORCHESTRATOR       8 / 8
S10 ORCHESTRATOR      8 / 8
---------------------------------
TOTAL                102 / 102 PASS
WARNINGS              0

Required S10 terminal framework:

BONE/SEA S10 FREESTANDING IMAGE VERIFIED
CODEGEN TARGET           i686-unknown-linux-gnu
TARGET ROLE              I386 CODEGEN CARRIER ONLY
LINKER                   RUST-LLD / LD.LLD
ELF CLASS                32
ELF MACHINE              I386
ELF TYPE                 EXEC
ENTRY                    0x00020000
SEA DOMAIN START         0x00020000
SEA DOMAIN END           0x00090000
SEA DOMAIN BYTES         458752
SEA CODE BYTES           <OBSERVED>
SEA CODE HEADROOM        <OBSERVED>
SEA STACK                0x00030000 + 16384
SEA BOUNCE               0x00034000 + 4096
SEA SCRATCH              0x00035000 + 12288
SEA LINKER RESERVE       0x00038000 + 32768
SEA ARENA                0x00040000 + 262144
SEA ZERO RESERVE         0x00080000 + 65536
LOAD SEGMENTS            7
UNDEFINED SYMBOLS        0
DYNAMIC SECTIONS         0
LIBC / LINUX RUNTIME     ABSENT
ACTUAL SHINESEA CORE     LINKED NO_STD + ALLOC
SHARED ADAPTER           ONE IMPLEMENTATION
SECTOR GATE              VOLATILE LINK WITNESS ONLY
ELF BYTES                <OBSERVED>
FLAT IMAGE BYTES         458752
FLAT IMAGE SHA256        <OBSERVED>
WRITE AUTHORITY          DISABLED
COMBINED IMAGE           TEMPORARY GPL-2.0-OR-LATER RESEARCH ONLY
S10 freestanding link image complete; this is not an N6 runtime PASS claim.
BONE/SEA S10 FREESTANDING IMAGE VERIFY PASS
BONEBOX HEAD             e361b8ff5b2ab392245d6d59b1aa46f213afa3be
S10 PARENT HEAD          efe07e0cbca4c01320306b805e4a3454d990b0f1
SHINESEA HEAD            3bc6343ecaeae27f0d01c6301cab01a0e77bfb96
TARGET                   i686-unknown-linux-gnu
SEA CODE BYTES           <OBSERVED>
SEA CODE HEADROOM        <OBSERVED>
FLAT IMAGE SHA256        <OBSERVED>
TEMPORARY OUTPUTS        REMOVED ON EXIT

Inherited S1 exact hashes and S3/S8/S9 terminals must remain unchanged. Any compile, link, ELF, section, segment, symbol, code-window, flat-image, or cleanup failure keeps PR #42 draft and invalidates S10 completion.

Do not merge automatically. Do not authorize S11 before exact-head evidence.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

Deadbytes101 · 2026-08-04T21:58:32Z

BONE/SEA S10 OBSERVED WINDOWS FAILURE AND SURGICAL REPAIR

FAILED EXACT HEAD

e361b8ff5b2ab392245d6d59b1aa46f213afa3be

OBSERVED PASS BEFORE S10 LINK

exact tracked tree: clean; only ?? sc.local.png untracked;
native defined tests: 102 / 102 PASS;
compiler warnings: 0;
exact S1 deterministic image and payload hashes: PASS;
inherited S3 adapter: PASS;
inherited S8 fixed arena: PASS;
inherited S9 dual-mode no_std adapter: PASS.

OBSERVED S10 FAILURE

The direct i386 compile failed before linking with three E0133 errors:

address acquisition from SEA_ARENA;
address acquisition from SEA_SCRATCH;
address acquisition from SEA_BOUNCE.

Each used ptr::addr_of_mut! on a static mut without an explicit unsafe block. No ELF, code-size, PT_LOAD, symbol, flat-image, or cleanup evidence was produced on the failed head.

SURGICAL REPAIR

Current exact head:

8ff5e82aa9c56bdcdc61613c6dcfbd2cf9ac3102

Changed only:

tools/bone-sea/s10/image.rs

Net diff from failed head:

files: 1;
additions: 3;
deletions: 3.

The three address expressions are now explicit unsafe operations. Allocator policy, volatile gate behavior, linker script, domain layout, SHINESEA source, shared adapter, ELF judge, and S1-S9 authorities are unchanged.

VALIDATION LAW

Evidence from e361b8ff... is valid only for the observed 102 / 102, S1, S3, S8, and S9 precursor gates. It is invalid for S10 completion.

Re-run the complete matrix on exact head 8ff5e82aa9c56bdcdc61613c6dcfbd2cf9ac3102. Keep PR #42 draft. Do not merge and do not authorize S11 before actual link, ELF, flat-image, and cleanup evidence passes.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

Deadbytes101 · 2026-08-04T22:00:49Z

BONE/SEA S10 PARTIAL EXACT-HEAD WINDOWS EVIDENCE

Exact head:

8ff5e82aa9c56bdcdc61613c6dcfbd2cf9ac3102

Working tree:

tracked tree clean;
allowed local artifact only: ?? sc.local.png.

Observed on the exact repaired head:

cargo test --locked --all-targets: 102 / 102 PASS;
compiler warnings: 0;
S10 direct i386 compile: PASS;
ELF32 / little-endian / ET_EXEC / EM_386: PASS;
entry: 0x00020000;
SEA domain: 0x00020000..0x00090000, 458752 bytes;
SEA code bytes: 35040;
SEA code headroom: 30496;
exact stack/bounce/scratch/linker/arena/zero regions: PASS;
PT_LOAD segments: 7;
undefined symbols: 0;
dynamic sections: 0;
libc / Linux runtime: ABSENT;
actual SHINESEA no_std + alloc core: LINKED;
shared adapter: ONE IMPLEMENTATION;
ELF bytes: 79928;
flat image bytes: 458752;
flat image SHA256: 835333bb0636540a7af2d3b59b14482bb5157b38c7d3c250148965e0d51991a8;
write authority: DISABLED;
temporary outputs: REMOVED ON EXIT;
terminal verdict: BONE/SEA S10 FREESTANDING IMAGE VERIFY PASS.

This closes the prior E0133 failure and proves the S10 link/layout/ELF/flat-image gate on the current exact head.

Acceptance remains incomplete because this transcript does not include the inherited S1, S3, S8, and S9 release commands executed again on exact head 8ff5e82aa9c56bdcdc61613c6dcfbd2cf9ac3102. GitHub Actions currently exposes no workflow run for this head, so no CI result substitutes for those missing observations.

PR remains draft. Do not merge and do not authorize S11 until the four inherited release proofs are attached on this exact head.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

Deadbytes101 · 2026-08-04T22:04:13Z

BONE/SEA S10 FINAL EXACT-HEAD WINDOWS EVIDENCE

Exact head:

8ff5e82aa9c56bdcdc61613c6dcfbd2cf9ac3102

Working tree authority:

tracked tree clean;
only allowed local artifact: ?? sc.local.png.

Native validation already observed on this exact head:

total defined tests: 102 / 102 PASS;
compiler warnings: 0.

Exact S1 authority reverified:

SHINESEA head: 3bc6343ecaeae27f0d01c6301cab01a0e77bfb96;
SHINESEA source tar SHA256: ea58c3164184ef6f30d20c88376c2aead04b6c706538c81ac6a15e9e0a08ec71;
image bytes: 65536;
image SHA256: 7c2f52f99de60097d16d89dab2f583450aba9727a3a456ad028dadd561c5dab1;
payload SHA256: 1c6959e34c21eebc43e220400ec1f7573446c962beebe3bdf2bbff512ebff6dd;
terminal verdict: BONE/SEA S1 VERIFY PASS;
write authority: DISABLED.

Inherited S3 adapter reverified:

block bytes: 4096;
sector bytes: 512;
sectors per block: 8;
capacity blocks: 16;
LBA range: 40..167;
full-volume transfers: 128;
max request bytes: 65536;
publication: atomic after complete request;
terminal verdict: BONE/SEA S3 ADAPTER VERIFY PASS;
write authority: DISABLED.

Inherited S8 fixed-arena proof reverified:

actual SHINESEA no_std + alloc core: PASS;
shared S3 adapter: PASS;
static arena: 262144 bytes;
peak requested live: 139264;
peak arena high-water: 139264;
live at publication: 66955;
high-water at publication: 77104;
arena headroom: 122880;
max alignment: 8;
allocation/deallocation/reallocation calls: 29 / 24 / 0;
System calls in window: 0;
final live bytes/high-water/records: 0 / 0 / 0;
sector transfers: 144;
first-fit reuse: PASS;
implicit coalescing: PASS;
low-budget bytes/high-water: 65535 / 16384;
full image allocation at 65536: REJECTED;
low-budget transfers: 16;
temporary driver: REMOVED ON EXIT;
terminal verdict: BONE/SEA S8 ACTUAL FIXED ARENA VERIFY PASS.

Inherited S9 no_std boundary reverified:

host default: STD;
direct library mode: NO_STD + ALLOC;
shared adapter: ONE IMPLEMENTATION;
adapter std-path tokens: 0;
SHA256 bytes: NO_STD + ALLOC;
SHA256 file I/O: STD-GATED;
no_std BONE/SEA rlib: 84636 bytes;
std BONE/SEA rlib: 92466 bytes;
no_std consumer rlib: 32180 bytes;
inherited S8 fixed arena: REVERIFIED;
System calls in window: 0;
temporary outputs: REMOVED ON EXIT;
terminal verdict: BONE/SEA S9 NO_STD ADAPTER VERIFY PASS.

S10 freestanding image proof already observed on this exact head:

target: i686-unknown-linux-gnu, i386 codegen carrier only;
linker: Rust-distributed rust-lld / ld.lld;
ELF: 32-bit, I386, ET_EXEC;
entry: 0x00020000;
SEA domain: 0x00020000..0x00090000, 458752 bytes;
SEA code: 35040 bytes;
SEA code headroom: 30496 bytes;
PT_LOAD segments: 7;
undefined symbols: 0;
dynamic sections: 0;
libc / Linux runtime: ABSENT;
actual SHINESEA core: LINKED NO_STD + ALLOC;
shared adapter: ONE IMPLEMENTATION;
ELF bytes: 79928;
flat image bytes: 458752;
flat image SHA256: 835333bb0636540a7af2d3b59b14482bb5157b38c7d3c250148965e0d51991a8;
write authority: DISABLED;
temporary ELF, rlibs, and flat image: REMOVED ON EXIT;
terminal verdict: BONE/SEA S10 FREESTANDING IMAGE VERIFY PASS.

S10 acceptance is complete for exact head 8ff5e82aa9c56bdcdc61613c6dcfbd2cf9ac3102.

NON-CLAIMS REMAIN UNCHANGED

no N6 loader integration;
no SEA LDT load;
no ring3 execution;
no real ATA or N6 I/O-gate execution;
no RIGHT_IO enforcement;
no S1 runtime mount;
no runtime allocator PASS;
no runtime PASS;
no write authority.

Ready-for-review authorization applies only to this exact stacked head. Any head movement, rebase, retarget, or integration requires fresh evidence.

No merge performed.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

Deadbytes101 added 7 commits August 5, 2026 04:47

define the S10 freestanding image contract

142070f

add the exact S10 SEA linker map

dc99950

add the actual-core S10 freestanding image source

42f42fd

add the S10 freestanding image verifier

b410191

add the S10 freestanding image workflow

d3ab57a

document the S10 license boundary

f16699e

document the S10 freestanding image proof

e361b8f

make S10 mutable-static address acquisition explicit

8ff5e82

Deadbytes101 marked this pull request as ready for review August 4, 2026 22:04

Deadbytes101 closed this Aug 5, 2026

Navigation Menu

BONE/SEA S10: link the actual core into an exact freestanding i386 image - #42

BONE/SEA S10: link the actual core into an exact freestanding i386 image#42
Deadbytes101 wants to merge 8 commits into
ecosystem/shinesea-s9-nostd-adapterfrom
ecosystem/shinesea-s10-freestanding-image

Deadbytes101 commented Aug 4, 2026 •

edited

Loading

Uh oh!

Deadbytes101 commented Aug 4, 2026

Uh oh!

Deadbytes101 commented Aug 4, 2026

Uh oh!

Deadbytes101 commented Aug 4, 2026

Uh oh!

Deadbytes101 commented Aug 4, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

Deadbytes101 commented Aug 4, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Deadbytes101 commented Aug 4, 2026

Uh oh!

Deadbytes101 commented Aug 4, 2026

Uh oh!

Deadbytes101 commented Aug 4, 2026

Uh oh!

Deadbytes101 commented Aug 4, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Deadbytes101 commented Aug 4, 2026 •

edited

Loading