Skip to main content

Module densor

Module densor 

Source
Expand description

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

“Densor” is the generic DSFB term for a sealed residual-evidence object (the chemical crate’s …V1 records are concrete densors). This trait is the minimal contract the runtime needs: a stable id, a kind, a 32-byte evidence hash, and a verify() that re-derives the seal. It says nothing about chemistry — it is a mechanism.

Enums§

DensorKind
Coarse category of a densor, for routing/inventory only (never a claim about meaning).

Traits§

Densor
A sealed, self-verifying evidence object.