feat: carry authored execution and recovery requirements

contracts/README.md

@@ -1,5 +1,10 @@
 # Contracts
 
+The optional [execution and recovery requirements](../specs/sdl/execution-recovery.md)
+profile carries complete authored policies and evidence definitions in native
+phase plans. [Migration guidance](../docs/explain/reference/execution-recovery-migration.md)
+explains scoped defaults, content commitments and explicit capability refusals.
+
 The optional [backend operation and supervision family](../specs/formal/runtime-contracts/backend-operation-supervision.md)
 publishes bounded requests, capability/willingness checks, correlated progress,
 cancellation dispositions and effect evidence. The

contracts/provenance/sdl-lineage-ledger-v2.json

@@ -1932,6 +1932,38 @@
         }
       ]
     },
+    {
+      "subject_id": "sdl-field:execution_policy",
+      "subject_kind": "top_level_field",
+      "disposition": "current",
+      "authority": {
+        "artifact": "contracts/schemas/sdl/sdl-authoring-input-v1.json",
+        "pointer": "#/properties/execution_policy",
+        "contract_id": "sdl-authoring-input-v1"
+      },
+      "claims": [
+        {
+          "plane": "semantics",
+          "classification": "raes_native",
+          "source_refs": [],
+          "raes_boundaries": [
+            {
+              "artifact": "contracts/schemas/sdl/sdl-authoring-input-v1.json",
+              "symbol_or_pointer": "#/properties/execution_policy"
+            }
+          ],
+          "source_boundaries": [],
+          "divergence": "RAES defines complete lexical execution and recovery requirements, preserving native operation retry separately from trial allocation and rejecting unsupported realizations at backend admission.",
+          "compatibility": "not_applicable",
+          "citation_refs": [],
+          "internal_authority_refs": [
+            "docs/decisions/adrs/adr-113-reusable-execution-machinery.md",
+            "specs/sdl/execution-recovery.md"
+          ],
+          "compatibility_direction": "not_applicable"
+        }
+      ]
+    },
     {
       "subject_id": "sdl-field:features",
       "subject_kind": "top_level_field",

contracts/schema-publication/entries/backend-manifest-v2.json

@@ -1,9 +1,9 @@
 {
-  "content_hash": "a54f1d52cc08499c8ad50fc230c16f88f46da75a493c593c9faf8f463e4afd1f",
+  "content_hash": "be543802e6518ee04254963a97bba5b33c9cf06715cff0a4cd107ffb6ab0316b",
   "contract_id": "backend-manifest-v2",
   "last_change": {
-    "summary": "Retain participant-control v2 declarations after reverting operation-supervision guarantees (#1365, #1400).",
-    "content_hash": "a54f1d52cc08499c8ad50fc230c16f88f46da75a493c593c9faf8f463e4afd1f"
+    "content_hash": "be543802e6518ee04254963a97bba5b33c9cf06715cff0a4cd107ffb6ab0316b",
+    "summary": "Carry optional complete execution/recovery requirements and resolved evidence through SDL/native plans; declare installed support and fail closed on incompatible requests (#1361)."
   },
   "schema_path": "contracts/schemas/backend-manifest/backend-manifest-v2.json",
   "stability": "draft"

contracts/schema-publication/entries/backend-operation-capabilities-v1.json

@@ -2,9 +2,9 @@
   "contract_id": "backend-operation-capabilities-v1",
   "schema_path": "contracts/schemas/control-plane/backend-operation-capabilities-v1.json",
   "stability": "draft",
-  "content_hash": "b6bf52b1ce654ccf0bbeb86355b543dffb245fbba7923fd659116cbae40e84b9",
+  "content_hash": "715f9e9913cba00797e0a4a6fa95a59bf75ca54df3e6ee779be82370c99cb1e8",
   "last_change": {
-    "summary": "Publish optional backend operation and supervision contracts with contextual admission and bounded evidence (#1360).",
-    "content_hash": "b6bf52b1ce654ccf0bbeb86355b543dffb245fbba7923fd659116cbae40e84b9"
+    "content_hash": "715f9e9913cba00797e0a4a6fa95a59bf75ca54df3e6ee779be82370c99cb1e8",
+    "summary": "Carry optional complete execution/recovery requirements and resolved evidence through SDL/native plans; declare installed support and fail closed on incompatible requests (#1361)."
   }
 }

contracts/schema-publication/entries/backend-realization-preparation-v1.json

@@ -2,9 +2,9 @@
   "contract_id": "backend-realization-preparation-v1",
   "schema_path": "contracts/schemas/plans/backend-realization-preparation-v1.json",
   "stability": "draft",
-  "content_hash": "08f60cf73aa202a864c82c838f2c253f2c10df1f03aeacd607fd894d12e624dd",
+  "content_hash": "a08ab314b8e89240b162b251fa7cbcad9c093236658949d30f64f852250961ca",
   "last_change": {
-    "summary": "Published request/predecessor-bound joint completions including typed profile selections for issue #1204.",
-    "content_hash": "08f60cf73aa202a864c82c838f2c253f2c10df1f03aeacd607fd894d12e624dd"
+    "content_hash": "a08ab314b8e89240b162b251fa7cbcad9c093236658949d30f64f852250961ca",
+    "summary": "Carry optional complete execution/recovery requirements and resolved evidence through SDL/native plans; declare installed support and fail closed on incompatible requests (#1361)."
   }
 }

