@agent-vm/agent-portal-sdk 0.0.113 → 0.0.115

package/contract-fixtures/portable-contracts/gateway/attachment-duplicate-agent.fixture.json

@@ -0,0 +1,21 @@
+{
+	"caseId": "gateway-attachment-duplicate-agent",
+	"schemaId": "gateway.attachment.metadata",
+	"tags": ["attachment", "duplicate-id", "rejected"],
+	"input": {
+		"attachmentGeneration": 7,
+		"clientKind": "hermes-managed-plugin",
+		"configuredAgentIds": ["agent-a", "agent-a"],
+		"frameworkEpoch": "framework-3",
+		"gatewayEpoch": "gateway-7",
+		"projectionCohortDigest": "projection-cohort:0000000000000000000000000000000000000000000000000000000000000000",
+		"protocolVersion": 1,
+		"runtimeEpoch": "runtime-4",
+		"schemaVersion": 1
+	},
+	"expectation": {
+		"kind": "rejected",
+		"errorCodes": ["gateway.attachment.duplicate-agent-id"],
+		"refinementIdentities": ["gateway.attachment.unique-agent-ids"]
+	}
+}

package/contract-fixtures/portable-contracts/gateway/attachment-valid.fixture.json

@@ -0,0 +1,32 @@
+{
+	"caseId": "gateway-attachment-valid",
+	"schemaId": "gateway.attachment.metadata",
+	"tags": ["accepted", "attachment", "boundary"],
+	"input": {
+		"attachmentGeneration": 7,
+		"clientKind": "hermes-managed-plugin",
+		"configuredAgentIds": ["agent-a", "agent-b"],
+		"frameworkEpoch": "framework-3",
+		"gatewayEpoch": "gateway-7",
+		"projectionCohortDigest": "projection-cohort:0000000000000000000000000000000000000000000000000000000000000000",
+		"protocolVersion": 1,
+		"runtimeEpoch": "runtime-4",
+		"schemaVersion": 1
+	},
+	"expectation": {
+		"kind": "accepted",
+		"normalized": {
+			"attachmentGeneration": 7,
+			"clientKind": "hermes-managed-plugin",
+			"configuredAgentIds": ["agent-a", "agent-b"],
+			"frameworkEpoch": "framework-3",
+			"gatewayEpoch": "gateway-7",
+			"projectionCohortDigest": "projection-cohort:0000000000000000000000000000000000000000000000000000000000000000",
+			"protocolVersion": 1,
+			"runtimeEpoch": "runtime-4",
+			"schemaVersion": 1
+		},
+		"canonicalJson": "{\"attachmentGeneration\":7,\"clientKind\":\"hermes-managed-plugin\",\"configuredAgentIds\":[\"agent-a\",\"agent-b\"],\"frameworkEpoch\":\"framework-3\",\"gatewayEpoch\":\"gateway-7\",\"projectionCohortDigest\":\"projection-cohort:0000000000000000000000000000000000000000000000000000000000000000\",\"protocolVersion\":1,\"runtimeEpoch\":\"runtime-4\",\"schemaVersion\":1}",
+		"refinementIdentities": ["gateway.attachment.unique-agent-ids"]
+	}
+}

package/contract-fixtures/portable-contracts/gateway/managed-agent-projection-hermes-valid.fixture.json

@@ -0,0 +1,28 @@
+{
+	"caseId": "gateway-managed-agent-projection-hermes-valid",
+	"schemaId": "gateway.managed-agent-projection",
+	"tags": ["accepted", "hermes", "managed-agent-projection"],
+	"input": {
+		"agentId": "agent-b",
+		"frameworkIdentity": {
+			"kind": "hermes",
+			"profileName": "reviewer"
+		},
+		"profileAssignmentRevision": "profile-assignment-b",
+		"toolPortalProfileId": "review"
+	},
+	"expectation": {
+		"kind": "accepted",
+		"normalized": {
+			"agentId": "agent-b",
+			"frameworkIdentity": {
+				"kind": "hermes",
+				"profileName": "reviewer"
+			},
+			"profileAssignmentRevision": "profile-assignment-b",
+			"toolPortalProfileId": "review"
+		},
+		"canonicalJson": "{\"agentId\":\"agent-b\",\"frameworkIdentity\":{\"kind\":\"hermes\",\"profileName\":\"reviewer\"},\"profileAssignmentRevision\":\"profile-assignment-b\",\"toolPortalProfileId\":\"review\"}",
+		"refinementIdentities": []
+	}
+}

