ttsc 0.33.1 → 0.34.0

package/targets/7.1/bridge/tsoptions/shim.go

@@ -0,0 +1,193 @@
+// Code generated by packages/ttsc/tools/gen_shims. DO NOT EDIT.
+
+package tsoptions
+
+import "github.com/microsoft/TypeScript/tsc/internal/ast"
+import "github.com/microsoft/TypeScript/tsc/internal/collections"
+import "github.com/microsoft/TypeScript/tsc/internal/contentmapper"
+import "github.com/microsoft/TypeScript/tsc/internal/core"
+import "github.com/microsoft/TypeScript/tsc/internal/diagnostics"
+import "github.com/microsoft/TypeScript/tsc/internal/tsoptions"
+import "github.com/microsoft/TypeScript/tsc/internal/tspath"
+import "github.com/microsoft/TypeScript/tsc/internal/vfs"
+import _ "unsafe"
+
+type AlternateModeDiagnostics = tsoptions.AlternateModeDiagnostics
+
+var BuildNameMap = tsoptions.BuildNameMap
+var BuildOpts = tsoptions.BuildOpts
+var CommandLineCompilerOptionsMap = tsoptions.CommandLineCompilerOptionsMap
+
+type CommandLineOption = tsoptions.CommandLineOption
+type CommandLineOptionKind = tsoptions.CommandLineOptionKind
+type CommandLineOptionNameMap = tsoptions.CommandLineOptionNameMap
+type CommandLineOptionPathKind = tsoptions.CommandLineOptionPathKind
+
+const CommandLineOptionPathKindConfigLocator = tsoptions.CommandLineOptionPathKindConfigLocator
+const CommandLineOptionPathKindDirectory = tsoptions.CommandLineOptionPathKindDirectory
+const CommandLineOptionPathKindFile = tsoptions.CommandLineOptionPathKindFile
+const CommandLineOptionPathKindFileOrDirectory = tsoptions.CommandLineOptionPathKindFileOrDirectory
+const CommandLineOptionPathKindFileSpec = tsoptions.CommandLineOptionPathKindFileSpec
+const CommandLineOptionPathKindNone = tsoptions.CommandLineOptionPathKindNone
+const CommandLineOptionPathKindPathPattern = tsoptions.CommandLineOptionPathKindPathPattern
+const CommandLineOptionPathKindResolvedPathPattern = tsoptions.CommandLineOptionPathKindResolvedPathPattern
+const CommandLineOptionPathKindSourceMapLocation = tsoptions.CommandLineOptionPathKindSourceMapLocation
+const CommandLineOptionTypeBoolean = tsoptions.CommandLineOptionTypeBoolean
+const CommandLineOptionTypeEnum = tsoptions.CommandLineOptionTypeEnum
+const CommandLineOptionTypeList = tsoptions.CommandLineOptionTypeList
+const CommandLineOptionTypeListOrElement = tsoptions.CommandLineOptionTypeListOrElement
+const CommandLineOptionTypeNumber = tsoptions.CommandLineOptionTypeNumber
+const CommandLineOptionTypeObject = tsoptions.CommandLineOptionTypeObject
+const CommandLineOptionTypeString = tsoptions.CommandLineOptionTypeString
+
+var CompilerNameMap = tsoptions.CompilerNameMap
+
+//go:linkname CompilerOptionsAffectDeclarationPath github.com/microsoft/TypeScript/tsc/internal/tsoptions.CompilerOptionsAffectDeclarationPath
+func CompilerOptionsAffectDeclarationPath(oldOptions *core.CompilerOptions, newOptions *core.CompilerOptions) bool
+
+//go:linkname CompilerOptionsAffectEmit github.com/microsoft/TypeScript/tsc/internal/tsoptions.CompilerOptionsAffectEmit
+func CompilerOptionsAffectEmit(oldOptions *core.CompilerOptions, newOptions *core.CompilerOptions) bool
+
+//go:linkname CompilerOptionsAffectSemanticDiagnostics github.com/microsoft/TypeScript/tsc/internal/tsoptions.CompilerOptionsAffectSemanticDiagnostics
+func CompilerOptionsAffectSemanticDiagnostics(oldOptions *core.CompilerOptions, newOptions *core.CompilerOptions) bool
+
+var CompilerOptionsDidYouMeanDiagnostics = tsoptions.CompilerOptionsDidYouMeanDiagnostics
+
+type CompilerOptionsValue = tsoptions.CompilerOptionsValue
+
+//go:linkname ConvertOptionToAbsolutePath github.com/microsoft/TypeScript/tsc/internal/tsoptions.ConvertOptionToAbsolutePath
+func ConvertOptionToAbsolutePath(o string, v any, optionMap tsoptions.CommandLineOptionNameMap, cwd tspath.RootedDirectoryPath) (any, bool)
+
+//go:linkname ConvertToTSConfig github.com/microsoft/TypeScript/tsc/internal/tsoptions.ConvertToTSConfig
+func ConvertToTSConfig(configParseResult *tsoptions.ParsedCommandLine, configFileName tspath.RootedFilePath) *tsoptions.TSConfig
+
+//go:linkname CreateDiagnosticAtReferenceSyntax github.com/microsoft/TypeScript/tsc/internal/tsoptions.CreateDiagnosticAtReferenceSyntax
+func CreateDiagnosticAtReferenceSyntax(config *tsoptions.ParsedCommandLine, index int, message *diagnostics.Message, args ...any) *ast.Diagnostic
+
+//go:linkname CreateDiagnosticForNodeInSourceFile github.com/microsoft/TypeScript/tsc/internal/tsoptions.CreateDiagnosticForNodeInSourceFile
+func CreateDiagnosticForNodeInSourceFile(sourceFile *ast.SourceFile, node *ast.Node, message *diagnostics.Message, args ...any) *ast.Diagnostic
+
+//go:linkname CreateDiagnosticForNodeInSourceFileOrCompilerDiagnostic github.com/microsoft/TypeScript/tsc/internal/tsoptions.CreateDiagnosticForNodeInSourceFileOrCompilerDiagnostic
+func CreateDiagnosticForNodeInSourceFileOrCompilerDiagnostic(sourceFile *ast.SourceFile, node *ast.Node, message *diagnostics.Message, args ...any) *ast.Diagnostic
+
+type DidYouMeanOptionsDiagnostics = tsoptions.DidYouMeanOptionsDiagnostics
+type ExtendedConfigCache = tsoptions.ExtendedConfigCache
+type ExtendedConfigCacheEntry = tsoptions.ExtendedConfigCacheEntry
+
+//go:linkname ForEachCompilerOptionAffectingBuildInfo github.com/microsoft/TypeScript/tsc/internal/tsoptions.ForEachCompilerOptionAffectingBuildInfo
+func ForEachCompilerOptionAffectingBuildInfo(options *core.CompilerOptions, fn func(option *tsoptions.CommandLineOption, value any))
+
+//go:linkname GetCallbackForFindingPropertyAssignmentByValue github.com/microsoft/TypeScript/tsc/internal/tsoptions.GetCallbackForFindingPropertyAssignmentByValue
+func GetCallbackForFindingPropertyAssignmentByValue(value string) func(property *ast.PropertyAssignment) *ast.Node
+
+//go:linkname GetContentMapperOptionDiagnosticLocation github.com/microsoft/TypeScript/tsc/internal/tsoptions.GetContentMapperOptionDiagnosticLocation
+func GetContentMapperOptionDiagnosticLocation(config *tsoptions.ParsedCommandLine, mapper *contentmapper.Mapper, path []contentmapper.OptionPathSegment) (*ast.SourceFile, core.TextRange)
+
+//go:linkname GetDefaultLibFileName github.com/microsoft/TypeScript/tsc/internal/tsoptions.GetDefaultLibFileName
+func GetDefaultLibFileName(options *core.CompilerOptions) string
+
+//go:linkname GetLibFileName github.com/microsoft/TypeScript/tsc/internal/tsoptions.GetLibFileName
+func GetLibFileName(libName string) (string, bool)
+
+//go:linkname GetNameMapFromList github.com/microsoft/TypeScript/tsc/internal/tsoptions.GetNameMapFromList
+func GetNameMapFromList(optDecls []*tsoptions.CommandLineOption) *tsoptions.NameMap
+
+//go:linkname GetOptionsSyntaxByArrayElementValue github.com/microsoft/TypeScript/tsc/internal/tsoptions.GetOptionsSyntaxByArrayElementValue
+func GetOptionsSyntaxByArrayElementValue(objectLiteral *ast.ObjectLiteralExpression, propKey string, elementValue string) *ast.Node
+
+//go:linkname GetParsedCommandLineOfConfigFile github.com/microsoft/TypeScript/tsc/internal/tsoptions.GetParsedCommandLineOfConfigFile
+func GetParsedCommandLineOfConfigFile(configFileName tspath.RootedFilePath, options *core.CompilerOptions, optionsRaw *collections.OrderedMap[string, any], host tsoptions.ParseConfigHost, extendedConfigCache tsoptions.ExtendedConfigCache) (*tsoptions.ParsedCommandLine, []*ast.Diagnostic)
+
+//go:linkname GetParsedCommandLineOfConfigFilePath github.com/microsoft/TypeScript/tsc/internal/tsoptions.GetParsedCommandLineOfConfigFilePath
+func GetParsedCommandLineOfConfigFilePath(configFileName tspath.RootedFilePath, path tspath.PathKey, options *core.CompilerOptions, optionsRaw *collections.OrderedMap[string, any], host tsoptions.ParseConfigHost, extendedConfigCache tsoptions.ExtendedConfigCache) (*tsoptions.ParsedCommandLine, []*ast.Diagnostic)
+
+//go:linkname GetSupportedExtensions github.com/microsoft/TypeScript/tsc/internal/tsoptions.GetSupportedExtensions
+func GetSupportedExtensions(compilerOptions *core.CompilerOptions, extraExtensions []string) [][]string
+
+//go:linkname GetSupportedExtensionsWithJsonIfResolveJsonModule github.com/microsoft/TypeScript/tsc/internal/tsoptions.GetSupportedExtensionsWithJsonIfResolveJsonModule
+func GetSupportedExtensionsWithJsonIfResolveJsonModule(compilerOptions *core.CompilerOptions, supportedExtensions [][]string) [][]string
+
+//go:linkname GetTsConfigPropArrayElementValue github.com/microsoft/TypeScript/tsc/internal/tsoptions.GetTsConfigPropArrayElementValue
+func GetTsConfigPropArrayElementValue(tsConfigSourceFile *ast.SourceFile, propKey string, elementValue string) *ast.StringLiteral
+
+var LibFilesSet = tsoptions.LibFilesSet
+var LibMap = tsoptions.LibMap
+var Libs = tsoptions.Libs
+
+type NameMap = tsoptions.NameMap
+
+//go:linkname NewDefaultParseConfigHost github.com/microsoft/TypeScript/tsc/internal/tsoptions.NewDefaultParseConfigHost
+func NewDefaultParseConfigHost(fs vfs.FS) tsoptions.ParseConfigHost
+
+//go:linkname NewParsedCommandLine github.com/microsoft/TypeScript/tsc/internal/tsoptions.NewParsedCommandLine
+func NewParsedCommandLine(compilerOptions *core.CompilerOptions, rootFileNames []tspath.RootedFilePath, projectReferences []*core.ProjectReference, baseDirectory tspath.RootedDirectoryPath, caseSensitivity tspath.CaseSensitivity) *tsoptions.ParsedCommandLine
+
+//go:linkname NewTsconfigSourceFileFromFilePath github.com/microsoft/TypeScript/tsc/internal/tsoptions.NewTsconfigSourceFileFromFilePath
+func NewTsconfigSourceFileFromFilePath(configFileName tspath.RootedFilePath, configPath tspath.PathKey, configSourceText string) *tsoptions.TsConfigSourceFile
+
+var OptionsDeclarations = tsoptions.OptionsDeclarations
+var OptionsForBuild = tsoptions.OptionsForBuild
+
+//go:linkname ParseBuildCommandLine github.com/microsoft/TypeScript/tsc/internal/tsoptions.ParseBuildCommandLine
+func ParseBuildCommandLine(commandLine []string, fs vfs.FS, currentDirectory tspath.RootedDirectoryPath) *tsoptions.ParsedBuildCommandLine
+
+//go:linkname ParseBuildOptions github.com/microsoft/TypeScript/tsc/internal/tsoptions.ParseBuildOptions
+func ParseBuildOptions(key string, value any, allOptions *core.BuildOptions)
+
+//go:linkname ParseCommandLine github.com/microsoft/TypeScript/tsc/internal/tsoptions.ParseCommandLine
+func ParseCommandLine(commandLine []string, fs vfs.FS, currentDirectory tspath.RootedDirectoryPath) *tsoptions.ParsedCommandLine
+
+type ParseCommandLineWorkerDiagnostics = tsoptions.ParseCommandLineWorkerDiagnostics
+
+//go:linkname ParseCompilerOptions github.com/microsoft/TypeScript/tsc/internal/tsoptions.ParseCompilerOptions
+func ParseCompilerOptions(key string, value any, allOptions *core.CompilerOptions)
+
+//go:linkname ParseConfigFileTextToJson github.com/microsoft/TypeScript/tsc/internal/tsoptions.ParseConfigFileTextToJson
+func ParseConfigFileTextToJson(fileName tspath.RootedFilePath, path tspath.PathKey, jsonText string) (any, []*ast.Diagnostic)
+
+type ParseConfigHost = tsoptions.ParseConfigHost
+
+//go:linkname ParseExtendedConfig github.com/microsoft/TypeScript/tsc/internal/tsoptions.ParseExtendedConfig
+func ParseExtendedConfig(fileName tspath.RootedFilePath, path tspath.PathKey, resolutionStack []tspath.PathKey, fs vfs.FS, extendedConfigCache tsoptions.ExtendedConfigCache) *tsoptions.ExtendedConfigCacheEntry
+
+//go:linkname ParseJsonConfigFileContent github.com/microsoft/TypeScript/tsc/internal/tsoptions.ParseJsonConfigFileContent
+func ParseJsonConfigFileContent(json any, host tsoptions.ParseConfigHost, basePath tspath.RootedDirectoryPath, existingOptions *core.CompilerOptions, configFileName tspath.RootedFilePath, resolutionStack []tspath.PathKey, extendedConfigCache tsoptions.ExtendedConfigCache) *tsoptions.ParsedCommandLine
+
+//go:linkname ParseJsonSourceFileConfigFileContent github.com/microsoft/TypeScript/tsc/internal/tsoptions.ParseJsonSourceFileConfigFileContent
+func ParseJsonSourceFileConfigFileContent(sourceFile *tsoptions.TsConfigSourceFile, host tsoptions.ParseConfigHost, basePath tspath.RootedDirectoryPath, existingOptions *core.CompilerOptions, existingOptionsRaw *collections.OrderedMap[string, any], resolutionStack []tspath.PathKey, extendedConfigCache tsoptions.ExtendedConfigCache) *tsoptions.ParsedCommandLine
+
+//go:linkname ParseListTypeOption github.com/microsoft/TypeScript/tsc/internal/tsoptions.ParseListTypeOption
+func ParseListTypeOption(opt *tsoptions.CommandLineOption, value string) ([]any, []*ast.Diagnostic)
+
+//go:linkname ParseString github.com/microsoft/TypeScript/tsc/internal/tsoptions.ParseString
+func ParseString(value any) string
+
+//go:linkname ParseStringArray github.com/microsoft/TypeScript/tsc/internal/tsoptions.ParseStringArray
+func ParseStringArray(value any) []string
+
+//go:linkname ParseTristate github.com/microsoft/TypeScript/tsc/internal/tsoptions.ParseTristate
+func ParseTristate(value any) core.Tristate
+
+//go:linkname ParseTypeAcquisition github.com/microsoft/TypeScript/tsc/internal/tsoptions.ParseTypeAcquisition
+func ParseTypeAcquisition(key string, value any, allOptions *core.TypeAcquisition)
+
+type ParsedBuildCommandLine = tsoptions.ParsedBuildCommandLine
+type ParsedCommandLine = tsoptions.ParsedCommandLine
+type ParsedOptions = tsoptions.ParsedOptions
+
+//go:linkname PathValueAsString github.com/microsoft/TypeScript/tsc/internal/tsoptions.PathValueAsString
+func PathValueAsString(value any) (string, bool)
+
+//go:linkname PathValuesAsStrings github.com/microsoft/TypeScript/tsc/internal/tsoptions.PathValuesAsStrings
+func PathValuesAsStrings(value any) ([]string, bool)
+
+type RawCompilerOptions = tsoptions.RawCompilerOptions
+type SourceOutputAndProjectReference = tsoptions.SourceOutputAndProjectReference
+type TSConfig = tsoptions.TSConfig
+
+//go:linkname TargetToLibMap github.com/microsoft/TypeScript/tsc/internal/tsoptions.TargetToLibMap
+func TargetToLibMap() map[core.ScriptTarget]string
+
+type TsConfigSourceFile = tsoptions.TsConfigSourceFile
+
+var TscBuildOption = tsoptions.TscBuildOption

