cpp-pd-code-simplify-interface 0.1.12__tar.gz → 0.1.14__tar.gz

{cpp_pd_code_simplify_interface-0.1.12 → cpp_pd_code_simplify_interface-0.1.14}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: cpp-pd-code-simplify-interface
-Version: 0.1.12
+Version: 0.1.14
 Summary: Python interface for cpp-pd-code-simplify with runtime C++ compilation.
 License-Expression: MIT
 Author: GGN_2015
@@ -77,6 +77,9 @@ and sets `timed_out` to `True`. Verbose log lines use local wall-clock time in
 phase, verbose logs also include `actual_threads`, the worker count selected by
 the C++ backend for that phase. The backend call runs in a helper process, so
 `Ctrl+C` can terminate active C++ work and its worker threads cleanly.
+Use `show_step_pd=True`, or CLI flag `--show-step-pd`, to print
+`step_pd_code[ROUND]: PD[...]` to stdout after each mid-simplification witness
+is applied and before that round's automatic R1/nugatory cleanup.
 
 Batch use:
 

{cpp_pd_code_simplify_interface-0.1.12 → cpp_pd_code_simplify_interface-0.1.14}/README.md

@@ -57,6 +57,9 @@ and sets `timed_out` to `True`. Verbose log lines use local wall-clock time in
 phase, verbose logs also include `actual_threads`, the worker count selected by
 the C++ backend for that phase. The backend call runs in a helper process, so
 `Ctrl+C` can terminate active C++ work and its worker threads cleanly.
+Use `show_step_pd=True`, or CLI flag `--show-step-pd`, to print
+`step_pd_code[ROUND]: PD[...]` to stdout after each mid-simplification witness
+is applied and before that round's automatic R1/nugatory cleanup.
 
 Batch use:
 

cpp_pd_code_simplify_interface-0.1.14/cpp_pd_code_simplify_interface/_worker.py

@@ -0,0 +1,68 @@
+from __future__ import annotations
+
+import json
+import sys
+from pathlib import Path
+from typing import Any
+
+from .main import _run_one_direct
+
+
+def main() -> int:
+    try:
+        request: dict[str, Any] = json.loads(sys.stdin.read())
+        result = _run_one_direct(
+            str(request.get("pd_text", "")),
+            max_paths=int(request.get("max_paths", -1)),
+            ban_heuristic=bool(request.get("ban_heuristic", False)),
+            reduction_round=int(request.get("reduction_round", -1)),
+            max_thread=int(request.get("max_thread", -1)),
+            timeout=int(request.get("timeout", -1)),
+            verbose=bool(request.get("verbose", False)),
+            show_step_pd=bool(request.get("show_step_pd", False)),
+            known_crossingless_components=int(
+                request.get("known_crossingless_components", 0)
+            ),
+            remove_crossings=request.get("remove_crossings") or [],
+        )
+        output = json.dumps({"ok": True, "result": result}, separators=(",", ":"))
+        protocol_output_path = request.get("protocol_output_path")
+        if protocol_output_path:
+            Path(str(protocol_output_path)).write_text(output, encoding="utf-8")
+        else:
+            print(output)
+        return 0
+    except KeyboardInterrupt:
+        output = json.dumps(
+            {"ok": False, "error": "interrupted by Ctrl+C"},
+            separators=(",", ":"),
+        )
+        try:
+            request
+        except NameError:
+            request = {}
+        protocol_output_path = request.get("protocol_output_path")
+        if protocol_output_path:
+            Path(str(protocol_output_path)).write_text(output, encoding="utf-8")
+        else:
+            print(output)
+        return 130
+    except BaseException as exc:  # noqa: BLE001 - return errors through JSON.
+        output = json.dumps(
+            {"ok": False, "error": str(exc)},
+            separators=(",", ":"),
+        )
+        try:
+            request
+        except NameError:
+            request = {}
+        protocol_output_path = request.get("protocol_output_path")
+        if protocol_output_path:
+            Path(str(protocol_output_path)).write_text(output, encoding="utf-8")
+        else:
+            print(output)
+        return 0
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())

{cpp_pd_code_simplify_interface-0.1.12 → cpp_pd_code_simplify_interface-0.1.14}/cpp_pd_code_simplify_interface/data/include/pdcode_simplify/pdcode_simplify.hpp

