all tags

unverified

76 notes carry this tag — 57 claims, 6 observations, 6 questions, 7 captures. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

• The one located description of the 1978 ICM memo's content frames its discrimination accusation collectively, naming no individual Soviet mathematician as a target
  claim seedling Tier 4 2026-10-31 · pontryagin, antisemitism, soviet-union, history-of-mathematics, verification
• Laudan's 1981 catalog of successful-but-false theories — the anti-realist denominator attempt — was challenged for not being big or representative enough within a few years, and that representativeness fight has stayed live since the 1980s
  claim seedling Tier 2 2026-10-31 · philosophy-of-science, survivorship-bias, selection-effects, pessimistic-induction, scientific-realism
• Peter Lewis (2001) stated that the full survey of past theories — true and false, successful and unsuccessful — needed to settle scientific realism has never been attempted, and suggested why
  claim seedling Tier 2 2026-10-31 · philosophy-of-science, survivorship-bias, selection-effects, pessimistic-induction, scientific-realism
• No primary source confirms optimistic concurrency control or event sourcing as literature's standard fix for a periodic-sweep-vs-in-flight-write TOCTOU race — the field's own taxonomy prescribes atomicity and locking instead
  claim seedling Tier 1 2026-10-31 · concurrent-systems, toctou, cwe, optimistic-concurrency-control, event-sourcing
• No source located in a dedicated search confirms or denies that the 1978 ICM memorandum 'The Situation in Soviet Mathematics' names Pontryagin individually
  claim seedling Tier 4 2026-10-31 · pontryagin, antisemitism, soviet-union, history-of-mathematics, verification
• No source located connects Pontryagin's antisemitism or Soviet gatekeeping reputation to the Western citation or reception of his own control-theory work, in either direction
  claim seedling Tier 1 2026-10-30 · pontryagin, antisemitism, soviet-union, citation-history, history-of-science
• Does GAO-22-105357's own consortium-level lists (Table 4, Appendix II) name AC Gravity, AATIP, or AAWSAP anywhere?
  question answered 2026-10-19 · other-transactions-authority, gao, antigravity, aatip, aawsap
• AC Gravity's OT grant and AATIP/AAWSAP's $22M were not funded through the same legal mechanism, and neither appears by name in any GAO, CRS, or DoD IG document found
  claim seedling Tier 1 2026-10-18 · other-transactions-authority, antigravity, aatip, aawsap, defense-funding
• Do DoD IG audits DODIG-2021-077 and DODIG-2022-127 mention AC Gravity, AATIP, or AAWSAP by name, or contain their own OT subject-area breakdown?
  question answered 2026-10-18 · other-transactions-authority, dod-inspector-general, antigravity, aatip, aawsap
• Whyte, Wang & Cai's 2015 essay and the vault's Liang seed note disagree by five years on when the Yicheng two-child pilot began — 1980 versus 1985, an unresolved discrepancy
  claim seedling Tier 1 2026-10-12 · china, population-policy, one-child-policy, historiography, liang-zhongtang
• Does Song Jian's own 1995 essay confirm or contest the self-credit account Liang Zhongtang's 2009 essay disputes?
  capture promoted Tier 1 2026-10-10 · china, population-policy, one-child-policy, song-jian, liang-zhongtang
• A third telling of Olsder's 1975 account (Historisch Nieuwsblad, 2025) newly states Kwakernaak was the designated host but was absent that day, and still rests on Olsder's memory alone
  claim seedling Tier 3 2026-10-10 · china, population-policy, one-child-policy, historiography, cold-war-science
• Wang Hongzhe dates Qian Xuesen's earlier operations-research group to 1956 with Xu Guozhi alone, complicating Gary Zhexi Zhang's 1961/Hua-Luogeng-co-founder account
  claim seedling Tier 1 2026-10-06 · china, cybernetics, qian-xuesen, hua-luogeng, xu-guozhi
• Wang Hongzhe's primary chapter confirms Qian Xuesen personally recruited Guan Zhaozhi and Song Jian to set up China's 1962 cybernetics laboratory
  claim seedling Tier 1 2026-10-06 · china, cybernetics, qian-xuesen, song-jian, guan-zhaozhi
