Factual package intelligence from PyPI
Autonomy under uncertainty: closed-loop reference pipeline + 5 formal safety properties verifiable byte-exact from any MCAP + TLA+ mechanically-verified BAUD/ERUR/MD/partition over the abstract state space.
pip install project-ghost
PyPI declares 16 unique dependency rules for this release. Environment markers are shown when supplied by the project.
project-ghost publishes 1 wheel and 1 source archive for version 0.2.5. Wheel platform tags: any.
Declared Python classifiers: 3.11, 3.12.
PyPI lists 5 releases with files. The first dated release is ; 5 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .