present-day 0.14.0__py3-none-any.whl

present_day/__init__.py

@@ -0,0 +1,4 @@
+"""Present Day: tamper-evident signed memory and provenance for AI agents (protocol P7)."""
+
+__version__ = "0.14.0"
+PROTOCOL = "P7/1"

present_day/agent.py

@@ -0,0 +1,58 @@
+"""Agent home: the agent's own signing key plus the cabinet connection it should use.
+
+The private key never leaves this directory; the cabinet only ever sees signed entries.
+"""
+
+from __future__ import annotations
+
+import json
+import os
+from pathlib import Path
+
+from .client import CloudClient
+from .crypto import NAME_RE, Identity
+
+
+class AgentError(Exception):
+    pass
+
+
+def default_path() -> Path:
+    return Path(os.environ.get("P7_AGENT_HOME") or Path.home() / ".present-day-agent")
+
+
+class AgentHome:
+    def __init__(self, path: str | Path | None = None):
+        self.path = Path(path) if path else default_path()
+        self.cfg_path = self.path / "agent.json"
+
+    def exists(self) -> bool:
+        return self.cfg_path.exists()
+
+    def init(self, name: str, url: str, token: str, workspace: str) -> Identity:
+        if not NAME_RE.match(name):
+            raise AgentError("name must match [A-Za-z0-9_-]{1,32}")
+        if self.exists():
+            raise AgentError(f"{self.path} is already initialised")
+        self.path.mkdir(parents=True, exist_ok=True, mode=0o700)
+        os.chmod(self.path, 0o700)
+        ident = Identity.generate()
+        ident.save(self.path / "agent.pem", os.environ.get("P7_PASSPHRASE") or None)
+        cfg = {"name": name, "url": url.rstrip("/"), "workspace": workspace, "token": token}
+        fd = os.open(self.cfg_path, os.O_WRONLY | os.O_CREAT | os.O_EXCL, 0o600)
+        with os.fdopen(fd, "w") as f:
+            json.dump(cfg, f, indent=2)
+        return ident
+
+    def config(self) -> dict:
+        try:
+            return json.loads(self.cfg_path.read_text())
+        except (OSError, ValueError) as e:
+            raise AgentError(f"agent not initialised in {self.path}: run `present-day agent init`") from e
+
+    def identity(self) -> Identity:
+        return Identity.load(self.path / "agent.pem", os.environ.get("P7_PASSPHRASE") or None)
+
+    def client(self) -> CloudClient:
+        c = self.config()
+        return CloudClient(c["url"], c["token"], c["workspace"], self.identity())

present_day/backends.py

@@ -0,0 +1,87 @@
+"""Memory backends shared by the MCP server and the framework integrations (no optional dependencies).
+
+* local : a node home on this machine (PRESENT_DAY_HOME, key P7_IDENTITY, default "agent")
+* cloud : a hosted workspace; the agent signs with its own key and authenticates with an API key
+          (P7_AGENT_HOME, created by `present-day agent init`)
+"""
+
+from __future__ import annotations
+
+from .agent import AgentHome
+from .home import Home
+
+
+class LocalBackend:
+    def __init__(self, home: Home, identity_name: str):
+        self.engine, self._home, self._name = home.engine(), home, identity_name
+
+    def _me(self):
+        return self._home.identity(self._name)
+
+    def remember(self, subject, predicate, obj, confidence, source_uri, supersedes) -> dict:
+        e = self.engine.claim(self._me(), subject, predicate, obj, confidence=confidence,
+                              sources=[{"uri": source_uri}] if source_uri else None,
+                              supersedes=[supersedes] if supersedes else None)
+        return {"entry": e.entry_hash, "seq": e.seq}
+
+    def recall(self, subject, predicate, status, limit) -> list[dict]:
+        return self.engine.query(subject=subject or None, predicate=predicate or None,
+                                 status=status or None, limit=limit)
+
+    def attest(self, target, stance, note) -> dict:
+        e = self.engine.attest(self._me(), target, stance, note)
+        return {"entry": e.entry_hash, "seq": e.seq}
+
+    def history(self, subject, predicate) -> list[dict]:
+        return self.engine.history(subject, predicate)
+
+    def provenance(self, entry) -> dict:
+        return self.engine.provenance(entry)
+
+    def verify(self) -> dict:
+        return self.engine.verify()
+
+    def alerts(self) -> list[dict]:
+        return [a.to_dict() for a in self.engine.alerts()]
+
+    def receipt(self, subject, predicate, question, answer) -> dict:
+        return self.engine.answer_receipt(subject, predicate, question, answer, self._me())
+
+    def evidence(self, subject, predicate) -> dict:
+        return self.engine.evidence_for(subject, predicate)
+
+
+class CloudBackend:
+    def __init__(self, agent: AgentHome):
+        self.c = agent.client()
+
+    def remember(self, subject, predicate, obj, confidence, source_uri, supersedes) -> dict:
+        r = self.c.claim(subject, predicate, obj, confidence=confidence,
+                         sources=[{"uri": source_uri}] if source_uri else None,
+                         supersedes=[supersedes] if supersedes else None)
+        return {"entry": r["entry_hash"], "seq": r["seq"]}
+
+    def recall(self, subject, predicate, status, limit) -> list[dict]:
+        return self.c.recall(subject=subject, predicate=predicate, status=status, limit=str(limit))
+
+    def attest(self, target, stance, note) -> dict:
+        r = self.c.attest(target, stance, note)  # signed locally; needs the full 64-hex hash
+        return {"entry": r["entry_hash"], "seq": r["seq"]}
+
+    def history(self, subject, predicate) -> list[dict]:
+        return self.c.history(subject, predicate)
+
+    def provenance(self, entry) -> dict:
+        return self.c.provenance(entry)
+
+    def verify(self) -> dict:
+        return self.c.verify()
+
+    def alerts(self) -> list[dict]:
+        return self.c.alerts()
+
+    def receipt(self, subject, predicate, question, answer) -> dict:
+        return self.c.answer_receipt(subject, predicate, question, answer)
+
+    def evidence(self, subject, predicate) -> dict:
+        return self.c.evidence(subject, predicate)