• A full direct read of Merton's founding 1957 priority-disputes paper confirms no mention of Ranke, Mabillon, or Quellenkritik anywhere in its text
  claim seedling Tier 1 2026-10-04 · merton, quellenkritik, ranke, historiography, priority-dispute
• Qian Xuesen's 1954 book Engineering Cybernetics is described by two independent secondary accounts as an explicit, acknowledged extension of Wiener's cybernetics, not an independent coinage
  claim seedling Tier 3 2026-10-01 · china, cybernetics, qian-xuesen, wiener, engineering-cybernetics
• Norbert Wiener personally lectured at Tsinghua University in 1936, twelve years before Cybernetics (1948), and Hua Luogeng attended — the direct human-contact root of China's cybernetics lineage
  claim seedling Tier 3 2026-10-01 · china, cybernetics, wiener, hua-luogeng, qian-xuesen
• Gary Zhexi Zhang's 2025 account corroborates the 1962 China Control Theory lab's date and founders but not Qian Xuesen's personal role in founding it, complicating the vault's Wikipedia-sourced claim
  claim seedling Tier 2 2026-10-01 · china, cybernetics, qian-xuesen, song-jian, guan-zhaozhi
• Who was John Godfrey, and does his own account explain the Admiralty Code's independent convergence with Quellenkritik?
  capture promoted 2026-09-28 · intelligence-tradecraft, admiralty-code, godfrey, historiography, quellenkritik
• Godfrey gave a pre-1939 lecture titled 'The Value of History' at the Royal Naval Staff College, its content unread
  claim seedling Tier 1 2026-09-28 · intelligence-tradecraft, godfrey, historiography, archival-record, unverified
• Godfrey's own account of the NID grading scheme survives only as un-digitized archival material at the Caird Library and Churchill Archives Centre
  claim seedling Tier 1 2026-09-28 · intelligence-tradecraft, admiralty-code, godfrey, historiography, archival-record
• Who was Geert Jan Olsder, and does any contemporary record corroborate his 2008/2024 account of contact with Song Jian?
  capture promoted 2026-09-27 · china, population-policy, one-child-policy, historiography, cold-war-science
• Does the unread body text of Werbos (1988), pp. 350-355, mention Isaacs, Bellman, Pontryagin, Kelley, or Bryson?
  question open 2026-09-25 · werbos, isaacs, citation-analysis, primary-verification, unverified
• Room 39 (1968) at the primary vs. Godfrey's 1939 Admiralty-Code origin story — primary unreachable; Samet (1975) silent on origin
  capture promoted Tier 1 2026-09-24 · admiralty-code, intelligence-tradecraft, godfrey, mclachlan, samet
• Block's 2021 page puts only one word — 'intolerable' — in McLachlan's mouth; the 1939 date, 'anarchy' framing and A1–D5 range are Block's own uncited prose
  claim seedling Tier 3 2026-09-24 · admiralty-code, godfrey, mclachlan, historiography, verification
• The McLachlan passage Block quotes uses an 'E' grade, in tension with Block's own 'A1 to D5' description of the wartime scale
  claim seedling Tier 3 2026-09-24 · admiralty-code, godfrey, mclachlan, samet, verification
• Godfrey, as Director of the Naval Intelligence Division in 1939, had the Admiralty Code's source/information split devised to end 'the anarchy of different information reports'
  claim seedling Tier 3 2026-09-23 · intelligence-tradecraft, admiralty-code, source-evaluation, historiography, godfrey
• Wikipedia states Fel'dbaum was "professor of missile control systems" at a Soviet military academy, 1945–1964 — uncited on the article itself
  claim seedling Tier 4 2026-09-18 · feldbaum, cold-war-science, missile-science, institutional-history, unverified
• Does Rufus Isaacs's own 1951 RAND report P-257, his 1969 JOTA retrospective, or DeGroot's 1986 Blackwell interview confirm or refute the RAND-colleague bridge to Nash and Blackwell?
  capture promoted Tier 1 2026-09-17 · rand-corporation, rufus-isaacs, john-nash, david-blackwell, differential-games
• Turnbull's 2009 Coals from Newcastle was not accessible in digitized form; the Newcastle HER's page-specific citations to it support the 'Heaton Banks' name and an undated pit map, not unambiguously the 1745 closure sentence
  claim seedling 2026-09-16 · history-of-technology, standardization, railroad-gauge, wagonways, contested
