percolation-inversion-compiler-ts 0.4.4

package/schemas/EvidenceEnvelopeStoreRecord.schema.json

@@ -0,0 +1,100 @@
+{
+  "$defs": {
+    "ContentAddressedEvidenceRef": {
+      "description": "Content-addressed reference to a verifier evidence envelope.",
+      "properties": {
+        "media_type": {
+          "default": "application/json",
+          "title": "Media Type",
+          "type": "string"
+        },
+        "provenance_ref": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Provenance Ref"
+        },
+        "ref": {
+          "title": "Ref",
+          "type": "string"
+        },
+        "schema_uri": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Schema Uri"
+        },
+        "sha256": {
+          "title": "Sha256",
+          "type": "string"
+        }
+      },
+      "required": [
+        "ref",
+        "sha256"
+      ],
+      "title": "ContentAddressedEvidenceRef",
+      "type": "object"
+    }
+  },
+  "description": "Portable description of an evidence-envelope store.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "allowed_ref_prefixes": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Allowed Ref Prefixes",
+      "type": "array"
+    },
+    "content_refs": {
+      "items": {
+        "$ref": "#/$defs/ContentAddressedEvidenceRef"
+      },
+      "title": "Content Refs",
+      "type": "array"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "root_ref": {
+      "title": "Root Ref",
+      "type": "string"
+    },
+    "store_id": {
+      "title": "Store Id",
+      "type": "string"
+    },
+    "store_kind": {
+      "default": "file",
+      "title": "Store Kind",
+      "type": "string"
+    }
+  },
+  "required": [
+    "store_id",
+    "root_ref"
+  ],
+  "title": "EvidenceEnvelopeStoreRecord",
+  "type": "object"
+}

package/schemas/EvidencePolicy.schema.json

@@ -0,0 +1,57 @@
+{
+  "$defs": {
+    "EvidenceVerificationProfile": {
+      "enum": [
+        "development",
+        "research",
+        "production"
+      ],
+      "title": "EvidenceVerificationProfile",
+      "type": "string"
+    }
+  },
+  "description": "Profile-specific evidence hardening policy for verifier envelopes.",
+  "properties": {
+    "allow_verified_attestation_without_content": {
+      "default": false,
+      "title": "Allow Verified Attestation Without Content",
+      "type": "boolean"
+    },
+    "profile": {
+      "$ref": "#/$defs/EvidenceVerificationProfile",
+      "default": "development"
+    },
+    "require_attestation_ref": {
+      "default": false,
+      "title": "Require Attestation Ref",
+      "type": "boolean"
+    },
+    "require_content_ref": {
+      "default": false,
+      "title": "Require Content Ref",
+      "type": "boolean"
+    },
+    "require_deterministic": {
+      "default": true,
+      "title": "Require Deterministic",
+      "type": "boolean"
+    },
+    "require_schema_digest": {
+      "default": true,
+      "title": "Require Schema Digest",
+      "type": "boolean"
+    },
+    "require_signature": {
+      "default": false,
+      "title": "Require Signature",
+      "type": "boolean"
+    },
+    "require_verifier_identity": {
+      "default": true,
+      "title": "Require Verifier Identity",
+      "type": "boolean"
+    }
+  },
+  "title": "EvidencePolicy",
+  "type": "object"
+}

package/schemas/EvidenceResolutionBatch.schema.json

