Skip to content

BONE/SEA S9: make the shared adapter no_std plus alloc compatible - #41

Closed
Deadbytes101 wants to merge 14 commits into
ecosystem/shinesea-s8-fixed-arenafrom
ecosystem/shinesea-s9-nostd-adapter
Closed

BONE/SEA S9: make the shared adapter no_std plus alloc compatible#41
Deadbytes101 wants to merge 14 commits into
ecosystem/shinesea-s8-fixed-arenafrom
ecosystem/shinesea-s9-nostd-adapter

Conversation

@Deadbytes101

@Deadbytes101 Deadbytes101 commented Aug 4, 2026

Copy link
Copy Markdown
Owner

BONE/SEA S9 NO_STD SHARED ADAPTER

STACKED BASE

  • base branch: ecosystem/shinesea-s8-fixed-arena
  • exact parent head: 39a1190a124017d0a7a7cb3ec869f23de19755f4
  • exact S9 head: efe07e0cbca4c01320306b805e4a3454d990b0f1
  • exact N6 authority: 93ea5ffb59ff31e87ab7fd5ecb5570c89b29ffee
  • N6 nano SHA256: 581d1a6c59580fedca7fca97035449521231f9450ca4a3c2cf35d6ed07640855
  • exact SHINESEA v1.0.0 source: 3bc6343ecaeae27f0d01c6301cab01a0e77bfb96

PURPOSE

S9 makes the existing shared S3 adapter library compile in both explicit modes without creating another adapter implementation:

  • Cargo default: std;
  • direct rustc: no_std + alloc.

The only adapter remains bone_sea::s3_adapter::ReadOnlyBlockAdapter. Geometry, staging, atomic publication, error behavior, and write-disabled authority remain unchanged.

SURGICAL SOURCE CHANGE

  • default Cargo feature: std;
  • conditional library boundary: no_std + alloc when std is absent;
  • shared adapter uses alloc::Vec, alloc::String, and alloc::format;
  • SHA256 byte hashing remains available under no_std + alloc;
  • SHA256 file I/O is gated under std;
  • direct compile probe/orchestrator, config, docs, license notice, and CI workflow added.

OBSERVED FAILURE HISTORY

  1. b92a9ba6622a0bdc9e58a00f34c0d9a072f921bd failed host-default compilation with E0433 because main.rs includes sha256.rs directly and the binary crate did not inherit extern crate alloc from the library crate.
  2. 7a3ad1fd33417b367251759546adb3942329dc89 compiled but failed SHA256 known vectors and payload identity because one round constant was 0x4ed8aa4f instead of the S8 authority 0x4ed8aa4a.
  3. Current exact head efe07e0cbca4c01320306b805e4a3454d990b0f1 restores the exact constant. The SHA256 patch now differs from S8 authority only by intended std/no_std imports and file-I/O gating.

No evidence from either failed head is accepted.

OBSERVED WINDOWS VALIDATION

Exact head: efe07e0cbca4c01320306b805e4a3454d990b0f1

Working tree:

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

With RUSTFLAGS=-Dwarnings:

  • library: 0 / 0 PASS;
  • S1: 13 / 13 PASS;
  • S2 domain: 14 / 14 PASS;
  • S2 control: 6 / 6 PASS;
  • S3: 15 / 15 PASS;
  • S4: 7 / 7 PASS;
  • S5: 7 / 7 PASS;
  • S6: 8 / 8 PASS;
  • S7: 8 / 8 PASS;
  • S8: 8 / 8 PASS;
  • S9: 8 / 8 PASS;
  • total defined tests: 94 / 94 PASS;
  • compiler warnings: 0.

Exact S1 authority:

  • source tar SHA256: ea58c3164184ef6f30d20c88376c2aead04b6c706538c81ac6a15e9e0a08ec71;
  • image SHA256: 7c2f52f99de60097d16d89dab2f583450aba9727a3a456ad028dadd561c5dab1;
  • payload SHA256: 1c6959e34c21eebc43e220400ec1f7573446c962beebe3bdf2bbff512ebff6dd.

