gpt-6.1-terra · medium on R9pgaibench(1) / cells/gpt-6.1-terra/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.008 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 7, production 6, 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": "The primary currently has 2 GiB of shared buffers and changing the setting requires a restart.",
"verify_sql": "SELECT setting, unit, context, pending_restart FROM pg_settings WHERE name = 'shared_buffers'",
"expect": "setting=262144, unit=8kB, context=postmaster, pending_restart=false"
}
],
"steps": [
{
"sql": "DO $$ BEGIN IF NOT EXISTS (SELECT 1 FROM pg_settings WHERE name = 'shared_buffers' AND setting = '262144' AND unit = '8kB' AND context = 'postmaster' AND NOT pending_restart) THEN RAISE EXCEPTION 'Unexpected shared_buffers setting'; END IF; IF EXISTS (SELECT 1 FROM pg_settings WHERE pending_restart) THEN RAISE EXCEPTION 'Pending restart settings require review before restarting'; END IF; END $$",
"expect": {
"oom_kills": "==0",
"max_replication_lag_s": "<=30"
}
},
{
"config": {
"name": "shared_buffers",
"value": "4GB"
},
"node": "both",
"expect": {
"setting:shared_buffers": "==524288",
"oom_kills": "==0",
"max_replication_lag_s": "<=30",
"standby_cancellations": "==0"
}
}
],
"rehearsal": {
"workload": "W_prod",
"minutes": 2,
"metrics": [
"p99_ms",
"tps",
"max_lock_wait_s",
"io_util_pct",
"oom_kills",
"max_replication_lag_s",
"standby_cancellations",
"backup_verify",
"setting:shared_buffers"
],
"thresholds": {
"p99_ms": "<1.2x",
"max_lock_wait_s": "<5",
"oom_kills": "==0",
"max_replication_lag_s": "<=30",
"standby_cancellations": "==0",
"backup_verify": "==1",
"setting:shared_buffers": "==524288"
}
},
"rollback": [
"SELECT 1"
],
"postconditions": [
"Both nodes have shared_buffers set to 4 GB with no pending restart for that setting.",
"The standby is in recovery and streaming; replication lag remains at or below 30 seconds.",
"WAL archiving, backups, autovacuum, pg_stat_statements and track_io_timing remain operational; a post-change backup verifies.",
"The production-window service objectives, including standby read latency and cumulative stall limits, are met."
],
"risk": {
"class_guess": "Moderate: two required restarts and increased shared-memory use.",
"blast_radius": "Both nodes restart, standby first. The extra memory can cause pressure or increase I/O by reducing operating-system cache; cache warmup can increase latency. The clone cannot validate standby behavior or production memory headroom. The listed metrics do not directly establish every service objective, including cumulative stalls and standby p99, so production telemetry must be reviewed. On failure the Actor restores the setting and restarts affected nodes again; the SQL rollback has no additional effect."
}
}