percolation-inversion-compiler-ts 0.4.4

package/schemas/CommercialReadinessSummary.schema.json

@@ -0,0 +1,134 @@
+{
+  "description": "Practical onboarding readiness summary for commercial and OSS users.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "bounded_intake_default": {
+      "default": true,
+      "title": "Bounded Intake Default",
+      "type": "boolean"
+    },
+    "checks": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Checks",
+      "type": "object"
+    },
+    "connector_dependency_ready": {
+      "default": false,
+      "title": "Connector Dependency Ready",
+      "type": "boolean"
+    },
+    "curated_demo_available": {
+      "default": false,
+      "title": "Curated Demo Available",
+      "type": "boolean"
+    },
+    "identity_ready": {
+      "default": false,
+      "title": "Identity Ready",
+      "type": "boolean"
+    },
+    "install_mode": {
+      "default": "unknown",
+      "title": "Install Mode",
+      "type": "string"
+    },
+    "live_connector_opt_out_available": {
+      "default": true,
+      "title": "Live Connector Opt Out Available",
+      "type": "boolean"
+    },
+    "live_connectors_default_enabled": {
+      "title": "Live Connectors Default Enabled",
+      "type": "boolean"
+    },
+    "live_connectors_default_off": {
+      "default": false,
+      "title": "Live Connectors Default Off",
+      "type": "boolean"
+    },
+    "live_default_mode": {
+      "title": "Live Default Mode",
+      "type": "string"
+    },
+    "onboarding_status": {
+      "default": "diagnostic",
+      "title": "Onboarding Status",
+      "type": "string"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "package_version": {
+      "default": "",
+      "title": "Package Version",
+      "type": "string"
+    },
+    "production_identity_required": {
+      "default": false,
+      "title": "Production Identity Required",
+      "type": "boolean"
+    },
+    "provenance_verified": {
+      "default": false,
+      "title": "Provenance Verified",
+      "type": "boolean"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "schema_count": {
+      "default": 0,
+      "title": "Schema Count",
+      "type": "integer"
+    },
+    "schema_registry_ready": {
+      "default": false,
+      "title": "Schema Registry Ready",
+      "type": "boolean"
+    },
+    "security_metadata_present": {
+      "default": false,
+      "title": "Security Metadata Present",
+      "type": "boolean"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "snapshot_bundle_ready": {
+      "default": false,
+      "title": "Snapshot Bundle Ready",
+      "type": "boolean"
+    },
+    "snapshot_count": {
+      "default": 0,
+      "title": "Snapshot Count",
+      "type": "integer"
+    },
+    "summary_id": {
+      "default": "pic-commercial-readiness",
+      "title": "Summary Id",
+      "type": "string"
+    },
+    "token_ready": {
+      "default": false,
+      "title": "Token Ready",
+      "type": "boolean"
+    }
+  },
+  "title": "CommercialReadinessSummary",
+  "type": "object"
+}

package/schemas/ConfidenceLedger.schema.json

@@ -0,0 +1,26 @@
+{
+  "description": "Finite confidence ledger for a statistical certificate.",
+  "properties": {
+    "alpha": {
+      "title": "Alpha",
+      "type": "number"
+    },
+    "residual_coordinates": {
+      "additionalProperties": {
+        "type": "number"
+      },
+      "title": "Residual Coordinates",
+      "type": "object"
+    },
+    "sample_size": {
+      "title": "Sample Size",
+      "type": "integer"
+    }
+  },
+  "required": [
+    "alpha",
+    "sample_size"
+  ],
+  "title": "ConfidenceLedger",
+  "type": "object"
+}

package/schemas/ContentAddressedEvidenceRef.schema.json

@@ -0,0 +1,48 @@
+{
+  "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"
+}

package/schemas/ControlledTransition.schema.json

@@ -0,0 +1,90 @@
+{
+  "$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"
+    },
+    "PostconditionObligation": {
+      "properties": {
+        "action_id": {
+          "title": "Action Id",
+          "type": "string"
+        },
+        "required_postconditions": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Required Postconditions",
+          "type": "array",
+          "uniqueItems": true
+        },
+        "satisfied_postconditions": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Satisfied Postconditions",
+          "type": "array",
+          "uniqueItems": true
+        }
+      },
+      "required": [
+        "action_id"
+      ],
+      "title": "PostconditionObligation",
+      "type": "object"
+    }
+  },
+  "properties": {
+    "action_id": {
+      "title": "Action Id",
+      "type": "string"
+    },
+    "postcondition_obligation": {
+      "anyOf": [
+        {
+          "$ref": "#/$defs/PostconditionObligation"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null
+    },
+    "preconditions_met": {
+      "default": false,
+      "title": "Preconditions Met",
+      "type": "boolean"
+    },
+    "residual": {
+      "default": 0.0,
+      "title": "Residual",
+      "type": "number"
+    },
+    "status": {
+      "$ref": "#/$defs/ClaimStatus",
+      "default": "provisional"
+    },
+    "transition_id": {
+      "title": "Transition Id",
+      "type": "string"
+    }
+  },
+  "required": [
+    "transition_id",
+    "action_id"
+  ],
+  "title": "ControlledTransition",
+  "type": "object"
+}

package/schemas/CryptographicAgentIdentity.schema.json

@@ -0,0 +1,192 @@
+{
+  "$defs": {
+    "AgentIdentityStrength": {
+      "description": "Protocol-relative strength of an agent identity assertion.",
+      "enum": [
+        "declared",
+        "public-key-attested",
+        "hardware-attested",
+        "institutionally-attested",
+        "revoked"
+      ],
+      "title": "AgentIdentityStrength",
+      "type": "string"
+    }
+  },
+  "description": "Public-key-backed identity for an agent inside a declared protocol.",
+  "properties": {
+    "agent_id": {
+      "title": "Agent Id",
+      "type": "string"
+    },
+    "credential_ref": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Credential Ref"
+    },
+    "expires_at": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Expires At"
+    },
+    "fleet_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Fleet Id"
+    },
+    "identity_strength": {
+      "$ref": "#/$defs/AgentIdentityStrength",
+      "default": "public-key-attested"
+    },
+    "issued_at": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Issued At"
+    },
+    "issuer_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Issuer Id"
+    },
+    "key_type": {
+      "default": "ed25519-public",
+      "title": "Key Type",
+      "type": "string"
+    },
+    "metadata": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Metadata",
+      "type": "object"
+    },
+    "model_digest": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Model Digest"
+    },
+    "policy_digest": {
+      "title": "Policy Digest",
+      "type": "string"
+    },
+    "public_key_b64": {
+      "title": "Public Key B64",
+      "type": "string"
+    },
+    "public_key_fingerprint": {
+      "title": "Public Key Fingerprint",
+      "type": "string"
+    },
+    "public_key_id": {
+      "title": "Public Key Id",
+      "type": "string"
+    },
+    "revoked": {
+      "default": false,
+      "title": "Revoked",
+      "type": "boolean"
+    },
+    "role_id": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Role Id"
+    },
+    "signature_b64": {
+      "title": "Signature B64",
+      "type": "string"
+    },
+    "signature_payload_sha256": {
+      "title": "Signature Payload Sha256",
+      "type": "string"
+    },
+    "signature_suite": {
+      "default": "ed25519",
+      "title": "Signature Suite",
+      "type": "string"
+    },
+    "tool_digest": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Tool Digest"
+    },
+    "worker_index": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Worker Index"
+    }
+  },
+  "required": [
+    "agent_id",
+    "public_key_id",
+    "public_key_b64",
+    "public_key_fingerprint",
+    "signature_b64",
+    "signature_payload_sha256",
+    "policy_digest"
+  ],
+  "title": "CryptographicAgentIdentity",
+  "type": "object"
+}

