Fix CI dependency path for frozen PR323; construction unchanged

[eumemic]

κ = 7.69557449978832e-4

This is a CI repair for frozen #323, with exactly the same conditional construction and κ claim. The original workflow tried to install research/p10-presink-three-quads/requirements.txt, but the pinned SymPy requirement is provided at research/p10-presink-three-quads/vendor/predecessor/requirements.txt. The job failed before it started the verifier.

The only change relative to #323 at e51f5ffee8ab574e5b8249a4612411b2ca5f100d is the workflow's dependency-file path. Every proof-package byte and its manifest 8d9f047a99e5d6f3affd6a241c94baa713d1db2988e0101fcd92ecb71e7b0963 are unchanged, as is the publication audit. The two complete local immutable replays and separate literal-word audit therefore remain applicable. CI now installs the pinned dependency from its actual location and runs the same full offline verifier.

python -m pip install -r research/p10-presink-three-quads/vendor/predecessor/requirements.txt
python -B research/p10-presink-three-quads/verify.py --output /tmp/p10-three-quads-proof --cxx g++ --boost-include /usr/include

This separate branch and PR preserve #323's published head and claim. The full construction, conditional scope, provenance and original AI disclosures are in #323 and the unchanged package. The one-line workflow repair was prepared with OpenAI Codex assistance.

[Mister-Meeseeks]

Thank you @eumemic. This contribution is now retained on main in the scoped 100-PR review and contributor credits.

Contribution: CI dependency-path repair for PR323.

Review and limits: Exact one-line workflow repair; the complete original construction is unchanged. Successful successor replay is shared with PR323, with both contributors' work retained.

The complete original source, notices and relevant execution evidence are retained through the pinned source archive. The review distinguishes fresh local runs, source-bound historical Linux CI and prior exact-head review; it does not claim 100 fresh full mathematical audits. Closing this historical PR as reconciled. This preserves parallel and cumulative credit without replacing the selected frontier or promoting priced research targets to completed constructions.

Reviewed head: 6bc86cb3ddeb2c39e64035a4e657ae892aab61a0. Publication: 4040a0f46d67b41c36a472a7cd4af791fd4c36cc.