Repository navigation
v0.4.1 — the known-best ascent
The known-best ascent, cut as video: one new unit square at a time, from n = 1 up, with
every bound the stage shows named and sourced.
Both files are drawn from the same page, 575ccc8e, and stamped v0.4.1-b7690c in the
corner — this version, then the first six characters of the data revision the drawing was
made from. The stamp names the evidence; the tag names the release.
| Asset | Range | Frames | Length | Size | Profile |
|---|---|---|---|---|---|
ascent-n1-100-1080p60-citations.mp4 |
n = 1..100 | 8,401 | 140.02 s | 38.0 MB | social |
ascent-n1-324-1080p60-citations.mp4 |
n = 1..324 | 29,639 | 493.98 s | 206.1 MB | archive |
Both are H.264 High profile at level 4.0, yuv420p, 1920 × 1080 at 60 fps, silent, with the
moov atom at the front so they start without downloading whole.
What the stage says. Under PROVEN, each bound is printed to six decimals — an upper
bound rounded away from zero and a lower bound truncated, so a printed bound is never
stronger than the record. Under CITATION, each bound names its source, the frontier case
record it is held in, and, in one grey aside, everything this project has to say about it:
(reported) where the register carries a construction without certifying it,
(confirmed T-009) where a result of ours checks someone else's bound, and
(reported; confirmed T-009) where both are true, which in the whole corpus is n = 29
alone.
Provenance travels with each video. The .receipt.json beside it records the range,
the frame count, the measured conformance of the encoded file, the video's own SHA-256, the
digest of the page it was drawn from, the digest of the citation data, and the clock it was
cut on — the beat, and the factor the grid fills play at.
Smoothness, measured rather than claimed. Every presentation-time gap in both files is
within 0.7 microseconds of one sixtieth of a second. Frames that repeat the one before them
while the picture is moving: 11 of 8,401 in the excerpt and 39 of 29,639 in the full
ascent, 0.13% of each. Ten of the eleven are one cause — the beat between an arriving
square settling and the facts column trading its text — which is tracked and not yet
closed.
Verify a download against its receipt with shasum -a 256, or against the tool that made
it: squares-workbench-check-delivery for conformance and
squares-workbench-check-cadence for the clock.