a3-python 0.1.11__tar.gz → 0.1.12__tar.gz

{a3_python-0.1.11 → a3_python-0.1.12}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: a3-python
-Version: 0.1.11
+Version: 0.1.12
 Summary: Catch real Python bugs before production — 99%+ accuracy, Z3 symbolic execution, LLM-powered false-positive filtering, zero-config GitHub CI
 Requires-Python: >=3.11
 Description-Content-Type: text/markdown

a3_python-0.1.12/a3_python/__init__.py

@@ -0,0 +1,14 @@
+"""
+A³: Advanced Automated Analysis for Python
+
+Stateful, Continuous Python Semantics + Barrier-Certificate Verifier
+
+A program analysis toolchain that produces:
+1. BUG: model-checked reachable unsafe state with concrete counterexample trace
+2. SAFE: proof (barrier certificate / inductive invariant) of unreachability
+3. UNKNOWN: neither proof nor counterexample
+
+No heuristics. Grounded in Python→Z3 heap/transition/barrier model.
+"""
+
+__version__ = "0.1.10"

a3_python-0.1.12/a3_python/__main__.py

@@ -0,0 +1,11 @@
+"""
+Allow running pyfromscratch as a module:
+
+    python3.11 -m pyfromscratch <target> [options]
+
+Delegates to pyfromscratch.cli:main().
+"""
+import sys
+from .cli import main
+
+sys.exit(main())