"""Core analysis — pure functions over Event[]/Turn[]. Built in Phase 2. NO model.

Implements TRACE-CONTRACT §5: direct/indirect value-flow (distinctive-value matching,
NOT loose paths), loops (exact-cmd + error), re-reads, heavy ranking, token rollups,
guidance attachment. Findings carry proven:true ONLY for value-flow; proximity is
hypothesis (Non-negotiable #4). The advisor stays silent unless a NAMED, FIXABLE
pattern fires (Non-negotiable #6).
"""