@reviewsensei/cli-win32-x64 0.1.1 → 0.6.0

package/bin/_internal/review_sensei/schemas/session-record.schema.json

@@ -0,0 +1,312 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://reviewsensei.dev/schemas/v1/session-record.schema.json",
+  "title": "ReviewSensei durable review-session ledger record v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema_version",
+    "repository",
+    "pull_request",
+    "repository_id",
+    "completed_initial_reviews",
+    "completed_verification_rounds",
+    "failed_attempts",
+    "generation",
+    "reservation_id",
+    "reserved_slot",
+    "last_committed_reservation_id",
+    "created_at",
+    "updated_at",
+    "expires_at",
+    "record_sha256"
+  ],
+  "properties": {
+    "schema_version": {"const": "1.0"},
+    "repository": {"type": "string", "minLength": 1, "maxLength": 256},
+    "pull_request": {"type": "integer", "minimum": 1, "maximum": 2147483647},
+    "repository_id": {
+      "type": ["integer", "null"],
+      "minimum": 1,
+      "maximum": 2147483647
+    },
+    "completed_initial_reviews": {"type": "integer", "minimum": 0, "maximum": 32},
+    "completed_verification_rounds": {"type": "integer", "minimum": 0, "maximum": 32},
+    "failed_attempts": {"type": "integer", "minimum": 0, "maximum": 32},
+    "generation": {"type": "integer", "minimum": 0, "maximum": 2147483647},
+    "reservation_id": {
+      "anyOf": [
+        {"type": "null"},
+        {"type": "string", "pattern": "^[a-f0-9]{8,64}$"}
+      ]
+    },
+    "reserved_slot": {
+      "type": ["string", "null"],
+      "enum": ["initial", "verification", "failed-attempt", null]
+    },
+    "last_committed_reservation_id": {
+      "anyOf": [
+        {"type": "null"},
+        {"type": "string", "pattern": "^[a-f0-9]{8,64}$"}
+      ]
+    },
+    "created_at": {
+      "type": "string",
+      "format": "date-time",
+      "pattern": "^(?:\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}(?:\\.\\d+)?(?:Z|[+-]\\d{2}:\\d{2}))$"
+    },
+    "updated_at": {
+      "type": "string",
+      "format": "date-time",
+      "pattern": "^(?:\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}(?:\\.\\d+)?(?:Z|[+-]\\d{2}:\\d{2}))$"
+    },
+    "expires_at": {
+      "type": "string",
+      "format": "date-time",
+      "pattern": "^(?:\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}(?:\\.\\d+)?(?:Z|[+-]\\d{2}:\\d{2}))$"
+    },
+    "record_sha256": {"type": "string", "pattern": "^[a-f0-9]{64}$"},
+    "operator_paused": {"type": "boolean"},
+    "dispositions": {
+      "type": "array",
+      "maxItems": 4,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["fingerprint", "action", "reason", "actor", "head_sha", "expires_at"],
+        "properties": {
+          "fingerprint": {"type": "string", "pattern": "^[a-f0-9]{16,64}$"},
+          "action": {"enum": ["dismiss", "defer", "accept-risk"]},
+          "reason": {"type": "string", "minLength": 1, "maxLength": 512},
+          "actor": {"type": "string", "minLength": 1, "maxLength": 256},
+          "head_sha": {"type": ["string", "null"], "pattern": "^[a-f0-9]{40,64}$"},
+          "expires_at": {"type": ["string", "null"], "format": "date-time"}
+        }
+      }
+    },
+    "continuation_grants": {
+      "type": "array",
+      "maxItems": 4,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": [
+          "command_id",
+          "actor",
+          "head_sha",
+          "policy_digest",
+          "issued_at",
+          "expires_at",
+          "consumed_reservation_id",
+          "consumed_generation"
+        ],
+          "properties": {
+            "command_id": {"type": "string", "minLength": 1, "maxLength": 128, "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$"},
+            "actor": {"type": "string", "minLength": 1, "maxLength": 256},
+            "head_sha": {"type": "string", "pattern": "^[a-f0-9]{40,64}$"},
+            "policy_digest": {"type": "string", "pattern": "^[a-f0-9]{64}$"},
+            "issued_at": {"type": "string", "format": "date-time"},
+            "expires_at": {"type": "string", "format": "date-time"},
+            "consumed_reservation_id": {"type": ["string", "null"], "pattern": "^[a-f0-9]{8,64}$"},
+            "consumed_generation": {"type": ["integer", "null"], "minimum": 1, "maximum": 2147483647}
+        },
+        "oneOf": [
+          {
+            "properties": {
+              "consumed_reservation_id": {"type": "null"},
+              "consumed_generation": {"type": "null"}
+            }
+          },
+          {
+            "properties": {
+              "consumed_reservation_id": {"type": "string"},
+              "consumed_generation": {"type": "integer"}
+            }
+          }
+        ]
+      }
+    },
+    "transaction": {
+      "$ref": "https://reviewsensei.dev/schemas/v1/review-transaction.schema.json"
+    },
+    "convergence_history": {
+      "type": "object",
+      "description": "Bounded convergence envelope. The field caps below bound each member; the validation seam additionally rejects an envelope whose canonical UTF-8 encoding exceeds MAX_CONVERGENCE_HISTORY_BYTES (2048), which JSON Schema cannot express.",
+      "additionalProperties": false,
+      "required": ["state", "progress", "provenance"],
+      "properties": {
+        "state": {"enum": ["completed", "invalidated", "recovery-required"]},
+        "baseline": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["cache_key", "policy_digest", "complete", "coverage_complete", "generation", "findings", "reviewed_paths", "related_paths"],
+          "properties": {
+            "cache_key": {
+              "type": "object",
+              "additionalProperties": false,
+              "required": ["repository", "pull_request", "base_sha", "head_sha", "engine", "model", "profile", "stage_digest", "context_digest", "learning_digest"],
+              "properties": {
+                "repository": {"type": "string", "maxLength": 256},
+                "pull_request": {"type": "integer", "minimum": 1},
+                "base_sha": {"type": "string", "pattern": "^[a-f0-9]{40}$"},
+                "head_sha": {"type": "string", "pattern": "^[a-f0-9]{40}$"},
+                "engine": {"type": "string", "maxLength": 256},
+                "model": {"type": "string", "maxLength": 256},
+                "profile": {"type": "string", "maxLength": 256},
+                "stage_digest": {"type": "string", "pattern": "^[a-f0-9]{64}$"},
+                "context_digest": {"type": "string", "pattern": "^[a-f0-9]{64}$"},
+                "learning_digest": {"type": "string", "pattern": "^[a-f0-9]{64}$"}
+              }
+            },
+            "policy_digest": {"type": "string", "pattern": "^[a-f0-9]{64}$"},
+            "complete": {"type": "boolean"},
+            "coverage_complete": {"type": "boolean"},
+            "generation": {"type": "integer", "minimum": 0},
+            "findings": {
+              "type": "array",
+              "maxItems": 3,
+              "items": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": ["fingerprint", "resolution_criterion", "concern", "path", "symbol", "defect_kind", "generation", "blocking"],
+                "properties": {
+                  "fingerprint": {"type": "string", "pattern": "^[a-f0-9]{64}$"},
+                  "resolution_criterion": {"type": "string", "pattern": "^[a-f0-9]{64}$"},
+                  "concern": {"type": ["string", "null"], "pattern": "^[a-f0-9]{64}$"},
+                  "path": {"type": ["string", "null"], "maxLength": 256},
+                  "symbol": {"type": ["string", "null"], "maxLength": 256},
+                  "defect_kind": {"type": "string", "maxLength": 128},
+                  "generation": {"type": "integer", "minimum": 0},
+                  "blocking": {"type": "boolean"}
+                }
+              }
+            },
+            "reviewed_paths": {"type": "array", "maxItems": 512, "items": {"type": "string", "maxLength": 256}},
+            "related_paths": {"type": "array", "maxItems": 32, "items": {"type": "string", "maxLength": 256}}
+          }
+        },
+        "progress": {
+          "type": "array",
+          "maxItems": 3,
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["event", "generation"],
+            "properties": {
+              "event": {"enum": ["completed", "invalidated", "recovery-required"]},
+              "generation": {"type": "integer", "minimum": 0, "maximum": 2147483647},
+              "blocker_set_sha256": {"type": "string", "pattern": "^[a-f0-9]{64}$"},
+              "blocker_count": {"type": "integer", "minimum": 0, "maximum": 4096},
+              "transaction_id": {"type": "string", "pattern": "^[a-f0-9]{64}$"}
+            },
+            "allOf": [
+              {
+                "if": {"required": ["blocker_set_sha256"]},
+                "then": {
+                  "required": ["blocker_count"],
+                  "properties": {"event": {"const": "completed"}}
+                }
+              },
+              {
+                "if": {"required": ["blocker_count"]},
+                "then": {"required": ["blocker_set_sha256"]}
+              },
+              {
+                "if": {"required": ["transaction_id"]},
+                "then": {
+                  "required": ["blocker_set_sha256", "blocker_count"],
+                  "properties": {"event": {"const": "completed"}}
+                }
+              }
+            ]
+          }
+        },
+        "provenance": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["ledger_digest"],
+          "properties": {"ledger_digest": {"type": "string", "pattern": "^[a-f0-9]{64}$"}}
+        }
+      }
+    }
+  },
+  "allOf": [
+    {
+      "if": {
+        "required": ["transaction"],
+        "properties": {
+          "transaction": {
+            "required": ["phase"],
+            "properties": {"phase": {"const": "analysis"}}
+          }
+        }
+      },
+      "then": {
+        "required": ["reservation_id", "reserved_slot"],
+        "properties": {
+          "reservation_id": {"type": "string"},
+          "reserved_slot": {"enum": ["initial", "verification"]}
+        }
+      }
+    },
+    {
+      "if": {
+        "required": ["transaction"],
+        "properties": {
+          "transaction": {
+            "required": ["phase"],
+            "properties": {
+              "phase": {
+                "enum": [
+                  "analysis_failed",
+                  "publication_pending",
+                  "publication_failed",
+                  "publication_succeeded",
+                  "publication_suppressed"
+                ]
+              }
+            }
+          }
+        }
+      },
+      "then": {
+        "properties": {
+          "reservation_id": {"type": "null"},
+          "reserved_slot": {"type": "null"}
+        }
+      }
+    },
+    {
+      "if": {
+        "required": ["convergence_history"],
+        "properties": {
+          "convergence_history": {
+            "required": ["state"],
+            "properties": {"state": {"const": "completed"}}
+          }
+        }
+      },
+      "then": {
+        "properties": {
+          "convergence_history": {"required": ["baseline"]}
+        }
+      }
+    },
+    {
+      "if": {
+        "required": ["convergence_history"],
+        "properties": {
+          "convergence_history": {
+            "required": ["state"],
+            "properties": {"state": {"not": {"const": "completed"}}}
+          }
+        }
+      },
+      "then": {
+        "properties": {
+          "convergence_history": {"not": {"required": ["baseline"]}}
+        }
+      }
+    }
+  ]
+}

