Créer un labo et brancher un agent

Créer un labo

python3 -m slean lab init --dir /tmp/lab --mode blackbox --proposals 60 --cells 200000

• --mode blackbox cache les règles ; whitebox, le mode par défaut, les donne.
• --proposals et --cells fixent les deux budgets : propositions et mises à jour de cellules.
• --suite-seed choisit la suite de mondes, 7 par défaut.

Le dossier contient alors la description de la tâche, dans README.md, et la commande ./lab. Les réponses cachées sont rangées ailleurs, hors du dossier.

Les commandes du labo

./lab worlds                          # liste des mondes (et leurs tables en boîte blanche)
./lab experiment w3 0120010 5         # lance w3 depuis 0120010 pendant 5 pas
./lab check w3 0 12 8                 # le bloc 12 sur fond 0 revient-il en 8 pas au plus ?
./lab propose '{"kind":"conservation","world":"w3","w":1,"f":[0,1,2]}'
./lab propose '{"kind":"structure","world":"w3","background":0,"block":[1,2],"t":2,"d":5}'
./lab status                          # budget utilisé et résultats acceptés

• experiment accepte de 1 à 200 pas et au plus 400 cases. Son coût est le nombre de cases multiplié par le nombre de pas.
• check accepte un délai maximal de 1 à 24 pas et un bloc d’au plus 24 cases. S’il y a retour, il donne le nombre de pas, le décalage et la vitesse.
• propose coûte une proposition, acceptée ou non. Une loi de conservation donne la largeur w (1 ou 2) et la table f. Une structure donne le fond, le bloc, le nombre de pas t et le décalage d.

Dans un labo, la nouvelle case i lit les cases i, i+1 et i+2 : c’est la lecture décalée du monde Lean. Voir Monde.

Lancer la référence scriptée

python3 -m slean lab init --dir /tmp/lab-ref --mode blackbox --proposals 60 --cells 200000
python3 -m slean lab baseline --dir /tmp/lab-ref

La référence est un scientifique scripté qui utilise exactement les mêmes commandes et le même budget : de courtes expériences, l’ajustement exact pour les lois, puis une recherche exhaustive des structures, des plus petites aux plus grandes. C’est la barre à franchir. Elle travaille dans son propre labo.

Brancher un agent

python3 -m slean lab run --dir /tmp/lab --agent claude --model sonnet --max-usd 3

L’agent, claude ou codex, travaille dans le dossier du labo avec ./lab, python3 et des outils de lecture et d’écriture de fichiers. Sa transcription est enregistrée, auditée, puis le passage est noté. --max-usd plafonne la dépense de l’agent.

Noter un passage

python3 -m slean lab score --dir /tmp/lab

La note compare les résultats acceptés à la réponse cachée. Elle est décrite à la page Lire un score.