perttool 0.6.0 → 0.7.0

package/schemas/{Perttool.AdvanceResult.v1.schema.json → Perttool.AdvanceResult.v2.schema.json}

@@ -1,7 +1,7 @@
 {
   "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/mako10k/perttool/schemas/Perttool.AdvanceResult.v1.schema.json",
-  "title": "Perttool.AdvanceResult.v1",
+  "$id": "https://github.com/mako10k/perttool/schemas/Perttool.AdvanceResult.v2.schema.json",
+  "title": "Perttool.AdvanceResult.v2",
   "type": "object",
   "required": [
     "schema_version",
@@ -24,14 +24,15 @@
     "governance",
     "lifecycle",
     "advance",
-    "history_guard"
+    "history_guard",
+    "assurance_guard"
   ],
   "properties": {
     "schema_version": {
-      "const": "Perttool.AdvanceResult.v1"
+      "const": "Perttool.AdvanceResult.v2"
     },
     "cli_contract_version": {
-      "const": 6
+      "const": 7
     },
     "tool_version": {
       "type": "string"
@@ -103,6 +104,8 @@
             "removed_gate_ids",
             "removed_milestone_ids",
             "removed_work_event_ids",
+            "removed_assurance_record_ids",
+            "updated_assurance_receipt_ids",
             "frontier_before",
             "frontier_after",
             "ready_before",
@@ -121,6 +124,12 @@
             "removed_work_event_ids": {
               "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
             },
+            "removed_assurance_record_ids": {
+              "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
+            },
+            "updated_assurance_receipt_ids": {
+              "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
+            },
             "frontier_before": {
               "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
             },
@@ -248,6 +257,77 @@
           "type": "null"
         }
       ]
+    },
+    "assurance_guard": {
+      "oneOf": [
+        {
+          "type": "object",
+          "required": [
+            "model_version",
+            "status",
+            "cause",
+            "crossing_producer_task_ids",
+            "created_receipt_ids",
+            "updated_receipt_ids",
+            "removed_receipt_ids",
+            "retained_basis_checks"
+          ],
+          "properties": {
+            "model_version": { "const": 1 },
+            "status": {
+              "enum": ["not_applicable", "passed", "blocked"]
+            },
+            "cause": {
+              "enum": [
+                "not_enabled",
+                "no_change",
+                "basis_preserved",
+                "crossing_commitment_unavailable",
+                "changed_outcome_not_accepted",
+                "retained_receipt_unavailable",
+                "retained_basis_changed"
+              ]
+            },
+            "crossing_producer_task_ids": {
+              "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
+            },
+            "created_receipt_ids": {
+              "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
+            },
+            "updated_receipt_ids": {
+              "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
+            },
+            "removed_receipt_ids": {
+              "$ref": "Perttool.Common.v1.schema.json#/$defs/stringArray"
+            },
+            "retained_basis_checks": {
+              "type": "array",
+              "items": {
+                "type": "object",
+                "required": [
+                  "task_id",
+                  "before_basis_hash",
+                  "after_basis_hash",
+                  "equal"
+                ],
+                "properties": {
+                  "task_id": { "type": "string" },
+                  "before_basis_hash": {
+                    "$ref": "Perttool.Common.v1.schema.json#/$defs/nullableDigest"
+                  },
+                  "after_basis_hash": {
+                    "$ref": "Perttool.Common.v1.schema.json#/$defs/nullableDigest"
+                  },
+                  "equal": { "type": "boolean" }
+                },
+                "additionalProperties": false
+              }
+            }
+          },
+          "additionalProperties": false
+        },
+        { "type": "null" }
+      ]
     }
   },
   "additionalProperties": false

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

@@ -451,7 +451,7 @@
       "const": "Perttool.AgentGuidanceResult.v1"
     },
     "cli_contract_version": {
-      "const": 6
+      "const": 7
     },
     "guidance_interface_version": {
       "const": 1

package/schemas/{Perttool.AnalysisResult.v4.schema.json → Perttool.AnalysisResult.v5.schema.json}

@@ -1,7 +1,7 @@
 {
   "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/mako10k/perttool/schemas/Perttool.AnalysisResult.v4.schema.json",
-  "title": "Perttool.AnalysisResult.v4",
+  "$id": "https://github.com/mako10k/perttool/schemas/Perttool.AnalysisResult.v5.schema.json",
+  "title": "Perttool.AnalysisResult.v5",
   "$defs": {
     "taskStatus": {
       "enum": [
@@ -657,14 +657,15 @@
     "precision",
     "precedence",
     "resource",
-    "temporal"
+    "temporal",
+    "assurance"
   ],
   "properties": {
     "schema_version": {
-      "const": "Perttool.AnalysisResult.v4"
+      "const": "Perttool.AnalysisResult.v5"
     },
     "cli_contract_version": {
-      "const": 6
+      "const": 7
     },
     "tool_version": {
       "type": "string"
@@ -696,7 +697,7 @@
         "null"
       ],
       "minimum": 1,
-      "maximum": 5
+      "maximum": 6
     },
     "task_actuals": {
       "type": "array",
@@ -784,6 +785,9 @@
           "type": "null"
         }
       ]
+    },
+    "assurance": {
+      "$ref": "Perttool.Common.v1.schema.json#/$defs/nullablePlanAssuranceProjection"
     }
   },
   "additionalProperties": false

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

@@ -1,7 +1,7 @@
 {
   "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/mako10k/perttool/schemas/Perttool.CheckResult.v3.schema.json",
-  "title": "Perttool.CheckResult.v3",
+  "$id": "https://github.com/mako10k/perttool/schemas/Perttool.CheckResult.v4.schema.json",
+  "title": "Perttool.CheckResult.v4",
   "type": "object",
   "required": [
     "schema_version",
@@ -17,14 +17,16 @@
     "grammar_version",
     "summary",
     "temporal_inputs",
-    "actuals_inputs"
+    "actuals_inputs",
+    "assurance",
+    "assurance_state_counts"
   ],
   "properties": {
     "schema_version": {
-      "const": "Perttool.CheckResult.v3"
+      "const": "Perttool.CheckResult.v4"
     },
     "cli_contract_version": {
-      "const": 6
+      "const": 7
     },
     "tool_version": {
       "type": "string"
@@ -56,7 +58,7 @@
         "null"
       ],
       "minimum": 1,
-      "maximum": 5
+      "maximum": 6
     },
     "summary": {
       "type": "object",
@@ -197,6 +199,12 @@
         }
       },
       "additionalProperties": false
+    },
+    "assurance": {
+      "$ref": "Perttool.Common.v1.schema.json#/$defs/nullablePlanAssuranceProjection"
+    },
+    "assurance_state_counts": {
+      "$ref": "Perttool.Common.v1.schema.json#/$defs/planAssuranceStateCounts"
     }
   },
   "additionalProperties": false

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

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

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

@@ -19,7 +19,7 @@
       "const": "Perttool.CommandHelpResult.v1"
     },
     "cli_contract_version": {
-      "const": 6
+      "const": 7
     },
     "tool_version": {
       "type": "string"
@@ -90,7 +90,7 @@
         ],
         "properties": {
           "cli_contract_version": {
-            "const": 6
+            "const": 7
           },
           "path": {
             "type": "array",

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"