Merge remote-tracking branch 'origin/main' into codex/p0-obs-002-20260715

This commit is contained in:
ogt
2026-07-15 15:24:51 +08:00
22 changed files with 1412 additions and 76 deletions

View File

@@ -382,8 +382,10 @@ spec:
raise RuntimeError("connection_limit_mismatch")
if observed_limit < required_budget:
raise RuntimeError("connection_budget_below_required")
if available_connection_headroom < required_budget:
raise RuntimeError("connection_headroom_below_required")
if available_connection_headroom < representative_probe_count:
raise RuntimeError(
"connection_headroom_below_probe_requirement"
)
if table_gap_count or sequence_gap_count:
raise RuntimeError("database_privilege_gap")
print(json.dumps({
@@ -414,7 +416,7 @@ spec:
"representative_probe_count_invalid",
"connection_limit_mismatch",
"connection_budget_below_required",
"connection_headroom_below_required",
"connection_headroom_below_probe_requirement",
"database_privilege_gap",
}
error_code = str(exc)