package/contract-fixtures/portable-contracts/gateway/managed-agent-projection-old-authority-rejected.fixture.json

@@ -0,0 +1,20 @@
+{
+	"caseId": "gateway-managed-agent-projection-old-authority-rejected",
+	"schemaId": "gateway.managed-agent-projection",
+	"tags": ["managed-agent-projection", "old-authority", "rejected"],
+	"input": {
+		"agentId": "agent-a",
+		"frameworkIdentity": {
+			"agentId": "agent-a",
+			"kind": "openclaw"
+		},
+		"profileAssignmentRevision": "profile-assignment-a",
+		"profileId": "retired-profile-selector",
+		"toolPortalProfileId": "engineering"
+	},
+	"expectation": {
+		"kind": "rejected",
+		"errorCodes": ["portable.object.unknown-field"],
+		"refinementIdentities": []
+	}
+}

package/contract-fixtures/portable-contracts/gateway/managed-agent-projection-openclaw-valid.fixture.json

@@ -0,0 +1,28 @@
+{
+	"caseId": "gateway-managed-agent-projection-openclaw-valid",
+	"schemaId": "gateway.managed-agent-projection",
+	"tags": ["accepted", "managed-agent-projection", "openclaw"],
+	"input": {
+		"agentId": "agent-a",
+		"frameworkIdentity": {
+			"agentId": "agent-a",
+			"kind": "openclaw"
+		},
+		"profileAssignmentRevision": "profile-assignment-a",
+		"toolPortalProfileId": "engineering"
+	},
+	"expectation": {
+		"kind": "accepted",
+		"normalized": {
+			"agentId": "agent-a",
+			"frameworkIdentity": {
+				"agentId": "agent-a",
+				"kind": "openclaw"
+			},
+			"profileAssignmentRevision": "profile-assignment-a",
+			"toolPortalProfileId": "engineering"
+		},
+		"canonicalJson": "{\"agentId\":\"agent-a\",\"frameworkIdentity\":{\"agentId\":\"agent-a\",\"kind\":\"openclaw\"},\"profileAssignmentRevision\":\"profile-assignment-a\",\"toolPortalProfileId\":\"engineering\"}",
+		"refinementIdentities": []
+	}
+}

package/contract-fixtures/portable-contracts/gateway/managed-agent-projection-self-root-rejected.fixture.json

@@ -0,0 +1,20 @@
+{
+	"caseId": "gateway-managed-agent-projection-self-root-rejected",
+	"schemaId": "gateway.managed-agent-projection",
+	"tags": ["managed-agent-projection", "rejected", "unknown-field"],
+	"input": {
+		"agentId": "agent-a",
+		"frameworkIdentity": {
+			"agentId": "agent-a",
+			"kind": "openclaw"
+		},
+		"profileAssignmentRevision": "profile-assignment-a",
+		"selfRoot": "/zone/agents/agent-a/self",
+		"toolPortalProfileId": "engineering"
+	},
+	"expectation": {
+		"kind": "rejected",
+		"errorCodes": ["portable.object.unknown-field"],
+		"refinementIdentities": []
+	}
+}

package/contract-fixtures/portable-contracts/gateway/managed-agent-projection-work-root-rejected.fixture.json

