Build Logs

1##################################

2Clonning https://github.com/armanbilge/schrodinger.git into /build/repo using revision v0.3.0-M2

3##################################

4Note: switching to '3fc5aaf7eb33a53077203198258e52d6ce76eeeb'.

6You are in 'detached HEAD' state. You can look around, make experimental

7changes and commit them, and you can discard any commits you make in this

8state without impacting any branches by switching back to a branch.

10If you want to create a new branch to retain commits you create, you may

11do so (now or later) by using -c with the switch command. Example:

13 git switch -c <new-branch-name>

15Or undo this operation with:

17 git switch -

19Turn off this advice by setting config variable advice.detachedHead to false

21----

22Preparing build for 3.8.0-RC4

23Scala binary version found: 3.8

24Implicitly using source version 3.8

25Scala binary version found: 3.8

26Implicitly using source version 3.8

27Would try to apply common scalacOption (best-effort, sbt/mill only):

28Append: ,REQUIRE:-source:3.8

29Remove: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

31Try apply source patch:

32Path: build.sbt

33Pattern: val Scala3 = "3.1.1-RC1"

34Replacement: val Scala3 = "3.8.0-RC4"

35Starting compilation server

36Compiling project (Scala 3.7.3, JVM (17))

37Compiled project (Scala 3.7.3, JVM (17))

38Successfully applied pattern 'val Scala3 = "3.1.1-RC1"' in build.sbt

39----

40Starting build for 3.8.0-RC4

41Execute tests: true

42sbt project found:

43Sbt version 1.5.6 is not supported, minimal supported version is 1.11.5

44Enforcing usage of sbt in version 1.11.5

45No prepare script found for project armanbilge/schrodinger

46##################################

47Scala version: 3.8.0-RC4

48Targets: com.armanbilge%schrodinger com.armanbilge%schrodinger-kernel com.armanbilge%schrodinger-kernel-testkit com.armanbilge%schrodinger-laws com.armanbilge%schrodinger-math com.armanbilge%schrodinger-monte-carlo com.armanbilge%schrodinger-random com.armanbilge%schrodinger-stats com.armanbilge%schrodinger-testkit

49Project projectConfig: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"val Scala3 = \"3.1.1-RC1\"","replaceWith":"val Scala3 = \"<SCALA_VERSION>\""}]}

50##################################

51Using extra scalacOptions: ,REQUIRE:-source:3.8

52Filtering out scalacOptions: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

53[sbt_options] declare -a sbt_options=()

54[process_args] java_version = '17'

55[copyRt] java9_rt = '/root/.sbt/1.0/java9-rt-ext-eclipse_adoptium_17_0_8/rt.jar'

56# Executing command line:

57java

58-Xmx4G

59-XX:+UseG1GC

60-Dcommunitybuild.scala=3.8.0-RC4

61-Dcommunitybuild.project.dependencies.add=

62-Xmx7G

63-Xms4G

64-Xss8M

65-Dsbt.script=/root/.sdkman/candidates/sbt/current/bin/sbt

66-Dscala.ext.dirs=/root/.sbt/1.0/java9-rt-ext-eclipse_adoptium_17_0_8

67-jar

68/root/.sdkman/candidates/sbt/1.11.5/bin/sbt-launch.jar

69"setCrossScalaVersions 3.8.0-RC4"

70"++3.8.0-RC4 -v"

71"mapScalacOptions ",REQUIRE:-source:3.8,-Wconf:msg=can be rewritten automatically under:s" ",-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e""

72"set every credentials := Nil"

73"excludeLibraryDependency com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}"

74"removeScalacOptionsStartingWith -P:wartremover"

76moduleMappings

77"runBuild 3.8.0-RC4 """{"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"val Scala3 = \"3.1.1-RC1\"","replaceWith":"val Scala3 = \"<SCALA_VERSION>\""}]}""" com.armanbilge%schrodinger com.armanbilge%schrodinger-kernel com.armanbilge%schrodinger-kernel-testkit com.armanbilge%schrodinger-laws com.armanbilge%schrodinger-math com.armanbilge%schrodinger-monte-carlo com.armanbilge%schrodinger-random com.armanbilge%schrodinger-stats com.armanbilge%schrodinger-testkit"

79[info] welcome to sbt 1.11.5 (Eclipse Adoptium Java 17.0.8)

80[info] loading settings for project repo-build from akka.sbt, plugins.sbt...

81[info] loading project definition from /build/repo/project

82[info] compiling 2 Scala sources to /build/repo/project/target/scala-2.12/sbt-1.0/classes ...

83[info] Non-compiled module 'compiler-bridge_2.12' for Scala 2.12.20. Compiling...

84[info] Compilation completed in 8.641s.

85[info] done compiling

86[info] loading settings for project root from build.sbt...

87[info] resolving key references (13938 settings) ...

88[info] set current project to root (in build file:/build/repo/)

89Execute setCrossScalaVersions: 3.8.0-RC4

90OpenCB::Changing crossVersion 3.8.0-RC4 -> 3.8.0-RC4 in kernelTestkit/crossScalaVersions

91OpenCB::Changing crossVersion 3.8.0-RC4 -> 3.8.0-RC4 in kernelJVM/crossScalaVersions

92OpenCB::Changing crossVersion 3.8.0-RC4 -> 3.8.0-RC4 in mathJVM/crossScalaVersions

93OpenCB::Changing crossVersion 3.8.0-RC4 -> 3.8.0-RC4 in lawsJS/crossScalaVersions

94OpenCB::Changing crossVersion 3.8.0-RC4 -> 3.8.0-RC4 in tests/crossScalaVersions

95OpenCB::Changing crossVersion 3.8.0-RC4 -> 3.8.0-RC4 in stats/crossScalaVersions

96OpenCB::Changing crossVersion 3.8.0-RC4 -> 3.8.0-RC4 in core/crossScalaVersions

97OpenCB::Changing crossVersion 3.8.0-RC4 -> 3.8.0-RC4 in kernelJS/crossScalaVersions

98OpenCB::Changing crossVersion 3.8.0-RC4 -> 3.8.0-RC4 in monteCarlo/crossScalaVersions

99OpenCB::Changing crossVersion 3.8.0-RC4 -> 3.8.0-RC4 in root/crossScalaVersions

100OpenCB::Changing crossVersion 3.8.0-RC4 -> 3.8.0-RC4 in random/crossScalaVersions

101OpenCB::Changing crossVersion 3.8.0-RC4 -> 3.8.0-RC4 in mathJS/crossScalaVersions

102OpenCB::Changing crossVersion 3.8.0-RC4 -> 3.8.0-RC4 in testkit/crossScalaVersions

103OpenCB::Changing crossVersion 3.8.0-RC4 -> 3.8.0-RC4 in lawsJVM/crossScalaVersions

104[info] set current project to root (in build file:/build/repo/)

105[info] Setting Scala version to 3.8.0-RC4 on 14 projects.

106[info] Switching Scala version on:

107[info] kernelTestkit (3.8.0-RC4)

108[info] random (3.8.0-RC4)

109[info] stats (3.8.0-RC4)

110[info] * root (3.8.0-RC4)

111[info] tests (3.8.0-RC4)

112[info] kernelJVM (3.8.0-RC4)

113[info] kernelJS (3.8.0-RC4)

114[info] lawsJS (3.8.0-RC4)

115[info] mathJS (3.8.0-RC4)

116[info] monteCarlo (3.8.0-RC4)

117[info] lawsJVM (3.8.0-RC4)

118[info] core (3.8.0-RC4)

119[info] mathJVM (3.8.0-RC4)

120[info] testkit (3.8.0-RC4)

121[info] Excluding projects:

122[info] Reapplying settings...

123[info] set current project to root (in build file:/build/repo/)

124Execute mapScalacOptions: ,REQUIRE:-source:3.8,-Wconf:msg=can be rewritten automatically under:s ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

125[info] Reapplying settings...

126[info] set current project to root (in build file:/build/repo/)

127[info] Defining Global / credentials, core / credentials and 12 others.

128[info] The new values will be used by allCredentials, core / allCredentials and 81 others.

129[info] Run `last` for details.

130[info] Reapplying settings...

131[info] set current project to root (in build file:/build/repo/)

132Execute excludeLibraryDependency: com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}

133[info] Reapplying settings...

134OpenCB::Failed to reapply settings in excludeLibraryDependency: Reference to undefined setting:

136 Global / allExcludeDependencies from Global / allExcludeDependencies (CommunityBuildPlugin.scala:331)

137 Did you mean kernelTestkit / allExcludeDependencies ?

138 , retry without global scopes

139[info] Reapplying settings...

140[info] set current project to root (in build file:/build/repo/)

141Execute removeScalacOptionsStartingWith: -P:wartremover

142[info] Reapplying settings...

143[info] set current project to root (in build file:/build/repo/)

144[success] Total time: 0 s, completed Dec 22, 2025, 6:24:25 PM

145Build config: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"val Scala3 = \"3.1.1-RC1\"","replaceWith":"val Scala3 = \"<SCALA_VERSION>\""}]}

146Parsed config: Success(ProjectBuildConfig(ProjectsConfig(List(),Map()),Full,List()))

147Starting build...

148Projects: Set(kernelTestkit, random, stats, kernelJVM, monteCarlo, lawsJVM, core, mathJVM, testkit)

149Starting build for ProjectRef(file:/build/repo/,random) (schrodinger-random)... [0/9]

150OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.12.20 module Global

151OpenCB::Filter out '-deprecation', matches setting pattern '^-?-deprecation'

152OpenCB::Filter out '-feature', matches setting pattern '^-?-feature'

153OpenCB::Filter out '-source:future', matches setting pattern '^-?-source(:.*)?'

154Compile scalacOptions: -encoding, UTF-8, -unchecked, -Ykind-projector:underscores, -new-syntax, -indent, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

155[info] compiling 14 Scala sources to /build/repo/kernel/.jvm/target/scala-3.8.0-RC4/classes ...

156[info] compiling 4 Scala sources to /build/repo/math/.jvm/target/scala-3.8.0-RC4/classes ...

160[info] done compiling

162[info] done compiling

163[info] compiling 11 Scala sources to /build/repo/random/target/scala-3.8.0-RC4/classes ...

166[info] done compiling

167[info] compiling 5 Scala sources to /build/repo/kernel-testkit/target/scala-3.8.0-RC4/classes ...

170[info] done compiling

171[info] compiling 6 Scala sources and 1 Java source to /build/repo/random/target/scala-3.8.0-RC4/test-classes ...

174[info] done compiling

175[info] GammaSpec

176[info]

177[info] Gamma should

178[info] + match Apache implementation

179[info]

180[info]

181[info] Total for specification GammaSpec

182[info] Finished in 1 second, 178 ms

183[info] 1 example, 100 expectations, 0 failure, 0 error

184[info]

185[info] GaussianSpec

186[info]

187[info] Gaussian should

188[info] + match Apache implementation

189[info]

190[info]

191[info] Total for specification GaussianSpec

192[info] Finished in 1 second, 178 ms

193[info] 1 example, 100 expectations, 0 failure, 0 error

194[info]

195[info] ExponentialSpec

196[info]

197[info] Exponential should

198[info] + match Apache implementation

199[info]

200[info]

201[info] Total for specification ExponentialSpec

202[info] Finished in 1 second, 179 ms

203[info] 1 example, 100 expectations, 0 failure, 0 error

204[info]

205[info] CategoricalSpec

206[info]

207[info] Categorical should

208[info] + generate valid samples

209[info]

210[info]

211[info] Total for specification CategoricalSpec

212[info] Finished in 132 ms

213[info] 1 example, 100 expectations, 0 failure, 0 error

214[info]

215[info] BetaSpec

216[info]

217[info] Beta should

218[info] + match Apache implementation

219[info]

220[info]

221[info] Total for specification BetaSpec

222[info] Finished in 198 ms

223[info] 1 example, 100 expectations, 0 failure, 0 error

224[info]

225Starting build for ProjectRef(file:/build/repo/,core) (schrodinger)... [1/9]

226Compile scalacOptions: -encoding, UTF-8, -unchecked, -Ykind-projector:underscores, -new-syntax, -indent, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

227[info] compiling 8 Scala sources to /build/repo/core/target/scala-3.8.0-RC4/classes ...

230[info] done compiling

231[info] compiling 2 Scala sources to /build/repo/core/target/scala-3.8.0-RC4/test-classes ...

234[info] done compiling

235[info] PcgSpec

236[info]

237[info] Pcg32XshRr should

238[info] + generate ints

239[info]

240[info]

241[info] Total for specification PcgSpec

242[info] Finished in 93 ms

243[info] 1 example, 100 expectations, 0 failure, 0 error

244[info]

245[info] SplitMixSpec

246[info]

247[info] SplitMix should

248[info] + generate ints

249[info] + generate longs

250[info] + split

251[info]

252[info]

253[info] Total for specification SplitMixSpec

254[info] Finished in 100 ms

255[info] 3 examples, 300 expectations, 0 failure, 0 error

256[info]

257Starting build for ProjectRef(file:/build/repo/,testkit) (schrodinger-testkit)... [2/9]

258Compile scalacOptions: -encoding, UTF-8, -unchecked, -Ykind-projector:underscores, -new-syntax, -indent, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

259[info] compiling 1 Scala source to /build/repo/testkit/target/scala-3.8.0-RC4/classes ...

262[info] done compiling

263Starting build for ProjectRef(file:/build/repo/,stats) (schrodinger-stats)... [3/9]

264Compile scalacOptions: -encoding, UTF-8, -unchecked, -Ykind-projector:underscores, -new-syntax, -indent, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

265[info] compiling 10 Scala sources to /build/repo/stats/target/scala-3.8.0-RC4/classes ...

268[info] done compiling

269Starting build for ProjectRef(file:/build/repo/,kernelTestkit) (schrodinger-kernel-testkit)... [4/9]

270Compile scalacOptions: -encoding, UTF-8, -unchecked, -Ykind-projector:underscores, -new-syntax, -indent, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

271[info] compiling 2 Scala sources to /build/repo/kernel-testkit/target/scala-3.8.0-RC4/test-classes ...

274[info] done compiling

275[info] SplitMix64Spec

276[info]

277[info] SplitMix64 should

278[info] + match Apache implementation

279[info]

280[info]

281[info] Total for specification SplitMix64Spec

282[info] Finished in 2 seconds, 775 ms

283[info] 1 example, 100 expectations, 0 failure, 0 error

284[info]

285[info] PureRVTSpec

286[info]

287[info] eq laws must hold for PureRV

288[info] + eq.antisymmetry eq

289[info] + eq.reflexivity eq

290[info] + eq.symmetry eq

291[info] + eq.transitivity eq

292[info] monad laws must hold for PureRV

293[info] + monad.ap consistent with product + map

294[info] + monad.applicative homomorphism

295[info] + monad.applicative identity

296[info] + monad.applicative interchange

297[info] + monad.applicative map

298[info] + monad.applicative unit

299[info] + monad.apply composition

300[info] + monad.covariant composition

301[info] + monad.covariant identity

302[info] + monad.flatMap associativity

303[info] + monad.flatMap consistent apply

304[info] + monad.flatMap from tailRecM consistency

305[info] + monad.invariant composition

306[info] + monad.invariant identity

307[info] + monad.map flatMap coherence

308[info] + monad.map2/map2Eval consistency

309[info] + monad.map2/product-map consistency

310[info] + monad.monad left identity

311[info] + monad.monad right identity

312[info] + monad.monoidal left identity

313[info] + monad.monoidal right identity

314[info] + monad.mproduct consistent flatMap

315[info] + monad.productL consistent map2

316[info] + monad.productR consistent map2

317[info] + monad.semigroupal associativity

318[info] + monad.tailRecM consistent flatMap

319[info] + monad.tailRecM stack safety

320[info]

321[info]

322[info] Total for specification PureRVTSpec

323[info] Finished in 19 seconds, 790 ms

324[info] 31 examples, 3001 expectations, 0 failure, 0 error

325[info]

326Starting build for ProjectRef(file:/build/repo/,kernelJVM) (schrodinger-kernel)... [5/9]

327Compile scalacOptions: -encoding, UTF-8, -unchecked, -Ykind-projector:underscores, -new-syntax, -indent, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

328Starting build for ProjectRef(file:/build/repo/,lawsJVM) (schrodinger-laws)... [6/9]

329Compile scalacOptions: -encoding, UTF-8, -unchecked, -Ykind-projector:underscores, -new-syntax, -indent, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

330[info] compiling 2 Scala sources to /build/repo/laws/.jvm/target/scala-3.8.0-RC4/classes ...

333[info] done compiling

334Starting build for ProjectRef(file:/build/repo/,monteCarlo) (schrodinger-monte-carlo)... [7/9]

335Compile scalacOptions: -encoding, UTF-8, -unchecked, -Ykind-projector:underscores, -new-syntax, -indent, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

336[info] compiling 6 Scala sources to /build/repo/monte-carlo/target/scala-3.8.0-RC4/classes ...

339[info] done compiling

340[info] compiling 3 Scala sources to /build/repo/monte-carlo/target/scala-3.8.0-RC4/test-classes ...

343[info] done compiling

344[info] WeightedSpec

345[info]

346[info] commutative monad laws must hold for Weighted

347[info] + commutative monad.ap consistent with product + map

348[info] + commutative monad.applicative homomorphism

349[info] + commutative monad.applicative identity

350[info] + commutative monad.applicative interchange

351[info] + commutative monad.applicative map

352[info] + commutative monad.applicative unit

353[info] + commutative monad.apply commutativity

354[info] + commutative monad.apply composition

355[info] + commutative monad.covariant composition

356[info] + commutative monad.covariant identity

357[info] + commutative monad.flatMap associativity

358[info] + commutative monad.flatMap consistent apply

359[info] + commutative monad.flatMap from tailRecM consistency

360[info] + commutative monad.flatmap commutativity

361[info] + commutative monad.invariant composition

362[info] + commutative monad.invariant identity

363[info] + commutative monad.map flatMap coherence

364[info] + commutative monad.map2/map2Eval consistency

365[info] + commutative monad.map2/product-map consistency

366[info] + commutative monad.monad left identity

367[info] + commutative monad.monad right identity

368[info] + commutative monad.monoidal left identity

369[info] + commutative monad.monoidal right identity

370[info] + commutative monad.mproduct consistent flatMap

371[info] + commutative monad.productL consistent map2

372[info] + commutative monad.productR consistent map2

373[info] + commutative monad.semigroupal associativity

374[info] + commutative monad.tailRecM consistent flatMap

375[info] + commutative monad.tailRecM stack safety

376[info] commutativeMonoid laws must hold for Weighted

377[info] + commutativeMonoid.associative

378[info] + commutativeMonoid.collect0

379[info] + commutativeMonoid.combine all

380[info] + commutativeMonoid.combineAllOption

381[info] + commutativeMonoid.commutative

382[info] + commutativeMonoid.intercalateCombineAllOption

383[info] + commutativeMonoid.intercalateIntercalates

384[info] + commutativeMonoid.intercalateRepeat1

385[info] + commutativeMonoid.intercalateRepeat2

386[info] + commutativeMonoid.is id

387[info] + commutativeMonoid.left identity

388[info] + commutativeMonoid.repeat0

389[info] + commutativeMonoid.repeat1

390[info] + commutativeMonoid.repeat2

391[info] + commutativeMonoid.reverseCombineAllOption

392[info] + commutativeMonoid.reverseRepeat1

393[info] + commutativeMonoid.reverseRepeat2

394[info] + commutativeMonoid.reverseReverses

395[info] + commutativeMonoid.right identity

396[info] invariantMonoidal laws must hold for Weighted

397[info] + invariantMonoidal.invariant composition

398[info] + invariantMonoidal.invariant identity

399[info] + invariantMonoidal.invariant monoidal left identity

400[info] + invariantMonoidal.invariant monoidal right identity

401[info] + invariantMonoidal.invariant semigroupal associativity

402[info] + invariantMonoidal.semigroupal associativity

403[info] align laws must hold for Weighted

404[info] + align.align associativity

405[info] + align.align homomorphism

406[info] + align.alignWith consistent

407[info]

408[info]

409[info] Total for specification WeightedSpec

410[info] Finished in 675 ms

411[info] 57 examples, 5601 expectations, 0 failure, 0 error

412[info]

413[info] WeightedTSpec

414[info]

415[info] async laws must hold for WeightedT

416[info] + async.ap consistent with product + map

417[info] + async.applicative homomorphism

418[info] + async.applicative identity

419[info] + async.applicative interchange

420[info] + async.applicative map

421[info] + async.applicative unit

422[info] + async.applicativeError adaptError pure

423[info] + async.applicativeError adaptError raise

424[info] + async.applicativeError attempt consistent with attemptT

425[info] + async.applicativeError attempt fromEither consistent with pure

426[info] + async.applicativeError handle

427[info] + async.applicativeError handleError . raiseError left-distributes over ap

428[info] + async.applicativeError handleError . raiseError right-distributes over ap

429[info] + async.applicativeError handleError consistent with recover

430[info] + async.applicativeError handleError pure

431[info] + async.applicativeError handleErrorWith consistent with recoverWith

432[info] + async.applicativeError handleErrorWith pure

433[info] + async.applicativeError handleWith

434[info] + async.applicativeError onError pure

435[info] + async.applicativeError onError raise

436[info] + async.applicativeError pure attempt

437[info] + async.applicativeError raiseError attempt

438[info] + async.applicativeError recover consistent with recoverWith

439[info] + async.applicativeError redeem is derived from attempt and map

440[info] + async.apply composition

441[info] + async.async cancel token is unsequenced on complete

442[info] + async.async cancel token is unsequenced on error

443[info] + async.async left is uncancelable sequenced raiseError

444[info] + async.async repeated callback is ignored

445[info] + async.async right is uncancelable sequenced pure

446[info] + async.canceled associates left over flatMap

447[info] + async.canceled sequences onCancel in order

448[info] + async.covariant composition

449[info] + async.covariant identity

450[info] + async.evalOn canceled identity

451[info] + async.evalOn local pure

452[info] + async.evalOn never identity

453[info] + async.evalOn pure identity

454[info] + async.evalOn raiseError identity

455[info] + async.executionContext commutativity

456[info] + async.fiber cancelation is canceled

457[info] + async.fiber canceled is canceled

458[info] + async.fiber error is errored

459[info] + async.fiber join is guaranteeCase

460[info] + async.fiber never is never

461[info] + async.fiber pure is completed pure

462[info] + async.fiber start of never is unit

463[info] + async.flatMap associativity

464[info] + async.flatMap consistent apply

465[info] + async.flatMap from tailRecM consistency

466[info] + async.forceR associativity

467[info] + async.forceR canceled short-circuits

468[info] + async.forceR discards error

469[info] + async.forceR discards pure

470[info] + async.forceR never is never

471[info] + async.guarantee is guaranteeCase

472[info] + async.invariant composition

473[info] + async.invariant identity

474[info] + async.map flatMap coherence

475[info] + async.map2/map2Eval consistency

476[info] + async.map2/product-map consistency

477[info] + async.monad left identity

478[info] + async.monad right identity

479[info] + async.monadError ensure consistency

480[info] + async.monadError ensureOr consistency

481[info] + async.monadError left zero

482[info] + async.monadError redeemWith is derived from attempt and flatMap

483[info] + async.monadError rethrow attempt

484[info] + async.monoidal left identity

485[info] + async.monoidal right identity

486[info] + async.monotonic sleep sum identity

487[info] + async.monotonicity

488[info] + async.mproduct consistent flatMap

489[info] + async.never dominates over flatMap

490[info] + async.never is derived from async

491[info] + async.onCancel associates over uncancelable boundary

492[info] + async.onCancel implies uncancelable

493[info] + async.productL consistent map2

494[info] + async.productR consistent map2

495[info] + async.race canceled identity (left)

496[info] + async.race canceled identity (right)

497[info] + async.race derives from racePair (left)

498[info] + async.race derives from racePair (right)

499[info] + async.race never non-canceled identity (left)

500[info] + async.race never non-canceled identity (right)

501[info] + async.repeated suspend is not memoized

502[info] + async.semigroupal associativity

503[info] + async.sleep race minimum

504[info] + async.start sleep maximum

505[info] + async.suspend throw is raiseError

506[info] + async.suspend value is pure

507[info] + async.tailRecM consistent flatMap

508[info] + async.tailRecM stack safety

509[info] + async.uncancelable canceled associates right over flatMap attempt

510[info] + async.uncancelable canceled is canceled

511[info] + async.uncancelable eliminates onCancel

512[info] + async.uncancelable finalizers

513[info] + async.uncancelable ignored poll eliminates nesting

514[info] + async.uncancelable poll inverse nest is uncancelable

515[info] + async.uncancelable poll is identity

516[info] + async.uncancelable race not inherited

517[info] + async.uncancelable start is cancelable

518[info] + async.uniqueness

519[info] + async.unsequenced suspend is no-op

520[info] defer laws must hold for WeightedT

521[info] + defer.defer Identity

522[info] + defer.defer does not evaluate

523[info] + defer.defer is stack safe

524[info] + defer.defer matches fix

525[info] order laws must hold for WeightedT

526[info] + order.antisymmetry

527[info] + order.antisymmetry eq

528[info] + order.compare

529[info] + order.gt

530[info] + order.gteqv

531[info] + order.lt

532[info] + order.max

533[info] + order.min

534[info] + order.partialCompare

535[info] + order.pmax

536[info] + order.pmin

537[info] + order.reflexivity eq

538[info] + order.reflexivity gt

539[info] + order.reflexivity lt

540[info] + order.symmetry eq

541[info] + order.totality

542[info] + order.transitivity

543[info] + order.transitivity eq

544[info] parallel laws must hold for WeightedT

545[info] + parallel.isomorphic functor

546[info] + parallel.isomorphic pure

547[info] + parallel.parallel round trip

548[info] + parallel.sequential round trip

549[info] monoid laws must hold for WeightedT

550[info] + monoid.associative

551[info] + monoid.collect0

552[info] + monoid.combine all

553[info] + monoid.combineAllOption

554[info] + monoid.intercalateCombineAllOption

555[info] + monoid.intercalateIntercalates

556[info] + monoid.intercalateRepeat1

557[info] + monoid.intercalateRepeat2

558[info] + monoid.is id

559[info] + monoid.left identity

560[info] + monoid.repeat0

561[info] + monoid.repeat1

562[info] + monoid.repeat2

563[info] + monoid.reverseCombineAllOption

564[info] + monoid.reverseRepeat1

565[info] + monoid.reverseRepeat2

566[info] + monoid.reverseReverses

567[info] + monoid.right identity

568[info] alternative laws must hold for WeightedT

569[info] + alternative.ap consistent with product + map

570[info] + alternative.appendK consistent with pure and combineK

571[info] + alternative.applicative homomorphism

572[info] + alternative.applicative identity

573[info] + alternative.applicative interchange

574[info] + alternative.applicative map

575[info] + alternative.applicative unit

576[info] + alternative.apply composition

577[info] + alternative.covariant composition

578[info] + alternative.covariant identity

579[info] + alternative.invariant composition

580[info] + alternative.invariant identity

581[info] + alternative.left distributivity

582[info] + alternative.map2/map2Eval consistency

583[info] + alternative.map2/product-map consistency

584[info] + alternative.monoidK left identity

585[info] + alternative.monoidK right identity

586[info] + alternative.monoidal left identity

587[info] + alternative.monoidal right identity

588[info] + alternative.prependK consistent with pure and combineK

589[info] + alternative.productL consistent map2

590[info] + alternative.productR consistent map2

591[info] + alternative.right absorption

592[info] + alternative.right distributivity

593[info] + alternative.semigroupK associative

594[info] + alternative.semigroupal associativity

595[info] contravariantMonoidal laws must hold for WeightedT

596[info] + contravariantMonoidal.contravariant composition

597[info] + contravariantMonoidal.contravariant identity

598[info] + contravariantMonoidal.contravariantMonoidal contramap2 compatible contramap left

599[info] + contravariantMonoidal.contravariantMonoidal contramap2 compatible contramap right

600[info] + contravariantMonoidal.contravariantMonoidal left unit

601[info] + contravariantMonoidal.contravariantMonoidal right unit

602[info] + contravariantMonoidal.contravariantSemigroupal contramap2 delta associates

603[info] + contravariantMonoidal.invariant composition

604[info] + contravariantMonoidal.invariant identity

605[info] + contravariantMonoidal.semigroupal associativity

606[info]

607[info]

608[info] Total for specification WeightedTSpec

609[info] Finished in 6 seconds, 550 ms

610[info] 184 examples, 17311 expectations, 0 failure, 0 error

611[info]

612Starting build for ProjectRef(file:/build/repo/,mathJVM) (schrodinger-math)... [8/9]

613Compile scalacOptions: -encoding, UTF-8, -unchecked, -Ykind-projector:underscores, -new-syntax, -indent, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

614[info] compiling 2 Scala sources to /build/repo/math/.jvm/target/scala-3.8.0-RC4/test-classes ...

617[info] done compiling

618[info] UInt128Spec

619[info]

620[info] UInt128 should

621[info] + roundtrip with BigInt

622[info] + add

623[info] + multiply

624[info] + or

625[info] + and

626[info] + xor

627[info] + shift left

628[info] + shift right

629[info]

630[info]

631[info] Total for specification UInt128Spec

632[info] Finished in 143 ms

633[info] 8 examples, 800 expectations, 0 failure, 0 error

634[info]

635[info] LogDoubleSpec

636[info]

637[info] semifield laws must hold for LogDouble

638[info] + semifield.additive:additive commutative monoid.base:commutative monoid.associativity

639[info] + semifield.additive:additive commutative monoid.base:commutative monoid.can serialize and deserialize

640[info] + semifield.additive:additive commutative monoid.base:commutative monoid.combineAll

641[info] + semifield.additive:additive commutative monoid.base:commutative monoid.combineAll(Nil) == id

642[info] + semifield.additive:additive commutative monoid.base:commutative monoid.combineAllOption

643[info] + semifield.additive:additive commutative monoid.base:commutative monoid.combineN(a, 0) == id

644[info] + semifield.additive:additive commutative monoid.base:commutative monoid.combineN(a, 1) == a

645[info] + semifield.additive:additive commutative monoid.base:commutative monoid.combineN(a, 2) == a |+| a

646[info] + semifield.additive:additive commutative monoid.base:commutative monoid.commutative

647[info] + semifield.additive:additive commutative monoid.base:commutative monoid.isEmpty

648[info] + semifield.additive:additive commutative monoid.base:commutative monoid.leftIdentity

649[info] + semifield.additive:additive commutative monoid.base:commutative monoid.rightIdentity

650[info] + semifield.additive:additive commutative monoid.can serialize and deserialize

651[info] + semifield.additive:additive commutative monoid.sum(Nil) == zero

652[info] + semifield.additive:additive commutative monoid.sumN(a, 0) == zero

653[info] + semifield.additive:additive commutative monoid.sumN(a, 1) == a

654[info] + semifield.additive:additive commutative monoid.sumN(a, 2) == a + a

655[info] + semifield.multiplicative:multiplicative commutative monoid.base:commutative monoid.associativity

656[info] + semifield.multiplicative:multiplicative commutative monoid.base:commutative monoid.can serialize and deserialize

657[info] + semifield.multiplicative:multiplicative commutative monoid.base:commutative monoid.combineAll

658[info] + semifield.multiplicative:multiplicative commutative monoid.base:commutative monoid.combineAll(Nil) == id

659[info] + semifield.multiplicative:multiplicative commutative monoid.base:commutative monoid.combineAllOption

660[info] + semifield.multiplicative:multiplicative commutative monoid.base:commutative monoid.combineN(a, 0) == id

661[info] + semifield.multiplicative:multiplicative commutative monoid.base:commutative monoid.combineN(a, 1) == a

662[info] + semifield.multiplicative:multiplicative commutative monoid.base:commutative monoid.combineN(a, 2) == a |+| a

663[info] + semifield.multiplicative:multiplicative commutative monoid.base:commutative monoid.commutative

664[info] + semifield.multiplicative:multiplicative commutative monoid.base:commutative monoid.isEmpty

665[info] + semifield.multiplicative:multiplicative commutative monoid.base:commutative monoid.leftIdentity

666[info] + semifield.multiplicative:multiplicative commutative monoid.base:commutative monoid.rightIdentity

667[info] + semifield.multiplicative:multiplicative commutative monoid.non-zero base:commutative group.consistent remove

668[info] + semifield.multiplicative:multiplicative commutative monoid.non-zero base:commutative group.left inverse

669[info] + semifield.multiplicative:multiplicative commutative monoid.non-zero base:commutative group.right inverse

670[info] + semifield.multiplicative:multiplicative commutative monoid.can serialize and deserialize

671[info] + semifield.multiplicative:multiplicative commutative monoid.consistent division

672[info] + semifield.multiplicative:multiplicative commutative monoid.pow(a, 0) == one

673[info] + semifield.multiplicative:multiplicative commutative monoid.pow(a, 1) == a

674[info] + semifield.multiplicative:multiplicative commutative monoid.pow(a, 2) == a * a

675[info] + semifield.multiplicative:multiplicative commutative monoid.product(Nil) == one

676[info] + semifield.distributive

677[info] LogDouble should

678[info] + correctly add identical values

679[info] + have alley-lawful subtraction

680[info] + have consistent sum

681[info] order laws must hold for LogDouble

682[info] + order.antisymmetry

683[info] + order.antisymmetry eq

684[info] + order.compare

685[info] + order.gt

686[info] + order.gteqv

687[info] + order.lt

688[info] + order.max

689[info] + order.min

690[info] + order.partialCompare

691[info] + order.pmax

692[info] + order.pmin

693[info] + order.reflexivity eq

694[info] + order.reflexivity gt

695[info] + order.reflexivity lt

696[info] + order.symmetry eq

697[info] + order.totality

698[info] + order.transitivity

699[info] + order.transitivity eq

700[info] hash laws must hold for LogDouble

701[info] + hash.antisymmetry eq

702[info] + hash.hash compatibility

703[info] + hash.reflexivity eq

704[info] + hash.same as scala hashing

705[info] + hash.same as universal hash

706[info] + hash.symmetry eq

707[info] + hash.transitivity eq

708[info] serializable laws must hold for LogDoubleAlgebra

709[info] + serializable.can serialize and deserialize

710[info]

711[info]

712[info] Total for specification LogDoubleSpec

713[info] Finished in 466 ms

714[info] 68 examples, 6305 expectations, 0 failure, 0 error

715[info]

717************************

718Build summary:

719[{

720 "module": "schrodinger-random",

721 "compile": {"status": "ok", "tookMs": 13051, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

722 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

723 "test-compile": {"status": "ok", "tookMs": 6249, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

724 "test": {"status": "ok", "tookMs": 2325, "passed": 5, "failed": 0, "ignored": 0, "skipped": 0, "total": 5, "byFramework": [{"framework": "specs2", "stats": {"passed": 5, "failed": 0, "ignored": 0, "skipped": 0, "total": 5}}]},

725 "publish": {"status": "skipped", "tookMs": 0},

726 "metadata": {

727 "crossScalaVersions": []

728}

729},{

730 "module": "schrodinger",

731 "compile": {"status": "ok", "tookMs": 3720, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

732 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

733 "test-compile": {"status": "ok", "tookMs": 1594, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

734 "test": {"status": "ok", "tookMs": 1122, "passed": 4, "failed": 0, "ignored": 0, "skipped": 0, "total": 4, "byFramework": [{"framework": "specs2", "stats": {"passed": 4, "failed": 0, "ignored": 0, "skipped": 0, "total": 4}}]},

735 "publish": {"status": "skipped", "tookMs": 0},

736 "metadata": {

737 "crossScalaVersions": []

738}

739},{

740 "module": "schrodinger-testkit",

741 "compile": {"status": "ok", "tookMs": 979, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

742 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

743 "test-compile": {"status": "ok", "tookMs": 301, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

744 "test": {"status": "ok", "tookMs": 322, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

745 "publish": {"status": "skipped", "tookMs": 0},

746 "metadata": {

747 "crossScalaVersions": []

748}

749},{

750 "module": "schrodinger-stats",

751 "compile": {"status": "ok", "tookMs": 896, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

752 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

753 "test-compile": {"status": "ok", "tookMs": 177, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

754 "test": {"status": "ok", "tookMs": 171, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

755 "publish": {"status": "skipped", "tookMs": 0},

756 "metadata": {

757 "crossScalaVersions": []

758}

759},{

760 "module": "schrodinger-kernel-testkit",

761 "compile": {"status": "ok", "tookMs": 161, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

762 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

763 "test-compile": {"status": "ok", "tookMs": 1671, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

764 "test": {"status": "ok", "tookMs": 23144, "passed": 32, "failed": 0, "ignored": 0, "skipped": 0, "total": 32, "byFramework": [{"framework": "specs2", "stats": {"passed": 32, "failed": 0, "ignored": 0, "skipped": 0, "total": 32}}]},

765 "publish": {"status": "skipped", "tookMs": 0},

766 "metadata": {

767 "crossScalaVersions": []

768}

769},{

770 "module": "schrodinger-kernel",

771 "compile": {"status": "ok", "tookMs": 64, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

772 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

773 "test-compile": {"status": "ok", "tookMs": 93, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

774 "test": {"status": "ok", "tookMs": 68, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

775 "publish": {"status": "skipped", "tookMs": 0},

776 "metadata": {

777 "crossScalaVersions": []

778}

779},{

780 "module": "schrodinger-laws",

781 "compile": {"status": "ok", "tookMs": 392, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

782 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

783 "test-compile": {"status": "ok", "tookMs": 185, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

784 "test": {"status": "ok", "tookMs": 138, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

785 "publish": {"status": "skipped", "tookMs": 0},

786 "metadata": {

787 "crossScalaVersions": []

788}

789},{

790 "module": "schrodinger-monte-carlo",

791 "compile": {"status": "ok", "tookMs": 3849, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

792 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

793 "test-compile": {"status": "ok", "tookMs": 2467, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

794 "test": {"status": "ok", "tookMs": 7913, "passed": 241, "failed": 0, "ignored": 0, "skipped": 0, "total": 241, "byFramework": [{"framework": "specs2", "stats": {"passed": 241, "failed": 0, "ignored": 0, "skipped": 0, "total": 241}}]},

795 "publish": {"status": "skipped", "tookMs": 0},

796 "metadata": {

797 "crossScalaVersions": []

798}

799},{

800 "module": "schrodinger-math",

801 "compile": {"status": "ok", "tookMs": 58, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

802 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

803 "test-compile": {"status": "ok", "tookMs": 1133, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

804 "test": {"status": "ok", "tookMs": 927, "passed": 76, "failed": 0, "ignored": 0, "skipped": 0, "total": 76, "byFramework": [{"framework": "specs2", "stats": {"passed": 76, "failed": 0, "ignored": 0, "skipped": 0, "total": 76}}]},

805 "publish": {"status": "skipped", "tookMs": 0},

806 "metadata": {

807 "crossScalaVersions": []

808}

809}]

810************************

811[success] Total time: 121 s (0:02:01.0), completed Dec 22, 2025, 6:26:26 PM

812[0JChecking patch project/plugins.sbt...

813Checking patch project/build.properties...

814Checking patch build.sbt...

815Applied patch project/plugins.sbt cleanly.

816Applied patch project/build.properties cleanly.

817Applied patch build.sbt cleanly.