execution-contract-spec.md

执行契约工件规格

三级结构YAML规格：must_pass（必须通过）、should_pass（应当通过）、must_not_violate（不得违反）。每条含test_type和验证路径。