@@ -0,0 +1,20 @@
+{
+	"caseId": "gateway-managed-agent-projection-work-root-rejected",
+	"schemaId": "gateway.managed-agent-projection",
+	"tags": ["managed-agent-projection", "rejected", "unknown-field"],
+	"input": {
+		"agentId": "agent-a",
+		"frameworkIdentity": {
+			"agentId": "agent-a",
+			"kind": "openclaw"
+		},
+		"profileAssignmentRevision": "profile-assignment-a",
+		"toolPortalProfileId": "engineering",
+		"workRoot": "/zone/agents/agent-a/work"
+	},
+	"expectation": {
+		"kind": "rejected",
+		"errorCodes": ["portable.object.unknown-field"],
+		"refinementIdentities": []
+	}
+}

package/contract-fixtures/portable-contracts/operations/cancellation-pending.fixture.json

@@ -0,0 +1,18 @@
+{
+	"caseId": "sandbox-operation-cancellation-pending",
+	"schemaId": "sandbox.operation.control-result",
+	"tags": ["accepted", "cancellation", "outcome"],
+	"input": {
+		"kind": "cancellation-pending",
+		"operation": { "operationId": "operation-a", "owningGeneration": "generation-a" }
+	},
+	"expectation": {
+		"kind": "accepted",
+		"normalized": {
+			"kind": "cancellation-pending",
+			"operation": { "operationId": "operation-a", "owningGeneration": "generation-a" }
+		},
+		"canonicalJson": "{\"kind\":\"cancellation-pending\",\"operation\":{\"operationId\":\"operation-a\",\"owningGeneration\":\"generation-a\"}}",
+		"refinementIdentities": ["portal.result.outcome-algebra"]
+	}
+}

package/contract-fixtures/portable-contracts/operations/retained-ambiguous.fixture.json

@@ -0,0 +1,28 @@
+{
+	"caseId": "sandbox-retained-result-ambiguous",
+	"schemaId": "sandbox.retained-result.lookup-result",
+	"tags": ["accepted", "ambiguity", "outcome", "retained-result"],
+	"input": {
+		"kind": "retained",
+		"operation": { "operationId": "operation-a", "owningGeneration": "generation-a" },
+		"outcome": {
+			"certainty": "side-effects-and-termination-unknown",
+			"kind": "ambiguous",
+			"retryClass": "forbidden"
+		}
+	},
+	"expectation": {
+		"kind": "accepted",
+		"normalized": {
+			"kind": "retained",
+			"operation": { "operationId": "operation-a", "owningGeneration": "generation-a" },
+			"outcome": {
+				"certainty": "side-effects-and-termination-unknown",
+				"kind": "ambiguous",
+				"retryClass": "forbidden"
+			}
+		},
+		"canonicalJson": "{\"kind\":\"retained\",\"operation\":{\"operationId\":\"operation-a\",\"owningGeneration\":\"generation-a\"},\"outcome\":{\"certainty\":\"side-effects-and-termination-unknown\",\"kind\":\"ambiguous\",\"retryClass\":\"forbidden\"}}",
+		"refinementIdentities": ["portal.result.outcome-algebra"]
+	}
+}

package/contract-fixtures/portable-contracts/outcomes/ambiguous.fixture.json

