Tarik Moussa 59763105a5 fix(synthesis): enforce non-empty provenance + fix gap lead + clean index docstring ...

- Lead.__post_init__: raises ValueError on empty provenance list
- find_gaps: no-chunk path now carries topic-marker Provenance instead of []
- _update_index: docstring corrected (rebuilds, not append-only)
- test_model: test_lead_empty_provenance_raises covers the new invariant

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

2026-06-14 08:52:35 +02:00

..

__init__.py

feat(synthesis): Lead/Provenance model + grounded leads + conjecture generator

2026-06-14 08:37:42 +02:00

conftest.py

feat(synthesis): Lead/Provenance model + grounded leads + conjecture generator

2026-06-14 08:37:42 +02:00

test_cli.py

feat(synthesis): Lead/Provenance model + grounded leads + conjecture generator

2026-06-14 08:37:42 +02:00

test_conjecture.py

feat(synthesis): Lead/Provenance model + grounded leads + conjecture generator

2026-06-14 08:37:42 +02:00

test_gaps.py

feat(synthesis): Lead/Provenance model + grounded leads + conjecture generator

2026-06-14 08:37:42 +02:00

test_grounded.py

feat(synthesis): Lead/Provenance model + grounded leads + conjecture generator

2026-06-14 08:37:42 +02:00

test_model.py

fix(synthesis): enforce non-empty provenance + fix gap lead + clean index docstring

2026-06-14 08:52:35 +02:00

test_quarantine.py

feat(synthesis): Lead/Provenance model + grounded leads + conjecture generator

2026-06-14 08:37:42 +02:00