v0.1.3: add README, render on PyPI

Author: omereliy

CHANGELOG.md

@@ -6,6 +6,12 @@ Format: [Keep a Changelog](https://keepachangelog.com/en/1.1.0/). Versioning: [S
 
 ## [Unreleased]
 
+## [0.1.3] — 2026-04-15
+
+### Added
+- `README.md` with install instructions, CLI usage, Python API, and pipeline overview
+- `readme = "README.md"` in `pyproject.toml` so the README renders on PyPI
+
 ## [0.1.2] — 2026-04-11
 
 ### Fixed

README.md

@@ -0,0 +1,83 @@
+# PyVAL — Pure Python PDDL Plan Validator
+
+[![PyPI](https://img.shields.io/pypi/v/pddl-pyvalidator.svg)](https://pypi.org/project/pddl-pyvalidator/)
+[![Python](https://img.shields.io/pypi/pyversions/pddl-pyvalidator.svg)](https://pypi.org/project/pddl-pyvalidator/)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](LICENSE)
+
+A pure-Python PDDL plan validator — a drop-in alternative to the compiled [VAL](https://github.com/KCL-Planning/VAL) binary. Built on [unified-planning](https://github.com/aiplan4eu/unified-planning), zero compiled dependencies, `pip install`-able everywhere.
+
+PyVAL produces rich, structured diagnostics designed for both humans and LLM consumption: per-step state changes, precondition deficit reporting, and repair-oriented messages.
+
+## Install
+
+```bash
+pip install pddl-pyvalidator
+```
+
+## Quick Start
+
+```bash
+# Validate a plan against a domain and problem
+pyval domain.pddl problem.pddl plan.txt
+
+# JSON output for tool integration
+pyval domain.pddl problem.pddl plan.txt --json
+
+# Numeric fluent trajectory (one row per step)
+pyval domain.pddl problem.pddl plan.txt --trajectory --track fuel --track cost
+
+# Syntax check only (domain, or domain + problem)
+pyval domain.pddl
+pyval domain.pddl problem.pddl
+```
+
+Exit code is `0` on a valid plan, `1` otherwise.
+
+## Python API
+
+```python
+from pyval import PDDLValidator
+
+validator = PDDLValidator()
+result = validator.validate(
+    domain_path="domain.pddl",
+    problem_path="problem.pddl",
+    plan_path="plan.txt",
+)
+
+if result.is_valid:
+    print("Plan is valid")
+else:
+    for err in result.errors:
+        print(err)
+```
+
+## What Gets Validated
+
+PyVAL runs a three-phase pipeline and halts on the first fatal error:
+
+1. **Syntax & semantic** — PDDL parses, types/predicates/functions are well-formed, no duplicates or arity mismatches.
+2. **Plan structure** — every action name exists in the domain, parameters are declared objects with type-compatible (subtype-aware) bindings.
+3. **Plan execution** — each step's preconditions hold, effects apply, and goals are satisfied in the final state. Numeric fluents are tracked across steps; quality metrics (`minimize` / `maximize`) are evaluated on the final state.
+
+Unsupported PDDL features (durative actions, PDDL+ processes/events) are reported as warnings rather than silent failures.
+
+## Output Modes
+
+- **Plain text** (default, VAL-like, optionally `-v` for per-step detail)
+- **JSON** (`--json`) — structured for programmatic consumption
+- **Trajectory** (`--trajectory`) — numeric fluent values per step, optionally filtered via `--track`
+
+## Development
+
+```bash
+python3 -m venv .venv && source .venv/bin/activate
+pip install -e ".[dev]"
+pytest
+```
+
+See `VALIDATOR_SPEC.md` for the full specification and `CLAUDE.md` for architecture notes.
+
+## License
+
+MIT — see [LICENSE](LICENSE).

pyproject.toml

@@ -4,8 +4,9 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "pddl-pyvalidator"
-version = "0.1.2"
+version = "0.1.3"
 description = "Pure Python PDDL plan validator"
+readme = "README.md"
 license = "MIT"
 requires-python = ">=3.10"
 dependencies = [

pyval/__init__.py

@@ -1,6 +1,6 @@
 """PyVAL — Pure Python PDDL plan validator."""
 
-__version__ = "0.1.2"
+__version__ = "0.1.3"
 
 from pyval.models import (
     GoalResult,