@@ -0,0 +1,347 @@
+{
+  "$defs": {
+    "ClaimStatus": {
+      "description": "Protocol-relative status labels used by ECPT, BIT, TRC, SQOT, and ALT.",
+      "enum": [
+        "rejected",
+        "expired",
+        "diagnostic",
+        "relaxed",
+        "risk-provisional",
+        "speculative",
+        "provisional",
+        "partial",
+        "settled"
+      ],
+      "title": "ClaimStatus",
+      "type": "string"
+    },
+    "CoordinateKind": {
+      "enum": [
+        "benefit",
+        "burden",
+        "residual",
+        "tolerance",
+        "resource",
+        "metadata"
+      ],
+      "title": "CoordinateKind",
+      "type": "string"
+    },
+    "DischargeLevel": {
+      "enum": [
+        "finite_value_check",
+        "replay_check",
+        "contract_enforced",
+        "external_domain_required"
+      ],
+      "title": "DischargeLevel",
+      "type": "string"
+    },
+    "EvidenceStatus": {
+      "enum": [
+        "verified",
+        "declared",
+        "unknown"
+      ],
+      "title": "EvidenceStatus",
+      "type": "string"
+    },
+    "EvidenceVerificationProfile": {
+      "enum": [
+        "development",
+        "research",
+        "production"
+      ],
+      "title": "EvidenceVerificationProfile",
+      "type": "string"
+    },
+    "Ledger": {
+      "description": "A finite typed ledger with explicit coordinate kinds.",
+      "properties": {
+        "coordinates": {
+          "additionalProperties": {
+            "$ref": "#/$defs/LedgerCoordinate"
+          },
+          "title": "Coordinates",
+          "type": "object"
+        }
+      },
+      "title": "Ledger",
+      "type": "object"
+    },
+    "LedgerCoordinate": {
+      "description": "One typed coordinate in a finite certificate ledger.",
+      "properties": {
+        "description": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Description"
+        },
+        "evidence_refs": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Evidence Refs",
+          "type": "array"
+        },
+        "evidence_status": {
+          "$ref": "#/$defs/EvidenceStatus",
+          "default": "declared"
+        },
+        "kind": {
+          "$ref": "#/$defs/CoordinateKind",
+          "default": "burden"
+        },
+        "known": {
+          "default": true,
+          "title": "Known",
+          "type": "boolean"
+        },
+        "name": {
+          "title": "Name",
+          "type": "string"
+        },
+        "unit": {
+          "default": "dimensionless",
+          "title": "Unit",
+          "type": "string"
+        },
+        "value": {
+          "title": "Value",
+          "type": "number"
+        }
+      },
+      "required": [
+        "name",
+        "value"
+      ],
+      "title": "LedgerCoordinate",
+      "type": "object"
+    },
+    "VerifierResolution": {
+      "description": "Adapter-route resolution result that preserves safe failure behavior.",
+      "properties": {
+        "accepted": {
+          "title": "Accepted",
+          "type": "boolean"
+        },
+        "accepted_obligation_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Accepted Obligation Ids",
+          "type": "array"
+        },
+        "availability": {
+          "title": "Availability",
+          "type": "string"
+        },
+        "binding_id": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Binding Id"
+        },
+        "discharge_level": {
+          "$ref": "#/$defs/DischargeLevel",
+          "default": "external_domain_required"
+        },
+        "domain_witness_required": {
+          "default": false,
+          "title": "Domain Witness Required",
+          "type": "boolean"
+        },
+        "evidence_artifact_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Evidence Artifact Ids",
+          "type": "array"
+        },
+        "evidence_envelope_id": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null,
+          "title": "Evidence Envelope Id"
+        },
+        "finite_scope_usable": {
+          "default": false,
+          "title": "Finite Scope Usable",
+          "type": "boolean"
+        },
+        "missing_evidence_kind": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Missing Evidence Kind",
+          "type": "array"
+        },
+        "operationally_usable": {
+          "default": false,
+          "title": "Operationally Usable",
+          "type": "boolean"
+        },
+        "profile": {
+          "$ref": "#/$defs/EvidenceVerificationProfile",
+          "default": "development"
+        },
+        "reasons": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Reasons",
+          "type": "array"
+        },
+        "rejected_obligation_ids": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Rejected Obligation Ids",
+          "type": "array"
+        },
+        "residual_external_obligations": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Residual External Obligations",
+          "type": "array"
+        },
+        "residual_ledger": {
+          "$ref": "#/$defs/Ledger"
+        },
+        "resolution_digest": {
+          "title": "Resolution Digest",
+          "type": "string"
+        },
+        "resolution_id": {
+          "title": "Resolution Id",
+          "type": "string"
+        },
+        "route_id": {
+          "title": "Route Id",
+          "type": "string"
+        },
+        "safe_default": {
+          "default": "diagnostic-with-unresolved-obligations",
+          "title": "Safe Default",
+          "type": "string"
+        },
+        "settled": {
+          "default": false,
+          "title": "Settled",
+          "type": "boolean"
+        },
+        "settled_scope": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Settled Scope",
+          "type": "array"
+        },
+        "status": {
+          "$ref": "#/$defs/ClaimStatus"
+        }
+      },
+      "required": [
+        "resolution_id",
+        "route_id",
+        "accepted",
+        "status",
+        "availability",
+        "resolution_digest"
+      ],
+      "title": "VerifierResolution",
+      "type": "object"
+    }
+  },
+  "description": "Batch verifier evidence resolution for one runtime step.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "accepted_obligations": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Accepted Obligations",
+      "type": "array"
+    },
+    "batch_id": {
+      "title": "Batch Id",
+      "type": "string"
+    },
+    "envelope_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Envelope Refs",
+      "type": "array"
+    },
+    "finite_checks_passed": {
+      "default": false,
+      "title": "Finite Checks Passed",
+      "type": "boolean"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "rejected_obligations": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Rejected Obligations",
+      "type": "array"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "resolutions": {
+      "items": {
+        "$ref": "#/$defs/VerifierResolution"
+      },
+      "title": "Resolutions",
+      "type": "array"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "unresolved_envelope_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Unresolved Envelope Refs",
+      "type": "array"
+    }
+  },
+  "required": [
+    "batch_id"
+  ],
+  "title": "EvidenceResolutionBatch",
+  "type": "object"
+}

