Spaces:
Sleeping
Sleeping
File size: 20,489 Bytes
e545bf5 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 | """Rev23 preliminary design review and controlled-correction workflow.
Deterministic code identifies traceable model findings and applies only
engineer-approved edits. The LLM explains and prioritises findings; it does not
silently alter the model or determine municipal compliance.
"""
from __future__ import annotations
from dataclasses import asdict, dataclass, field
from datetime import datetime
from typing import Any, Mapping, Sequence
import hashlib
import json
import re
import pandas as pd
from ai_report_assistant import PROVIDERS, _call_provider, load_prompt
from scenario_manager import _split_sections, _join_sections, _data_tokens, _replace_tokens, _set_option
REVIEW_SYSTEM_PROMPT = load_prompt("preliminary_design_review_system.txt")
@dataclass
class DesignFinding:
finding_id: str
category: str
severity: str
finding_type: str
object_type: str = "MODEL"
object_id: str = "MODEL"
rule_id: str = ""
criterion_status: str = "Screening"
deterministic_basis: str = ""
recommended_action: str = ""
proposed_parameter: str = ""
proposed_value: Any = None
units: str = ""
engineer_decision: str = "Defer"
resolution_status: str = "Open"
reviewer_comment: str = ""
ai_explanation: str = ""
def _rows(sections: Mapping[str, Sequence[str]], name: str) -> list[list[str]]:
out: list[list[str]] = []
for line in sections.get(name, []):
parsed = _data_tokens(line)
if parsed:
out.append(parsed[0])
return out
def _ids(sections: Mapping[str, Sequence[str]], names: Sequence[str]) -> set[str]:
values: set[str] = set()
for name in names:
values.update(row[0] for row in _rows(sections, name) if row)
return values
def _first_numeric(row: Mapping[str, Any], aliases: Sequence[str]) -> float | None:
"""Return the first explicitly available numeric value without converting missing data to zero."""
for key in aliases:
if key not in row:
continue
value = row.get(key)
if value is None or value == "":
continue
parsed = pd.to_numeric(pd.Series([value]), errors="coerce").iloc[0]
if pd.notna(parsed):
return float(parsed)
return None
def _records(df: pd.DataFrame | None, limit: int = 500) -> list[dict[str, Any]]:
if df is None or df.empty:
return []
clean = df.head(limit).copy()
clean = clean.where(pd.notna(clean), None)
return clean.to_dict(orient="records")
def build_deterministic_findings(
*,
inp_text: str,
node_summary: pd.DataFrame | None = None,
link_summary: pd.DataFrame | None = None,
sub_summary: pd.DataFrame | None = None,
metadata: Mapping[str, Any] | None = None,
simulation_completed: bool = False,
output_results_available: bool = False,
flood_threshold: float = 0.0,
depth_ratio_threshold: float = 0.85,
velocity_threshold: float = 3.0,
) -> list[dict[str, Any]]:
"""Create a conservative, traceable preliminary-review register."""
_, sections = _split_sections(inp_text)
findings: list[DesignFinding] = []
counter = 1
def add(category: str, severity: str, finding_type: str, basis: str, action: str,
object_type: str = "MODEL", object_id: str = "MODEL", rule_id: str = "",
proposed_parameter: str = "", proposed_value: Any = None, units: str = "",
criterion_status: str = "Screening") -> None:
nonlocal counter
findings.append(DesignFinding(
finding_id=f"PDA-{counter:03d}", category=category, severity=severity,
finding_type=finding_type, object_type=object_type, object_id=str(object_id),
rule_id=rule_id, criterion_status=criterion_status,
deterministic_basis=basis, recommended_action=action,
proposed_parameter=proposed_parameter, proposed_value=proposed_value, units=units,
))
counter += 1
# Completeness and topology.
node_ids = _ids(sections, ["JUNCTIONS", "STORAGE", "OUTFALLS", "DIVIDERS"])
link_rows = []
for sec in ["CONDUITS", "PUMPS", "ORIFICES", "WEIRS", "OUTLETS"]:
for row in _rows(sections, sec):
if len(row) >= 3:
link_rows.append((sec, row[0], row[1], row[2]))
referenced_nodes = {x for _, _, a, b in link_rows for x in (a, b)}
# SWMM matches object IDs case-insensitively, so an endpoint that
# differs from a defined node only by letter case still routes in the
# engine. Treat exact-case misses with a case-insensitive fallback:
# genuine misses stay Critical; case-only mismatches are a Medium
# naming-consistency finding (they break exact-match post-processing
# and GIS joins even though the simulation runs).
node_ids_casefold = {str(n).casefold(): n for n in node_ids}
for nid in sorted(referenced_nodes - node_ids):
matched = node_ids_casefold.get(str(nid).casefold())
if matched is not None:
add("Topology", "Medium", "ID case inconsistency",
f"Link endpoint '{nid}' matches defined node '{matched}' only when letter case is ignored. "
"SWMM resolves the connection, but exact-match tools (GIS joins, scripts, result queries) will not.",
f"Rename the link endpoint or the node so both use '{matched}' consistently.", "NODE", nid)
else:
add("Topology", "Critical", "Invalid reference", f"Node '{nid}' is referenced by a link but is not defined.",
"Define the node or correct the link endpoint before design use.", "NODE", nid)
connected = referenced_nodes
for nid in sorted(node_ids - connected):
# Outfalls/storage-only models can legitimately have simple topology, so advisory.
add("Topology", "Advisory", "Connectivity review", f"Node '{nid}' is not referenced by a hydraulic link.",
"Confirm whether the node is intentionally isolated or the model connection is incomplete.", "NODE", nid)
sub_rows = _rows(sections, "SUBCATCHMENTS")
sub_names = {r[0] for r in sub_rows}
sub_names_casefold = {str(s).casefold(): s for s in sub_names}
for row in sub_rows:
if len(row) >= 3 and row[2] not in node_ids and row[2] not in sub_names:
outlet = str(row[2])
matched = node_ids_casefold.get(outlet.casefold()) or sub_names_casefold.get(outlet.casefold())
if matched is not None:
add("Hydrology", "Medium", "ID case inconsistency",
f"Subcatchment '{row[0]}' outlet '{outlet}' matches defined object '{matched}' only when letter case is ignored. "
"SWMM resolves the routing, but exact-match tools will not.",
f"Rename the outlet reference or the object so both use '{matched}' consistently.", "SUBCATCHMENT", row[0])
else:
add("Hydrology", "Critical", "Invalid outlet", f"Subcatchment '{row[0]}' routes to undefined outlet '{outlet}'.",
"Correct the outlet reference.", "SUBCATCHMENT", row[0])
if len(row) >= 7:
try:
area, imperv, width, slope = float(row[3]), float(row[4]), float(row[5]), float(row[6])
if area <= 0:
add("Hydrology", "High", "Input review", f"Area is {area}.", "Enter a positive drainage area.", "SUBCATCHMENT", row[0], proposed_parameter="area")
if imperv < 0 or imperv > 100:
add("Hydrology", "Critical", "Input range", f"Imperviousness is {imperv}%.", "Set imperviousness within 0–100%.", "SUBCATCHMENT", row[0], proposed_parameter="imperviousness", units="%")
elif imperv >= 95:
add("Hydrology", "Moderate", "Sensitivity review", f"Imperviousness is {imperv}%.", "Confirm land-use basis and test sensitivity.", "SUBCATCHMENT", row[0])
if width <= 0:
add("Hydrology", "High", "Input review", f"Width is {width}.", "Enter and document a representative subcatchment width.", "SUBCATCHMENT", row[0], proposed_parameter="width")
if slope <= 0:
add("Hydrology", "High", "Input review", f"Slope is {slope}%.", "Confirm grading and enter a positive slope.", "SUBCATCHMENT", row[0], proposed_parameter="slope", units="%")
except Exception:
pass
# Options and rainfall.
options = {r[0].upper(): r[1] for r in _rows(sections, "OPTIONS") if len(r) >= 2}
if "FLOW_UNITS" not in options:
add("Simulation setup", "High", "Missing option", "FLOW_UNITS is not explicitly defined.", "Define and verify the model unit system.")
report_step = options.get("REPORT_STEP", "")
wet_step = options.get("WET_STEP", "")
if not report_step:
add("Simulation setup", "Moderate", "Missing option", "REPORT_STEP is not explicitly defined.", "Set a reporting timestep appropriate for the event and control response.", proposed_parameter="REPORT_STEP")
if not wet_step:
add("Simulation setup", "Moderate", "Missing option", "WET_STEP is not explicitly defined.", "Set and document the wet-weather timestep.", proposed_parameter="WET_STEP")
rain_gages = _rows(sections, "RAINGAGES")
time_series = _rows(sections, "TIMESERIES")
if not rain_gages:
add("Rainfall", "Critical", "Missing rainfall", "No [RAINGAGES] records were identified.", "Add and verify the applicable design rainfall.")
if rain_gages and not time_series:
add("Rainfall", "High", "Rainfall source review", "Rain gages exist but no internal [TIMESERIES] records were identified.", "Confirm external rainfall files and package them with the model.")
# Deterministic result screening. Result-based findings are permitted only
# when a successful simulation and parsed output tables are explicitly available.
results_ready = bool(simulation_completed and output_results_available)
if results_ready and node_summary is not None and not node_summary.empty:
for _, r in node_summary.iterrows():
row = r.to_dict()
nid = str(row.get("Node ID", row.get("ID", "")))
flooding = _first_numeric(row, ["Peak Flooding (m³/s)", "Peak Flooding", "Max Flooding", "Maximum Flooding"] )
if flooding is not None and flooding > flood_threshold:
add("Hydraulics", "Critical", "Flooding", f"Peak model flooding is {flooding:.6g}.", "Review HGL, rim elevation, downstream boundary, and design alternatives.", "NODE", nid, "CAL-HYD-FLOOD", units=str(metadata.get("flow_units", "") if metadata else ""))
if results_ready and link_summary is not None and not link_summary.empty:
for _, r in link_summary.iterrows():
row = r.to_dict()
lid = str(row.get("Link ID", row.get("ID", "")))
vel = _first_numeric(row, ["Peak Velocity (m/s)", "Max Velocity", "Maximum Velocity", "Velocity"] )
ratio = _first_numeric(row, ["Depth Ratio", "Max/Full Depth", "Maximum Depth Ratio"] )
if vel is not None and vel > velocity_threshold:
add("Hydraulics", "High", "Velocity screening", f"Maximum modelled velocity is {vel:.4g}, above the configured {velocity_threshold:g} screening value.", "Confirm pipe/channel material, erosion protection, energy dissipation, and applicable criterion.", "LINK", lid, "CAL-HYD-VEL", units="model units")
if ratio is not None and ratio >= depth_ratio_threshold:
add("Hydraulics", "High", "Depth-ratio screening", f"Maximum modelled depth ratio is {ratio:.4g}, at or above the configured {depth_ratio_threshold:g} screening value.", "Review capacity, HGL, surcharge duration, and downstream boundary conditions.", "LINK", lid, "CAL-HYD-DEPTH")
if results_ready and sub_summary is not None and not sub_summary.empty:
zero_runoff_tolerance = 1e-9
for _, r in sub_summary.iterrows():
row = r.to_dict()
sid = str(row.get("Sub ID", row.get("Subcatchment", row.get("ID", ""))))
runoff = _first_numeric(row, ["Peak Runoff (m³/s)", "Peak Runoff", "Peak Runoff (cfs)", "Peak Runoff (L/s)"] )
if runoff is not None and abs(runoff) <= zero_runoff_tolerance:
add("Hydrology", "Moderate", "Zero runoff", "Peak runoff is explicitly reported as zero for the completed simulation.", "Confirm rainfall assignment, infiltration, routing, and subcatchment activation.", "SUBCATCHMENT", sid)
# Missing design criteria are never silently replaced by generic standards.
add("Criteria", "High", "Missing project criterion", "Project-specific allowable release rate is not established by the model alone.", "Enter the approved release criterion and source before evaluating outlet compliance.", rule_id="CAL-MIN-001", criterion_status="Not established")
if _rows(sections, "STORAGE"):
add("Storage", "High", "Missing project criterion", "Approved pond/storage HWL, freeboard, emergency spill elevation, and classification are not established by the model alone.", "Enter the approved storage criteria and source before concluding performance.", rule_id="CAL-POND-001", criterion_status="Not established")
return [asdict(x) for x in findings]
def findings_dataframe(findings: Sequence[Mapping[str, Any]]) -> pd.DataFrame:
columns = [f.name for f in DesignFinding.__dataclass_fields__.values()]
df = pd.DataFrame(list(findings))
for col in columns:
if col not in df.columns:
df[col] = ""
return df[columns]
def build_review_context(
*,
inp_name: str,
inp_text: str,
findings: Sequence[Mapping[str, Any]],
metadata: Mapping[str, Any],
criteria: Mapping[str, Any] | None = None,
node_summary: pd.DataFrame | None = None,
link_summary: pd.DataFrame | None = None,
sub_summary: pd.DataFrame | None = None,
simulation_completed: bool = False,
output_results_available: bool = False,
review_mode: str = "Input and simulation-output review",
) -> dict[str, Any]:
_, sections = _split_sections(inp_text)
output_ready = bool(simulation_completed and output_results_available)
return {
"review_mode": review_mode,
"availability": {
"model_input_available": bool(inp_text),
"simulation_completed": bool(simulation_completed),
"output_results_available": bool(output_results_available),
"result_based_review_authorized": output_ready,
},
"model": {
"name": inp_name,
"sha256": hashlib.sha256(inp_text.encode("utf-8")).hexdigest(),
"section_counts": {k: len(_rows(sections, k)) for k in sections},
},
"metadata": dict(metadata or {}),
"criteria": dict(criteria or {}),
"simulation_results": {
"node_summary": _records(node_summary) if output_ready else [],
"link_summary": _records(link_summary) if output_ready else [],
"subcatchment_summary": _records(sub_summary) if output_ready else [],
},
"result_table_counts": {
"nodes": 0 if node_summary is None else int(len(node_summary)),
"links": 0 if link_summary is None else int(len(link_summary)),
"subcatchments": 0 if sub_summary is None else int(len(sub_summary)),
},
"deterministic_findings": list(findings),
"allowed_ai_actions": ["explain", "prioritise", "identify missing information", "propose review steps", "propose structured edits for engineer approval"],
"prohibited_ai_actions": ["claim compliance", "silently modify the model", "invent criteria", "certify design", "approve a preferred design", "convert missing values to zero"],
}
def ai_review_findings(*, provider_name: str, api_key: str, model: str, review_context: Mapping[str, Any], user_request: str = "") -> str:
request = f"""Review the preliminary SWMM model using only the deterministic context below.
Prioritise issues, explain likely engineering implications, identify missing criteria,
and propose conservative next actions. Do not recalculate results or claim compliance.
USER_REQUEST:
{user_request or 'Provide a complete preliminary design review.'}
DETERMINISTIC_CONTEXT:
{json.dumps(review_context, ensure_ascii=False, default=str)}
Return concise professional Markdown with these headings:
1. Review summary
2. Priority findings
3. Modelling corrections for engineer consideration
4. Design-criteria confirmations required
5. Recommended path to scenario analysis
"""
return _call_provider(provider_name, api_key, model, [{"role": "user", "content": request}], REVIEW_SYSTEM_PROMPT, max_tokens=3600)
def apply_approved_changes(inp_text: str, findings: Sequence[Mapping[str, Any]], edited_values: Mapping[str, Any] | None = None) -> tuple[str, list[dict[str, Any]]]:
"""Apply a deliberately limited set of approved, structured edits."""
preamble, sections = _split_sections(inp_text)
log: list[dict[str, Any]] = []
edited_values = dict(edited_values or {})
def update_named(section: str, object_id: str, token_index: int, value: Any, finding_id: str, parameter: str):
lines = sections.get(section, [])
changed = False
old = None
new_lines = []
for line in lines:
parsed = _data_tokens(line)
if parsed and parsed[0][0].casefold() == object_id.casefold() and len(parsed[0]) > token_index:
tokens, comment = parsed
old = tokens[token_index]
tokens[token_index] = str(value)
line = _replace_tokens(line, tokens, comment)
changed = True
new_lines.append(line)
sections[section] = new_lines
log.append({"finding_id": finding_id, "object_id": object_id, "parameter": parameter, "old_value": old, "new_value": value, "applied": changed})
for f in findings:
if str(f.get("engineer_decision", "")).lower() != "accept":
continue
fid = str(f.get("finding_id", ""))
parameter = str(f.get("proposed_parameter", ""))
value = edited_values.get(fid, f.get("proposed_value"))
oid = str(f.get("object_id", ""))
otype = str(f.get("object_type", "")).upper()
if value in (None, "") or not parameter:
log.append({"finding_id": fid, "object_id": oid, "parameter": parameter, "applied": False, "note": "No structured value supplied; retained as an accepted review action only."})
continue
if otype == "SUBCATCHMENT":
idx = {"area": 3, "imperviousness": 4, "width": 5, "slope": 6}.get(parameter)
if idx is not None:
update_named("SUBCATCHMENTS", oid, idx, value, fid, parameter)
continue
if otype == "MODEL" and parameter.upper() in {"REPORT_STEP", "WET_STEP", "ROUTING_STEP", "END_DATE", "END_TIME"}:
sections["OPTIONS"] = _set_option(sections.get("OPTIONS", []), parameter.upper(), str(value))
log.append({"finding_id": fid, "object_id": "MODEL", "parameter": parameter.upper(), "new_value": value, "applied": True})
continue
log.append({"finding_id": fid, "object_id": oid, "parameter": parameter, "new_value": value, "applied": False, "note": "Parameter is not yet supported by the controlled correction engine."})
return _join_sections(preamble, sections), log
def review_manifest(*, original_name: str, reviewed_name: str, original_text: str, reviewed_text: str, findings: Sequence[Mapping[str, Any]], change_log: Sequence[Mapping[str, Any]], status: str) -> dict[str, Any]:
return {
"workflow": "Rev23 Preliminary Design Assistant",
"created_at": datetime.now().isoformat(timespec="seconds"),
"original_model": original_name,
"reviewed_model": reviewed_name,
"original_sha256": hashlib.sha256(original_text.encode("utf-8")).hexdigest(),
"reviewed_sha256": hashlib.sha256(reviewed_text.encode("utf-8")).hexdigest(),
"review_status": status,
"finding_counts": pd.Series([f.get("severity", "") for f in findings]).value_counts().to_dict() if findings else {},
"decision_counts": pd.Series([f.get("engineer_decision", "") for f in findings]).value_counts().to_dict() if findings else {},
"change_log": list(change_log),
}
|