data/source-pdfs-v1

Hosted data named by packing/hosted/source-pdfs.yaml: 13 objects, 189.7 MiB. Fetch with python -m devtools.hosted_data fetch --manifest hosted/source-pdfs.yaml from packing/. Data, not a version of the project.

Finite rational refinement evidence custody 425/428 v1

Complete evidence custody for the active #425 n105/n292 rational witnesses and #428 n68. Retains pinned raw source, original and relocated frozen runtimes, unchanged reviewed runner/adapter, accepted scoped reviews, all ten #425 actual replay jobs, and all three #428 complete source-geometry jobs. The archive contains103 byte-bound regular files; files.json lists their original sizes and SHA-256 digests.

Archive:1,689,220 bytes; SHA-2562784fde12d1ea2c7067cbe9c739cdbe9f8dfcd5ae2aecf29968ad25d6a2301ec. Inner file manifest SHA-2569a1376581528cfb8986249da34f7acfbf8d4fc64504977b6fdb4f6fefc8b35d0.

This prerelease preserves scientific evidence. Publication assigns no assurance rung and claims no lower bound, global optimality, rigidity or analytic root result. Original preparation backup is unchanged.

n17 X-048 session-168 certificate dumps

The 92 gzipped certificate objects (112,285,110 bytes) behind the n17 sub-pattern exclusions certified in X-048 session 168: the interval branch-and-bound certificate of A and the kernel certificates of W7, SW9 (flag 3) and residue state N1, which the standing verifiers re-check. They are hosted outside Git under OR-18 and named, each with its repository path, size and SHA-256, by the manifest packing/hosted/n17-x048-session-168-certificates.yaml, added in #347; fetch them with python -m devtools.hosted_data fetch --manifest hosted/n17-x048-session-168-certificates.yaml, run from packing/. Data, not a version of the project.

v0.4.2

Merge pull request #239 from jlevy/claude/edition-v0.4.2

Cut v0.4.2: star recent results with case-by-case credit, and state the current n = 11 and n = 17 bounds

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.