Etude XI

Boundary Objects

Certificates, logs, and interfaces as shared artifacts.

Core Notes

Boundary objects compress multi-party truth into a transportable artifact: logs, deltas, proofs.

boundary = { view, constraints, replay }
A log is a boundary: it mediates between local state and global convergence.

Applied Thread

Applied: attach constraints to each boundary object; reject payloads that cannot be replayed deterministically.

trace: Def → Check(replay) → Counterexample(ambiguous) → Repair(tagging)