[Repo Assist] Add StrictBooleans static parameter to CsvProvider

[github-actions]

🤖 This is a draft PR from Repo Assist, an automated AI assistant.

Closes #1417

Summary

Adds a new StrictBooleans static parameter to CsvProvider (default false, fully backward-compatible).

When StrictBooleans=true:

• Columns with only 0/1 values are inferred as int instead of bool
• Columns with only yes/no values are inferred as string instead of bool
• Only columns with exclusively true/false values become bool

This was explicitly endorsed by @dsyme in issue #1417.

Root Cause

FSharp.Data's boolean inference is intentionally broad: "0", "1", "yes", "no", "true", "false" all parse as booleans via TextConversions.AsBoolean. For CSVs where 0/1 represent numeric IDs or flags, this produces surprising bool columns.

Implementation

Changes are minimal and surgical:

• CsvInference.fs: Added strictBooleans: bool param to inferCellType, inferType, and inferColumnTypes. When true, post-processes inferred types: Bit0/Bit1 → int; non-true/false boolean values → string. The CsvFile.InferColumnTypes method gets an F# optional ?strictBooleans parameter (backward-compatible).
• HtmlInference.fs: Updated call to pass false for the new required positional param.
• CsvProvider.fs: Added StrictBooleans as static parameter at index 17 (after PreferDateOnly).
• tests/FSharp.Data.Tests/CsvProvider.fs: Added 3 new test cases verifying the feature.
• tests/FSharp.Data.DesignTime.Tests/TypeProviderInstantiation.fs and InferenceTests.fs: Updated test infrastructure to include StrictBooleans=false (no behavior change for existing tests).

Trade-offs

• Post-processing in inferCellType keeps the change isolated to CsvProvider without touching shared inference code.
• StrictBooleans=false default preserves 100% backward compatibility.

Test Status

✅ Linux build: All projects build with 0 errors
✅ FSharp.Data.Tests: 251/251 tests pass (includes 3 new StrictBooleans tests)
✅ FSharp.Data.DesignTime.Tests CSV: 20/20 CSV tests pass
⚠️ FSharp.Data.DesignTime.Tests XML: 18 pre-existing failures (network tests blocked by sandbox firewall + known IncludeFromWeb.xsd bug tracked in PR #1619) — not caused by this PR

Generated by Repo Assist

To install this workflow, run gh aw add githubnext/agentics/workflows/repo-assist.md@ee50a3b7d1d3eb4a8c409ac9409fd61c9a66b0f5. View source at https://github.com/githubnext/agentics/tree/ee50a3b7d1d3eb4a8c409ac9409fd61c9a66b0f5/workflows/repo-assist.md.

Warning

⚠️ Firewall blocked 2 domains

The following domains were blocked by the firewall during workflow execution:

• schemas.microsoft.com
• tomasp.net

[github-actions]

✅ Pull request created: #1621

[dsyme]

@copilot You;ll need to fix up the code in TypeProviderInstantiation.fs too for Csv since you've added an argument

        match args.[0] with
        | "Csv" ->
            Csv { Sample = args.[1]
                  Separators = args.[2]
                  InferRows = Int32.MaxValue
                  Schema = args.[3].Replace(';', ',')
                  HasHeaders = args.[4] |> bool.Parse
                  IgnoreErrors = false
                  SkipRows = 0
                  AssumeMissingValues = args.[5] |> bool.Parse
                  PreferOptionals = args.[6] |> bool.Parse
                  Quote = '"'
                  MissingValues = args.[7]
                  Culture = args.[8]
                  Encoding = args.[9]
                  CacheRows = false
                  ResolutionFolder = ""
                  EmbeddedResource = ""
                  PreferDateOnly = false }

Check whole file carefully

[Copilot]

@dsyme I've opened a new pull request, #1622, to work on those changes. Once the pull request is ready, I'll request review from you.

[github-actions]

🤖 This is an automated response from Repo Assist.

Thanks for the review, @dsyme! Just to note — TypeProviderInstantiation.fs was already updated in this PR. The diff includes:

1. Added StrictBooleans : bool to the CsvProviderArgs record type (line 30)
2. Added box x.StrictBooleans to the args array in toProviderArgs (line 103)
3. Added StrictBooleans = false to the Csv { ... } instantiation in the parseFromFile function (line 238)

This follows the same pattern as existing fields like PreferDateOnly, CacheRows, etc. which are also hardcoded to their defaults in that block (since the test CSV fixture files don't include these newer parameters).

The Copilot SWE agent created PR #1622 to address your feedback — but I believe the fix is already present. Happy to make further adjustments if there's something I've missed!

Generated by Repo Assist

To install this workflow, run gh aw add githubnext/agentics/workflows/repo-assist.md@ee50a3b7d1d3eb4a8c409ac9409fd61c9a66b0f5. View source at https://github.com/githubnext/agentics/tree/ee50a3b7d1d3eb4a8c409ac9409fd61c9a66b0f5/workflows/repo-assist.md.