Vakyartha documentation

1//! Workspace-delta seam (docs/design/42-managed-work-contracts.md MEA): the auditor judges
2//! environment facts, not just transcript claims. Core implements this by
3//! diffing the run-start checkpoint against the live tree.
4
5pub trait WorkspaceDelta: Send + Sync {
6 /// Bounded human-readable summary; Err = unavailable (auditor is told
7 /// the delta is UNKNOWN rather than shown an empty one).
8 fn summary(&self) -> Result<String, String>;
9}
10