• A second, independent Newcastle HER record gives the same 1745 closure for 'Heaton Banks Colliery' but cites neither Hope-Dodds nor Turnbull's 2009 book
  claim seedling 2026-09-16 · history-of-technology, standardization, railroad-gauge, wagonways, contested
• Cao (2025) credits Andrey Kolmogorov with an independently-developed, near-identically-titled extrapolation theory in 1939, alongside Wiener's own
  claim seedling Tier 1 2026-09-09 · cybernetics, norbert-wiener, kolmogorov, extrapolation, cold-war-science
• Clark's 2016 essay's two 'Dutch work' phrases are better read as his own compression of Greenhalgh's 2005 analysis than as a verbatim quotation from an unlocated third text
  claim seedling Tier 2 2026-09-05 · china, population-policy, one-child-policy, historiography, greenhalgh
• The only new Chinese-language account this cluster has found — a self-declared dramatization, Tier 5 — also dates the Twente–Olsder–Song beer story to 1978, not 1975: convergence, not corroboration
  observation seedling Tier 5 2026-09-05 · china, population-policy, one-child-policy, historiography, contested-causation
• What does Song Jian's original 1995 self-credit for the one-child policy actually say, in the Chinese source Greenhalgh translated?
  capture promoted Tier 1 2026-08-30 · china, population-policy, one-child-policy, song-jian, susan-greenhalgh
• Greenhalgh's own sentence frames Song Jian's 1995 self-credit line as addressed to his professional field, not to a population-policy audience
  claim seedling Tier 1 2026-08-30 · china, population-policy, one-child-policy, song-jian, susan-greenhalgh
• Song Jian's own words, quoted by Greenhalgh from his 1986 essay, date his first exposure to population-systems-analysis to a 1978 European visit — a second independent witness converging against Olsder's 1975 account
  claim seedling Tier 1 2026-08-30 · china, population-policy, one-child-policy, historiography, contested-causation
• Paul Dong's 1997 book documents a 17-paper, 16-speech bibliography of Qian Xuesen's EHF/qigong advocacy, 1980–1988
  claim seedling Tier 3 2026-08-28 · china, qigong, pseudoscience, qian-xuesen, cold-war-science
• A 1982 letter has Qian Xuesen personally guaranteeing, "with my Party spirit," that human body ESP is real
  claim seedling Tier 3 2026-08-28 · china, qigong, pseudoscience, qian-xuesen, cold-war-science
• Qian Xuesen spent his last three decades advocating qigong, traditional Chinese medicine, and 'special human body functions' as legitimate science
  claim seedling Tier 4 2026-08-26 · china, qigong, pseudoscience, qian-xuesen, cold-war-science
• Qian Xuesen recruited Song Jian into China's first cybernetics laboratory in 1962, predating the vault's 1975/1978 dating dispute by over a decade
  claim seedling Tier 4 2026-08-26 · china, cybernetics, song-jian, qian-xuesen, cold-war-science
• Greenhalgh's 2003 article states, in its own words, that it draws on 'the book in progress' the vault identifies as Just One Child
  claim seedling Tier 1 2026-08-25 · china, population-policy, one-child-policy, historiography, greenhalgh
• Does a Tier 1–2 primary confirm Rufus Isaacs, John Nash, and David Blackwell were direct RAND colleagues, not just co-listed alumni of different eras?
  capture promoted Tier 1 2026-08-23 · rand-corporation, rufus-isaacs, john-nash, david-blackwell, oral-history
• Rufus Isaacs's named RAND colleagues included John Nash and David Blackwell, whose 1948–1950 tenure confirms real chronological overlap
  claim seedling Tier 4 2026-08-22 · rand-corporation, rufus-isaacs, john-nash, david-blackwell, person-bridge
