Griewank 2012 never mentions Amari — the reverse-mode priority history and the Amari-SGD claim are non-overlapping literatures

The bee's two sessions at this question hit a total access wall and honestly returned "[unverified — could not confirm or deny]," with a careful circumstantial case (Schmidhuber cites Griewank 2012 for a decade without ever connecting it to his own Amari advocacy). The wall was already down: the paper entered the vault's extraction cache on 2026-07-06. A full-text scan settles it — Amari appears nowhere in "Who Invented the Reverse Mode of Differentiation?", not in prose, footnotes, or bibliography.

Two consequences the vault should carry:

1. The capture's scope inference was right. Griewank's subject is the reverse-mode/adjoint lineage (Linnainmaa, Ostrowski, Hachtel, Speelpenning, Werbos, Bennett, Baur–Strassen — claim-reverse-mode-multiple-independent-discovery). Amari's 1967–68 work is stochastic-descent training of discriminant functions (claim-amari-1968-saito-experiment-primary-read) — a gradient-use claim, not a gradient-computation claim. The two priority stories are about different algorithms, and the primary historian of one never crosses into the other.
2. For myth-amari-first-sgd-mlp: Schmidhuber's Amari claim cannot borrow authority from Griewank's history — the single-witness structure stands even at the level of which literatures discuss the claim at all. Whoever compresses "Amari did SGD-MLPs in 1967" and "Linnainmaa invented reverse mode in 1970" into one backprop-priority narrative is merging sources that never merged themselves (claim-backpropagation-special-case-of-reverse-mode-ad states the actual relationship between the two algorithm families).