fix(AC0002): skip setup tables whose primary key is always blank

[Arthurvdv]

Fixes #575

Summary

AC0002 (NotBlankRequiredOnPrimaryKeyField) no longer reports setup tables. A setup table holds one record, and its primary key is always blank by design. Setup tables are assumed to be singletons that no other table relates to, so the cascading rename/delete the rule guards against does not apply.

• NotBlankOnPrimaryKeyField: one early return in the AC0002 branch, which reuses the shared TableHelper.IsSetupTable (also used by AC0013). It matches a sole Code primary key field named Primary Key/PrimaryKey, or a parameterless, return-less GetRecordOnce method on the table. The helper already compiles on netstandard2.1, so no TFM guards are needed.
• AC0003 (the No. Series branch of the same analyzer) is unchanged.
• Tests: three new NoDiagnostic fixtures (SetupTablePrimaryKey, SetupTablePrimaryKeyNoSpace, SetupTableGetRecordOnce), observed failing before the fix. A HasDiagnostic/PrimaryKeyTextField regression guard pins the Code-only scope.
• New rule doc .claude/rules/diagnostics/ac0002-not-blank-required-on-primary-key-field.md. The AC0013 doc notes that it shares the heuristic.

Deliberate scope limits

The heuristic matches by convention, not by checking inbound relations. These cases still report AC0002:

• a Text "Primary Key" field (the helper is Code-only);
• a singleton keyed by PK or Code without a GetRecordOnce method.

Widening the heuristic would also change AC0013. An explicit NotBlank = false remains the opt-out.

CodeFix rename

No behaviour change. In NotBlankRequiredOnPrimaryKeyFieldCodeFixProvider, GetBooleanFalsePropertyValue and GetNotBlankFalseProperty actually produced NotBlank = true. They are renamed to GetBooleanTruePropertyValue and GetNotBlankTrueProperty, and updatedNotBlankProperty now has correct casing.

Verification

• dotnet build ALCops.sln and dotnet test ALCops.sln: all green.
• dotnet format ALCops.sln --verify-no-changes: clean.
• ApplicationCop CI-TFM build (netstandard2.1, net8.0, net10.0): 0 warnings, 0 errors.
• Validate-Rules.ps1: OK.
• Code review (/code-review, Sonnet, effort high): no correctness issues; review nits addressed in chore(AC0002): tighten setup-table wording from review.

Docs: ALCops/alcops.dev#199

🤖 Generated with Claude Code