Files

27 lines
768 B
JSON

{
"schema_version": 1,
"issue_id": "synthetic-contract-001",
"baseline": "synthetic-baseline-b",
"failure_class": "implementation",
"status": "resolved",
"same_class_failures": 2,
"reassessment": "Synthetic example: incompatible consumer assumption isolated by a discriminating check.",
"evidence": [
"synthetic:consumer-contract",
"synthetic:check-result"
],
"unresolved": [],
"escalation": {
"target": "sol",
"reason": "Shared consumer semantics exceed the original settled patch.",
"expert_consultations": 0,
"followup_basis": ""
},
"verification": {
"status": "passed",
"baseline": "synthetic-baseline-b",
"parent_understands": true
},
"recovery_route": "terra medium for settled implementation"
}