package/bin/_internal/review_sensei/schemas/stage.schema.json

@@ -22,6 +22,12 @@
       "type": "array",
       "minItems": 1,
       "items": {"type": "string", "minLength": 1}
+    },
+    "provider_profile": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 64,
+      "pattern": "^(?:[a-z0-9]+(?:-[a-z0-9]+)*|local/private)$"
     }
   },
   "$defs": {

package/bin/_internal/review_sensei/schemas/verification-result.schema.json

@@ -0,0 +1,14 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://reviewsensei.dev/schemas/v1/verification-result.schema.json",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schema_version", "disposition", "reasons", "evidence_valid", "actionable"],
+  "properties": {
+    "schema_version": {"const": "1.0"},
+    "disposition": {"enum": ["confirmed", "rejected", "insufficient-evidence"]},
+    "reasons": {"type": "array", "maxItems": 16, "items": {"type": "string", "maxLength": 256}},
+    "evidence_valid": {"type": "boolean"},
+    "actionable": {"type": "boolean"}
+  }
+}

package/bin/_internal/review_sensei/schemas/verification-scope.schema.json

@@ -0,0 +1,80 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://reviewsensei.dev/schemas/v1/verification-scope.schema.json",
+  "title": "ReviewSensei verification scope v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema_version",
+    "status",
+    "round_kind",
+    "late_admission_required",
+    "coverage_mode",
+    "invalidation_reason",
+    "reviewed_paths",
+    "related_paths",
+    "changed_paths",
+    "existing_concerns"
+  ],
+  "properties": {
+    "schema_version": { "const": "1.0" },
+    "status": {
+      "type": "string",
+      "enum": [
+        "legacy-unscoped",
+        "baseline-required",
+        "incomplete-baseline",
+        "incompatible",
+        "verify",
+        "ledger-untrusted"
+      ]
+    },
+    "round_kind": {
+      "type": "string",
+      "enum": ["none", "initial", "verification"]
+    },
+    "late_admission_required": { "type": "boolean" },
+    "coverage_mode": {
+      "type": "string",
+      "enum": ["full", "incremental", "fallback-full", "unscoped"]
+    },
+    "invalidation_reason": {
+      "type": ["string", "null"],
+      "enum": [
+        "rebase-or-base-change",
+        "model-change",
+        "engine-change",
+        "profile-change",
+        "policy-change",
+        "prompt-or-stage-digest-change",
+        "context-digest-change",
+        "learning-digest-change",
+        "incomplete-baseline",
+        "missing-baseline",
+        "coverage-incomplete",
+        "ledger-untrusted",
+        null
+      ]
+    },
+    "reviewed_paths": {
+      "type": "array",
+      "maxItems": 512,
+      "items": { "type": "string", "minLength": 1, "maxLength": 4096 }
+    },
+    "related_paths": {
+      "type": "array",
+      "maxItems": 32,
+      "items": { "type": "string", "minLength": 1, "maxLength": 4096 }
+    },
+    "changed_paths": {
+      "type": "array",
+      "maxItems": 512,
+      "items": { "type": "string", "minLength": 1, "maxLength": 4096 }
+    },
+    "existing_concerns": {
+      "type": "integer",
+      "minimum": 0,
+      "maximum": 512
+    }
+  }
+}