fix: repair CI failures from schema, knip, and stale generated artifacts

Three root causes fixed:

1. catalog-schemas.mjs: valuesAt only traversed anyOf from Zod's
   toJSONSchema, not oneOf. The webScreenshotDiffSchema change to a
   discriminated union produces oneOf, so the product catalog generator
   could not derive the web_screenshot_diff schema version. Add oneOf
   traversal.

2. conformancePackage.ts: the test rewrite removed the only imports of
   ScenarioManifest, ReplayPlan, ShimPlan, and ExpectedEvidence, making
   them unused exports that knip flags. Remove the dead type aliases.

3. Regenerate stale artifacts (product catalog, MCP tool catalog, skill
   metadata, conformance manifest) that drifted from the source changes.

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>

Author: morluto

docs/product-catalog.json

@@ -680,10 +680,10 @@
       "mcp_resource_templates": 11
     },
     "digests": {
-      "tools_sha256": "b0e8b9c894ef347b6680a3a5bfdb4cba5c10e9129eeaa43a5ea22ce4d398d417",
+      "tools_sha256": "1a4533fef9cbe075fdca76b19a138924bd69d93a6413cdb767b2a9240a46fd04",
       "prompts_sha256": "3886a3bf55a448def79e3eb429e6a56eb2ba075423c5cb1e5747642b389ef8fe",
       "resources_sha256": "e0e872276ebf6f88e916ef24930a99eed27ce4c93e494e60820e9bd8cc8497c3",
-      "combined_sha256": "bab5657d9525ec4f798d0a9ef6001412d9c11f77fb0ddc925c7076fd10921dc9",
+      "combined_sha256": "8bd40516d78875cb75ba1c4a8786286311036742ad660914d7327c2941b2f73a",
       "providers_sha256": "7446b51788734ebf6f4f702e3a5a8c9f0b61967490c245f30bd37b2060827e6b"
     }
   }

docs/verification/managed-conformance-manifest.json

@@ -1,6 +1,6 @@
 {
   "schema_version": 1,
-  "manifest_id": "ecm_c44391ed8e365e21871664422aa38fa6c12598006cde731d65a9d9e271b0fa5f",
+  "manifest_id": "ecm_5add7389cf00e86bfec005df9e0e0cf8d7aceb2f3ec3e5f6b74edb5f880bd9a7",
   "verifier": {
     "id": "rea-managed-conformance",
     "version": "1"
@@ -14,7 +14,7 @@
   "skill_digests": [
     {
       "skill_id": "reverse-engineer-anything",
-      "sha256": "97a5bc5d29f162fe171ddbb8f4f5ba9fcba34ad336d4cdcae0c564223aa4cfe8"
+      "sha256": "2cca31c9550fe32c24adcb8134edb4b077aa772fb0f0f1057c99964cac6d9a8f"
     }
   ],
   "claims": [

scripts/lib/catalog-schemas.mjs

@@ -4,6 +4,8 @@ const valuesAt = (node, path) => {
   if (typeof node !== "object" || node === null) return [];
   if ("anyOf" in node && Array.isArray(node.anyOf))
     return node.anyOf.flatMap((alternative) => valuesAt(alternative, path));
+  if ("oneOf" in node && Array.isArray(node.oneOf))
+    return node.oneOf.flatMap((alternative) => valuesAt(alternative, path));
   if (path.length === 0)
     return "const" in node &&
       (typeof node.const === "number" || typeof node.const === "string")

skills/reverse-engineer-anything/SKILL.md

@@ -4,7 +4,7 @@ description: Reverse engineer native, managed, Electron/JavaScript, packaged, an
 metadata:
   version: "23"
   tool_count: 116
-  catalog_digest: "bab5657d9525ec4f798d0a9ef6001412d9c11f77fb0ddc925c7076fd10921dc9"
+  catalog_digest: "8bd40516d78875cb75ba1c4a8786286311036742ad660914d7327c2941b2f73a"
 ---
 
 # REA

src/domain/conformancePackage.ts

@@ -130,22 +130,6 @@ export type ConformancePackage = DeepReadonly<
   z.output<typeof conformancePackageSchema>
 >;
 
-/** Deterministic manifest for one conformance scenario. */
-export type ScenarioManifest = DeepReadonly<
-  z.output<typeof scenarioManifestSchema>
->;
-
-/** Deterministic replay plan for one conformance scenario. */
-export type ReplayPlan = DeepReadonly<z.output<typeof replayPlanSchema>>;
-
-/** Optional effect-shim plan for one conformance scenario. */
-export type ShimPlan = DeepReadonly<z.output<typeof shimPlanSchema>>;
-
-/** Expected evidence for one conformance scenario. */
-export type ExpectedEvidence = DeepReadonly<
-  z.output<typeof expectedEvidenceSchema>
->;
-
 /** Verification policy for one conformance scenario. */
 export type VerifierContract = DeepReadonly<
   z.output<typeof verifierContractSchema>