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-04 20:03:40 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Compare commits

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

No commits in common. "840e3fba2c3a7333ff7b010e84a247f319d9dc27" and "993cfb85d4b62f8dbe961318bc56249e232bfee7" have entirely different histories.
840e3fba2c ... 993cfb85d4

2 changed files with 1 additions and 17 deletions
Show stats Expand all files Collapse all files

16
paper/README.md
View file

@ -1,16 +0,0 @@
# 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.9 submitted version, under review
"current": paper_dir / "ltl.pdf", # v0.3 reinvention, the live one
"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
}