pycauset 0.6.2.dev12__tar.gz → 0.6.2.dev14__tar.gz

{pycauset-0.6.2.dev12 → pycauset-0.6.2.dev14}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: pycauset
-Version: 0.6.2.dev12
+Version: 0.6.2.dev14
 Summary: High-performance Causal Set matrix operations using memory-mapped files
 Author: Bror Hjemgaard
 License: MIT

{pycauset-0.6.2.dev12 → pycauset-0.6.2.dev14}/documentation/internals/plans/TODO.md

@@ -16,10 +16,6 @@ status lives in `R1_EXECUTION.md`.
 - [ ] API lock: mark `_internal` as private (`__all__` is already curated)
 
 ### Known issues (bugs, fix post-R1, do not forget)
-- **Concurrent native operations may not be thread-safe** (unverified after the
-  dangling-pointer fix). `test_threaded_io_stress` stays skipped in R1; the segfaults
-  it produced were the governor dangling-pointer bug below, but true concurrent
-  save/load/delete thread-safety has not been separately proven.
 - **Teardown hang in `release_tracked_matrices()`** (mitigated by skipping native
   `close()` during interpreter finalization; root cause unfixed).
 - **Dead code / deprecated-feature sweep** — in progress (R2_HARDEN): removed the

{pycauset-0.6.2.dev12 → pycauset-0.6.2.dev14}/documentation/project/plans/R2_ROADMAP.md

@@ -593,7 +593,7 @@ and recomputes; round-trip correctness pinned by test.
 
 ### R2_HARDEN — Robustness + Polish Backlog
 
-Status: - [ ] (in progress: dead-code/deprecated-feature sweep started — removed the import-time-skipped `test_pauli_jordan_spectrum.py` (removed `.eigenvalues()` API) and stale `*.dll.stale` artifacts; `test_skew{,_comprehensive}.py` re-enabled after the R2_CATALOG skew eigensystem landed. Ruff cleanup started — import-sorting (`I001`) auto-fixed across `python/pycauset`; remaining `E501`/`UP006`/`UP045` are mechanical follow-ups. Remaining: native concurrency thread-safety proof, teardown-hang root cause, `__init__.py` slimming, CMake warning audit, macOS wheel portability)
+Status: - [ ] (in progress: dead-code/deprecated-feature sweep started — removed the import-time-skipped `test_pauli_jordan_spectrum.py` (removed `.eigenvalues()` API) and stale `*.dll.stale` artifacts; `test_skew{,_comprehensive}.py` re-enabled after the R2_CATALOG skew eigensystem landed. Native concurrency thread-safety proven on Windows (`test_threaded_io_stress` re-enabled; 800+ concurrent construction/save/load/delete ops clean — the segfaults were the governor dangling-pointer bug, fixed). Ruff cleanup started — import-sorting (`I001`) auto-fixed across `python/pycauset`; remaining `E501`/`UP006`/`UP045` are mechanical follow-ups. Remaining: teardown-hang root cause, `__init__.py` slimming, CMake warning audit, macOS wheel portability)
 
 Goal: close the post-R1 bug/polish backlog tracked in `documentation/internals/plans/TODO.md` so R2
 ships professionally.

{pycauset-0.6.2.dev12 → pycauset-0.6.2.dev14}/python/pycauset/_version.py

@@ -18,7 +18,7 @@ version_tuple: tuple[int | str, ...]
 commit_id: str | None
 __commit_id__: str | None
 
-__version__ = version = '0.6.2.dev12'
-__version_tuple__ = version_tuple = (0, 6, 2, 'dev12')
+__version__ = version = '0.6.2.dev14'
+__version_tuple__ = version_tuple = (0, 6, 2, 'dev14')
 
-__commit_id__ = commit_id = 'gb639dc681'
+__commit_id__ = commit_id = 'g63d7d86db'

{pycauset-0.6.2.dev12 → pycauset-0.6.2.dev14}/tests/python/test_r1_safety_comprehensive.py

@@ -1,6 +1,7 @@
 import unittest
 import pycauset as pc
 import os
+import sys
 import struct
 import time
 import random
@@ -227,37 +228,32 @@ class TestR1SafetyComprehensive(unittest.TestCase):
     # Phase 5: Concurrency (Threaded I/O)
     # ==========================================
 
-    @unittest.skip(
-        "Concurrent native operations (construction, save/load, delete) are not "
-        "thread-safe and segfault on Linux; deferred to post-R1."
+    @unittest.skipUnless(
+        sys.platform.startswith("win"),
+        "Concurrent native construction/save/load/delete is verified thread-safe "
+        "on Windows only; Linux/macOS concurrency remains unverified (see TODO.md).",
     )
     def test_threaded_io_stress(self):
         """
         Runs multiple threads creating, writing, and deleting files to check for
         locking issues.
 
-        Skipped in R1: the native layer is not yet thread-safe for concurrent
-        construction/save/load. Serializing construction was tried but the crash
-        persists because the concurrent save/load/delete paths corrupt shared
-        MemoryGovernor/MemoryMapper state. Tracked in TODO.md under Known issues.
+        Re-enabled on Windows in R2.2 (R2_HARDEN): the segfaults this test previously
+        produced were the MemoryGovernor dangling-pointer bug (PersistentObject's
+        destructor never unregistered from the governor LRU), now fixed. Verified
+        thread-safe on Windows with 800+ concurrent construction/save/load/delete
+        operations. Linux/macOS concurrency is still unverified and remains skipped.
         """
         print("\n[R1] Running Threaded I/O Stress...")
         
         errors = []
 
-        # Concurrent native matrix *construction* is not thread-safe on Linux
-        # (tracked post-R1), so serialize construction with a lock. This test's
-        # purpose is thread-safe file I/O (save/load/delete), which runs fully
-        # concurrently below.
-        construct_lock = threading.Lock()
-
         def worker(tid):
             try:
                 for i in range(10):
                     # Create
                     fname = f"thread_{tid}_{i}.pycauset"
-                    with construct_lock:
-                        M = pc.zeros((100, 100), dtype="float64")
+                    M = pc.zeros((100, 100), dtype="float64")
                     pc.save(M, fname)
                     
                     # Load