Simplify API surface area

.config/dotnet-tools.json

@@ -3,7 +3,7 @@
   "isRoot": true,
   "tools": {
     "fantomas": {
-      "version": "7.0.3",
+      "version": "7.0.5",
       "commands": [
         "fantomas"
       ],

.github/copilot-instructions.md

@@ -0,0 +1,59 @@
+# Copilot Instructions for Ionide.ProjInfo
+
+## Project Overview
+- **Ionide.ProjInfo** is a set of F# libraries and tools for parsing and evaluating `.fsproj` and `.sln` files, used by F# tooling (e.g., Ionide, FSAC, Fable, FSharpLint).
+- Major components:
+  - `Ionide.ProjInfo`: Core project/solution parsing logic (uses Microsoft.Build APIs).
+  - `Ionide.ProjInfo.FCS`: Maps project data to FSharp.Compiler.Service types.
+  - `Ionide.ProjInfo.ProjectSystem`: High-level project system for editor tooling (change tracking, notifications, caching).
+  - `Ionide.ProjInfo.Tool`: CLI for debugging project cracking.
+
+## Build & Test Workflows
+- **Restore tools:** `dotnet tool restore`
+- **Build solution:** `dotnet build ionide-proj-info.sln`
+- **Run all tests:** `dotnet run --project build -- Test`
+- **Multi-TFM testing:**
+    - For specific TFM:
+        - LTS (net8.0) `dotnet run --project build -- Test:net8.0`
+        - STS (net9.0) `dotnet run --project build -- Test:net9.0`
+
+- **Test assets:** Test projects in `test/examples/` cover a wide range of real-world project structures (multi-TFM, C#/F#, old/new SDK, solution filters, etc.).
+
+## Key Patterns & Conventions
+- **Project loading:** Prefer using the MSBuild loader; use `--graph` for graph-based loading in CLI tool.
+- **Output formats:** CLI tool supports structured text, FCS options (`--fcs`), or JSON (`--serialize`).
+- **Cross-language:** Handles both F# and C# projects/references.
+- **Persistent caching:** ProjectSystem caches data for fast reloads.
+- **Testing:** Uses Expecto for tests; see `test/Ionide.ProjInfo.Tests/` for patterns.
+- **Release process:** Update `CHANGELOG.md`, tag, and push (see `CONTRIBUTING.md`).
+
+## Integration Points
+- Consumed by Fable, FSAC, Ionide, FSharpLint, and F# Formatting.
+- External dependencies: Microsoft.Build, FSharp.Compiler.Service (FCS).
+- Nightly builds may require custom NuGet feeds (see `CONTRIBUTING.md`).
+
+## Where to Look
+- **Architecture:** See `README.md` (root), `src/` for main libraries, `test/examples/` for project scenarios.
+- **Developer workflow:** `CONTRIBUTING.md` for build/test/release details.
+- **Tool usage:** `src/Ionide.ProjInfo.Tool/README.md` and `Program.fs`.
+- **Test patterns:** `test/Ionide.ProjInfo.Tests/` and helpers in `FileUtils.fs`.
+
+## Code of Conduct
+- See `CODE_OF_CONDUCT.md` for community standards.
+
+---
+For more, see https://github.com/ionide/dotnet-proj-info and linked docs.
+
+
+### MCP Tools
+
+> [!IMPORTANT]
+
+You have access to a long-term memory system via the Model Context Protocol (MCP) at the endpoint `memorizer`. Use the following tools:
+- `store`: Store a new memory. Parameters: `type`, `content` (markdown), `source`, `tags`, `confidence`, `relatedTo` (optional, memory ID), `relationshipType` (optional).
+- `search`: Search for similar memories. Parameters: `query`, `limit`, `minSimilarity`, `filterTags`.
+- `get`: Retrieve a memory by ID. Parameter: `id`.
+- `getMany`: Retrieve multiple memories by their IDs. Parameter: `ids` (list of IDs).
+- `delete`: Delete a memory by ID. Parameter: `id`.
+- `createRelationship`: Create a relationship between two memories. Parameters: `fromId`, `toId`, `type`.
+Use these tools to remember, recall, relate, and manage information as needed to assist the user. You can also manually retrieve or relate memories by their IDs when necessary.

AGENTS.md

@@ -0,0 +1,58 @@
+# Agent Guide for Ionide.ProjInfo
+1. Restore local tools before anything else: `dotnet tool restore`.
+2. Standard build: `dotnet build ionide-proj-info.sln` (FAKE build target `dotnet run --project build -- -t Build`).
+3. Full test matrix: `dotnet run --project build -- -t Test` (runs net8/net9/net10 with temporary `global.json`).
+4. Single test project: `dotnet test test/Ionide.ProjInfo.Tests/Ionide.ProjInfo.Tests.fsproj --filter "FullyQualifiedName~<TestName>"` after ensuring the desired SDK via `global.json` and `BuildNet*` env vars.
+5. Formatting uses Fantomas; prefer `dotnet run --project build -- -t CheckFormat`, and run `-t Format` only when necessary.
+6. Repo follows .editorconfig: 4-space indent, LF endings, final newline; XML projects/yaml use 2 spaces.
+7. F# formatting: Stroustrup braces, 240 char max line, limited blank lines, arrays/lists wrap after one item, multiline lambdas close on newline.
+8. Naming: descriptive PascalCase for types/modules, camelCase for values/parameters, UPPER_CASE for constants/environment keys.
+9. Imports: keep `open` statements grouped at top, ordered System → third-party → project namespaces; remove unused opens.
+10. Types: prefer explicit types on public members and when inference harms clarity; use records/DU for shape safety.
+11. Error handling: use `Result`/`Choice` for recoverable states, raise exceptions only when failing fast; log via FsLibLog where available.
+12. Async workflows: keep side effects isolated; favor `task {}` or `async {}` consistently per module.
+13. Tests use Expecto; follow `TestAssets.fs` helpers and keep assertions expressive.
+14. Avoid introducing new dependencies without discussion; stick to existing FAKE pipeline for packaging/pushing.
+15. Copilot rules apply: follow `.github/copilot-instructions.md` for architecture pointers and release workflow awareness.
+16. No Cursor-specific rules present; if they appear later under `.cursor/`, integrate them here.
+17. Always update CHANGELOG for user-facing changes and confirm Code of Conduct compliance.
+18. Document CLI/tool behavior changes in respective `README.md` files under `src/*`.
+19. Keep public APIs backward compatible; prefer additive changes and guard feature flags.
+20. When unsure about SDK/runtime alignment, run `dotnet --version` and adjust `global.json` to match test needs.
+
+
+## Resources
+
+### Core Documentation
+- [FsAutoComplete GitHub Repository](https://github.com/ionide/FsAutoComplete)
+- [LSP Specification](https://microsoft.github.io/language-server-protocol/)
+- [F# Compiler Service Documentation](https://fsharp.github.io/FSharp.Compiler.Service/)
+
+### F# Development Guidelines
+- [F# Style Guide](https://docs.microsoft.com/en-us/dotnet/fsharp/style-guide/)
+- [F# Formatting Guidelines](https://docs.microsoft.com/en-us/dotnet/fsharp/style-guide/formatting)
+- [F# Component Design Guidelines](https://docs.microsoft.com/en-us/dotnet/fsharp/style-guide/component-design-guidelines)
+
+### Project-Specific Guides
+- [Creating a New Code Fix Guide](./docs/Creating%20a%20new%20code%20fix.md)
+- [Ionide.ProjInfo Documentation](https://github.com/ionide/proj-info)
+- [Fantomas Configuration](https://fsprojects.github.io/fantomas/)
+
+### Related Tools
+- [FSharpLint](https://github.com/fsprojects/FSharpLint/) - Static analysis tool
+- [Paket](https://fsprojects.github.io/Paket/) - Dependency management
+- [FAKE](https://fake.build/) - Build automation (used for scaffolding)
+
+
+### MCP Tools
+
+> [!IMPORTANT]
+
+You have access to a long-term memory system via the Model Context Protocol (MCP) at the endpoint `memorizer`. Use the following tools:
+- `store`: Store a new memory. Parameters: `type`, `content` (markdown), `source`, `tags`, `confidence`, `relatedTo` (optional, memory ID), `relationshipType` (optional).
+- `search`: Search for similar memories. Parameters: `query`, `limit`, `minSimilarity`, `filterTags`.
+- `get`: Retrieve a memory by ID. Parameter: `id`.
+- `getMany`: Retrieve multiple memories by their IDs. Parameter: `ids` (list of IDs).
+- `delete`: Delete a memory by ID. Parameter: `id`.
+- `createRelationship`: Create a relationship between two memories. Parameters: `fromId`, `toId`, `type`.
+Use these tools to remember, recall, relate, and manage information as needed to assist the user. You can also manually retrieve or relate memories by their IDs when necessary.

Directory.Packages.props

@@ -38,7 +38,7 @@
     <PackageVersion Include="Expecto" Version="$(ExpectoVersion)" />
     <PackageVersion Include="Expecto.Diff" Version="$(ExpectoVersion)" />
     <PackageVersion Include="MedallionShell" Version="1.5.1" />
-    <PackageVersion Include="YoloDev.Expecto.TestSdk" Version="0.15.3" />
+    <PackageVersion Include="YoloDev.Expecto.TestSdk" Version="0.15.5" />
     <PackageVersion Include="Microsoft.NET.Test.Sdk" Version="17.11.1" />
     <PackageVersion Include="GitHubActionsTestLogger" Version="2.4.1" />
     <!-- Build Dependencies-->

build/Program.fs

@@ -1,8 +1,9 @@
-open Fake.Core
+open Fake.Core
 open Fake.DotNet
 open Fake.IO
 open Fake.IO.Globbing.Operators
 open Fake.Core.TargetOperators
+open System
 
 System.Environment.CurrentDirectory <- (Path.combine __SOURCE_DIRECTORY__ "..")
 
@@ -104,7 +105,19 @@ let init args =
             "net10.0", Some "BuildNet10"
         ]
 
+    let cleanupGlobalJson =
+        let globalJsonPath = Path.combine "test" "global.json"
+
+        fun () ->
+            try
+                if System.IO.File.Exists globalJsonPath then
+                    System.IO.File.Delete globalJsonPath
+            with _ ->
+                ()
+
     let testTFM tfm =
+        cleanupGlobalJson ()
+
         try
             exec "dotnet" $"new globaljson --force --sdk-version {tfmToSdkMap.[tfm]} --roll-forward LatestMinor" "test" Map.empty
 
@@ -123,10 +136,18 @@ let init args =
                 | Some envVar -> Map.ofSeq [ envVar, "true" ]
                 | None -> Map.empty
 
-            exec "dotnet" $"test --blame --blame-hang-timeout 120s --framework {tfm} --logger trx --logger GitHubActions -c %s{configuration} .\\Ionide.ProjInfo.Tests\\Ionide.ProjInfo.Tests.fsproj -- %s{failedOnFocus}" "test" envs
+            let timeoutInSeconds =
+                (TimeSpan.FromMinutes 5).TotalSeconds
+                |> int
+
+            exec
+                "dotnet"
+                $"test --blame --blame-hang-timeout %d{timeoutInSeconds}s --framework %s{tfm} --logger trx --logger GitHubActions -c %s{configuration} .\\Ionide.ProjInfo.Tests\\Ionide.ProjInfo.Tests.fsproj -- %s{failedOnFocus}"
+                "test"
+                envs
             |> ignore
         finally
-            System.IO.File.Delete "test\\global.json"
+            cleanupGlobalJson ()
 
     Target.create "Test" DoNothing
 
@@ -204,7 +225,11 @@ let init args =
     Target.create "Release" DoNothing
 
     "Clean"
-    ==> "CheckFormat"
+    ==> "Default"
+    |> ignore
+
+    "Clean"
+    ?=> "CheckFormat"
     ==> "Build"
     ==> "Test"
     ==> "Default"

global.json

@@ -1,7 +1,6 @@
 {
     "sdk": {
         "version": "8.0.100",
-        "rollForward": "latestMinor",
-        "allowPrerelease": true
+        "rollForward": "latestMinor"
     }
 }

src/Directory.Build.props

@@ -1,6 +1,6 @@
 <Project>
     <PropertyGroup>
-        <PublishRepositoryUrl>true</PublishRepositoryUrl>
+        <NoWarn>$(NoWarn);FS3535</NoWarn> <!-- interfaces with static abstract methods -->        <PublishRepositoryUrl>true</PublishRepositoryUrl>
         <EmbedUntrackedSources>true</EmbedUntrackedSources>
         <GenerateDocumentationFile>true</GenerateDocumentationFile>
         <DebugType>embedded</DebugType>

src/Ionide.ProjInfo/Ionide.ProjInfo.fsproj

@@ -12,6 +12,7 @@
     <Compile Include="VisualTree.fs" />
     <Compile Include="InspectSln.fs" />
     <Compile Include="Library.fs" />
+    <Compile Include="ProjectLoader2.fs" />
   </ItemGroup>
 
   <ItemGroup>