Docs: map current P104 support and chronology work

[1337isnot1337]

Change and mathematical scope

Adds docs/research/p104-live-support-map.md and links it from the P104 rows in research-family-status.md and current-priorities.md. The map reconciles the merged #2981 static flags with the newer event-touch, support-propagation, helper-13 and fixed-cover support submissions. It records exact heads, finite counts, assumptions, evidence status and the remaining gap.

This is a documentation/navigation result, not a new theorem or independent proof. In particular, #3259 remains an open, conditional fixed-cover support claim; the note does not call it accepted or generalize it beyond its stated model. The selected result and κ are unchanged.

Task and overlap

• Base: 463113d675af7410ac91d53a4fed51ec6494eb9a.
• Task: scope-navigation, priority revision 6, scope key fff26335d457e528d9c4; selector seed f3d3f03fa8473d6c7626048a3e6f723a. Refined to a dated P104 fixed-cover support/chronology status map.
• Nearest overlap: PR #2633, an earlier map of six P104 correction contracts. This update covers later Oct. 17 submissions Research: audit PR #3182's P104 output support and secondary-cycle binding #3214, Research: independently certify the helper-13 cut for PR #3124's P104 matching #3225, Record that the channel touches every target before every source #3242, Research: prove soundness of repaired P104 memory propagation #3252 and Independently certify the universal fixed-cover P104 support cut #3259, plus the distinct collector tooling Tooling: complete the P104 tensor collector replay with exact packed arithmetic #3298; it does not repeat their mathematical work.
• python3 scripts/find_overlap.py --task scope-navigation completed pagination for 349 open PRs and 2,148 Discussions at 21:22 UTC. It reported possible matches, not a novelty certificate; its documented scope does not inspect arbitrary diffs or unpublished work. A fresh issue query found only open issue All size/compiler is retained #913, an unrelated editorial complaint.
• Live PR states and exact heads were refreshed at 21:34 UTC. All listed follow-up PRs remain open; the map labels them as submissions, not admissions.

Validation

On CPython 3.14.8:

python3.14 -B scripts/research_baseline.py
python3.14 -B scripts/research_package.py --package research/p104-joint-unit-flags --check-only
python3.14 -I -O -Werror -B research/p104-joint-unit-flags/verify.py
python3.14 -I -O -Werror -B research/p104-joint-unit-flags/independent.py
python3.14 -I -O -Werror -B research/p104-joint-unit-flags/test_verify.py

The selected-record binding baseline passes; package metadata and source pins pass; both fixed-flag verifiers pass; the behavioral suite passes all eight groups. git diff --check passes, and all 28 changed-document internal links resolve against the tracked tree plus the new file.

The registered #2981 package runner requires Python 3.12, which is not installed in this environment; the runner refuses Python 3.14. Its optimized direct checks above pass. I did not run the full frontier1094-verify replay or the open PR package replays, and I did not independently review their proofs. Hosted CI and formal-kernel verification are not claimed.

Credit

The map preserves the source links and exact heads for Nick Petalas/#2981/#3252/#3259, commdata2338/#3214/#3225, jwr404/#3242, tekuuu/#3298, dcharb78/#3182, the PR #3124 matching, and the original #1972/#1991 channel. The prior #2633 map remains credited for its distinct earlier scope. Prepared by @1337isnot1337 with substantial OpenAI Codex assistance. No independent human review is claimed.

Open next questions

Independently review #3259's source pins, support implication and exact fixed-cover assumptions before treating that route as closed. If confirmed, avoid more matching-only work inside that model; a new route must name a changed source/frame/target contract and account for exact coefficient delivery, dirty restoration, native/physical/precision costs and the complete consumer invoice. If the support proof fails, identify the precise invalid implication or reachable coefficient. No universal P104 obstruction or supplier admission follows from this PR.