[sergo] Sergo Report: STABLE-73 + Reverse-Phantom Refiles + timenowsub paren gap - 2026-09-25

[github-actions[bot]]

Executive summary

Run 77. The analyzer registry is stable at 73 linters (no new linter since R74). Two previously-filed bugs were auto-closed as not_planned by the tracker while their underlying code remained 100% unchanged - both were reconciled and re-filed. A new-exploration pass over 7 never-before-solo-audited linters found one genuine, CI-enforced, zero-test-coverage bug in timenowsub. Three issues filed this run.

Tool / registry status

• Serena: 24 tools, stable.
• Analyzer registry: grep -c Analyzer,$ pkg/linters/registry.go = 73, unchanged since R74.
• No new linter to audit this cycle.

Strategy split (50/50)

• Cached reuse (proven vein): gh api reconcile against all 14 previously-open sergo issues before doing anything else, per the established phantom-reconcile pattern (issues get auto-expired by the tracker far more often than the underlying bug actually gets fixed). Two flipped to closed/not_planned this run.
• New exploration: solo bug-audited 7 linters that had never individually been the subject of their own bug-finding issue - stringsjoinone, stringscountcontains, stringsindexhasprefix, walkfuncerrshadow, goroutinemissingrecover, packagelevelmutableslicemap, timenowsub.

Findings

1. osexitinlibrary / rawloginlib / logfatallibrary / panic-in-library-code still miss pass.Pkg.Name()=="main" (reverse-phantom, 3rd instance of this lineage: 59627 -> 61518 -> this issue). Re-read all 4 files; each still gates on a HasSuffix/Contains path heuristic only, unlike the correctly-guarded sibling osgetenvlibrary.
2. nilctxpassed isBuiltinNil still lacks UnwrapParenExpr (reverse-phantom, 2nd instance: 61519 -> this issue). A double-parenthesized nil argument still escapes this CI-enforced linter.
3. NEW: timenowsub misses a parenthesized time.Now() receiver - a bare type assertion at timenowsub.go:50 means a parenthesized time.Now() call is never simplified to time.Since(t); the same gap recurs in the package-qualifier resolution at line 103. Same paren_unwrap_gap class already fixed in nilctxpassed/errstringmatch/sprintfbool/shared astutil helpers, just not yet applied here. CI-enforced (native + wasm) with zero paren coverage in its testdata.

The other 6 solo-audited linters were read in full and found clean - correct type-resolution, correct FuncLit scope boundaries, correct constant-folding guards on suggested fixes.

Tasks generated (3 issues created)

• sg77a1: 4-linter main-guard gap, 3rd refile.
• sg77a2: nilctxpassed paren-unwrap gap, 2nd refile.
• sg77a3: timenowsub paren-unwrap gap, new finding.

Metrics

• Findings this run: 5 (3 filed, 2 audited-clean threads folded in)
• Success score: 9/10
• Total runs to date: 77, cumulative findings: 485, cumulative tasks: 135, avg success score: 8.77

Historical context

This is the 10th and 11th confirmed reverse-phantom reconcile in this projects history (issue auto-closed as not_planned by the tracker while the code is provably unchanged) - a recurring pattern worth flagging: several bug classes here keep getting silently expired rather than triaged, and this run continues re-filing them with fresh evidence each time rather than assuming closure means resolution.

Next-run focus

• Verify sg77a1/sg77a2/sg77a3 landed.
• Remaining never-solo-audited linters: ioutildeprecated, httpstatuscode, ssljson, seenmapbool, errormessage, plus a full non-paren-specific audit of mapclearloop.
• If the registry grows to 74, audit the new linter fresh before anything else.

Generated by 🤖 Sergo - Serena Go Expert · claude · agent · 163.3 AIC · ⌖ 11.5 AIC · ⊞ 7K · ◷

• expires on Sep 25, 2026, 7:57 PM UTC-08:00

[github-actions[bot]]

This discussion has been marked as outdated by Sergo - Serena Go Expert.

A newer discussion is available at Discussion #63552.