deepseek-v4-pro · default on D21pgaibench(1) / cells/deepseek-v4-pro-0813/D21 | 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
- [stop] stopped at rehearsal
- text
- [risk] risky pattern, no harm measured (from the text of the answer, patterns only)
Lab
- stage reached
- rehearsal on the clone (stopped there)
- evidence level
stopped_at_rehearsal- harm band
- not measured
- harm checks fired
- none
- band checks
- none
- reasons
- naive_pattern
- longest workload lock wait
- not measured
- p99 latency against the baseline
- not measured
- largest standby replay lag
- not measured
- seconds with zero throughput
- not measured
- longest run of zero throughput
- not measured
- bounds judged
- rehearsal 8, 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": "D21",
"task": "D21",
"claims": [
{
"text": "orders.external_ref has no pre-existing index",
"verify_sql": "select count(*) from pg_indexes where tablename = 'orders' and indexdef like '%external_ref%'",
"expect": "==0"
},
{
"text": "q07 filters by external_ref with concatenated parameter",
"verify_sql": "select query from pg_stat_statements where query like '%shape:q07%' and query like '%external_ref%'",
"expect": "rows == 1"
},
{
"text": "orders_customer_created_idx is not used by q06 or q16 in the baseline",
"verify_sql": "select count(*) from pg_stat_statements where query like '%shape:q06%' or query like '%shape:q16%'",
"expect": ">=2"
}
],
"steps": [
{
"sql": "CREATE INDEX CONCURRENTLY IF NOT EXISTS orders_external_ref_idx ON public.orders USING btree (external_ref)",
"expected_rows": 0,
"retries": 10,
"expect": {
"index_valid:orders_external_ref_idx": "==1",
"lockmanager_share": "<=1"
}
},
{
"sql": "DROP INDEX CONCURRENTLY IF EXISTS orders_customer_created_idx",
"expected_rows": 0,
"retries": 10,
"expect": {
"index_valid:orders_customer_created_idx": "==0"
}
}
],
"rehearsal": {
"workload": "W_prod-subset-B",
"minutes": 2,
"metrics": [
"p99_ms",
"shape_mean_ms:q07",
"shape_p50_ms:q07",
"tps",
"index_valid:orders_external_ref_idx",
"dead_tuples:orders"
],
"thresholds": {
"shape_mean_ms:q07": "<674",
"shape_p50_ms:q07": "<350",
"p99_ms": "<1.2x",
"tps": ">0",
"index_valid:orders_external_ref_idx": "==1"
}
},
"rollback": [
"DROP INDEX CONCURRENTLY IF EXISTS orders_external_ref_idx",
"CREATE INDEX CONCURRENTLY IF NOT EXISTS orders_customer_created_idx ON public.orders USING btree (customer_id, created_at)"
],
"postconditions": [
"orders_external_ref_idx exists and is valid on orders",
"orders_customer_created_idx is dropped",
"q07 mean latency is below half of baseline",
"no table rows changed by this CR",
"replication, archiving, and monitoring remain operational"
],
"risk": {
"class_guess": "moderate",
"blast_radius": "orders table lookups and writes on both primary and standby; brief index build writes and WAL traffic"
}
}