Selector batching exact check

Workflow runs for Selector batching exact check

• Prove conditional native terminal source-response factorization

  completed successfully:
  Selector batching exact check#3:Commitf122d25pushedbyDLamdata
  research/dlamdata-session-20261016-0835

  Oct 16, 20261m 27s
  More actions for workflow run 3

• Integrate reviewed research PRs #2851, #2858, #2860, #2868

  completed successfully:
  Selector batching exact check#2:Commit4d4373cpushedbyDLamdata
  main

  Oct 16, 20261m 26s
  More actions for workflow run 2

• Audit encoded-bank crossing and dimension proofs independently

  completed successfully:
  Selector batching exact check#1:Commit3091cfbpushedbyDLamdata
  research/dlamdata-session-20261016-0612

  Oct 16, 20262m 16s
  More actions for workflow run 1