{
  "outcome": "success",
  "validCandidates": [
    "enumeration",
    "conditional"
  ],
  "rejectedCandidates": [
    "fifty-fifty"
  ],
  "explanation": "Sous les hypothèses classiques, le prix et le choix initial sont indépendants et uniformes sur trois portes. L’animateur connaît le prix et ouvre uniformément une porte chèvre non choisie. L’énumération attribue à chaque couple choix/prix une masse 1/9 et répartit cette masse entre les ouvertures admissibles : les observations ne sont donc pas toutes équiprobables. Conserver gagne avec probabilité 1/3, changer avec probabilité 2/3. L’explication conditionnelle obtient les mêmes résultats : changer gagne exactement lorsque le choix initial était erroné. Le dossier fifty-fifty est rejeté : retirer une chèvre selon cette règle informative ne rend pas les portes restantes équiprobables.",
  "uncertainties": [
    "Les conclusions supposent un animateur qui connaît le prix, ouvre toujours une chèvre non choisie et propose toujours le changement.",
    "Aucune transmission à un jury externe n’est attestée ; les dossiers anonymisés sont préparés localement."
  ],
  "jurySubmission": {
    "status": "prepared_locally",
    "dossiers": [
      {
        "id": "A",
        "explanation": "Pour chacun des neuf couples équiprobables choix/prix, répartir la masse 1/9 uniformément entre les portes chèvres que l’animateur peut ouvrir. La somme des masses gagnantes vaut 1/3 en conservant et 2/3 en changeant."
      },
      {
        "id": "B",
        "explanation": "Le choix initial gagne avec probabilité 1/3. Changer gagne exactement lorsque ce choix initial était erroné, soit avec probabilité 2/3."
      }
    ]
  },
  "claims": [
    {
      "id": "mission-answer",
      "statement": "Les dossiers enumeration et conditional sont admissibles : le premier énumère les couples et pondère les ouvertures de l’animateur, le second raisonne sur le choix initial ; tous deux donnent 1/3 pour conserver et 2/3 pour changer. Le design fifty-fifty est rejeté.",
      "evidence": [
        "E1",
        "E2",
        "E3"
      ]
    }
  ],
  "scopeCompletion": {
    "scopeRef": "qual-20261006-jury-simple-a4/assigned-mission",
    "completedRefs": [
      "answer.json",
      "solution.cjs",
      "answer.json#/jurySubmission"
    ]
  },
  "acceptanceChecks": [
    {
      "id": "weighted-enumeration",
      "command": "npm test",
      "status": "passed",
      "evidence": [
        "E3"
      ]
    }
  ],
  "evidence": [
    {
      "id": "E1",
      "type": "file",
      "path": "MISSION.txt",
      "description": "Contrat local lu."
    },
    {
      "id": "E2",
      "type": "file",
      "path": "solution.cjs",
      "description": "Décision déterministe et validation des portes."
    },
    {
      "id": "E3",
      "type": "command",
      "command": "npm test",
      "exitCode": 0,
      "output": {
        "pass": true,
        "cases": 12,
        "stay": 0.33333333333333337,
        "swap": 0.6666666666666667
      }
    },
    {
      "id": "E4",
      "type": "file",
      "path": "answer.json",
      "description": "Classification, dossiers anonymisés, preuves et limites d’exécution."
    }
  ],
  "evidenceVector": {
    "correctness": true,
    "coverage": {
      "testedObservations": 12,
      "choicePrizePairs": 9
    },
    "robustness": null,
    "reproducibility": null,
    "novelty": null,
    "cost": null,
    "latency": null,
    "risk": null,
    "uncertainty": null,
    "constraintCoverage": null
  },
  "evidenceVectorEvidence": {
    "correctness": [
      "E3"
    ],
    "coverage": [
      "E3"
    ]
  },
  "hardConstraintsPassed": true,
  "budgetStatus": {
    "status": "no_observed_exhaustion",
    "measuredUsage": null
  },
  "executionLimits": [
    "Périmètre local uniquement ; aucun outil de routage organisationnel disponible.",
    "Aucun score ni reçu indépendant fabriqué.",
    "Aucune promotion de résultat ni lecture d’autres chambres.",
    "hardConstraintsPassed concerne les exigences locales vérifiées ; la transmission externe reste non effectuée.",
    "Le test fourni vérifie les entrées admissibles ; le rejet des entrées invalides et une répétition indépendante ne sont pas mesurés."
  ]
}