agentic-proofkit 0.1.146__py3-none-macosx_11_0_arm64.whl

agentic_proofkit/__init__.py

@@ -0,0 +1 @@
+"""Python package-manager wrapper for the agentic-proofkit CLI."""

agentic_proofkit/__main__.py

@@ -0,0 +1,3 @@
+from agentic_proofkit.cli import main
+
+raise SystemExit(main())

agentic_proofkit/cli.py

@@ -0,0 +1,31 @@
+from __future__ import annotations
+
+import os
+import stat
+import subprocess
+import sys
+from pathlib import Path
+from typing import Sequence
+
+
+def main(argv: Sequence[str] | None = None) -> int:
+    if argv is None:
+        argv = sys.argv[1:]
+    binary = Path(__file__).with_name("bin") / "agentic-proofkit"
+    if not binary.is_file():
+        print(
+            "agentic-proofkit: missing embedded CLI binary; reinstall the package",
+            file=sys.stderr,
+        )
+        return 127
+    ensure_executable(binary)
+    return subprocess.run([str(binary), *argv], check=False).returncode
+
+
+def ensure_executable(path: Path) -> None:
+    mode = path.stat().st_mode
+    wanted = mode | stat.S_IXUSR
+    if os.name != "nt":
+        wanted |= stat.S_IXGRP | stat.S_IXOTH
+    if wanted != mode:
+        path.chmod(wanted)

agentic_proofkit-0.1.146.dist-info/METADATA

@@ -0,0 +1,9 @@
+Metadata-Version: 2.1
+Name: agentic-proofkit
+Version: 0.1.146
+Summary: Reusable proof profile, report, graph, and witness-planning primitives.
+License: MIT
+Requires-Python: >=3.9
+Project-URL: Source, https://github.com/research-engineering/agentic-proofkit.git
+
+Package-manager wrapper for the agentic-proofkit Go CLI.

agentic_proofkit-0.1.146.dist-info/RECORD

@@ -0,0 +1,8 @@
+agentic_proofkit-0.1.146.dist-info/METADATA,sha256=j-iLRWoQthnfPw4yBqIRb9OvX2FR0hZx7Wn8pOXadZ4,319
+agentic_proofkit-0.1.146.dist-info/WHEEL,sha256=gurkE3NK6_Fq2JS-pECL1gBSn-lfuQIvX7a88waSla4,102
+agentic_proofkit-0.1.146.dist-info/entry_points.txt,sha256=cOqiZ2ildLhwLbqWwRtGrin5ZMy7ysnPAYfNSESsRbs,63
+agentic_proofkit/__init__.py,sha256=dcfoHZPvf6CoSssqd9S-q3jKzLkLJV7DE5FoRuwpKUc,67
+agentic_proofkit/__main__.py,sha256=e4zPpRRvEBdF6UHeNASKYNAGv44aNhpPHiBOPcd-FOM,64
+agentic_proofkit/bin/agentic-proofkit,sha256=ws-E-yy6jSxCYxWO-ZgZiOAe_gdn2fDXXtKzqm0a1po,15311218
+agentic_proofkit/cli.py,sha256=GLfkUGQ2yCWoxUdz8aET-UYsVeBqtOOPYPD9OkcZvHI,826
+agentic_proofkit-0.1.146.dist-info/RECORD,,

agentic_proofkit-0.1.146.dist-info/WHEEL

@@ -0,0 +1,4 @@
+Wheel-Version: 1.0
+Generator: agentic-proofkit
+Root-Is-Purelib: false
+Tag: py3-none-macosx_11_0_arm64

agentic_proofkit-0.1.146.dist-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+agentic-proofkit = agentic_proofkit.cli:main