IMPLEMENTATION EVIDENCE

Current implementation, verification and stress-testing evidence.

The product record distinguishes implemented controls, executed engineering evidence and bounded operational activation so technical claims can be reviewed without turning them into broader certification or deployment claims.

EXECUTED PROOF INDEX

Different campaigns. Different proof semantics.

Bar length shows execution scale only. Stress corpora, independently verified assurance, and signed release verification remain separate evidence classes.

Independent assurance

BLACKBOX assurance quad — 5M xi rerun

4 segments / cycles4 workers0 observed failuresPASS

receipt 6b224a11b427a74bfcd9996e2fb66e278c08c3bcf01b29bbaf06abc6fedd60e4

Stress corpus

BBS MSTRL-I — 18M

72 segments / cycles4 workers0 observed failuresEXECUTED_ARCHIVED

Stress corpus

BBS MSTRL-II — 5M

20 segments / cycles2 workers0 observed failuresEXECUTED_ARCHIVED

Signed external release

AIE / NUCLEO — 20M signed release

80 segments / cycles5 workers0 observed failuresVERIFIED

release 3526232b2dbb3115e392cc3c12a86ee696e57840c3fefaa7ea972be444af438aOpen the 20M run reconstruction

Campaign counts are shown side by side for scale. Distinct evidence classes are not semantically additive and MUST NOT be represented as one combined proof claim.

Inspect the machine-readable proof index

Release export3526232b2dbb3115e392…44af438a

Release manifest156bec2bbbca309d5720…640f8fd4

Source revisiona3ebe984cf713b6fdf20…4975d84d

Receipt-chain semantics

Canonical bbs.receipt.v2 records deterministic sequence, linkage and independent chain-verification behavior.

Implemented

Crash-safe persistence

Serialized append, chain-head allocation, advisory process locking, fsync durability and torn-tail handling are implemented in the current source.

Implemented

Detached signatures

Ed25519 signing and public-key verification are separated from the originating runtime and private signing key.

Implemented

Transactional signed journal

Receipt construction, signing and durable append execute under one chain-head lock and append unit.

Implemented; operational activation remains bounded

Detached release verification

Declared ZIP payloads, self-hashed manifests, optional detached signatures and embedded receipt verification are implemented.

Implemented; default packet compilation remains bounded

Legacy migration

Migration preparation preserves legacy bytes and canonical-row digests while historical and migrated chain state remain separately identified.

Implemented preparation path

Large-corpus assurance

Preserved campaigns include independently verified assurance, segmented stress corpora, and a detached signed external-run release. Each class is presented separately below rather than collapsed into one aggregate proof number.

Executed engineering evidence