Issue3714 post-main verification
Head f392d5468b09b9ed5d07a014e9a5449559464262
Merged main 5ffe04593166870d3ada2a83eb5fe55f0d192fc7

check:changed summary
  pass  format  1.1s
  pass  lint  2.1s
  pass  knip  215.2s
  pass  graphql (apps/server)  1.4s
  pass  typecheck (29 packages)  102.1s
  pass  test (2 files)  25.5s
  CI also runs: full test suites, build, release smoke


Changed implementation and regression files are byte-identical to proof commit707d3a9487988f69f6f0e16666142b8835d85c2c.