Skip to content

BONE/SEA S12: load and publish the SEA domain through actual N6 - #44

Closed
Deadbytes101 wants to merge 8 commits into
ecosystem/shinesea-s11-disk-compositionfrom
ecosystem/shinesea-s12-n6-loader
Closed

BONE/SEA S12: load and publish the SEA domain through actual N6#44
Deadbytes101 wants to merge 8 commits into
ecosystem/shinesea-s11-disk-compositionfrom
ecosystem/shinesea-s12-n6-loader

Conversation

@Deadbytes101

@Deadbytes101 Deadbytes101 commented Aug 4, 2026

Copy link
Copy Markdown
Owner

BONE/SEA S12 ACTUAL N6 SEA LOADER

STACKED BASE

  • base branch: ecosystem/shinesea-s11-disk-composition
  • exact parent head: ef10f68a1d2a0771574882b7e4cad881cebea792
  • exact S12 head: 56f9697f094fd848b0cf659861f21407b3a9ea75
  • failed exact-hash head: f4d880b5d44618f8c08ac6b8577d9b3311323185
  • exact N6 authority: 93ea5ffb59ff31e87ab7fd5ecb5570c89b29ffee
  • exact N6 nano SHA256: 581d1a6c59580fedca7fca97035449521231f9450ca4a3c2cf35d6ed07640855
  • exact SHINESEA source: 3bc6343ecaeae27f0d01c6301cab01a0e77bfb96
  • exact S1 SHA256: 7c2f52f99de60097d16d89dab2f583450aba9727a3a456ad028dadd561c5dab1
  • exact S10 flat SHA256: 835333bb0636540a7af2d3b59b14482bb5157b38c7d3c250148965e0d51991a8

PURPOSE

S12 turns the S11 disk placement into an actual machine-observed N6 loader path. It reads exactly 896 BIOS sectors from LBA 168..1063, publishes 458752 bytes at physical 0x00020000..0x0008ffff, checks IEEE CRC32 across every published byte, installs SEA LDT selector 0x38, validates code/data limits through LSL, restores the N6 supervisor LDT, and continues the existing N6 user-service pipeline.

S12 does not transfer to S10 _start.

FAILURE AND SURGICAL REPAIR

Failed head f4d880b5d44618f8c08ac6b8577d9b3311323185 rebuilt the frozen source graph under crate name bone_sea_s12_source, producing flat SHA256 263a5788fe67b494f96c28b686b9a94efd4505b93dd80fa243cd0f74e37c5e32 instead of the frozen S10 identity.

Current head restores exact crate identity:

- bone_sea_s12_source
+ bone_sea_s10_image

Repair diff: one file, +1 / -1. Loader ASM, expected hash, CRC law, LDT law, adversaries and machine-order judge remained unchanged.

OBSERVED EXACT-HEAD VALIDATION

Working tree:

  • tracked/index state clean;
  • local untracked artifacts: .tools/, __pycache__/, sc.local.png.

Native validation:

  • total defined tests: 118 / 118 PASS;
  • compiler warnings: 0.

Exact frozen artifact recovery:

  • SEA flat SHA256: 835333bb0636540a7af2d3b59b14482bb5157b38c7d3c250148965e0d51991a8;
  • SEA ELF bytes: 79928;
  • SEA code bytes: 35040.

Actual N6 machine proof:

  • NASM: nasm.EXE;
  • QEMU: qemu-system-i386.EXE;
  • SEA start/end LBA: 168 / 1063;
  • BIOS sector reads: 896;
  • SEA physical range: 0x00020000..0x0008ffff;
  • SEA bytes: 458752;
  • SEA CRC32: 71ce0ef2;
  • S12 root bytes: 14411;
  • S12 root SHA256: 4e57a601f5a21eb7dee5f8488c2aa16be89e599d90bec9a7935d9d75894c5f74;
  • SEA LDT selector: 0x0038;
  • SEA segment limit: 0x0006ffff;
  • SEA code LSL read-back: PASS;
  • SEA data LSL read-back: PASS;
  • CRC adversary: REJECTED;
  • LDT limit adversary: REJECTED;
  • N6 pipeline continuation: PASS;
  • total image bytes: 544768;
  • S12 image SHA256: b48b706e6459925b3db4c7fd5d89cc7c89fe8c3c7233bcae7d2afe2a1225539f;
  • temporary outputs: removed on exit;
  • terminal verdict: BONE/SEA S12 N6 SEA LOADER VERIFY PASS.