package/targets/7.1/bridge/tspath/extra-shim.json

@@ -0,0 +1,4 @@
+{
+  "ExtraMethods": {},
+  "ExtraFields": {}
+}

package/targets/7.1/bridge/tspath/go.mod

@@ -0,0 +1,5 @@
+module github.com/microsoft/TypeScript/tsc/shim/tspath
+
+go 1.27
+
+require github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906

package/targets/7.1/bridge/tspath/go.sum

@@ -0,0 +1,6 @@
+github.com/google/go-cmp v0.7.0 h1:wk8382ETsv4JYUZwIsn6YpYiWiBsYLSJiTsyBybVuN8=
+github.com/google/go-cmp v0.7.0/go.mod h1:pXiqmnSA92OHEEa9HXL2W4E7lf9JzCmGVUdgjX3N/iU=
+github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906 h1:Wn+Kp4ORyay6jJwvOng7G8pTD6HOP+Fwx8si66Wq7Bk=
+github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906/go.mod h1:28hWKaTYwRARPm0T9Y0XvdvYpU2HtjONzsMqAdYLucY=
+gotest.tools/v3 v3.5.2 h1:7koQfIKdy+I8UTetycgUqXWSDwpgv193Ka+qRsmBY8Q=
+gotest.tools/v3 v3.5.2/go.mod h1:LtdLGcnqToBH83WByAAi/wiwSFCArdFIUV/xxN4pcjA=

