Crate dsfb_densor_runtime 

dsfb-densor-runtime — a thin, deterministic execution-substrate skeleton for DSFB densor pipelines.

Its only job is to standardise how DSFB evidence objects (“densors”) are loaded, validated against frozen authority hashes, executed stage by stage, sealed, and reported — so future DSFB work shares one disciplined spine instead of re-implementing it. The flow is exactly:

load manifest  ->  validate authority hashes  ->  execute stages  ->  seal evidence  ->  emit receipt

Discipline (the substrate is deliberately small and strict):

• no network, no hidden downloads, no filesystem side effects in the core;
• no probabilistic runtime behaviour — every output is a pure function of the inputs;
• no authority mutation during execution (authorities are a frozen allow-list);
• no claim without an authority hash — a stage that declares no authority is refused.

Non-claim. This crate is a mechanism, not an authority. It carries no chemical-engineering content and makes no cross-domain claims — the meaning of any pipeline lives entirely in the authorities a run cites and in the domain crate that defines the stages (e.g. dsfb-chemical-engineering-edge). The runtime only attests which stages ran over which densors against which frozen authorities, sealing to which digest.

See runtime::Runtime for the spine, receipt::RuntimeReceiptV1 for the sealed output, and the worked tests below for a complete two-stage example (with determinism + tamper + authority-gate coverage).

Re-exports

pub use authority::AuthorityHash;

pub use densor::Densor;

pub use densor::DensorKind;

pub use errors::DensorError;

pub use errors::RuntimeError;

pub use index::RuntimeIndex;

pub use manifest::DensorEntry;

pub use manifest::DensorManifest;

pub use receipt::RuntimeReceiptV1;

pub use runtime::Runtime;

pub use stage::RuntimeStage;

pub use stage::StageReceipt;

Modules

authority

Authority hashes — the frozen digests a stage was built against.

densor

The Densor trait — a sealed, self-verifying evidence object the runtime carries between stages.

errors

Error types for the densor runtime. Every failure mode is explicit and inspectable — the runtime never panics on bad input, it returns one of these.

index

A small inventory view over a sealed run — “what ran, against what, sealing to what”.

manifest

The densor manifest — the frozen declaration of which densors + authorities a pipeline run is allowed to use.

receipt

The run-level sealed receipt — the tamper-evident record of a whole pipeline run.

runtime

The deterministic execution spine: load manifest → validate authority hashes → execute stages → seal → emit.

seal

Deterministic, tamper-evident sealing — a self-contained copy of the DSFB CanonicalHasher discipline.

stage

Runtime stages and their per-stage receipts.