EXACT MACHINE CONTRACT

LBA 0          exact N6 boot
LBA 1..32      S12 root in existing 16 KiB window
LBA 33         exact N6 service sector
LBA 34..39     zero gap
LBA 40..167    exact S1
LBA 168..1063  exact S10 SEA flat image
BIOS READS              896
SEA PHYSICAL START      0x00020000
SEA PHYSICAL END        0x00090000 exclusive
SEA BYTES               458752
SEA SEGMENT LIMIT       0x0006ffff
SEA LDT SELECTOR        0x0038
TOTAL IMAGE             1064 sectors / 544768 bytes

SUCCESS ORDER

BONE/NANO N6 PM ROOT
BONE/SEA S12 IMAGE LOADED
BONE/SEA S12 CRC PASS
BONE/SEA S12 LDT PASS
N6 USER SERVICES PASS
N6 PIPELINE COMMIT PASS

ADVERSARIAL JUDGE

  • one mutated SEA byte was rejected by the full-byte CRC gate before descriptor publication or N6 continuation;
  • descriptor limit 0x0006fffe passed CRC but was rejected by the LSL descriptor gate before N6 continuation.

DEADBYTE ECOSYSTEM REUSE

  • CINDER-16 9eadc22d03b0782373d5ca23290bb76768df5e4f: pinned local tools, exact identity and validation-before-publication discipline;
  • LOOM 444937bd0aef2e5b17ed253deb7677a778225d7e: freestanding binary judge, architectural read-back, ordered machine evidence and adversarial rejection;
  • no CINDER VM code copied;
  • no LOOM runtime code copied.

PROOF SURFACE

  • .github/workflows/bone-sea-s12-n6-loader.yml
  • config/bone_sea_s12.json
  • docs/BONE_SEA_S12.md
  • nano/s12/root.asm
  • tools/bone-sea/s12/LICENSE-NOTICE.txt
  • tools/bone-sea/s12/prove.py
  • tools/bone-sea/src/bin/bone-sea-s12.rs

NON-CLAIMS

  • transfer to physical 0x00020000: no;
  • S10 _start execution: no;
  • SEA use of N6 I/O gates: no;
  • SHINESEA runtime mount: no;
  • runtime allocator PASS: no;
  • write authority: no.

MERGE LAW

S12 is ready for review only against exact parent ef10f68a1d2a0771574882b7e4cad881cebea792 and exact head 56f9697f094fd848b0cf659861f21407b3a9ea75. Any head movement, rebase, retarget or integration requires fresh evidence.

No merge is performed automatically.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

Copy link
Copy Markdown
Owner Author

S12 INITIAL IMPLEMENTATION AND MACHINE-GATE LAW

Exact candidate head:

f4d880b5d44618f8c08ac6b8577d9b3311323185

Static branch judge:

  • exact parent ef10f68a1d2a0771574882b7e4cad881cebea792;
  • seven S12-only files added;
  • exact N6 boot/nano/supervisor/user/service sources unchanged;
  • exact S10 library/adapter/image/linker inputs unchanged;
  • S2 control ledger realized at fixed addresses;
  • S10 entry transfer remains forbidden;
  • write authority remains disabled;
  • GitHub Actions exposes no workflow run for this head.

Required exact-head proof:

cd D:\TECHNICAL\BONEBOX-01
git fetch origin --prune
git switch ecosystem/shinesea-s12-n6-loader
git reset --hard origin/ecosystem/shinesea-s12-n6-loader
git rev-parse HEAD
git status --short

powershell -ExecutionPolicy Bypass -File .\tools\bootstrap-nasm.ps1
rustup target add i686-unknown-linux-gnu
qemu-system-i386 --version
$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-s11 -- verify --shinesea D:\TECHNICAL\SHINESEA
cargo run --locked --release --manifest-path .\tools\bone-sea\Cargo.toml --bin bone-sea-s12 -- verify --shinesea D:\TECHNICAL\SHINESEA --timeout 20

Expected native total: 118 / 118 PASS, warnings 0.

The S12 terminal must include actual observed root bytes/hash, SEA CRC32, complete S12 image SHA256, successful 896-sector BIOS publication, code/data LSL read-back, CRC adversary rejection, LDT-limit adversary rejection, N6 pipeline continuation, and temporary cleanup.

