saymrwulf/proof-aware-crypto-tooling-agent
1
0
Fork 0
mirror of https://github.com/saymrwulf/proof-aware-crypto-tooling-agent.git synced 2026-09-03 19:53:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Compare commits

base: saymrwulf:993cfb85d4b62f8dbe961318bc56249e232bfee7
Branches Tags
saymrwulf:main
saymrwulf:fix/consistency-terminal-check
saymrwulf:vulnerable/sn0-consistency-fd2f6ba
...
compare: saymrwulf:840e3fba2c3a7333ff7b010e84a247f319d9dc27
Branches Tags
saymrwulf:main
saymrwulf:fix/consistency-terminal-check
saymrwulf:vulnerable/sn0-consistency-fd2f6ba

3 commits
993cfb85d4 ... 840e3fba2c

Author SHA1 Message Date
mrwulf
840e3fba2c paper folder: signpost which file is current (operator decision 2026-08-08: keep drafts + note) 
paper/README.md tells a visitor that ltl.pdf is the submitted version
frozen during review, that v0.1/v0.2 are superseded history, and that
v0.3-v0.9 live in git history. Also corrects the stale web.py comment
that labeled the live pdf 'v0.3 reinvention' (it is the v0.9 submitted
version). No served bytes change; the comment fix reaches the droplet
with the next routine app update.
 2026-08-08 18:44:13 +02:00
mrwulf
be282ab724 paper: remove the explainer — operator-private material, relocated 
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-08-07 23:48:44 +02:00
mrwulf
6c587b572b paper: plain-language explainer for paper 1 and the upcoming paper 2 
For newcomers with no Lean and little crypto: the notary-ledger reading of
the log paper, the honest-or-caught guarantee in words, the frozen-snapshot
note, the two-acts framing of paper 2 — and a straight answer to "which
buttons?", since the jargon trips exactly the reader this page is for.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-08-07 23:45:20 +02:00
2 changed files with 17 additions and 1 deletions
Show stats Expand all files Collapse all files

16
paper/README.md Normal file
View file

@ -0,0 +1,16 @@
# Which file is current?
**`ltl.pdf` / `ltl.tex` — the current paper.** This is the version
submitted to the journal on 2026-07-17 and now frozen during review; the
live copy served at <https://ltl.zkdefi.org/paper> is byte-identical.
The other files are kept as honest history, not as reading material:
| File | What it is |
|---|---|
| `ltl-v0.1.pdf` / `.tex` | early 4-page draft (July 2026), superseded |
| `ltl-v0.2.pdf` / `.tex` | 19-page system-report draft, superseded by a full rewrite |
Revisions v0.3–v0.9 were successive overwrites of `ltl.tex`; they live in
this repository's git history. v0.9 is the submitted version — the
current `ltl.pdf` above.

2
provider/src/pacta_provider/web.py
View file

@ -235,7 +235,7 @@ def serve(
docs_html = render_docs(log, base_path)
paper_dir = Path(__file__).resolve().parents[3] / "paper"
variants = {
"current": paper_dir / "ltl.pdf", # v0.3 reinvention, the live one
"current": paper_dir / "ltl.pdf", # v0.9 submitted version, under review
"v0.1": paper_dir / "ltl-v0.1.pdf", # prior 4-page version
"v0.2": paper_dir / "ltl-v0.2.pdf", # prior 19-page system report
}