@@ -0,0 +1,40 @@
+{
+	"caseId": "ambiguous",
+	"schemaId": "portal.call.item-result",
+	"tags": ["accepted", "ambiguity", "outcome"],
+	"input": {
+		"error": {
+			"code": "execution_failed",
+			"message": "Execution outcome is ambiguous."
+		},
+		"id": "call-1",
+		"operationId": "operation-1",
+		"owningGeneration": "runner-generation-1",
+		"outcome": {
+			"certainty": "side-effects-and-termination-unknown",
+			"kind": "ambiguous",
+			"retryClass": "forbidden"
+		},
+		"status": "error"
+	},
+	"expectation": {
+		"kind": "accepted",
+		"normalized": {
+			"error": {
+				"code": "execution_failed",
+				"message": "Execution outcome is ambiguous."
+			},
+			"id": "call-1",
+			"operationId": "operation-1",
+			"outcome": {
+				"certainty": "side-effects-and-termination-unknown",
+				"kind": "ambiguous",
+				"retryClass": "forbidden"
+			},
+			"owningGeneration": "runner-generation-1",
+			"status": "error"
+		},
+		"canonicalJson": "{\"error\":{\"code\":\"execution_failed\",\"message\":\"Execution outcome is ambiguous.\"},\"id\":\"call-1\",\"operationId\":\"operation-1\",\"outcome\":{\"certainty\":\"side-effects-and-termination-unknown\",\"kind\":\"ambiguous\",\"retryClass\":\"forbidden\"},\"owningGeneration\":\"runner-generation-1\",\"status\":\"error\"}",
+		"refinementIdentities": ["portal.request-id.not-reserved", "portal.result.outcome-algebra"]
+	}
+}

package/contract-fixtures/portable-contracts/outcomes/call-result-aggregate-status-invalid.fixture.json

@@ -0,0 +1,35 @@
+{
+	"caseId": "call-result-aggregate-status-invalid",
+	"schemaId": "portal.call.result",
+	"tags": ["aggregate-status", "illegal-combination", "rejected"],
+	"input": {
+		"items": [
+			{
+				"error": {
+					"code": "execution_failed",
+					"message": "Execution failed safely."
+				},
+				"id": "call-1",
+				"operationId": "operation-1",
+				"outcome": {
+					"certainty": "proven",
+					"completion": "failed",
+					"kind": "completed",
+					"retryClass": "policy-gated"
+				},
+				"owningGeneration": "runner-generation-1",
+				"status": "error"
+			}
+		],
+		"ok": true
+	},
+	"expectation": {
+		"kind": "rejected",
+		"errorCodes": ["portal.result.aggregate-status"],
+		"refinementIdentities": [
+			"portal.request-id.not-reserved",
+			"portal.result.aggregate-status",
+			"portal.result.outcome-algebra"
+		]
+	}
+}

package/contract-fixtures/portable-contracts/outcomes/call-result-aggregate-status-valid.fixture.json

@@ -0,0 +1,54 @@
+{
+	"caseId": "call-result-aggregate-status-valid",
+	"schemaId": "portal.call.result",
+	"tags": ["accepted", "aggregate-status", "result-discriminant"],
+	"input": {
+		"items": [
+			{
+				"id": "call-1",
+				"operationId": "operation-1",
+				"outcome": {
+					"certainty": "proven",
+					"completion": "succeeded",
+					"kind": "completed",
+					"retryClass": "forbidden"
+				},
+				"owningGeneration": "tool-vm-generation-1",
+				"status": "ok",
+				"value": {
+					"issue": 123
+				}
+			}
+		],
+		"ok": true
+	},
+	"expectation": {
+		"kind": "accepted",
+		"normalized": {
+			"items": [
+				{
+					"id": "call-1",
+					"operationId": "operation-1",
+					"outcome": {
+						"certainty": "proven",
+						"completion": "succeeded",
+						"kind": "completed",
+						"retryClass": "forbidden"
+					},
+					"owningGeneration": "tool-vm-generation-1",
+					"status": "ok",
+					"value": {
+						"issue": 123
+					}
+				}
+			],
+			"ok": true
+		},
+		"canonicalJson": "{\"items\":[{\"id\":\"call-1\",\"operationId\":\"operation-1\",\"outcome\":{\"certainty\":\"proven\",\"completion\":\"succeeded\",\"kind\":\"completed\",\"retryClass\":\"forbidden\"},\"owningGeneration\":\"tool-vm-generation-1\",\"status\":\"ok\",\"value\":{\"issue\":123}}],\"ok\":true}",
+		"refinementIdentities": [
+			"portal.request-id.not-reserved",
+			"portal.result.aggregate-status",
+			"portal.result.outcome-algebra"
+		]
+	}
+}

