---
slug: the-seat-that-vanished-at-300
passed: 2026-10-11
by: claude-vibrant-lamport-79znpp, two independent Claude checkers on oversight/claims-pass.md (source first, every claim the page makes), an adjudicator who re-read each finding at its source and a skeptic who tried to make the page right; every HIGH and every lone WRONG re-read by the instance at the source before fixing; fixes made by a fixer agent and read against the sources by a separate fix-checker
checked: 47
confirmed: 40
wrong: 4
unverifiable: 0
observed: 3
stale: 0
---
# Claims pass: The Seat That Vanished at Three Hundred

Reader-side check, run from an empty directory by both checkers and the adjudicator with the same result: the two-file recipe the placard links on /checks/ (`curl -L --create-dirs` of the verifier from https://artwaste.land/checks/research/the-seat-that-vanished-at-300/ and of the page from https://artwaste.land/strata/the-seat-that-vanished-at-300/, both 200, 8,581 B and 50,249 B; the verifier byte-identical to the repository's, the page identical apart from the analytics line the server injects), then `node research/the-seat-that-vanished-at-300/verify-the-seat-that-vanished-at-300.mjs` (node v22.22.0): exit 0. That run was before the fixes; the fix agents' runs of the same verifier from the repository after the edits also exit 0. It prints no tally; it ends "All apportionment checks passed.", and every figure it prints matches the page and an exact BigInt recomputation. The self-reading probe does not apply: the page does not print the verifier's output, since its check cards are filled by its own script from its own arrays. Run anyway on scratch copies, only Virginia's 21 and 19 in the counterfactual note's sentences about the two bills turned the run red. The dek's eight seats, the 22, the 38 states, "Illinois and Texas" and the same 21 and 19 in the check card and the Sources list stayed green, and with the page's own Alabama figure altered the page showed Alabama at 8 seats at both 299 and 300 while the verifier still exited 0.

Every claim about the history, the sources and the theorems held at its primary source, among them Seaton's account of 8 seats at 299 and 7 at 300, the 38 state figures summing to Table I a's 49,371,340, the 15 apportionment populations totalling 3,615,920, both National Archives allocations (reproduced seat for seat by Hamilton at 120 and divisor 33,000) and Balinski and Young's Theorems 4.3 and 6.1. Two slips in Young's paper, a prose quota of 20.986 and a divisor bound of 28,356, are not repeated on the page. The pass found no WRONG claim and four MINOR ones, counted here as wrong: the check section overstated what the verifier tests (F1), the folio said every allocation was recomputed though the vetoed bill's is cited (F3), and the research README described Young's January 2004 symposium paper as a 1999 encyclopedia entry (F4, not reader-visible). Those three are fixed. The fix-check found that the first F1 rewrite still claimed more than the verifier reads; the repaired wording was confirmed by a recheck with probes. F2, the generated placard sentence about changing a printed figure, is true as measured but reads wider than what was measured; it is held by board note 8d17ac, because the fix belongs in scripts/check-placard.mjs. Nothing was declined. The verifier was not edited and passed before and after the fixes; with no WRONG claim, no dated line was added.

## Claims
- CONFIRMED | Alabama receives eight seats at 299 and seven at 300 | https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf (Young sec. 5, quoting Seaton) + public/strata/the-seat-that-vanished-at-300/index.html:585-596 (DATA_1880), recreated: node adjudicator/scripts/exact.mjs (exact BigInt Hamilton) | "While making these calculations I met with the so-called 'Alabama' paradox where Alabama was allotted 8 Representatives out of a total of 299, receiving but 7 when the total became 300." / exact.mjs: "H299 left 20n AL 8n rank 20 / H300 left 18n AL 7n rank 19"; Seaton's own published account; an exact-integer recomputation from the census figures reproduces it.
- CONFIRMED | The Alabama Paradox: When a Bigger House Loses a Seat | https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf sec. 5 | "ALABAMA PARADOX. An apportionment method suffers from the Alabama paradox if there is a situation in which the total number of seats increases, all populations remain fixed, and a state's allotment decreases."
- CONFIRMED | recompute Hamilton's method from the 1880 census (the 38 state figures in DATA_1880) | https://www2.census.gov/library/publications/decennial/1880/vol-01-population/1880_v1-07.pdf (Table I a) and https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/legislation-1840-1880/1880-results-notes.pdf | Table I a, Total column, Alabama through Wisconsin (38 states); male+female checks, e.g. Alabama 622,629 + 639,876 = 1,262,505; Census apportionment table: "Texas 1,591,749", "Virginia 1,512,565"; The scan's typeface blurs 0, 6 and 9. Checkers read the figures off page images; every figure is consistent with the page's array, the array sums exactly to the printed state total, and it reproduces Seaton's 299/300 result.
- CONFIRMED | 1880 state total 49,371,340 / The state figures sum live to the published state total. | https://www2.census.gov/library/publications/decennial/1880/vol-01-population/1880_v1-07.pdf (Table I a); public/strata/the-seat-that-vanished-at-300/index.html:585-596 (DATA_1880), recreated: exact.mjs | "The States ............... 49, 371, 340" (The United States 50,155,783); exact.mjs: "1880 total 49371340n n 38"
- CONFIRMED | The table runs the largest-remainder calculation over all 38 states each time. | https://www2.census.gov/library/publications/decennial/1880/vol-01-population/1880_v1-07.pdf Table I a; public/strata/the-seat-that-vanished-at-300/index.html (page script and DATA_1880), recreated: adjudicator/scripts/runpage.mjs (page script under a DOM stub) | Table I a lists 38 states under "The States", before the territories; runpage: "dataset-note: 1880 · 38 states · population 49,371,340"
- CONFIRMED | The 1880 figures are the Census Office's aggregate populations of the 38 states. | https://www2.census.gov/library/publications/decennial/1880/vol-01-population/1880_v1-07.pdf | "TABLE I a.-THE UNITED STATES, IN THE AGGREGATE, AND BY SEX, NATIVITY, AND RACE." (Total column)
- CONFIRMED | U.S. Census Office, Statistics of the Population of the United States at the Tenth Census, Table I, 1883. | https://www.census.gov/library/publications/1883/dec/vol-01-population.html | "Statistics of the Population of the United States January 1883 ... Table I. Population of the United States by States and Territories"
- CONFIRMED | Hamilton begins with each state's lower quota, subject to the constitutional minimum of one seat. Whatever seats remain go to the largest fractional remainders. | https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf sec. 3; https://www.archives.gov/founding-docs/constitution-transcript | "HAMILTON'S METHOD. First give to each state the integer part of its quota, but not less than one seat. If any seats remain to be apportioned, give one each to the states with the highest fractional remainders." / Art. I s.2: "each State shall have at Least one Representative"
- CONFIRMED | This sounds gentle because every state stays inside quota. / Hamilton satisfies quota. | https://pure.iiasa.ac.at/id/eprint/1338/1/WP-80-131.pdf sec. 7; public/strata/the-seat-that-vanished-at-300/index.html:585-596 (DATA_1880) and research/the-seat-that-vanished-at-300/verify-the-seat-that-vanished-at-300.mjs:158-167 (quota loop), recreated: exact.mjs and verifier quota loop | "Up to this point the only methods discussed that stay within the quota are Hamilton-like and violate both population monotonicity and house monotonicity."
- CONFIRMED | Illinois and Texas gain the new seats while Alabama loses its remainder seat. Nothing about Alabama's population changed. | public/strata/the-seat-that-vanished-at-300/index.html:585-596 (DATA_1880), recreated: node adjudicator/scripts/exact.mjs | "changes Alabama:8:7 Illinois:18:19 Texas:9:10" (no other state changes)
- CONFIRMED | At 299, Alabama's fraction is barely on the winning side of the live cutoff. At 300, faster-moving remainders pass it. / At 299, Alabama holds the final remainder seat. | public/strata/the-seat-that-vanished-at-300/index.html:585-596 (DATA_1880) and research/the-seat-that-vanished-at-300/verify-the-seat-that-vanished-at-300.mjs, recreated: exact.mjs; verifier output | "H299 left 20n AL 8n rank 20" (20th of 20 remainder seats); verifier: "Hamilton 299: Alabama 8 quota 7.645913 remainder rank 20 cutoff 0.645913" / "Hamilton 300: ... remainder rank 19 cutoff 0.672103"; Alabama's remainder 0.645913 beats the next (Illinois, 0.640033) by about 0.006.
- CONFIRMED | Check cards: "1880 state total 49,371,340. Quotas 7.646 and 7.671" / "Counterfactual Jefferson at 120: Virginia 22 seats" / "Upper quota 21, so the excess is 1 seat" | public/strata/the-seat-that-vanished-at-300/index.html (page script, DATA_1880 and DATA_1790), recreated: runpage.mjs and exact.mjs | runpage: "Alabama: 8 at 299 → 7 at 300", "1880 state total 49,371,340. Quotas 7.646 and 7.671", "Counterfactual Jefferson at 120: Virginia 22 seats", "Upper quota 21, so the excess is 1 seat"; exact: "AL q299 7.645913499613338 q300 7.671485116668902"
- CONFIRMED | House monotonicity says that increasing the total number of seats must never reduce any state's allotment. The 299 to 300 result is a direct counterexample for Hamilton's method. This property is not the same as population monotonicity | https://pure.iiasa.ac.at/id/eprint/1338/1/WP-80-131.pdf sec. 7; https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf sec. 5 | "House monotonicity is a weaker property, implied by population monotonicity but not implying it." / Young's ALABAMA PARADOX definition (above); exact.mjs finds other Hamilton house-monotonicity failures in 275-350 too (Florida 286->287, Georgia 306->307, Maine 339->340); the page claims only the 299->300 one.
- CONFIRMED | A divisor method cannot produce the Alabama paradox: lowering a common divisor as the House grows can add seats, but it does not take them away. | https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf sec. 5; https://pure.iiasa.ac.at/id/eprint/1338/1/WP-80-131.pdf Corollary 4.3.1 | "this paradox cannot occur under Webster's or Jefferson's methods, nor indeed under any method that employs a common divisor ... Since this lower common divisor is applied to all of the states simultaneously, none of them can lose a seat in this process." / "Corollary 4.3.1 If a method is population monotone then it is house monotone."
- CONFIRMED | The second dataset is the 1790 apportionment population used in the first congressional dispute. It is not the resident population. | https://tile.loc.gov/storage-services/service/ll/usrep/usrep503/usrep503442/usrep503442.pdf (Dept. of Commerce v. Montana, 503 U.S. 442); https://prologue.blogs.archives.gov/2022/04/04/the-1790-census-and-the-first-veto/ | Montana: "When Congress first confronted the task of apportionment after the census of 1790 ... Dividing that number into the total population of 3,615,920 indicated that the House of Representatives should contain 120 members." NARA: "the census showed the aggregate population of the United States at 3,929,214." Census retrospective tables give a slightly different 1790 base (3,615,823 per the July codex review), but the page names the debate-era figures, which Young and the Supreme Court use.
- CONFIRMED | 15 apportionment populations (Virginia 630,560 ... Delaware 55,540), total 3,615,920 | https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf Table 1 (page images rendered and read); https://tile.loc.gov/storage-services/service/ll/usrep/usrep503/usrep503442/usrep503442.pdf (Montana opinion) | Young Table 1: "Virginia 630,560 ... South Carolina 206,236 ... New Hampshire 141,822 ... Delaware 55,540 Total 3,615,920"; Montana: "Connecticut's population of 236,841 ... Rhode Island, with a population of 68,446"; All 15 match. Hamilton at 120 and divisor 33,000 on these figures reproduce both National Archives lists seat for seat.
- CONFIRMED | Under the Constitution then in force, it counted free persons and three-fifths of enslaved people. | https://www.archives.gov/founding-docs/constitution-transcript; https://prologue.blogs.archives.gov/2022/04/04/the-1790-census-and-the-first-veto/ | "adding to the whole Number of free Persons, including those bound to Service for a Term of Years, and excluding Indians not taxed, three fifths of all other Persons" / NARA: "30,000 was the total of all non-enslaved persons in a state plus three-fifths of enslaved persons." The page leaves out the 'Indians not taxed' exclusion, which is immaterial here.
- CONFIRMED | In a counterfactual 120-seat House, Jefferson's rule repeatedly awards the next seat to the largest value of population ÷ (current seats + 1). Virginia reaches 22 seats even though its exact quota is below 21. Its permitted quota answers are 20 or 21. | https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf Tables 1 and 3 and sec. 3; public/strata/the-seat-that-vanished-at-300/index.html:598-604 (DATA_1790), recreated: exact.mjs | Young: "JEFFERSON'S METHOD. Choose a common divisor and divide it into each of the state populations to obtain quotients. Give each state the whole number in its quotient, but not less than one seat." Table 3 ("Jefferson's method applied to the 1791 populations and 120 seats"): Virginia 22; Table 1 quota 20.926. exact.mjs: "Jeff120 Virginia 22", "VA quota120 20.926126684218676"; divisor 28,500 also gives 120 seats with Virginia 22. Young's prose says the quota is "only 20.986!", contradicting his own Table 1 (20.926). The page's 'below 21' holds either way.
- CONFIRMED | divisor D with 28364.4 < D ≤ 28511.0 (live calc line at 120); Jefferson at 105: quota 18.310, permitted 18 or 19 | public/strata/the-seat-that-vanished-at-300/index.html:598-604 (DATA_1790), recreated: exact.mjs; https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf Table 3 footnote and sec. 3 | exact.mjs: "interval 28364.4 28511"; Young: "Any divisor between 28,356 and 28,511 apportions 120 seats by this method"; "105 seats with 19 seats for Virginia even though its quota of 105 seats was only 18.310." Young's 28,356 is a slip: New Hampshire's 141,822/5 = 28,364.4 forces the page's lower bound, so the page's figure is correct.
- CONFIRMED | The vetoed 120-seat bill used Hamilton and gave Virginia 21 seats. | https://prologue.blogs.archives.gov/2022/04/04/the-1790-census-and-the-first-veto/; https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf Table 1; https://tile.loc.gov/storage-services/service/ll/usrep/usrep503/usrep503442/usrep503442.pdf (Montana opinion); public/strata/the-seat-that-vanished-at-300/index.html:598-604 (DATA_1790), recreated: exact.mjs Hamilton 1790 at 120 | NARA: "The final version of the bill proposed an additional 55 members to the House, for a total of 120 ... Virginia, 21 ... on April 5, 1792, Washington exercised his—and the nation's—first veto". Young: "Table 1. First apportionment bill: Hamilton's method". Montana: "an additional Representative was assigned to the nine States whose quotas had the highest fractional remainders". Hamilton at 120 reproduces all 15 of NARA's counts. NARA does not itself name the method; Young and Montana do.
- CONFIRMED | The enacted Jefferson apportionment used 105 seats and gave Virginia 19. | https://prologue.blogs.archives.gov/2022/04/04/the-1790-census-and-the-first-veto/; https://www.census.gov/about/history/historical-censuses-and-surveys/census-programs-surveys/decennial-census/legislation-1790-1830.html; https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf sec. 3 | NARA: "Congress passed new legislation using the Jefferson Method of apportionment. The new bill put the size of the House of Representatives at 105 ... Virginia, 19". Census: "(April 14, 1792) ... one for every 33,000 residents; there were 105 seats in the House of Representatives. Apportioned seats among the states using the Jefferson method." Divisor 33,000 and highest-averages Jefferson at 105 both reproduce all 15 of NARA's enacted counts.
- CONFIRMED | Congress did not enact this Jefferson-at-120 allocation / Congress neither proposed nor enacted it. | https://prologue.blogs.archives.gov/2022/04/04/the-1790-census-and-the-first-veto/; https://www.census.gov/about/history/historical-censuses-and-surveys/census-programs-surveys/decennial-census/legislation-1790-1830.html; https://tile.loc.gov/storage-services/service/ll/usrep/usrep503/usrep503442/usrep503442.pdf (Montana opinion); https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf sec. 3 | NARA describes "a failed bill", the 120-seat bill (Virginia 21, vetoed) and the 105-seat act; Montana: "In response to that veto, Congress adopted a proposal sponsored by Thomas Jefferson ... the size of the House was reduced from 120 to 105 members"; A negative claim; no source shows a congressional Jefferson-at-120 bill. Not Congress, but context: a web search snippet of Jefferson's 4 April 1792 opinion to Washington reports a common ratio that "will distribute 119. of the 120 members, leaving only a single residuary one". Founders Online itself was unreachable (202, empty), so the adjudicator could not read it. Recomputed: ratio 28,658 gives 119 seats with Virginia 22. That was advice to the President, not a congressional proposal, so the page's sentence stands.
- CONFIRMED | Quota requires every state to receive either the floor or the ceiling of its exact proportional share ... Jefferson can exceed upper quota, as the live 1790 calculation shows. | https://pure.iiasa.ac.at/id/eprint/1338/1/WP-80-131.pdf secs. 6-7; public/strata/the-seat-that-vanished-at-300/index.html:598-604 (DATA_1790), recreated: exact.mjs | WP Corollary 6.1: "No population monotone method, i.e. no divisor method, stays within the quota for every problem." exact.mjs: Jefferson 120 gives Virginia 22 against quota 20.926
- CONFIRMED | Require population monotonicity: A state growing faster than another must not lose a seat to it. | https://pure.iiasa.ac.at/id/eprint/1338/1/WP-80-131.pdf sec. 4 (4.13); https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf sec. 8 | Young: "POPULATION PARADOX. A method exhibits the population paradox if a state that loses population gains a seat at the expense of a state that gains population."
- CONFIRMED | Hamilton keeps every state within its lower and upper quota, but it is not population-monotone. / Select a requirement. Each can be met alone. | https://pure.iiasa.ac.at/id/eprint/1338/1/WP-80-131.pdf Theorem 4.3 and sec. 7; https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf sec. 8 | "Theorem 4.3. A method is population monotone if and only if it is a divisor method." / "the only methods discussed that stay within the quota are Hamilton-like and violate both population monotonicity and house monotonicity" / Young: "Hamilton's method, even though it is unbiased, suffers from both the population paradox and the Alabama paradox."
- CONFIRMED | Balinski and Young proved that, in the standard deterministic framework with at least four states, no apportionment method satisfies quota and population monotonicity on every possible problem. | https://pure.iiasa.ac.at/id/eprint/1338/1/WP-80-131.pdf, Theorem 6.1 | "Theorem 6.1 There exists no partial method with s ≥ 4 and h ≥ s+3 that is population monotone and stays within the quota." The page omits h ≥ s+3; 'on every possible problem' covers it.
- CONFIRMED | In their characterization, the population-monotone methods are divisor methods, and every divisor method can violate quota. | https://pure.iiasa.ac.at/id/eprint/1338/1/WP-80-131.pdf Theorem 4.3 and Corollary 6.1 | "Theorem 4.3. A method is population monotone if and only if it is a divisor method." / "Corollary 6.1 No population monotone method, i.e. no divisor method, stays within the quota for every problem."
- CONFIRMED | Michel L. Balinski and H. Peyton Young, The Theory of Apportionment, IIASA WP-80-131, 1980 | https://pure.iiasa.ac.at/id/eprint/1338/ and its PDF https://pure.iiasa.ac.at/id/eprint/1338/1/WP-80-131.pdf | "Balinski, M.L. & Young, H.P. (1980). The Theory of Apportionment. IIASA Working Paper. IIASA, Laxenburg, Austria: WP-80-131"; title page "THE THEORY OF APPORTIONMENT M.L. Balinski H.P. Young September 1980 WP-80-131"
- CONFIRMED | Fair Representation: Meeting the Ideal of One Man, One Vote, 2nd ed., Brookings Institution Press, 2001 | https://www.brookings.edu/books/fair-representation/; https://openlibrary.org/isbn/9780815701118.json | "Fair Representation Meeting the Ideal of One Man, One Vote Michel L. Balinski and H. Peyton Young Release Date: March 1, 2001 ... The book—updated with data from the 1980 and 1990 Census counts"; Open Library lists it as the 2nd edition. Young (2004) cites the 2nd edition as both 2001 (references) and 2002 (text).
- CONFIRMED | U.S. Census Bureau, Methods of Apportionment, for the official descriptions of Hamilton and Jefferson. | https://www.census.gov/about/history/historical-censuses-and-surveys/census-programs-surveys/decennial-census/methods.html | "The Hamilton/Vinton Method sets the divisor as the proportion of the total population per house seat ... The Jefferson Method avoids the problem of an apportionment resulting in a surplus or a deficit of House seats by using a divisor that will result in the correct number of seats being apportioned."
- CONFIRMED | H. Peyton Young, Fairness in Apportionment, for Seaton's account, the early apportionment tables, the counterfactual Jefferson-at-120 calculation, and the historical development. | https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf | "Following the 1880 census, the chief clerk of the Census Office, C.W. Seaton, computed apportionments using Hamilton's method for all House sizes between 275 and 350 seats."; Table 1; "Table 3. Jefferson's method applied to the 1791 populations and 120 seats"; The 'counterfactual' label is the page's own; Young presents Table 3 as the result of Jefferson's proposal ('a special dividend from this proposal').
- CONFIRMED | National Archives, The 1790 Census and the First Veto, for the historical allocations | https://prologue.blogs.archives.gov/2022/04/04/the-1790-census-and-the-first-veto/ | Title "The 1790 Census and the First Veto"; it lists both allocations ("Virginia, 21" in the 120-seat bill; "Virginia, 19" in the 105-seat act)
- CONFIRMED | An exact numerical tie would be broken alphabetically here ... No tie affects either highlighted result or any setting on the sliders. | public/strata/the-seat-that-vanished-at-300/index.html:585-604 (DATA_1880, DATA_1790), recreated: node adjudicator/scripts/exact.mjs (and checkers' gaps.mjs / neartie.mjs) | "ham ties any false"; "jeff ties 105-125 0"; checkers: smallest float gap between remainders 9.317e-6, against a code tolerance of 1e-14
- CONFIRMED | Hamilton and Jefferson are deterministic allocation rules. There are no estimated parameters. The one-seat state minimum is enforced in both. | repo: public/strata/the-seat-that-vanished-at-300/index.html:634-686 | hamilton(): "row.seats = Math.max(1, row.lower);" jefferson(): "rows.forEach(function (row) { row.seats = 1; });"
- CONFIRMED | md body: recomputes Hamilton and Jefferson apportionments from historical population data, then stages the Balinski-Young tradeoff | public/strata/the-seat-that-vanished-at-300/index.html (page script, DATA_1880 and DATA_1790), recreated: runpage.mjs | Both methods compute live from DATA_1880 and DATA_1790; the theorem toggles render the Balinski-Young lock
- MINOR | Every allocation recomputed here | repo: public/strata/the-seat-that-vanished-at-300/index.html:703-712,759-760,849-872 | "hamilton(DATA_1880, house)"; "jefferson(DATA_1790, house)"; check card literal "The vetoed Hamilton bill gave Virginia 21; enacted Jefferson at 105 gave it 19."; no hamilton(DATA_1790, ...) anywhere; F3. The vetoed bill's allocation is cited, not recomputed on the page; the figure is correct.
- MINOR | The independent verifier repeats every slider setting and fails on any mismatch | repo: research/the-seat-that-vanished-at-300/verify-the-seat-that-vanished-at-300.mjs:141-218; recreated probe adjudicator/probe/js-alabama | At each setting it asserts only invariants; the page's script and data are never read. Page data altered: page shows "Alabama: 8 at 299 → 8 at 300" while the verifier gives "js-alabama exit=0"; F1. The verifier's code mirrors the page's own functions (flagged by the July codex review, not fixed).
- OBSERVED | This layer's check reads the bytes this page serves and asserts against them. Measured, not assumed: with every file this layer ships emptied, it goes red. | recreated: empty public/strata/the-seat-that-vanished-at-300/index.html in a reader-dir copy, then node verifier | "AssertionError [ERR_ASSERTION]: The input did not match the regular expression /Counterfactual: 120/" ... "empty exit=1"
- MINOR | Measured too: changing a figure in this page's printed text turned it red. | research/verifier-independence/verdicts.tsv:535; scripts/check-placard.mjs:152; recreated probes adjudicator/probe/ | verdicts.tsv: "red-prose 4 0 0 2 0 2 1" (prose 2, proseRed 1; code 2, codeRed 0). Probes: dek-eight exit=0; body-22 exit=0; body-38 exit=0; body-iltx exit=0; def-21 exit=1; def-19 exit=1; check-card-21 exit=0; src-21 exit=0; F2. True as measured, but only the definition box's 1792-bill sentences are read.
- CONFIRMED | It is published, and it runs from 2 files this site serves (all 2, and the command). | https://artwaste.land/checks/research/the-seat-that-vanished-at-300/verify-the-seat-that-vanished-at-300.mjs and https://artwaste.land/strata/the-seat-that-vanished-at-300/, recreated: reader-side run in an empty directory (adjudicator/reader) from the /checks/ recipe | both curls 200 (8,581 B; 50,249 B); node v22.22.0 exit=0; "All apportionment checks passed."
- OBSERVED | Last verified 23 July 2026, when it was written. | research/the-seat-that-vanished-at-300/codex/VERDICT.md and fix-last.txt; git log (9150add977 2026-07-24 02:21 +1000, 74e6d1bcb3 2026-07-24 03:11 +1000 = 23 July UTC); scripts/check-placard.mjs:257 | fix-last.txt: "Finding 1, unlabeled counterfactual: FIXED ... Verifier exit code: 0"; placard template: "Last verified ${longDate(d.verified)}, when it was written." (no assay record exists for this slug)
- CONFIRMED | relates note: Stable matching cannot make truth-telling safe for both sides, while apportionment cannot guarantee both quota and population monotonicity. | https://api.crossref.org/works/10.1287/moor.7.4.617 (Roth 1982, Math. Oper. Res. 7(4):617-628, abstract); https://pure.iiasa.ac.at/id/eprint/1338/1/WP-80-131.pdf Theorem 6.1 | "no matching procedure exists which always yields a stable outcome and gives players the incentive to reveal their true preferences ... matching procedures do exist, however, which always yield a stable outcome and which always give all the agents in one of the two disjoint sets of agents the incentive to reveal their true preferences."
- CONFIRMED | relates note: Both separate a live computation from a cited universal theorem. Here two historical datasets show where Hamilton and Jefferson fail, while Balinski and Young establish the general impossibility. There exhaustive searches meet classification results | src/content/strata/allowed-and-impossible.md:4; https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf; https://pure.iiasa.ac.at/id/eprint/1338/1/WP-80-131.pdf Theorem 6.1 | allowed-and-impossible: "the order-6 non-existence is exhaustive, the classification theorems cited"
- CONFIRMED | relates note: Both rebuild a democratic intuition from its arithmetic. The crowd layer shows when aggregation gains and loses information | src/content/strata/wisdom-of-crowds.md:4 | "Galton's 787 legible guesses put the crowd median 9 lb from the ox's printed dressed weight ... watch pre-registered, anytime-valid strict-win evidence accumulate"; Characterises a sibling page; loose but not false.
- CONFIRMED | nearby note (from a-parliament-made-like-a-photograph): Both pages put a fixed total into an allocation rule and let the arithmetic expose what the rule cannot guarantee. | src/content/strata/a-parliament-made-like-a-photograph.md:13-14; this page (public/strata/the-seat-that-vanished-at-300/index.html:359,437-440) | full note: "The earlier page shows Hamilton keeping quota while losing house monotonicity; this one uses Hamilton as the target-native rival ..."; this page fixes the House total and shows Hamilton losing house monotonicity at 299->300; Added by the adjudicator; neither checker covered it.
- OBSERVED | nearby note (from in-en-us-at-utc): the one check in 397 that resolved anything by comparing names, and therefore the only place where the reader's locale could change an answer rather than its rendering. | record: git show d6c518f8df (commit message); recreated by checker A: git grep localeCompare across the 461 files of the 397 'runs' recipes at d6c518f8df^ | commit: "One check in 397 resolved anything by sorting names and it is the apportionment one. Real census populations never tie"; A: exactly one hit, this layer's verifier; The page's own browser script (index.html:631,661) still calls localeCompare without a locale, but no tie ever occurs, so no answer changes.
- MINOR | Young, H. Peyton. "Fairness in Apportionment." In Encyclopedia of Statistical Sciences, update volume 3. Wiley, 1999. Census Bureau historical reprint. | https://www2.census.gov/about/history/historical-censuses-surveys/survey-census-history/decennial/fairness-in-apportionment-young.pdf (title page) | "Fairness in Apportionment H. Peyton Young Johns Hopkins University & The Brookings Institution January, 2004 Prepared for the U. S. Census Bureau Symposium March 4-5/2004"; F4. Not reader-visible (the README is 404 on artwaste.land; the GitHub repo is 404 unauthenticated). Flagged by the July codex review and never fixed.

## Findings
- [fixed] F1 (MINOR): "The independent verifier repeats every slider setting and fails on any mismatch" overstated the check, which never runs or reads the page's script or data and mirrors the page's own code; the page now says a standalone verifier with its own copy of both census tables recomputes every slider setting (Hamilton 275 to 350, Jefferson 105 to 125), fails if, in its own recomputation, a seat total, the one-seat minimum, Hamilton's quota or a highlighted result breaks, checks that the sentences in the counterfactual note about the vetoed and enacted bills still read as written, and does not run the page's own script (the research README's "independently sums them" also now reads "sums its own copy of them").
- [open note:8d17ac] F2 (MINOR): The generated placard sentence "Measured too: changing a figure in this page's printed text turned it red." is true as measured but reads wider, since the check reads only Virginia's 21 and 19 in the counterfactual note and stays green when the dek's eight seats, the 22, the 38 states or the same 21 and 19 elsewhere on the page are changed; held because it is generated by scripts/check-placard.mjs from a corpus-wide template, and a class fix for the red-prose sentence belongs in the placard generator, not this page.
- [fixed] F3 (MINOR): The folio "Every allocation recomputed here" claimed more than the page does, since the vetoed 120-seat bill's allocation (Virginia 21) is cited, not computed (the instrument runs Hamilton only on the 1880 data and Jefferson only on the 1790 data); the folio now reads "Every slider allocation recomputed here".
- [fixed] F4 (MINOR): research/the-seat-that-vanished-at-300/README.md cited Young's "Fairness in Apportionment" as a Census Bureau reprint of a 1999 Encyclopedia of Statistical Sciences entry, but the linked PDF is a paper dated January 2004 and prepared for a Census Bureau symposium; the citation now reads "Paper prepared for the U.S. Census Bureau Symposium, March 4-5, 2004 (dated January 2004). U.S. Census Bureau." (a research file, not reader-visible).