Skip to content

feat: produire un premier run déterministe#22

Merged
ForgedEmir merged 2 commits into
developfrom
feat/2-deterministic-run
Jul 23, 2026
Merged

feat: produire un premier run déterministe#22
ForgedEmir merged 2 commits into
developfrom
feat/2-deterministic-run

Conversation

@ForgedEmir

@ForgedEmir ForgedEmir commented Jul 23, 2026

Copy link
Copy Markdown
Owner

Ce que cette PR permet de faire

Une fixture locale produit une trace de recherche qui contient :

  • une question
  • un claim supporté
  • un claim ouvert
  • une preuve liée au claim supporté
  • une lacune liée au claim ouvert
  • une raison d'arrêt explicite

Le moteur calcule les statuts, les lacunes et la raison d'arrêt. Ces valeurs ne sont pas copiées depuis la fixture.

Cycle TDD observé

RED : le test échouait avec ModuleNotFoundError: No module named 'sourceloom'.

GREEN : la suite complète passe avec 2 passed.

Test manuel

git fetch origin
git switch feat/2-deterministic-run
python3 -m venv .venv
.venv/bin/python -m pip install -e '.[dev]'
.venv/bin/python -m pytest -q

Hors périmètre

Aucun appel réseau, provider, LLM, rapport Markdown, CLI ou stockage persistant.

Closes #2

@ForgedEmir
ForgedEmir merged commit b6a51e3 into develop Jul 23, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant