v1.0.0

Overview

First public, stable release of LDTC—a single‑machine verification harness implementing the Loop‑Dominance (NC1/SC1) pipeline from the paper. It provides estimators, guardrails/attestation, Ω perturbations, reporting, and a CLI to reproduce runs and figures.

Highlights

• NC1/SC1 pipeline
  • Dual-path predictive dependence: VAR‑Granger + Kraskov k‑NN MI
  • Loop/exchange metrics: M ≡ 10·log10(Lloop/Lexchange), ε, τmax, σ
  • Deterministic C/Ex partition with greedy Δ𝓛 growth and hysteresis
• Guardrails & attestation
  • LREG register block for point estimates + CIs
  • Hardware‑governed Δt changes with audit chain
  • Smell‑tests and run‑invalidation rules
• Ω perturbations and controls
  • Power sag, ingress flood, command conflict, exogenous subsidy
  • Negative‑control profiles for standardized failure cases
• CLI entrypoints
  • Baseline run (NC1), Ω demos, calibration (R* thresholds), keygen, indicator verification
• Reporting & figures
  • Timeline and tables under artifacts/
  • Paper build and an arXiv upload bundle (main.tex, macros.tex, refs.bib, used figures)
• Paper updates
  • Consistent link styling/metadata, inline equation in §5.1, “Threat Model & Refusal Path” promoted to §6.3, thresholds note consolidated into §7.6 paragraph, “Code availability” with tag v1.0.0
• References
  • DOIs/ISBNs verified; Merkle 1988 DOI added; Varela 1979 ISBN corrected

What’s included

• Code: src/ldtc/ (estimators, partition, guardrails, Ω, runtime, reporting)
• CLI: ldtc (src/ldtc/cli/main.py)
• Configs: configs/ (R₀ defaults, negative controls, example R*)
• Paper: paper/ (LaTeX sources; arXiv bundling target)
• Tests: tests/ (unit tests for key modules)
• Docs/notes: docs/, README.md, CONTRIBUTING.md

Installation

make install        # runtime deps (editable)
make dev            # dev tools (pytest, ruff, black, mypy)

Quick start

make run            # baseline NC1
make omega-power-sag
make omega-ingress
make omega-cc
make omega-subsidy
make figures        # generate artifacts/figures + manifest
make paper          # build LaTeX + arXiv bundle (artifacts/arxiv_upload.zip)

Calibration and verification

make calibrate              # produce R* thresholds
make run-rstar              # run with R*
python scripts/verify_indicators.py \
  --ind-dir artifacts/indicators \
  --audit artifacts/audits/audit.jsonl \
  --pub artifacts/keys/ed25519_pub.pem

Compatibility

• Python ≥ 3.9
• Platforms: Linux/macOS tested
• Key deps: numpy, scikit‑learn, statsmodels, matplotlib, graphviz

Known limitations

• Estimator stationarity depends on Δt governance; rapid Δt edits invalidate runs.
• C/Ex partition can flap without sufficient hysteresis; freeze during Ω windows.
• This release focuses on single‑machine verification; hardware co‑processing is mocked where needed.

Cite this release

• Code availability: https://github.com/ldtc-labs/ldtc (tag v1.0.0)
• DOI: to be added after Zenodo minting (use the versioned DOI for this release; concept DOI for badges).

BibTeX (update doi after minting):

@software{ldtc_v1_0_0,
  author  = {Carey, Owen},
  title   = {LDTC: Loop-Dominance (NC1/SC1) verification harness},
  year    = {2025},
  version = {v1.0.0},
  url     = {https://github.com/ldtc-labs/ldtc},
  doi     = {10.5281/zenodo.TBD}
}