percolation-inversion-compiler-ts 0.4.4

package/schemas/AgentWorkflowGuide.schema.json

@@ -0,0 +1,128 @@
+{
+  "$defs": {
+    "AgentWorkflowStep": {
+      "description": "One safe full-feature workflow step for autonomous agents.",
+      "properties": {
+        "inspect_fields": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Inspect Fields",
+          "type": "array"
+        },
+        "purpose": {
+          "title": "Purpose",
+          "type": "string"
+        },
+        "safe_commands": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Safe Commands",
+          "type": "array"
+        },
+        "safety_notes": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Safety Notes",
+          "type": "array"
+        },
+        "schemas": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Schemas",
+          "type": "array"
+        },
+        "sdk_entrypoints": {
+          "items": {
+            "type": "string"
+          },
+          "title": "Sdk Entrypoints",
+          "type": "array"
+        },
+        "step_id": {
+          "title": "Step Id",
+          "type": "string"
+        },
+        "title": {
+          "title": "Title",
+          "type": "string"
+        }
+      },
+      "required": [
+        "step_id",
+        "title",
+        "purpose"
+      ],
+      "title": "AgentWorkflowStep",
+      "type": "object"
+    }
+  },
+  "description": "Deterministic full-feature workflow guide for AI agents.",
+  "properties": {
+    "accepted": {
+      "default": true,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "guide_id": {
+      "default": "agent-workflow-guide",
+      "title": "Guide Id",
+      "type": "string"
+    },
+    "operationally_usable": {
+      "default": true,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "pip_agent_full_commands": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Pip Agent Full Commands",
+      "type": "array"
+    },
+    "pip_core_commands": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Pip Core Commands",
+      "type": "array"
+    },
+    "profile": {
+      "default": "development",
+      "title": "Profile",
+      "type": "string"
+    },
+    "safety_invariants": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Safety Invariants",
+      "type": "array"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "source_checkout_commands": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Source Checkout Commands",
+      "type": "array"
+    },
+    "steps": {
+      "items": {
+        "$ref": "#/$defs/AgentWorkflowStep"
+      },
+      "title": "Steps",
+      "type": "array"
+    }
+  },
+  "title": "AgentWorkflowGuide",
+  "type": "object"
+}

package/schemas/AgentWorkflowStep.schema.json

@@ -0,0 +1,59 @@
+{
+  "description": "One safe full-feature workflow step for autonomous agents.",
+  "properties": {
+    "inspect_fields": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Inspect Fields",
+      "type": "array"
+    },
+    "purpose": {
+      "title": "Purpose",
+      "type": "string"
+    },
+    "safe_commands": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Safe Commands",
+      "type": "array"
+    },
+    "safety_notes": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Safety Notes",
+      "type": "array"
+    },
+    "schemas": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Schemas",
+      "type": "array"
+    },
+    "sdk_entrypoints": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Sdk Entrypoints",
+      "type": "array"
+    },
+    "step_id": {
+      "title": "Step Id",
+      "type": "string"
+    },
+    "title": {
+      "title": "Title",
+      "type": "string"
+    }
+  },
+  "required": [
+    "step_id",
+    "title",
+    "purpose"
+  ],
+  "title": "AgentWorkflowStep",
+  "type": "object"
+}

package/schemas/AlgebraLawCertificate.schema.json

@@ -0,0 +1,101 @@
+{
+  "$defs": {
+    "DomainTypedSemiring": {
+      "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"
+    },
+    "ReconstructionResidual": {
+      "description": "Residual charged when an algebraic summary is decoded to a source ledger.",
+      "properties": {
+        "coordinate": {
+          "title": "Coordinate",
+          "type": "string"
+        },
+        "unit": {
+          "default": "dimensionless",
+          "title": "Unit",
+          "type": "string"
+        },
+        "value": {
+          "title": "Value",
+          "type": "number"
+        }
+      },
+      "required": [
+        "coordinate",
+        "value"
+      ],
+      "title": "ReconstructionResidual",
+      "type": "object"
+    }
+  },
+  "description": "Finite semiring-law checker with reconstruction residual accounting.",
+  "properties": {
+    "reconstruction_residuals": {
+      "items": {
+        "$ref": "#/$defs/ReconstructionResidual"
+      },
+      "title": "Reconstruction Residuals",
+      "type": "array"
+    },
+    "semiring": {
+      "$ref": "#/$defs/DomainTypedSemiring"
+    }
+  },
+  "required": [
+    "semiring"
+  ],
+  "title": "AlgebraLawCertificate",
+  "type": "object"
+}