present_day/canon.py

@@ -0,0 +1,52 @@
+"""Canonical JSON (P7-canon-1): sorted keys, no whitespace, UTF-8, no floats.
+
+Floats are rejected on purpose: their text form is not stable across runtimes,
+which would break signatures. Confidence and similar values are integers.
+"""
+
+from __future__ import annotations
+
+import json
+from typing import Any
+
+
+class CanonError(ValueError):
+    pass
+
+
+_MAX_DEPTH = 32
+_MAX_INT = 2**53
+
+
+def _check(o: Any, depth: int = 0) -> None:
+    if depth > _MAX_DEPTH:
+        raise CanonError("structure too deep")
+    if o is None or isinstance(o, (bool, str)):
+        return
+    if isinstance(o, int):
+        if not -_MAX_INT < o < _MAX_INT:
+            raise CanonError("integer out of range")
+        return
+    if isinstance(o, float):
+        raise CanonError("floats are not allowed; use integers")
+    if isinstance(o, (list, tuple)):
+        for x in o:
+            _check(x, depth + 1)
+        return
+    if isinstance(o, dict):
+        for k, v in o.items():
+            if not isinstance(k, str):
+                raise CanonError("object keys must be strings")
+            _check(v, depth + 1)
+        return
+    raise CanonError(f"unsupported type: {type(o).__name__}")
+
+
+def canonical(o: Any) -> bytes:
+    _check(o)
+    try:
+        return json.dumps(
+            o, sort_keys=True, separators=(",", ":"), ensure_ascii=False, allow_nan=False
+        ).encode("utf-8")
+    except UnicodeEncodeError as e:
+        raise CanonError("invalid unicode (lone surrogate)") from e

present_day/claims.py

