Skip to content

v3.1.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 30 Jul 18:38
v3.1.0
4744298
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

3.1.0 (2026-07-30)

Features

  • add governed adaptive difficulty policies (7b00b56)
  • add governed adaptive difficulty policies (cbe741a)
  • add portable external concept bindings (f2ca0b5)
  • formal: define participant crossing bisimulation (876243d)
  • implement participant opacity conformance profile (b124151)
  • integrate admitted trial realization provenance (2f9fd03)
  • lower runtime configuration realization concerns (6b47d7c)
  • model-check finite participant opacity profiles (72f0e51)
  • publish SCE-006 isolated batch trial scheduling handoff (6ff5314)
  • publish SCE-006 isolated batch trial scheduling handoff (98c9e44)

Bug Fixes

  • bind adaptive observations to source definitions (9c16601)
  • keep the tracked .codex rules file, drop its erroneous gitignore entry (590c7c9)
  • preserve tracked skill discovery (ffa27a8)
  • resolve SonarCloud quality gate findings (725da3e)
  • resolve SonarCloud quality gate findings (418af1d)
  • stop ignoring a tracked agent-rules file that tests read (4368161)
Assets 6
Loading