Skip to content

BONE/SEA S5: compose the actual SHINESEA core with the shared S3 sector adapter - #37

Closed
Deadbytes101 wants to merge 11 commits into
ecosystem/shinesea-s4-verified-mountfrom
ecosystem/shinesea-s5-sector-composition
Closed

BONE/SEA S5: compose the actual SHINESEA core with the shared S3 sector adapter#37
Deadbytes101 wants to merge 11 commits into
ecosystem/shinesea-s4-verified-mountfrom
ecosystem/shinesea-s5-sector-composition

Conversation

@Deadbytes101

@Deadbytes101 Deadbytes101 commented Aug 4, 2026

Copy link
Copy Markdown
Owner

BONE/SEA S5 ACTUAL-CORE SECTOR COMPOSITION CANDIDATE

STACKED BASE

  • base branch: ecosystem/shinesea-s4-verified-mount
  • exact parent head: 7f5aa091094da5e0030901dee0ef6bdfe3c5b917
  • exact S5 head: 225538220a5b8dd9feafee29775ff63cbed79d21
  • exact N6 authority: 93ea5ffb59ff31e87ab7fd5ecb5570c89b29ffee
  • N6 nano SHA256: 581d1a6c59580fedca7fca97035449521231f9450ca4a3c2cf35d6ed07640855
  • exact SHINESEA v1.0.0 source: 3bc6343ecaeae27f0d01c6301cab01a0e77bfb96

PURPOSE

S5 composes the actual frozen SHINESEA read_verified_image implementation with the exact native read-only block adapter consumed by the S3 verifier.

The S3 adapter is promoted into bone_sea::s3_adapter; both the S3 verifier and temporary S5 actual-core driver use that one shared implementation. S5 does not introduce a second adapter model.

This remains host evidence. It does not execute real ATA, enter the N6 I/O gate, enter ring3, publish a namespace, read the payload, or claim runtime success.

EXACT COMPOSITION

Actual SHINESEA core block requests:

  1. probe: read_blocks(1, 2);
  2. complete image: read_blocks(0, 16).

Shared S3 adapter sector translations:

  • probe: LBA 48..63, 16 transfers;
  • complete image: LBA 40..167, 128 transfers;
  • exact total: 144 separate 512-byte sector transfers.

The probe range is read once during probing and again inside the complete-volume read. No transfer is deduplicated or widened into hidden 4096-byte hardware authority.

OBSERVED WINDOWS VALIDATION

Exact head:

225538220a5b8dd9feafee29775ff63cbed79d21

Observed with RUSTFLAGS=-Dwarnings:

  • native library target: 0 / 0 PASS
  • S1 contracts: 13 / 13 PASS
  • S2 domain contracts: 14 / 14 PASS
  • S2 control contracts: 6 / 6 PASS
  • S3 adapter contracts: 15 / 15 PASS
  • S4 orchestrator contracts: 7 / 7 PASS
  • S5 orchestrator contracts: 7 / 7 PASS
  • total defined tests: 62 / 62 PASS
  • compiler warnings: 0
  • S1 deterministic image and payload hashes: PASS
  • shared S3 release verifier: PASS
  • actual SHINESEA v1.0.0 no_std + alloc composition: PASS
  • core block trace: (1,2), (0,16)
  • probe sector trace: 48..63
  • full sector trace: 40..167
  • exact transfer total: 144
  • probe sector failure at LBA 55: REJECTED
  • final sector failure at LBA 167: REJECTED
  • final short read at LBA 167: REJECTED
  • write authority: DISABLED
  • temporary GPL driver removed on exit
  • runtime PASS emitted: no

SHARED ADAPTER LAW

  • logical block bytes: 4096
  • sector bytes: 512
  • sectors per block: 8
  • S1 capacity blocks: 16
  • first LBA: 40
  • last LBA: 167
  • complete-request staging max: 65536
  • atomic publication after complete request: yes
  • one transfer per gate model: yes
  • write method: none
  • write authority: disabled