package/schemas/DKWCertificate.schema.json

@@ -0,0 +1,31 @@
+{
+  "description": "Finite DKW calibration certificate.",
+  "properties": {
+    "alpha": {
+      "title": "Alpha",
+      "type": "number"
+    },
+    "observed_radius": {
+      "anyOf": [
+        {
+          "type": "number"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Observed Radius"
+    },
+    "sample_size": {
+      "title": "Sample Size",
+      "type": "integer"
+    }
+  },
+  "required": [
+    "sample_size",
+    "alpha"
+  ],
+  "title": "DKWCertificate",
+  "type": "object"
+}

package/schemas/DiagnosticReservePolicy.schema.json

@@ -0,0 +1,22 @@
+{
+  "description": "Reserve rule for diagnostic work and audit recursion.",
+  "properties": {
+    "audit_depth": {
+      "default": 1,
+      "title": "Audit Depth",
+      "type": "integer"
+    },
+    "minimum_reserve": {
+      "default": 0.0,
+      "title": "Minimum Reserve",
+      "type": "number"
+    },
+    "reserve_fraction": {
+      "default": 0.1,
+      "title": "Reserve Fraction",
+      "type": "number"
+    }
+  },
+  "title": "DiagnosticReservePolicy",
+  "type": "object"
+}

package/schemas/DischargeRouteBinding.schema.json

@@ -0,0 +1,93 @@
+{
+  "$defs": {
+    "DischargeLevel": {
+      "enum": [
+        "finite_value_check",
+        "replay_check",
+        "contract_enforced",
+        "external_domain_required"
+      ],
+      "title": "DischargeLevel",
+      "type": "string"
+    }
+  },
+  "description": "Reviewed binding from a canonical external route to an implementation route.",
+  "properties": {
+    "binding_id": {
+      "title": "Binding Id",
+      "type": "string"
+    },
+    "canonical_route_id": {
+      "title": "Canonical Route Id",
+      "type": "string"
+    },
+    "canonical_verifier_route": {
+      "title": "Canonical Verifier Route",
+      "type": "string"
+    },
+    "discharge_level": {
+      "$ref": "#/$defs/DischargeLevel"
+    },
+    "evidence_kind_map": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Evidence Kind Map",
+      "type": "object"
+    },
+    "implemented_route_id": {
+      "title": "Implemented Route Id",
+      "type": "string"
+    },
+    "implemented_verifier_route": {
+      "title": "Implemented Verifier Route",
+      "type": "string"
+    },
+    "obligation_category": {
+      "title": "Obligation Category",
+      "type": "string"
+    },
+    "residual_external_obligation_refs": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Residual External Obligation Refs",
+      "type": "array"
+    },
+    "residual_policy": {
+      "title": "Residual Policy",
+      "type": "string"
+    },
+    "safe_default": {
+      "title": "Safe Default",
+      "type": "string"
+    },
+    "settlement_scope": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Settlement Scope",
+      "type": "array"
+    },
+    "unresolved_domain_obligations": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Unresolved Domain Obligations",
+      "type": "array"
+    }
+  },
+  "required": [
+    "binding_id",
+    "canonical_route_id",
+    "implemented_route_id",
+    "canonical_verifier_route",
+    "implemented_verifier_route",
+    "obligation_category",
+    "discharge_level",
+    "residual_policy",
+    "safe_default"
+  ],
+  "title": "DischargeRouteBinding",
+  "type": "object"
+}

package/schemas/DomainTypedSemiring.schema.json

@@ -0,0 +1,55 @@
+{
+  "description": "Finite semiring table with domain and coordinate metadata.",
+  "properties": {
+    "coordinate_units": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Coordinate Units",
+      "type": "object"
+    },
+    "domain_id": {
+      "title": "Domain Id",
+      "type": "string"
+    },
+    "elements": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Elements",
+      "type": "array"
+    },
+    "one": {
+      "title": "One",
+      "type": "string"
+    },
+    "plus_table": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Plus Table",
+      "type": "object"
+    },
+    "times_table": {
+      "additionalProperties": {
+        "type": "string"
+      },
+      "title": "Times Table",
+      "type": "object"
+    },
+    "zero": {
+      "title": "Zero",
+      "type": "string"
+    }
+  },
+  "required": [
+    "domain_id",
+    "elements",
+    "zero",
+    "one",
+    "plus_table",
+    "times_table"
+  ],
+  "title": "DomainTypedSemiring",
+  "type": "object"
+}