plato-ai 0.1.0.dev0__py3-none-any.whl

plato/__init__.py

@@ -0,0 +1 @@
+"""plato: a controller-operated DNC memory that any LLM can use."""

plato/bench/__init__.py

@@ -0,0 +1 @@
+"""Fit-check and controller-plane throughput benchmarks."""

plato/bench/csvio.py

@@ -0,0 +1,120 @@
+"""Idempotent CSV helpers for S7 bench outputs.
+
+A cell is skipped when a row with the same key columns already exists
+(M0 §9 Spot mitigation: each bench run ≤ 30 min and idempotent).
+"""
+
+from __future__ import annotations
+
+import csv
+from collections.abc import Mapping, Sequence
+from pathlib import Path
+from typing import cast
+
+
+def cell(value: object) -> str:
+    """Render a CSV cell. Bools are ``true``/``false`` (not ``1``/``0``).
+
+    ``None`` is an empty field (OOM / incomplete-step metrics). The markdown
+    writer prints ``—`` for empty numeric cells.
+    """
+
+    if value is None:
+        return ""
+    if isinstance(value, bool):
+        return "true" if value else "false"
+    if isinstance(value, float):
+        return f"{value:.8g}"
+    return str(value)
+
+
+def csv_rows(path: Path) -> list[dict[str, str]]:
+    if not path.is_file():
+        return []
+    with path.open(newline="", encoding="utf-8") as handle:
+        reader = csv.DictReader(handle)
+        rows: list[dict[str, str]] = []
+        for raw in reader:
+            typed = cast(dict[object, object], raw)
+            row: dict[str, str] = {}
+            for key, value in typed.items():
+                if not isinstance(key, str):
+                    continue
+                row[key] = "" if value is None else str(value)
+            rows.append(row)
+        return rows
+
+
+def csv_has_row(path: Path, key: Mapping[str, str]) -> bool:
+    """True iff some existing row matches every ``key`` column exactly."""
+
+    for row in csv_rows(path):
+        if all(row.get(name) == value for name, value in key.items()):
+            return True
+    return False
+
+
+def csv_append(
+    path: Path,
+    fieldnames: Sequence[str],
+    row: Mapping[str, object],
+) -> None:
+    """Append ``row`` (creating the file + header if needed)."""
+
+    path.parent.mkdir(parents=True, exist_ok=True)
+    new_file = not path.is_file() or path.stat().st_size == 0
+    with path.open("a", newline="", encoding="utf-8") as handle:
+        writer = csv.DictWriter(handle, fieldnames=list(fieldnames), extrasaction="ignore")
+        if new_file:
+            writer.writeheader()
+        rendered: dict[str, str] = {name: cell(row.get(name, "")) for name in fieldnames}
+        writer.writerow(rendered)
+
+
+def csv_upsert(
+    path: Path,
+    fieldnames: Sequence[str],
+    row: Mapping[str, object],
+    key: Mapping[str, str],
+) -> None:
+    """Replace the row matching ``key``, or append if none exists.
+
+    Read-modify-write of the whole file. Extra rows with the same key are
+    dropped so a prior append-on-OOM cannot leave duplicates.
+    """
+
+    path.parent.mkdir(parents=True, exist_ok=True)
+    rendered: dict[str, str] = {name: cell(row.get(name, "")) for name in fieldnames}
+    written: list[dict[str, str]] = []
+    replaced = False
+    for old in csv_rows(path):
+        if all(old.get(name) == value for name, value in key.items()):
+            if not replaced:
+                written.append(rendered)
+                replaced = True
+            continue
+        written.append({name: old.get(name, "") for name in fieldnames})
+    if not replaced:
+        written.append(rendered)
+    with path.open("w", newline="", encoding="utf-8") as handle:
+        writer = csv.DictWriter(handle, fieldnames=list(fieldnames), extrasaction="ignore")
+        writer.writeheader()
+        for item in written:
+            writer.writerow(item)
+
+
+def lookup_row(path: Path, key: Mapping[str, str]) -> dict[str, str] | None:
+    for row in csv_rows(path):
+        if all(row.get(name) == value for name, value in key.items()):
+            return row
+    return None
+
+
+def parse_float(row: Mapping[str, str], name: str) -> float | None:
+    raw = row.get(name)
+    if raw is None or raw == "":
+        return None
+    try:
+        return float(raw)
+    except ValueError:
+        return None