@@ -0,0 +1,148 @@
+"""P7 entry types and strict payload validation (unknown fields are rejected)."""
+
+from __future__ import annotations
+
+import re
+from typing import Any, Callable
+
+HEX64 = re.compile(r"^[0-9a-f]{64}$")
+CTRL = re.compile(r"[\x00-\x08\x0b\x0c\x0e-\x1f\x7f]")  # control chars except \t \n \r
+
+GOVERNANCE_TYPES = {"genesis", "identity", "vouch", "revoke"}
+CONTENT_TYPES = {"claim", "attest", "observation", "retract", "rollback"}
+ALL_TYPES = GOVERNANCE_TYPES | CONTENT_TYPES
+ROLES = {"agent", "source", "human", "node"}
+STANCES = {"support", "dispute"}
+
+
+class SchemaError(ValueError):
+    pass
+
+
+def _s(maxlen: int, *, oneline: bool = False, minlen: int = 0) -> Callable[[Any], str]:
+    def check(v: Any) -> str:
+        if not isinstance(v, str):
+            raise SchemaError("must be a string")
+        if not minlen <= len(v) <= maxlen:
+            raise SchemaError(f"length must be {minlen}..{maxlen}")
+        if CTRL.search(v) or (oneline and ("\n" in v or "\r" in v)):
+            raise SchemaError("contains control characters")
+        return v
+    return check
+
+
+def _hex64(v: Any) -> str:
+    if not isinstance(v, str) or not HEX64.match(v):
+        raise SchemaError("must be 64 lowercase hex chars")
+    return v
+
+
+def _int(lo: int, hi: int) -> Callable[[Any], int]:
+    def check(v: Any) -> int:
+        if isinstance(v, bool) or not isinstance(v, int) or not lo <= v <= hi:
+            raise SchemaError(f"must be an integer {lo}..{hi}")
+        return v
+    return check
+
+
+def _enum(options: set[str]) -> Callable[[Any], str]:
+    def check(v: Any) -> str:
+        if v not in options:
+            raise SchemaError(f"must be one of {sorted(options)}")
+        return v
+    return check
+
+
+def _list(item: Callable[[Any], Any], maxn: int) -> Callable[[Any], list]:
+    def check(v: Any) -> list:
+        if not isinstance(v, list) or len(v) > maxn:
+            raise SchemaError(f"must be a list of at most {maxn} items")
+        return [item(x) for x in v]
+    return check
+
+
+def _source(v: Any) -> dict:
+    if not isinstance(v, dict):
+        raise SchemaError("source must be an object")
+    return _validate(v, {
+        "uri": (_s(2048, oneline=True, minlen=1), False),
+        "entry": (_hex64, False),
+        "content_hash": (_hex64, False),
+    }, require_any=("uri", "entry"))
+
+
+# field -> (validator, required)
+SCHEMAS: dict[str, dict[str, tuple[Callable[[Any], Any], bool]]] = {
+    "genesis": {"name": (_s(64, oneline=True, minlen=1), True)},
+    "identity": {
+        "role": (_enum(ROLES), True),
+        "name": (_s(64, oneline=True, minlen=1), True),
+    },
+    "vouch": {"target": (_hex64, True), "weight": (_int(1, 100), False)},
+    "revoke": {"target": (_hex64, True), "reason": (_s(256), False)},
+    "claim": {
+        "subject": (_s(256, oneline=True, minlen=1), True),
+        "predicate": (_s(128, oneline=True, minlen=1), True),
+        "object": (_s(4096), True),
+        "confidence": (_int(0, 100), False),
+        "sources": (_list(_source, 20), False),
+        "supersedes": (_list(_hex64, 20), False),
+        "tags": (_list(_s(32, oneline=True, minlen=1), 10), False),
+        "text": (_s(8192), False),
+    },
+    "attest": {
+        "target": (_hex64, True),
+        "stance": (_enum(STANCES), True),
+        "note": (_s(512), False),
+    },
+    "retract": {"targets": (_list(_hex64, 50), True), "reason": (_s(256), False)},
+    "rollback": {"from_seq": (_int(2, 2**40), True), "reason": (_s(256), False)},
+    "observation": {
+        "source": (_s(2048, oneline=True, minlen=1), True),
+        "content_hash": (_hex64, True),
+        "size": (_int(0, 2**40), True),
+        "note": (_s(512), False),
+    },
+}
+
+
+def _validate(p: dict, spec: dict, require_any: tuple[str, ...] = ()) -> dict:
+    if not isinstance(p, dict):
+        raise SchemaError("payload must be an object")
+    unknown = set(p) - set(spec)
+    if unknown:
+        raise SchemaError(f"unknown fields: {sorted(unknown)}")
+    out: dict[str, Any] = {}
+    for name, (check, required) in spec.items():
+        if name not in p:
+            if required:
+                raise SchemaError(f"missing field: {name}")
+            continue
+        try:
+            out[name] = check(p[name])
+        except SchemaError as e:
+            raise SchemaError(f"{name}: {e}") from e
+    if require_any and not any(k in out for k in require_any):
+        raise SchemaError(f"one of {list(require_any)} is required")
+    return out
+
+
+def validate_payload(type_: str, payload: dict) -> dict:
+    spec = SCHEMAS.get(type_)
+    if spec is None:
+        raise SchemaError(f"unknown entry type: {type_}")
+    return _validate(payload, spec)
+
+
+def text_fields(type_: str, payload: dict) -> list[tuple[str, str]]:
+    """Free-text fields an LLM could later read; used by the injection scanner."""
+    names = {
+        "claim": ("subject", "predicate", "object", "text"),
+        "attest": ("note",),
+        "observation": ("source", "note"),
+        "identity": ("name",),
+        "retract": ("reason",),
+        "rollback": ("reason",),
+        "revoke": ("reason",),
+    }.get(type_, ())
+    return [(n, payload[n]) for n in names if isinstance(payload.get(n), str)]