Strongly type file paths - #64159

Open

Jake Bailey (jakebailey) wants to merge 129 commits into

microsoft:mainfrom

jakebailey:typed-paths

Commits on Aug 29, 2026

Add typed path invariants to tsc
Jake Bailey (jakebailey)
committed
5bc9c0f

Commits on Aug 30, 2026

Commits on Aug 31, 2026

Document and enforce the typed path lattice
Jake Bailey (jakebailey)
committed
13bf0f4
Retain typed config file names
Jake Bailey (jakebailey)
committed
fb9db64
Retain typed paths through module resolution
Jake Bailey (jakebailey)
committed
b7300ee
Retain typed compiler directories
Jake Bailey (jakebailey)
committed
1ee4f2c
Retain typed package directories
Jake Bailey (jakebailey)
committed
af17862
Type package json lookups
Jake Bailey (jakebailey)
committed
d7232ad
Retain typed installed typings
Jake Bailey (jakebailey)
committed
75bb9db
Retain typed extended config paths
Jake Bailey (jakebailey)
committed
ced2724
Retain typed source map paths
Jake Bailey (jakebailey)
committed
04ea6e4
Require typed path bases
Jake Bailey (jakebailey)
committed
255db66
Retain typed declaration output paths
Jake Bailey (jakebailey)
committed
590b013
Retain typed root file names
Jake Bailey (jakebailey)
committed
fb6aaad
Push path invariants to boundaries
Jake Bailey (jakebailey)
committed
bb2d697
Retain typed path policies
Jake Bailey (jakebailey)
committed
39fd599
Push path proofs through compiler outputs
Jake Bailey (jakebailey)
committed
6d46453
Retain normalized root and config paths
Jake Bailey (jakebailey)
committed
4c38c53
Make path resolution intent explicit
Jake Bailey (jakebailey)
committed
f89569f
Retain typed paths through file sources
Jake Bailey (jakebailey)
committed
1978617
Type the VFS path contract
Jake Bailey (jakebailey)
committed
cb21bf2
Name lossless path conversions explicitly
Jake Bailey (jakebailey)
committed
72c2ad8
Name transforming path conversion explicitly
Jake Bailey (jakebailey)
committed
72785eb
Retain typed paths through language service hosts
Jake Bailey (jakebailey)
committed
1dd91f7
Retain typed paths through watch planning
Jake Bailey (jakebailey)
committed
2363033
Retain typed paths through internal producers
Jake Bailey (jakebailey)
committed
f6f3fe7
Retain typed paths through host callbacks
Jake Bailey (jakebailey)
committed
9c072c2
Retain typed paths through snapshots and completions
Jake Bailey (jakebailey)
committed
854a8d5

Commits on Sep 1, 2026

