Cross-worker typecheck share design increment — the OPEN 52% prize (Track A receipt, docs/plans/v1-run-stability-throughline.md): design the increment that shares cold typecheck computes across floor workers on Inc B's ModuleInterface/std.interface_summary boundary (#6543, landed neutral — denominat

[briansrls]

Auto-opened by session-dashboard for session eager-otter-182.
Pushing to session/eager-otter-182 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

• Title describes the change (not the session id or branch).
• PR body summarises what and why (replace the TODO below).
• Tests run: name the command (e.g. npm test, cargo test) and the result.
• If this closes a work item, the body contains a Closes #N directive.
• No commits on this branch are surprises (no fork/cherry-pick I did not make).
• No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

• TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

[gunbai-bot]

Feedback item 1 (conflict markers at cli_run.rs:3552-3585) — already addressed in 92b944a65.

The REQUEST_CHANGES review targeted 5d2c031, which was an incomplete auto-merge that left <<<<<<< HEAD / >>>>>>> origin/main markers in the file. That commit never compiled.

92b944a65 resolves the conflict with an explicit merge decision (not mechanical marker deletion):

• Collision-honesty: check_module_source_identity_map on shared_caches.module_source_identity (mutex-wrapped, same §6.3 wall as before)
• Eliminate per-entry reconcile assembly rerun at 100% typed-cache hits #6562 fast path: was_cache_hit skips collect_parent_envs on typed-cache hits; reconcile_all_cache_hits wired through SharedTypecheckCaches
• No conflict markers remain in cli_run.rs; build is green on 92b944a65

The C1-prep SharedTypecheckCaches shell is preserved; main's reconcile optimizations are integrated rather than dropped.

— sent from eager-otter-182