@vizejs/marquette 0.302.0 → 0.303.0

package/dist/test-run-transition.schema.json

@@ -0,0 +1,148 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://vizejs.dev/schemas/marquette/test-run-transition.schema.json",
+  "title": "Vize Release Transition",
+  "description": "One durable atomic release transition: a single canonical record binding one release decision to the complete accepted anti-replay state, chained to its predecessor by canonical SHA-256 fingerprint. Host durability contract: a conforming host must write the complete canonical bytes to a temporary location, flush them to durable storage, then atomically rename or commit so exactly one complete chain tip exists at every instant; on recovery it must verify the tip against its retained predecessor before deciding anything new, and discard - never repair - a torn or partial record. Verification is fail-closed and identical across JavaScript, Rust, Go, and JVM hosts; the shared tests/fixtures/test-run-evidence transition-decision fixtures are the conformance source of truth for new host implementations.",
+  "$ref": "#/$defs/transition",
+  "$defs": {
+    "identifier": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 128,
+      "pattern": "^[a-z0-9][a-z0-9._-]*$"
+    },
+    "digest": {
+      "type": "string",
+      "pattern": "^[a-f0-9]{64}$"
+    },
+    "admissionId": {
+      "description": "Exact test-run:<sha256> admission id; the only admissible form of accepted test evidence.",
+      "type": "string",
+      "pattern": "^test-run:[a-f0-9]{64}$"
+    },
+    "timestamp": {
+      "type": "string",
+      "format": "date-time",
+      "pattern": "^[0-9]{4}-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])T([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9]\\.[0-9]{3}Z$"
+    },
+    "candidate": {
+      "description": "Exact release candidate the decision was made for. Application and environment must stay constant along one chain.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "application",
+        "environment",
+        "contractFingerprint",
+        "sourceRevision",
+        "release",
+        "artifactFingerprint"
+      ],
+      "properties": {
+        "application": { "$ref": "#/$defs/identifier" },
+        "environment": { "$ref": "#/$defs/identifier" },
+        "contractFingerprint": { "$ref": "#/$defs/digest" },
+        "sourceRevision": {
+          "type": "string",
+          "pattern": "^[a-f0-9]{40,128}$"
+        },
+        "release": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 256
+        },
+        "artifactFingerprint": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "diagnostic": {
+      "description": "One retained diagnostic, shaped and serialized exactly like a live diagnostic.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["code", "severity", "path", "message"],
+      "properties": {
+        "code": {
+          "type": "string",
+          "pattern": "^VIZE_MARQUETTE_[0-9]{3}$"
+        },
+        "severity": { "enum": ["error", "warning"] },
+        "path": {
+          "type": "string",
+          "minLength": 1
+        },
+        "message": {
+          "type": "string",
+          "minLength": 1
+        }
+      }
+    },
+    "decision": {
+      "description": "Retained allow-or-deny decision exactly as it was produced. allowed must agree with the diagnostics, and denialCodes must equal the published mapping of the diagnostics; verification rejects a record claiming an outcome its own diagnostics contradict.",
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["allowed", "denialCodes", "diagnostics"],
+      "properties": {
+        "allowed": { "type": "boolean" },
+        "denialCodes": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "type": "string",
+            "pattern": "^[a-z0-9]+(-[a-z0-9]+)*$"
+          }
+        },
+        "diagnostics": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/diagnostic" }
+        }
+      }
+    },
+    "transition": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "format",
+        "formatVersion",
+        "sequence",
+        "previous",
+        "decidedAt",
+        "candidate",
+        "evidence",
+        "decision",
+        "accepted"
+      ],
+      "properties": {
+        "format": {
+          "description": "Serialized format marker; readers must reject any other value.",
+          "const": "vize.test-run.transition"
+        },
+        "formatVersion": {
+          "description": "Serialized format version; readers must reject a higher value until they explicitly support it.",
+          "const": 1
+        },
+        "sequence": {
+          "description": "One-based chain position; each transition extends its predecessor by exactly one.",
+          "type": "integer",
+          "minimum": 1,
+          "maximum": 9007199254740991
+        },
+        "previous": {
+          "description": "Canonical SHA-256 fingerprint of the predecessor transition; null only at genesis (sequence 1).",
+          "anyOf": [{ "$ref": "#/$defs/digest" }, { "type": "null" }]
+        },
+        "decidedAt": {
+          "description": "Millisecond-precision UTC instant of the decision; never earlier than the predecessor's.",
+          "$ref": "#/$defs/timestamp"
+        },
+        "candidate": { "$ref": "#/$defs/candidate" },
+        "evidence": { "$ref": "#/$defs/admissionId" },
+        "decision": { "$ref": "#/$defs/decision" },
+        "accepted": {
+          "description": "Complete anti-replay state after this transition: every admission id ever accepted in this chain, sorted and unique. An allowed transition adds exactly its own evidence to its predecessor's state; a denied transition leaves the state unchanged; an already accepted id can never be accepted again.",
+          "type": "array",
+          "maxItems": 4096,
+          "uniqueItems": true,
+          "items": { "$ref": "#/$defs/admissionId" }
+        }
+      }
+    }
+  }
+}

package/dist/{test-run-validate-XF0vyoWI.mjs → test-run-validate-C_KR031E.mjs}

@@ -26,8 +26,8 @@ function checkDigest(value, path, diagnostics) {
 	if (!DIGEST.test(value)) diagnostics.push(error("VIZE_MARQUETTE_104", path, "fingerprint must be 64 lowercase hexadecimal characters"));
 }
 /** Validates an exact source revision digest. */