Separate path rooting from case sensitivity
Jake Bailey (jakebailey)
committed
0658af4
Use a real case sensitivity enum
Jake Bailey (jakebailey)
committed
2cedc35
Remove redundant path context parameters
Jake Bailey (jakebailey)
committed
9843fe3
Remove redundant path normalization
Jake Bailey (jakebailey)
committed
310f0dc
Collapse duplicate filename representations
Jake Bailey (jakebailey)
committed
e4f7af7
Strengthen filename boundaries
Jake Bailey (jakebailey)
committed
9584c6f
Type normalized relative paths
Jake Bailey (jakebailey)
committed
3aaf6ad
Use typed path comparisons
Jake Bailey (jakebailey)
committed
14f6c5e
Preserve types through path transforms
Jake Bailey (jakebailey)
committed
158050e
Use typed path inspection
Jake Bailey (jakebailey)
committed
97a498e
Type source map roots
Jake Bailey (jakebailey)
committed
d34c208
Type file rename path updates
Jake Bailey (jakebailey)
committed
9c83af0
Type module resolution candidates
Jake Bailey (jakebailey)
committed
b53413e
Classify command line option paths
Jake Bailey (jakebailey)
committed
b4ec4e2
Type finalized compiler path options
Jake Bailey (jakebailey)
committed
2740cf9
Separate compiler option wire values
Jake Bailey (jakebailey)
committed
c2e9275
Type core filename helpers
Jake Bailey (jakebailey)
committed
1369ff5
Type program file lookups
Jake Bailey (jakebailey)
committed
cc7a622
Type redirect and symlink metadata
Jake Bailey (jakebailey)
committed
3d1ccd6
Type module specifier contracts
Jake Bailey (jakebailey)
committed
6f2fdfa
Type config file specifications
Jake Bailey (jakebailey)
committed
b306b26
Type file watch adapters
Jake Bailey (jakebailey)
committed
e530ddc
Type content mapper paths
Jake Bailey (jakebailey)
committed
81dc011
Type API path contracts
Jake Bailey (jakebailey)
committed
f23e336
Type LSP path contracts
Jake Bailey (jakebailey)
committed
b6e61a1
Type TypeScript API paths
Jake Bailey (jakebailey)
committed
bca12f2
Type build info path boundaries
Jake Bailey (jakebailey)
committed
ab46b45
Type vfsmatch path boundaries
Jake Bailey (jakebailey)
committed
bd2d9bf
Close remaining typed path boundaries
Jake Bailey (jakebailey)
committed
3e1b73a
Reduce working directory path plumbing
Jake Bailey (jakebailey)
committed
cd636f5

Commits on Sep 2, 2026

Commits on Sep 3, 2026

Rename rooted path types
Jake Bailey (jakebailey)
committed
3da9071
Keep semantic directories as paths
Jake Bailey (jakebailey)
committed
ba6ec0f
Remove path prefix types
Jake Bailey (jakebailey)
committed
bacb121
Move canonicalization onto case sensitivity
Jake Bailey (jakebailey)
committed
80303a2
Clarify PathKey producer names
Jake Bailey (jakebailey)
committed
df6089b
Reuse resolved module path keys
Jake Bailey (jakebailey)
committed
27a42a6
Fix public TypeScript path API
Jake Bailey (jakebailey)
committed
15e280c
Remove fused TypeScript path conversion
Jake Bailey (jakebailey)
committed
bf7b228
Tighten TypeScript path usage
Jake Bailey (jakebailey)
committed
047aedd
Match Go Unicode path casing
Jake Bailey (jakebailey)
committed
23c3630
Clarify typed path documentation
Jake Bailey (jakebailey)
committed
0ed31a7
Describe PathKey as a canonical key
Jake Bailey (jakebailey)
committed
bd42e3d
Use direct case sensitivity terminology
Jake Bailey (jakebailey)
committed
711b128
Remove fused path key conversion
Jake Bailey (jakebailey)
committed
b3b50b0
Tighten absolute path construction
Jake Bailey (jakebailey)
committed
5deb490
Tighten TypeScript path API boundaries
Jake Bailey (jakebailey)
committed
1ca9a92
Validate typed path constructor constants
Jake Bailey (jakebailey)
committed
c9200e5
Reject malformed path root boundaries
Jake Bailey (jakebailey)
committed
4955ce4

Commits on Sep 4, 2026

Fix rooted path LSP generation
Jake Bailey (jakebailey)
committed
dcc8556
Validate typed path literals in tests
Jake Bailey (jakebailey)
committed
5f3e1b5
Cover typed path map key literals
Jake Bailey (jakebailey)
committed
17c472b
Test typed path zero value literals
Jake Bailey (jakebailey)
committed
14a5ebf
Handle cross-volume custom lint tests
Jake Bailey (jakebailey)
committed
e1b88d5
Fix typed path review regressions
Jake Bailey (jakebailey)
committed
3a0b159
Preserve rooted augmentation specifiers
Jake Bailey (jakebailey)
committed
c5b7672
Merge branch 'main' into typed-paths
Jake Bailey (jakebailey)
committed
e4c4ac8