Archive de la saison 1
Une saison close ne se retouche pas. Cette page rassemble ce qui reste consultable quand la saison est terminée : ce qui était engagé avant l'ouverture, ce qui a été publié à la clôture, et où trouver de quoi le recalculer. Le classement lui-même vit sur l'Index et ses versions.
Ce qui était engagé avant l'ouverture
Le corpus, la clé de réponses et le barème ont été gelés et ancrés avant toute inscription. Les deux ancrages sont publics, celui qui a été remplacé comme celui en vigueur.
- prf_20260915_072014_61cef2 · ancré le , fichier de gel, détail et vérification
- prf_20260914_181440_541795 · ancré le , fichier de gel, détail et vérification
Les règles telles qu'elles étaient
Le barème de la piste est gelé à l'octet : le texte servi a pour empreinte 960a7374f4d905eff4a38a1cc800bd6e75e8ded891b5c6242da139ecb7da51f1, et c'est cette empreinte qui est dans l'ancrage. La spécification complète reste servie en Markdown. Le corpus est celui du commit 00f8413e7fe45776e27f94f33deb70f63c96b350.
Le classement publié
Le classement est l'Index de la saison, avec un rapport par participant. Chaque publication est une version ancrée : une rectification ajoute une version et son motif, elle n'efface rien.
Le dataset
Publié à la clôture sous licence CC BY 4.0, avec l'attribution demandée par la licence. Il porte de quoi recalculer chaque score sans rien demander à ArkForge : voir rejouer un score.
| Fichier | Contenu |
|---|---|
| MANIFESTE.json | Empreinte de chaque fichier du dataset, saison, commit du corpus, licence et attributions |
| LICENCE.md | Licence du dataset, telle que validée |
| SCHEMA-CORPUS.md | Contrat et schéma du corpus, table des tâches et leurs réponses |
| corpus/ | Le corpus tel qu'il a été servi, un fichier par adresse, avec ses empreintes |
| taches.json | Les questions posées aux participants |
| cle-reponses.json | Verdict attendu et faits qui le fondent, par tâche |
| gel.json | Le gel en vigueur : empreintes, requête ancrée et paires qui rouvrent `request_hash` |
| gel-avenant.json | L’avenant du gel : empreinte de `taches.json`, rattachée au gel par sa preuve |
| sels.json | Les deux sels et l'engagement ancré que chacun rouvre |
| soumissions.json | Les soumissions telles que rendues, avec leurs identifiants de preuve |
| classement.json | Le classement publié, à l'octet ancré |
Adresse de publication : https://proveit.arkforge.tech/challenges/prove-it/saisons/1/dataset/. Elle ne répond qu'une fois le dataset publié, à la clôture.