-function checkSourceRevision(value, diagnostics) {
-	if (!SOURCE_REVISION.test(value)) diagnostics.push(error("VIZE_MARQUETTE_105", "sourceRevision", "source revision must be 40 to 128 lowercase hexadecimal characters"));
+function checkSourceRevision(value, path, diagnostics) {
+	if (!SOURCE_REVISION.test(value)) diagnostics.push(error("VIZE_MARQUETTE_105", path, "source revision must be 40 to 128 lowercase hexadecimal characters"));
 }
 /** Returns whether `value` is a millisecond-precision UTC calendar instant. */
 function isStrictTimestamp(value) {
@@ -195,7 +195,7 @@ function validateTestRunEvidence(evidence) {
 	checkIdentifier(evidence.application, "application", diagnostics);
 	checkIdentifier(evidence.environment, "environment", diagnostics);
 	checkDigest(evidence.contractFingerprint, "contractFingerprint", diagnostics);
-	checkSourceRevision(evidence.sourceRevision, diagnostics);
+	checkSourceRevision(evidence.sourceRevision, "sourceRevision", diagnostics);
 	if (evidence.release.length === 0 || evidence.release.length > 256) diagnostics.push(error("VIZE_MARQUETTE_106", "release", "release must be between 1 and 256 characters"));
 	checkIdentifier(evidence.artifact.id, "artifact.id", diagnostics);
 	checkDigest(evidence.artifact.fingerprint, "artifact.fingerprint", diagnostics);
@@ -224,6 +224,6 @@ function validateTestRunEvidence(evidence) {
 	return diagnostics;
 }
 //#endregion
-export { error as a, TEST_RUN_MAX_TARGETS as i, TEST_RUN_MAX_SHARDS as n, isStrictTimestamp as o, TEST_RUN_MAX_SUITES as r, validateTestRunEvidence as t };
+export { checkDigest as a, checkSourceRevision as c, isStrictTimestamp as d, TEST_RUN_MAX_TARGETS as i, checkTimestamp as l, TEST_RUN_MAX_SHARDS as n, checkIdentifier as o, TEST_RUN_MAX_SUITES as r, checkSafeInteger as s, validateTestRunEvidence as t, error as u };
 
-//# sourceMappingURL=test-run-validate-XF0vyoWI.mjs.map
+//# sourceMappingURL=test-run-validate-C_KR031E.mjs.map

package/dist/test-run-validate-C_KR031E.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-run-validate-C_KR031E.mjs","names":[],"sources":["../src/test-run-validate-rules.ts","../src/test-run-validate-executions.ts","../src/test-run-validate.ts"],"sourcesContent":["import type { MarquetteDiagnostic } from \"./validate.js\";\nimport type { TestRunRetainedEvidence } from \"./test-run-model.js\";\n\n/** Largest integer every consuming language can represent exactly. */\nexport const MAX_SAFE_EVIDENCE_INTEGER = 9007199254740991;\n\nconst IDENTIFIER = /^[a-z0-9][a-z0-9._-]*$/;\nconst DIGEST = /^[a-f0-9]{64}$/;\nconst SOURCE_REVISION = /^[a-f0-9]{40,128}$/;\nconst TIMESTAMP =\n  /^([0-9]{4})-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])T([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9]\\.[0-9]{3}Z$/;\n\n/** Builds the stable diagnostic path for a named collection member. */\nexport function evidencePath(collection: string, id: string): string {\n  return `${collection}.${id}`;\n}\n\n/** Creates one error diagnostic. */\nexport function error(\n  code: MarquetteDiagnostic[\"code\"],\n  path: string,\n  message: string,\n): MarquetteDiagnostic {\n  return { code, severity: \"error\", path, message };\n}\n\n/** Validates the shared identifier grammar and the schema length bound. */\nexport function checkIdentifier(\n  id: string,\n  path: string,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  if (!IDENTIFIER.test(id)) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_103\",\n        path,\n        \"identifier must use lowercase ASCII letters, digits, dash, underscore, or dot\",\n      ),\n    );\n  }\n  if (id.length === 0 || id.length > 128) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_103\", path, \"identifier must be between 1 and 128 characters\"),\n    );\n  }\n}\n\n/** Validates a lowercase 64-character SHA-256 fingerprint. */\nexport function checkDigest(value: string, path: string, diagnostics: MarquetteDiagnostic[]): void {\n  if (!DIGEST.test(value)) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_104\", path, \"fingerprint must be 64 lowercase hexadecimal characters\"),\n    );\n  }\n}\n\n/** Validates an exact source revision digest. */\nexport function checkSourceRevision(\n  value: string,\n  path: string,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  if (!SOURCE_REVISION.test(value)) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_105\",\n        path,\n        \"source revision must be 40 to 128 lowercase hexadecimal characters\",\n      ),\n    );\n  }\n}\n\n/** Returns whether `value` is a millisecond-precision UTC calendar instant. */\nexport function isStrictTimestamp(value: string): boolean {\n  const match = TIMESTAMP.exec(value);\n  if (match === null) {\n    return false;\n  }\n  const year = Number(match[1]);\n  const month = Number(match[2]);\n  const day = Number(match[3]);\n  const maxDay =\n    month === 2\n      ? year % 4 === 0 && (year % 100 !== 0 || year % 400 === 0)\n        ? 29\n        : 28\n      : month === 4 || month === 6 || month === 9 || month === 11\n        ? 30\n        : 31;\n  return day <= maxDay;\n}\n\n/** Validates a millisecond-precision UTC timestamp. */\nexport function checkTimestamp(\n  value: string,\n  path: string,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  if (!isStrictTimestamp(value)) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_107\",\n        path,\n        \"timestamp must be a millisecond-precision UTC instant like 2026-01-01T00:00:00.000Z\",\n      ),\n    );\n  }\n}\n\n/** Rejects integers that lose precision in a consuming language. */\nexport function checkSafeInteger(\n  value: number,\n  path: string,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  if (value > MAX_SAFE_EVIDENCE_INTEGER) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_111\",\n        path,\n        \"value must not exceed the largest exactly-representable integer\",\n      ),\n    );\n  }\n}\n\n/**\n * Validates an immutable retained-evidence binding.\n *\n * The retrieval reference must be content-addressed and name exactly the\n * fingerprinted bytes; anything else would let retained evidence mutate\n * behind a stable-looking record.\n */\nexport function checkRetainedEvidence(\n  retained: TestRunRetainedEvidence,\n  path: string,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  checkDigest(retained.fingerprint, evidencePath(path, \"fingerprint\"), diagnostics);\n  const suffix = retained.reference.startsWith(\"sha256:\")\n    ? retained.reference.slice(\"sha256:\".length)\n    : undefined;\n  if (suffix === undefined || !DIGEST.test(suffix)) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_108\",\n        evidencePath(path, \"reference\"),\n        \"evidence reference must be sha256: followed by 64 lowercase hexadecimal characters\",\n      ),\n    );\n  } else if (suffix !== retained.fingerprint) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_109\",\n        evidencePath(path, \"reference\"),\n        \"content-addressed reference must name the fingerprinted content\",\n      ),\n    );\n  }\n}\n","import type { MarquetteDiagnostic } from \"./validate.js\";\nimport type { TestRunEvidence, TestRunSuiteExecution } from \"./test-run-model.js\";\nimport {\n  checkDigest,\n  checkIdentifier,\n  checkRetainedEvidence,\n  checkSafeInteger,\n  checkTimestamp,\n  error,\n  evidencePath,\n} from \"./test-run-validate-rules.js\";\n\n/** Maximum recorded target executions and selected target identifiers. */\nexport const TEST_RUN_MAX_TARGETS = 32;\n\n/** Maximum recorded suite executions and selected suite identifiers. */\nexport const TEST_RUN_MAX_SUITES = 512;\n\n/** Maximum shard index and shard count for one suite execution. */\nexport const TEST_RUN_MAX_SHARDS = 1024;\n\n/** Validates recorded target executions against the candidate selection. */\nexport function validateTargets(\n  evidence: TestRunEvidence,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  if (evidence.targets.length === 0 || evidence.targets.length > TEST_RUN_MAX_TARGETS) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_131\",\n        \"targets\",\n        \"record must include between 1 and 32 target executions\",\n      ),\n    );\n  }\n\n  const seen = new Set<string>();\n  const selected = new Set(evidence.selection.targetIds);\n  for (const target of evidence.targets) {\n    const path = evidencePath(\"targets\", target.id);\n    checkIdentifier(target.id, path, diagnostics);\n    checkIdentifier(target.environment, evidencePath(path, \"environment\"), diagnostics);\n    if (seen.has(target.id)) {\n      diagnostics.push(\n        error(\"VIZE_MARQUETTE_117\", path, \"target execution is recorded more than once\"),\n      );\n    }\n    seen.add(target.id);\n    if (!selected.has(target.id)) {\n      diagnostics.push(\n        error(\"VIZE_MARQUETTE_118\", path, \"target execution was not selected for this candidate\"),\n      );\n    }\n  }\n  for (const id of evidence.selection.targetIds) {\n    if (!seen.has(id)) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_119\",\n          evidencePath(\"selection.targetIds\", id),\n          \"selected target has no recorded execution\",\n        ),\n      );\n    }\n  }\n}\n\ninterface ShardGroup {\n  readonly shardCount: number;\n  readonly kind: TestRunSuiteExecution[\"kind\"];\n  readonly targetId: string;\n  readonly indexes: Set<number>;\n  kindsDisagree: boolean;\n  targetsDisagree: boolean;\n  countsDisagree: boolean;\n}\n\n/** Validates recorded suite executions, shards, and their consistency. */\nexport function validateSuites(\n  evidence: TestRunEvidence,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  if (evidence.suites.length === 0 || evidence.suites.length > TEST_RUN_MAX_SUITES) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_131\",\n        \"suites\",\n        \"record must include between 1 and 512 suite executions\",\n      ),\n    );\n  }\n\n  const shards = new Map<string, ShardGroup>();\n  const selected = new Set(evidence.selection.suiteIds);\n  const recordedTargets = new Set(evidence.targets.map((target) => target.id));\n  for (const suite of evidence.suites) {\n    const path = evidencePath(\"suites\", suite.id);\n    let group = shards.get(suite.id);\n    if (group === undefined) {\n      group = {\n        shardCount: suite.shardCount,\n        kind: suite.kind,\n        targetId: suite.targetId,\n        indexes: new Set(),\n        kindsDisagree: false,\n        targetsDisagree: false,\n        countsDisagree: false,\n      };\n      shards.set(suite.id, group);\n      // Suite-id-scoped invariants are shard-independent, so evaluate them\n      // once per unique suite id. Running them per shard would emit the same\n      // code/path/message diagnostic once for every shard of the suite.\n      checkIdentifier(suite.id, path, diagnostics);\n      if (!selected.has(suite.id)) {\n        diagnostics.push(\n          error(\"VIZE_MARQUETTE_121\", path, \"suite execution was not selected for this candidate\"),\n        );\n      }\n      if (!recordedTargets.has(suite.targetId)) {\n        diagnostics.push(\n          error(\n            \"VIZE_MARQUETTE_123\",\n            evidencePath(path, \"targetId\"),\n            \"suite target has no recorded target execution\",\n          ),\n        );\n      }\n    }\n    group.kindsDisagree ||= group.kind !== suite.kind;\n    group.targetsDisagree ||= group.targetId !== suite.targetId;\n    group.countsDisagree ||= group.shardCount !== suite.shardCount;\n    if (group.indexes.has(suite.shardIndex)) {\n      diagnostics.push(error(\"VIZE_MARQUETTE_120\", path, \"suite shard is recorded more than once\"));\n    }\n    group.indexes.add(suite.shardIndex);\n    if (\n      suite.shardCount === 0 ||\n      suite.shardCount > TEST_RUN_MAX_SHARDS ||\n      suite.shardIndex === 0 ||\n      suite.shardIndex > suite.shardCount\n    ) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_124\",\n          evidencePath(path, \"shardIndex\"),\n          \"shard index must fall within a shard count between 1 and 1024\",\n        ),\n      );\n    }\n    checkSafeInteger(suite.durationMs, evidencePath(path, \"durationMs\"), diagnostics);\n    checkDigest(\n      suite.invocationFingerprint,\n      evidencePath(path, \"invocationFingerprint\"),\n      diagnostics,\n    );\n    checkRetainedEvidence(suite.report, evidencePath(path, \"report\"), diagnostics);\n    checkRetainedEvidence(suite.log, evidencePath(path, \"log\"), diagnostics);\n\n    const executed = suite.passed + suite.failed + suite.skipped;\n    const consistent =\n      suite.outcome === \"passed\"\n        ? suite.failed === 0 && executed > 0\n        : suite.outcome === \"failed\"\n          ? suite.failed > 0\n          : true;\n    if (!consistent) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_130\",\n          evidencePath(path, \"outcome\"),\n          \"suite outcome does not match its recorded counts\",\n        ),\n      );\n    }\n  }\n\n  for (const id of evidence.selection.suiteIds) {\n    if (!shards.has(id)) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_122\",\n          evidencePath(\"selection.suiteIds\", id),\n          \"selected suite has no recorded execution\",\n        ),\n      );\n    }\n  }\n\n  for (const [id, group] of shards) {\n    const path = evidencePath(\"suites\", id);\n    if (group.kindsDisagree || group.targetsDisagree || group.countsDisagree) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_126\",\n          path,\n          \"every shard of one suite must share its kind, target, and shard count\",\n        ),\n      );\n    } else if (\n      group.shardCount !== 0 &&\n      group.shardCount <= TEST_RUN_MAX_SHARDS &&\n      group.indexes.size !== group.shardCount\n    ) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_125\",\n          path,\n          `suite must record every shard from 1 to ${group.shardCount}`,\n        ),\n      );\n    }\n  }\n}\n\n/** Validates the independent verification summary. */\nexport function validateVerification(\n  evidence: TestRunEvidence,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  const verification = evidence.verification;\n  checkIdentifier(verification.verifier, \"verification.verifier\", diagnostics);\n  checkTimestamp(verification.completedAt, \"verification.completedAt\", diagnostics);\n  checkRetainedEvidence(verification.evidence, \"verification.evidence\", diagnostics);\n  if (verification.completedAt < evidence.completedAt) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_114\",\n        \"verification.completedAt\",\n        \"verification must complete after the run completes\",\n      ),\n    );\n  }\n  if (verification.targetCount !== evidence.targets.length) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_127\",\n        \"verification.targetCount\",\n        \"verified target count must equal the recorded target executions\",\n      ),\n    );\n  }\n  if (verification.suiteCount !== evidence.suites.length) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_127\",\n        \"verification.suiteCount\",\n        \"verified suite count must equal the recorded suite executions\",\n      ),\n    );\n  }\n\n  const totals = { passed: 0, failed: 0, skipped: 0, retries: 0 };\n  for (const suite of evidence.suites) {\n    totals.passed += suite.passed;\n    totals.failed += suite.failed;\n    totals.skipped += suite.skipped;\n    totals.retries += suite.retries;\n  }\n  const recorded = [\n    [totals.passed, verification.passed, \"verification.passed\", \"passed\"],\n    [totals.failed, verification.failed, \"verification.failed\", \"failed\"],\n    [totals.skipped, verification.skipped, \"verification.skipped\", \"skipped\"],\n    [totals.retries, verification.retries, \"verification.retries\", \"retried\"],\n  ] as const;\n  for (const [total, value, path, name] of recorded) {\n    if (total !== value) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_128\",\n          path,\n          `verified ${name} total must equal the sum over suite executions`,\n        ),\n      );\n    }\n  }\n\n  if (verification.outcome === \"accepted\") {\n    const clean = evidence.suites.every(\n      (suite) => suite.outcome === \"passed\" && suite.failed === 0,\n    );\n    if (!clean || verification.failed > 0) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_129\",\n          \"verification.outcome\",\n          \"verification cannot accept a run with failed or cancelled executions\",\n        ),\n      );\n    }\n  }\n}\n","import type { MarquetteDiagnostic } from \"./validate.js\";\nimport type { TestRunEvidence } from \"./test-run-model.js\";\nimport { TEST_RUN_EVIDENCE_FORMAT, TEST_RUN_EVIDENCE_FORMAT_VERSION } from \"./test-run-model.js\";\nimport {\n  checkDigest,\n  checkIdentifier,\n  checkRetainedEvidence,\n  checkSafeInteger,\n  checkSourceRevision,\n  checkTimestamp,\n  error,\n  evidencePath,\n} from \"./test-run-validate-rules.js\";\nimport {\n  TEST_RUN_MAX_SUITES,\n  TEST_RUN_MAX_TARGETS,\n  validateSuites,\n  validateTargets,\n  validateVerification,\n} from \"./test-run-validate-executions.js\";\n\nexport {\n  TEST_RUN_MAX_SHARDS,\n  TEST_RUN_MAX_SUITES,\n  TEST_RUN_MAX_TARGETS,\n} from \"./test-run-validate-executions.js\";\nexport type { MarquetteDiagnostic, MarquetteDiagnosticSeverity } from \"./validate.js\";\n\n/**\n * Validates a complete test-run evidence record.\n *\n * Diagnostics are deterministic and sorted by path, code, and message so the\n * same record produces identical CLI, promotion, test, and CI output in\n * every consuming language. A record with any error diagnostic must never\n * satisfy a deployment check.\n */\nexport function validateTestRunEvidence(evidence: TestRunEvidence): MarquetteDiagnostic[] {\n  const diagnostics: MarquetteDiagnostic[] = [];\n\n  if (evidence.format !== TEST_RUN_EVIDENCE_FORMAT) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_101\", \"format\", \"unsupported test-run evidence format marker\"),\n    );\n  }\n  if ((evidence.formatVersion ?? 1) !== TEST_RUN_EVIDENCE_FORMAT_VERSION) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_102\", \"formatVersion\", \"unsupported test-run evidence format version\"),\n    );\n  }\n\n  checkIdentifier(evidence.id, \"id\", diagnostics);\n  checkIdentifier(evidence.application, \"application\", diagnostics);\n  checkIdentifier(evidence.environment, \"environment\", diagnostics);\n  checkDigest(evidence.contractFingerprint, \"contractFingerprint\", diagnostics);\n  checkSourceRevision(evidence.sourceRevision, \"sourceRevision\", diagnostics);\n  if (evidence.release.length === 0 || evidence.release.length > 256) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_106\", \"release\", \"release must be between 1 and 256 characters\"),\n    );\n  }\n\n  checkIdentifier(evidence.artifact.id, \"artifact.id\", diagnostics);\n  checkDigest(evidence.artifact.fingerprint, \"artifact.fingerprint\", diagnostics);\n  if (evidence.artifact.sizeBytes === 0) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_110\", \"artifact.sizeBytes\", \"artifact size must be at least one byte\"),\n    );\n  }\n  checkSafeInteger(evidence.artifact.sizeBytes, \"artifact.sizeBytes\", diagnostics);\n\n  checkTimestamp(evidence.startedAt, \"startedAt\", diagnostics);\n  checkTimestamp(evidence.completedAt, \"completedAt\", diagnostics);\n  checkTimestamp(evidence.validUntil, \"validUntil\", diagnostics);\n  if (evidence.completedAt < evidence.startedAt) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_112\", \"completedAt\", \"run completion must not precede its start\"),\n    );\n  }\n  if (evidence.validUntil <= evidence.completedAt) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_113\", \"validUntil\", \"record expiry must come after run completion\"),\n    );\n  }\n\n  const runner = evidence.runner;\n  checkIdentifier(runner.identity, \"runner.identity\", diagnostics);\n  checkRetainedEvidence(\n    runner.authenticationEvidence,\n    \"runner.authenticationEvidence\",\n    diagnostics,\n  );\n  checkDigest(runner.invocationFingerprint, \"runner.invocationFingerprint\", diagnostics);\n  checkRetainedEvidence(runner.environmentEvidence, \"runner.environmentEvidence\", diagnostics);\n  checkDigest(runner.environmentFingerprint, \"runner.environmentFingerprint\", diagnostics);\n\n  const selection = evidence.selection;\n  if (selection.targetIds.length === 0 || selection.targetIds.length > TEST_RUN_MAX_TARGETS) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_115\",\n        \"selection.targetIds\",\n        \"selection must include between 1 and 32 targets\",\n      ),\n    );\n  }\n  if (selection.suiteIds.length === 0 || selection.suiteIds.length > TEST_RUN_MAX_SUITES) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_115\",\n        \"selection.suiteIds\",\n        \"selection must include between 1 and 512 suites\",\n      ),\n    );\n  }\n  for (const id of selection.targetIds) {\n    checkIdentifier(id, evidencePath(\"selection.targetIds\", id), diagnostics);\n  }\n  for (const id of selection.suiteIds) {\n    checkIdentifier(id, evidencePath(\"selection.suiteIds\", id), diagnostics);\n  }\n\n  validateTargets(evidence, diagnostics);\n  validateSuites(evidence, diagnostics);\n  validateVerification(evidence, diagnostics);\n\n  diagnostics.sort((left, right) =>\n    left.path !== right.path\n      ? left.path < right.path\n        ? -1\n        : 1\n      : left.code !== right.code\n        ? left.code < right.code\n          ? -1\n          : 1\n        : left.message < right.message\n          ? -1\n          : left.message > right.message\n            ? 1\n            : 0,\n  );\n  return diagnostics;\n}\n"],"mappings":";AAMA,MAAM,aAAa;AACnB,MAAM,SAAS;AACf,MAAM,kBAAkB;AACxB,MAAM,YACJ;;AAGF,SAAgB,aAAa,YAAoB,IAAoB;CACnE,OAAO,GAAG,WAAW,GAAG;;;AAI1B,SAAgB,MACd,MACA,MACA,SACqB;CACrB,OAAO;EAAE;EAAM,UAAU;EAAS;EAAM;EAAS;;;AAInD,SAAgB,gBACd,IACA,MACA,aACM;CACN,IAAI,CAAC,WAAW,KAAK,GAAG,EACtB,YAAY,KACV,MACE,sBACA,MACA,gFACD,CACF;CAEH,IAAI,GAAG,WAAW,KAAK,GAAG,SAAS,KACjC,YAAY,KACV,MAAM,sBAAsB,MAAM,kDAAkD,CACrF;;;AAKL,SAAgB,YAAY,OAAe,MAAc,aAA0C;CACjG,IAAI,CAAC,OAAO,KAAK,MAAM,EACrB,YAAY,KACV,MAAM,sBAAsB,MAAM,0DAA0D,CAC7F;;;AAKL,SAAgB,oBACd,OACA,MACA,aACM;CACN,IAAI,CAAC,gBAAgB,KAAK,MAAM,EAC9B,YAAY,KACV,MACE,sBACA,MACA,qEACD,CACF;;;AAKL,SAAgB,kBAAkB,OAAwB;CACxD,MAAM,QAAQ,UAAU,KAAK,MAAM;CACnC,IAAI,UAAU,MACZ,OAAO;CAET,MAAM,OAAO,OAAO,MAAM,GAAG;CAC7B,MAAM,QAAQ,OAAO,MAAM,GAAG;CAU9B,OATY,OAAO,MAAM,GASf,KAPR,UAAU,IACN,OAAO,MAAM,MAAM,OAAO,QAAQ,KAAK,OAAO,QAAQ,KACpD,KACA,KACF,UAAU,KAAK,UAAU,KAAK,UAAU,KAAK,UAAU,KACrD,KACA;;;AAKV,SAAgB,eACd,OACA,MACA,aACM;CACN,IAAI,CAAC,kBAAkB,MAAM,EAC3B,YAAY,KACV,MACE,sBACA,MACA,sFACD,CACF;;;AAKL,SAAgB,iBACd,OACA,MACA,aACM;CACN,IAAI,QAAA,kBACF,YAAY,KACV,MACE,sBACA,MACA,kEACD,CACF;;;;;;;;;AAWL,SAAgB,sBACd,UACA,MACA,aACM;CACN,YAAY,SAAS,aAAa,aAAa,MAAM,cAAc,EAAE,YAAY;CACjF,MAAM,SAAS,SAAS,UAAU,WAAW,UAAU,GACnD,SAAS,UAAU,MAAM,EAAiB,GAC1C,KAAA;CACJ,IAAI,WAAW,KAAA,KAAa,CAAC,OAAO,KAAK,OAAO,EAC9C,YAAY,KACV,MACE,sBACA,aAAa,MAAM,YAAY,EAC/B,qFACD,CACF;MACI,IAAI,WAAW,SAAS,aAC7B,YAAY,KACV,MACE,sBACA,aAAa,MAAM,YAAY,EAC/B,kEACD,CACF;;;;;AClJL,MAAa,uBAAuB;;AAGpC,MAAa,sBAAsB;;AAGnC,MAAa,sBAAsB;;AAGnC,SAAgB,gBACd,UACA,aACM;CACN,IAAI,SAAS,QAAQ,WAAW,KAAK,SAAS,QAAQ,SAAA,IACpD,YAAY,KACV,MACE,sBACA,WACA,yDACD,CACF;CAGH,MAAM,uBAAO,IAAI,KAAa;CAC9B,MAAM,WAAW,IAAI,IAAI,SAAS,UAAU,UAAU;CACtD,KAAK,MAAM,UAAU,SAAS,SAAS;EACrC,MAAM,OAAO,aAAa,WAAW,OAAO,GAAG;EAC/C,gBAAgB,OAAO,IAAI,MAAM,YAAY;EAC7C,gBAAgB,OAAO,aAAa,aAAa,MAAM,cAAc,EAAE,YAAY;EACnF,IAAI,KAAK,IAAI,OAAO,GAAG,EACrB,YAAY,KACV,MAAM,sBAAsB,MAAM,8CAA8C,CACjF;EAEH,KAAK,IAAI,OAAO,GAAG;EACnB,IAAI,CAAC,SAAS,IAAI,OAAO,GAAG,EAC1B,YAAY,KACV,MAAM,sBAAsB,MAAM,uDAAuD,CAC1F;;CAGL,KAAK,MAAM,MAAM,SAAS,UAAU,WAClC,IAAI,CAAC,KAAK,IAAI,GAAG,EACf,YAAY,KACV,MACE,sBACA,aAAa,uBAAuB,GAAG,EACvC,4CACD,CACF;;;AAgBP,SAAgB,eACd,UACA,aACM;CACN,IAAI,SAAS,OAAO,WAAW,KAAK,SAAS,OAAO,SAAA,KAClD,YAAY,KACV,MACE,sBACA,UACA,yDACD,CACF;CAGH,MAAM,yBAAS,IAAI,KAAyB;CAC5C,MAAM,WAAW,IAAI,IAAI,SAAS,UAAU,SAAS;CACrD,MAAM,kBAAkB,IAAI,IAAI,SAAS,QAAQ,KAAK,WAAW,OAAO,GAAG,CAAC;CAC5E,KAAK,MAAM,SAAS,SAAS,QAAQ;EACnC,MAAM,OAAO,aAAa,UAAU,MAAM,GAAG;EAC7C,IAAI,QAAQ,OAAO,IAAI,MAAM,GAAG;EAChC,IAAI,UAAU,KAAA,GAAW;GACvB,QAAQ;IACN,YAAY,MAAM;IAClB,MAAM,MAAM;IACZ,UAAU,MAAM;IAChB,yBAAS,IAAI,KAAK;IAClB,eAAe;IACf,iBAAiB;IACjB,gBAAgB;IACjB;GACD,OAAO,IAAI,MAAM,IAAI,MAAM;GAI3B,gBAAgB,MAAM,IAAI,MAAM,YAAY;GAC5C,IAAI,CAAC,SAAS,IAAI,MAAM,GAAG,EACzB,YAAY,KACV,MAAM,sBAAsB,MAAM,sDAAsD,CACzF;GAEH,IAAI,CAAC,gBAAgB,IAAI,MAAM,SAAS,EACtC,YAAY,KACV,MACE,sBACA,aAAa,MAAM,WAAW,EAC9B,gDACD,CACF;;EAGL,MAAM,kBAAkB,MAAM,SAAS,MAAM;EAC7C,MAAM,oBAAoB,MAAM,aAAa,MAAM;EACnD,MAAM,mBAAmB,MAAM,eAAe,MAAM;EACpD,IAAI,MAAM,QAAQ,IAAI,MAAM,WAAW,EACrC,YAAY,KAAK,MAAM,sBAAsB,MAAM,yCAAyC,CAAC;EAE/F,MAAM,QAAQ,IAAI,MAAM,WAAW;EACnC,IACE,MAAM,eAAe,KACrB,MAAM,aAAA,QACN,MAAM,eAAe,KACrB,MAAM,aAAa,MAAM,YAEzB,YAAY,KACV,MACE,sBACA,aAAa,MAAM,aAAa,EAChC,gEACD,CACF;EAEH,iBAAiB,MAAM,YAAY,aAAa,MAAM,aAAa,EAAE,YAAY;EACjF,YACE,MAAM,uBACN,aAAa,MAAM,wBAAwB,EAC3C,YACD;EACD,sBAAsB,MAAM,QAAQ,aAAa,MAAM,SAAS,EAAE,YAAY;EAC9E,sBAAsB,MAAM,KAAK,aAAa,MAAM,MAAM,EAAE,YAAY;EAExE,MAAM,WAAW,MAAM,SAAS,MAAM,SAAS,MAAM;EAOrD,IAAI,EALF,MAAM,YAAY,WACd,MAAM,WAAW,KAAK,WAAW,IACjC,MAAM,YAAY,WAChB,MAAM,SAAS,IACf,OAEN,YAAY,KACV,MACE,sBACA,aAAa,MAAM,UAAU,EAC7B,mDACD,CACF;;CAIL,KAAK,MAAM,MAAM,SAAS,UAAU,UAClC,IAAI,CAAC,OAAO,IAAI,GAAG,EACjB,YAAY,KACV,MACE,sBACA,aAAa,sBAAsB,GAAG,EACtC,2CACD,CACF;CAIL,KAAK,MAAM,CAAC,IAAI,UAAU,QAAQ;EAChC,MAAM,OAAO,aAAa,UAAU,GAAG;EACvC,IAAI,MAAM,iBAAiB,MAAM,mBAAmB,MAAM,gBACxD,YAAY,KACV,MACE,sBACA,MACA,wEACD,CACF;OACI,IACL,MAAM,eAAe,KACrB,MAAM,cAAA,QACN,MAAM,QAAQ,SAAS,MAAM,YAE7B,YAAY,KACV,MACE,sBACA,MACA,2CAA2C,MAAM,aAClD,CACF;;;;AAMP,SAAgB,qBACd,UACA,aACM;CACN,MAAM,eAAe,SAAS;CAC9B,gBAAgB,aAAa,UAAU,yBAAyB,YAAY;CAC5E,eAAe,aAAa,aAAa,4BAA4B,YAAY;CACjF,sBAAsB,aAAa,UAAU,yBAAyB,YAAY;CAClF,IAAI,aAAa,cAAc,SAAS,aACtC,YAAY,KACV,MACE,sBACA,4BACA,qDACD,CACF;CAEH,IAAI,aAAa,gBAAgB,SAAS,QAAQ,QAChD,YAAY,KACV,MACE,sBACA,4BACA,kEACD,CACF;CAEH,IAAI,aAAa,eAAe,SAAS,OAAO,QAC9C,YAAY,KACV,MACE,sBACA,2BACA,gEACD,CACF;CAGH,MAAM,SAAS;EAAE,QAAQ;EAAG,QAAQ;EAAG,SAAS;EAAG,SAAS;EAAG;CAC/D,KAAK,MAAM,SAAS,SAAS,QAAQ;EACnC,OAAO,UAAU,MAAM;EACvB,OAAO,UAAU,MAAM;EACvB,OAAO,WAAW,MAAM;EACxB,OAAO,WAAW,MAAM;;CAE1B,MAAM,WAAW;EACf;GAAC,OAAO;GAAQ,aAAa;GAAQ;GAAuB;GAAS;EACrE;GAAC,OAAO;GAAQ,aAAa;GAAQ;GAAuB;GAAS;EACrE;GAAC,OAAO;GAAS,aAAa;GAAS;GAAwB;GAAU;EACzE;GAAC,OAAO;GAAS,aAAa;GAAS;GAAwB;GAAU;EAC1E;CACD,KAAK,MAAM,CAAC,OAAO,OAAO,MAAM,SAAS,UACvC,IAAI,UAAU,OACZ,YAAY,KACV,MACE,sBACA,MACA,YAAY,KAAK,iDAClB,CACF;CAIL,IAAI,aAAa,YAAY;MAIvB,CAHU,SAAS,OAAO,OAC3B,UAAU,MAAM,YAAY,YAAY,MAAM,WAAW,EAElD,IAAI,aAAa,SAAS,GAClC,YAAY,KACV,MACE,sBACA,wBACA,uEACD,CACF;;;;;;;;;;;;;AC3PP,SAAgB,wBAAwB,UAAkD;CACxF,MAAM,cAAqC,EAAE;CAE7C,IAAI,SAAS,WAAA,0BACX,YAAY,KACV,MAAM,sBAAsB,UAAU,8CAA8C,CACrF;CAEH,KAAK,SAAS,iBAAiB,OAAA,GAC7B,YAAY,KACV,MAAM,sBAAsB,iBAAiB,+CAA+C,CAC7F;CAGH,gBAAgB,SAAS,IAAI,MAAM,YAAY;CAC/C,gBAAgB,SAAS,aAAa,eAAe,YAAY;CACjE,gBAAgB,SAAS,aAAa,eAAe,YAAY;CACjE,YAAY,SAAS,qBAAqB,uBAAuB,YAAY;CAC7E,oBAAoB,SAAS,gBAAgB,kBAAkB,YAAY;CAC3E,IAAI,SAAS,QAAQ,WAAW,KAAK,SAAS,QAAQ,SAAS,KAC7D,YAAY,KACV,MAAM,sBAAsB,WAAW,+CAA+C,CACvF;CAGH,gBAAgB,SAAS,SAAS,IAAI,eAAe,YAAY;CACjE,YAAY,SAAS,SAAS,aAAa,wBAAwB,YAAY;CAC/E,IAAI,SAAS,SAAS,cAAc,GAClC,YAAY,KACV,MAAM,sBAAsB,sBAAsB,0CAA0C,CAC7F;CAEH,iBAAiB,SAAS,SAAS,WAAW,sBAAsB,YAAY;CAEhF,eAAe,SAAS,WAAW,aAAa,YAAY;CAC5D,eAAe,SAAS,aAAa,eAAe,YAAY;CAChE,eAAe,SAAS,YAAY,cAAc,YAAY;CAC9D,IAAI,SAAS,cAAc,SAAS,WAClC,YAAY,KACV,MAAM,sBAAsB,eAAe,4CAA4C,CACxF;CAEH,IAAI,SAAS,cAAc,SAAS,aAClC,YAAY,KACV,MAAM,sBAAsB,cAAc,+CAA+C,CAC1F;CAGH,MAAM,SAAS,SAAS;CACxB,gBAAgB,OAAO,UAAU,mBAAmB,YAAY;CAChE,sBACE,OAAO,wBACP,iCACA,YACD;CACD,YAAY,OAAO,uBAAuB,gCAAgC,YAAY;CACtF,sBAAsB,OAAO,qBAAqB,8BAA8B,YAAY;CAC5F,YAAY,OAAO,wBAAwB,iCAAiC,YAAY;CAExF,MAAM,YAAY,SAAS;CAC3B,IAAI,UAAU,UAAU,WAAW,KAAK,UAAU,UAAU,SAAA,IAC1D,YAAY,KACV,MACE,sBACA,uBACA,kDACD,CACF;CAEH,IAAI,UAAU,SAAS,WAAW,KAAK,UAAU,SAAS,SAAA,KACxD,YAAY,KACV,MACE,sBACA,sBACA,kDACD,CACF;CAEH,KAAK,MAAM,MAAM,UAAU,WACzB,gBAAgB,IAAI,aAAa,uBAAuB,GAAG,EAAE,YAAY;CAE3E,KAAK,MAAM,MAAM,UAAU,UACzB,gBAAgB,IAAI,aAAa,sBAAsB,GAAG,EAAE,YAAY;CAG1E,gBAAgB,UAAU,YAAY;CACtC,eAAe,UAAU,YAAY;CACrC,qBAAqB,UAAU,YAAY;CAE3C,YAAY,MAAM,MAAM,UACtB,KAAK,SAAS,MAAM,OAChB,KAAK,OAAO,MAAM,OAChB,KACA,IACF,KAAK,SAAS,MAAM,OAClB,KAAK,OAAO,MAAM,OAChB,KACA,IACF,KAAK,UAAU,MAAM,UACnB,KACA,KAAK,UAAU,MAAM,UACnB,IACA,EACX;CACD,OAAO"}

package/dist/test-run-validate.mjs

@@ -1,2 +1,2 @@
-import { i as TEST_RUN_MAX_TARGETS, n as TEST_RUN_MAX_SHARDS, r as TEST_RUN_MAX_SUITES, t as validateTestRunEvidence } from "./test-run-validate-XF0vyoWI.mjs";
+import { i as TEST_RUN_MAX_TARGETS, n as TEST_RUN_MAX_SHARDS, r as TEST_RUN_MAX_SUITES, t as validateTestRunEvidence } from "./test-run-validate-C_KR031E.mjs";
 export { TEST_RUN_MAX_SHARDS, TEST_RUN_MAX_SUITES, TEST_RUN_MAX_TARGETS, validateTestRunEvidence };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vizejs/marquette",
-  "version": "0.302.0",
+  "version": "0.303.0",
   "description": "Typed application marquettes for every Vize target",
   "keywords": [
     "application-contract",
@@ -75,6 +75,16 @@
   "publishConfig": {
     "access": "public"
   },
+  "devDependencies": {
+    "@types/node": "25.9.2",
+    "@typescript/native-preview": "7.0.0-dev.20260602.1",
+    "tsx": "4.22.4",
+    "typescript": "6.0.3",
+    "vite-plus": "0.1.21"
+  },
+  "engines": {
+    "node": ">=22"
+  },
   "scripts": {
     "build": "vp pack && node scripts/check-size.mjs",
     "check": "vp check README.md package.json tsconfig.json src scripts vite.config.ts && tsgo --noEmit -p tsconfig.json",
@@ -84,15 +94,5 @@
     "dev": "vp pack --watch",
     "fmt": "vp fmt --write README.md package.json tsconfig.json src scripts vite.config.ts",
     "test": "vp exec tsx --test src/**/*.test.ts"
-  },
-  "devDependencies": {
-    "@types/node": "catalog:typescript",
-    "@typescript/native-preview": "catalog:typescript",
-    "tsx": "catalog:typescript",
-    "typescript": "catalog:typescript",
-    "vite-plus": "catalog:vite-stack"
-  },
-  "engines": {
-    "node": ">=22"
   }
-}
+}

