Development record
itd-7 has disembark write the RepoPrompt workspace file into the repository; the glossary defines disembark as reading the source repository without writing to it
itd-7 has disembark write the RepoPrompt workspace file into the repository; the glossary defines disembark as reading the source repository without writing to it
A premise contradiction (severity major) found by the cross-document consistency pass.
- End A:
.abcd/development/intents/planned/itd-7-rp-workspace-portability.md:20— "Whendev-syncruns (and as part of/abcd:disembark), abcd reads the project's RepoPrompt workspace definition from~/Library/Application Support/RepoPrompt/Workspaces/and writes it into.abcd/rp/workspace.jsonin the repo." - End B:
.abcd/development/brief/glossary/core/disembark.md:4— "reads a source repository without writing to it"
itd-7 has abcd write .abcd/rp/workspace.json into the repository "as part of /abcd:disembark", with dev-sync run as a pre-pack step. The canonical glossary entry defines disembark as packing that reads a source repository without writing to it, which is the read-only guarantee the lifeboat surface rests on. A disembark run cannot both write a file into the source tree and leave it unwritten, so itd-7 cannot be built as written without breaking that guarantee.
Evidence: .abcd/work/reviews/2026-10-26-consistency/00-summary.md, finding 995.
Grounds
- declined: Closed in the 2026-10-27 triage (dcn-2610271112330536) as a duplicate of iss-2610262031532231. Same End A (itd-7 line 20); the glossary defines disembark as reading the source without writing to it.
Frontmatter
| id | iss-2610262041227792 |
|---|---|
| type | issue |
| lifecycle | wontfix |
| severity | major |
.abcd/work/issues/wontfix/iss-2610262041227792-itd-7-has-disembark-write-the-repoprompt.md
open on GitHub ↗ · commit history ↗
References1
- itd-7Lifeboats Carry RepoPrompt Workspace Definitions Forwardrelated
mentions2
- dcn-26102711123305362026-10-27 — The product thinker accepted on 2026-10-27 the triage of the 1301 records the 2026-10-26 consistency pass filed. The duplicates, the records a later record already settles, the ones that are no contradiction and the one already fixed are closed with each reader's reason. Every other record gets its fix as its remedy, the rulings' accepted answers included, so a drain can take it. The 45 major records left open are deferred past v0.15.1, because the brief's single-home rewrite rewrites or removes most of the passages they quote. The person ruled the major rulings one at a time; the minor rulings take their recommended answers.
- iss-2610262031532231itd-7 has disembark's pre-pack step write .abcd/rp/workspace.json into the repository being read; invariant 6 says disembark never writes to the source.