[yaacovcorcos]

Do not merge. This PR is a shared space for temporary Overleaf sync plans between collaborators. It will be closed when the feature ships.

Permanent documentation ships with each feature PR: the coordinator steps update docs/internals/scient-overleaf-engine.md; PRs C1 (agent tools) and C2 (screens) add the agent, user and app documentation. Feature PRs should link here instead of carrying plans.

Start with docs/internals/overleaf/README.md: current status, build order, working rules and what is still open.

Two rules shape everything after the coordinator (owner, October 24): agents can do whatever a person can, with no Overleaf-specific permission, approval or stop (the composer's access setting is the only control); and, like GitHub sync, only a conflict stops a sync.

File	Content
README.md	Handoff: status, build order (step 5 → C1 agent tools → C2 screens), working rules, open items
pr-c-design.md	October 24 product and agent decisions: folder model, ways to connect, sync behaviour, agent tools, screens, docs. Wins where files differ
implementation-plan.md	Revision-5 plan (owner-approved October 2) with D4 replaced and D10–D14 added
pr-b-coordinator-contract.md	Coordinator contract: owner decisions 1–6, evidence rules, acceptance cases A01–A32, step status
step-3b-design.md, step-4-design.md	Design notes for the coordinator's local half and publication
cloud-qualification.md	October 9 Overleaf Cloud test: what passed, product constraints, what was not qualified

Edit these files directly on this branch as decisions are made. Raw test data, logs, and the checker and prototype code stay outside the repository. These files contain no tokens, project URLs or account details.

Related: #486, #495, #555 (engine, applier, helper) · #536, #556, #626, #630, #633, #634 (coordinator steps 1–4, all merged) · #121 (original implementation, closed October 19)

🤖 Generated with Claude Code

[github-actions]

Thread transfer impact

✅ Thread transfer remains within every enforced ceiling.

Provider	Metric	Main baseline	This PR	Impact	PR ceiling
Codex	Total thread wire	5.6 KiB	5.6 KiB	0 B (0.0%)	6.8 KiB	✅
Codex	Thread snapshot wire	4.3 KiB	4.3 KiB	0 B (0.0%)	4.9 KiB	✅
Codex	Live turn WebSocket wire	1.3 KiB	1.3 KiB	0 B (0.0%)	2.0 KiB	✅
Codex	Live turn WebSocket decoded	26.2 KiB	26.2 KiB	0 B (0.0%)	29.3 KiB	✅
Codex	Live turn messages	2	2	0 (0.0%)	8	✅
Claude	Total thread wire	5.6 KiB	5.6 KiB	−36 B (−0.6%)	6.8 KiB	✅
Claude	Thread snapshot wire	4.3 KiB	4.3 KiB	0 B (0.0%)	4.9 KiB	✅
Claude	Live turn WebSocket wire	1.3 KiB	1.3 KiB	−36 B (−2.6%)	2.0 KiB	✅
Claude	Live turn WebSocket decoded	26.6 KiB	26.5 KiB	−41 B (−0.2%)	29.3 KiB	✅
Claude	Live turn messages	2	1	−1 (−50.0%)	8	✅

Baseline: fded533 · PR result: cc7e2a3 · Source CI: failure

Scenario and decoded snapshot size

10 historical turns, 5 command tools per turn, 878.9 KiB retained MCP result per historical turn, and a 1.05 MiB retained result in the measured turn.
Full compact HTTP snapshot with live cursor.

• Codex decoded thread snapshot: 133.1 KiB
• Claude decoded thread snapshot: 133.4 KiB

Updated in place by a trusted workflow. PR artifacts are strictly validated and never executed.

[yaacovcorcos]

October 24: product and agent decisions recorded (1dde595, 8371b33, cc7e2a3). Start with pr-c-design.md; it wins where files differ.

• Agents can do whatever a person can. An agent on full access has full access: no Overleaf-specific permission, approval, confirmation or stop. The composer's access setting is the only control, and nothing changes it. The token goes once through the secure secret request.
• Only a conflict stops a sync. Everything else is synced, then reported, with Undo.
• One Overleaf project per dedicated folder. New files are sent by default.
• Order: step 5 → three engine additions (hold back only a file with conflict marks; send a file kept only here; Undo) → agent tools (C1) → screens (C2).

Codex (gpt-6.1-sol, high) reviewed it in three rounds: round 1 found 3 P1, 7 P2 and 1 P3; round 2 found 1 P1, 2 P2 and 1 P3; round 3 judged it ready with no findings. Step 5 has not started.

🤖 Generated with Claude Code