Transformation predicate
One append-only processing event that binds its outputs to exact input artifacts and predecessor statement payloads.
Each input carries two bindings
- Artifact binding: the SHA-256 of the exact input bytes.
- Provenance binding: the predecessor statement payload digest and subject name that supplied those bytes.
{
"name": "customers.raw.json",
"digest": {"sha256": "…"},
"provenance": {"statementDigest": {"sha256": "…"}, "subjectName": "customers.raw.json"}
}Joins use inputs from multiple predecessors. Splits use multiple output subjects or multiple descendants. Array order never defines lineage.
Dataset members: an optional
entryName selects one member of a validated dataset-manifest subject. Until that membership is proved, the reference verifier fails the edge closed.