prete 2.5.1__tar.gz

prete-2.5.1/.claude/settings.local.json

@@ -0,0 +1,5 @@
+{
+  "disabledMcpjsonServers": [
+    "obsidian"
+  ]
+}

prete-2.5.1/.editorconfig

@@ -0,0 +1,19 @@
+root = true
+
+[*]
+charset = utf-8
+end_of_line = lf
+insert_final_newline = true
+trim_trailing_whitespace = true
+
+[*.py]
+indent_style = space
+indent_size = 4
+max_line_length = 88
+
+[*.{prl,ebnf,md,toml,cfg,ini}]
+indent_style = space
+indent_size = 2
+
+[Makefile]
+indent_style = tab

prete-2.5.1/.github/workflows/ci.yml

@@ -0,0 +1,17 @@
+name: CI
+
+on: [push, pull_request]
+
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ["3.10", "3.11", "3.12", "3.13"]
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python-version }}
+      - run: pip install -e ".[dev]"
+      - run: pytest --cov

prete-2.5.1/.gitignore

@@ -0,0 +1,80 @@
+.idea/
+.obsidian/
+plan/
+reference/
+
+__pycache__/
+*.py[cod]
+*$py.class
+*.so
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+*.manifest
+*.spec
+pip-log.txt
+pip-delete-this-directory.txt
+htmlcov/
+.tox/
+.nox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+*.py,cover
+.hypothesis/
+.pytest_cache/
+cover/
+*.mo
+*.pot
+*.log
+local_settings.py
+db.sqlite3
+db.sqlite3-journal
+instance/
+.webassets-cache
+.scrapy
+docs/_build/
+.pybuilder/
+target/
+.ipynb_checkpoints
+profile_default/
+ipython_config.py
+__pypackages__/
+celerybeat-schedule
+celerybeat.pid
+*.sage.py
+.env
+.venv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+.spyderproject
+.spyproject
+.ropeproject
+/site
+.mypy_cache/
+.dmypy.json
+dmypy.json
+.pyre/
+.pytype/
+cython_debug/

prete-2.5.1/.mcp.json

@@ -0,0 +1,11 @@
+{
+  "mcpServers": {
+    "obsidian": {
+      "type": "http",
+      "url": "http://localhost:27123/",
+      "headers": {
+        "Authorization": "Bearer 47b79deaa425353e70ac947c8181b07108ae8cc1d8c1534a412694771fb5f2cb"
+      }
+    }
+  }
+}

prete-2.5.1/CHANGELOG.md