Inherited S3 remained exact:

  • 4096-byte blocks;
  • 512-byte sectors;
  • eight sectors per block;
  • capacity 16 blocks;
  • LBA 40..167;
  • 128 full-volume transfers;
  • atomic publication;
  • write authority disabled.

Inherited S8 fixed-arena outcome:

  • actual SHINESEA no_std + alloc core: PASS;
  • static arena: 262144 bytes;
  • peak requested-live: 139264;
  • peak arena high-water: 139264;
  • live at publication: 66955;
  • high-water at publication: 77104;
  • headroom: 122880;
  • max alignment: 8;
  • allocation calls: 29;
  • deallocation calls at publication snapshot: 24;
  • reallocations: 0;
  • System calls during complete active window: 0;
  • final live bytes/high-water/records: 0 / 0 / 0;
  • sector transfers: 144;
  • first-fit reuse: PASS;
  • implicit coalescing: PASS;
  • low-budget bytes: 65535;
  • low-budget high-water: 16384;
  • 65536-byte image allocation: REJECTED;
  • low-budget transfers: 16.

S9 direct compile matrix:

  • BONE/SEA no_std + alloc rlib: 84636 bytes;
  • BONE/SEA std rlib: 92466 bytes;
  • no_std consumer rlib: 32180 bytes;
  • shared adapter: ONE IMPLEMENTATION;
  • adapter std-path tokens: 0;
  • SHA256 bytes: NO_STD + ALLOC;
  • SHA256 file I/O: STD-GATED;
  • S8 fixed arena: REVERIFIED;
  • temporary driver and outputs removed on exit.

Observed terminal verdict:

BONE/SEA S9 NO_STD ADAPTER VERIFY PASS

PROOF SURFACE

  • .github/workflows/bone-sea-s9-nostd.yml
  • config/bone_sea_s9.json
  • docs/BONE_SEA_S9.md
  • tools/bone-sea/s9/LICENSE-NOTICE.txt
  • tools/bone-sea/s9/probe.rs
  • tools/bone-sea/src/bin/bone-sea-s9.rs
  • dual-mode changes to Cargo.toml, lib.rs, s3_adapter.rs, and sha256.rs.

NON-CLAIMS

  • freestanding executable link: no;
  • N6 SEA-domain image: no;
  • execution at physical 0x20000: no;
  • allocator execution at physical 0x40000: no;
  • N6 SEA LDT loaded: no;
  • real ATA or N6 I/O-gate execution: no;
  • ring3 SHINESEA execution: no;
  • runtime PASS: no;
  • write authority: no.

MERGE LAW

S9 is ready for review against exact S8 head. Merge is not performed automatically. Any retarget, rebase, integration, or head movement requires fresh exact-head evidence.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

Copy link
Copy Markdown
Owner Author

BONE/SEA S9 EXACT WINDOWS VALIDATION GATE

Current exact head:

b92a9ba6622a0bdc9e58a00f34c0d9a072f921bd

Required commands:

cd D:\TECHNICAL\BONEBOX-01

git fetch origin --prune
git switch ecosystem/shinesea-s9-nostd-adapter
git reset --hard origin/ecosystem/shinesea-s9-nostd-adapter

git rev-parse HEAD
git status --short

$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

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
--------------------------------
TOTAL               94 / 94 PASS
WARNINGS             0

Required S9 terminals:

