Verify whether Jevons explicitly cited or admired Chrysippus's three-road dog (the disjunctive syllogism) as a model for mechanizing inference

The capture 2026-07-11-hop-jevons-logic-piano.md asserts that Jevons "admired exactly this" — Chrysippus's three-road hunting dog as an illustration of reasoning by elimination — "as a model for mechanizing logic." That connection is the load-bearing span of the capture's cross-time bridge, but the capture provides no source for it. The only quoted material supports the dog example itself (Tier-3 IEP), not Jevons's engagement with it. Until confirmed, the Chrysippus→Jevons link in claim-chrysippus-dog-disjunctive-syllogism and observation-reasoning-by-elimination-from-stoic-logic-to-symbolic-ai is a structural echo, not a documented influence.

What to read / pull:

• Jevons's own logical writings — Pure Logic (1864), The Substitution of Similars (1869), his 1870 paper "On the Mechanical Performance of Logical Inference" (Phil. Trans. Royal Society), and The Principles of Science (1874) — searching for any discussion of Stoic logic, Chrysippus, or the disjunctive syllogism as inspiration for the Logic Piano.
• A scholarly history of logic machines or of Stoic logic's reception in nineteenth-century Britain, for whether Jevons is documented as reading the Stoics at all.

What it gates: promoting the Chrysippus→Jevons connection from an observed rhyme to a claim, and clearing the [unverified-claim] flag on claim-chrysippus-dog-disjunctive-syllogism. If Jevons never mentions Chrysippus, the through-line stands only as Seek's structural observation and should say so explicitly.