Repository navigation
Fix dangling prose pointers to migrated docs (HANDOFF.md, context.md, docs/fdroid.md) #223
Description
Follow-up from #221 / design review F5, filed before #221 closes as the design requires.
After PR #222 merged (merge commit e4e261a), 29 repo docs were deleted after migration to Notion. Kept files still contain prose pointers to three of the deleted paths, which now dangle:
.autopilot/*→HANDOFF.mdandcontext.mddistribution/**→docs/fdroid.md
These are prose only — Stage 4 review on #221/#222 verified nothing in code, workflows, scripts, or check:versions reads or executes these paths (the only functional docs reference in the repo is docs/playstore.md, which was NOT deleted). So nothing is broken functionally; the pointers are stale for human readers.
Fix: update those prose pointers to the Notion pages that now hold the content:
- HANDOFF.md → https://app.notion.com/p/40bac25eb49f819f8983f6d5f98351c0
- context.md → https://app.notion.com/p/40bac25eb49f813bae1beb622bbec90b
- docs/fdroid.md → https://app.notion.com/p/40bac25eb49f81ab9e9eeaf4dcc0481e
Scope limits: prose files only (.autopilot/, distribution/**). Do not change applicationId cc.agentlabs.opencode. No v tag.
Activity
dzianisv commentedon Nov 1, 2026
Claim — in progress
Overflow lead session
b63c7560-22df-4c06-b209-82a7233b11e6(agent id same), dispatched by the OpenCode Mobile Supervisor (opencode-hourly).Stage 0 check (2026-11-01): issue open, 0 comments, no competing claim; open PRs are unrelated external ones (#209/#218/#220 etc. — untouched); main head verified
e4e261a0c8bef5ce7237493270f9a7ab049c8688(PR #222 merge).Scope: prose-only repointing of dangling references to deleted docs, in
.autopilot/*anddistribution/**only:HANDOFF.md→ https://app.notion.com/p/40bac25eb49f819f8983f6d5f98351c0context.md→ https://app.notion.com/p/40bac25eb49f813bae1beb622bbec90bdocs/fdroid.md→ https://app.notion.com/p/40bac25eb49f81ab9e9eeaf4dcc0481eFull repo-tree grep first; any occurrence outside the scoped paths is reported, not touched. No code changes, no new tests, applicationId
cc.agentlabs.opencodeuntouched, branch + PR, no v* tag.dzianisv commentedon Nov 1, 2026
Design done (Stage 2 review complete)
No PRD/Design doc exists for this project — the design is this issue's scope, reviewed for completeness against the Plan page and a full-tree grep (443 text blobs scanned).
Design review outcome: rows 1–14 fully specified (treatment rules: historical lines keep tense/hashes verbatim, only the locator changes to
the former HANDOFF file … (now in Notion: <url>); section hints like §RENDER-CHECK stay as plain prose next to the URL, no #fragments; backticked path tokens lose backticks so URLs are clickable).Gap G1 found and ADOPTED by the lead:
.autopilot/state.md:183—- Owner push (19 commits) + tag v0.4.4 — HANDOFF §0. …is a bare-name pointer (no.md) to the deleted HANDOFF doc, inside scope. It becomes line 15, treated under the historical rule:— the former HANDOFF file, §0 (now in Notion: <HANDOFF url>).Out-of-scope occurrence filed separately:
docs/playstore.md:172→ follow-up issue #224. It is the only allowed repo-wide residue after this fix.Acceptance (Stage 4/6): zero
HANDOFF.md/context.md/docs/fdroid.mdstrings left in.autopilot/*+distribution/**; Notion URLs H×13, C×1, F×2 byte-identical, no fragments; diff touches only the 6 in-scope files, only the 15 specified lines; applicationId blobs unchanged (build.gradle 38b7fd391d6c020acd6d89260095f1b637ccc1b6, app.json 46971a423ab5c2851e840a06ea629349b5592b79); no new v* tag; test count unchanged.dzianisv commentedon Nov 1, 2026
Fix shipped (Stage 3) — PR #225: #225
Head
adee5a7dabe39432f81ee73e3a7a628b3e108603on branchdocs/223-dangling-pointers, base maine4e261a0c8bef5ce7237493270f9a7ab049c8688(re-verified unmoved before push). 6 files, 15 lines changed (the 14 specified + adopted G1 at state.md:183), prose only.Implementer self-verification: zero remaining
HANDOFF.md/context.md/docs/fdroid.mdstrings in the 6 files; URLs H×13, C×1, F×2 byte-identical, no fragments; section hints preserved (RENDER-CHECK ×3, "OWNER ACTIONS REQUIRED" ×1, §OWNER ACTIONS ×1, §0 on line 15); historical hashes/counts verbatim. Stage 4 independent review next.docs: repoint dangling prose pointers to migrated docs (Notion) (#225)
dzianisv commentedon Nov 1, 2026
Merged (Stage 5) — PR #225 squash-merged to main.
Merge SHA (API readback):
5d652dce01df7153dd25a2bc022a44e69f94cc95= current main head. Gate evidence: Stage 4 verdict comment 6554692611 (PASS, names head adee5a7) read back via API before merge; CI on that head all green — test ✓, Typecheck and unit tests ✓, Secret scan (gitleaks) ✓, build ✓ (06:52:21Z→~07:15Z), Unsigned iOS Simulator build ✓, build-fdroid skipped. Main head re-verified unmoved (e4e261a…) immediately before merge. No v* tag created (newest tag still v0.4.16) — nothing deployed; docs-only merge.Residuals: docs/playstore.md:172 dangling pointer → follow-up #224 (open). Stage 5.5 sync check + Stage 6 validation on merged main follow; issue closes only after both.
dzianisv commentedon Nov 1, 2026
Stage 5.5 — Design/PRD sync: checked — no update needed.
Stage 6 validation on merged main is next.
dzianisv commentedon Nov 1, 2026
Claim — Stage 6 only (Overflow lead, session 16a4ae8c-21d2-4ed9-a5e6-85acad8fe054): finishing post-merge validation for #223, superseding the dead lead session b63c7560-22df-4c06-b209-82a7233b11e6. Stages 0–5.5 already done per comments 6554856053 (merge, SHA 5d652dc) and 6554860576 (Stage 5.5: checked — no update needed). Validation only: no code changes, no push to main, no tag. Resuming the partial sweep in ~/workspace/opencode-docs-migration/i223/stage6/ (75/443 blobs scanned, 0 hits) and completing it via a separate validation subagent.
dzianisv commentedon Nov 1, 2026
Stage 6 — PASS (Overflow lead session 16a4ae8c-21d2-4ed9-a5e6-85acad8fe054; validation by separate validation subagents, never the implementer)
Evidence at main head 5d652dc (re-read via API):
Verdict: PASS. Closing #223. Residual classified: follow-up issue #224 only; merged-not-deployed applies to the underlying docs change until Den cuts a release tag (no tag created by this task).
docs: repoint playstore.md F-Droid pointer to migrated Notion doc (#226)