Machine-Checkable Acceptance Contracts for Organizational Design: A Design-Science Theory of Specification Cascades | Synapse