{
  "schemaVersion": "1.0",
  "courseId": "dissertation",
  "labId": "dissertation-compiler",
  "title": "Dossiers de preuves de thèse",
  "description": "Dossiers de revendication, d’artefact, de test adversarial, de limitation et de préparation séquentielle.",
  "columns": [
    {
      "id": "gate",
      "label": "Porte du compilateur",
      "type": "text",
      "unit": "label",
      "description": "Porte séquentielle de paquets de preuves."
    },
    {
      "id": "claim",
      "label": "Revendication bornée",
      "type": "text",
      "unit": "statement",
      "description": "Demande évaluée à cette porte."
    },
    {
      "id": "artifact",
      "label": "Artéfact de preuves",
      "type": "text",
      "unit": "reference",
      "description": "Référence stable entre preuves-packages."
    },
    {
      "id": "adversarial_test",
      "label": "Test adversarial",
      "type": "text",
      "unit": "statement",
      "description": "Le défi le plus fort et pertinent."
    },
    {
      "id": "passed",
      "label": "Réussi",
      "type": "boolean",
      "unit": "boolean",
      "description": "Décision sur la porte."
    },
    {
      "id": "limitation",
      "label": "Limitation résiduelle",
      "type": "text",
      "unit": "statement",
      "description": "Limitations conservées dans les conclusions techniques et publiques."
    }
  ]
}