Add opt-in --file-order-auto+ for dependency-based file ordering#19647

Draft

bryancostanich wants to merge 38 commits intodotnet:mainfrom

bryancostanich:fix_dogmatic_file_order_nonsense

Commits on Apr 27, 2026

Add symbol collection pre-pass and --file-order-auto flag (Track 01)
bryancostanich
committed
Add automatic dependency ordering — file order no longer matters (Track 02)
bryancostanich
committed
Harden dependency resolution and add inference sensitivity tests (Track 04 Phase 1)
bryancostanich
committed
Fix dependency resolution for .fsi pairing, opens vs refs, and cycle fallback
bryancostanich
committed
Add and keyword deprecation warning infrastructure (Track 03)
bryancostanich
committed
Add MSBuild property, localized help text, and wire and deprecation (Track 06)
bryancostanich
committed
Path normalization for .fsi/.fs pairing + self-host test script
bryancostanich
committed
Implement Level B cycle group processing via synthesized namespace rec
bryancostanich
committed
Improve cycle group detection and handling
bryancostanich
committed
Skip enter phase when compiling FSharp.Core
bryancostanich
committed
Add error message validation corpus (Track 04 Phase 4)
bryancostanich
committed
Extract applyAutoFileOrder for reuse by FCS (Track 05 Phase 1)
bryancostanich
committed
Wire --file-order-auto+ into FCS IncrementalBuilder (Track 05 Phase 2)
bryancostanich
committed
Add IDE-level FCS smoke test + emit FS3885 in non-recursive type decls (Track 05 Phase 3)
bryancostanich
committed
Treat sig/impl pairs as one logical contributor in export map (Track 05 Phase 4)
bryancostanich
committed
Migration docs, deprecation suppression test, end-to-end smoke (Track 06)
bryancostanich
committed
Update help baselines + fix optsFileOrderAuto format string
bryancostanich
committed
Scope enclosing-prefix resolution by namespace kind + OSS sweep results
bryancostanich
committed
Replace FCM-based ident collection with full-path AST walker (Phase 1 of OSS unblock)
bryancostanich
committed
Member registration + kind-aware matching + skip-shared opens (OSS unblock Phase 2-4)
bryancostanich
committed
Update OSS sweep results — cycle problem eliminated, remaining work documented
bryancostanich
committed
Typar stubs, cross-namespace cycle guard, opens-as-prefixes, local-shadow
bryancostanich
committed
Stop stubbing modules — type stubs only (FsCheck now builds!)
bryancostanich
committed
Hoist `open` decls recursively when synthesising cycle groups (FSharpPlus now builds!)
bryancostanich
committed
Update OSS sweep doc — all three projects pass
bryancostanich
committed
Guard against empty longId in collectFileDeclarations (Expecto unblocks)
bryancostanich
committed
Update OSS sweep — 7/8 buildable targets pass
bryancostanich
committed
AutoOpen tracking: separate aliasMap, sig→impl redirect, surgical single-ident capture (Suave unblocks)
bryancostanich
committed
Update OSS sweep doc — every buildable target matches baseline
bryancostanich
committed
Add design deep-dive doc; update release notes with OSS sweep + suite results
bryancostanich
committed
Add release notes entry for --file-order-auto+ (#19647)
bryancostanich
committed
Renumber and-deprecation warning FS3885 → FS3887 after rebase
bryancostanich
committed
Apply Fantomas formatting to file-order-auto sources
bryancostanich
committed
Exclude file-order-auto-test fixtures from TestSplit validation
bryancostanich
committed
Migrate file-order-auto fixtures to ComponentTests harness
bryancostanich
committed
Delete shell-script fixtures migrated into ComponentTests
bryancostanich
committed
Add incremental-compilation ComponentTests for --file-order-auto+
bryancostanich
committed
Unify file-order-auto walker with FileContentMapping
bryancostanich
committed