docs(hub): record the live git-carrier GitHub dogfood run (AD-1, spec/19 F.2)

[Reederey87]

Summary

• First live exercise of the AD-1 zero-infrastructure git carrier against a real private GitHub repo (git@github.com:Reederey87/devstrap-hub-dogfood.git), recorded as spec/19 §F.2 in the F.1 format; §F retitled "Live dogfood validation log" to cover all backends.
• Three simulated devices, 8 real (mostly private) project repos. All PASS: one-paste pairing (--fingerprint both sides), convergence, a deliberate concurrent two-device push race (both landed via the non-FF refetch-and-reapply loop), ciphertext-only carrier contents (plain git clone + grep — no plaintext), clean 1s non-interactive auth failure (exit exitAuth), hub compact bounding remote history 18 commits → 2, fresh-device snapshot bootstrap ("Recovering from hub snapshot…", materialized 8/8), hub gc, doctor --remote 25 ok / 0 errors, and the env-gated TestGitCarrierRealRemoteConformance PASS (26s) against a second disposable repo.
• No hub login, no bucket, no creds file — the zero-infrastructure claim held end-to-end.

Follow-ups recorded in the work log

• doctor --remote skips the workspace-id/HasEvents probe for git: hub ids (fix in flight).
• Quickstart-default swap now dogfood-unblocked (next PR).
• Polish: no ssh-add/access remedy hint on auth-class carrier failures.

Validation

• The live run itself (outputs quoted verbatim in §F.2).
• go run ./cmd/spec-drift --base origin/main --head HEAD — pass.

🤖 Generated with Claude Code

Summary by CodeRabbit

• Documentation
  • Updated the provisioning and work-log docs to reflect the latest review date.
  • Added a new live validation entry covering real-device dogfood testing for Git-based syncing.
  • Expanded guidance on live run setup, authentication behavior, race handling, and verification checks.
  • Recorded follow-up validation items for future testing.

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro Plus

Run ID: d86ffa18-bea3-456a-966f-488ddd14f08b

📥 Commits

Reviewing files that changed from the base of the PR and between 8792c2c and 5e01a86.

📒 Files selected for processing (2)

• spec/18_WORK_LOG.md
• spec/19_CLOUD_PROVISIONING_GUIDE.md

---

📝 Walkthrough

Walkthrough

This PR updates two specification documents to record a live two-device git-carrier (AD-1) dogfood validation run against a real private GitHub repository. Section F of the provisioning guide is retitled and expanded with a new F.2 subsection, and a corresponding work log entry is added. No code changes are included.

Changes

Dogfood Validation Documentation

Layer / File(s)	Summary
Provisioning guide updates spec/19_CLOUD_PROVISIONING_GUIDE.md	Updates last_reviewed timestamp, retitles Section F to "Live dogfood validation log" covering both R2 and git-carrier runs, and adds F.2 documenting multi-device pairing/sync, concurrent push races, ciphertext-only checks, auth failure behavior, and hub compact verification for the AD-1 git-carrier scenario.
Work log entry spec/18_WORK_LOG.md	Updates last_reviewed timestamp and prepends a new 2026-07-04 entry documenting the doc-only changes, validated commands, and follow-up items from the dogfood run.

Estimated code review effort: 1 (Trivial) | ~5 minutes

Possibly related PRs

• Reederey87/DevStrap#29: Overlapping updates to the same two files with related AD-1/HUB zero-infrastructure narrative.
• Reederey87/DevStrap#85: Extends the same Section F structure in spec/19_CLOUD_PROVISIONING_GUIDE.md with a new F.2 subsection and a matching work log entry.
• Reederey87/DevStrap#77: Adds another dated work log entry for the same 2026-07-04 validation wave in spec/18_WORK_LOG.md.

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Title check	✅ Passed	The title clearly describes the documented live AD-1 git-carrier dogfood run and the spec/19 §F.2 update.
Description check	✅ Passed	The description covers the summary, validation evidence, and follow-ups, though it doesn't use the exact Tests/Safety Checklist template.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch docs/git-carrier-dogfood-f2

---

_{Comment @coderabbitai help to get the list of available commands.}