docs(sparse-poly): Phase-7 manual chapter and READMEs - #9485
Merged
Conversation
kim-em
force-pushed
the
sparse-poly-polish
branch
from
August 23, 2026 13:28
ea1573f to
cfb7e1a
Compare
kim-em
force-pushed
the
sparse-poly-docs
branch
from
August 23, 2026 13:28
ef35438 to
141f56f
Compare
kim-em
force-pushed
the
sparse-poly-polish
branch
from
August 23, 2026 13:55
cfb7e1a to
e0f9b91
Compare
kim-em
force-pushed
the
sparse-poly-docs
branch
from
August 23, 2026 13:55
141f56f to
4b4e368
Compare
kim-em
force-pushed
the
sparse-poly-polish
branch
from
August 23, 2026 14:19
e0f9b91 to
58a420a
Compare
kim-em
force-pushed
the
sparse-poly-docs
branch
from
August 23, 2026 14:19
4b4e368 to
bff2b5d
Compare
kim-em
force-pushed
the
sparse-poly-polish
branch
from
August 23, 2026 15:11
58a420a to
cccf485
Compare
kim-em
force-pushed
the
sparse-poly-docs
branch
from
August 23, 2026 15:11
bff2b5d to
c06b9b3
Compare
kim-em
force-pushed
the
sparse-poly-polish
branch
from
August 23, 2026 15:56
cccf485 to
f688419
Compare
kim-em
force-pushed
the
sparse-poly-docs
branch
from
August 23, 2026 15:56
c06b9b3 to
a9852f4
Compare
kim-em
force-pushed
the
sparse-poly-polish
branch
from
August 23, 2026 16:24
f688419 to
8573df7
Compare
kim-em
force-pushed
the
sparse-poly-docs
branch
from
August 23, 2026 16:24
a9852f4 to
7d64933
Compare
kim-em
force-pushed
the
sparse-poly-polish
branch
from
August 23, 2026 16:50
8573df7 to
7b52fb2
Compare
kim-em
force-pushed
the
sparse-poly-docs
branch
from
August 23, 2026 16:50
7d64933 to
734f665
Compare
kim-em
force-pushed
the
sparse-poly-polish
branch
from
August 23, 2026 17:28
7b52fb2 to
e84bcd8
Compare
kim-em
force-pushed
the
sparse-poly-docs
branch
from
August 23, 2026 17:28
734f665 to
089864d
Compare
The Verso reference chapter with its Mathlib-correspondence section, both released-repo READMEs with build-checked quickstarts, and done_through: 7 for core and companion. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_014CvkL7tZHMnLN53fXCAjiq
kim-em
force-pushed
the
sparse-poly-docs
branch
from
August 23, 2026 17:52
089864d to
65ddcfb
Compare
kim-em
enabled auto-merge (squash)
August 23, 2026 17:52
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.
This PR complete Phase 7 for both sparse-poly libraries: the Verso reference chapter (representation, arithmetic with the measured multiplication selection, conversions with the recorded crossovers, evaluation and substitution, the Euclidean layer) with the required
# The Mathlib correspondencesection documenting the companion inside the parent chapter, wired into the manual's draft-sections list; and the two released-repo READMEs per SPEC/readme.md with build-checked quickstart snippets.done_through: 7for both libraries;check_phase7.pypasses andlake build HexManualis green.🤖 Prepared with Claude Code