chore: advance pins; cite HG-MTH-009 and Heller-Dirac

[mdheller]

Summary

Advances bsd-proof-program from single Heller-Godel upstream to dual-upstream framework pins:

• Heller-Godel @ e385bad859c49604cff5a3f4945b33079d54af82 for HG-MTH-009, PFK, and framework anti-seed.
• Heller-Dirac @ e1d7c863f4e0fc6e5e2ab485370cc75b2dba3993 for HD-FND-*, HD-EX-001, and A-HD anti-seed used by the BSD bridge.

Transitions HG-MTH-009 from RESERVED to active in DEPENDENCIES.md and workstream citations.

What changed

• DEPENDENCIES.md — dual-upstream structure; HG-MTH-009 active; A-HG-MTH-007; Heller-Dirac citations.
• docs/scope/bsd-bridge-citation.md — local BSD bridge citation anchor.
• docs/workstream-a..f/README.md — active HG-MTH-009 citation and component positioning.
• tests/test_pfk_dependency.py — validates both upstream pins and paths.
• .github/workflows/bsd-proof-program-pfk-dependency.yml — checks out Heller-Godel and Heller-Dirac.

Boundary

Documentation/citation only. No apparatus implementation, no receipt emission, no workstream promotion, no BSD-rank or BSD-strong claim, no Sha-finiteness assumption, no Bloch-Kato/Bloch-Beilinson assumption, and no Clay-proximity change.

Workstream H is preserved unchanged.

Follows from

• Heller-Godel PR #71 — HG-MTH-009 @ e385bad859c49604cff5a3f4945b33079d54af82.
• Heller-Dirac PR Capture BSD Program Lane v0.2.1 L1 registry tranche #3 — HD-FND scaffold @ e1d7c863f4e0fc6e5e2ab485370cc75b2dba3993.
• bsd-proof-program PR feat: import BSD program lane v0.1 skeleton; declare Heller-Godel dependency #16 — bootstrap @ a01376090792b12f54fd51caa9e077c9894276e6.