[teamhimeh]

Update pr-dependencies.md to cover origin PRs through #14, including source branches and commit SHAs for every feature patch.

Extend the upstream dependency graph with the independent enum naming, Optional calls, protocol adapters, and async cancellation fixes, plus the dependent protocol default bridge. Explain the chain #2 → #3 → #11, its transitive classification prerequisite, and why the other new fixes are independent. Update submission waves and the alternative stacked-PR/rebase workflow while keeping origin and upstream status distinct.

Track the generated-output follow-ups from #13 with their corresponding origin #5 and #8 submissions. Record both commit SHAs and explain that they belong in those existing upstream patches rather than adding another dependency between them.

Add the independent actor-property chain #4 → #14: #14 extends the witness discovery and regression fixtures introduced by #4 to support standard AnyObject and Sendable constraints. Prefer including #14 with #4 in one upstream submission; describe the merge order and optional stack if they are submitted separately. This chain does not block #2 → #3 → #11.

Validation:

• Checked origin PR metadata and source refs, upstream main at 301e3da, and the still-open upstream PR JNI: preserve MainActor isolation in synchronous thunks swiftlang/swift-java#938.
• Checked all eight independent patches against that upstream baseline with a temporary Git index.
• Verified that each generated-output follow-up applies after its corresponding independent fix alone.
• Verified the negative and positive prerequisite cases for JNI: align inherited protocol requirement names across bindings #3 and JNI: bridge protocol requirement defaults to Java interface methods #11: JNI: align inherited protocol requirement names across bindings #3 requires JNI: exclude protocol extension members from callback requirements #2; JNI: bridge protocol requirement defaults to Java interface methods #11 fails with JNI: exclude protocol extension members from callback requirements #2 alone and passes with JNI: exclude protocol extension members from callback requirements #2 followed by JNI: align inherited protocol requirement names across bindings #3.
• Verified that JNI: preserve synchronous actor witnesses with standard constraints #14 does not apply to upstream alone and applies after JNI: preserve synchronous actor property witnesses #4 without other prerequisites; all 17 applicability cases matched their expected results.
• Checked all eleven tracking rows against current origin PR metadata and source refs, all three Mermaid edges, table continuity, and public-source content.
• git diff --check passed.