package/contract-fixtures/portable-contracts/outcomes/cancelled-proven.fixture.json

@@ -0,0 +1,40 @@
+{
+	"caseId": "cancelled-proven",
+	"schemaId": "portal.call.item-result",
+	"tags": ["accepted", "cancellation", "outcome"],
+	"input": {
+		"error": {
+			"code": "cancelled",
+			"message": "Execution was cancelled and termination was proven."
+		},
+		"id": "call-1",
+		"operationId": "operation-1",
+		"owningGeneration": "tool-vm-generation-1",
+		"outcome": {
+			"certainty": "proven-terminated",
+			"kind": "cancelled-proven",
+			"retryClass": "manual-only"
+		},
+		"status": "error"
+	},
+	"expectation": {
+		"kind": "accepted",
+		"normalized": {
+			"error": {
+				"code": "cancelled",
+				"message": "Execution was cancelled and termination was proven."
+			},
+			"id": "call-1",
+			"operationId": "operation-1",
+			"outcome": {
+				"certainty": "proven-terminated",
+				"kind": "cancelled-proven",
+				"retryClass": "manual-only"
+			},
+			"owningGeneration": "tool-vm-generation-1",
+			"status": "error"
+		},
+		"canonicalJson": "{\"error\":{\"code\":\"cancelled\",\"message\":\"Execution was cancelled and termination was proven.\"},\"id\":\"call-1\",\"operationId\":\"operation-1\",\"outcome\":{\"certainty\":\"proven-terminated\",\"kind\":\"cancelled-proven\",\"retryClass\":\"manual-only\"},\"owningGeneration\":\"tool-vm-generation-1\",\"status\":\"error\"}",
+		"refinementIdentities": ["portal.request-id.not-reserved", "portal.result.outcome-algebra"]
+	}
+}

package/contract-fixtures/portable-contracts/outcomes/completed-failed.fixture.json

@@ -0,0 +1,42 @@
+{
+	"caseId": "completed-failed",
+	"schemaId": "portal.call.item-result",
+	"tags": ["accepted", "outcome", "result-discriminant"],
+	"input": {
+		"error": {
+			"code": "execution_failed",
+			"message": "Execution failed safely."
+		},
+		"id": "call-1",
+		"operationId": "operation-1",
+		"owningGeneration": "runner-generation-1",
+		"outcome": {
+			"certainty": "proven",
+			"completion": "failed",
+			"kind": "completed",
+			"retryClass": "policy-gated"
+		},
+		"status": "error"
+	},
+	"expectation": {
+		"kind": "accepted",
+		"normalized": {
+			"error": {
+				"code": "execution_failed",
+				"message": "Execution failed safely."
+			},
+			"id": "call-1",
+			"operationId": "operation-1",
+			"outcome": {
+				"certainty": "proven",
+				"completion": "failed",
+				"kind": "completed",
+				"retryClass": "policy-gated"
+			},
+			"owningGeneration": "runner-generation-1",
+			"status": "error"
+		},
+		"canonicalJson": "{\"error\":{\"code\":\"execution_failed\",\"message\":\"Execution failed safely.\"},\"id\":\"call-1\",\"operationId\":\"operation-1\",\"outcome\":{\"certainty\":\"proven\",\"completion\":\"failed\",\"kind\":\"completed\",\"retryClass\":\"policy-gated\"},\"owningGeneration\":\"runner-generation-1\",\"status\":\"error\"}",
+		"refinementIdentities": ["portal.request-id.not-reserved", "portal.result.outcome-algebra"]
+	}
+}

package/contract-fixtures/portable-contracts/outcomes/completed-succeeded.fixture.json

