2 Commits

Author	SHA1	Message	Date
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
Tarik Moussa	8cf0cc7e01	feat(synthesis): Lead/Provenance model + grounded leads + conjecture generator ... - codex/synthesis.py: Lead/Provenance dataclasses, find_connections/gaps/improvements, propose_conjectures (status=unverified, quarantined in leads/conjectures/), write_leads (grounded→leads/grounded/, conjectures→leads/conjectures/ HARD invariant) - codex/cli.py: synthesis leads/conjectures/report command group - codex/config.py: F-13 settings (leads_dir, synthesis_llm_*, synthesis_top_k, synthesis_min_grounded_ratio, synthesis_gap_min_coverage) - tests/synthesis/: 42 tests covering model, grounding, conjecture invariant, quarantine, CLI - spike/: F-13 spike script + output (live run attempted) Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>	2026-06-14 08:37:42 +02:00