@@ -0,0 +1,151 @@
+# Changelog
+
+All notable changes to this project will be documented in this file.
+
+The format follows [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
+and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
+---
+
+## [2.5.1] — 2026-06-21
+
+**Test coverage.**
+
+### Changed
+- Test suite expanded from 59 missed lines to 11 (99.17% coverage); remaining
+  11 misses are intentional (error-raising guards and structural dead code).
+
+---
+
+## [2.5.0] — 2026-06-21
+
+**Extending API change — PRL extra features.**
+
+### Added
+- `extends` keyword in `declare` blocks — type inheritance via Python MRO;
+  parent-type patterns fire for child-type facts via `isinstance`.
+- `@key` field tag — generates identity-aware `__eq__` / `__hash__` on declared
+  types using only the annotated key fields.
+- Positional and named constraint shorthand — `TypeName(v1, v2)` and
+  `TypeName(field=v)` in patterns, resolved against declaration order at
+  compile time.
+- `@no-loop` rule tag — alias for the existing `no-loop: true` attribute;
+  prevents a rule from re-activating on its own WM modifications.
+- `import` / `from … import` / `from … import … as` — self-contained `.prl`
+  files that declare their own type dependencies; `types` dict in `load_prl`
+  becomes optional.
+- `or` disjunction — single PRL rule with K LHS branches compiles to K
+  `Production` objects sharing the same RHS closure.
+- `forall(P, Q)` — universal quantification, rewritten by the compiler to
+  `NccGroup([P, negated_Q])`.
+- `exists Pattern(…)` — new `ExistsNode` in `beta.py`; fires once per
+  matching left context regardless of right-fact count.
+- `@role(event)`, `@timestamp`, `@duration`, `@expires` — synchronous
+  logical-clock CEP model; events are auto-retracted when
+  `timestamp + expires < logical_clock`.
+- `accumulate(inner; $result: fn; constraint)` — new `AccumulateNode` in
+  `beta.py` with incremental per-left-token state for `sum`, `count`, `min`,
+  `max`, `collectList`.
+- New example `.prl` files and companion Python drivers for all extra features
+  (`src/examples/prl/inheritance.prl`, `identity_key.prl`,
+  `compact_patterns.prl`, `self_modify.prl`, `imported_types.prl`,
+  `disjunction.prl`, `universal.prl`, `existence_check.prl`,
+  `event_stream.prl`, `aggregation.prl`).
+
+### Changed
+- `src/rete/prl_ast.py` — `DeclareDecl` gains `extends` and `tags` fields;
+  `FieldDecl` and `RuleDecl` gain `tags`; new AST nodes: `Tag`, `ImportDecl`,
+  `OrGroup`, `ForallNode`, `AccumulateNode` (AST).
+- `src/rete/prl_lexer.py` — new keywords: `extends`, `import`, `from`, `as`,
+  `or`, `forall`, `exists`, `accumulate`; new `AT` token type.
+- `src/rete/prl_parser.py` — tag parsing, `extends`, all import forms,
+  `or` / `forall` / `exists` / `accumulate` conditions.
+- `src/rete/prl.py` — compiler handles all new AST nodes; topological sort
+  for `extends`; `__prl_meta__` dict on generated types for tag semantics.
+- `src/rete/beta.py` — `ExistsNode`, `AccumulateNode`.
+- `src/rete/condition.py` — `Pattern.exists`, `AccumulateSpec`.
+- `src/rete/network.py` — wires `ExistsNode` / `AccumulateNode`.
+- `src/rete/fact.py` — `Fact.timestamp` field for CEP.
+- `src/rete/engine.py` — `logical_clock`, `advance_clock()`, `_expire_events()`.
+
+---
+
+## [2.1.0] — 2026-06-20
+
+**Extending API change — pRETE Rule Language (PRL) parser added.**
+
+### Added
+- `rete.prl.load_prl(text, types, engine)` — parses PRL source into
+  `(dict[str, type], list[Production])` ready for the RETE engine.
+- `src/rete/prl_lexer.py` — tokenizer for PRL source text.
+- `src/rete/prl_ast.py` — frozen AST dataclasses (`FieldDecl`, `DeclareDecl`,
+  `BindConstraint`, `CompareConstraint`, `PatternNode`, `NccPatternGroup`,
+  `RuleDecl`, `ProgramNode`).
+- `src/rete/prl_parser.py` — hand-written recursive-descent parser.
+- `src/rete/prl.py` — compiler (AST → `Pattern` / `NccGroup` / `Production`)
+  and `load_prl()` entry point.
+- `.prl` program files for all seven bundled examples
+  (`src/examples/prl/*.prl`).
+- PRL-powered companion drivers for all seven examples
+  (`src/examples/*_prl.py`).
+- Per-step unit tests: `test_prl_lexer.py`, `test_prl_ast.py`,
+  `test_prl_parser.py`, `test_prl_compiler.py`.
+- Full-pipeline integration tests: `test_prl.py`.
+
+### Changed
+- `src/rete/__init__.py` — `load_prl` added to public re-exports and `__all__`.
+
+### Notes
+- The engine, network, alpha, and beta modules are **unchanged**.
+- PRL is a strict subset of Drools Rule Language (DRL 8.x); see
+  `reference/prl-grammar.ebnf` for the full grammar.
+- `salience` is parsed and preserved on `RuleDecl` (default 0) but not yet
+  wired into `InferenceEngine`'s conflict-set strategy.
+- The regex-based `drl.py` prototype is superseded by `prl.py` and will be
+  removed in a future release.
+
+---
+
+## [2.0.0] — 2026-06-19
+
+**Breaking API change — triple model replaced by Plain Old Python Objects (POPOs).**
+
+### Added
+- `Fact(obj)` — wraps any Python object as a working-memory element.
+- `Pattern(type_, alpha_tests, join_tests, bindings, negated)` — replaces
+  `Condition`; matches by type then by callable field tests.
+- `JoinSpec(attr_of_fact, var_name)` — compile-time cross-fact variable
+  reference declared in `Pattern.join_tests`.
+- `Token.bindings: dict[str, Any]` — named variable bindings carried by
+  each partial match (replaces positional `token.wmes[i]` access).
+- `InferenceEngine.update_fact(fact)` — Drools-style `modify`: retracts
+  and re-asserts a mutated fact so the network stays in sync.
+- New examples: `loan_application.py`, `temperature_alarm.py`,
+  `family_tree.py`, `fraud_detection.py`.
+
+### Removed
+- `WME(id, attribute, value)` — replaced by `Fact(obj)`.
+- `Condition(id_test, attribute_test, value_test)` — replaced by `Pattern`.
+- `WILDCARD` constant — no longer needed; omit the field from `alpha_tests`.
+- `add_wme` / `remove_wme` on `ReteNetwork` and `InferenceEngine` —
+  replaced by `add_fact` / `remove_fact`.
+- `AlphaNode` trie — replaced by a single predicate per `AlphaMemory` and
+  type-indexed dispatch in `RootNode`.
+
+### Changed
+- `Token.wmes` → `Token.facts`.
+- Alpha network now dispatches by MRO, so a `Dog` fact activates a
+  `Pattern(type_=Animal)`.
+- Alpha memory sharing is keyed by `(type_, tuple(id(fn) for fn in alpha_tests))`;
+  stable function references (not inline lambdas) are required for sharing.
+
+---
+
+## [1.0.1] — prior
+
+Incremental fixes to the v1.0.0 triple-based engine.
+
+## [1.0.0] — prior
+
+Initial release: triple `(id, attribute, value)` WME model, full Doorenbos
+algorithm with right/left unlinking and NCC support.

prete-2.5.1/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Stefano Bragaglia
+
+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.