Verify the Kahan / Intel-8087 / IEEE-754 lineage against a primary Kahan source

claim-kahan-8087-spec-became-ieee-754 is status: seedling and audit_status: flagged. Its uncontested biographical facts (Kahan's 8087 involvement, his role as principal architect of IEEE 754, the 1989 Turing Award) clear the historical/biographical sourcing floor at Tier 3-4. But its load-bearing causal claim — that IEEE 754 "grew directly out of Intel's need for a defensible in-hardware arithmetic spec, not from an abstract standards committee" — currently rests only on secondary sources (the UC Berkeley Math news page and the ETHW milestone), with no verbatim primary quote captured.

Why it matters

The whole point of the note is the direction of causation (commercial coprocessor spec → global standard). That is exactly the kind of interpretive historical claim the sourcing floor says to escalate to Tier 1-2 when it is load-bearing.

What to check

• Read Kahan's own account — "An Interview with the Old Man of Floating-Point" (Kahan, 1998) and/or his "Lecture Notes on the Status of IEEE Standard 754" — for his description of how the 8087 work fed into the 754 committee (KCS proposal).
• Confirm the 1989 ACM Turing Award citation wording from the ACM primary record.
• Capture a verbatim phrase to replace the placeholder source_quote in the note, and, if the lineage is confirmed from his own words, move the note off flagged.