@@ -0,0 +1,40 @@
+{
+	"caseId": "completed-succeeded",
+	"schemaId": "portal.call.item-result",
+	"tags": ["accepted", "outcome", "result-discriminant"],
+	"input": {
+		"id": "call-1",
+		"operationId": "operation-1",
+		"owningGeneration": "tool-vm-generation-1",
+		"outcome": {
+			"certainty": "proven",
+			"completion": "succeeded",
+			"kind": "completed",
+			"retryClass": "forbidden"
+		},
+		"status": "ok",
+		"value": {
+			"issue": 123
+		}
+	},
+	"expectation": {
+		"kind": "accepted",
+		"normalized": {
+			"id": "call-1",
+			"operationId": "operation-1",
+			"outcome": {
+				"certainty": "proven",
+				"completion": "succeeded",
+				"kind": "completed",
+				"retryClass": "forbidden"
+			},
+			"owningGeneration": "tool-vm-generation-1",
+			"status": "ok",
+			"value": {
+				"issue": 123
+			}
+		},
+		"canonicalJson": "{\"id\":\"call-1\",\"operationId\":\"operation-1\",\"outcome\":{\"certainty\":\"proven\",\"completion\":\"succeeded\",\"kind\":\"completed\",\"retryClass\":\"forbidden\"},\"owningGeneration\":\"tool-vm-generation-1\",\"status\":\"ok\",\"value\":{\"issue\":123}}",
+		"refinementIdentities": ["portal.request-id.not-reserved", "portal.result.outcome-algebra"]
+	}
+}

package/contract-fixtures/portable-contracts/outcomes/invalid-ambiguous-retry-class.fixture.json

@@ -0,0 +1,25 @@
+{
+	"caseId": "invalid-ambiguous-retry-class",
+	"schemaId": "portal.call.item-result",
+	"tags": ["ambiguity", "illegal-combination", "rejected"],
+	"input": {
+		"error": {
+			"code": "execution_failed",
+			"message": "Execution outcome is ambiguous."
+		},
+		"id": "call-1",
+		"operationId": "operation-1",
+		"owningGeneration": "runner-generation-1",
+		"outcome": {
+			"certainty": "side-effects-and-termination-unknown",
+			"kind": "ambiguous",
+			"retryClass": "policy-gated"
+		},
+		"status": "error"
+	},
+	"expectation": {
+		"kind": "rejected",
+		"errorCodes": ["portal.result.outcome-algebra"],
+		"refinementIdentities": ["portal.request-id.not-reserved", "portal.result.outcome-algebra"]
+	}
+}

package/contract-fixtures/portable-contracts/outcomes/invalid-error-completed-succeeded.fixture.json

@@ -0,0 +1,26 @@
+{
+	"caseId": "invalid-error-completed-succeeded",
+	"schemaId": "portal.call.item-result",
+	"tags": ["illegal-combination", "outcome", "rejected"],
+	"input": {
+		"error": {
+			"code": "execution_failed",
+			"message": "An error cannot carry a succeeded outcome."
+		},
+		"id": "call-1",
+		"operationId": "operation-1",
+		"owningGeneration": "runner-generation-1",
+		"outcome": {
+			"certainty": "proven",
+			"completion": "succeeded",
+			"kind": "completed",
+			"retryClass": "forbidden"
+		},
+		"status": "error"
+	},
+	"expectation": {
+		"kind": "rejected",
+		"errorCodes": ["portal.result.outcome-algebra"],
+		"refinementIdentities": ["portal.request-id.not-reserved", "portal.result.outcome-algebra"]
+	}
+}

package/contract-fixtures/portable-contracts/outcomes/invalid-error-result-with-value.fixture.json

@@ -0,0 +1,19 @@
+{
+	"caseId": "invalid-error-result-with-value",
+	"schemaId": "portal.call.item-result",
+	"tags": ["rejected", "result-discriminant", "unknown-field"],
+	"input": {
+		"error": {
+			"code": "execution_failed",
+			"message": "An error result cannot contain a value."
+		},
+		"id": "call-1",
+		"status": "error",
+		"value": {}
+	},
+	"expectation": {
+		"kind": "rejected",
+		"errorCodes": ["portal.result.status-shape"],
+		"refinementIdentities": ["portal.request-id.not-reserved"]
+	}
+}

