Commit 03dcd0e
docs(paper): revise per Codex+Grok review; pdfLaTeX; F1/F0.5 charts
Convert to pdfLaTeX + CJKutf8 (builds under the Overleaf/arXiv default engine; 微信
renders). Restore the constant-F1 iso-contour curves on the P/R plot and add the
F1/F0.5 grouped-bar figure (matching the 3-panel comparison chart).
Apply the triangulated Codex/Grok review fixes:
- scope "false-positive-zero guarantee" -> "live-row re-read exclusion invariant";
reserve precision/FP for measured results
- add the end-to-end-recall column; footnote the fqlite 0D TP=20 vs 19-substrate
projection artifact
- correct WAL salt behaviour (changed on WAL reset after checkpoint, not per txn)
- qualify secure_delete (ordinary b-tree tables; FTS shadow-table exception) and
split auto_vacuum FULL vs INCREMENTAL
- relabel rollback-journal folding as journal-based (not WAL-based)
- add WITHOUT ROWID scope caveat; cite the implementation/corpus catalogue for
reproducibility and per-asset provenance
- de-overstate ("in this harness"); trim the WeChat case; reduce AI-tells
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>1 parent c57405b commit 03dcd0e
4 files changed
Lines changed: 342 additions & 270 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
8 | | - | |
| 8 | + | |
9 | 9 | | |
10 | | - | |
11 | | - | |
| 10 | + | |
| 11 | + | |
12 | 12 | | |
13 | 13 | | |
14 | 14 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
139 | 139 | | |
140 | 140 | | |
141 | 141 | | |
| 142 | + | |
| 143 | + | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
Binary file not shown.
0 commit comments