A computation does not merely produce an output; it produces an output together with its derivation.
[ f(x, P_x) \rightarrow (y, P_y) ]
where:
- (x) represents the input state.
- (P_x) represents the provenance of that input state.
- (y) represents the computed output state.
- (P_y) represents the updated provenance generated by the transformation.
In this model, provenance is not an external metadata layer added after execution. It is part of the computation itself: every state transition produces both a new state and a record of how that state was derived.
Log in or sign up for Devpost to join the conversation.