site/wp003: deploy finalization v2 — Technical Snapshot opener + corrections#211
Merged
Merged
Conversation
…ections Replaces the WP003 PDF and bumps metadata after publications/main #24 and papers/main #65. WP003 ships its finalization v2 polish: - New "TauLib in One Page" opener (Technical Snapshot + Trust Budget at a Glance with all 3 axiom names visible upfront + Boundary Rule + 15-minute reviewer route) - Cover label corrected: "Anchor canon technical overview" - Reading time: dual fast-route (10-15 min) / full-route (70-100 min) framing - Broken generated-docs URL taulib.panta-rhei.site -> taulib.site All TauLib release metrics in the document already matched the canonical site/_data/release/current.yml ledger (cross-checked all 17 taulib.* metrics). ## Refreshed identity (WP003) sha256 prefix: f63cf77af043 -> db01b46b129c bytes: 294,691 -> 303,923 pages: 37 -> 39 (+2 for opener) Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Companion deploy for publications/main #24 (refresh) and papers/main #65 (source). WP003 ships its finalization v2 polish per atlas/papers/briefings/wp_003_taulib_finalization_validation_briefing.md.
What ships
TauLib in One Pageopener (Technical Snapshot + Trust Budget at a Glance with all 3 axiom names visible + Boundary Rule + 15-minute reviewer route)ANCHOR CANON TECHNICAL OVERVIEWFast route 10–15 min, full route 70–100 mintaulib.panta-rhei.site→taulib.siteValidation: all metrics already match canonical ledger
Cross-checked all 17
taulib.*metrics againstsite/_data/release/current.yml. Every WP003 number already correct — Lean v4.28.0-rc1, Mathlib 85028a6, TauLib cb5e830, 512 modules, 142,406 lines, 4,863 theorem/lemma records, 3 custom axioms (bridge_functor_exists, spectral_correspondence_O3, grand_grh_adelic), 0 sorry.Refresh identity
sha256:
f63cf77af043→db01b46b129c· bytes 294,691 → 303,923 · pages 37 → 39🤖 Generated with Claude Code