Additive Phase 1 of BEHAVE-INTEGRATION.md. Lays the storage layer the BEHAVE-SHELL extractor (DEBT-050) will write into. Nothing breaks; SessionProfile coexists for now and is dropped in the follow-up commit. decnet/web/db/models/observations.py — new ObservationRow SQLModel mirroring the BEHAVE Observation envelope field-for-field (core/decnet_behave_core/spec/envelope.py). ``id`` is a hex-string UUID (matching BEHAVE), not a typed UUID column. ``identity_ref`` is str | None — written by the future attribution engine, NULL until then. ``attacker_uuid`` is the one DECNET-side denormalisation; FK'd to attackers.uuid for cheap AttackerDetail joins. ``evidence_ref`` is NOT NULL for DECNET emissions even though the upstream envelope makes it optional — the worker's "already profiled?" check keys on it. UniqueConstraint(evidence_ref, primitive) enforces idempotency at the schema level so re-running the extractor on the same shard+sid produces a DB-side conflict the upsert path resolves deterministically. Class is named ``ObservationRow`` (not ``Observation``) to avoid colliding with the BEHAVE Pydantic envelope at sites that import both. decnet/web/db/sqlmodel_repo/observations.py — ObservationsMixin. Three public methods backing the canonical queries from BEHAVE-INTEGRATION.md §"Storage": ``upsert_observation`` (idempotent on the natural key), ``latest_observation_per_primitive`` (per- primitive MAX(ts) subquery, portable across SQLite and MySQL — no DISTINCT ON), ``observations_time_series`` (asc-by-ts). Plus ``has_observations_for_evidence`` for the worker's session-already- profiled check. decnet/bus/topics.py — ATTACKER_OBSERVATION_PREFIX = "observation" constant + ``attacker_observation(primitive)`` builder. Full topic shape ``attacker.observation.<primitive>`` matches what BEHAVE's spec.event_adapter.event_topic_for produces upstream. Documentation + pattern matching only — bus auth is socket file perms (DEBT-029 §2), not topic-level. decnet/web/db/repository.py — abstract ``upsert_observation``, ``latest_observation_per_primitive``, ``observations_time_series`` on BaseRepository. tests/db/test_observations.py — 11 tests covering upsert round-trip, idempotency under the unique constraint, latest-per-primitive ordering across multiple sessions, time-series asc-ordering, empty- attacker contract, every BEHAVE ValueKind round-tripping through the JSON column, and the has_observations_for_evidence check. tests/db/test_base_repo.py — DummyRepo gains the three new abstract overrides so its coverage suite still instantiates.
188 lines
7.2 KiB
Python
188 lines
7.2 KiB
Python
"""Repo mixin for the ``observations`` table.
|
|
|
|
Composed onto :class:`SQLModelRepository`. Three public methods:
|
|
|
|
* :meth:`upsert_observation` — idempotent on
|
|
``(evidence_ref, primitive)``. Caller passes the BEHAVE envelope as
|
|
a dict plus the DECNET-side ``attacker_uuid`` denorm.
|
|
* :meth:`latest_observation_per_primitive` — backs the AttackerDetail
|
|
"current state" panel. Implements the canonical query from
|
|
``BEHAVE-INTEGRATION.md`` §"Storage".
|
|
* :meth:`observations_time_series` — every observation of one
|
|
primitive for one attacker, ordered ASC by ``ts``. Backs future
|
|
drift charts.
|
|
|
|
PII discipline is the BEHAVE envelope's job
|
|
(``core/decnet_behave_core/spec/envelope.py:3-19``); this mixin does
|
|
not validate values — that happens at construction time by the BEHAVE
|
|
``Observation`` subclass before the dict reaches us.
|
|
"""
|
|
from __future__ import annotations
|
|
|
|
import uuid as _uuid
|
|
from typing import Any, Optional
|
|
|
|
from sqlalchemy import desc, func, select
|
|
from sqlmodel import col
|
|
|
|
from decnet.web.db.models import ObservationRow
|
|
from decnet.web.db.sqlmodel_repo._helpers import _MixinBase
|
|
|
|
|
|
class ObservationsMixin(_MixinBase):
|
|
"""Mixin: methods composed onto :class:`SQLModelRepository`."""
|
|
|
|
async def upsert_observation(self, data: dict[str, Any]) -> str:
|
|
"""Insert or update an observation row keyed on
|
|
``(evidence_ref, primitive)``.
|
|
|
|
``data`` MUST carry every non-default ``ObservationRow`` field:
|
|
``primitive``, ``value``, ``confidence``, ``window_start_ts``,
|
|
``window_end_ts``, ``source``, ``evidence_ref``, ``envelope_v``,
|
|
``ts``, ``attacker_uuid``. ``id`` is generated if absent.
|
|
``identity_ref`` is optional.
|
|
|
|
Returns the row's ``id``. Idempotent: a second call with the
|
|
same ``(evidence_ref, primitive)`` overwrites the prior row's
|
|
mutable fields (value, confidence, ts, etc.) without
|
|
violating the unique constraint.
|
|
"""
|
|
evidence_ref = data["evidence_ref"]
|
|
primitive = data["primitive"]
|
|
async with self._session() as session:
|
|
stmt = select(ObservationRow).where(
|
|
ObservationRow.evidence_ref == evidence_ref,
|
|
ObservationRow.primitive == primitive,
|
|
)
|
|
existing = (await session.execute(stmt)).scalar_one_or_none()
|
|
if existing:
|
|
# Mutable fields from the new envelope; ``id`` and the
|
|
# natural key stay locked to the existing row.
|
|
for k, v in data.items():
|
|
if k in ("id", "evidence_ref", "primitive"):
|
|
continue
|
|
setattr(existing, k, v)
|
|
session.add(existing)
|
|
row_id = existing.id
|
|
else:
|
|
row_id = data.get("id") or _uuid.uuid4().hex
|
|
row_data = {**data, "id": row_id}
|
|
session.add(ObservationRow(**row_data))
|
|
await session.commit()
|
|
return row_id
|
|
|
|
async def latest_observation_per_primitive(
|
|
self, attacker_uuid: str,
|
|
) -> dict[str, dict[str, Any]]:
|
|
"""Return the most recent observation per primitive for one
|
|
attacker.
|
|
|
|
Output shape::
|
|
|
|
{
|
|
"motor.input_modality": {"value": "pasted",
|
|
"confidence": 0.91,
|
|
"ts": 1714521660.456,
|
|
"source": "..."},
|
|
"cognitive.feedback_loop_engagement": {...},
|
|
...
|
|
}
|
|
|
|
Empty dict when the attacker has zero observations.
|
|
Implementation uses a per-primitive MAX(ts) subquery; portable
|
|
across SQLite + MySQL (no ``DISTINCT ON``).
|
|
"""
|
|
async with self._session() as session:
|
|
# Subquery: per-primitive max(ts) for this attacker.
|
|
max_ts_subq = (
|
|
select(
|
|
col(ObservationRow.primitive).label("primitive"),
|
|
func.max(col(ObservationRow.ts)).label("max_ts"),
|
|
)
|
|
.where(ObservationRow.attacker_uuid == attacker_uuid)
|
|
.group_by(col(ObservationRow.primitive))
|
|
.subquery()
|
|
)
|
|
stmt = (
|
|
select(ObservationRow)
|
|
.join(
|
|
max_ts_subq,
|
|
(ObservationRow.primitive == max_ts_subq.c.primitive)
|
|
& (ObservationRow.ts == max_ts_subq.c.max_ts),
|
|
)
|
|
.where(ObservationRow.attacker_uuid == attacker_uuid)
|
|
.order_by(ObservationRow.primitive)
|
|
)
|
|
rows = (await session.execute(stmt)).scalars().all()
|
|
return {
|
|
row.primitive: {
|
|
"value": row.value,
|
|
"confidence": row.confidence,
|
|
"ts": row.ts,
|
|
"source": row.source,
|
|
}
|
|
for row in rows
|
|
}
|
|
|
|
async def observations_time_series(
|
|
self, attacker_uuid: str, primitive: str,
|
|
) -> list[dict[str, Any]]:
|
|
"""Return every observation of ``primitive`` for ``attacker_uuid``,
|
|
ordered by ``ts`` ASC.
|
|
|
|
Empty list when no rows match.
|
|
"""
|
|
async with self._session() as session:
|
|
stmt = (
|
|
select(ObservationRow)
|
|
.where(
|
|
ObservationRow.attacker_uuid == attacker_uuid,
|
|
ObservationRow.primitive == primitive,
|
|
)
|
|
.order_by(ObservationRow.ts)
|
|
)
|
|
rows = (await session.execute(stmt)).scalars().all()
|
|
return [
|
|
{
|
|
"ts": row.ts,
|
|
"value": row.value,
|
|
"confidence": row.confidence,
|
|
}
|
|
for row in rows
|
|
]
|
|
|
|
async def get_observation_by_id(
|
|
self, row_id: str,
|
|
) -> Optional[dict[str, Any]]:
|
|
"""Single ``ObservationRow`` lookup by ``id``. Used by tests
|
|
and a future "fetch one event" surface; not exposed on the
|
|
public API today."""
|
|
async with self._session() as session:
|
|
stmt = select(ObservationRow).where(ObservationRow.id == row_id)
|
|
row = (await session.execute(stmt)).scalar_one_or_none()
|
|
if not row:
|
|
return None
|
|
return row.model_dump(mode="json")
|
|
|
|
async def has_observations_for_evidence(
|
|
self, evidence_ref: str,
|
|
) -> bool:
|
|
"""True iff any observation row carries this ``evidence_ref``.
|
|
|
|
Worker uses this as the "have we already profiled this session?"
|
|
check before kicking the extractor — equivalent to "is this
|
|
``(decky, service, sid)`` already in the table?"
|
|
"""
|
|
async with self._session() as session:
|
|
stmt = (
|
|
select(col(ObservationRow.id))
|
|
.where(ObservationRow.evidence_ref == evidence_ref)
|
|
.limit(1)
|
|
)
|
|
return (await session.execute(stmt)).scalar_one_or_none() is not None
|
|
|
|
# Order desc(ts) reserved as the most-recent-first listing if a
|
|
# paginated UI surface lands later. Not exposed today; named here
|
|
# so a future grep finds the canonical desc-ts pattern.
|
|
_LATEST_FIRST = staticmethod(desc)
|