[spec-enforcer] Enforce specifications for jsonutil, linters, logger

[github-actions]

Specification Test Enforcement

This PR updates specification-driven tests for three packages drawn from the round-robin rotation (last_index=8 → 9, 10, 11).

Package	Tests Changed	Spec Sections Covered
pkg/jsonutil	0 (already complete)	Public API, Usage Examples, Design Notes
pkg/linters	3 new + 2 updated	Public API (Subpackages), Namespace exports, Usage Examples, Design Notes
pkg/logger	1 fixed assertion	Public API, Usage Examples, Design Decisions, slog Integration, Thread Safety, Output Destination

Test Derivation

All tests are derived from each package's README.md specification, not from implementation source code. Only minimal source reading was performed — to confirm exported names and signatures.

Changes by Package

pkg/linters — the README documents five subpackages (excessivefuncparams, errormessage, largefunc, osexitinlibrary, ssljson) and a namespace-level compatibility alias (ErrorMessageAnalyzer). The previous spec tests only covered four subpackages and did not exercise the documented alias.

• Added TestSpec_PublicAPI_ErrorMessageAnalyzer (validates errormessage.Analyzer per the Subpackages table).
• Added TestSpec_PublicAPI_SSLJsonAnalyzer (validates ssljson.Analyzer per the Subpackages table — previously only indirectly exercised).
• Added TestSpec_NamespaceExports_ErrorMessageAnalyzer (validates linters.ErrorMessageAnalyzer == errormessage.Analyzer per the Namespace exports table).
• Extended TestSpec_UsageExample_AnalyzersUsable and TestSpec_DesignDecision_UniqueAnalyzerNames to include all five documented analyzers.

pkg/logger — fixed a tautological assertion in TestSpec_PublicAPI_Printf. The original assertion was:

assert.True(t, strings.HasSuffix(strings.TrimRight(output, "\n"), output[:len(output)-1]) || strings.Contains(output, "+"), ...)

The first half evaluates to HasSuffix(X, X), which is always true when output ends with a single newline, so the assertion never actually verified the documented +<timediff> format. Replaced with the direct check Contains(output, "+").

pkg/jsonutil — existing tests already cover the documented MarshalCompactNoHTMLEscape contract (HTML escaping disabled for &, <, >; trailing newline trimmed; GitHub Actions expression operators preserved). No changes needed.

Spec-Implementation Mismatches

None observed.

Round-Robin State

• Run mode: round-robin
• Packages processed this run: jsonutil, linters, logger
• Next packages in rotation: parser, repoutil, semverutil
• Total eligible packages: 26 (with README.md)

---

Auto-generated by Package Specification Enforcer workflow

References:

• §26360427479

Generated by 📋 Package Specification Enforcer · ● opu47 13.4M · ◷

• expires on May 27, 2026, 11:59 AM UTC