BONE/SEA S9 NO_STD SHARED ADAPTER VERIFIED
BONE SEA LIBRARY         DUAL MODE
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      <OBSERVED> BYTES
STD LIBRARY RLIB         <OBSERVED> BYTES
NO_STD CONSUMER RLIB     <OBSERVED> BYTES
S8 FIXED ARENA           REVERIFIED
PEAK ARENA HIGH WATER    <OBSERVED>
ARENA HEADROOM           <OBSERVED>
SYSTEM CALLS IN WINDOW   0
WRITE AUTHORITY          DISABLED
S9 no_std library boundary complete; this is not an N6 runtime PASS claim.
BONE/SEA S9 NO_STD ADAPTER VERIFY PASS
BONEBOX HEAD             b92a9ba6622a0bdc9e58a00f34c0d9a072f921bd
S9 PARENT HEAD           39a1190a124017d0a7a7cb3ec869f23de19755f4
SHINESEA HEAD            3bc6343ecaeae27f0d01c6301cab01a0e77bfb96
S1 IMAGE SHA256          7c2f52f99de60097d16d89dab2f583450aba9727a3a456ad028dadd561c5dab1
TEMPORARY OUTPUTS        REMOVED ON EXIT

Inherited S8 must still report zero System calls, final live bytes/high-water/records zero, 144 transfers, reuse/coalescing PASS, and low-budget allocation rejection at 65536 after 16 transfers.

Keep PR #41 draft until exact-head evidence is attached. Do not merge automatically.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

Copy link
Copy Markdown
Owner Author

S9 WINDOWS FAILURE + SURGICAL REPAIR

FAILED EXACT HEAD

b92a9ba6622a0bdc9e58a00f34c0d9a072f921bd

Observed with RUSTFLAGS=-Dwarnings:

error[E0433]: cannot find module or crate `alloc` in this scope
 --> src\sha256.rs:1:5
1 | use alloc::string::String;

The failure occurred while compiling the host-default bone-sea binary test target, before any defined tests executed.

ROOT CAUSE

tools/bone-sea/src/main.rs includes sha256.rs directly with mod sha256;. Therefore that source file is also compiled as part of the binary crate. extern crate alloc in the separate library crate does not establish alloc in the binary crate.

SURGICAL REPAIR

Current exact head:

7a3ad1fd33417b367251759546adb3942329dc89

Net diff from the failed head:

  • one file: tools/bone-sea/src/sha256.rs;
  • additions: 3;
  • deletions: 0;
  • host/default mode imports std::string::String;
  • no_std mode imports alloc::string::String;
  • SHA-256 algorithm and constants unchanged;
  • adapter implementation unchanged;
  • N6/runtime sources unchanged.

An intermediate commit contained an accidental SHA round-constant transcription drift during full-file replacement. It was detected before rerun instructions and restored. The final net comparison against the failed head confirms only the three intended import lines remain.

EVIDENCE RESET

The failed head carries no S9 PASS evidence. Re-run all gates on exact head 7a3ad1fd33417b367251759546adb3942329dc89.

PR remains draft. No merge and no S10 authorization.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

Copy link
Copy Markdown
Owner Author

S9 WINDOWS FAILURE — EXACT HEAD 7a3ad1fd33417b367251759546adb3942329dc89

Observed with RUSTFLAGS=-Dwarnings:

  • tracked tree: clean except permitted ?? sc.local.png
  • host/default compile: PASS
  • test execution reached bone-sea binary target
  • S1 tests: 11 / 13 PASS, 2 FAIL
  • failed tests: sha256_known_vectors_pass, payload_identity_is_exact
  • empty-vector observed: 3c45ee88de5f83ace1efccac360bc64020cc93c09baf439b1cc65b737b790561
  • empty-vector authority: e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
  • payload observed: a711fe4630a65a75fd702219c87ba0ea057d43228ac14fd866f088dfc9f5868b
  • payload authority: 1c6959e34c21eebc43e220400ec1f7573446c962beebe3bdf2bbff512ebff6dd
  • later test targets and release proofs: not reached

ROOT CAUSE

Byte-level comparison against exact S8 parent 39a1190a124017d0a7a7cb3ec869f23de19755f4 found one remaining semantic drift in tools/bone-sea/src/sha256.rs:

wrong  0x4ed8aa4f
exact  0x4ed8aa4a

SURGICAL REPAIR

