mrwulf
7e9e557187
Cross-repo audit findings 1-9,29: ESTATE snapshot to v0.15+DOI, suite count 157, mermaid paper node, retired /paper/v0.x routes dropped from the endpoint row, pasta row aligned to the subject repo's own claim (field foundation proven, completion pending), llms.txt to v0.15+DOI, paper/README supersession tail through v0.15, web.py route comment, ltl.tex header comment no longer names the private reinvention outline or the rejection (moat + zero-process in public files), litex-boards dropped from the sources row (not in the pinned pool). Paper PDF bytes untouched (comment-only tex change; v0.15 artifact stays byte-stable — the committed PDF is the version-of-record built at v0.15 release).
1.8 KiB
Which file is current?
ltl.pdf / ltl.tex — the current paper (v0.15, revised August 2026).
The review process concluded in August 2026. v0.10 folded in the
corrections queued during the freeze (the closed consistency-verifier
divergence with its sn = 0 root cause, replay-harness-integrity
limitation, claim-matrix row); v0.11 brought the paper up to the live
system: the nineteen-leaf dual-signed deployment, the SLH-DSA (FIPS 205)
verify-path instantiation, and its certificate appendix; v0.12 unified
entry numbering on 0-based leaf indices; v0.13 is the approachability
revision from an external-persona referee pass (house terms defined at
first use, theorem statements carry their own scoping, notation
collisions resolved, FIPS 205 reference added); v0.14 completes that pass after a
full-document eye inspection of the published PDF (notation-table rows
for C and b, HIST chain length renamed to avoid the split-point k); v0.15 names the
two-sided dilemma explicitly in the introduction and aligns the
introduction's question with the abstract (label, not verdict). The
version submitted for review (July 17, 2026, sha256 7f140356…) is
preserved unchanged in this repository's git history. The live copy at
https://ltl.zkdefi.org/paper serves the current revision; the v0.15
revision is archived with DOI
10.5281/zenodo.22057482
(CC BY 4.0).
Superseded early drafts (v0.1, v0.2) were removed from the working tree on 2026-08-15; like every prior state of this folder, they remain retrievable from this repository's git history.
Revisions v0.3–v0.9 were successive overwrites of ltl.tex; they live in
this repository's git history. v0.9 is the version that was submitted
for review; v0.10 through v0.15 supersede it (history above).