doxastica 0.1.0__tar.gz

doxastica-0.1.0/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Paul Garner
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

doxastica-0.1.0/PKG-INFO

@@ -0,0 +1,70 @@
+Metadata-Version: 2.4
+Name: doxastica
+Version: 0.1.0
+Summary: Graph-native AGM belief-revision core (Kumiho M0)
+Keywords: belief-revision,agm,kumiho,graph,epistemic,memory
+Author: Anentropic
+Author-email: Anentropic <ego@anentropic.com>
+License-Expression: MIT
+License-File: LICENSE
+Classifier: Development Status :: 4 - Beta
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Programming Language :: Python :: 3.14
+Classifier: Typing :: Typed
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
+Requires-Dist: pydantic>=2.11,<3
+Requires-Dist: doxastica[ladybug] ; extra == 'all'
+Requires-Dist: ladybug>=0.17,<0.18 ; extra == 'ladybug'
+Requires-Python: >=3.14
+Project-URL: Homepage, https://github.com/anentropic/doxastica
+Project-URL: Documentation, https://anentropic.github.io/doxastica/
+Project-URL: Repository, https://github.com/anentropic/doxastica
+Provides-Extra: all
+Provides-Extra: ladybug
+Description-Content-Type: text/markdown
+
+# doxastica
+
+A standalone **reference implementation of Kumiho** ([arXiv 2603.17244](https://arxiv.org/abs/2603.17244), Young Bin Park) —
+a graph-native AGM belief-revision core — with one deliberate **multi-scope** extension
+(Kumiho is single-agent) and one deliberate exclusion (**no recovery**; AGM *recovery* is
+dropped in favour of superseded-chain semantics). Zero narrative concepts; correctness is
+*provable*, with AGM/Hansson postulates verified mechanically as a backend conformance suite.
+
+## What it is
+
+doxastica is a standalone, append-only belief-revision library. It has **no game, narrative,
+or LLM concepts inside it** — only scopes, beliefs, and revisions behind a clean
+`BeliefStore` protocol. Revision is forward-only: no operation removes or rewrites a stored
+`BeliefState`; superseded states stay on the chain. The library ships a working in-memory AGM
+core that depends on `pydantic` alone, with the LadybugDB graph backend available as an
+optional extra.
+
+## Installation
+
+```bash
+# Core (in-memory AGM engine, pydantic only)
+pip install doxastica
+
+# With the LadybugDB reference backend
+pip install doxastica[ladybug]
+```
+
+Or with [uv](https://docs.astral.sh/uv/):
+
+```bash
+uv add doxastica
+uv add 'doxastica[ladybug]'
+```
+
+The base install ships a fully working in-memory belief-revision core. The `[ladybug]` extra
+adds the LadybugDB-backed reference backend behind the same `BeliefStore` protocol.
+
+## Quick Start
+
+See the [Quick Start in the documentation](https://anentropic.github.io/doxastica/) for a
+runnable first program using `MemoryCore(InMemoryBackend())`.
+
+## License
+
+MIT. See [LICENSE](LICENSE).

doxastica-0.1.0/README.md

@@ -0,0 +1,45 @@
+# doxastica
+
+A standalone **reference implementation of Kumiho** ([arXiv 2603.17244](https://arxiv.org/abs/2603.17244), Young Bin Park) —
+a graph-native AGM belief-revision core — with one deliberate **multi-scope** extension
+(Kumiho is single-agent) and one deliberate exclusion (**no recovery**; AGM *recovery* is
+dropped in favour of superseded-chain semantics). Zero narrative concepts; correctness is
+*provable*, with AGM/Hansson postulates verified mechanically as a backend conformance suite.
+
+## What it is
+
+doxastica is a standalone, append-only belief-revision library. It has **no game, narrative,
+or LLM concepts inside it** — only scopes, beliefs, and revisions behind a clean
+`BeliefStore` protocol. Revision is forward-only: no operation removes or rewrites a stored
+`BeliefState`; superseded states stay on the chain. The library ships a working in-memory AGM
+core that depends on `pydantic` alone, with the LadybugDB graph backend available as an
+optional extra.
+
+## Installation
+
+```bash
+# Core (in-memory AGM engine, pydantic only)
+pip install doxastica
+
+# With the LadybugDB reference backend
+pip install doxastica[ladybug]
+```
+
+Or with [uv](https://docs.astral.sh/uv/):
+
+```bash
+uv add doxastica
+uv add 'doxastica[ladybug]'
+```
+
+The base install ships a fully working in-memory belief-revision core. The `[ladybug]` extra
+adds the LadybugDB-backed reference backend behind the same `BeliefStore` protocol.
+
+## Quick Start
+
+See the [Quick Start in the documentation](https://anentropic.github.io/doxastica/) for a
+runnable first program using `MemoryCore(InMemoryBackend())`.
+
+## License
+
+MIT. See [LICENSE](LICENSE).

doxastica-0.1.0/pyproject.toml

@@ -0,0 +1,84 @@
+[project]
+name = "doxastica"
+version = "0.1.0"
+description = "Graph-native AGM belief-revision core (Kumiho M0)"
+readme = "README.md"
+authors = [
+    { name = "Anentropic", email = "ego@anentropic.com" }
+]
+requires-python = ">=3.14"
+license = "MIT"
+license-files = ["LICENSE"]
+keywords = ["belief-revision", "agm", "kumiho", "graph", "epistemic", "memory"]
+classifiers = [
+    "Development Status :: 4 - Beta",
+    "License :: OSI Approved :: MIT License",
+    "Programming Language :: Python :: 3.14",
+    "Typing :: Typed",
+    "Topic :: Scientific/Engineering :: Artificial Intelligence",
+]
+dependencies = [
+    "pydantic>=2.11,<3",
+]
+
+[project.urls]
+Homepage = "https://github.com/anentropic/doxastica"
+Documentation = "https://anentropic.github.io/doxastica/"
+Repository = "https://github.com/anentropic/doxastica"
+
+[project.optional-dependencies]
+# D-03 (Option B): pydantic is the sole REQUIRED runtime dep; ladybug is the
+# reference-backend extra behind the Phase-1 BackendPort seam. `pip install doxastica`
+# yields a working in-memory AGM core with zero ladybug install; `[ladybug]` adds the
+# reference backend.
+ladybug = ["ladybug>=0.17,<0.18"]
+all = ["doxastica[ladybug]"]
+# future backends slot in here as extras, e.g. neo4j = [...], surrealdb = [...]
+
+[build-system]
+requires = ["uv_build>=0.9.18,<1.0.0"]
+build-backend = "uv_build"
+
+[dependency-groups]
+dev = [
+    "basedpyright>=1.38.0",
+    "hypothesis>=6.155",
+    "ipython>=9.10.0",
+    "pdbpp>=0.12.0.post1",
+    "pytest>=8.0.0",
+    "pytest-cov>=6.0.0",
+    "ruff>=0.15.1",
+]
+docs = [
+    "mkdocs>=1.6.0",
+    "mkdocs-material>=9.7.0",
+    "mkdocstrings[python]>=0.26.0",
+    "mkdocs-gen-files>=0.5.0",
+    "mkdocs-literate-nav>=0.6.0",
+    "mkdocs-section-index>=0.3.0",
+]
+
+[tool.pyright]
+pythonVersion = "3.14"
+typeCheckingMode = "strict"
+include = ["src", "tests"]
+reportPrivateUsage = false
+
+[tool.ruff]
+target-version = "py314"
+line-length = 100
+src = ["src"]
+
+[tool.ruff.lint]
+select = ["E", "F", "W", "I", "UP", "B", "SIM", "TCH", "D"]
+ignore = [
+    "D1",    # don't require docstrings everywhere
+    "D202",  # allow blank line after docstring (common in tests)
+    "D203",  # conflicts with D211 (no blank line before class docstring)
+    "D212",  # conflicts with D213 (multiline summary on second line)
+    "D401",  # imperative mood is awkward for dunder methods
+    "D413",  # blank line after last section not required
+]
+
+[tool.pytest.ini_options]
+addopts = "-v"

doxastica-0.1.0/src/doxastica/__init__.py

@@ -0,0 +1,37 @@
+"""Graph-native AGM belief-revision core (Kumiho M0)."""
+
+from doxastica.backends.memory import InMemoryBackend
+from doxastica.core import MemoryCore
+from doxastica.errors import (
+    BackendDependencyError,
+    DoxasticaError,
+    WorldScopeContractionError,
+)
+from doxastica.models import (
+    WORLD_SCOPE_ID,
+    Belief,
+    BeliefFilter,
+    BeliefState,
+    EdgeType,
+    ImpactResult,
+    Scope,
+    Status,
+)
+from doxastica.protocol import BeliefStore
+
+__all__ = [
+    "BackendDependencyError",
+    "Belief",
+    "BeliefFilter",
+    "BeliefState",
+    "BeliefStore",
+    "DoxasticaError",
+    "EdgeType",
+    "ImpactResult",
+    "InMemoryBackend",
+    "MemoryCore",
+    "Scope",
+    "Status",
+    "WORLD_SCOPE_ID",
+    "WorldScopeContractionError",
+]

doxastica-0.1.0/src/doxastica/backends/__init__.py

@@ -0,0 +1,17 @@
+"""
+Backend adapters behind the ``BackendPort`` seam (Phase 2).
+
+This subpackage holds the concrete implementations of the internal LPG-primitive
+:class:`doxastica.ports.BackendPort`. Per the driver-isolation discipline (D-02), this
+``__init__`` re-exports ONLY the zero-dependency :class:`InMemoryBackend` — it MUST NEVER
+``from .ladybug import ...``. Doing so would chain-load the optional ``ladybug`` driver on
+every ``import doxastica.backends``, defeating the isolation the seam exists to provide.
+The driver-backed adapter is imported directly by the caller from
+``doxastica.backends.ladybug`` (``LadybugBackend.open(...)`` / ``.from_connection(...)``)
+and injected into ``MemoryCore`` — pure DI, so ``MemoryCore`` itself stays driver-blind and
+never names or imports a backend.
+"""
+
+from doxastica.backends.memory import InMemoryBackend
+
+__all__ = ["InMemoryBackend"]