Keep PR draft. Do not merge. Do not authorize S13 before exact-head evidence.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

Copy link
Copy Markdown
Owner Author

S12 EXACT-HASH FAILURE AND SURGICAL REPAIR

FAILED HEAD

f4d880b5d44618f8c08ac6b8577d9b3311323185

OBSERVED

  • tracked branch at exact failed head;
  • native tests: 118 / 118 PASS;
  • inherited S1/S3/S8/S9/S11 proofs: PASS;
  • S12 stopped before NASM assembly and before QEMU;
  • expected S10 flat SHA256: 835333bb0636540a7af2d3b59b14482bb5157b38c7d3c250148965e0d51991a8;
  • observed rebuilt flat SHA256: 263a5788fe67b494f96c28b686b9a94efd4505b93dd80fa243cd0f74e37c5e32.

ROOT CAUSE

S12 compiled the frozen S10 source graph under crate name bone_sea_s12_source. Exact S10/S11 authority compiled that same graph under crate name bone_sea_s10_image. Crate identity participates in Rust/LTO code generation, so the S12 output was structurally valid but not byte-identical to the frozen S10 artifact.

SURGICAL REPAIR

Current head: 56f9697f094fd848b0cf659861f21407b3a9ea75

One file, one line only:

- bone_sea_s12_source
+ bone_sea_s10_image

Diff: +1 / -1 in tools/bone-sea/s12/prove.py.

UNCHANGED

  • expected S10 flat hash;
  • S10 source/linker inputs;
  • N6 loader/root ASM;
  • 896-sector publication law;
  • CRC32 law;
  • SEA LDT/LSL law;
  • success trace;
  • CRC adversary;
  • LDT adversary;
  • non-claims.

The failed head makes no S12 loader or runtime claim. Re-run only on exact repaired head. PR remains draft. No merge.

Copy link
Copy Markdown
Owner Author

BONE/SEA S12 FINAL EXACT-HEAD EVIDENCE

Exact head:

56f9697f094fd848b0cf659861f21407b3a9ea75

Working tree:

  • tracked tree clean;
  • local untracked artifacts observed: .tools/, __pycache__/, sc.local.png;
  • verifier cleanliness law checks tracked/index state only.

Native validation:

  • total defined tests: 118 / 118 PASS;
  • compiler warnings: 0.

Exact authority recovery:

  • S10 flat SHA256: 835333bb0636540a7af2d3b59b14482bb5157b38c7d3c250148965e0d51991a8;
  • S10 ELF bytes: 79928;
  • S10 code bytes: 35040;
  • failed-head drift hash 263a5788fe67b494f96c28b686b9a94efd4505b93dd80fa243cd0f74e37c5e32 no longer appears.

Actual N6 loader proof:

  • NASM: nasm.EXE;
  • QEMU: qemu-system-i386.EXE;
  • SEA disk extent: LBA 168..1063;
  • BIOS sector reads: 896;
  • physical publication: 0x00020000..0x0008ffff;
  • published bytes: 458752;
  • SEA CRC32: 71ce0ef2;
  • S12 root bytes: 14411;
  • S12 root SHA256: 4e57a601f5a21eb7dee5f8488c2aa16be89e599d90bec9a7935d9d75894c5f74;
  • SEA LDT selector: 0x0038;
  • SEA segment limit: 0x0006ffff;
  • code LSL read-back: PASS;
  • data LSL read-back: PASS;
  • CRC adversary: REJECTED;
  • LDT limit adversary: REJECTED;
  • N6 pipeline continuation: PASS;
  • total image bytes: 544768;
  • S12 image SHA256: b48b706e6459925b3db4c7fd5d89cc7c89fe8c3c7233bcae7d2afe2a1225539f;
  • temporary outputs: removed on exit;
  • terminal verdict: BONE/SEA S12 N6 SEA LOADER VERIFY PASS.

Non-claims remain unchanged:

  • SEA entry executed: no;
  • SHINESEA runtime mount: no;
  • write authority: disabled.

This closes S12 evidence only for exact parent ef10f68a1d2a0771574882b7e4cad881cebea792 and exact head 56f9697f094fd848b0cf659861f21407b3a9ea75. Any head movement, rebase, retarget, or integration requires fresh evidence.

No merge performed.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

@Deadbytes101
Deadbytes101 marked this pull request as ready for review August 4, 2026 23:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant