diff --git a/project/Build.scala b/project/Build.scala
index a0a8e1d2acea..cd28efc71725 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -1138,7 +1138,275 @@ object Build {
   )
 
   lazy val `scala3-library` = project.in(file("library")).asDottyLibrary(NonBootstrapped)
+    .settings(
+      // Note: extracted using `print scala3-library / Compile / sources`
+      // Only keep scala3 files until 3.8.0
+      Compile / sources := Seq(
+        file(s"${baseDirectory.value}/src/scala/Precise.scala"),
+        file(s"${baseDirectory.value}/src/scala/CanEqual.scala"),
+        file(s"${baseDirectory.value}/src/scala/Conversion.scala"),
+        file(s"${baseDirectory.value}/src/scala/PolyFunction.scala"),
+        file(s"${baseDirectory.value}/src/scala/Pure.scala"),
+        file(s"${baseDirectory.value}/src/scala/IArray.scala"),
+        file(s"${baseDirectory.value}/src/scala/CanThrow.scala"),
+        file(s"${baseDirectory.value}/src/scala/Tuple.scala"),
+        file(s"${baseDirectory.value}/src/scala/Selectable.scala"),
+        file(s"${baseDirectory.value}/src/scala/main.scala"),
+        file(s"${baseDirectory.value}/src/scala/NamedTuple.scala"),
+        file(s"${baseDirectory.value}/src/scala/util/FromDigits.scala"),
+        file(s"${baseDirectory.value}/src/scala/util/CommandLineParser.scala"),
+        file(s"${baseDirectory.value}/src/scala/util/TupledFunction.scala"),
+        file(s"${baseDirectory.value}/src/scala/util/NotGiven.scala"),
+        file(s"${baseDirectory.value}/src/scala/util/boundary.scala"),
+        file(s"${baseDirectory.value}/src/scala/caps/package.scala"),
+        file(s"${baseDirectory.value}/src/scala/reflect/TypeTest.scala"),
+        file(s"${baseDirectory.value}/src/scala/reflect/Selectable.scala"),
+        file(s"${baseDirectory.value}/src/scala/reflect/Typeable.scala"),
+        file(s"${baseDirectory.value}/src/scala/reflect/Enum.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/TupleMirror.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/TypeBox.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/Arrays.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/TupledFunctions.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/FunctionXXL.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/Scala3RunTime.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/$$throws.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/LazyVals.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/EnumValue.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/TupleXXL.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/Tuples.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/MatchCase.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/retains.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/capability.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/static.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/transparentTrait.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/RefiningAnnotation.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/retainsByName.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/threadUnsafe.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/constructorOnly.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/experimental.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/MacroAnnotation.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/alpha.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/publicInBinary.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/init.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/unroll.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/targetName.scala"),
+        file(s"${baseDirectory.value}/src/scala/deriving/Mirror.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/package.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/Type.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/Varargs.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/Quotes.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/Expr.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/ExprMap.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/FromExpr.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/Exprs.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/ToExpr.scala"),
+        file(s"${baseDirectory.value}/src/scala/util/control/NonLocalReturns.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/stdLibPatches/language.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/stdLibPatches/Predef.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure8.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure10.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure4.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure5.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure11.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure9.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure2.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure20.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure16.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure17.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure3.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure21.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure18.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure22.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure0.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure14.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure15.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure1.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure19.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure12.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure6.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure7.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure13.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/coverage/Invoker.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/ErasedParam.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/RuntimeChecked.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/CaptureChecked.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/ContextResultCount.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/TASTYSignature.java"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/Alias.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/MappedAlternative.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/Repeated.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/WithPureFuns.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/Child.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/ProvisionalSuperClass.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/WitnessNames.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/AssignedNonLocally.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/preview.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/InlineParam.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/SourceFile.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/reachCapability.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/$$into.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/TASTYLongSignature.java"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/readOnlyCapability.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/unshared.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/AnnotationDefault.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/sharable.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/Body.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/requiresCapability.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/unchecked/uncheckedCaptures.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/unchecked/uncheckedCapabilityLeaks.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/testing/Error.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/testing/ErrorKind.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/testing/package.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/ops/long.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/ops/any.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/ops/int.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/ops/string.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/ops/double.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/ops/boolean.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/ops/float.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/runtime/QuoteUnpickler.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/runtime/QuoteMatching.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/runtime/Expr.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/runtime/Patterns.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/runtime/SplicedType.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/runtime/StopMacroExpansion.scala"),
+      )
+    )
   lazy val `scala3-library-bootstrapped`: Project = project.in(file("library")).asDottyLibrary(Bootstrapped)
+    .settings(
+      // Note: extracted using `print scala3-library-bootstrapped / Compile / sources`
+      // Only keep scala3 files until 3.8.0
+      Compile / sources := Seq(
+        file(s"${baseDirectory.value}/src/scala/Precise.scala"),
+        file(s"${baseDirectory.value}/src/scala/CanEqual.scala"),
+        file(s"${baseDirectory.value}/src/scala/Conversion.scala"),
+        file(s"${baseDirectory.value}/src/scala/PolyFunction.scala"),
+        file(s"${baseDirectory.value}/src/scala/Pure.scala"),
+        file(s"${baseDirectory.value}/src/scala/IArray.scala"),
+        file(s"${baseDirectory.value}/src/scala/CanThrow.scala"),
+        file(s"${baseDirectory.value}/src/scala/Tuple.scala"),
+        file(s"${baseDirectory.value}/src/scala/Selectable.scala"),
+        file(s"${baseDirectory.value}/src/scala/main.scala"),
+        file(s"${baseDirectory.value}/src/scala/NamedTuple.scala"),
+        file(s"${baseDirectory.value}/src/scala/util/FromDigits.scala"),
+        file(s"${baseDirectory.value}/src/scala/util/CommandLineParser.scala"),
+        file(s"${baseDirectory.value}/src/scala/util/TupledFunction.scala"),
+        file(s"${baseDirectory.value}/src/scala/util/NotGiven.scala"),
+        file(s"${baseDirectory.value}/src/scala/util/boundary.scala"),
+        file(s"${baseDirectory.value}/src/scala/caps/package.scala"),
+        file(s"${baseDirectory.value}/src/scala/reflect/TypeTest.scala"),
+        file(s"${baseDirectory.value}/src/scala/reflect/Selectable.scala"),
+        file(s"${baseDirectory.value}/src/scala/reflect/Typeable.scala"),
+        file(s"${baseDirectory.value}/src/scala/reflect/Enum.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/TupleMirror.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/TypeBox.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/Arrays.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/TupledFunctions.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/FunctionXXL.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/Scala3RunTime.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/$$throws.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/LazyVals.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/EnumValue.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/TupleXXL.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/Tuples.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/MatchCase.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/retains.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/capability.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/static.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/transparentTrait.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/RefiningAnnotation.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/retainsByName.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/threadUnsafe.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/constructorOnly.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/experimental.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/MacroAnnotation.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/alpha.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/publicInBinary.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/init.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/unroll.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/targetName.scala"),
+        file(s"${baseDirectory.value}/src/scala/deriving/Mirror.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/package.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/Type.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/Varargs.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/Quotes.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/Expr.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/ExprMap.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/FromExpr.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/Exprs.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/ToExpr.scala"),
+        file(s"${baseDirectory.value}/src/scala/util/control/NonLocalReturns.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/stdLibPatches/language.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/stdLibPatches/Predef.scala"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure8.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure10.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure4.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure5.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure11.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure9.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure2.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure20.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure16.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure17.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure3.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure21.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure18.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure22.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure0.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure14.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure15.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure1.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure19.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure12.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure6.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure7.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/function/JProcedure13.java"),
+        file(s"${baseDirectory.value}/src/scala/runtime/coverage/Invoker.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/ErasedParam.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/RuntimeChecked.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/CaptureChecked.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/ContextResultCount.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/TASTYSignature.java"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/Alias.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/MappedAlternative.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/Repeated.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/WithPureFuns.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/Child.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/ProvisionalSuperClass.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/WitnessNames.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/AssignedNonLocally.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/preview.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/InlineParam.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/SourceFile.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/reachCapability.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/$$into.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/TASTYLongSignature.java"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/readOnlyCapability.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/unshared.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/AnnotationDefault.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/sharable.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/Body.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/internal/requiresCapability.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/unchecked/uncheckedCaptures.scala"),
+        file(s"${baseDirectory.value}/src/scala/annotation/unchecked/uncheckedCapabilityLeaks.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/testing/Error.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/testing/ErrorKind.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/testing/package.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/ops/long.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/ops/any.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/ops/int.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/ops/string.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/ops/double.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/ops/boolean.scala"),
+        file(s"${baseDirectory.value}/src/scala/compiletime/ops/float.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/runtime/QuoteUnpickler.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/runtime/QuoteMatching.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/runtime/Expr.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/runtime/Patterns.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/runtime/SplicedType.scala"),
+        file(s"${baseDirectory.value}/src/scala/quoted/runtime/StopMacroExpansion.scala"),
+      )
+    )
 
   def dottyLibrary(implicit mode: Mode): Project = mode match {
     case NonBootstrapped => `scala3-library`