provenance/manifest.json

{
  "schema_version": 1,
  "public_repo": "FluffyAIcode/Kakeya-OProver-Stage4-Repair-SFT",
  "base_model": "m-a-p/OProver-8B",
  "base_revision": "cd9ffd383b584d95bf00e04b88b35b05928b211c",
  "source_private_repo": "FluffyAIcode/oprover-8b-mathlib-lora-stage1",
  "source_immutable_revision": "7dd2e239e0857c6feb585f009e6118c511cc8e17",
  "adapter_sha256": "a24765df00ba8213e0032c10cbcddb242a65ffee937520cea2b61bc0d2d68837",
  "dataset_artifact_sha256": "54944619e3625f8a9db88b7c2a84507b86ea1dfc55f43d68f240dd9609244389",
  "public_private_boundary": {
    "public": [
      "adapter",
      "tokenizer",
      "sanitized metrics/trainer state",
      "aggregate strict evaluation",
      "hashes/signatures/config"
    ],
    "private": [
      "chain-of-thought",
      "production prompts",
      "Jensen candidate proof bodies",
      "raw candidate-bearing signed audits",
      "optimizer and RNG checkpoints"
    ]
  }
}