[spec-extractor] docs: correct stale source-file count in workflow package README

[github-actions]

test

Generated by PR Description Updater for #57406 · copilot · auto · 38.7 AIC · ⌖ 6.2 AIC · ⊞ 7.7K · ◷

[gh-aw-bot]

@copilot this PR has no successful forward-progress signal yet. Please refresh the branch if needed, review current checks, and run the pr-finisher skill to either complete the change or close the PR if it is no longer needed.

Warning

Firewall blocked 1 domain

The following domain was blocked by the firewall during workflow execution:

• github.com

To allow these domains, add them to the network.allowed list in your workflow frontmatter:

network:
  allowed:
    - defaults
    - "github.com"

See Network Configuration for more information.

Generated by 👨‍🍳 PR Sous Chef · pi · gpt54 · 10.9 AIC · ⌖ 8.6 AIC · ⊞ 9K · ◷
_{Comment /souschef to run again}

[Copilot]

@copilot this PR has no successful forward-progress signal yet. Please refresh the branch if needed, review current checks, and run the pr-finisher skill to either complete the change or close the P...

Completed a PR-finisher pass on #57406.

• Reviews: no unresolved in-scope review threads/comments.
• Checks (local): make fmt, make lint, make test-unit, make test, and make recompile all passed on the current HEAD.
• Checks (CI): existing branch runs are action_required with no failed jobs reported in logs; CI for the current agent state is stale and needs a maintainer re-trigger.
• Mergeability: PR is open, non-draft, and not in conflict.

No additional code changes were needed in this pass.