Tracking for @kleddamag 's new announced proof https://github.com/Kleddamag/the-seventeenth-square-candidate
Activity
resources: the k17 packet README no longer says nothing here has read…
merge: main at e96e9ea (#558, the AI-assistance answers, and #507) in…
Merge #560 and #571 (T-153 registration, Overbeck credits) into codex…
records: round-3 n = 17 lane dispositions (think-i512)
specs: apply the owner's decisions of 2026-10-13 (think-z21j)
merge: main at ea227e6 (#576, the documentation reorganization) into …
docs: price n = 17's capture recomputation as 1,273 CPU-hours for C3 …
requests: #557's ask names the 13 October hold and the beads that hol…
records: carry the second n = 17 review into T-153, n-017 and the #557 …
records: carry the second n = 17 review into T-153, n-017 and the #557 …
register: the n = 17 reviews' code, its coverage, and the reviews on …
merge: main at aeef99e (T-153, T-154, T-155; #558, #576, #579, #580, #…
resources: retain Overbeck's candidate s(17) = L edition by digest, w…
2 remaining items
merge: lane K3's receipts for jlevy#557 (receipts-here/) at 3a6d046
merge: lane K1's final packet head for jlevy#557 at be24924
register: jlevy#557, Overbeck's candidate proof that s(17) = L, as T-…
merge: main at 562fdbd (jlevy#556, the per-entry reply rule) into the j…
resource-usage: roll up the jlevy#557 records lane to 18:34Z
Merge pull request #626 from jlevy/claude/ecstatic-edison-8en33t-repl…
records: the four issues' requests; the replies after #718 and #643's…
requests: the replies after #722 (#719, #686, #715, #678, #670)
feat(intake): the owner's hold on an issue, a close GitHub already sh…
fix(intake): a hold for the owner states its basis and beads; intake_…
records: stage 7 replies and closes of 23 October
devtools(check_requests): --pending lists held and closed-only tracke…
fix(review A6 of #869): the owner-decision clause reads its passive f…