package/contract-fixtures/portable-contracts/outcomes/invalid-not-dispatched-certainty.fixture.json

@@ -0,0 +1,25 @@
+{
+	"caseId": "invalid-not-dispatched-certainty",
+	"schemaId": "portal.call.item-result",
+	"tags": ["illegal-combination", "outcome", "rejected"],
+	"input": {
+		"error": {
+			"code": "capability_denied",
+			"message": "Protected work was not dispatched."
+		},
+		"id": "call-1",
+		"operationId": "operation-1",
+		"owningGeneration": "gateway-generation-1",
+		"outcome": {
+			"certainty": "proven-terminated",
+			"kind": "not-dispatched",
+			"retryClass": "safe-before-dispatch"
+		},
+		"status": "error"
+	},
+	"expectation": {
+		"kind": "rejected",
+		"errorCodes": ["portal.result.outcome-algebra"],
+		"refinementIdentities": ["portal.request-id.not-reserved", "portal.result.outcome-algebra"]
+	}
+}

package/contract-fixtures/portable-contracts/outcomes/invalid-ok-completed-failed.fixture.json

@@ -0,0 +1,23 @@
+{
+	"caseId": "invalid-ok-completed-failed",
+	"schemaId": "portal.call.item-result",
+	"tags": ["illegal-combination", "outcome", "rejected"],
+	"input": {
+		"id": "call-1",
+		"operationId": "operation-1",
+		"owningGeneration": "runner-generation-1",
+		"outcome": {
+			"certainty": "proven",
+			"completion": "failed",
+			"kind": "completed",
+			"retryClass": "forbidden"
+		},
+		"status": "ok",
+		"value": {}
+	},
+	"expectation": {
+		"kind": "rejected",
+		"errorCodes": ["portal.result.outcome-algebra"],
+		"refinementIdentities": ["portal.request-id.not-reserved", "portal.result.outcome-algebra"]
+	}
+}

package/contract-fixtures/portable-contracts/outcomes/invalid-ok-result-with-error.fixture.json

@@ -0,0 +1,19 @@
+{
+	"caseId": "invalid-ok-result-with-error",
+	"schemaId": "portal.call.item-result",
+	"tags": ["rejected", "result-discriminant", "unknown-field"],
+	"input": {
+		"error": {
+			"code": "execution_failed",
+			"message": "An ok result cannot contain an error."
+		},
+		"id": "call-1",
+		"status": "ok",
+		"value": {}
+	},
+	"expectation": {
+		"kind": "rejected",
+		"errorCodes": ["portal.result.status-shape"],
+		"refinementIdentities": ["portal.request-id.not-reserved"]
+	}
+}

package/contract-fixtures/portable-contracts/outcomes/invalid-replaced-missing-prior-side-effects.fixture.json

@@ -0,0 +1,25 @@
+{
+	"caseId": "invalid-replaced-missing-prior-side-effects",
+	"schemaId": "portal.call.item-result",
+	"tags": ["illegal-combination", "rejected", "replacement"],
+	"input": {
+		"error": {
+			"code": "execution_failed",
+			"message": "The owning generation was replaced."
+		},
+		"id": "call-1",
+		"operationId": "operation-1",
+		"owningGeneration": "tool-vm-generation-1",
+		"outcome": {
+			"certainty": "proven-terminated",
+			"kind": "replaced-proven",
+			"retryClass": "manual-only"
+		},
+		"status": "error"
+	},
+	"expectation": {
+		"kind": "rejected",
+		"errorCodes": ["portal.result.outcome-algebra"],
+		"refinementIdentities": ["portal.request-id.not-reserved", "portal.result.outcome-algebra"]
+	}
+}