package/targets/7.1/bridge/tspath/neutral.go

@@ -0,0 +1,142 @@
+package tspath
+
+// Version-neutral path operations.
+//
+// TypeScript 7.1 makes these path operations methods of its typed paths and
+// CaseSensitivity, while TypeScript 7.0 spells the same values as strings and
+// booleans that cannot carry methods. Code that must compile on both compiler
+// targets calls these functions, which the 7.0 shim declares with identical
+// signatures over its own path functions; here each forwards to the 7.1 method.
+
+// Canonicalize applies the case policy to text used as a path identity: an
+// insensitive policy lowercases it the way file names compare.
+//
+// @evidence contracts/common.md#principled-implementation Forwards to CaseSensitivity.Canonicalize, the compiler's own path-identity canonicalization.
+// @evidence contracts/common.md#clear-and-simple-design One forwarding call keeps the target difference inside the shim.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts No case folding is reimplemented here.
+// @evidence contracts/common.md#meaningful-documentation Native prose states the insensitive-policy effect.
+// @evidenceExclude contracts/portability.md#os-neutral-implementation Text canonicalization performs no native filesystem, path or process operation; the policy is supplied, not read from the OS.
+// @evidenceExclude contracts/performance.md#efficient-algorithms The compiler owns the single pass over the text.
+// @evidenceExclude contracts/performance.md#reuse-equivalent-work The function coordinates no shared work.
+// @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The function retains nothing beyond the returned string.
+func Canonicalize(caseSensitivity CaseSensitivity, text string) string {
+  return caseSensitivity.Canonicalize(text)
+}
+
+// CompareFilePaths orders two rooted, normalized file paths under the case
+// policy, returning a negative, zero or positive result.
+//
+// @evidence contracts/common.md#principled-implementation Forwards to CaseSensitivity.CompareFilePaths, which compares rooted text without combining or reducing components.
+// @evidence contracts/common.md#clear-and-simple-design One forwarding call keeps the target difference inside the shim.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts No comparison is reimplemented here.
+// @evidence contracts/common.md#meaningful-documentation Native prose states the operand requirements and the result sign.
+// @evidenceExclude contracts/portability.md#os-neutral-implementation Comparison reads its arguments only; it opens no file and calls no process.
+// @evidenceExclude contracts/performance.md#efficient-algorithms The compiler owns the comparison over the path text.
+// @evidenceExclude contracts/performance.md#reuse-equivalent-work The function coordinates no shared work.
+// @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The function retains nothing.
+func CompareFilePaths(caseSensitivity CaseSensitivity, a RootedFilePath, b RootedFilePath) int {
+  return caseSensitivity.CompareFilePaths(a, b)
+}
+
+// ContainsPathWith reports whether child is parent or lies below it under the
+// case policy. Both paths must be rooted and normalized.
+//
+// @evidence contracts/common.md#principled-implementation Forwards to CaseSensitivity.ContainsPath, the compiler's rooted containment test.
+// @evidence contracts/common.md#clear-and-simple-design One forwarding call keeps the target difference inside the shim.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts No containment test is reimplemented here.
+// @evidence contracts/common.md#meaningful-documentation Native prose states the inclusive meaning and operand requirements.
+// @evidenceExclude contracts/portability.md#os-neutral-implementation Containment reads its arguments only; it opens no file and calls no process.
+// @evidenceExclude contracts/performance.md#efficient-algorithms The compiler owns the prefix comparison.
+// @evidenceExclude contracts/performance.md#reuse-equivalent-work The function coordinates no shared work.
+// @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The function retains nothing.
+func ContainsPathWith(caseSensitivity CaseSensitivity, parent RootedDirectoryPath, child RootedPath) bool {
+  return caseSensitivity.ContainsPath(parent, child)
+}
+
+// RelativePathFromFile returns to relative to the directory of from. The
+// boolean is false when the two paths share no root to relate them through.
+//
+// @evidence contracts/common.md#principled-implementation Forwards to CaseSensitivity.RelativePathFromFile.
+// @evidence contracts/common.md#clear-and-simple-design One forwarding call keeps the target difference inside the shim.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts No relative-path computation is reimplemented here.
+// @evidence contracts/common.md#meaningful-documentation Native prose states the base directory and the false result.
+// @evidenceExclude contracts/portability.md#os-neutral-implementation Relativization reads its arguments only; it opens no file and calls no process.
+// @evidenceExclude contracts/performance.md#efficient-algorithms The compiler owns the component walk.
+// @evidenceExclude contracts/performance.md#reuse-equivalent-work The function coordinates no shared work.
+// @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The function retains nothing beyond the returned path.
+func RelativePathFromFile(caseSensitivity CaseSensitivity, from RootedFilePath, to RootedFilePath) (RelativePath, bool) {
+  return caseSensitivity.RelativePathFromFile(from, to)
+}
+
+// RelativeModuleSpecifier spells a relative path as a module specifier, adding
+// the leading "./" a bare relative path needs.
+//
+// @evidence contracts/common.md#principled-implementation Forwards to RelativePath.AsModuleSpecifier.
+// @evidence contracts/common.md#clear-and-simple-design One forwarding call keeps the target difference inside the shim.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts No specifier spelling is reimplemented here.
+// @evidence contracts/common.md#meaningful-documentation Native prose states the added "./" prefix.
+// @evidenceExclude contracts/portability.md#os-neutral-implementation The conversion reads its argument only.
+// @evidenceExclude contracts/performance.md#efficient-algorithms The compiler owns the prefix check.
+// @evidenceExclude contracts/performance.md#reuse-equivalent-work The function coordinates no shared work.
+// @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The function retains nothing beyond the returned specifier.
+func RelativeModuleSpecifier(path RelativePath) ModuleSpecifier {
+  return path.AsModuleSpecifier()
+}
+
+// ResolveFile resolves path against a rooted directory and normalizes the
+// result. directory must not be empty.
+//
+// @evidence contracts/common.md#principled-implementation Forwards to RootedDirectoryPath.ResolveFile, which panics on an empty directory.
+// @evidence contracts/common.md#clear-and-simple-design One forwarding call keeps the target difference inside the shim.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts No resolution is reimplemented here.
+// @evidence contracts/common.md#meaningful-documentation Native prose states the normalization and the empty-directory precondition.
+// @evidenceExclude contracts/portability.md#os-neutral-implementation Resolution manipulates path text only; it reads no filesystem.
+// @evidenceExclude contracts/performance.md#efficient-algorithms The compiler owns the normalization pass.
+// @evidenceExclude contracts/performance.md#reuse-equivalent-work The function coordinates no shared work.
+// @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The function retains nothing beyond the returned path.
+func ResolveFile(directory RootedDirectoryPath, path string) RootedFilePath {
+  return directory.ResolveFile(path)
+}
+
+// FileBaseName returns the last component of a rooted file path.
+//
+// @evidence contracts/common.md#principled-implementation Forwards to RootedFilePath.BaseName.
+// @evidence contracts/common.md#clear-and-simple-design One forwarding call keeps the target difference inside the shim.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts No component split is reimplemented here.
+// @evidence contracts/common.md#meaningful-documentation Native prose states which component is returned.
+// @evidenceExclude contracts/portability.md#os-neutral-implementation The split reads its argument only.
+// @evidenceExclude contracts/performance.md#efficient-algorithms The compiler owns the separator scan.
+// @evidenceExclude contracts/performance.md#reuse-equivalent-work The function coordinates no shared work.
+// @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The function retains nothing beyond the returned name.
+func FileBaseName(fileName RootedFilePath) string {
+  return fileName.BaseName()
+}
+
+// FileDirectory returns the rooted directory that contains a file.
+//
+// @evidence contracts/common.md#principled-implementation Forwards to RootedFilePath.Directory.
+// @evidence contracts/common.md#clear-and-simple-design One forwarding call keeps the target difference inside the shim.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts No directory split is reimplemented here.
+// @evidence contracts/common.md#meaningful-documentation Native prose states the returned directory.
+// @evidenceExclude contracts/portability.md#os-neutral-implementation The split reads its argument only.
+// @evidenceExclude contracts/performance.md#efficient-algorithms The compiler owns the separator scan.
+// @evidenceExclude contracts/performance.md#reuse-equivalent-work The function coordinates no shared work.
+// @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The function retains nothing beyond the returned directory.
+func FileDirectory(fileName RootedFilePath) RootedDirectoryPath {
+  return fileName.Directory()
+}
+
+// RelativePathFromDirectoryWith returns path relative to directory under the
+// case policy. A path on another root comes back absolute.
+//
+// @evidence contracts/common.md#principled-implementation Calls Forwards to 7.1's GetRelativePathFromDirectory with the case policy.
+// @evidence contracts/common.md#clear-and-simple-design One upstream call keeps the target difference inside the shim.
+// @evidence contracts/common.md#prohibited-implementation-shortcuts No relative-path computation is reimplemented here.
+// @evidence contracts/common.md#meaningful-documentation Native prose states the result for different roots.
+// @evidenceExclude contracts/portability.md#os-neutral-implementation Relativization reads its arguments only; it opens no file and calls no process.
+// @evidenceExclude contracts/performance.md#efficient-algorithms The compiler owns the component walk.
+// @evidenceExclude contracts/performance.md#reuse-equivalent-work The function coordinates no shared work.
+// @evidenceExclude contracts/performance.md#bound-retention-and-release-resources The function retains nothing beyond the returned path.
+func RelativePathFromDirectoryWith(caseSensitivity CaseSensitivity, directory string, path string) string {
+  return GetRelativePathFromDirectory(directory, path, caseSensitivity)
+}