• Does a Tier 1–2 primary (RAND personnel/project records, Isaacs's own writing, or Nash's or Blackwell's own testimony) confirm Rufus Isaacs, John Nash, and David Blackwell were direct RAND colleagues, not just co-listed alumni of different eras?
  question open 2026-08-22 · rand-corporation, rufus-isaacs, john-nash, david-blackwell, primary-verification
• A.E. Clark's 2016 essay had the means to name Geert Jan Olsder but anonymized him as 'the Dutch authors' — a second instance, in the same essay, of the citational narrowing already found for Liang Zhongtang
  claim seedling Tier 2 2026-08-21 · china, population-policy, one-child-policy, historiography, citation-genealogy
• A.E. Clark's unnamed 'Dutch authors' of a paper on a fictional island's population are identifiable as Geert Jan Olsder and R.C.W. Strijbos, via the same Greenhalgh footnote Clark's essay draws on
  claim seedling Tier 2 2026-08-21 · china, population-policy, one-child-policy, historiography, citation-genealogy
• Neither Greenhalgh's 2003 nor 2005 article contains the two specific analytic phrases Clark's 2016 essay attributes to her about 'the Dutch work'
  claim seedling Tier 1 2026-08-18 · china, population-policy, one-child-policy, historiography, citation-genealogy
• A.E. Clark's 2016 omission of Liang Zhongtang reads as citational narrowing, not independent absence — the name was already in the account Clark cites throughout
  claim seedling Tier 2 2026-08-17 · china, population-policy, one-child-policy, historiography, contested-causation
• Olsder's 1975 account of Song Jian's first exposure to population cybernetics contradicts Liang Zhongtang's 2009 dating of that exposure to 1978
  claim seedling Tier 2 2026-08-16 · china, population-policy, one-child-policy, historiography, contested-causation
• Olsder's 1975 Twente-contact account is itself a retrospective reconstruction, assembled 33 years later after Olsder learned Susan Greenhalgh's book named him
  claim seedling Tier 2 2026-08-16 · china, population-policy, one-child-policy, historiography, cold-war-science
• Olsder's own account explicitly declines the causal-credit framing that structures Song Jian's self-credited one-child-policy narrative
  claim seedling Tier 2 2026-08-16 · china, population-policy, one-child-policy, historiography, contested-causation
• A 2022 Palladium Magazine essay independently places Song Jian at the 1978 IFAC World Congress in Helsinki
  claim seedling Tier 3 2026-08-14 · china, population-policy, one-child-policy, historiography, cold-war-science
• Geert Jan Olsder's own account traces his first contact with Song Jian to a 1975 Chinese delegation visit to Twente, three years before the Helsinki congress
  claim seedling Tier 2 2026-08-14 · china, population-policy, one-child-policy, historiography, cold-war-science
• Liang Zhongtang's 2009 essay corroborates, independently of Greenhalgh, that Song Jian's population-forecasting method arrived via a 1978 academic trip to Europe
  claim seedling Tier 1 2026-08-13 · china, population-policy, one-child-policy, historiography, cold-war-science
• Irino's 2026 equilibrium-dynamics model inherits its cross-correlation front-end unchanged from Jeffress-extension models — its departures begin at the inhibition stage, not at the readout alone
  claim seedling Tier 1 2026-08-10 · neuroscience, systems-neuroscience, sound-localization, jeffress-model, equilibrium-dynamics
• Irino's 2026 equilibrium-dynamics model offers no new anatomically distinguishable prediction — it is validated by reproducing existing physiological data, with the link to perception deferred to future work
  claim seedling Tier 1 2026-08-10 · neuroscience, systems-neuroscience, sound-localization, jeffress-model, equilibrium-dynamics
• Liang Zhongtang dates the one-child policy's origin to the State Council Family Planning Leading Group's 26-28 June 1978 'three-day meeting,' chaired by Chen Muhua
  claim seedling Tier 1 2026-08-09 · china, population-policy, one-child-policy, historiography, cold-war-science
• Liang Zhongtang's own essay characterizes Song Jian's group as propagandists and justifiers for an already-decided policy, not its originators
  claim seedling Tier 1 2026-08-09 · china, population-policy, one-child-policy, historiography, contested-causation
• Liang Zhongtang's own 2009 essay states the one-child policy's origin has 'hardly any connection' to Song Jian's 1980 projections, predating them by about twenty months
  claim seedling Tier 1 2026-08-09 · china, population-policy, one-child-policy, historiography, contested-causation
• No source found documents a causal chain from Ranke's Quellenkritik to modern scientific-priority adjudication; the field instead frames priority disputes as socially negotiated
  claim seedling Tier 4 2026-07-31 · historiography, quellenkritik, ranke, priority-dispute, scientific-priority
• As of 2026-07-26, AISVS's `1.01-dev` development branch and every published release still omit any TOCTOU, atomicity, or concurrent-agent requirement
  claim seedling Tier 2 2026-07-27 · ai-agent-security, toctou, owasp, aisvs, race-conditions
• Bollen reports contributing a named TOCTOU/atomicity requirement to AISVS that does not appear in the released v1.0 text [unverified-mechanism]
  claim seedling Tier 3 2026-07-21 · ai-agent-security, toctou, owasp, aisvs, race-conditions
• Four documented cases of circuit theory preceding its anatomy cannot be distinguished from survivorship bias, because no survey counts the denominator of all proposed circuit theories
  observation seedling Tier 2 2026-07-18 · neuroscience, systems-neuroscience, theory-confirmation-lag, delayed-vindication, survivorship-bias
• No source establishes a citation link between Wiener's cybernetics and the Kelley/Bryson/Pontryagin/Bellman optimal-control lineage behind backpropagation
  claim seedling Tier 1 2026-07-15 · cyber-physical-systems, cybernetics, wiener, control-theory, backpropagation-origins
• Rosenblatt's large-scale replications helped refute molecular memory transfer, showing any effect was 'at most very small'
  claim seedling Tier 3 2026-07-12 · rosenblatt, memory-transfer, molecular-memory, neuroscience, history-of-ml
• Does Pontryagin's 1956 maximum-principle announcement genuinely predate Kelley (1960) as an independent Cold War discovery, and did Boltyanskii/Gamkrelidze/Mishchenko's 1956 work already contain the co-state/adjoint backward-gradient equation?
  question answered 2026-07-12 · pontryagin, kelley, bryson, optimal-control, maximum-principle
• A 2026 preprint argues sound-localization ITD readout arises from population equilibrium dynamics rather than Jeffress's discrete place-coding
  claim seedling Tier 1 2026-07-11 · neuroscience, systems-neuroscience, sound-localization, jeffress-model, equilibrium-dynamics
• Two systems-neuroscience circuit theories waited decades for anatomical/connectomic confirmation — a delayed-vindication shape shared with AI history
  observation seedling Tier 1 2026-07-11 · neuroscience, systems-neuroscience, theory-confirmation-lag, delayed-vindication, connectomics
• Bell Labs classical control theory (Nyquist, Bode) may be the direct mathematical ancestor of the 1950s–60s optimal-control lineage the vault credits as backpropagation's precursor — but no source read so far states the transmission explicitly
  observation seedling Tier 2 2026-07-11 · control-theory, nyquist, bode, optimal-control, kelley
• A single 'power consumption leaks exploitable information' principle appears to scale cleanly from 1999 chip-level power analysis through 2018 shared-FPGA side channels to 2026 grid-scale GPU attacks — but no single source draws this three-paper lineage explicitly
  observation seedling Tier 1 2026-07-11 · hardware-security, side-channel, power-grid, cross-time-bridge, history-of-computing
• Susan Greenhalgh's history credits Song Jian — a missile-guidance control theorist — with engineering China's one-child policy from a 'Sinified cybernetics of population'
  claim seedling Tier 1 2026-07-11 · cybernetics, control-theory, china, population-policy, cold-war-science
• Song Jian publicly credited his own 1980 population projections with triggering China's one-child policy
  claim seedling Tier 2 2026-07-11 · cybernetics, control-theory, china, population-policy, one-child-policy
• Ann Hardy wrote Tymshare's SDS-940 operating system, but colleagues credited it to her husband Norman — who had to disclaim it directly
  claim seedling Tier 2 2026-07-09 · computer-history, credit-misattribution, gender-erasure, timesharing, tymshare
• Fractal image compression's 1987 promise — encode a signal as a compact function instead of a grid of samples — structurally rhymes with 2020 implicit neural representations, though no source draws the lineage
  observation seedling Tier 4 2026-07-09 · fractal-compression, implicit-neural-representations, siren, image-compression, cross-time-bridge
• Did Harvard's Administrative Board actually investigate Bill Gates's use of the university PDP-10 for commercial software work?
  question answered 2026-07-09 · computer-history, microsoft, altair, verification, unverified