package/dist/test-run-canonical.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"test-run-canonical.d.mts","names":[],"sources":["../src/test-run-canonical.ts"],"mappings":";;;;cAQa,yBAAA;AAAb;;;;;AAwCA;;;;AAxCA,iBAwCgB,oBAAA,CAAqB,QAAA,EAAU,eAAA;AA6D/C;;;;;;;AAAA,iBAAsB,kBAAA,CAAmB,QAAA,EAAU,eAAA,GAAkB,OAAA;;iBAW/C,kBAAA,CAAmB,QAAA,EAAU,eAAA,GAAkB,OAAA;;;;;;;iBAUrD,uBAAA,CAAwB,EAAA"}

package/dist/test-run-validate-XF0vyoWI.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"test-run-validate-XF0vyoWI.mjs","names":[],"sources":["../src/test-run-validate-rules.ts","../src/test-run-validate-executions.ts","../src/test-run-validate.ts"],"sourcesContent":["import type { MarquetteDiagnostic } from \"./validate.js\";\nimport type { TestRunRetainedEvidence } from \"./test-run-model.js\";\n\n/** Largest integer every consuming language can represent exactly. */\nexport const MAX_SAFE_EVIDENCE_INTEGER = 9007199254740991;\n\nconst IDENTIFIER = /^[a-z0-9][a-z0-9._-]*$/;\nconst DIGEST = /^[a-f0-9]{64}$/;\nconst SOURCE_REVISION = /^[a-f0-9]{40,128}$/;\nconst TIMESTAMP =\n  /^([0-9]{4})-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])T([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9]\\.[0-9]{3}Z$/;\n\n/** Builds the stable diagnostic path for a named collection member. */\nexport function evidencePath(collection: string, id: string): string {\n  return `${collection}.${id}`;\n}\n\n/** Creates one error diagnostic. */\nexport function error(\n  code: MarquetteDiagnostic[\"code\"],\n  path: string,\n  message: string,\n): MarquetteDiagnostic {\n  return { code, severity: \"error\", path, message };\n}\n\n/** Validates the shared identifier grammar and the schema length bound. */\nexport function checkIdentifier(\n  id: string,\n  path: string,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  if (!IDENTIFIER.test(id)) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_103\",\n        path,\n        \"identifier must use lowercase ASCII letters, digits, dash, underscore, or dot\",\n      ),\n    );\n  }\n  if (id.length === 0 || id.length > 128) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_103\", path, \"identifier must be between 1 and 128 characters\"),\n    );\n  }\n}\n\n/** Validates a lowercase 64-character SHA-256 fingerprint. */\nexport function checkDigest(value: string, path: string, diagnostics: MarquetteDiagnostic[]): void {\n  if (!DIGEST.test(value)) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_104\", path, \"fingerprint must be 64 lowercase hexadecimal characters\"),\n    );\n  }\n}\n\n/** Validates an exact source revision digest. */\nexport function checkSourceRevision(value: string, diagnostics: MarquetteDiagnostic[]): void {\n  if (!SOURCE_REVISION.test(value)) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_105\",\n        \"sourceRevision\",\n        \"source revision must be 40 to 128 lowercase hexadecimal characters\",\n      ),\n    );\n  }\n}\n\n/** Returns whether `value` is a millisecond-precision UTC calendar instant. */\nexport function isStrictTimestamp(value: string): boolean {\n  const match = TIMESTAMP.exec(value);\n  if (match === null) {\n    return false;\n  }\n  const year = Number(match[1]);\n  const month = Number(match[2]);\n  const day = Number(match[3]);\n  const maxDay =\n    month === 2\n      ? year % 4 === 0 && (year % 100 !== 0 || year % 400 === 0)\n        ? 29\n        : 28\n      : month === 4 || month === 6 || month === 9 || month === 11\n        ? 30\n        : 31;\n  return day <= maxDay;\n}\n\n/** Validates a millisecond-precision UTC timestamp. */\nexport function checkTimestamp(\n  value: string,\n  path: string,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  if (!isStrictTimestamp(value)) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_107\",\n        path,\n        \"timestamp must be a millisecond-precision UTC instant like 2026-01-01T00:00:00.000Z\",\n      ),\n    );\n  }\n}\n\n/** Rejects integers that lose precision in a consuming language. */\nexport function checkSafeInteger(\n  value: number,\n  path: string,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  if (value > MAX_SAFE_EVIDENCE_INTEGER) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_111\",\n        path,\n        \"value must not exceed the largest exactly-representable integer\",\n      ),\n    );\n  }\n}\n\n/**\n * Validates an immutable retained-evidence binding.\n *\n * The retrieval reference must be content-addressed and name exactly the\n * fingerprinted bytes; anything else would let retained evidence mutate\n * behind a stable-looking record.\n */\nexport function checkRetainedEvidence(\n  retained: TestRunRetainedEvidence,\n  path: string,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  checkDigest(retained.fingerprint, evidencePath(path, \"fingerprint\"), diagnostics);\n  const suffix = retained.reference.startsWith(\"sha256:\")\n    ? retained.reference.slice(\"sha256:\".length)\n    : undefined;\n  if (suffix === undefined || !DIGEST.test(suffix)) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_108\",\n        evidencePath(path, \"reference\"),\n        \"evidence reference must be sha256: followed by 64 lowercase hexadecimal characters\",\n      ),\n    );\n  } else if (suffix !== retained.fingerprint) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_109\",\n        evidencePath(path, \"reference\"),\n        \"content-addressed reference must name the fingerprinted content\",\n      ),\n    );\n  }\n}\n","import type { MarquetteDiagnostic } from \"./validate.js\";\nimport type { TestRunEvidence, TestRunSuiteExecution } from \"./test-run-model.js\";\nimport {\n  checkDigest,\n  checkIdentifier,\n  checkRetainedEvidence,\n  checkSafeInteger,\n  checkTimestamp,\n  error,\n  evidencePath,\n} from \"./test-run-validate-rules.js\";\n\n/** Maximum recorded target executions and selected target identifiers. */\nexport const TEST_RUN_MAX_TARGETS = 32;\n\n/** Maximum recorded suite executions and selected suite identifiers. */\nexport const TEST_RUN_MAX_SUITES = 512;\n\n/** Maximum shard index and shard count for one suite execution. */\nexport const TEST_RUN_MAX_SHARDS = 1024;\n\n/** Validates recorded target executions against the candidate selection. */\nexport function validateTargets(\n  evidence: TestRunEvidence,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  if (evidence.targets.length === 0 || evidence.targets.length > TEST_RUN_MAX_TARGETS) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_131\",\n        \"targets\",\n        \"record must include between 1 and 32 target executions\",\n      ),\n    );\n  }\n\n  const seen = new Set<string>();\n  const selected = new Set(evidence.selection.targetIds);\n  for (const target of evidence.targets) {\n    const path = evidencePath(\"targets\", target.id);\n    checkIdentifier(target.id, path, diagnostics);\n    checkIdentifier(target.environment, evidencePath(path, \"environment\"), diagnostics);\n    if (seen.has(target.id)) {\n      diagnostics.push(\n        error(\"VIZE_MARQUETTE_117\", path, \"target execution is recorded more than once\"),\n      );\n    }\n    seen.add(target.id);\n    if (!selected.has(target.id)) {\n      diagnostics.push(\n        error(\"VIZE_MARQUETTE_118\", path, \"target execution was not selected for this candidate\"),\n      );\n    }\n  }\n  for (const id of evidence.selection.targetIds) {\n    if (!seen.has(id)) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_119\",\n          evidencePath(\"selection.targetIds\", id),\n          \"selected target has no recorded execution\",\n        ),\n      );\n    }\n  }\n}\n\ninterface ShardGroup {\n  readonly shardCount: number;\n  readonly kind: TestRunSuiteExecution[\"kind\"];\n  readonly targetId: string;\n  readonly indexes: Set<number>;\n  kindsDisagree: boolean;\n  targetsDisagree: boolean;\n  countsDisagree: boolean;\n}\n\n/** Validates recorded suite executions, shards, and their consistency. */\nexport function validateSuites(\n  evidence: TestRunEvidence,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  if (evidence.suites.length === 0 || evidence.suites.length > TEST_RUN_MAX_SUITES) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_131\",\n        \"suites\",\n        \"record must include between 1 and 512 suite executions\",\n      ),\n    );\n  }\n\n  const shards = new Map<string, ShardGroup>();\n  const selected = new Set(evidence.selection.suiteIds);\n  const recordedTargets = new Set(evidence.targets.map((target) => target.id));\n  for (const suite of evidence.suites) {\n    const path = evidencePath(\"suites\", suite.id);\n    let group = shards.get(suite.id);\n    if (group === undefined) {\n      group = {\n        shardCount: suite.shardCount,\n        kind: suite.kind,\n        targetId: suite.targetId,\n        indexes: new Set(),\n        kindsDisagree: false,\n        targetsDisagree: false,\n        countsDisagree: false,\n      };\n      shards.set(suite.id, group);\n      // Suite-id-scoped invariants are shard-independent, so evaluate them\n      // once per unique suite id. Running them per shard would emit the same\n      // code/path/message diagnostic once for every shard of the suite.\n      checkIdentifier(suite.id, path, diagnostics);\n      if (!selected.has(suite.id)) {\n        diagnostics.push(\n          error(\"VIZE_MARQUETTE_121\", path, \"suite execution was not selected for this candidate\"),\n        );\n      }\n      if (!recordedTargets.has(suite.targetId)) {\n        diagnostics.push(\n          error(\n            \"VIZE_MARQUETTE_123\",\n            evidencePath(path, \"targetId\"),\n            \"suite target has no recorded target execution\",\n          ),\n        );\n      }\n    }\n    group.kindsDisagree ||= group.kind !== suite.kind;\n    group.targetsDisagree ||= group.targetId !== suite.targetId;\n    group.countsDisagree ||= group.shardCount !== suite.shardCount;\n    if (group.indexes.has(suite.shardIndex)) {\n      diagnostics.push(error(\"VIZE_MARQUETTE_120\", path, \"suite shard is recorded more than once\"));\n    }\n    group.indexes.add(suite.shardIndex);\n    if (\n      suite.shardCount === 0 ||\n      suite.shardCount > TEST_RUN_MAX_SHARDS ||\n      suite.shardIndex === 0 ||\n      suite.shardIndex > suite.shardCount\n    ) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_124\",\n          evidencePath(path, \"shardIndex\"),\n          \"shard index must fall within a shard count between 1 and 1024\",\n        ),\n      );\n    }\n    checkSafeInteger(suite.durationMs, evidencePath(path, \"durationMs\"), diagnostics);\n    checkDigest(\n      suite.invocationFingerprint,\n      evidencePath(path, \"invocationFingerprint\"),\n      diagnostics,\n    );\n    checkRetainedEvidence(suite.report, evidencePath(path, \"report\"), diagnostics);\n    checkRetainedEvidence(suite.log, evidencePath(path, \"log\"), diagnostics);\n\n    const executed = suite.passed + suite.failed + suite.skipped;\n    const consistent =\n      suite.outcome === \"passed\"\n        ? suite.failed === 0 && executed > 0\n        : suite.outcome === \"failed\"\n          ? suite.failed > 0\n          : true;\n    if (!consistent) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_130\",\n          evidencePath(path, \"outcome\"),\n          \"suite outcome does not match its recorded counts\",\n        ),\n      );\n    }\n  }\n\n  for (const id of evidence.selection.suiteIds) {\n    if (!shards.has(id)) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_122\",\n          evidencePath(\"selection.suiteIds\", id),\n          \"selected suite has no recorded execution\",\n        ),\n      );\n    }\n  }\n\n  for (const [id, group] of shards) {\n    const path = evidencePath(\"suites\", id);\n    if (group.kindsDisagree || group.targetsDisagree || group.countsDisagree) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_126\",\n          path,\n          \"every shard of one suite must share its kind, target, and shard count\",\n        ),\n      );\n    } else if (\n      group.shardCount !== 0 &&\n      group.shardCount <= TEST_RUN_MAX_SHARDS &&\n      group.indexes.size !== group.shardCount\n    ) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_125\",\n          path,\n          `suite must record every shard from 1 to ${group.shardCount}`,\n        ),\n      );\n    }\n  }\n}\n\n/** Validates the independent verification summary. */\nexport function validateVerification(\n  evidence: TestRunEvidence,\n  diagnostics: MarquetteDiagnostic[],\n): void {\n  const verification = evidence.verification;\n  checkIdentifier(verification.verifier, \"verification.verifier\", diagnostics);\n  checkTimestamp(verification.completedAt, \"verification.completedAt\", diagnostics);\n  checkRetainedEvidence(verification.evidence, \"verification.evidence\", diagnostics);\n  if (verification.completedAt < evidence.completedAt) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_114\",\n        \"verification.completedAt\",\n        \"verification must complete after the run completes\",\n      ),\n    );\n  }\n  if (verification.targetCount !== evidence.targets.length) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_127\",\n        \"verification.targetCount\",\n        \"verified target count must equal the recorded target executions\",\n      ),\n    );\n  }\n  if (verification.suiteCount !== evidence.suites.length) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_127\",\n        \"verification.suiteCount\",\n        \"verified suite count must equal the recorded suite executions\",\n      ),\n    );\n  }\n\n  const totals = { passed: 0, failed: 0, skipped: 0, retries: 0 };\n  for (const suite of evidence.suites) {\n    totals.passed += suite.passed;\n    totals.failed += suite.failed;\n    totals.skipped += suite.skipped;\n    totals.retries += suite.retries;\n  }\n  const recorded = [\n    [totals.passed, verification.passed, \"verification.passed\", \"passed\"],\n    [totals.failed, verification.failed, \"verification.failed\", \"failed\"],\n    [totals.skipped, verification.skipped, \"verification.skipped\", \"skipped\"],\n    [totals.retries, verification.retries, \"verification.retries\", \"retried\"],\n  ] as const;\n  for (const [total, value, path, name] of recorded) {\n    if (total !== value) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_128\",\n          path,\n          `verified ${name} total must equal the sum over suite executions`,\n        ),\n      );\n    }\n  }\n\n  if (verification.outcome === \"accepted\") {\n    const clean = evidence.suites.every(\n      (suite) => suite.outcome === \"passed\" && suite.failed === 0,\n    );\n    if (!clean || verification.failed > 0) {\n      diagnostics.push(\n        error(\n          \"VIZE_MARQUETTE_129\",\n          \"verification.outcome\",\n          \"verification cannot accept a run with failed or cancelled executions\",\n        ),\n      );\n    }\n  }\n}\n","import type { MarquetteDiagnostic } from \"./validate.js\";\nimport type { TestRunEvidence } from \"./test-run-model.js\";\nimport { TEST_RUN_EVIDENCE_FORMAT, TEST_RUN_EVIDENCE_FORMAT_VERSION } from \"./test-run-model.js\";\nimport {\n  checkDigest,\n  checkIdentifier,\n  checkRetainedEvidence,\n  checkSafeInteger,\n  checkSourceRevision,\n  checkTimestamp,\n  error,\n  evidencePath,\n} from \"./test-run-validate-rules.js\";\nimport {\n  TEST_RUN_MAX_SUITES,\n  TEST_RUN_MAX_TARGETS,\n  validateSuites,\n  validateTargets,\n  validateVerification,\n} from \"./test-run-validate-executions.js\";\n\nexport {\n  TEST_RUN_MAX_SHARDS,\n  TEST_RUN_MAX_SUITES,\n  TEST_RUN_MAX_TARGETS,\n} from \"./test-run-validate-executions.js\";\nexport type { MarquetteDiagnostic, MarquetteDiagnosticSeverity } from \"./validate.js\";\n\n/**\n * Validates a complete test-run evidence record.\n *\n * Diagnostics are deterministic and sorted by path, code, and message so the\n * same record produces identical CLI, promotion, test, and CI output in\n * every consuming language. A record with any error diagnostic must never\n * satisfy a deployment check.\n */\nexport function validateTestRunEvidence(evidence: TestRunEvidence): MarquetteDiagnostic[] {\n  const diagnostics: MarquetteDiagnostic[] = [];\n\n  if (evidence.format !== TEST_RUN_EVIDENCE_FORMAT) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_101\", \"format\", \"unsupported test-run evidence format marker\"),\n    );\n  }\n  if ((evidence.formatVersion ?? 1) !== TEST_RUN_EVIDENCE_FORMAT_VERSION) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_102\", \"formatVersion\", \"unsupported test-run evidence format version\"),\n    );\n  }\n\n  checkIdentifier(evidence.id, \"id\", diagnostics);\n  checkIdentifier(evidence.application, \"application\", diagnostics);\n  checkIdentifier(evidence.environment, \"environment\", diagnostics);\n  checkDigest(evidence.contractFingerprint, \"contractFingerprint\", diagnostics);\n  checkSourceRevision(evidence.sourceRevision, diagnostics);\n  if (evidence.release.length === 0 || evidence.release.length > 256) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_106\", \"release\", \"release must be between 1 and 256 characters\"),\n    );\n  }\n\n  checkIdentifier(evidence.artifact.id, \"artifact.id\", diagnostics);\n  checkDigest(evidence.artifact.fingerprint, \"artifact.fingerprint\", diagnostics);\n  if (evidence.artifact.sizeBytes === 0) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_110\", \"artifact.sizeBytes\", \"artifact size must be at least one byte\"),\n    );\n  }\n  checkSafeInteger(evidence.artifact.sizeBytes, \"artifact.sizeBytes\", diagnostics);\n\n  checkTimestamp(evidence.startedAt, \"startedAt\", diagnostics);\n  checkTimestamp(evidence.completedAt, \"completedAt\", diagnostics);\n  checkTimestamp(evidence.validUntil, \"validUntil\", diagnostics);\n  if (evidence.completedAt < evidence.startedAt) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_112\", \"completedAt\", \"run completion must not precede its start\"),\n    );\n  }\n  if (evidence.validUntil <= evidence.completedAt) {\n    diagnostics.push(\n      error(\"VIZE_MARQUETTE_113\", \"validUntil\", \"record expiry must come after run completion\"),\n    );\n  }\n\n  const runner = evidence.runner;\n  checkIdentifier(runner.identity, \"runner.identity\", diagnostics);\n  checkRetainedEvidence(\n    runner.authenticationEvidence,\n    \"runner.authenticationEvidence\",\n    diagnostics,\n  );\n  checkDigest(runner.invocationFingerprint, \"runner.invocationFingerprint\", diagnostics);\n  checkRetainedEvidence(runner.environmentEvidence, \"runner.environmentEvidence\", diagnostics);\n  checkDigest(runner.environmentFingerprint, \"runner.environmentFingerprint\", diagnostics);\n\n  const selection = evidence.selection;\n  if (selection.targetIds.length === 0 || selection.targetIds.length > TEST_RUN_MAX_TARGETS) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_115\",\n        \"selection.targetIds\",\n        \"selection must include between 1 and 32 targets\",\n      ),\n    );\n  }\n  if (selection.suiteIds.length === 0 || selection.suiteIds.length > TEST_RUN_MAX_SUITES) {\n    diagnostics.push(\n      error(\n        \"VIZE_MARQUETTE_115\",\n        \"selection.suiteIds\",\n        \"selection must include between 1 and 512 suites\",\n      ),\n    );\n  }\n  for (const id of selection.targetIds) {\n    checkIdentifier(id, evidencePath(\"selection.targetIds\", id), diagnostics);\n  }\n  for (const id of selection.suiteIds) {\n    checkIdentifier(id, evidencePath(\"selection.suiteIds\", id), diagnostics);\n  }\n\n  validateTargets(evidence, diagnostics);\n  validateSuites(evidence, diagnostics);\n  validateVerification(evidence, diagnostics);\n\n  diagnostics.sort((left, right) =>\n    left.path !== right.path\n      ? left.path < right.path\n        ? -1\n        : 1\n      : left.code !== right.code\n        ? left.code < right.code\n          ? -1\n          : 1\n        : left.message < right.message\n          ? -1\n          : left.message > right.message\n            ? 1\n            : 0,\n  );\n  return diagnostics;\n}\n"],"mappings":";AAMA,MAAM,aAAa;AACnB,MAAM,SAAS;AACf,MAAM,kBAAkB;AACxB,MAAM,YACJ;;AAGF,SAAgB,aAAa,YAAoB,IAAoB;CACnE,OAAO,GAAG,WAAW,GAAG;;;AAI1B,SAAgB,MACd,MACA,MACA,SACqB;CACrB,OAAO;EAAE;EAAM,UAAU;EAAS;EAAM;EAAS;;;AAInD,SAAgB,gBACd,IACA,MACA,aACM;CACN,IAAI,CAAC,WAAW,KAAK,GAAG,EACtB,YAAY,KACV,MACE,sBACA,MACA,gFACD,CACF;CAEH,IAAI,GAAG,WAAW,KAAK,GAAG,SAAS,KACjC,YAAY,KACV,MAAM,sBAAsB,MAAM,kDAAkD,CACrF;;;AAKL,SAAgB,YAAY,OAAe,MAAc,aAA0C;CACjG,IAAI,CAAC,OAAO,KAAK,MAAM,EACrB,YAAY,KACV,MAAM,sBAAsB,MAAM,0DAA0D,CAC7F;;;AAKL,SAAgB,oBAAoB,OAAe,aAA0C;CAC3F,IAAI,CAAC,gBAAgB,KAAK,MAAM,EAC9B,YAAY,KACV,MACE,sBACA,kBACA,qEACD,CACF;;;AAKL,SAAgB,kBAAkB,OAAwB;CACxD,MAAM,QAAQ,UAAU,KAAK,MAAM;CACnC,IAAI,UAAU,MACZ,OAAO;CAET,MAAM,OAAO,OAAO,MAAM,GAAG;CAC7B,MAAM,QAAQ,OAAO,MAAM,GAAG;CAU9B,OATY,OAAO,MAAM,GASf,KAPR,UAAU,IACN,OAAO,MAAM,MAAM,OAAO,QAAQ,KAAK,OAAO,QAAQ,KACpD,KACA,KACF,UAAU,KAAK,UAAU,KAAK,UAAU,KAAK,UAAU,KACrD,KACA;;;AAKV,SAAgB,eACd,OACA,MACA,aACM;CACN,IAAI,CAAC,kBAAkB,MAAM,EAC3B,YAAY,KACV,MACE,sBACA,MACA,sFACD,CACF;;;AAKL,SAAgB,iBACd,OACA,MACA,aACM;CACN,IAAI,QAAA,kBACF,YAAY,KACV,MACE,sBACA,MACA,kEACD,CACF;;;;;;;;;AAWL,SAAgB,sBACd,UACA,MACA,aACM;CACN,YAAY,SAAS,aAAa,aAAa,MAAM,cAAc,EAAE,YAAY;CACjF,MAAM,SAAS,SAAS,UAAU,WAAW,UAAU,GACnD,SAAS,UAAU,MAAM,EAAiB,GAC1C,KAAA;CACJ,IAAI,WAAW,KAAA,KAAa,CAAC,OAAO,KAAK,OAAO,EAC9C,YAAY,KACV,MACE,sBACA,aAAa,MAAM,YAAY,EAC/B,qFACD,CACF;MACI,IAAI,WAAW,SAAS,aAC7B,YAAY,KACV,MACE,sBACA,aAAa,MAAM,YAAY,EAC/B,kEACD,CACF;;;;;AC9IL,MAAa,uBAAuB;;AAGpC,MAAa,sBAAsB;;AAGnC,MAAa,sBAAsB;;AAGnC,SAAgB,gBACd,UACA,aACM;CACN,IAAI,SAAS,QAAQ,WAAW,KAAK,SAAS,QAAQ,SAAA,IACpD,YAAY,KACV,MACE,sBACA,WACA,yDACD,CACF;CAGH,MAAM,uBAAO,IAAI,KAAa;CAC9B,MAAM,WAAW,IAAI,IAAI,SAAS,UAAU,UAAU;CACtD,KAAK,MAAM,UAAU,SAAS,SAAS;EACrC,MAAM,OAAO,aAAa,WAAW,OAAO,GAAG;EAC/C,gBAAgB,OAAO,IAAI,MAAM,YAAY;EAC7C,gBAAgB,OAAO,aAAa,aAAa,MAAM,cAAc,EAAE,YAAY;EACnF,IAAI,KAAK,IAAI,OAAO,GAAG,EACrB,YAAY,KACV,MAAM,sBAAsB,MAAM,8CAA8C,CACjF;EAEH,KAAK,IAAI,OAAO,GAAG;EACnB,IAAI,CAAC,SAAS,IAAI,OAAO,GAAG,EAC1B,YAAY,KACV,MAAM,sBAAsB,MAAM,uDAAuD,CAC1F;;CAGL,KAAK,MAAM,MAAM,SAAS,UAAU,WAClC,IAAI,CAAC,KAAK,IAAI,GAAG,EACf,YAAY,KACV,MACE,sBACA,aAAa,uBAAuB,GAAG,EACvC,4CACD,CACF;;;AAgBP,SAAgB,eACd,UACA,aACM;CACN,IAAI,SAAS,OAAO,WAAW,KAAK,SAAS,OAAO,SAAA,KAClD,YAAY,KACV,MACE,sBACA,UACA,yDACD,CACF;CAGH,MAAM,yBAAS,IAAI,KAAyB;CAC5C,MAAM,WAAW,IAAI,IAAI,SAAS,UAAU,SAAS;CACrD,MAAM,kBAAkB,IAAI,IAAI,SAAS,QAAQ,KAAK,WAAW,OAAO,GAAG,CAAC;CAC5E,KAAK,MAAM,SAAS,SAAS,QAAQ;EACnC,MAAM,OAAO,aAAa,UAAU,MAAM,GAAG;EAC7C,IAAI,QAAQ,OAAO,IAAI,MAAM,GAAG;EAChC,IAAI,UAAU,KAAA,GAAW;GACvB,QAAQ;IACN,YAAY,MAAM;IAClB,MAAM,MAAM;IACZ,UAAU,MAAM;IAChB,yBAAS,IAAI,KAAK;IAClB,eAAe;IACf,iBAAiB;IACjB,gBAAgB;IACjB;GACD,OAAO,IAAI,MAAM,IAAI,MAAM;GAI3B,gBAAgB,MAAM,IAAI,MAAM,YAAY;GAC5C,IAAI,CAAC,SAAS,IAAI,MAAM,GAAG,EACzB,YAAY,KACV,MAAM,sBAAsB,MAAM,sDAAsD,CACzF;GAEH,IAAI,CAAC,gBAAgB,IAAI,MAAM,SAAS,EACtC,YAAY,KACV,MACE,sBACA,aAAa,MAAM,WAAW,EAC9B,gDACD,CACF;;EAGL,MAAM,kBAAkB,MAAM,SAAS,MAAM;EAC7C,MAAM,oBAAoB,MAAM,aAAa,MAAM;EACnD,MAAM,mBAAmB,MAAM,eAAe,MAAM;EACpD,IAAI,MAAM,QAAQ,IAAI,MAAM,WAAW,EACrC,YAAY,KAAK,MAAM,sBAAsB,MAAM,yCAAyC,CAAC;EAE/F,MAAM,QAAQ,IAAI,MAAM,WAAW;EACnC,IACE,MAAM,eAAe,KACrB,MAAM,aAAA,QACN,MAAM,eAAe,KACrB,MAAM,aAAa,MAAM,YAEzB,YAAY,KACV,MACE,sBACA,aAAa,MAAM,aAAa,EAChC,gEACD,CACF;EAEH,iBAAiB,MAAM,YAAY,aAAa,MAAM,aAAa,EAAE,YAAY;EACjF,YACE,MAAM,uBACN,aAAa,MAAM,wBAAwB,EAC3C,YACD;EACD,sBAAsB,MAAM,QAAQ,aAAa,MAAM,SAAS,EAAE,YAAY;EAC9E,sBAAsB,MAAM,KAAK,aAAa,MAAM,MAAM,EAAE,YAAY;EAExE,MAAM,WAAW,MAAM,SAAS,MAAM,SAAS,MAAM;EAOrD,IAAI,EALF,MAAM,YAAY,WACd,MAAM,WAAW,KAAK,WAAW,IACjC,MAAM,YAAY,WAChB,MAAM,SAAS,IACf,OAEN,YAAY,KACV,MACE,sBACA,aAAa,MAAM,UAAU,EAC7B,mDACD,CACF;;CAIL,KAAK,MAAM,MAAM,SAAS,UAAU,UAClC,IAAI,CAAC,OAAO,IAAI,GAAG,EACjB,YAAY,KACV,MACE,sBACA,aAAa,sBAAsB,GAAG,EACtC,2CACD,CACF;CAIL,KAAK,MAAM,CAAC,IAAI,UAAU,QAAQ;EAChC,MAAM,OAAO,aAAa,UAAU,GAAG;EACvC,IAAI,MAAM,iBAAiB,MAAM,mBAAmB,MAAM,gBACxD,YAAY,KACV,MACE,sBACA,MACA,wEACD,CACF;OACI,IACL,MAAM,eAAe,KACrB,MAAM,cAAA,QACN,MAAM,QAAQ,SAAS,MAAM,YAE7B,YAAY,KACV,MACE,sBACA,MACA,2CAA2C,MAAM,aAClD,CACF;;;;AAMP,SAAgB,qBACd,UACA,aACM;CACN,MAAM,eAAe,SAAS;CAC9B,gBAAgB,aAAa,UAAU,yBAAyB,YAAY;CAC5E,eAAe,aAAa,aAAa,4BAA4B,YAAY;CACjF,sBAAsB,aAAa,UAAU,yBAAyB,YAAY;CAClF,IAAI,aAAa,cAAc,SAAS,aACtC,YAAY,KACV,MACE,sBACA,4BACA,qDACD,CACF;CAEH,IAAI,aAAa,gBAAgB,SAAS,QAAQ,QAChD,YAAY,KACV,MACE,sBACA,4BACA,kEACD,CACF;CAEH,IAAI,aAAa,eAAe,SAAS,OAAO,QAC9C,YAAY,KACV,MACE,sBACA,2BACA,gEACD,CACF;CAGH,MAAM,SAAS;EAAE,QAAQ;EAAG,QAAQ;EAAG,SAAS;EAAG,SAAS;EAAG;CAC/D,KAAK,MAAM,SAAS,SAAS,QAAQ;EACnC,OAAO,UAAU,MAAM;EACvB,OAAO,UAAU,MAAM;EACvB,OAAO,WAAW,MAAM;EACxB,OAAO,WAAW,MAAM;;CAE1B,MAAM,WAAW;EACf;GAAC,OAAO;GAAQ,aAAa;GAAQ;GAAuB;GAAS;EACrE;GAAC,OAAO;GAAQ,aAAa;GAAQ;GAAuB;GAAS;EACrE;GAAC,OAAO;GAAS,aAAa;GAAS;GAAwB;GAAU;EACzE;GAAC,OAAO;GAAS,aAAa;GAAS;GAAwB;GAAU;EAC1E;CACD,KAAK,MAAM,CAAC,OAAO,OAAO,MAAM,SAAS,UACvC,IAAI,UAAU,OACZ,YAAY,KACV,MACE,sBACA,MACA,YAAY,KAAK,iDAClB,CACF;CAIL,IAAI,aAAa,YAAY;MAIvB,CAHU,SAAS,OAAO,OAC3B,UAAU,MAAM,YAAY,YAAY,MAAM,WAAW,EAElD,IAAI,aAAa,SAAS,GAClC,YAAY,KACV,MACE,sBACA,wBACA,uEACD,CACF;;;;;;;;;;;;;AC3PP,SAAgB,wBAAwB,UAAkD;CACxF,MAAM,cAAqC,EAAE;CAE7C,IAAI,SAAS,WAAA,0BACX,YAAY,KACV,MAAM,sBAAsB,UAAU,8CAA8C,CACrF;CAEH,KAAK,SAAS,iBAAiB,OAAA,GAC7B,YAAY,KACV,MAAM,sBAAsB,iBAAiB,+CAA+C,CAC7F;CAGH,gBAAgB,SAAS,IAAI,MAAM,YAAY;CAC/C,gBAAgB,SAAS,aAAa,eAAe,YAAY;CACjE,gBAAgB,SAAS,aAAa,eAAe,YAAY;CACjE,YAAY,SAAS,qBAAqB,uBAAuB,YAAY;CAC7E,oBAAoB,SAAS,gBAAgB,YAAY;CACzD,IAAI,SAAS,QAAQ,WAAW,KAAK,SAAS,QAAQ,SAAS,KAC7D,YAAY,KACV,MAAM,sBAAsB,WAAW,+CAA+C,CACvF;CAGH,gBAAgB,SAAS,SAAS,IAAI,eAAe,YAAY;CACjE,YAAY,SAAS,SAAS,aAAa,wBAAwB,YAAY;CAC/E,IAAI,SAAS,SAAS,cAAc,GAClC,YAAY,KACV,MAAM,sBAAsB,sBAAsB,0CAA0C,CAC7F;CAEH,iBAAiB,SAAS,SAAS,WAAW,sBAAsB,YAAY;CAEhF,eAAe,SAAS,WAAW,aAAa,YAAY;CAC5D,eAAe,SAAS,aAAa,eAAe,YAAY;CAChE,eAAe,SAAS,YAAY,cAAc,YAAY;CAC9D,IAAI,SAAS,cAAc,SAAS,WAClC,YAAY,KACV,MAAM,sBAAsB,eAAe,4CAA4C,CACxF;CAEH,IAAI,SAAS,cAAc,SAAS,aAClC,YAAY,KACV,MAAM,sBAAsB,cAAc,+CAA+C,CAC1F;CAGH,MAAM,SAAS,SAAS;CACxB,gBAAgB,OAAO,UAAU,mBAAmB,YAAY;CAChE,sBACE,OAAO,wBACP,iCACA,YACD;CACD,YAAY,OAAO,uBAAuB,gCAAgC,YAAY;CACtF,sBAAsB,OAAO,qBAAqB,8BAA8B,YAAY;CAC5F,YAAY,OAAO,wBAAwB,iCAAiC,YAAY;CAExF,MAAM,YAAY,SAAS;CAC3B,IAAI,UAAU,UAAU,WAAW,KAAK,UAAU,UAAU,SAAA,IAC1D,YAAY,KACV,MACE,sBACA,uBACA,kDACD,CACF;CAEH,IAAI,UAAU,SAAS,WAAW,KAAK,UAAU,SAAS,SAAA,KACxD,YAAY,KACV,MACE,sBACA,sBACA,kDACD,CACF;CAEH,KAAK,MAAM,MAAM,UAAU,WACzB,gBAAgB,IAAI,aAAa,uBAAuB,GAAG,EAAE,YAAY;CAE3E,KAAK,MAAM,MAAM,UAAU,UACzB,gBAAgB,IAAI,aAAa,sBAAsB,GAAG,EAAE,YAAY;CAG1E,gBAAgB,UAAU,YAAY;CACtC,eAAe,UAAU,YAAY;CACrC,qBAAqB,UAAU,YAAY;CAE3C,YAAY,MAAM,MAAM,UACtB,KAAK,SAAS,MAAM,OAChB,KAAK,OAAO,MAAM,OAChB,KACA,IACF,KAAK,SAAS,MAAM,OAClB,KAAK,OAAO,MAAM,OAChB,KACA,IACF,KAAK,UAAU,MAAM,UACnB,KACA,KAAK,UAAU,MAAM,UACnB,IACA,EACX;CACD,OAAO"}