package/schemas/EvidenceVerificationProfile.schema.json

@@ -0,0 +1,74 @@
+{
+  "$defs": {
+    "EvidencePolicy": {
+      "description": "Profile-specific evidence hardening policy for verifier envelopes.",
+      "properties": {
+        "allow_verified_attestation_without_content": {
+          "default": false,
+          "title": "Allow Verified Attestation Without Content",
+          "type": "boolean"
+        },
+        "profile": {
+          "$ref": "#/$defs/EvidenceVerificationProfile",
+          "default": "development"
+        },
+        "require_attestation_ref": {
+          "default": false,
+          "title": "Require Attestation Ref",
+          "type": "boolean"
+        },
+        "require_content_ref": {
+          "default": false,
+          "title": "Require Content Ref",
+          "type": "boolean"
+        },
+        "require_deterministic": {
+          "default": true,
+          "title": "Require Deterministic",
+          "type": "boolean"
+        },
+        "require_schema_digest": {
+          "default": true,
+          "title": "Require Schema Digest",
+          "type": "boolean"
+        },
+        "require_signature": {
+          "default": false,
+          "title": "Require Signature",
+          "type": "boolean"
+        },
+        "require_verifier_identity": {
+          "default": true,
+          "title": "Require Verifier Identity",
+          "type": "boolean"
+        }
+      },
+      "title": "EvidencePolicy",
+      "type": "object"
+    },
+    "EvidenceVerificationProfile": {
+      "enum": [
+        "development",
+        "research",
+        "production"
+      ],
+      "title": "EvidenceVerificationProfile",
+      "type": "string"
+    }
+  },
+  "description": "Portable profile record for JSON Schema consumers.",
+  "properties": {
+    "policy": {
+      "$ref": "#/$defs/EvidencePolicy"
+    },
+    "profile": {
+      "$ref": "#/$defs/EvidenceVerificationProfile"
+    }
+  },
+  "required": [
+    "profile",
+    "policy"
+  ],
+  "title": "EvidenceVerificationProfileRecord",
+  "type": "object"
+}