Repository navigation
Parity ledger: CE0, OP0.1, the registry, U2's evidence record and F0/F1 status - #587
Merged
Merged
Conversation
…F1 status Re-verifies five rows and step 1 of the critical path at 9967dfd, after #560, #568, #576, #577 and #578 merged and F0 and F1 opened as #585 and #586: - covered earnings: CE v2's design note merged in #568; CE1 is in review (#583); - births: OP0.1's audit merged (#567); OP1 is in review (#566); - alignment: OP6 aligns births and emigration, and deaths come from the mortality lane's SM (open-population design §6.4, revision 14, #576); - poverty: #577 committed U2's pre-registration evidence record, and a fresh forecast was frozen and independently checked (step 7); posting the #42 registration is next; - national costs: F0 is in review as #585 and F1 as #586, after #578's design erratum; - critical path step 1: the holdout registry merged in #560, and B0.2's plan moved to #584. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
…dapter; P2 merged Review r1 (20261025-023327-ledger-587-review-r1) asked for two medium fixes: - Poverty: say that step 7's forecast was frozen and checked in the lane's evidence folder outside the repository, which the registration cites by SHA-256 with its headline and interval, rather than imply a repository record. - Alignment: OP6 leaves death draws to the adapter the mortality lane chooses (the baseline's, or SM once admitted); SM is designed to preserve expected deaths within each age, sex and year cell up to a logged clipping residual (open-population design 6.4; mortality design 6). Also merges master 9a344a1 and records that P2 merged in #561 (critical path, step 2), re-verified at 9a344a1. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…erged in forward earnings Review r2 (20261025-041855-ledger-587-review-r2) asked for two medium fixes: - Poverty: drop the clause on what the registration will cite; the repository can't support a claim about a comment not yet posted. - Forward earnings: P2 (#561) is merged, not a draft in review; registering either S1 or P2 as attempt 2 comes to the maintainer separately. The header now names both P2 entries re-verified at 9a344a1. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
MaxGhenis
marked this pull request as ready for review
October 25, 2026 08:53
Contributor
Author
|
Merged at
Merges after |
MaxGhenis
added a commit
that referenced
this pull request
Oct 25, 2026
Master brings #587 (ledger delta), #575 (D1a) and #570 (SM1). None of them changes the registry module, its tests or its mutation specs, and the registry module imports only the standard library and yaml. The tier conflict resolves to master's counts plus this branch's nine unit tests: unit 18,549 + 9 = 18,558, total 25,128. The README tier table now matches the tier file. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This was referenced Oct 25, 2026
Held-out data registry: round 7's follow-ups (unset event path, record ids, zero push boundary)
#580
Merged
This branch was successfully deployed
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
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 updates
docs/parity-ledger.mdfor what merged after its last check atf8ffc7d9(#569). It re-verifies five rows and step 1 of the critical path at9967dfd6(master after #577), and step 2's successor entry at9a344a1a(master after #561). It changes no code, gate, run or progress data, sodocs/progress.mdand the scorecard are untouched.Verified at
9967dfd6docs/design/covered_earnings_v2.md, which says nothing in it has run). That replaces the clause calling the retired correction design a draft. CE1's coverage-rule registry is in review (#583).docs/design/u2_preregistration_evidence.json). Step 7's fresh forecast was frozen and independently checked in the lane's evidence folder, outside the repository, so it can't be checked here yet. The next step is the Candidate 2 design: latent-permanent conditioned chained QRF (research memo) #42 registration, which is Max's, and then the one-shot.9a344a1a). P2, the successor's reserve, merged in #561. The forward-earnings row and critical-path step 2 say so; neither S1 nor P2 has registered.Seven link definitions are added (#576, #577, #578, #583, #584, #585, #586). Every reference resolves, and no definition is unused.
Not covered here
Merges after
9a344a1a(for example D1a, SSI0 and SM1, once they land) get their own ledger update. The branch merges master9a344a1a.Review
Review r1 (
20261025-023327-ledger-587-review-r1) asked for two medium fixes, both applied ina7564e4a: the poverty row now says where step 7's record lives, and the alignment row names the death adapter and the cell-level conservation. Review r2 (20261025-041855-ledger-587-review-r2) found round 1's alignment fix good and asked for two more medium fixes, applied in the next commit: the poverty row no longer describes the unposted registration's content, and the forward-earnings row no longer calls P2 a draft. A delta review at the new head follows.🤖 Generated with Claude Code