Repository navigation

docs: correct TEST-NEEDS counts (e2e/property tests and benchmarks exist) - #65

Merged

hyperpolymath merged 13 commits into

mainfrom

arena/cbd1e29d-smtlib-jl

Oct 10, 2026

Merged

docs: correct TEST-NEEDS counts (e2e/property tests and benchmarks exist)#65
hyperpolymath merged 13 commits into
mainfrom
arena/cbd1e29d-smtlib-jl

Commits on Oct 10, 2026
- docs: record the #43 check-triage ultraplan and its execution record
  
  hyperpolymath
  and
  arena-agent
  committed
  841076c
- fix(ci): install Z3 on the ubuntu CI legs so solver-backed tests run (#62)
  
  hyperpolymath
  and
  arena-agent
  committed
  cda05cb
- fix(ci): explain the boj-build soft gate and fix the trigger payload (#59)
  
  hyperpolymath
  and
  arena-agent
  committed
  ce3f3db
- fix(docs): retire the stale docs/make.jl (#60)
  
  hyperpolymath
  and
  arena-agent
  committed
  8fbc840
- docs: fill PROJECT_UNIQUE_STRENGTH and retire REQUIRES_INITIALISATION.adoc (#61)
  
  hyperpolymath
  and
  arena-agent
  committed
  a905071
- chore(ci): adopt actions.lock (#58)
  
  hyperpolymath
  and
  arena-agent
  committed
  fb1d6d1
- Update .machine_readable/bot_directives/methodology.a2ml
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  5c0c375
- fix: address CodeRabbit review — jq-encode the boj payload, correct claims, restore links
  
  hyperpolymath
  and
  arena-agent
  committed
  bd59686
- Merge remote-tracking branch 'origin/arena/cbd1e29d-smtlib-jl' into arena/cbd1e29d-smtlib-jl
  
  hyperpolymath
  and
  arena-agent
  committed
  deb8d7b
- docs: restore the standards#994 cross-reference in the ultraplan
  
  hyperpolymath
  and
  arena-agent
  committed
  6325d53
- Merge remote-tracking branch 'origin/main' into arena/cbd1e29d-smtlib-jl
  
  hyperpolymath
  and
  arena-agent
  committed
  f600b15
- docs: correct TEST-NEEDS counts — e2e/property tests and benchmarks exist
  
  hyperpolymath
  and
  arena-agent
  committed
  3dcc1cf
- Merge branch 'main' into arena/cbd1e29d-smtlib-jl
  hyperpolymath
  authored
  274d235

Commits

Commits on Oct 10, 2026