Updating a scope is claimed to propagate changed requirements without each verifier rebuilding its software.
Proposed mechanism: Shared schema updates reduce repeated system modification.
Conditions: Version compatibility and controlled data sharing.
Limit: Downstream correctness and compatibility not tested here.