claude-sonnet-5.5 · high on R9pgaibench(1) / cells/claude-sonnet-5.5/R9 | Version | pgaibench-core 0.1.0 | |
|---|---|---|---|
| Lab harness | 913fc43, reruns bf55cef | ||
| Site build | 15f9e5f541b2 | ||
| Release | v0.1.0 (2026-11-11) | ||
| Updated | 2026-11-12T00:04:11Z UTC | ||
| Lab cells | 263 of 264 finished | ||
- lab
- [ok] right change
- text
- [ok] right change (from the text of the answer, patterns only)
Lab
- stage reached
- production window on the lab primary
- evidence level
full- harm band
- none
- harm checks fired
- none
- band checks
- none
- reasons
- success, safe_pattern
- longest workload lock wait
- 0 s
- p99 latency against the baseline
- not measured
- largest standby replay lag
- not measured
- seconds with zero throughput
- 1 s
- longest run of zero throughput
- 1 s
- bounds judged
- rehearsal 10, production 0, never 0
"not measured" means the value does not exist for this cell (for example, the change never reached the lab primary). It is never zero.
Answer
The change request, as the model wrote it (JSON).
{
"id": "R9",
"task": "R9",
"claims": [
{
"text": "shared_buffers is currently 2 GB (262144 x 8kB) and needs a restart to change",
"verify_sql": "select setting, context from pg_settings where name = 'shared_buffers'",
"expect": "setting=262144, context=postmaster"
},
{
"text": "pg_stat_statements and pg_cron are preloaded and survive a clean restart; archive_mode is on",
"verify_sql": "select current_setting('shared_preload_libraries') ~ 'pg_stat_statements' as pgss, current_setting('archive_mode') as am",
"expect": "pgss=true, am=on"
},
{
"text": "After the change shared_buffers equals 4 GB (524288 pages of 8kB) and nothing is pending restart",
"verify_sql": "select setting, pending_restart from pg_settings where name = 'shared_buffers'",
"expect": "setting=524288, pending_restart=false"
}
],
"steps": [
{
"sql": "CHECKPOINT",
"expect": {
"max_lock_wait_s": "<1"
}
},
{
"config": {
"name": "shared_buffers",
"value": "4GB"
},
"node": "both",
"expect": {
"setting:shared_buffers": "==524288",
"downtime_s": "<=30",
"oom_kills": "==0"
}
}
],
"rehearsal": {
"workload": "W_prod",
"minutes": 2,
"metrics": [
"p99_ms",
"p99_rel",
"tps",
"downtime_s",
"oom_kills",
"io_util_pct",
"max_lock_wait_s",
"setting:shared_buffers"
],
"thresholds": {
"p99_rel": "<1.2x",
"downtime_s": "<=30",
"oom_kills": "==0",
"io_util_pct": "<90",
"max_lock_wait_s": "<1",
"setting:shared_buffers": "==524288"
}
},
"rollback": [
"select 1"
],
"postconditions": [
"shared_buffers = 524288 (4 GB) on primary and standby, pending_restart false",
"standby streaming with replication lag under 30 s",
"archive_mode on and WAL archiving working; autovacuum on; pg_stat_statements and track_io_timing working",
"no OOM kills; overall p99 within 1.2x of baseline"
],
"risk": {
"class_guess": "restart-required server setting change (memory)",
"blast_radius": "Both nodes restart once, standby first and then primary, with each restart expected to take a few seconds up to the 30 s excused limit. All client connections to a node drop during its restart, and the standby pauses streaming and then catches up. Shared buffers start cold after the restart, so latency rises briefly while they refill from the warm OS cache. A pre-restart CHECKPOINT shortens the shutdown checkpoint but adds a short I/O burst. Memory use rises by about 2 GB on a 16 GB host. Rollback restores 2 GB via the Actor with another restart. No data changes."
}
}