False completion undetected when trace has zero verification events

[rajfirke]

Description

If a loop claims goal_met but never ran any verification (lastVerify is nil), the classifier returns nil. A loop claiming success without ever verifying is suspicious and should be flagged.

Fix

When lastVerify is nil and claimedSuccess is true, return a Classification with CatFalseComplete at confidence 0.60 with evidence "Loop claimed success but no verification was ever performed."

Location

internal/classifier/false_complete.go:43