THREADS = Temporal Historical Relational Engine for Adversarial Deterministic Systems.
This folder contains the exact Python source snapshot plus public test/benchmark scripts needed to reproduce the THREADS checks.
- Python 3.10+
- NumPy 1.24+
No model weights, GPU, network access, or external solver are required for the core tests.
From this folder:
python THREADS_test_runner.pyThis runs the original regression suite plus a lightweight diagnostic subset of the 60-category benchmark.
python THREADS_test_runner.py --micro60python THREADS_test_runner.py --appliedpython THREADS_test_runner.py --paper10Warning: Paper-10 contains the million-event distractor experiment and can require roughly 1 GB of process memory on the reported implementation.
python THREADS_test_runner.py --fullTHREADS receives the structured facts/events/constraints and the requested operation. Expected answers and independent oracles are used by the benchmark only to grade the result after THREADS has computed it. Ordinary relation walks receive the relation program as part of the query; the bounded program-induction test is the exception that searches a supplied finite operator library.
The Python package is still named srmh to preserve the tested source snapshot and benchmark history. The research project is published as THREADS.
Install the package in editable mode with:
python -m pip install -e ./sourceGraph is an explicit multigraph, so COUNT counts parallel edge witnesses.
Engine and Ledger store observations of logical transitions; Engine COUNT
counts each distinct positive subject/relation/object transition once. Repeated
or independently lineaged observations therefore do not manufacture additional
engine edges. This preserves the evidence-copy policy used by the regression
suite and is intentionally different from Graph COUNT.
This repository uses a split noncommercial licence. See LICENSING.md, LICENSE-CODE.txt, and LICENSE-DOCUMENTATION.txt before reuse.