@@ -59,6 +59,7 @@ struct SimplifierOptions {
     bool require_applicable = false;
     bool verbose = false;
     std::function<void(const std::string&)> progress;
+    std::function<void(int, const PDCode&)> step_pd_output;
     std::function<bool()> should_cancel;
 };
 

{cpp_pd_code_simplify_interface-0.1.12 → cpp_pd_code_simplify_interface-0.1.14}/cpp_pd_code_simplify_interface/data/src/native_interface.cpp

@@ -136,6 +136,7 @@ char* pdcode_simplify_run_json(
     int max_thread,
     int timeout_seconds,
     int verbose,
+    int show_step_pd,
     unsigned long long known_crossingless_components,
     const int* removed_crossings,
     unsigned long long removed_crossing_count) {
@@ -154,6 +155,14 @@ char* pdcode_simplify_run_json(
         options.progress = [](const std::string& message) {
             print_progress_log(message);
         };
+        if (show_step_pd != 0) {
+            options.step_pd_output = [](int round, const pdcode_simplify::PDCode& step_code) {
+                std::cout << "step_pd_code[" << round << "]: "
+                          << pdcode_simplify::format_final_pd_code(step_code)
+                          << '\n';
+                std::cout.flush();
+            };
+        }
 
         const pdcode_simplify::PDCode code = pdcode_simplify::parse_pd_code(text);
         std::size_t crossingless = static_cast<std::size_t>(known_crossingless_components);

{cpp_pd_code_simplify_interface-0.1.12 → cpp_pd_code_simplify_interface-0.1.14}/cpp_pd_code_simplify_interface/data/src/pdcode_simplify.cpp

@@ -1074,12 +1074,16 @@ std::vector<std::vector<int>> collect_simple_paths(
     const SimplifierOptions& options) {
     check_timeout(options);
     std::vector<std::vector<int>> paths;
-    if (source == target || source < 0 || target < 0 ||
+    if (source < 0 || target < 0 ||
         source >= static_cast<int>(graph.faces.size()) ||
         target >= static_cast<int>(graph.faces.size()) ||
         cutoff <= 0) {
         return paths;
     }
+    if (source == target) {
+        paths.push_back(std::vector<int>{source});
+        return paths;
+    }
 
     std::vector<char> visited(graph.faces.size(), false);
     std::vector<int> current_path{source};
@@ -1196,10 +1200,14 @@ std::vector<std::vector<int>> collect_heuristic_paths(
     check_timeout(options);
     std::vector<std::vector<int>> paths;
     const int face_count = static_cast<int>(graph.faces.size());
-    if (source == target || source < 0 || target < 0 ||
+    if (source < 0 || target < 0 ||
         source >= face_count || target >= face_count || cutoff <= 0) {
         return paths;
     }
+    if (source == target) {
+        paths.push_back(std::vector<int>{source});
+        return paths;
+    }
 
     const std::vector<int> distance = heuristic_distances_to_target(graph, target, cutoff, options);
     const int infinity = std::numeric_limits<int>::max() / 4;
@@ -1828,6 +1836,12 @@ void emit_progress(const SimplifierOptions& options, const std::string& message)
     }
 }
 
+void emit_step_pd(const SimplifierOptions& options, int round, const PDCode& code) {
+    if (options.step_pd_output) {
+        options.step_pd_output(round, code);
+    }
+}
+
 std::string search_mode_for_options(const SimplifierOptions& options) {
     if (options.max_paths == -1 && !options.ban_heuristic) {
         return "heuristic";
@@ -2631,6 +2645,7 @@ ReductionResult reduce_pd_code(
             const MidSimplificationApplyResult applied =
                 apply_simplification_witness(output.code, search, output.crossingless_components);
             ++output.mid_simplification_rounds;
+            emit_step_pd(run_options, round, applied.code);
             output.code = applied.code;
             output.crossingless_components = applied.crossingless_components;
             check_timeout(run_options);

{cpp_pd_code_simplify_interface-0.1.12 → cpp_pd_code_simplify_interface-0.1.14}/cpp_pd_code_simplify_interface/main.py

@@ -15,6 +15,7 @@ import shutil
 import struct
 import subprocess
 import sys
+import tempfile
 from importlib import resources
 from typing import Any, Optional, Sequence, Union
 
@@ -763,6 +764,7 @@ def _load_library() -> ctypes.CDLL:
         ctypes.c_int,
         ctypes.c_int,
         ctypes.c_int,
+        ctypes.c_int,
         ctypes.c_ulonglong,
         ctypes.POINTER(ctypes.c_int),
         ctypes.c_ulonglong,
@@ -784,6 +786,7 @@ def _run_one_direct(
     max_thread: int = -1,
     timeout: int = -1,
     verbose: bool = False,
+    show_step_pd: bool = False,
     known_crossingless_components: int = 0,
     remove_crossings: Optional[Sequence[int]] = None,
 ) -> dict[str, Any]:
@@ -807,6 +810,7 @@ def _run_one_direct(
         int(max_thread),
         int(timeout),
         1 if verbose else 0,
+        1 if show_step_pd else 0,
         int(known_crossingless_components),
         removed_array,
         int(removed_count),
@@ -847,6 +851,7 @@ def _run_one(
     max_thread: int = -1,
     timeout: int = -1,
     verbose: bool = False,
+    show_step_pd: bool = False,
     known_crossingless_components: int = 0,
     remove_crossings: Optional[Sequence[int]] = None,
 ) -> dict[str, Any]:
@@ -865,43 +870,62 @@ def _run_one(
         "max_thread": int(max_thread),
         "timeout": int(timeout),
         "verbose": bool(verbose),
+        "show_step_pd": bool(show_step_pd),
         "known_crossingless_components": int(known_crossingless_components),
         "remove_crossings": [int(value) for value in remove_crossings or []],
     }
+    protocol_output_path: Optional[pathlib.Path] = None
+    if show_step_pd:
+        fd, protocol_name = tempfile.mkstemp(
+            prefix="cpp-pd-code-simplify-interface-",
+            suffix=".json",
+        )
+        os.close(fd)
+        protocol_output_path = pathlib.Path(protocol_name)
+        request["protocol_output_path"] = str(protocol_output_path)
     env = os.environ.copy()
     project_root = str(pathlib.Path(__file__).resolve().parents[1])
     env["PYTHONPATH"] = project_root + os.pathsep + env.get("PYTHONPATH", "")
-    proc = subprocess.Popen(
-        [
-            sys.executable,
-            "-m",
-            "cpp_pd_code_simplify_interface._worker",
-        ],
-        cwd=str(pathlib.Path.cwd()),
-        text=True,
-        stdin=subprocess.PIPE,
-        stdout=subprocess.PIPE,
-        stderr=None if verbose else subprocess.PIPE,
-        env=env,
-    )
     try:
-        stdout, stderr = proc.communicate(json.dumps(request))
-    except KeyboardInterrupt:
-        _terminate_process(proc)
-        raise
-
-    if proc.returncode != 0:
-        detail = (stderr or "").strip()
-        raise PdCodeSimplifyInterfaceError(
-            f"C++ interface worker failed with exit code {proc.returncode}"
-            + (f": {detail}" if detail else "")
+        proc = subprocess.Popen(
+            [
+                sys.executable,
+                "-m",
+                "cpp_pd_code_simplify_interface._worker",
+            ],
+            cwd=str(pathlib.Path.cwd()),
+            text=True,
+            stdin=subprocess.PIPE,
+            stdout=None if show_step_pd else subprocess.PIPE,
+            stderr=None if verbose else subprocess.PIPE,
+            env=env,
         )
-    try:
-        envelope = json.loads(stdout)
-    except json.JSONDecodeError as exc:
-        raise PdCodeSimplifyInterfaceError(
-            f"invalid interface worker JSON output: {stdout!r}"
-        ) from exc
+        try:
+            stdout, stderr = proc.communicate(json.dumps(request))
+        except KeyboardInterrupt:
+            _terminate_process(proc)
+            raise
+
+        if proc.returncode != 0:
+            detail = (stderr or "").strip()
+            raise PdCodeSimplifyInterfaceError(
+                f"C++ interface worker failed with exit code {proc.returncode}"
+                + (f": {detail}" if detail else "")
+            )
+        if protocol_output_path is not None:
+            stdout = protocol_output_path.read_text(encoding="utf-8")
+        try:
+            envelope = json.loads(stdout or "")
+        except json.JSONDecodeError as exc:
+            raise PdCodeSimplifyInterfaceError(
+                f"invalid interface worker JSON output: {stdout!r}"
+            ) from exc
+    finally:
+        if protocol_output_path is not None:
+            try:
+                protocol_output_path.unlink()
+            except FileNotFoundError:
+                pass
     if not isinstance(envelope, dict):
         raise PdCodeSimplifyInterfaceError(
             f"invalid interface worker response type: {type(envelope)!r}"
@@ -923,6 +947,7 @@ def simplify(
     max_thread: int = -1,
     timeout: int = -1,
     verbose: bool = False,
+    show_step_pd: bool = False,
     known_crossingless_components: int = 0,
     remove_crossings: Optional[Sequence[int]] = None,
 ) -> dict[str, Any]:
@@ -936,6 +961,7 @@ def simplify(
         max_thread=max_thread,
         timeout=timeout,
         verbose=verbose,
+        show_step_pd=show_step_pd,
         known_crossingless_components=known_crossingless_components,
         remove_crossings=remove_crossings,
     )
@@ -950,6 +976,7 @@ def simplify_many(
     max_thread: int = -1,
     timeout: int = -1,
     verbose: bool = False,
+    show_step_pd: bool = False,
     known_crossingless_components: int = 0,
     remove_crossings: Optional[Sequence[int]] = None,
 ) -> list[dict[str, Any]]:
@@ -964,6 +991,7 @@ def simplify_many(
             max_thread=max_thread,
             timeout=timeout,
             verbose=verbose,
+            show_step_pd=show_step_pd,
             known_crossingless_components=known_crossingless_components,
             remove_crossings=remove_crossings,
         )
@@ -982,6 +1010,7 @@ def main(argv: Optional[Sequence[str]] = None) -> int:
     parser.add_argument("--max-thread", type=int, default=-1)
     parser.add_argument("--timeout", type=int, default=-1)
     parser.add_argument("--verbose", action="store_true")
+    parser.add_argument("--show-step-pd", action="store_true")
     parser.add_argument("--known-crossingless-components", type=int, default=0)
     parser.add_argument("--remove-crossings", help="comma-separated zero-based crossing indices")
     args = parser.parse_args(argv)
@@ -1017,6 +1046,7 @@ def main(argv: Optional[Sequence[str]] = None) -> int:
                     max_thread=args.max_thread,
                     timeout=args.timeout,
                     verbose=args.verbose,
+                    show_step_pd=args.show_step_pd,
                     known_crossingless_components=args.known_crossingless_components,
                     remove_crossings=remove_crossings,
                 )
@@ -1049,6 +1079,7 @@ def main(argv: Optional[Sequence[str]] = None) -> int:
                 max_thread=args.max_thread,
                 timeout=args.timeout,
                 verbose=args.verbose,
+                show_step_pd=args.show_step_pd,
                 known_crossingless_components=args.known_crossingless_components,
                 remove_crossings=remove_crossings,
             )

{cpp_pd_code_simplify_interface-0.1.12 → cpp_pd_code_simplify_interface-0.1.14}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "cpp-pd-code-simplify-interface"
-version = "0.1.12"
+version = "0.1.14"
 description = "Python interface for cpp-pd-code-simplify with runtime C++ compilation."
 authors = [
     {name = "GGN_2015", email = "neko@jlulug.org"}

cpp_pd_code_simplify_interface-0.1.12/cpp_pd_code_simplify_interface/_worker.py

@@ -1,47 +0,0 @@
-from __future__ import annotations
-
-import json
-import sys
-from typing import Any
-
-from .main import _run_one_direct
-
-
-def main() -> int:
-    try:
-        request: dict[str, Any] = json.loads(sys.stdin.read())
-        result = _run_one_direct(
-            str(request.get("pd_text", "")),
-            max_paths=int(request.get("max_paths", -1)),
-            ban_heuristic=bool(request.get("ban_heuristic", False)),
-            reduction_round=int(request.get("reduction_round", -1)),
-            max_thread=int(request.get("max_thread", -1)),
-            timeout=int(request.get("timeout", -1)),
-            verbose=bool(request.get("verbose", False)),
-            known_crossingless_components=int(
-                request.get("known_crossingless_components", 0)
-            ),
-            remove_crossings=request.get("remove_crossings") or [],
-        )
-        print(json.dumps({"ok": True, "result": result}, separators=(",", ":")))
-        return 0
-    except KeyboardInterrupt:
-        print(
-            json.dumps(
-                {"ok": False, "error": "interrupted by Ctrl+C"},
-                separators=(",", ":"),
-            )
-        )
-        return 130
-    except BaseException as exc:  # noqa: BLE001 - return errors through JSON.
-        print(
-            json.dumps(
-                {"ok": False, "error": str(exc)},
-                separators=(",", ":"),
-            )
-        )
-        return 0
-
-
-if __name__ == "__main__":
-    raise SystemExit(main())