agentic-proofkit 0.6.0__py3-none-macosx_13_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,39 @@
+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)
+    command = [str(binary), *argv]
+    python_executable = str(Path(sys.executable).absolute())
+    environment = os.environ.copy()
+    environment["AGENTIC_PROOFKIT_LAUNCHER_PROFILE"] = "python_module"
+    environment["AGENTIC_PROOFKIT_PYTHON_EXECUTABLE"] = python_executable
+    if os.name != "nt":
+        os.execve(str(binary), command, environment)
+        raise AssertionError("os.execve returned unexpectedly")
+    return subprocess.run(command, check=False, env=environment).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.6.0.dist-info/METADATA

@@ -0,0 +1,10 @@
+Metadata-Version: 2.4
+Name: agentic-proofkit
+Version: 0.6.0
+Summary: Reusable proof profile, report, graph, and witness-planning primitives.
+License-Expression: MIT
+License-File: LICENSE
+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.6.0.dist-info/RECORD

@@ -0,0 +1,9 @@
+agentic_proofkit-0.6.0.dist-info/METADATA,sha256=iy0J42Xcl0VQwqvlU4YSC4XsZfm9sXtrzWn92UUXeOo,350
+agentic_proofkit-0.6.0.dist-info/WHEEL,sha256=6oEH43eEV_YEkj-mH8Yxn6YcFIL0WE6vSsuoTG8Jenk,102
+agentic_proofkit-0.6.0.dist-info/entry_points.txt,sha256=cOqiZ2ildLhwLbqWwRtGrin5ZMy7ysnPAYfNSESsRbs,63
+agentic_proofkit-0.6.0.dist-info/licenses/LICENSE,sha256=6LgTIFB8bDHu6Ha0xT-KoQZF5g_oPr3qZblQk9aHT4s,1090
+agentic_proofkit/__init__.py,sha256=dcfoHZPvf6CoSssqd9S-q3jKzLkLJV7DE5FoRuwpKUc,67
+agentic_proofkit/__main__.py,sha256=e4zPpRRvEBdF6UHeNASKYNAGv44aNhpPHiBOPcd-FOM,64
+agentic_proofkit/bin/agentic-proofkit,sha256=WOCvwMLpdktFylEj-sbjwuJJWT93XdgfdPVQSt-I04c,18277010
+agentic_proofkit/cli.py,sha256=nvJHgNbqPUMZ-N-cFgVLLu0SbU7l68kfzok9Pc305pk,1248
+agentic_proofkit-0.6.0.dist-info/RECORD,,

agentic_proofkit-0.6.0.dist-info/WHEEL

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

agentic_proofkit-0.6.0.dist-info/entry_points.txt

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

agentic_proofkit-0.6.0.dist-info/licenses/LICENSE

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