openworkproof 1.0.0__py3-none-any.whl

openworkproof/schemas/v0.1/action-receipt.schema.json

@@ -0,0 +1 @@
+{"$defs":{"AgentRequest":{"additionalProperties":false,"properties":{"actor_id":{"title":"Actor Id","type":"string"},"actor_key_id":{"title":"Actor Key Id","type":"string"},"arguments_digest":{"title":"Arguments Digest","type":"string"},"authentication_method":{"const":"agent_signature","title":"Authentication Method","type":"string"},"claim_type":{"const":"agent-request","title":"Claim Type","type":"string"},"context_source_digest":{"title":"Context Source Digest","type":"string"},"digest":{"title":"Digest","type":"string"},"grant_id":{"title":"Grant Id","type":"string"},"model_id":{"title":"Model Id","type":"string"},"model_version":{"title":"Model Version","type":"string"},"nonce":{"title":"Nonce","type":"string"},"prompt_template_digest":{"title":"Prompt Template Digest","type":"string"},"requested_at":{"format":"date-time","title":"Requested At","type":"string"},"signature":{"title":"Signature","type":"string"},"signature_alg":{"const":"Ed25519","title":"Signature Alg","type":"string"},"signer_key_id":{"title":"Signer Key Id","type":"string"},"tool_name":{"enum":["owp.activate_root_grant","owp.apply_patch","owp.compose_proof","owp.create_pr_proposal","owp.delegate_grant","owp.repo_read","owp.request_acceptance","owp.request_pr_proposal","owp.revoke_grant","owp.rollback_patch","owp.run_tests","owp.start_retry"],"title":"Tool Name","type":"string"},"work_order_digest":{"title":"Work Order Digest","type":"string"}},"required":["digest","signature_alg","signer_key_id","signature","claim_type","work_order_digest","grant_id","actor_id","actor_key_id","tool_name","arguments_digest","nonce","requested_at","authentication_method","model_id","model_version","prompt_template_digest","context_source_digest"],"title":"AgentRequest","type":"object"},"ApplyPatchArguments":{"additionalProperties":false,"properties":{"patch_digest":{"title":"Patch Digest","type":"string"},"patch_size_bytes":{"title":"Patch Size Bytes","type":"integer"},"target_paths":{"items":{"type":"string"},"title":"Target Paths","type":"array"}},"required":["target_paths","patch_digest","patch_size_bytes"],"title":"ApplyPatchArguments","type":"object"},"ApprovalDecisionReceipt":{"additionalProperties":false,"properties":{"actor_id":{"title":"Actor Id","type":"string"},"actor_key_id":{"title":"Actor Key Id","type":"string"},"actor_type":{"const":"human","title":"Actor Type","type":"string"},"approved_scope":{"additionalProperties":true,"title":"Approved Scope","type":"object"},"correlation_factors":{"anyOf":[{"$ref":"#/$defs/CorrelationFactors"},{"type":"null"}]},"decided_at":{"format":"date-time","title":"Decided At","type":"string"},"decision":{"enum":["approved","denied"],"title":"Decision","type":"string"},"decision_reason":{"enum":["APPROVAL_GRANTED","APPROVAL_DENIED"],"title":"Decision Reason","type":"string"},"digest":{"title":"Digest","type":"string"},"event_type":{"const":"approval_decision","title":"Event Type","type":"string"},"evidence_refs":{"items":{"$ref":"#/$defs/EvidenceRef"},"title":"Evidence Refs","type":"array"},"execution_error_code":{"anyOf":[{"enum":["HANDLER_ERROR","OUTPUT_LIMIT","TIMEOUT","DISK_LIMIT","WORKSPACE_INTEGRITY_FAILED","EVIDENCE_POLICY_VIOLATION","ROLLBACK_FAILED"],"type":"string"},{"type":"null"}],"title":"Execution Error Code"},"execution_status":{"enum":["succeeded","failed","denied"],"title":"Execution Status","type":"string"},"expires_at":{"format":"date-time","title":"Expires At","type":"string"},"gateway_signer_key_id":{"title":"Gateway Signer Key Id","type":"string"},"nested_claim":{"$ref":"#/$defs/ApprovalHumanDecision"},"nested_claim_digest":{"title":"Nested Claim Digest","type":"string"},"nested_claim_type":{"const":"human-decision","title":"Nested Claim Type","type":"string"},"nonce":{"title":"Nonce","type":"string"},"occurred_at":{"format":"date-time","title":"Occurred At","type":"string"},"parent_receipt_ids":{"items":{"type":"string"},"title":"Parent Receipt Ids","type":"array"},"policy_decision":{"enum":["allow","deny","not_applicable"],"title":"Policy Decision","type":"string"},"policy_error_code":{"anyOf":[{"enum":["STATE_DENIED","ROLE_DENIED","CAPABILITY_DENIED","APPROVAL_DENIED","PREDICATE_DENIED","QUOTA_EXHAUSTED"],"type":"string"},{"type":"null"}],"title":"Policy Error Code"},"previous_receipt_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Previous Receipt Digest"},"protocol_version":{"const":"0.1","title":"Protocol Version","type":"string"},"quota_charge":{"anyOf":[{"$ref":"#/$defs/QuotaCharge"},{"type":"null"}]},"receipt_id":{"title":"Receipt Id","type":"string"},"request_receipt_digest":{"title":"Request Receipt Digest","type":"string"},"request_receipt_id":{"title":"Request Receipt Id","type":"string"},"sequence":{"title":"Sequence","type":"integer"},"signature":{"title":"Signature","type":"string"},"signature_alg":{"const":"Ed25519","title":"Signature Alg","type":"string"},"signer_key_id":{"title":"Signer Key Id","type":"string"},"state_after":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State After","type":"string"},"state_before":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State Before","type":"string"},"work_order_digest":{"title":"Work Order Digest","type":"string"}},"required":["digest","signature_alg","signer_key_id","signature","protocol_version","receipt_id","work_order_digest","actor_type","actor_id","actor_key_id","nested_claim_type","nested_claim_digest","nested_claim","gateway_signer_key_id","event_type","policy_decision","policy_error_code","execution_status","execution_error_code","quota_charge","state_before","state_after","parent_receipt_ids","correlation_factors","evidence_refs","occurred_at","sequence","nonce","previous_receipt_digest","request_receipt_id","request_receipt_digest","decision","approved_scope","expires_at","decision_reason","decided_at"],"title":"ApprovalDecisionReceipt","type":"object"},"ApprovalHumanDecision":{"additionalProperties":false,"properties":{"actor_id":{"title":"Actor Id","type":"string"},"actor_key_id":{"title":"Actor Key Id","type":"string"},"approved_scope":{"additionalProperties":true,"title":"Approved Scope","type":"object"},"claim_type":{"const":"human-decision","title":"Claim Type","type":"string"},"decided_at":{"format":"date-time","title":"Decided At","type":"string"},"decision":{"enum":["approved","denied"],"title":"Decision","type":"string"},"decision_type":{"const":"approval_decision","title":"Decision Type","type":"string"},"digest":{"title":"Digest","type":"string"},"expires_at":{"format":"date-time","title":"Expires At","type":"string"},"reason":{"enum":["APPROVAL_GRANTED","APPROVAL_DENIED"],"title":"Reason","type":"string"},"request_receipt_digest":{"title":"Request Receipt Digest","type":"string"},"request_receipt_id":{"title":"Request Receipt Id","type":"string"},"signature":{"title":"Signature","type":"string"},"signature_alg":{"const":"Ed25519","title":"Signature Alg","type":"string"},"signer_key_id":{"title":"Signer Key Id","type":"string"},"work_order_digest":{"title":"Work Order Digest","type":"string"}},"required":["digest","signature_alg","signer_key_id","signature","claim_type","decision_type","work_order_digest","decision","reason","decided_at","actor_id","actor_key_id","request_receipt_id","request_receipt_digest","approved_scope","expires_at"],"title":"ApprovalHumanDecision","type":"object"},"ApprovalRequestedReceipt":{"additionalProperties":false,"properties":{"actor_id":{"title":"Actor Id","type":"string"},"actor_key_id":{"title":"Actor Key Id","type":"string"},"actor_type":{"const":"agent","title":"Actor Type","type":"string"},"correlation_factors":{"anyOf":[{"$ref":"#/$defs/CorrelationFactors"},{"type":"null"}]},"digest":{"title":"Digest","type":"string"},"event_type":{"const":"approval_requested","title":"Event Type","type":"string"},"evidence_refs":{"items":{"$ref":"#/$defs/EvidenceRef"},"title":"Evidence Refs","type":"array"},"execution_error_code":{"anyOf":[{"enum":["HANDLER_ERROR","OUTPUT_LIMIT","TIMEOUT","DISK_LIMIT","WORKSPACE_INTEGRITY_FAILED","EVIDENCE_POLICY_VIOLATION","ROLLBACK_FAILED"],"type":"string"},{"type":"null"}],"title":"Execution Error Code"},"execution_status":{"enum":["succeeded","failed","denied"],"title":"Execution Status","type":"string"},"expires_at":{"format":"date-time","title":"Expires At","type":"string"},"gateway_signer_key_id":{"title":"Gateway Signer Key Id","type":"string"},"grant_id":{"title":"Grant Id","type":"string"},"nested_claim":{"$ref":"#/$defs/AgentRequest"},"nested_claim_digest":{"title":"Nested Claim Digest","type":"string"},"nested_claim_type":{"const":"agent-request","title":"Nested Claim Type","type":"string"},"nonce":{"title":"Nonce","type":"string"},"occurred_at":{"format":"date-time","title":"Occurred At","type":"string"},"parent_receipt_ids":{"items":{"type":"string"},"title":"Parent Receipt Ids","type":"array"},"policy_decision":{"enum":["allow","deny","not_applicable"],"title":"Policy Decision","type":"string"},"policy_error_code":{"anyOf":[{"enum":["STATE_DENIED","ROLE_DENIED","CAPABILITY_DENIED","APPROVAL_DENIED","PREDICATE_DENIED","QUOTA_EXHAUSTED"],"type":"string"},{"type":"null"}],"title":"Policy Error Code"},"previous_receipt_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Previous Receipt Digest"},"protocol_version":{"const":"0.1","title":"Protocol Version","type":"string"},"quota_charge":{"anyOf":[{"$ref":"#/$defs/QuotaCharge"},{"type":"null"}]},"receipt_id":{"title":"Receipt Id","type":"string"},"request_kind":{"enum":["high_risk_action","final_acceptance"],"title":"Request Kind","type":"string"},"requested_scope":{"additionalProperties":true,"title":"Requested Scope","type":"object"},"required_role":{"enum":["Maintainer","Acceptor"],"title":"Required Role","type":"string"},"sequence":{"title":"Sequence","type":"integer"},"signature":{"title":"Signature","type":"string"},"signature_alg":{"const":"Ed25519","title":"Signature Alg","type":"string"},"signer_key_id":{"title":"Signer Key Id","type":"string"},"state_after":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State After","type":"string"},"state_before":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State Before","type":"string"},"target_action_digest":{"title":"Target Action Digest","type":"string"},"work_order_digest":{"title":"Work Order Digest","type":"string"}},"required":["digest","signature_alg","signer_key_id","signature","protocol_version","receipt_id","work_order_digest","actor_type","actor_id","actor_key_id","nested_claim_type","nested_claim_digest","nested_claim","gateway_signer_key_id","event_type","policy_decision","policy_error_code","execution_status","execution_error_code","quota_charge","state_before","state_after","parent_receipt_ids","correlation_factors","evidence_refs","occurred_at","sequence","nonce","previous_receipt_digest","grant_id","request_kind","target_action_digest","required_role","requested_scope","expires_at"],"title":"ApprovalRequestedReceipt","type":"object"},"ArtifactDigestPredicateInput":{"additionalProperties":false,"properties":{"actual_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Actual Digest"},"artifact_path":{"title":"Artifact Path","type":"string"},"expected_digest":{"title":"Expected Digest","type":"string"},"size_bytes":{"anyOf":[{"type":"integer"},{"type":"null"}],"title":"Size Bytes"},"workspace_manifest_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Workspace Manifest Digest"}},"required":["artifact_path","expected_digest","actual_digest","size_bytes","workspace_manifest_digest"],"title":"ArtifactDigestPredicateInput","type":"object"},"ComposeProofArguments":{"additionalProperties":false,"properties":{"expected_state_version":{"title":"Expected State Version","type":"integer"},"previous_report_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Previous Report Digest"}},"required":["expected_state_version","previous_report_digest"],"title":"ComposeProofArguments","type":"object"},"CompositionCause":{"additionalProperties":false,"properties":{"composition_report_digest":{"title":"Composition Report Digest","type":"string"},"initiator_receipt_digest":{"title":"Initiator Receipt Digest","type":"string"},"state_version_before":{"title":"State Version Before","type":"integer"}},"required":["initiator_receipt_digest","composition_report_digest","state_version_before"],"title":"CompositionCause","type":"object"},"ContractExpiredCause":{"additionalProperties":false,"properties":{"deadline":{"format":"date-time","title":"Deadline","type":"string"},"observed_at":{"format":"date-time","title":"Observed At","type":"string"},"tip_receipt_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Tip Receipt Digest"}},"required":["deadline","observed_at","tip_receipt_digest"],"title":"ContractExpiredCause","type":"object"},"CorrelationFactors":{"additionalProperties":false,"properties":{"container_instance_id_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Container Instance Id Digest"},"context_source_digest":{"title":"Context Source Digest","type":"string"},"controller_id":{"title":"Controller Id","type":"string"},"execution_context_id":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Execution Context Id"},"fixed_test_source_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Fixed Test Source Digest"},"model_id":{"title":"Model Id","type":"string"},"model_version":{"title":"Model Version","type":"string"},"prompt_template_digest":{"title":"Prompt Template Digest","type":"string"},"toolchain_id":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Toolchain Id"}},"required":["model_id","model_version","prompt_template_digest","context_source_digest","toolchain_id","execution_context_id","container_instance_id_digest","controller_id","fixed_test_source_digest"],"title":"CorrelationFactors","type":"object"},"CreatePrProposalArguments":{"additionalProperties":false,"properties":{"approval_receipt_digest":{"title":"Approval Receipt Digest","type":"string"},"approval_receipt_id":{"title":"Approval Receipt Id","type":"string"},"target_patch_digest":{"title":"Target Patch Digest","type":"string"}},"required":["target_patch_digest","approval_receipt_id","approval_receipt_digest"],"title":"CreatePrProposalArguments","type":"object"},"EvidenceRef":{"additionalProperties":false,"properties":{"media_type":{"enum":["text/x-diff","application/json"],"title":"Media Type","type":"string"},"path":{"title":"Path","type":"string"},"sha256":{"title":"Sha256","type":"string"},"size_bytes":{"title":"Size Bytes","type":"integer"}},"required":["path","sha256","media_type","size_bytes"],"title":"EvidenceRef","type":"object"},"GrantConsumedReceipt":{"additionalProperties":false,"properties":{"actor_id":{"title":"Actor Id","type":"string"},"actor_key_id":{"title":"Actor Key Id","type":"string"},"actor_type":{"const":"agent","title":"Actor Type","type":"string"},"amount":{"title":"Amount","type":"integer"},"correlation_factors":{"anyOf":[{"$ref":"#/$defs/CorrelationFactors"},{"type":"null"}]},"digest":{"title":"Digest","type":"string"},"event_type":{"const":"grant_consumed","title":"Event Type","type":"string"},"evidence_refs":{"items":{"$ref":"#/$defs/EvidenceRef"},"title":"Evidence Refs","type":"array"},"execution_error_code":{"anyOf":[{"enum":["HANDLER_ERROR","OUTPUT_LIMIT","TIMEOUT","DISK_LIMIT","WORKSPACE_INTEGRITY_FAILED","EVIDENCE_POLICY_VIOLATION","ROLLBACK_FAILED"],"type":"string"},{"type":"null"}],"title":"Execution Error Code"},"execution_status":{"enum":["succeeded","failed","denied"],"title":"Execution Status","type":"string"},"gateway_signer_key_id":{"title":"Gateway Signer Key Id","type":"string"},"grant_id":{"title":"Grant Id","type":"string"},"metric":{"const":"repair_rounds","title":"Metric","type":"string"},"nested_claim":{"$ref":"#/$defs/AgentRequest"},"nested_claim_digest":{"title":"Nested Claim Digest","type":"string"},"nested_claim_type":{"const":"agent-request","title":"Nested Claim Type","type":"string"},"nonce":{"title":"Nonce","type":"string"},"occurred_at":{"format":"date-time","title":"Occurred At","type":"string"},"parent_receipt_ids":{"items":{"type":"string"},"title":"Parent Receipt Ids","type":"array"},"policy_decision":{"enum":["allow","deny","not_applicable"],"title":"Policy Decision","type":"string"},"policy_error_code":{"anyOf":[{"enum":["STATE_DENIED","ROLE_DENIED","CAPABILITY_DENIED","APPROVAL_DENIED","PREDICATE_DENIED","QUOTA_EXHAUSTED"],"type":"string"},{"type":"null"}],"title":"Policy Error Code"},"previous_receipt_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Previous Receipt Digest"},"protocol_version":{"const":"0.1","title":"Protocol Version","type":"string"},"quota_charge":{"anyOf":[{"$ref":"#/$defs/QuotaCharge"},{"type":"null"}]},"receipt_id":{"title":"Receipt Id","type":"string"},"remaining_after":{"anyOf":[{"type":"integer"},{"type":"null"}],"title":"Remaining After"},"sequence":{"title":"Sequence","type":"integer"},"signature":{"title":"Signature","type":"string"},"signature_alg":{"const":"Ed25519","title":"Signature Alg","type":"string"},"signer_key_id":{"title":"Signer Key Id","type":"string"},"state_after":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State After","type":"string"},"state_before":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State Before","type":"string"},"work_order_digest":{"title":"Work Order Digest","type":"string"}},"required":["digest","signature_alg","signer_key_id","signature","protocol_version","receipt_id","work_order_digest","actor_type","actor_id","actor_key_id","nested_claim_type","nested_claim_digest","nested_claim","gateway_signer_key_id","event_type","policy_decision","policy_error_code","execution_status","execution_error_code","quota_charge","state_before","state_after","parent_receipt_ids","correlation_factors","evidence_refs","occurred_at","sequence","nonce","previous_receipt_digest","grant_id","metric","amount","remaining_after"],"title":"GrantConsumedReceipt","type":"object"},"GrantIssuedReceipt":{"additionalProperties":false,"properties":{"actor_id":{"title":"Actor Id","type":"string"},"actor_key_id":{"title":"Actor Key Id","type":"string"},"actor_type":{"const":"agent","title":"Actor Type","type":"string"},"authorizing_grant_id":{"title":"Authorizing Grant Id","type":"string"},"candidate_grant_digest":{"title":"Candidate Grant Digest","type":"string"},"correlation_factors":{"anyOf":[{"$ref":"#/$defs/CorrelationFactors"},{"type":"null"}]},"digest":{"title":"Digest","type":"string"},"event_type":{"const":"grant_issued","title":"Event Type","type":"string"},"evidence_refs":{"items":{"$ref":"#/$defs/EvidenceRef"},"title":"Evidence Refs","type":"array"},"execution_error_code":{"anyOf":[{"enum":["HANDLER_ERROR","OUTPUT_LIMIT","TIMEOUT","DISK_LIMIT","WORKSPACE_INTEGRITY_FAILED","EVIDENCE_POLICY_VIOLATION","ROLLBACK_FAILED"],"type":"string"},{"type":"null"}],"title":"Execution Error Code"},"execution_status":{"enum":["succeeded","failed","denied"],"title":"Execution Status","type":"string"},"gateway_signer_key_id":{"title":"Gateway Signer Key Id","type":"string"},"issued_grant_id":{"anyOf":[{"type":"string"},{"type":"null"}],"default":null,"title":"Issued Grant Id"},"nested_claim":{"$ref":"#/$defs/AgentRequest"},"nested_claim_digest":{"title":"Nested Claim Digest","type":"string"},"nested_claim_type":{"const":"agent-request","title":"Nested Claim Type","type":"string"},"nonce":{"title":"Nonce","type":"string"},"occurred_at":{"format":"date-time","title":"Occurred At","type":"string"},"parent_grant_id":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Parent Grant Id"},"parent_receipt_ids":{"items":{"type":"string"},"title":"Parent Receipt Ids","type":"array"},"policy_decision":{"enum":["allow","deny","not_applicable"],"title":"Policy Decision","type":"string"},"policy_error_code":{"anyOf":[{"enum":["STATE_DENIED","ROLE_DENIED","CAPABILITY_DENIED","APPROVAL_DENIED","PREDICATE_DENIED","QUOTA_EXHAUSTED"],"type":"string"},{"type":"null"}],"title":"Policy Error Code"},"previous_receipt_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Previous Receipt Digest"},"protocol_version":{"const":"0.1","title":"Protocol Version","type":"string"},"quota_charge":{"anyOf":[{"$ref":"#/$defs/QuotaCharge"},{"type":"null"}]},"receipt_id":{"title":"Receipt Id","type":"string"},"sequence":{"title":"Sequence","type":"integer"},"signature":{"title":"Signature","type":"string"},"signature_alg":{"const":"Ed25519","title":"Signature Alg","type":"string"},"signer_key_id":{"title":"Signer Key Id","type":"string"},"state_after":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State After","type":"string"},"state_before":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State Before","type":"string"},"work_order_digest":{"title":"Work Order Digest","type":"string"}},"required":["digest","signature_alg","signer_key_id","signature","protocol_version","receipt_id","work_order_digest","actor_type","actor_id","actor_key_id","nested_claim_type","nested_claim_digest","nested_claim","gateway_signer_key_id","event_type","policy_decision","policy_error_code","execution_status","execution_error_code","quota_charge","state_before","state_after","parent_receipt_ids","correlation_factors","evidence_refs","occurred_at","sequence","nonce","previous_receipt_digest","authorizing_grant_id","candidate_grant_digest","parent_grant_id"],"title":"GrantIssuedReceipt","type":"object"},"GrantRevokedReceipt":{"additionalProperties":false,"properties":{"actor_id":{"title":"Actor Id","type":"string"},"actor_key_id":{"title":"Actor Key Id","type":"string"},"actor_type":{"const":"agent","title":"Actor Type","type":"string"},"authorizing_grant_id":{"title":"Authorizing Grant Id","type":"string"},"correlation_factors":{"anyOf":[{"$ref":"#/$defs/CorrelationFactors"},{"type":"null"}]},"digest":{"title":"Digest","type":"string"},"event_type":{"const":"grant_revoked","title":"Event Type","type":"string"},"evidence_refs":{"items":{"$ref":"#/$defs/EvidenceRef"},"title":"Evidence Refs","type":"array"},"execution_error_code":{"anyOf":[{"enum":["HANDLER_ERROR","OUTPUT_LIMIT","TIMEOUT","DISK_LIMIT","WORKSPACE_INTEGRITY_FAILED","EVIDENCE_POLICY_VIOLATION","ROLLBACK_FAILED"],"type":"string"},{"type":"null"}],"title":"Execution Error Code"},"execution_status":{"enum":["succeeded","failed","denied"],"title":"Execution Status","type":"string"},"gateway_signer_key_id":{"title":"Gateway Signer Key Id","type":"string"},"nested_claim":{"$ref":"#/$defs/AgentRequest"},"nested_claim_digest":{"title":"Nested Claim Digest","type":"string"},"nested_claim_type":{"const":"agent-request","title":"Nested Claim Type","type":"string"},"nonce":{"title":"Nonce","type":"string"},"occurred_at":{"format":"date-time","title":"Occurred At","type":"string"},"parent_receipt_ids":{"items":{"type":"string"},"title":"Parent Receipt Ids","type":"array"},"policy_decision":{"enum":["allow","deny","not_applicable"],"title":"Policy Decision","type":"string"},"policy_error_code":{"anyOf":[{"enum":["STATE_DENIED","ROLE_DENIED","CAPABILITY_DENIED","APPROVAL_DENIED","PREDICATE_DENIED","QUOTA_EXHAUSTED"],"type":"string"},{"type":"null"}],"title":"Policy Error Code"},"previous_receipt_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Previous Receipt Digest"},"protocol_version":{"const":"0.1","title":"Protocol Version","type":"string"},"quota_charge":{"anyOf":[{"$ref":"#/$defs/QuotaCharge"},{"type":"null"}]},"receipt_id":{"title":"Receipt Id","type":"string"},"revocation_reason":{"enum":["LEAST_PRIVILEGE","SUPERSEDED","WORK_STOPPED"],"title":"Revocation Reason","type":"string"},"revoked_grant_id":{"title":"Revoked Grant Id","type":"string"},"sequence":{"title":"Sequence","type":"integer"},"signature":{"title":"Signature","type":"string"},"signature_alg":{"const":"Ed25519","title":"Signature Alg","type":"string"},"signer_key_id":{"title":"Signer Key Id","type":"string"},"state_after":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State After","type":"string"},"state_before":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State Before","type":"string"},"work_order_digest":{"title":"Work Order Digest","type":"string"}},"required":["digest","signature_alg","signer_key_id","signature","protocol_version","receipt_id","work_order_digest","actor_type","actor_id","actor_key_id","nested_claim_type","nested_claim_digest","nested_claim","gateway_signer_key_id","event_type","policy_decision","policy_error_code","execution_status","execution_error_code","quota_charge","state_before","state_after","parent_receipt_ids","correlation_factors","evidence_refs","occurred_at","sequence","nonce","previous_receipt_digest","authorizing_grant_id","revoked_grant_id","revocation_reason"],"title":"GrantRevokedReceipt","type":"object"},"HumanSignaturePredicateInput":{"additionalProperties":false,"properties":{"actor_key_id":{"title":"Actor Key Id","type":"string"},"claim_digest":{"title":"Claim Digest","type":"string"},"decision":{"enum":["approved","denied","rejected","accepted"],"title":"Decision","type":"string"},"decision_type":{"enum":["approval_decision","termination_decision","final_acceptance"],"title":"Decision Type","type":"string"},"expires_at":{"anyOf":[{"format":"date-time","type":"string"},{"type":"null"}],"title":"Expires At"},"required_role":{"const":"Maintainer","title":"Required Role","type":"string"},"validated_at":{"format":"date-time","title":"Validated At","type":"string"}},"required":["decision_type","required_role","actor_key_id","claim_digest","decision","expires_at","validated_at"],"title":"HumanSignaturePredicateInput","type":"object"},"PathAllowedPredicateInput":{"additionalProperties":false,"properties":{"requested_paths":{"items":{"type":"string"},"title":"Requested Paths","type":"array"},"resolution_manifest_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Resolution Manifest Digest"},"resolved_entries":{"items":{"$ref":"#/$defs/ResolvedPathEntry"},"title":"Resolved Entries","type":"array"}},"required":["requested_paths","resolved_entries","resolution_manifest_digest"],"title":"PathAllowedPredicateInput","type":"object"},"PredicateResult":{"additionalProperties":false,"properties":{"arguments_digest":{"title":"Arguments Digest","type":"string"},"error_code":{"anyOf":[{"enum":["PREDICATE_FALSE","FAIL_CLOSED"],"type":"string"},{"type":"null"}],"title":"Error Code"},"input":{"anyOf":[{"$ref":"#/$defs/PathAllowedPredicateInput"},{"$ref":"#/$defs/ToolAllowedPredicateInput"},{"$ref":"#/$defs/QuotaRemainingPredicateInput"},{"$ref":"#/$defs/TestsPassedPredicateInput"},{"$ref":"#/$defs/ArtifactDigestPredicateInput"},{"$ref":"#/$defs/HumanSignaturePredicateInput"}],"title":"Input"},"input_digest":{"title":"Input Digest","type":"string"},"name":{"enum":["path_allowed","tool_allowed","quota_remaining","tests_passed","artifact_digest_matches","human_signature_present"],"title":"Name","type":"string"},"passed":{"title":"Passed","type":"boolean"},"predicate_id":{"title":"Predicate Id","type":"string"},"version":{"title":"Version","type":"string"}},"required":["predicate_id","name","version","arguments_digest","input","input_digest","passed","error_code"],"title":"PredicateResult","type":"object"},"QuotaCharge":{"additionalProperties":false,"properties":{"amount":{"title":"Amount","type":"integer"},"grant_id":{"title":"Grant Id","type":"string"},"metric":{"enum":["tool_calls","repair_rounds"],"title":"Metric","type":"string"},"remaining_after":{"title":"Remaining After","type":"integer"}},"required":["grant_id","metric","amount","remaining_after"],"title":"QuotaCharge","type":"object"},"QuotaRemainingPredicateInput":{"additionalProperties":false,"properties":{"amount":{"title":"Amount","type":"integer"},"grant_id":{"title":"Grant Id","type":"string"},"grant_remaining_before":{"title":"Grant Remaining Before","type":"integer"},"ledger_prefix_digest":{"title":"Ledger Prefix Digest","type":"string"},"metric":{"enum":["tool_calls","repair_rounds"],"title":"Metric","type":"string"}},"required":["grant_id","metric","amount","grant_remaining_before","ledger_prefix_digest"],"title":"QuotaRemainingPredicateInput","type":"object"},"RepoReadArguments":{"additionalProperties":false,"properties":{"path":{"title":"Path","type":"string"}},"required":["path"],"title":"RepoReadArguments","type":"object"},"ResolvedPathEntry":{"additionalProperties":false,"properties":{"requested_path":{"title":"Requested Path","type":"string"},"resolved_relative_path":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Resolved Relative Path"}},"required":["requested_path","resolved_relative_path"],"title":"ResolvedPathEntry","type":"object"},"RollbackReceipt":{"additionalProperties":false,"properties":{"actor_id":{"title":"Actor Id","type":"string"},"actor_key_id":{"title":"Actor Key Id","type":"string"},"actor_type":{"const":"agent","title":"Actor Type","type":"string"},"after_commit":{"title":"After Commit","type":"string"},"after_manifest_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"After Manifest Digest"},"before_commit":{"title":"Before Commit","type":"string"},"correlation_factors":{"anyOf":[{"$ref":"#/$defs/CorrelationFactors"},{"type":"null"}]},"digest":{"title":"Digest","type":"string"},"event_type":{"const":"rollback","title":"Event Type","type":"string"},"evidence_refs":{"items":{"$ref":"#/$defs/EvidenceRef"},"title":"Evidence Refs","type":"array"},"execution_error_code":{"anyOf":[{"enum":["HANDLER_ERROR","OUTPUT_LIMIT","TIMEOUT","DISK_LIMIT","WORKSPACE_INTEGRITY_FAILED","EVIDENCE_POLICY_VIOLATION","ROLLBACK_FAILED"],"type":"string"},{"type":"null"}],"title":"Execution Error Code"},"execution_status":{"enum":["succeeded","failed","denied"],"title":"Execution Status","type":"string"},"gateway_signer_key_id":{"title":"Gateway Signer Key Id","type":"string"},"grant_id":{"title":"Grant Id","type":"string"},"nested_claim":{"$ref":"#/$defs/AgentRequest"},"nested_claim_digest":{"title":"Nested Claim Digest","type":"string"},"nested_claim_type":{"const":"agent-request","title":"Nested Claim Type","type":"string"},"nonce":{"title":"Nonce","type":"string"},"occurred_at":{"format":"date-time","title":"Occurred At","type":"string"},"parent_receipt_ids":{"items":{"type":"string"},"title":"Parent Receipt Ids","type":"array"},"policy_decision":{"enum":["allow","deny","not_applicable"],"title":"Policy Decision","type":"string"},"policy_error_code":{"anyOf":[{"enum":["STATE_DENIED","ROLE_DENIED","CAPABILITY_DENIED","APPROVAL_DENIED","PREDICATE_DENIED","QUOTA_EXHAUSTED"],"type":"string"},{"type":"null"}],"title":"Policy Error Code"},"previous_receipt_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Previous Receipt Digest"},"protocol_version":{"const":"0.1","title":"Protocol Version","type":"string"},"quota_charge":{"anyOf":[{"$ref":"#/$defs/QuotaCharge"},{"type":"null"}]},"receipt_id":{"title":"Receipt Id","type":"string"},"rollback_result":{"enum":["succeeded","failed","denied"],"title":"Rollback Result","type":"string"},"sequence":{"title":"Sequence","type":"integer"},"signature":{"title":"Signature","type":"string"},"signature_alg":{"const":"Ed25519","title":"Signature Alg","type":"string"},"signer_key_id":{"title":"Signer Key Id","type":"string"},"state_after":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State After","type":"string"},"state_before":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State Before","type":"string"},"target_patch_digest":{"title":"Target Patch Digest","type":"string"},"target_patch_receipt_id":{"title":"Target Patch Receipt Id","type":"string"},"work_order_digest":{"title":"Work Order Digest","type":"string"}},"required":["digest","signature_alg","signer_key_id","signature","protocol_version","receipt_id","work_order_digest","actor_type","actor_id","actor_key_id","nested_claim_type","nested_claim_digest","nested_claim","gateway_signer_key_id","event_type","policy_decision","policy_error_code","execution_status","execution_error_code","quota_charge","state_before","state_after","parent_receipt_ids","correlation_factors","evidence_refs","occurred_at","sequence","nonce","previous_receipt_digest","grant_id","target_patch_receipt_id","target_patch_digest","before_commit","after_commit","after_manifest_digest","rollback_result"],"title":"RollbackReceipt","type":"object"},"RunTestsArguments":{"additionalProperties":false,"properties":{"candidate_commit":{"title":"Candidate Commit","type":"string"},"command_digest":{"title":"Command Digest","type":"string"},"container_image_digest":{"title":"Container Image Digest","type":"string"},"fixed_test_source_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Fixed Test Source Digest"},"source_commit":{"title":"Source Commit","type":"string"},"test_mode":{"enum":["developer","verifier"],"title":"Test Mode","type":"string"},"workspace_manifest_digest":{"title":"Workspace Manifest Digest","type":"string"}},"required":["test_mode","command_digest","source_commit","candidate_commit","workspace_manifest_digest","container_image_digest","fixed_test_source_digest"],"title":"RunTestsArguments","type":"object"},"SidecarEvent":{"additionalProperties":false,"properties":{"cause":{"anyOf":[{"$ref":"#/$defs/CompositionCause"},{"$ref":"#/$defs/ContractExpiredCause"}],"title":"Cause"},"claim_type":{"const":"sidecar-event","title":"Claim Type","type":"string"},"event_name":{"enum":["proof_composed","contract_expired","security_violation"],"title":"Event Name","type":"string"},"input_digest":{"title":"Input Digest","type":"string"},"occurred_at":{"format":"date-time","title":"Occurred At","type":"string"},"work_order_digest":{"title":"Work Order Digest","type":"string"}},"required":["claim_type","work_order_digest","event_name","cause","input_digest","occurred_at"],"title":"SidecarEvent","type":"object"},"SystemEventReceipt":{"additionalProperties":false,"properties":{"actor_id":{"title":"Actor Id","type":"string"},"actor_key_id":{"title":"Actor Key Id","type":"string"},"actor_type":{"const":"sidecar","title":"Actor Type","type":"string"},"cause":{"anyOf":[{"$ref":"#/$defs/CompositionCause"},{"$ref":"#/$defs/ContractExpiredCause"}],"title":"Cause"},"correlation_factors":{"anyOf":[{"$ref":"#/$defs/CorrelationFactors"},{"type":"null"}]},"digest":{"title":"Digest","type":"string"},"error_code":{"anyOf":[{"enum":["CONTRACT_EXPIRED","SECURITY_VIOLATION"],"type":"string"},{"type":"null"}],"title":"Error Code"},"event_type":{"const":"system_event","title":"Event Type","type":"string"},"evidence_refs":{"items":{"$ref":"#/$defs/EvidenceRef"},"title":"Evidence Refs","type":"array"},"execution_error_code":{"anyOf":[{"enum":["HANDLER_ERROR","OUTPUT_LIMIT","TIMEOUT","DISK_LIMIT","WORKSPACE_INTEGRITY_FAILED","EVIDENCE_POLICY_VIOLATION","ROLLBACK_FAILED"],"type":"string"},{"type":"null"}],"title":"Execution Error Code"},"execution_status":{"enum":["succeeded","failed","denied"],"title":"Execution Status","type":"string"},"gateway_signer_key_id":{"title":"Gateway Signer Key Id","type":"string"},"input_digest":{"title":"Input Digest","type":"string"},"nested_claim":{"$ref":"#/$defs/SidecarEvent"},"nested_claim_digest":{"title":"Nested Claim Digest","type":"string"},"nested_claim_type":{"const":"sidecar-event","title":"Nested Claim Type","type":"string"},"nonce":{"title":"Nonce","type":"string"},"occurred_at":{"format":"date-time","title":"Occurred At","type":"string"},"parent_receipt_ids":{"items":{"type":"string"},"title":"Parent Receipt Ids","type":"array"},"policy_decision":{"enum":["allow","deny","not_applicable"],"title":"Policy Decision","type":"string"},"policy_error_code":{"anyOf":[{"enum":["STATE_DENIED","ROLE_DENIED","CAPABILITY_DENIED","APPROVAL_DENIED","PREDICATE_DENIED","QUOTA_EXHAUSTED"],"type":"string"},{"type":"null"}],"title":"Policy Error Code"},"previous_receipt_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Previous Receipt Digest"},"protocol_version":{"const":"0.1","title":"Protocol Version","type":"string"},"quota_charge":{"anyOf":[{"$ref":"#/$defs/QuotaCharge"},{"type":"null"}]},"receipt_id":{"title":"Receipt Id","type":"string"},"sequence":{"title":"Sequence","type":"integer"},"signature":{"title":"Signature","type":"string"},"signature_alg":{"const":"Ed25519","title":"Signature Alg","type":"string"},"signer_key_id":{"title":"Signer Key Id","type":"string"},"state_after":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State After","type":"string"},"state_before":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State Before","type":"string"},"system_event_name":{"enum":["proof_composed","contract_expired","security_violation"],"title":"System Event Name","type":"string"},"work_order_digest":{"title":"Work Order Digest","type":"string"}},"required":["digest","signature_alg","signer_key_id","signature","protocol_version","receipt_id","work_order_digest","actor_type","actor_id","actor_key_id","nested_claim_type","nested_claim_digest","nested_claim","gateway_signer_key_id","event_type","policy_decision","policy_error_code","execution_status","execution_error_code","quota_charge","state_before","state_after","parent_receipt_ids","correlation_factors","evidence_refs","occurred_at","sequence","nonce","previous_receipt_digest","system_event_name","cause","input_digest","error_code"],"title":"SystemEventReceipt","type":"object"},"TerminationDecisionReceipt":{"additionalProperties":false,"properties":{"actor_id":{"title":"Actor Id","type":"string"},"actor_key_id":{"title":"Actor Key Id","type":"string"},"actor_type":{"const":"human","title":"Actor Type","type":"string"},"correlation_factors":{"anyOf":[{"$ref":"#/$defs/CorrelationFactors"},{"type":"null"}]},"decided_at":{"format":"date-time","title":"Decided At","type":"string"},"decision":{"const":"rejected","title":"Decision","type":"string"},"digest":{"title":"Digest","type":"string"},"event_type":{"const":"termination_decision","title":"Event Type","type":"string"},"evidence_refs":{"items":{"$ref":"#/$defs/EvidenceRef"},"title":"Evidence Refs","type":"array"},"execution_error_code":{"anyOf":[{"enum":["HANDLER_ERROR","OUTPUT_LIMIT","TIMEOUT","DISK_LIMIT","WORKSPACE_INTEGRITY_FAILED","EVIDENCE_POLICY_VIOLATION","ROLLBACK_FAILED"],"type":"string"},{"type":"null"}],"title":"Execution Error Code"},"execution_status":{"enum":["succeeded","failed","denied"],"title":"Execution Status","type":"string"},"gateway_signer_key_id":{"title":"Gateway Signer Key Id","type":"string"},"nested_claim":{"$ref":"#/$defs/TerminationHumanDecision"},"nested_claim_digest":{"title":"Nested Claim Digest","type":"string"},"nested_claim_type":{"const":"human-decision","title":"Nested Claim Type","type":"string"},"nonce":{"title":"Nonce","type":"string"},"occurred_at":{"format":"date-time","title":"Occurred At","type":"string"},"parent_receipt_ids":{"items":{"type":"string"},"title":"Parent Receipt Ids","type":"array"},"policy_decision":{"enum":["allow","deny","not_applicable"],"title":"Policy Decision","type":"string"},"policy_error_code":{"anyOf":[{"enum":["STATE_DENIED","ROLE_DENIED","CAPABILITY_DENIED","APPROVAL_DENIED","PREDICATE_DENIED","QUOTA_EXHAUSTED"],"type":"string"},{"type":"null"}],"title":"Policy Error Code"},"previous_receipt_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Previous Receipt Digest"},"protocol_version":{"const":"0.1","title":"Protocol Version","type":"string"},"quota_charge":{"anyOf":[{"$ref":"#/$defs/QuotaCharge"},{"type":"null"}]},"receipt_id":{"title":"Receipt Id","type":"string"},"sequence":{"title":"Sequence","type":"integer"},"signature":{"title":"Signature","type":"string"},"signature_alg":{"const":"Ed25519","title":"Signature Alg","type":"string"},"signer_key_id":{"title":"Signer Key Id","type":"string"},"state_after":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State After","type":"string"},"state_before":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State Before","type":"string"},"target_work_order_digest":{"title":"Target Work Order Digest","type":"string"},"termination_reason":{"const":"MAINTAINER_REJECTED","title":"Termination Reason","type":"string"},"work_order_digest":{"title":"Work Order Digest","type":"string"}},"required":["digest","signature_alg","signer_key_id","signature","protocol_version","receipt_id","work_order_digest","actor_type","actor_id","actor_key_id","nested_claim_type","nested_claim_digest","nested_claim","gateway_signer_key_id","event_type","policy_decision","policy_error_code","execution_status","execution_error_code","quota_charge","state_before","state_after","parent_receipt_ids","correlation_factors","evidence_refs","occurred_at","sequence","nonce","previous_receipt_digest","target_work_order_digest","decision","termination_reason","decided_at"],"title":"TerminationDecisionReceipt","type":"object"},"TerminationHumanDecision":{"additionalProperties":false,"properties":{"actor_id":{"title":"Actor Id","type":"string"},"actor_key_id":{"title":"Actor Key Id","type":"string"},"claim_type":{"const":"human-decision","title":"Claim Type","type":"string"},"decided_at":{"format":"date-time","title":"Decided At","type":"string"},"decision":{"const":"rejected","title":"Decision","type":"string"},"decision_type":{"const":"termination_decision","title":"Decision Type","type":"string"},"digest":{"title":"Digest","type":"string"},"reason":{"const":"MAINTAINER_REJECTED","title":"Reason","type":"string"},"signature":{"title":"Signature","type":"string"},"signature_alg":{"const":"Ed25519","title":"Signature Alg","type":"string"},"signer_key_id":{"title":"Signer Key Id","type":"string"},"target_work_order_digest":{"title":"Target Work Order Digest","type":"string"},"work_order_digest":{"title":"Work Order Digest","type":"string"}},"required":["digest","signature_alg","signer_key_id","signature","claim_type","decision_type","work_order_digest","decision","reason","decided_at","actor_id","actor_key_id","target_work_order_digest"],"title":"TerminationHumanDecision","type":"object"},"TestsPassedPredicateInput":{"additionalProperties":false,"properties":{"actual_exit_code":{"anyOf":[{"type":"integer"},{"type":"null"}],"title":"Actual Exit Code"},"candidate_commit":{"title":"Candidate Commit","type":"string"},"command_digest":{"title":"Command Digest","type":"string"},"container_image_digest":{"title":"Container Image Digest","type":"string"},"expected_exit_code":{"title":"Expected Exit Code","type":"integer"},"fixed_test_source_digest":{"title":"Fixed Test Source Digest","type":"string"},"source_commit":{"title":"Source Commit","type":"string"},"test_evidence_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Test Evidence Digest"},"test_mode":{"const":"verifier","title":"Test Mode","type":"string"},"workspace_manifest_digest":{"title":"Workspace Manifest Digest","type":"string"}},"required":["test_mode","command_digest","expected_exit_code","actual_exit_code","test_evidence_digest","source_commit","candidate_commit","workspace_manifest_digest","container_image_digest","fixed_test_source_digest"],"title":"TestsPassedPredicateInput","type":"object"},"ToolAllowedPredicateInput":{"additionalProperties":false,"properties":{"actual_tool_name":{"enum":["owp.repo_read","owp.apply_patch","owp.run_tests","owp.create_pr_proposal","owp.compose_proof"],"title":"Actual Tool Name","type":"string"}},"required":["actual_tool_name"],"title":"ToolAllowedPredicateInput","type":"object"},"ToolCallReceipt":{"additionalProperties":false,"properties":{"actor_id":{"title":"Actor Id","type":"string"},"actor_key_id":{"title":"Actor Key Id","type":"string"},"actor_type":{"const":"agent","title":"Actor Type","type":"string"},"approval_receipt_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"default":null,"title":"Approval Receipt Digest"},"approval_receipt_id":{"anyOf":[{"type":"string"},{"type":"null"}],"default":null,"title":"Approval Receipt Id"},"arguments_digest":{"title":"Arguments Digest","type":"string"},"correlation_factors":{"anyOf":[{"$ref":"#/$defs/CorrelationFactors"},{"type":"null"}]},"digest":{"title":"Digest","type":"string"},"event_type":{"const":"tool_call","title":"Event Type","type":"string"},"evidence_refs":{"items":{"$ref":"#/$defs/EvidenceRef"},"title":"Evidence Refs","type":"array"},"execution_error_code":{"anyOf":[{"enum":["HANDLER_ERROR","OUTPUT_LIMIT","TIMEOUT","DISK_LIMIT","WORKSPACE_INTEGRITY_FAILED","EVIDENCE_POLICY_VIOLATION","ROLLBACK_FAILED"],"type":"string"},{"type":"null"}],"title":"Execution Error Code"},"execution_status":{"enum":["succeeded","failed","denied"],"title":"Execution Status","type":"string"},"gateway_signer_key_id":{"title":"Gateway Signer Key Id","type":"string"},"grant_id":{"title":"Grant Id","type":"string"},"nested_claim":{"$ref":"#/$defs/AgentRequest"},"nested_claim_digest":{"title":"Nested Claim Digest","type":"string"},"nested_claim_type":{"const":"agent-request","title":"Nested Claim Type","type":"string"},"nonce":{"title":"Nonce","type":"string"},"occurred_at":{"format":"date-time","title":"Occurred At","type":"string"},"output_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Output Digest"},"parent_receipt_ids":{"items":{"type":"string"},"title":"Parent Receipt Ids","type":"array"},"policy_decision":{"enum":["allow","deny","not_applicable"],"title":"Policy Decision","type":"string"},"policy_error_code":{"anyOf":[{"enum":["STATE_DENIED","ROLE_DENIED","CAPABILITY_DENIED","APPROVAL_DENIED","PREDICATE_DENIED","QUOTA_EXHAUSTED"],"type":"string"},{"type":"null"}],"title":"Policy Error Code"},"predicate_results":{"items":{"$ref":"#/$defs/PredicateResult"},"title":"Predicate Results","type":"array"},"previous_receipt_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Previous Receipt Digest"},"protocol_version":{"const":"0.1","title":"Protocol Version","type":"string"},"quota_charge":{"anyOf":[{"$ref":"#/$defs/QuotaCharge"},{"type":"null"}]},"receipt_id":{"title":"Receipt Id","type":"string"},"request_arguments":{"anyOf":[{"$ref":"#/$defs/RepoReadArguments"},{"$ref":"#/$defs/ApplyPatchArguments"},{"$ref":"#/$defs/RunTestsArguments"},{"$ref":"#/$defs/CreatePrProposalArguments"},{"$ref":"#/$defs/ComposeProofArguments"}],"title":"Request Arguments"},"sequence":{"title":"Sequence","type":"integer"},"signature":{"title":"Signature","type":"string"},"signature_alg":{"const":"Ed25519","title":"Signature Alg","type":"string"},"signer_key_id":{"title":"Signer Key Id","type":"string"},"state_after":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State After","type":"string"},"state_before":{"enum":["issued","running","needs_rework","retrying","locally_verified","evidence_incomplete","proof_ready","awaiting_human","accepted","rejected","frozen"],"title":"State Before","type":"string"},"tool_name":{"enum":["owp.repo_read","owp.apply_patch","owp.run_tests","owp.create_pr_proposal","owp.compose_proof"],"title":"Tool Name","type":"string"},"tool_version":{"const":"0.1","title":"Tool Version","type":"string"},"work_order_digest":{"title":"Work Order Digest","type":"string"}},"required":["digest","signature_alg","signer_key_id","signature","protocol_version","receipt_id","work_order_digest","actor_type","actor_id","actor_key_id","nested_claim_type","nested_claim_digest","nested_claim","gateway_signer_key_id","event_type","policy_decision","policy_error_code","execution_status","execution_error_code","quota_charge","state_before","state_after","parent_receipt_ids","correlation_factors","evidence_refs","occurred_at","sequence","nonce","previous_receipt_digest","grant_id","tool_name","tool_version","request_arguments","arguments_digest","output_digest","predicate_results"],"title":"ToolCallReceipt","type":"object"}},"discriminator":{"mapping":{"approval_decision":"#/$defs/ApprovalDecisionReceipt","approval_requested":"#/$defs/ApprovalRequestedReceipt","grant_consumed":"#/$defs/GrantConsumedReceipt","grant_issued":"#/$defs/GrantIssuedReceipt","grant_revoked":"#/$defs/GrantRevokedReceipt","rollback":"#/$defs/RollbackReceipt","system_event":"#/$defs/SystemEventReceipt","termination_decision":"#/$defs/TerminationDecisionReceipt","tool_call":"#/$defs/ToolCallReceipt"},"propertyName":"event_type"},"oneOf":[{"$ref":"#/$defs/GrantIssuedReceipt"},{"$ref":"#/$defs/GrantConsumedReceipt"},{"$ref":"#/$defs/GrantRevokedReceipt"},{"$ref":"#/$defs/ToolCallReceipt"},{"$ref":"#/$defs/SystemEventReceipt"},{"$ref":"#/$defs/ApprovalRequestedReceipt"},{"$ref":"#/$defs/ApprovalDecisionReceipt"},{"$ref":"#/$defs/TerminationDecisionReceipt"},{"$ref":"#/$defs/RollbackReceipt"}]}

openworkproof/schemas/v0.1/capability-grant.schema.json

@@ -0,0 +1 @@
+{"$defs":{"Quota":{"additionalProperties":false,"properties":{"repair_rounds":{"title":"Repair Rounds","type":"integer"},"tool_calls":{"title":"Tool Calls","type":"integer"}},"required":["tool_calls","repair_rounds"],"title":"Quota","type":"object"}},"additionalProperties":false,"properties":{"allowed_read_roots":{"items":{"type":"string"},"title":"Allowed Read Roots","type":"array"},"allowed_tools":{"items":{"type":"string"},"title":"Allowed Tools","type":"array"},"allowed_write_roots":{"items":{"type":"string"},"title":"Allowed Write Roots","type":"array"},"digest":{"title":"Digest","type":"string"},"expires_at":{"format":"date-time","title":"Expires At","type":"string"},"grant_id":{"title":"Grant Id","type":"string"},"issued_at":{"format":"date-time","title":"Issued At","type":"string"},"issuer_key_id":{"title":"Issuer Key Id","type":"string"},"may_delegate":{"title":"May Delegate","type":"boolean"},"parent_grant_id":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Parent Grant Id"},"quota":{"$ref":"#/$defs/Quota"},"signature":{"title":"Signature","type":"string"},"signature_alg":{"const":"Ed25519","title":"Signature Alg","type":"string"},"signer_key_id":{"title":"Signer Key Id","type":"string"},"subject_agent_id":{"title":"Subject Agent Id","type":"string"},"subject_key_id":{"title":"Subject Key Id","type":"string"},"usage_mode":{"enum":["single_use","metered"],"title":"Usage Mode","type":"string"},"valid_from":{"format":"date-time","title":"Valid From","type":"string"},"work_order_digest":{"title":"Work Order Digest","type":"string"}},"required":["digest","signature_alg","signer_key_id","signature","grant_id","work_order_digest","parent_grant_id","issuer_key_id","subject_agent_id","subject_key_id","allowed_tools","allowed_read_roots","allowed_write_roots","usage_mode","quota","valid_from","expires_at","may_delegate","issued_at"],"title":"CapabilityGrant","type":"object"}

openworkproof/schemas/v0.1/schema-registry.json

@@ -0,0 +1 @@
+{"protocol_version":"0.1","schema_version":"openworkproof-schema-registry/0.1","schemas":[{"object_type":"acceptance-receipt","path":"acceptance-receipt.schema.json","sha256":"5436e77e03d64cf131f2273b7527e63aa854f9c3de7b60aeae8751024267ff0e"},{"object_type":"acceptance-rejection-receipt","path":"acceptance-rejection-receipt.schema.json","sha256":"cab320167c5af36afcc06506d13cbaa85c3dd9f6b470c4db12d127726fa86ae8"},{"object_type":"action-receipt","path":"action-receipt.schema.json","sha256":"1aba0e2a9cf3b55478d5def0ef7f89d84976fc22798bb6d709d21afb31cedde8"},{"object_type":"capability-grant","path":"capability-grant.schema.json","sha256":"f7c01f4ed227954f6310fd03ab5cbf52916510971c01c7f22ff9115e358cd17e"},{"object_type":"work-order","path":"work-order.schema.json","sha256":"171b59390c66d586d7ee387d783ca8bc759779a08c36d31c85cf232998568013"}]}

openworkproof/schemas/v0.1/work-order.schema.json

@@ -0,0 +1 @@
+{"$defs":{"ApprovalGate":{"additionalProperties":false,"properties":{"gate_id":{"title":"Gate Id","type":"string"},"max_validity_seconds":{"title":"Max Validity Seconds","type":"integer"},"required_role":{"const":"Maintainer","title":"Required Role","type":"string"},"scope_schema":{"const":"openworkproof/pr-proposal-scope/0.1","title":"Scope Schema","type":"string"},"tool_name":{"const":"owp.create_pr_proposal","title":"Tool Name","type":"string"}},"required":["gate_id","tool_name","required_role","max_validity_seconds","scope_schema"],"title":"ApprovalGate","type":"object"},"Artifact":{"additionalProperties":false,"properties":{"evidence_dimension":{"enum":["none","scope","execution","result","independent_result"],"title":"Evidence Dimension","type":"string"},"max_size_bytes":{"title":"Max Size Bytes","type":"integer"},"media_type":{"enum":["text/x-diff","application/json"],"title":"Media Type","type":"string"},"name":{"title":"Name","type":"string"},"ordinal":{"title":"Ordinal","type":"integer"},"path":{"title":"Path","type":"string"},"purpose":{"enum":["patch_input","patch_result","patch_denial_audit","developer_test_result","verifier_result","verifier_independent_result"],"title":"Purpose","type":"string"}},"required":["name","path","media_type","max_size_bytes","evidence_dimension","purpose","ordinal"],"title":"Artifact","type":"object"},"Command":{"additionalProperties":false,"properties":{"argv":{"items":{"type":"string"},"title":"Argv","type":"array"},"env":{"additionalProperties":true,"title":"Env","type":"object"},"working_directory":{"const":"/workspace","title":"Working Directory","type":"string"}},"required":["argv","working_directory","env"],"title":"Command","type":"object"},"EvidencePolicy":{"additionalProperties":false,"properties":{"artifacts":{"items":{"$ref":"#/$defs/Artifact"},"title":"Artifacts","type":"array"},"evidence_root":{"const":"evidence","title":"Evidence Root","type":"string"},"redaction_policy_id":{"const":"owp-public-evidence-v0.1","title":"Redaction Policy Id","type":"string"}},"required":["evidence_root","redaction_policy_id","artifacts"],"title":"EvidencePolicy","type":"object"},"FixedTestSource":{"additionalProperties":false,"properties":{"media_type":{"const":"text/x-python","title":"Media Type","type":"string"},"path":{"const":"fixed-tests/verifier_test.py","title":"Path","type":"string"},"sha256":{"title":"Sha256","type":"string"},"size_bytes":{"title":"Size Bytes","type":"integer"}},"required":["path","media_type","sha256","size_bytes"],"title":"FixedTestSource","type":"object"},"KeyBinding":{"additionalProperties":false,"properties":{"key_id":{"title":"Key Id","type":"string"},"public_key_b64url":{"title":"Public Key B64Url","type":"string"},"role":{"enum":["Maintainer","Manager","Developer","Verifier","Sidecar","Acceptor"],"title":"Role","type":"string"},"subject_id":{"title":"Subject Id","type":"string"}},"required":["role","subject_id","key_id","public_key_b64url"],"title":"KeyBinding","type":"object"},"PredicateSpec":{"additionalProperties":false,"properties":{"applies_to_tools":{"items":{"type":"string"},"title":"Applies To Tools","type":"array"},"arguments":{"additionalProperties":true,"title":"Arguments","type":"object"},"name":{"enum":["path_allowed","tool_allowed","quota_remaining","tests_passed","artifact_digest_matches","human_signature_present"],"title":"Name","type":"string"},"predicate_id":{"title":"Predicate Id","type":"string"},"version":{"const":"0.1","title":"Version","type":"string"}},"required":["predicate_id","name","version","applies_to_tools","arguments"],"title":"PredicateSpec","type":"object"},"Quota":{"additionalProperties":false,"properties":{"repair_rounds":{"title":"Repair Rounds","type":"integer"},"tool_calls":{"title":"Tool Calls","type":"integer"}},"required":["tool_calls","repair_rounds"],"title":"Quota","type":"object"},"ReplayProfile":{"additionalProperties":false,"properties":{"author_email":{"const":"sidecar@openworkproof.invalid","title":"Author Email","type":"string"},"author_name":{"const":"OpenWorkProof Sidecar","title":"Author Name","type":"string"},"commit_message_prefix":{"const":"OpenWorkProof patch ","title":"Commit Message Prefix","type":"string"},"object_format":{"const":"sha1","title":"Object Format","type":"string"},"patch_profile_id":{"const":"openworkproof/canonical-text-patch/0.1","title":"Patch Profile Id","type":"string"},"schema_version":{"const":"openworkproof-replay-profile/0.1","title":"Schema Version","type":"string"},"source_artifact_sha256":{"title":"Source Artifact Sha256","type":"string"},"timestamp_rule":{"const":"receipt-occurred-at-utc-seconds","title":"Timestamp Rule","type":"string"},"trusted_helper_image_digest":{"title":"Trusted Helper Image Digest","type":"string"},"worktree_profile":{"const":"linux-posix-case-sensitive-v0.1","title":"Worktree Profile","type":"string"}},"required":["schema_version","patch_profile_id","object_format","source_artifact_sha256","trusted_helper_image_digest","author_name","author_email","commit_message_prefix","timestamp_rule","worktree_profile"],"title":"ReplayProfile","type":"object"},"RootGrantTemplate":{"additionalProperties":false,"properties":{"allowed_read_roots":{"items":{"type":"string"},"title":"Allowed Read Roots","type":"array"},"allowed_tools":{"items":{"type":"string"},"title":"Allowed Tools","type":"array"},"allowed_write_roots":{"items":{"type":"string"},"title":"Allowed Write Roots","type":"array"},"expires_at":{"format":"date-time","title":"Expires At","type":"string"},"grant_id":{"title":"Grant Id","type":"string"},"issued_at":{"format":"date-time","title":"Issued At","type":"string"},"issuer_key_id":{"title":"Issuer Key Id","type":"string"},"may_delegate":{"title":"May Delegate","type":"boolean"},"parent_grant_id":{"title":"Parent Grant Id","type":"null"},"quota":{"$ref":"#/$defs/Quota"},"subject_agent_id":{"title":"Subject Agent Id","type":"string"},"subject_key_id":{"title":"Subject Key Id","type":"string"},"usage_mode":{"enum":["single_use","metered"],"title":"Usage Mode","type":"string"},"valid_from":{"format":"date-time","title":"Valid From","type":"string"}},"required":["grant_id","parent_grant_id","issuer_key_id","subject_agent_id","subject_key_id","allowed_tools","allowed_read_roots","allowed_write_roots","usage_mode","quota","valid_from","expires_at","may_delegate","issued_at"],"title":"RootGrantTemplate","type":"object"},"SourceArtifact":{"additionalProperties":false,"properties":{"media_type":{"const":"application/vnd.openworkproof.source+zip","title":"Media Type","type":"string"},"path":{"const":"source/base.owpsrc","title":"Path","type":"string"},"sha256":{"title":"Sha256","type":"string"},"size_bytes":{"title":"Size Bytes","type":"integer"}},"required":["path","media_type","sha256","size_bytes"],"title":"SourceArtifact","type":"object"},"TestProfile":{"additionalProperties":false,"properties":{"command":{"$ref":"#/$defs/Command"},"command_digest":{"title":"Command Digest","type":"string"},"container_image_digest":{"title":"Container Image Digest","type":"string"},"expected_exit_code":{"title":"Expected Exit Code","type":"integer"},"fixed_test_source":{"anyOf":[{"$ref":"#/$defs/FixedTestSource"},{"type":"null"}]},"fixed_test_source_digest":{"anyOf":[{"type":"string"},{"type":"null"}],"title":"Fixed Test Source Digest"},"test_mode":{"enum":["developer","verifier"],"title":"Test Mode","type":"string"}},"required":["test_mode","command","command_digest","expected_exit_code","container_image_digest","fixed_test_source","fixed_test_source_digest"],"title":"TestProfile","type":"object"}},"additionalProperties":false,"properties":{"acceptance_criteria":{"title":"Acceptance Criteria","type":"string"},"acceptor_key_ids":{"items":{"type":"string"},"title":"Acceptor Key Ids","type":"array"},"allowed_read_roots":{"items":{"type":"string"},"title":"Allowed Read Roots","type":"array"},"allowed_tools":{"items":{"type":"string"},"title":"Allowed Tools","type":"array"},"allowed_write_roots":{"items":{"type":"string"},"title":"Allowed Write Roots","type":"array"},"approval_gates":{"items":{"$ref":"#/$defs/ApprovalGate"},"title":"Approval Gates","type":"array"},"branch":{"title":"Branch","type":"string"},"deadline":{"format":"date-time","title":"Deadline","type":"string"},"digest":{"title":"Digest","type":"string"},"evidence_policy":{"$ref":"#/$defs/EvidencePolicy"},"independence_policy":{"enum":["disclose_only","independent_test_source_required"],"title":"Independence Policy","type":"string"},"invariants":{"items":{"$ref":"#/$defs/PredicateSpec"},"title":"Invariants","type":"array"},"issued_at":{"format":"date-time","title":"Issued At","type":"string"},"issuer_id":{"title":"Issuer Id","type":"string"},"key_bindings":{"items":{"$ref":"#/$defs/KeyBinding"},"title":"Key Bindings","type":"array"},"objective":{"title":"Objective","type":"string"},"patch_profile_id":{"const":"openworkproof/canonical-text-patch/0.1","title":"Patch Profile Id","type":"string"},"postconditions":{"items":{"$ref":"#/$defs/PredicateSpec"},"title":"Postconditions","type":"array"},"preconditions":{"items":{"$ref":"#/$defs/PredicateSpec"},"title":"Preconditions","type":"array"},"protocol_version":{"const":"0.1","title":"Protocol Version","type":"string"},"quota_ceiling":{"$ref":"#/$defs/Quota"},"replay_profile":{"$ref":"#/$defs/ReplayProfile"},"replay_profile_digest":{"title":"Replay Profile Digest","type":"string"},"repository":{"title":"Repository","type":"string"},"required_evidence_dimensions":{"items":{"enum":["authority","scope","execution","result","independent_result"],"type":"string"},"title":"Required Evidence Dimensions","type":"array"},"retention_until":{"format":"date-time","title":"Retention Until","type":"string"},"root_grant_template":{"$ref":"#/$defs/RootGrantTemplate"},"signature":{"title":"Signature","type":"string"},"signature_alg":{"const":"Ed25519","title":"Signature Alg","type":"string"},"signer_key_id":{"title":"Signer Key Id","type":"string"},"source_artifact":{"$ref":"#/$defs/SourceArtifact"},"source_commit":{"title":"Source Commit","type":"string"},"test_profiles":{"items":{"$ref":"#/$defs/TestProfile"},"title":"Test Profiles","type":"array"},"work_order_id":{"title":"Work Order Id","type":"string"}},"required":["digest","signature_alg","signer_key_id","signature","work_order_id","protocol_version","issuer_id","acceptor_key_ids","objective","preconditions","invariants","repository","branch","allowed_read_roots","allowed_write_roots","source_commit","source_artifact","patch_profile_id","replay_profile","replay_profile_digest","test_profiles","allowed_tools","quota_ceiling","deadline","retention_until","acceptance_criteria","postconditions","approval_gates","required_evidence_dimensions","independence_policy","evidence_policy","root_grant_template","key_bindings","issued_at"],"title":"WorkOrder","type":"object"}