Repository navigation

fix: address the CodeRabbit review leftovers from #63 (boj payload hardening, checklist + ultraplan corrections) - #64

Merged

hyperpolymath merged 11 commits into

mainfrom

arena/cbd1e29d-smtlib-jl

Oct 10, 2026

Merged

fix: address the CodeRabbit review leftovers from #63 (boj payload hardening, checklist + ultraplan corrections)#64
hyperpolymath merged 11 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