{
  "schema": "kotoba.embench.work-status.v1",
  "goalStatus": "paused",
  "goalAchieved": false,
  "reason": "optimization stopped under the user-approved budget condition; publication and handoff do not resume it",
  "latestMeasurement": "/benchmarks/embench-resume-20261013.json",
  "latestKotobaTimeDividedByC": 2.9542453261184902,
  "adoptedMainPR": 1295,
  "unadoptedCandidate": {
    "kind": "v7 exact comparison priority repair composed with generic two-argument fuel-register retention",
    "sourceSHA256": "ff6523711c6e37345fa75524d8d0e4f228d8dee4a99bffe59b36bf6b1d9f7f0f",
    "stableNativeSHA256": "c0687a55b1f264eebb546c15f24f09a34f1036c646636e58a71e9b70063e459c",
    "adopted": false,
    "performanceMeasured": false,
    "programTimingInheritedFromV3ByWholeImageIdentity": true,
    "selfbuildConsecutiveGenerations": 3,
    "stableProducerAll39WholeInitialImageIdentities": true,
    "selfhostCompositionProofPassed": true,
    "pending": [
      "formal policy/public/source checks",
      "additional generic boundary/refusal controls",
      "fresh complete original19 C comparison and adoption review"
    ],
    "sourceLocator": {
      "base": {
        "repository": "https://github.com/kotoba-lang/amu",
        "commit": "f2d607bee3a9f5dea6f54a21fd71ea3cabde10fa",
        "manifest": "seed/MANIFEST",
        "assembly": "Concatenate all16 manifest files in order, appending LF after each file.",
        "sourceUnitySHA256": "4360c0b88c38e3f2d32f3ed717ff1b8e3ce35a6ab51e1af635676ffba6c14e97"
      },
      "patch": "https://github.com/kotoba-lang/kotoba-lang/blob/main/docs/benchmarks/embench-candidates-20261013/v7.patch",
      "archiveManifest": "https://github.com/kotoba-lang/kotoba-lang/blob/main/docs/benchmarks/embench-candidates-20261013/manifest.json"
    }
  },
  "candidateReview": "/benchmarks/embench-candidate-review-20261013.json",
  "unadoptedCandidates": [
    {
      "id": "v1",
      "sourceSHA256": "004164fd79b8e86b8e22593da42171ce51c5dc18a4d8044ffc27f1ecbfa75a26",
      "adopted": false
    },
    {
      "id": "v2",
      "sourceSHA256": "154ad94bd941d30806693b5dded18c5086a3a9918645236beb64d5194b541ae8",
      "adopted": false
    },
    {
      "id": "v3",
      "sourceSHA256": "4360c0b88c38e3f2d32f3ed717ff1b8e3ce35a6ab51e1af635676ffba6c14e97",
      "adopted": false
    },
    {
      "id": "v4",
      "sourceSHA256": "09cb83b543bf43de05e10895958953979b1deedd38cda920beb4883dd61b2a89",
      "adopted": false
    },
    {
      "id": "v5",
      "sourceSHA256": "64cb479cd267333fd06c6d4e7957494ed0d9d9e375f713a38fb8e144e1ae73fe",
      "adopted": false
    },
    {
      "id": "v6",
      "sourceSHA256": "7fb4470a4b4af4873b76f59115258ff112de2a08ac38b2cdb4460bfe2766497d",
      "adopted": false
    },
    {
      "id": "v7",
      "sourceSHA256": "ff6523711c6e37345fa75524d8d0e4f228d8dee4a99bffe59b36bf6b1d9f7f0f",
      "adopted": false
    }
  ]
}