package/schemas/AttestationRecord.schema.json

@@ -0,0 +1,63 @@
+{
+  "description": "GitHub/Sigstore-style artifact attestation metadata.\n\nThe core package verifies local SHA-256 subject consistency. Full signature\nand transparency-log validation stays behind the release workflow and\noptional external tooling.",
+  "properties": {
+    "attestation_id": {
+      "title": "Attestation Id",
+      "type": "string"
+    },
+    "bundle_ref": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Bundle Ref"
+    },
+    "issuer": {
+      "title": "Issuer",
+      "type": "string"
+    },
+    "predicate_type": {
+      "title": "Predicate Type",
+      "type": "string"
+    },
+    "subject_name": {
+      "title": "Subject Name",
+      "type": "string"
+    },
+    "subject_sha256": {
+      "title": "Subject Sha256",
+      "type": "string"
+    },
+    "verified": {
+      "default": false,
+      "title": "Verified",
+      "type": "boolean"
+    },
+    "verified_at": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "default": null,
+      "title": "Verified At"
+    }
+  },
+  "required": [
+    "attestation_id",
+    "subject_name",
+    "subject_sha256",
+    "issuer",
+    "predicate_type"
+  ],
+  "title": "AttestationRecord",
+  "type": "object"
+}

package/schemas/AutocatalyticClosureWitness.schema.json

@@ -0,0 +1,187 @@
+{
+  "$defs": {
+    "CoordinateKind": {
+      "enum": [
+        "benefit",
+        "burden",
+        "residual",
+        "tolerance",
+        "resource",
+        "metadata"
+      ],
+      "title": "CoordinateKind",
+      "type": "string"
+    },
+    "EvidenceStatus": {
+      "enum": [
+        "verified",
+        "declared",
+        "unknown"
+      ],
+      "title": "EvidenceStatus",
+      "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"
+    }
+  },
+  "description": "Accepted finite closure witness for ECPT collective packet regeneration.",
+  "properties": {
+    "accepted": {
+      "default": false,
+      "title": "Accepted",
+      "type": "boolean"
+    },
+    "closure_packet_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Closure Packet Ids",
+      "type": "array"
+    },
+    "closure_strength": {
+      "default": 0.0,
+      "title": "Closure Strength",
+      "type": "number"
+    },
+    "external_seed_packet_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "External Seed Packet Ids",
+      "type": "array"
+    },
+    "false_liquidity_rate": {
+      "default": 0.0,
+      "title": "False Liquidity Rate",
+      "type": "number"
+    },
+    "finite_checks_passed": {
+      "default": false,
+      "title": "Finite Checks Passed",
+      "type": "boolean"
+    },
+    "internal_edge_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Internal Edge Ids",
+      "type": "array"
+    },
+    "operationally_usable": {
+      "default": false,
+      "title": "Operationally Usable",
+      "type": "boolean"
+    },
+    "productive_packet_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Productive Packet Ids",
+      "type": "array"
+    },
+    "productivity_lower_bound": {
+      "default": 0.0,
+      "title": "Productivity Lower Bound",
+      "type": "number"
+    },
+    "reasons": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Reasons",
+      "type": "array"
+    },
+    "regeneration_edge_ids": {
+      "items": {
+        "type": "string"
+      },
+      "title": "Regeneration Edge Ids",
+      "type": "array"
+    },
+    "residual_ledger": {
+      "$ref": "#/$defs/Ledger"
+    },
+    "settled": {
+      "default": false,
+      "title": "Settled",
+      "type": "boolean"
+    },
+    "witness_id": {
+      "title": "Witness Id",
+      "type": "string"
+    }
+  },
+  "required": [
+    "witness_id"
+  ],
+  "title": "AutocatalyticClosureWitness",
+  "type": "object"
+}