contracts/schema-publication/entries/evaluation-plan-v1.json

@@ -1,9 +1,9 @@
 {
-  "content_hash": "cf76df1286058ff5dd35f44cdcbcac91d0cd45178b5006f70f509fd25948003b",
+  "content_hash": "6dc63ad6f10055bee937f2b13cef3e17804a123a5d7fd07881fb502a2f516a88",
   "contract_id": "evaluation-plan-v1",
   "last_change": {
-    "content_hash": "cf76df1286058ff5dd35f44cdcbcac91d0cd45178b5006f70f509fd25948003b",
-    "summary": "Bind explicit augmentation-scope negotiation to the canonical phase plan independently of diagnostics (#1242)."
+    "content_hash": "6dc63ad6f10055bee937f2b13cef3e17804a123a5d7fd07881fb502a2f516a88",
+    "summary": "Carry optional complete execution/recovery requirements and resolved evidence through SDL/native plans; declare installed support and fail closed on incompatible requests (#1361)."
   },
   "schema_path": "contracts/schemas/plans/evaluation-plan-v1.json",
   "stability": "draft"

contracts/schema-publication/entries/instantiated-scenario-snapshot-v1.json

@@ -1,9 +1,9 @@
 {
-  "content_hash": "d0c968908419a064c59f7ac3b518733fdf74576b4aa49307dd22b2ae8cc93c25",
+  "content_hash": "2dd378f6b80b78ade6bcb48f2ed201c1d83e1b821a2c04dd8cb342661e45b1ce",
   "contract_id": "instantiated-scenario-snapshot-v1",
   "last_change": {
-    "summary": "Add participant-local outcomes and identity assignment alongside opt-in bounded shared-time guarantees.",
-    "content_hash": "d0c968908419a064c59f7ac3b518733fdf74576b4aa49307dd22b2ae8cc93c25"
+    "content_hash": "2dd378f6b80b78ade6bcb48f2ed201c1d83e1b821a2c04dd8cb342661e45b1ce",
+    "summary": "Carry optional complete execution/recovery requirements and resolved evidence through SDL/native plans; declare installed support and fail closed on incompatible requests (#1361)."
   },
   "schema_path": "contracts/schemas/sdl/instantiated-scenario-snapshot-v1.json",
   "stability": "draft"

contracts/schema-publication/entries/instantiated-scenario-v1.json

@@ -1,9 +1,9 @@
 {
-  "content_hash": "0e33ddd6438399e6b032ac275c7eed50c80634db84e415b17fac56836a652c57",
+  "content_hash": "79146c00cd63509c6ed5a570ad525bd456a3a8c1b976d29bdce58229795a8007",
   "contract_id": "instantiated-scenario-v1",
   "last_change": {
-    "summary": "Add participant-local outcomes and identity assignment alongside opt-in bounded shared-time guarantees.",
-    "content_hash": "0e33ddd6438399e6b032ac275c7eed50c80634db84e415b17fac56836a652c57"
+    "content_hash": "79146c00cd63509c6ed5a570ad525bd456a3a8c1b976d29bdce58229795a8007",
+    "summary": "Carry optional complete execution/recovery requirements and resolved evidence through SDL/native plans; declare installed support and fail closed on incompatible requests (#1361)."
   },
   "schema_path": "contracts/schemas/sdl/instantiated-scenario-v1.json",
   "stability": "draft"

contracts/schema-publication/entries/materialized-scenario-v1.json

@@ -1,9 +1,9 @@
 {
-  "content_hash": "85332d604fc72bd0813e711b99bc94d59d9432fed465ed80936b3d25bff0a92c",
+  "content_hash": "88badd3549d88383d2486b06ed1885397dc290665e1a072009caadf9bdd83549",
   "contract_id": "materialized-scenario-v1",
   "last_change": {
-    "summary": "Add participant-local outcomes and identity assignment alongside opt-in bounded shared-time guarantees.",
-    "content_hash": "85332d604fc72bd0813e711b99bc94d59d9432fed465ed80936b3d25bff0a92c"
+    "content_hash": "88badd3549d88383d2486b06ed1885397dc290665e1a072009caadf9bdd83549",
+    "summary": "Carry optional complete execution/recovery requirements and resolved evidence through SDL/native plans; declare installed support and fail closed on incompatible requests (#1361)."
   },
   "schema_path": "contracts/schemas/sdl/materialized-scenario-v1.json",
   "stability": "draft"

contracts/schema-publication/entries/orchestration-plan-v1.json

@@ -1,9 +1,9 @@
 {
-  "content_hash": "4c3d2dcd4e4f534b9981295d4b6a5ed2ef373b320cbf7366226c7a40c6af372f",
+  "content_hash": "ae2040b75554e2eb18dd2ccf5e5c5a0ca3e636263f75455ce4c3bf42281b8bd6",
   "contract_id": "orchestration-plan-v1",
   "last_change": {
-    "content_hash": "4c3d2dcd4e4f534b9981295d4b6a5ed2ef373b320cbf7366226c7a40c6af372f",
-    "summary": "Bind explicit augmentation-scope negotiation to the canonical phase plan independently of diagnostics (#1242)."
+    "content_hash": "ae2040b75554e2eb18dd2ccf5e5c5a0ca3e636263f75455ce4c3bf42281b8bd6",
+    "summary": "Carry optional complete execution/recovery requirements and resolved evidence through SDL/native plans; declare installed support and fail closed on incompatible requests (#1361)."
   },
   "schema_path": "contracts/schemas/plans/orchestration-plan-v1.json",
   "stability": "draft"

contracts/schema-publication/entries/provisioning-plan-v1.json

@@ -1,9 +1,9 @@
 {
-  "content_hash": "924e2f828a3e8bade4a59edb18dd24aa1801d4fa6f17856e894e330b2b72bb68",
+  "content_hash": "54cd31302d274faafbeb5daaf7013f489c79fed165bb189646004db3cf7361fa",
   "contract_id": "provisioning-plan-v1",
   "last_change": {
-    "content_hash": "924e2f828a3e8bade4a59edb18dd24aa1801d4fa6f17856e894e330b2b72bb68",
-    "summary": "Bind explicit augmentation-scope negotiation to the canonical phase plan independently of diagnostics (#1242)."
+    "content_hash": "54cd31302d274faafbeb5daaf7013f489c79fed165bb189646004db3cf7361fa",
+    "summary": "Carry optional complete execution/recovery requirements and resolved evidence through SDL/native plans; declare installed support and fail closed on incompatible requests (#1361)."
   },
   "schema_path": "contracts/schemas/plans/provisioning-plan-v1.json",
   "stability": "draft"

contracts/schema-publication/entries/scenario-satisfiability-evidence-v1.json

@@ -1,9 +1,9 @@
 {
-  "content_hash": "765e81765467f2e29b52bee8cd6daabe284c1542665c4f634c47b632b37fedb4",
+  "content_hash": "0a5b2ee3ad31c589f30def040783a934fb8855614c9030525f1a648ac27e3ce5",
   "contract_id": "scenario-satisfiability-evidence-v1",
   "last_change": {
-    "summary": "Add participant-local outcomes and identity assignment alongside opt-in bounded shared-time guarantees.",
-    "content_hash": "765e81765467f2e29b52bee8cd6daabe284c1542665c4f634c47b632b37fedb4"
+    "content_hash": "0a5b2ee3ad31c589f30def040783a934fb8855614c9030525f1a648ac27e3ce5",
+    "summary": "Carry optional complete execution/recovery requirements and resolved evidence through SDL/native plans; declare installed support and fail closed on incompatible requests (#1361)."
   },
   "schema_path": "contracts/schemas/satisfiability/scenario-satisfiability-evidence-v1.json",
   "stability": "draft"

contracts/schema-publication/entries/sdl-authoring-input-v1.json

@@ -1,9 +1,9 @@
 {
-  "content_hash": "643052d648a1afd04f50e70f0127cc467bf20084156754aceec5964a78529d81",
+  "content_hash": "6db2c5bb46445d0ed8eb140e1f7f8cacb562edfe8b44f139bb0b10c86f89a596",
   "contract_id": "sdl-authoring-input-v1",
   "last_change": {
-    "content_hash": "643052d648a1afd04f50e70f0127cc467bf20084156754aceec5964a78529d81",
-    "summary": "Constrain required evidence media types to registered, content-provable output contracts (#1401)."
+    "content_hash": "6db2c5bb46445d0ed8eb140e1f7f8cacb562edfe8b44f139bb0b10c86f89a596",
+    "summary": "Carry optional complete execution/recovery requirements and resolved evidence through SDL/native plans; declare installed support and fail closed on incompatible requests (#1361)."
   },
   "schema_path": "contracts/schemas/sdl/sdl-authoring-input-v1.json",
   "stability": "draft"

contracts/schemas/backend-manifest/backend-manifest-v2.json

@@ -1063,6 +1063,80 @@
       "title": "EvaluatorCapabilitiesModel",
       "type": "object"
     },
+    "ExecutionPolicyCapabilities": {
+      "additionalProperties": false,
+      "description": "Installed support declaration; each invocation still needs contextual willingness.",
+      "properties": {
+        "after_effect_policies": {
+          "default": [
+            "disallow"
+          ],
+          "items": {
+            "enum": [
+              "disallow",
+              "idempotent",
+              "reset",
+              "compensate"
+            ],
+            "type": "string"
+          },
+          "maxItems": 4,
+          "minItems": 1,
+          "title": "After Effect Policies",
+          "type": "array"
+        },
+        "max_attempts": {
+          "default": 1,
+          "maximum": 9007199254740991,
+          "minimum": 1,
+          "title": "Max Attempts",
+          "type": "integer"
+        },
+        "responses": {
+          "items": {
+            "enum": [
+              "terminate",
+              "hold",
+              "reconcile",
+              "continue",
+              "retry",
+              "resume",
+              "new-trial"
+            ],
+            "type": "string"
+          },
+          "maxItems": 7,
+          "minItems": 1,
+          "title": "Responses",
+          "type": "array"
+        },
+        "schema_version": {
+          "const": "execution-policy/v1",
+          "default": "execution-policy/v1",
+          "title": "Schema Version",
+          "type": "string"
+        }
+      },
+      "required": [
+        "responses"
+      ],
+      "title": "ExecutionPolicyCapabilities",
+      "type": "object",
+      "x-raes-invariants": [
+        {
+          "description": "Execution choices are complete, bounded and consistent; scope identities and references are unique, effective evidence resolves exactly, and unsupported continuation claims fail closed. See specs/sdl/execution-recovery.md for the portable semantic obligations.",
+          "id": "execution-policy-executionpolicycapabilities",
+          "inputs": [
+            {
+              "contract_id": "backend-operation-capabilities-v1",
+              "instance_path": "#/execution_policy"
+            }
+          ],
+          "level": "error",
+          "validator": "raes_contracts.execution_policy.ExecutionPolicyCapabilities.model_validate"
+        }
+      ]
+    },
     "GeneratedArtifactDeliveryMode": {
       "description": "Portable ways a generated-artifact output is delivered to a consumer.\n\n``mount`` is the read-only file projection declared directly on\n``generated_artifacts[].consumers[]``. ``environment`` and ``env_file`` are\nnode-owned runtime environment bindings authored on\n``nodes.<node>.runtime.environment[]`` / ``environment_files[]`` whose\ngenerated-artifact consumer projection the compiler derives. A provisioner\ndeclares each mode it can realize separately so it cannot claim mount\ndelivery while silently dropping environment or env-file injection.",
       "enum": [
@@ -3561,6 +3635,17 @@
       "default": null,
       "title": "Domain Profile Context Digest"
     },
+    "execution_policy": {
+      "anyOf": [
+        {
+          "$ref": "#/$defs/ExecutionPolicyCapabilities"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null
+    },
     "identity": {
       "$ref": "#/$defs/ApparatusIdentityModel"
     },
@@ -3665,5 +3750,14 @@
     "capabilities"
   ],
   "title": "BackendManifestV2Model",
-  "type": "object"
+  "type": "object",
+  "x-raes-semantic-profile": {
+    "contract_id": "backend-manifest-v2",
+    "entry_schema_contract_id": "raes-semantic-invariants-v1",
+    "entry_schema_pointer": "#/$defs/RaesSemanticInvariantEntryModel",
+    "id": "raes-semantic-invariants-v1",
+    "keyword": "x-raes-invariants",
+    "required": true,
+    "uri": "https://openrae.github.io/rae/schemas/semantic-invariants/v1"
+  }
 }