Repository navigation
chore(docs): advance terminal docs pin (CTX-1318) - #2214
Conversation
Advance the `docs` gitlink from 14da6142 to Terminal Docs main 2b027ccddc318e882e19af0b81d48b355bb8eb9d, the head that includes the specification-spine repair for interfaces/provider-contracts.md (docs PR #244). Re-audit of the pin range 14da6142..2b027ccdd against product base c432da8 returns CLEAN: findings F1 (ligature-decision draft/PB-6), F2 (extension-execution-mediation confinement/spawn-ledger), F3 (cli --no-splash), F4 (small-core-capability-floor piccolo), F5 (cli pending-merge wording), F6 (IME status index row), and F7 (provider-contracts specification spine) are all repaired at the target. Closes #2207
|
Note Currently processing new changes in this PR. This may take a few minutes, please wait... ⚙️ Run configuration
📒 Files selected for processing: 1
✨ Finishing Touches
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
Xuepoo
left a comment
There was a problem hiding this comment.
Independent review — LGTM (separate agent, not the author)
Reviewed head: e1166db477f2fafa576df2f5bfe88cbd10fab4aa (branch ctx-1318/chore-docs-pin).
Checks performed (numbered, exit codes captured directly — not through a pipe):
gh pr view 2214 --json ...— files =docsonly (+1/-1, MODIFIED); labelschore,P1,area:docs; milestone0.0.24; body closes #2207.gh pr diff 2214— the single gitlink lineindex 14da6142..2b027ccd 160000; no other path touched.bitty-terminal-docs origin/main=2b027ccddc318e882e19af0b81d48b355bb8eb9d— exact match to the new pin.git ls-tree e1166db4 -- docs→160000 commit 2b027ccddc318e882e19af0b81d48b355bb8eb9d docs— new pin is a real reachable commit in the gitlink slot (a gitlink cannot becat-ed as a blob;git show :docs= 128 is expected, not a defect).git merge-base --is-ancestor 14da6142 origin/main→ RC=0 — the old pin is a true ancestor of the new pin (forward range advance, no rewind).
All judgements pass: diff is gitlink-only; new pin == current Terminal Docs main; forward advance only; real commit; labels/milestone present. Cumulative pin audit (CTX-1318 method) verdict at 2b027cc was CLEAN for F1–F7. Docs mount is an unbuilt submodule pin, so this change cannot affect build or test outcomes.
Verdict: LGTM — merge gate: green checks + this verdict (docs/gitlink-only, --admin).
Summary
Advance the
docsgitlink pin to Terminal Docsmain2b027ccddc318e882e19af0b81d48b355bb8eb9d, the head that includes thespecification-spine repair for
interfaces/provider-contracts.md(docs PRbitty-terminal/bitty-terminal-docs#244).
Re-audit (CTX-1318 method)
Re-audit of the pin range
14da6142..2b027ccddagainst product basec432da86returns CLEAN. All named findings are repaired at the target:specifications/ligature-decision.mdpromoted draft RFC / PB-6 claimarchitecture/extension-execution-mediation.mdstale confinement/spawn-ledgerinterfaces/cli.mddocumented removed--no-splashspecifications/small-core-capability-floor.mdstale piccolo dependencyinterfaces/cli.mdresidual pending-merge wordingspecifications/README.md)interfaces/provider-contracts.mdmissing specification spineBetween
6ff51249(prior audit target) and2b027ccdd, the only changed fileis
interfaces/provider-contracts.md, which now carries the full specificationspine.
Change
Single
docsgitlink entry:14da6142->2b027ccdd.Closes #2207
Summary by CodeRabbit