BUILD AND LICENSE BOUNDARY

  • tools/bone-sea/src/bin/bone-sea-s5.rs: Apache-2.0 orchestrator
  • tools/bone-sea/src/s3_adapter.rs: Apache-2.0 shared adapter implementation
  • tools/bone-sea/s5/driver.rs: GPL-2.0-or-later temporary composition driver
  • actual SHINESEA core and actual BONE/SEA library compiled directly as separate rlibs with rustc, panic=abort, and -Dwarnings
  • no Cargo dependency from the orchestrator to SHINESEA
  • combined driver retained: no
  • committed binary: no
  • CI artifact: no
  • public combined release: not authorized

RUNTIME BOUNDARY

Real ATA, N6 I/O gate execution, CPU RIGHT_IO enforcement, ring3 execution, freestanding linking, allocator high-water, namespace publication, payload readback, runtime PASS, and write authority remain unclaimed.

MERGE LAW

S5 is ready for review against exact S4 head. Merge is not performed automatically. Keep it stacked until prior PR disposition is deliberate; any retarget or integration into another tree requires fresh exact-head verification.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

Copy link
Copy Markdown
Owner Author

S5 CURRENT PROOF HEAD

Exact current head:

225538220a5b8dd9feafee29775ff63cbed79d21

Static-review closure before Windows proof:

  • S3 adapter implementation promoted into bone_sea::s3_adapter;
  • S3 verifier now consumes the shared implementation directly;
  • checked_sector_span and ATA28_MAX_LBA imports are gated under #[cfg(test)] so warning-denial release builds do not fail on test-only imports;
  • S5 driver compares traces by slice and does not move reader state;
  • actual SHINESEA core and BONE/SEA library remain separately compiled rlibs;
  • combined GPL driver remains temporary and is removed on exit.

CI/workflow status is not currently visible through the connector. No compile PASS is claimed for this head yet.

Required exact-head result:

  • all native targets compile with RUSTFLAGS=-Dwarnings;
  • inherited S3 result remains 15 / 15 PASS;
  • S5 orchestrator result is 7 / 7 PASS;
  • total defined tests are 62 / 62 PASS;
  • S1 deterministic proof passes;
  • shared S3 release verifier passes;
  • actual-core S5 composition observes exactly 144 sector transfers;
  • probe failure, final hard failure, and final short read are rejected;
  • write authority remains disabled;
  • no runtime PASS is emitted.

Keep this PR draft until exact Windows evidence is attached.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

Copy link
Copy Markdown
Owner Author

S5 EXACT-HEAD WINDOWS PROOF CLOSURE

Exact observed head:

225538220a5b8dd9feafee29775ff63cbed79d21

Observed with RUSTFLAGS=-Dwarnings:

  • native library target: 0 / 0 PASS
  • S1 contracts: 13 / 13 PASS
  • S2 domain contracts: 14 / 14 PASS
  • S2 control contracts: 6 / 6 PASS
  • S3 adapter contracts: 15 / 15 PASS
  • S4 orchestrator contracts: 7 / 7 PASS
  • S5 orchestrator contracts: 7 / 7 PASS
  • total defined tests: 62 / 62 PASS
  • compiler warnings: 0
  • S1 deterministic image and payload hashes: PASS
  • shared S3 release verifier: PASS
  • actual SHINESEA v1.0.0 no_std + alloc core composition: PASS
  • core block trace: (1,2), (0,16)
  • probe sector trace: 48..63
  • full sector trace: 40..167
  • exact total sector transfers: 144
  • probe failure at LBA 55: REJECTED
  • final hard failure at LBA 167: REJECTED
  • final 256/512 short read at LBA 167: REJECTED
  • write authority: DISABLED
  • temporary GPL composition driver removed on exit
  • runtime PASS emitted: no

Final terminal observed:

BONE/SEA S5 ACTUAL COMPOSITION VERIFY PASS

The S5 evidence gate is closed on this exact head. Merge is not authorized by this comment; the PR remains stacked and requires deliberate disposition.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

@Deadbytes101
Deadbytes101 marked this pull request as ready for review August 4, 2026 18:46
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