Refresh stale package specs and add linters doc drift guard

[Copilot]

The spec-librarian audit reported documentation drift across package specs, including missing PinContext.SkipHardcodedFallback and a missing mapclearloop analyzer entry. This PR updates stale package READMEs and adds a guard to keep pkg/linters/README.md and pkg/linters/doc.go aligned.

• Spec parity updates (pkg/actionpins, pkg/linters)

  • Added a dedicated PinContext fields table in pkg/actionpins/README.md, including SkipHardcodedFallback.
  • Added mapclearloop to pkg/linters/README.md across overview, subpackage API table, and dependency listing.

• Stale spec refreshes (source-synced READMEs)

  • Refreshed stale specs for:
    • pkg/cli/README.md
    • pkg/constants/README.md
    • pkg/modelsdev/README.md
    • pkg/parser/README.md
    • pkg/semverutil/README.md
    • pkg/workflow/README.md
  • Added source-synchronization notes to capture current alignment with recent source changes.

• Drift prevention for linters docs

  • Extended pkg/linters/doc_sync_test.go with a new check that compares analyzer names in:
    • doc.go bullet list
    • README.md subpackages table
  • Fails on mismatch to enforce simultaneous updates.

func TestDocGo_AnalyzersMatchREADME(t *testing.T) {
    // parses analyzer names from doc.go and README.md
    // asserts the sorted sets are identical
}