perttool 0.5.5 → 0.7.0

package/schemas/Perttool.Common.v1.schema.json

@@ -1689,6 +1689,301 @@
         }
       ]
     },
+    "planAssuranceCause": {
+      "type": "object",
+      "required": [
+        "kind",
+        "direct",
+        "root_task_id",
+        "affected_task_id",
+        "path_task_ids"
+      ],
+      "properties": {
+        "kind": {
+          "enum": [
+            "unknown_model",
+            "task_contract_changed",
+            "planning_relation_changed",
+            "predecessor_commitment_changed",
+            "predecessor_unavailable",
+            "frontier_commitment_changed",
+            "accepted_seal_inconsistent",
+            "outcome_missing",
+            "outcome_basis_mismatch",
+            "outcome_invalid",
+            "changed_outcome"
+          ]
+        },
+        "direct": { "type": "boolean" },
+        "root_task_id": { "type": "string" },
+        "affected_task_id": { "type": "string" },
+        "path_task_ids": { "$ref": "#/$defs/stringArray" }
+      },
+      "additionalProperties": false
+    },
+    "acceptedPlanningInput": {
+      "type": "object",
+      "required": [
+        "predecessor_task_id",
+        "relation_mode",
+        "assurance_hash"
+      ],
+      "properties": {
+        "predecessor_task_id": { "type": "string" },
+        "relation_mode": {
+          "enum": ["both", "planning_only"]
+        },
+        "assurance_hash": { "$ref": "#/$defs/digest" }
+      },
+      "additionalProperties": false
+    },
+    "planAssuranceTaskResult": {
+      "type": "object",
+      "required": [
+        "task_id",
+        "status",
+        "outcome_status",
+        "contract_hash",
+        "computed_basis_hash",
+        "accepted_basis_hash",
+        "computed_inputs",
+        "exported_assurance_hash",
+        "direct_causes",
+        "inherited_causes"
+      ],
+      "properties": {
+        "task_id": { "type": "string" },
+        "status": {
+          "enum": [
+            "not_applicable",
+            "unsealed",
+            "conditional",
+            "verified",
+            "review_required",
+            "unavailable"
+          ]
+        },
+        "outcome_status": {
+          "enum": ["unfinished", "conformant", "changed", "unavailable"]
+        },
+        "contract_hash": { "$ref": "#/$defs/nullableDigest" },
+        "computed_basis_hash": { "$ref": "#/$defs/nullableDigest" },
+        "accepted_basis_hash": { "$ref": "#/$defs/nullableDigest" },
+        "computed_inputs": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/acceptedPlanningInput" }
+        },
+        "exported_assurance_hash": { "$ref": "#/$defs/nullableDigest" },
+        "direct_causes": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/planAssuranceCause" }
+        },
+        "inherited_causes": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/planAssuranceCause" }
+        }
+      },
+      "additionalProperties": false
+    },
+    "planAssuranceRequiredAction": {
+      "type": "object",
+      "required": ["kind", "root_task_ids", "affected_task_ids"],
+      "properties": {
+        "kind": {
+          "enum": [
+            "initial_seal",
+            "replan_and_reseal",
+            "restore_assurance_evidence"
+          ]
+        },
+        "root_task_ids": { "$ref": "#/$defs/stringArray" },
+        "affected_task_ids": { "$ref": "#/$defs/stringArray" }
+      },
+      "additionalProperties": false
+    },
+    "planAssuranceProjection": {
+      "type": "object",
+      "required": [
+        "model_version",
+        "hash_model_version",
+        "coverage",
+        "task_results",
+        "direct_mismatch_task_ids",
+        "inherited_mismatch_task_ids",
+        "replan_required_task_ids",
+        "active_attention_required_task_ids",
+        "required_actions"
+      ],
+      "properties": {
+        "model_version": { "type": ["integer", "null"] },
+        "hash_model_version": { "type": ["integer", "null"] },
+        "coverage": {
+          "enum": ["not_enabled", "unsealed", "partial", "complete"]
+        },
+        "task_results": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/planAssuranceTaskResult" }
+        },
+        "direct_mismatch_task_ids": { "$ref": "#/$defs/stringArray" },
+        "inherited_mismatch_task_ids": { "$ref": "#/$defs/stringArray" },
+        "replan_required_task_ids": { "$ref": "#/$defs/stringArray" },
+        "active_attention_required_task_ids": { "$ref": "#/$defs/stringArray" },
+        "required_actions": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/planAssuranceRequiredAction" }
+        }
+      },
+      "additionalProperties": false
+    },
+    "nullablePlanAssuranceProjection": {
+      "oneOf": [
+        { "$ref": "#/$defs/planAssuranceProjection" },
+        { "type": "null" }
+      ]
+    },
+    "planAssuranceStateCounts": {
+      "type": "object",
+      "required": ["task", "outcome"],
+      "properties": {
+        "task": {
+          "type": "object",
+          "required": [
+            "not_applicable",
+            "unsealed",
+            "conditional",
+            "verified",
+            "review_required",
+            "unavailable"
+          ],
+          "properties": {
+            "not_applicable": { "type": "integer", "minimum": 0 },
+            "unsealed": { "type": "integer", "minimum": 0 },
+            "conditional": { "type": "integer", "minimum": 0 },
+            "verified": { "type": "integer", "minimum": 0 },
+            "review_required": { "type": "integer", "minimum": 0 },
+            "unavailable": { "type": "integer", "minimum": 0 }
+          },
+          "additionalProperties": false
+        },
+        "outcome": {
+          "type": "object",
+          "required": ["unfinished", "conformant", "changed", "unavailable"],
+          "properties": {
+            "unfinished": { "type": "integer", "minimum": 0 },
+            "conformant": { "type": "integer", "minimum": 0 },
+            "changed": { "type": "integer", "minimum": 0 },
+            "unavailable": { "type": "integer", "minimum": 0 }
+          },
+          "additionalProperties": false
+        }
+      },
+      "additionalProperties": false
+    },
+    "planAssuranceEvaluation": {
+      "type": "object",
+      "required": [
+        "ok",
+        "model_version",
+        "hash_model_version",
+        "coverage",
+        "effective_dependencies",
+        "task_results",
+        "direct_mismatch_task_ids",
+        "inherited_mismatch_task_ids",
+        "replan_required_task_ids",
+        "unavailable_task_ids",
+        "diagnostics"
+      ],
+      "properties": {
+        "ok": { "type": "boolean" },
+        "model_version": { "type": ["integer", "null"] },
+        "hash_model_version": { "type": ["integer", "null"] },
+        "coverage": {
+          "enum": ["not_enabled", "unsealed", "partial", "complete", null]
+        },
+        "effective_dependencies": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": [
+              "relation_id",
+              "predecessor_task_id",
+              "successor_task_id",
+              "mode",
+              "explicit"
+            ],
+            "properties": {
+              "relation_id": { "$ref": "#/$defs/nullableString" },
+              "predecessor_task_id": { "type": "string" },
+              "successor_task_id": { "type": "string" },
+              "mode": {
+                "enum": ["both", "execution_only", "planning_only"]
+              },
+              "explicit": { "type": "boolean" }
+            },
+            "additionalProperties": false
+          }
+        },
+        "task_results": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/planAssuranceTaskResult" }
+        },
+        "direct_mismatch_task_ids": { "$ref": "#/$defs/stringArray" },
+        "inherited_mismatch_task_ids": { "$ref": "#/$defs/stringArray" },
+        "replan_required_task_ids": { "$ref": "#/$defs/stringArray" },
+        "unavailable_task_ids": { "$ref": "#/$defs/stringArray" },
+        "diagnostics": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["code", "message", "entity_id", "data"],
+            "properties": {
+              "code": { "enum": ["PTASSURE-101", "PTASSURE-102"] },
+              "message": { "type": "string" },
+              "entity_id": { "$ref": "#/$defs/nullableString" },
+              "data": { "$ref": "#/$defs/jsonObject" }
+            },
+            "additionalProperties": false
+          }
+        }
+      },
+      "additionalProperties": false
+    },
+    "planAssuranceImpact": {
+      "type": "object",
+      "required": [
+        "model_version",
+        "affected_task_ids",
+        "before",
+        "after",
+        "projection"
+      ],
+      "properties": {
+        "model_version": { "const": 1 },
+        "affected_task_ids": { "$ref": "#/$defs/stringArray" },
+        "before": { "$ref": "#/$defs/planAssuranceEvaluation" },
+        "after": { "$ref": "#/$defs/planAssuranceEvaluation" },
+        "projection": {
+          "type": "object",
+          "required": [
+            "model_version",
+            "affected_task_ids",
+            "before",
+            "after",
+            "diagnostics"
+          ],
+          "properties": {
+            "model_version": { "const": 1 },
+            "affected_task_ids": { "$ref": "#/$defs/stringArray" },
+            "before": { "$ref": "#/$defs/nullablePlanAssuranceProjection" },
+            "after": { "$ref": "#/$defs/nullablePlanAssuranceProjection" },
+            "diagnostics": { "$ref": "#/$defs/diagnostics" }
+          },
+          "additionalProperties": false
+        }
+      },
+      "additionalProperties": false
+    },
     "governanceDecision": {
       "type": "object",
       "required": [
@@ -1709,16 +2004,16 @@
       ],
       "properties": {
         "schema_version": {
-          "const": "Perttool.GovernanceDecision.v1"
+          "const": "Perttool.GovernanceDecision.v2"
         },
         "governance_interface_version": {
-          "const": 1
+          "const": 2
         },
         "governance_source_contract_version": {
           "const": 1
         },
         "governance_semantics_version": {
-          "const": 1
+          "const": 2
         },
         "source_digest": {
           "$ref": "#/$defs/digest"
@@ -1775,7 +2070,8 @@
         "scope": {
           "enum": [
             "goal",
-            "dag"
+            "dag",
+            "plan_assurance"
           ]
         },
         "required_owner": {

package/schemas/Perttool.ExportResult.v1.schema.json

@@ -29,7 +29,7 @@
       "const": "Perttool.ExportResult.v1"
     },
     "cli_contract_version": {
-      "const": 6
+      "const": 7
     },
     "tool_version": {
       "type": "string"

package/schemas/Perttool.FormatResult.v1.schema.json

@@ -27,7 +27,7 @@
       "const": "Perttool.FormatResult.v1"
     },
     "cli_contract_version": {
-      "const": 6
+      "const": 7
     },
     "tool_version": {
       "type": "string"

package/schemas/Perttool.GuideResult.v1.schema.json

@@ -25,7 +25,7 @@
       "const": "Perttool.GuideResult.v1"
     },
     "cli_contract_version": {
-      "const": 6
+      "const": 7
     },
     "tool_version": {
       "type": "string"

package/schemas/Perttool.ImportResult.v1.schema.json

@@ -29,7 +29,7 @@
       "const": "Perttool.ImportResult.v1"
     },
     "cli_contract_version": {
-      "const": 6
+      "const": 7
     },
     "tool_version": {
       "type": "string"

package/schemas/Perttool.InitResult.v1.schema.json

@@ -24,7 +24,7 @@
       "const": "Perttool.InitResult.v1"
     },
     "cli_contract_version": {
-      "const": 6
+      "const": 7
     },
     "tool_version": {
       "type": "string"

package/schemas/{Perttool.MutationResult.v3.schema.json → Perttool.MutationResult.v4.schema.json}

@@ -1,7 +1,7 @@
 {
   "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/mako10k/perttool/schemas/Perttool.MutationResult.v3.schema.json",
-  "title": "Perttool.MutationResult.v3",
+  "$id": "https://github.com/mako10k/perttool/schemas/Perttool.MutationResult.v4.schema.json",
+  "title": "Perttool.MutationResult.v4",
   "type": "object",
   "required": [
     "schema_version",
@@ -22,14 +22,15 @@
     "edits",
     "write",
     "governance",
-    "lifecycle"
+    "lifecycle",
+    "assurance_impact"
   ],
   "properties": {
     "schema_version": {
-      "const": "Perttool.MutationResult.v3"
+      "const": "Perttool.MutationResult.v4"
     },
     "cli_contract_version": {
-      "const": 6
+      "const": 7
     },
     "tool_version": {
       "type": "string"
@@ -188,6 +189,16 @@
           "type": "null"
         }
       ]
+    },
+    "assurance_impact": {
+      "oneOf": [
+        {
+          "$ref": "Perttool.Common.v1.schema.json#/$defs/planAssuranceImpact"
+        },
+        {
+          "type": "null"
+        }
+      ]
     }
   },
   "additionalProperties": false

package/schemas/{Perttool.NextResult.v5.schema.json → Perttool.NextResult.v6.schema.json}

@@ -1,7 +1,7 @@
 {
   "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/mako10k/perttool/schemas/Perttool.NextResult.v5.schema.json",
-  "title": "Perttool.NextResult.v5",
+  "$id": "https://github.com/mako10k/perttool/schemas/Perttool.NextResult.v6.schema.json",
+  "title": "Perttool.NextResult.v6",
   "$defs": {
     "tier": {
       "enum": [
@@ -1033,6 +1033,7 @@
           "type": "object",
           "required": [
             "policy",
+            "complete",
             "recommendation_algorithm",
             "deadline_facts_used_for_ranking",
             "time_eligible_task_ids",
@@ -1040,11 +1041,20 @@
             "time_eligibility_unavailable_task_ids",
             "startable_recommended_task_ids",
             "delayed_recommended_task_ids",
-            "unavailable_recommended_task_ids"
+            "unavailable_recommended_task_ids",
+            "raw_recommended_task_ids",
+            "temporal_startable_recommended_task_ids",
+            "assurance_eligible_task_ids",
+            "assurance_withheld_recommended_task_ids",
+            "assurance_unavailable_recommended_task_ids",
+            "safe_stop_reasons"
           ],
           "properties": {
             "policy": {
-              "const": "recommendation_v1_plus_release_gate"
+              "const": "recommendation_v1_plus_release_gate_plus_plan_assurance_v1"
+            },
+            "complete": {
+              "type": "boolean"
             },
             "recommendation_algorithm": {
               "type": "object",
@@ -1083,6 +1093,37 @@
             },
             "unavailable_recommended_task_ids": {
               "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
+            },
+            "raw_recommended_task_ids": {
+              "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
+            },
+            "temporal_startable_recommended_task_ids": {
+              "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
+            },
+            "assurance_eligible_task_ids": {
+              "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
+            },
+            "assurance_withheld_recommended_task_ids": {
+              "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
+            },
+            "assurance_unavailable_recommended_task_ids": {
+              "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
+            },
+            "safe_stop_reasons": {
+              "type": "array",
+              "items": {
+                "enum": [
+                  "unknown_recommendation_interface",
+                  "unknown_ranking_algorithm",
+                  "unknown_recommendation_contract",
+                  "unknown_temporal_authority_policy",
+                  "incomplete_recommendation_trace",
+                  "invalid_recommendation_authority",
+                  "invalid_assurance_evaluation",
+                  "unknown_assurance_model",
+                  "missing_assurance_task_result"
+                ]
+              }
             }
           },
           "additionalProperties": false
@@ -1111,14 +1152,15 @@
     "diagnostics",
     "diagnostics_truncated",
     "grammar_version",
-    "temporal"
+    "temporal",
+    "assurance"
   ],
   "properties": {
     "schema_version": {
-      "const": "Perttool.NextResult.v5"
+      "const": "Perttool.NextResult.v6"
     },
     "cli_contract_version": {
-      "const": 6
+      "const": 7
     },
     "recommendation_interface_version": {
       "const": 1
@@ -1153,7 +1195,7 @@
         "null"
       ],
       "minimum": 1,
-      "maximum": 5
+      "maximum": 6
     },
     "precision": {
       "type": "integer",
@@ -1258,6 +1300,9 @@
           "type": "null"
         }
       ]
+    },
+    "assurance": {
+      "$ref": "Perttool.Common.v1.schema.json#/$defs/nullablePlanAssuranceProjection"
     }
   },
   "additionalProperties": false

package/schemas/Perttool.OverrideDecision.v1.schema.json

@@ -306,7 +306,7 @@
               ],
               "properties": {
                 "schema_version": {
-                  "const": "Perttool.NextResult.v5"
+                  "const": "Perttool.NextResult.v6"
                 },
                 "tool_version": {
                   "type": "string"

package/schemas/Perttool.PlanAssuranceResult.v1.schema.json

@@ -0,0 +1,77 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/mako10k/perttool/schemas/Perttool.PlanAssuranceResult.v1.schema.json",
+  "title": "Perttool.PlanAssuranceResult.v1",
+  "type": "object",
+  "required": [
+    "schema_version",
+    "cli_contract_version",
+    "tool_version",
+    "operation",
+    "ok",
+    "document_id",
+    "source",
+    "source_digest",
+    "diagnostics",
+    "diagnostics_truncated",
+    "grammar_version",
+    "selected_task_ids",
+    "task_id",
+    "kind",
+    "selected_hash",
+    "assurance"
+  ],
+  "properties": {
+    "schema_version": {
+      "const": "Perttool.PlanAssuranceResult.v1"
+    },
+    "cli_contract_version": {
+      "const": 7
+    },
+    "tool_version": {
+      "type": "string"
+    },
+    "operation": {
+      "enum": ["plan-assurance.show", "plan-assurance.hash"]
+    },
+    "ok": {
+      "type": "boolean"
+    },
+    "document_id": {
+      "$ref": "Perttool.Common.v1.schema.json#/$defs/nullableString"
+    },
+    "source": {
+      "type": "string"
+    },
+    "source_digest": {
+      "$ref": "Perttool.Common.v1.schema.json#/$defs/digest"
+    },
+    "diagnostics": {
+      "$ref": "Perttool.Common.v1.schema.json#/$defs/diagnostics"
+    },
+    "diagnostics_truncated": {
+      "type": "boolean"
+    },
+    "grammar_version": {
+      "type": ["integer", "null"],
+      "minimum": 1,
+      "maximum": 6
+    },
+    "selected_task_ids": {
+      "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
+    },
+    "task_id": {
+      "$ref": "Perttool.Common.v1.schema.json#/$defs/nullableString"
+    },
+    "kind": {
+      "enum": ["contract", "computed-basis", "exported", null]
+    },
+    "selected_hash": {
+      "$ref": "Perttool.Common.v1.schema.json#/$defs/nullableDigest"
+    },
+    "assurance": {
+      "$ref": "Perttool.Common.v1.schema.json#/$defs/nullablePlanAssuranceProjection"
+    }
+  },
+  "additionalProperties": false
+}

package/schemas/Perttool.ProjectHistoryResult.v1.schema.json

@@ -225,7 +225,7 @@
       "const": "Perttool.ProjectHistoryResult.v1"
     },
     "cli_contract_version": {
-      "const": 6
+      "const": 7
     },
     "tool_version": {
       "type": "string"