cpp-pd-code-simplify-interface 0.1.13__py3-none-any.whl → 0.1.14__py3-none-any.whl

cpp_pd_code_simplify_interface/_worker.py

@@ -2,6 +2,7 @@ from __future__ import annotations
 
 import json
 import sys
+from pathlib import Path
 from typing import Any
 
 from .main import _run_one_direct
@@ -18,28 +19,48 @@ def main() -> int:
             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 [],
         )
-        print(json.dumps({"ok": True, "result": result}, separators=(",", ":")))
+        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:
-        print(
-            json.dumps(
-                {"ok": False, "error": "interrupted by Ctrl+C"},
-                separators=(",", ":"),
-            )
+        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.
-        print(
-            json.dumps(
-                {"ok": False, "error": str(exc)},
-                separators=(",", ":"),
-            )
+        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
 
 

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/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/data/src/pdcode_simplify.cpp

@@ -1836,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";
@@ -2639,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/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.13.dist-info → cpp_pd_code_simplify_interface-0.1.14.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: cpp-pd-code-simplify-interface
-Version: 0.1.13
+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.14.dist-info/RECORD

@@ -0,0 +1,12 @@
+cpp_pd_code_simplify_interface/__init__.py,sha256=aaNwD--zgQX13xiU1hpuvgXy8vVTFGRk-r5zLm8zIRY,447
+cpp_pd_code_simplify_interface/__main__.py,sha256=fdA1QWBe5LNX0fbtaJXa1-dwEhrg_4sS_5UnjaajcMo,80
+cpp_pd_code_simplify_interface/_worker.py,sha256=RPLUE-4amjh78C1fmFolmSIM2_s8AXWk-2fWvASq7A0,2338
+cpp_pd_code_simplify_interface/main.py,sha256=yVWv0zmsJGT3pHhruwK4QaHl3Dn4rJ6spr_fqMMm1Dk,38307
+cpp_pd_code_simplify_interface/py.typed,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
+cpp_pd_code_simplify_interface-0.1.14.dist-info/entry_points.txt,sha256=ThorC4Enxp317TKITsXm9pE0gUp7pt-pP6Dl5mEPUR8,91
+cpp_pd_code_simplify_interface-0.1.14.dist-info/METADATA,sha256=InpkotMDzumP-fnGzGTHVcpk-LKV0-gvmf8w-wvFYIM,4762
+cpp_pd_code_simplify_interface-0.1.14.dist-info/WHEEL,sha256=eY7nduwzv-ldUxpzbRlxwvC693Hg6PX8bWDjEHjZ_dk,88
+cpp_pd_code_simplify_interface/data/include/pdcode_simplify/pdcode_simplify.hpp,sha256=U49Urs6bMXwkygJsVTnXp-q7y_aWkfRfGimy8mxHoms,5195
+cpp_pd_code_simplify_interface/data/src/native_interface.cpp,sha256=YiYlbGyWTM_FA0V_XzjHtnb9sD4eqMGQmdom6ivm0f0,7094
+cpp_pd_code_simplify_interface/data/src/pdcode_simplify.cpp,sha256=A9ozSFzD_bkgrSl_9tIxH6PVAceUix76nRceEO6Ymho,96021
+cpp_pd_code_simplify_interface-0.1.14.dist-info/RECORD,,

cpp_pd_code_simplify_interface-0.1.13.dist-info/RECORD

@@ -1,12 +0,0 @@
-cpp_pd_code_simplify_interface/__init__.py,sha256=aaNwD--zgQX13xiU1hpuvgXy8vVTFGRk-r5zLm8zIRY,447
-cpp_pd_code_simplify_interface/__main__.py,sha256=fdA1QWBe5LNX0fbtaJXa1-dwEhrg_4sS_5UnjaajcMo,80
-cpp_pd_code_simplify_interface/_worker.py,sha256=pgvL3zlAZkUVM033YKAT1geXxcI8TxTUXLp83sgrZgw,1477
-cpp_pd_code_simplify_interface/main.py,sha256=QkhR_2Cq9Ep_8hT5qpFKML7bhq99SuQSKO0jePJHp3U,37007
-cpp_pd_code_simplify_interface/py.typed,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
-cpp_pd_code_simplify_interface-0.1.13.dist-info/entry_points.txt,sha256=ThorC4Enxp317TKITsXm9pE0gUp7pt-pP6Dl5mEPUR8,91
-cpp_pd_code_simplify_interface-0.1.13.dist-info/METADATA,sha256=-uQyhNQjhrKxBj2_HaRqkrWhF50ojY878shH3kafxaE,4553
-cpp_pd_code_simplify_interface-0.1.13.dist-info/WHEEL,sha256=eY7nduwzv-ldUxpzbRlxwvC693Hg6PX8bWDjEHjZ_dk,88
-cpp_pd_code_simplify_interface/data/include/pdcode_simplify/pdcode_simplify.hpp,sha256=ZWZVWuSXN9HgCYd88pfURgLqs-3_0xGDi_ZEPZrYUyY,5135
-cpp_pd_code_simplify_interface/data/src/native_interface.cpp,sha256=-X9ztIyCl5y27Yhj2vCyC4bHCeDpFlcKm6ACPMDoxHs,6708
-cpp_pd_code_simplify_interface/data/src/pdcode_simplify.cpp,sha256=xQd5-tirH-Mk4dLZpXAAZo6qHP4mpAFO94Z8GFCPJbg,95788
-cpp_pd_code_simplify_interface-0.1.13.dist-info/RECORD,,