{
  "schema_version": "wheelie_public_proof_gallery/v1",
  "work_ref": "wheelie://work-items/public/proof-gallery-readback",
  "parent_work_ref": "wheelie://programs/public-proof-result-packets",
  "source_manifest_ref": "docs/feature_design/wheelie_curated_public_verification_packets.json",
  "title": "Wheelie proof gallery public readback",
  "purpose": "Product/API readback route for curated proof/result packets as short proof cards with visible caveats and non-green outcomes.",
  "public_copy_guardrail": "This is a claim-level replay-readiness gallery readback. It does not claim full-paper replication, institution-level verification, live dynamic replay, a production leaderboard, or assured promotion.",
  "scoring_rubric": {
    "scale": "0..5 per dimension; higher means the claim is easier to replay and safer to share publicly at its current support ceiling.",
    "total_score_max": 35,
    "readiness_classes": [
      {
        "class": "shareable_sample",
        "min_score": 28,
        "meaning": "Public-safe as a scoped sample card when caveats stay attached."
      },
      {
        "class": "reviewable_with_caveats",
        "min_score": 22,
        "meaning": "Reviewable card, but copy must foreground caveats or promotion blockers."
      },
      {
        "class": "limited_or_blocked",
        "min_score": 15,
        "meaning": "Useful packet, but public promotion is blocked, stale, drifted, or otherwise limited."
      },
      {
        "class": "not_public_ready",
        "min_score": 0,
        "meaning": "Do not publish beyond internal review."
      }
    ],
    "dimensions": [
      "artifact_availability",
      "dependency_profile",
      "data_availability",
      "expected_cost",
      "verifier_clarity",
      "residual_risk",
      "public_share_constraints"
    ]
  },
  "aggregation": {
    "card_count": 5,
    "median_readiness_score": 27,
    "outcome_counts": {
      "reproduced": 3,
      "blocked_partial": 1,
      "falsified": 1,
      "failed": 1,
      "stale": 1,
      "drifted": 1
    },
    "readiness_class_counts": {
      "shareable_sample": 2,
      "reviewable_with_caveats": 1,
      "limited_or_blocked": 2,
      "not_public_ready": 0
    },
    "failed_stale_drifted_visible": true,
    "visible_non_green_rows": [
      {
        "slot": 4,
        "visible_state": "failed",
        "copy": "Lean/Veil mechanized runner evidence is absent, so promotion fails closed even though TLA+/Alloy evidence remains useful."
      },
      {
        "slot": 5,
        "visible_state": "stale",
        "copy": "The retained private benchmark denominator is not current public evidence and must be independently replayed."
      },
      {
        "slot": 5,
        "visible_state": "drifted",
        "copy": "The packet names drift as the reason a provider-winner or savings claim is blocked."
      }
    ],
    "public_copy_caveat": "Every aggregate number is about claim-level replay readiness for these five packets only; it is not a full-paper, institutional, or leaderboard verification score."
  },
  "cards": [
    {
      "slot": 1,
      "packet_ref": "docs/feature_design/wheelie_curated_public_verification_esbuild.fixture.json",
      "claim": "Pinned esbuild sample replay clears the selected 10x webpack threshold.",
      "artifact": "esbuild 10x bundler-speed sample replay packet",
      "artifact_ref": "docs/feature_design/wheelie_hero_proof_replay.fixture.json",
      "verifier": "public proof work item hero proof replay packet validator",
      "replay_class": "one_command / HERMETIC / small",
      "evidence_status": "green; accepted replay_verified packet",
      "outcome_kind": "reproduced",
      "outcome_flags": [
        "reproduced"
      ],
      "caveats": [
        "Retained sample only; no fresh npm replay, universal bundler ranking, or production output equivalence is claimed."
      ],
      "cost_resource": "No material spend; local CPU/disk only; no network or hosted worker.",
      "promotion_state": "replay_verified → fresh_public_clean_worker_replay",
      "public_card_copy": "A checked sample packet shows the pinned esbuild fixture over the 10x webpack threshold, scoped to the retained sample.",
      "public_share_caveat": "Do not generalize beyond this fixture until clean-worker package/source digest replay exists.",
      "readiness_score": {
        "total": 27,
        "readiness_class": "reviewable_with_caveats",
        "dimensions": {
          "artifact_availability": {
            "score": 4,
            "rationale": "Checked packet and source artifact refs exist."
          },
          "dependency_profile": {
            "score": 3,
            "rationale": "Current live dependency hydration is deferred."
          },
          "data_availability": {
            "score": 4,
            "rationale": "Retained sample data is public-safe."
          },
          "expected_cost": {
            "score": 5,
            "rationale": "Hermetic no-spend validation."
          },
          "verifier_clarity": {
            "score": 4,
            "rationale": "Verifier command and green verdict are explicit."
          },
          "residual_risk": {
            "score": 3,
            "rationale": "Hardware/cache/tool-version scope remains a real caveat."
          },
          "public_share_constraints": {
            "score": 4,
            "rationale": "Public copy is safe when scoped to the sample."
          }
        }
      }
    },
    {
      "slot": 2,
      "packet_ref": "docs/feature_design/wheelie_curated_public_verification_governed_apply.fixture.json",
      "claim": "Governed dry-run/apply/readback fixture previews, applies once, confirms readback, and fails closed.",
      "artifact": "governed dry-run/apply/readback result packet",
      "artifact_ref": "docs/feature_design/wheelie_governed_dry_run_apply_readback_fixture.json",
      "verifier": "public proof work item governed workflow fixture validator",
      "replay_class": "one_command / HERMETIC / small",
      "evidence_status": "green; accepted replay_verified packet",
      "outcome_kind": "reproduced",
      "outcome_flags": [
        "reproduced"
      ],
      "caveats": [
        "Contract-tested fake only; no live external provider mutation, auth, or rollback is claimed."
      ],
      "cost_resource": "No material spend; local CPU/disk only; no live provider write.",
      "promotion_state": "replay_verified → live_provider_adapter_governed_replay",
      "public_card_copy": "A low-risk simulated ticket-label workflow demonstrates preview, apply-once, readback, and fail-closed cases.",
      "public_share_caveat": "Do not describe this as a live provider write until provider adapter receipts exist.",
      "readiness_score": {
        "total": 29,
        "readiness_class": "shareable_sample",
        "dimensions": {
          "artifact_availability": {
            "score": 4,
            "rationale": "Fixture and packet refs are checked in."
          },
          "dependency_profile": {
            "score": 4,
            "rationale": "Hermetic fake has limited dependencies."
          },
          "data_availability": {
            "score": 5,
            "rationale": "No private provider payloads are needed."
          },
          "expected_cost": {
            "score": 5,
            "rationale": "No-spend local replay."
          },
          "verifier_clarity": {
            "score": 4,
            "rationale": "Verifier and fail-closed cases are named."
          },
          "residual_risk": {
            "score": 3,
            "rationale": "Live provider auth/readback risk remains."
          },
          "public_share_constraints": {
            "score": 4,
            "rationale": "Safe as a simulated workflow sample."
          }
        }
      }
    },
    {
      "slot": 3,
      "packet_ref": "docs/feature_design/wheelie_platformd_app_job_result_packet.fixture.json",
      "claim": "Tiny platformd-style job uses the shared result-packet thin waist for preview, validation, readback, and rollback caveat evidence.",
      "artifact": "platformd tiny health-check job result packet",
      "artifact_ref": "docs/feature_design/wheelie_platformd_app_job_result_packet.fixture.json",
      "verifier": "wheelie_result_packet/v1 validator with platformd workload lifecycle checks",
      "replay_class": "one_command / HERMETIC / small",
      "evidence_status": "green; accepted replay_verified packet",
      "outcome_kind": "reproduced",
      "outcome_flags": [
        "reproduced"
      ],
      "caveats": [
        "Hermetic fixture only; no hosted preview allocation, live job, public ingress, cloud mutation, or rollback success is claimed."
      ],
      "cost_resource": "No material spend; local CPU/disk only; no hosted preview allocation.",
      "promotion_state": "replay_verified → hosted_preview_runtime_producer_emits_same_result_packet_fields",
      "public_card_copy": "A platformd-style fixture shows the same packet fields can cover preview, validation, readback, and rollback caveats.",
      "public_share_caveat": "Do not imply live Cloud Run, scheduler, queue, route, or rollback support.",
      "readiness_score": {
        "total": 29,
        "readiness_class": "shareable_sample",
        "dimensions": {
          "artifact_availability": {
            "score": 4,
            "rationale": "Packet fixture is the artifact and is checked in."
          },
          "dependency_profile": {
            "score": 4,
            "rationale": "Hermetic lifecycle validation avoids hosted dependencies."
          },
          "data_availability": {
            "score": 5,
            "rationale": "No customer or hosted runtime data is needed."
          },
          "expected_cost": {
            "score": 5,
            "rationale": "No-spend fixture replay."
          },
          "verifier_clarity": {
            "score": 4,
            "rationale": "Lifecycle verifier names fail-closed gates."
          },
          "residual_risk": {
            "score": 3,
            "rationale": "Runtime producer and rollback receipts remain missing."
          },
          "public_share_constraints": {
            "score": 4,
            "rationale": "Safe if framed as a platformd-shaped fixture."
          }
        }
      }
    },
    {
      "slot": 4,
      "packet_ref": "docs/feature_design/wheelie_formal_verifier_packet.fixture.json",
      "claim": "Formal verifier packet separates checked TLA+/Alloy evidence from Lean/Veil runner-blocked sketches.",
      "artifact": "formal verifier packet for TLA+, Lean/Veil, and Alloy evidence",
      "artifact_ref": "docs/feature_design/wheelie_formal_verifier_packet.fixture.json",
      "verifier": "Formal verifier packet extension and unchecked-proof-sketch authority guard",
      "replay_class": "one_command / HERMETIC / small",
      "evidence_status": "green for packet guard; promotion failed/blocked for Lean/Veil runner authority",
      "outcome_kind": "blocked_partial",
      "outcome_flags": [
        "blocked",
        "failed"
      ],
      "caveats": [
        "Lean/Veil theorem remains runner-blocked; source-shape checks are not mechanized-proof authority."
      ],
      "cost_resource": "No material spend; local CPU/disk and Bazel local cache.",
      "promotion_state": "replay_verified → platformd_formal_verification_runner_receipts",
      "public_card_copy": "TLA+ and Alloy evidence are visible, while the Lean/Veil mechanized-proof gap stays visible and fails closed.",
      "public_share_caveat": "Do not claim a mechanized Lean proof or hosted formal-verification platform.",
      "readiness_score": {
        "total": 21,
        "readiness_class": "limited_or_blocked",
        "dimensions": {
          "artifact_availability": {
            "score": 4,
            "rationale": "Formal packet and source refs exist."
          },
          "dependency_profile": {
            "score": 2,
            "rationale": "Pinned Lean/Veil runner dependency is missing."
          },
          "data_availability": {
            "score": 4,
            "rationale": "Formal artifacts are source/fixture based."
          },
          "expected_cost": {
            "score": 4,
            "rationale": "Current checks are local and cheap."
          },
          "verifier_clarity": {
            "score": 4,
            "rationale": "Authority boundary and blocked verdicts are explicit."
          },
          "residual_risk": {
            "score": 1,
            "rationale": "Mechanized-proof authority is not available."
          },
          "public_share_constraints": {
            "score": 2,
            "rationale": "Public copy must strongly foreground the runner-blocked failure."
          }
        }
      }
    },
    {
      "slot": 5,
      "packet_ref": "docs/feature_design/wheelie_curated_public_verification_eval_profile.fixture.json",
      "claim": "Eval/profile packet falsifies a broad public provider-winner or savings claim because private benchmark evidence is drifted and lacks independent replay.",
      "artifact": "eval/profile drift public-claim falsification packet",
      "artifact_ref": "docs/feature_design/wheelie_eval_profile_packet/packet_fixture.json",
      "verifier": "public proof work item eval/profile provenance and drift-obligation validator",
      "replay_class": "one_command / HERMETIC / small",
      "evidence_status": "red; accepted replay_verified red packet",
      "outcome_kind": "falsified",
      "outcome_flags": [
        "falsified",
        "stale",
        "drifted"
      ],
      "caveats": [
        "Private denominator evidence only; no public provider winner, savings, or leaderboard claim is authorized."
      ],
      "cost_resource": "No material spend; local CPU/disk only; no model call or provider API.",
      "promotion_state": "replay_verified → independent_eval_profile_replay",
      "public_card_copy": "The red packet is useful because it blocks a public winner/savings overclaim until independent replay and drift evidence exist.",
      "public_share_caveat": "Do not publish raw prompts, model outputs, provider winner, or savings copy.",
      "readiness_score": {
        "total": 21,
        "readiness_class": "limited_or_blocked",
        "dimensions": {
          "artifact_availability": {
            "score": 3,
            "rationale": "Retained metadata packet exists, but public artifact is not enough for promotion."
          },
          "dependency_profile": {
            "score": 3,
            "rationale": "Replay is cheap, but independent model/provider replay is missing."
          },
          "data_availability": {
            "score": 2,
            "rationale": "Evidence is private/metadata-only."
          },
          "expected_cost": {
            "score": 5,
            "rationale": "Current red check has no material spend."
          },
          "verifier_clarity": {
            "score": 4,
            "rationale": "Red verdict and drift obligation are explicit."
          },
          "residual_risk": {
            "score": 2,
            "rationale": "Drift and stale denominator evidence remain central risks."
          },
          "public_share_constraints": {
            "score": 2,
            "rationale": "Public copy is mostly negative until independent replay exists."
          }
        }
      }
    }
  ],
  "source_fixture_ref": "docs/feature_design/wheelie_public_proof_gallery.fixture.json",
  "route_readback": {
    "surface_kind": "public_static_api_route",
    "route": "/services/wheelie/proof-gallery.json",
    "canonical_url": "https://wheelie.dev/services/wheelie/proof-gallery.json",
    "source_path": "website/public/services/wheelie/proof-gallery.json",
    "release_object_path": "services/wheelie/proof-gallery.json",
    "support_state": "public_static_readback_live_after_release",
    "intended_environment": "wheelie_public_static_site",
    "visibility": "public_readback",
    "product_surface": "Wheelie public proof-gallery API route",
    "caveat": "Static readback route only; it does not run live replay, certify full-paper replication, rank institutions, or hide non-green outcomes.",
    "successor_public_ui": "A richer browser gallery can consume this JSON route; the current route is the supported product/API readback surface."
  },
  "release_readback_evidence": {
    "route": "/services/wheelie/proof-gallery.json",
    "manifest_ref": "/services/wheelie/public-discovery-manifest.json#proof_gallery",
    "release_manifest_builder": "scripts/wheelie_public_release_build.ts",
    "validation_refs": [
      "scripts/wheelie_result_packet_mvp/check_wheelie_result_packet_mvp_test.ts"
    ],
    "environment": "wheelie_public_static_site",
    "status": "available_after_next_wheelie_public_release"
  }
}