Current exact head: efe07e0cbca4c01320306b805e4a3454d990b0f1

The repair changes that one nibble only. The PR patch for sha256.rs now differs from S8 authority solely by intended std/no_std import and file-I/O gating. SHA-256 state, schedule, round constants, compression algorithm, and output encoding are byte-for-byte restored.

The failed-head evidence is invalid for S9 acceptance. PR remains draft. Re-run all 94 / 94 tests and every inherited S1/S3/S8/S9 release proof on current exact head.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

Copy link
Copy Markdown
Owner Author

BONE/SEA S9 EXACT WINDOWS EVIDENCE

Exact head:

efe07e0cbca4c01320306b805e4a3454d990b0f1

Observed working tree:

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

Observed with RUSTFLAGS=-Dwarnings:

  • library target: 0 / 0 PASS;
  • S1: 13 / 13 PASS;
  • S2 domain: 14 / 14 PASS;
  • S2 control: 6 / 6 PASS;
  • S3: 15 / 15 PASS;
  • S4: 7 / 7 PASS;
  • S5: 7 / 7 PASS;
  • S6: 8 / 8 PASS;
  • S7: 8 / 8 PASS;
  • S8: 8 / 8 PASS;
  • S9: 8 / 8 PASS;
  • total defined tests: 94 / 94 PASS;
  • compiler warnings: 0.

Exact S1 authority:

  • SHINESEA head: 3bc6343ecaeae27f0d01c6301cab01a0e77bfb96;
  • source tar SHA256: ea58c3164184ef6f30d20c88376c2aead04b6c706538c81ac6a15e9e0a08ec71;
  • image SHA256: 7c2f52f99de60097d16d89dab2f583450aba9727a3a456ad028dadd561c5dab1;
  • payload SHA256: 1c6959e34c21eebc43e220400ec1f7573446c962beebe3bdf2bbff512ebff6dd;
  • write authority remained disabled;
  • no runtime PASS claim emitted.

Inherited S3 verifier:

  • shared adapter verifier: PASS;
  • block bytes: 4096;
  • sector bytes: 512;
  • sectors per block: 8;
  • capacity blocks: 16;
  • LBA range: 40..167;
  • full-volume transfers: 128;
  • publication remains atomic;
  • write authority disabled.

Inherited S8 fixed-arena revalidation:

  • actual SHINESEA core: NO_STD + ALLOC V1.0.0;
  • shared S3 implementation: PASS;
  • arena authority: 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;
  • allocations: 29;
  • deallocations at publication snapshot: 24;
  • reallocations: 0;
  • System calls in complete active window: 0;
  • final live bytes: 0;
  • final arena high-water: 0;
  • final live records: 0;
  • sector transfers: 144;
  • first-fit reuse: PASS;
  • implicit coalescing: PASS;
  • low-budget bytes: 65535;
  • low-budget high-water: 16384;
  • 65536-byte image allocation: REJECTED;
  • low-budget transfers: 16;
  • temporary GPL driver removed on exit.

S9 dual-mode proof:

  • BONE/SEA library mode: DUAL MODE;
  • host default: STD;
  • direct library mode: NO_STD + ALLOC;
  • shared adapter: ONE IMPLEMENTATION;
  • adapter std-path tokens: 0;
  • SHA256 byte hashing: 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;
  • S8 fixed arena: REVERIFIED;
  • peak arena high-water: 139264;
  • arena headroom: 122880;
  • System calls in window: 0;
  • write authority disabled;
  • temporary outputs removed on exit.

Terminal verdict observed:

BONE/SEA S9 NO_STD ADAPTER VERIFY PASS

This closes S9 as host/direct-rustc build and behavior evidence only. It does not claim a freestanding executable, N6 SEA-domain image, physical placement, ring3 execution, real ATA, N6 I/O-gate execution, runtime PASS, or write authority.

REPORTS ARE CLAIMS, NOT EVIDENCE.
NO COSTUME RIGOR.

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