Skip to content

docs(promotion): bind current control-plane state #394

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
EffortlessSteven merged 1 commit into from
Aug 4, 2026
Merged

docs(promotion): bind current control-plane state #394

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions plans/shiplog-swarm/current-promotion.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -115,10 +115,10 @@
- decision receipt: `EffortlessMetrics/shiplog-swarm#351` at `5861dffe341d6f42cd145fe154c215c1c29836ca`
- consumed by: `(active)`
- path: `.github/workflows/release.yml`
- reason: Canonical source retains explicitly authorized release-writer jobs and the source-side explicit-shell fix; swarm remains verification-only.
- reason: The source release writer remains authoritative while merged #391 carries the reviewed swarm candidate verification contract; this is a bounded rebind, not a transfer of release authority.
- source target: `175e8c8cee8110c4cf4a42d5534f5dffe45bf426`
- swarm target: `5861dffe341d6f42cd145fe154c215c1c29836ca`
- decision receipt: `EffortlessMetrics/shiplog-swarm#351` at `5861dffe341d6f42cd145fe154c215c1c29836ca`
- swarm target: `f99dcbd1ec331c9665b16748b2493bc0a4f0c25f`
- decision receipt: `EffortlessMetrics/shiplog-swarm#391` at `ac9308542fc6ec4daa1337bf81303bcf443542e1`
- consumed by: `(active)`
- path: `.github/workflows/security.yml`
- reason: Canonical source scheduled security verification declares read-only permissions and the swarm remediation handoff.
Expand Down
174 changes: 169 additions & 5 deletions plans/shiplog-swarm/promotion-state.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -423,12 +423,12 @@ swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "ec4b5257d46a4
[[source_authority]]
path = ".github/workflows/release.yml"
source_target = "175e8c8cee8110c4cf4a42d5534f5dffe45bf426"
swarm_target = "5861dffe341d6f42cd145fe154c215c1c29836ca"
decision_receipt = "EffortlessMetrics/shiplog-swarm#351"
decision_merge_sha = "5861dffe341d6f42cd145fe154c215c1c29836ca"
reason = "Canonical source retains explicitly authorized release-writer jobs and the source-side explicit-shell fix; swarm remains verification-only."
swarm_target = "f99dcbd1ec331c9665b16748b2493bc0a4f0c25f"
decision_receipt = "EffortlessMetrics/shiplog-swarm#391"
decision_merge_sha = "ac9308542fc6ec4daa1337bf81303bcf443542e1"
reason = "The source release writer remains authoritative while merged #391 carries the reviewed swarm candidate verification contract; this is a bounded rebind, not a transfer of release authority."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "77c5ff31f0da4c15c4e9b1c3590b66ff34d95e35" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "1c8f97214cf86f0578d4d1678ff92b3f31673d94" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "1ca5135cfcbfcf657fe651274c9870197c52a011" }

[[source_authority]]
path = ".github/workflows/security.yml"
Expand Down Expand Up @@ -840,6 +840,7 @@ swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "f6e7f7318120a
[[transition]]
source_pr = "EffortlessMetrics/shiplog#682"
source_merge_sha = "2f69daf921d74fb9472584c2a0df31857cfa2384"
consumed_by = "EffortlessMetrics/shiplog-swarm#393"
source_target = "175e8c8cee8110c4cf4a42d5534f5dffe45bf426"
swarm_target = "f2f4847b062f7de4a97a8370fe6328ab8d8b03b1"

Expand Down Expand Up @@ -917,6 +918,7 @@ swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "c20a2c67ce8eb
[[transition]]
source_pr = "EffortlessMetrics/shiplog#682"
source_merge_sha = "2f69daf921d74fb9472584c2a0df31857cfa2384"
consumed_by = "EffortlessMetrics/shiplog-swarm#394"
source_target = "175e8c8cee8110c4cf4a42d5534f5dffe45bf426"
swarm_target = "16fcbd5941bddf86afab4370b03f3bda05d01413"

Expand Down Expand Up @@ -1006,6 +1008,7 @@ swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "52a70a45f050a
[[transition]]
source_pr = "EffortlessMetrics/shiplog#682"
source_merge_sha = "2f69daf921d74fb9472584c2a0df31857cfa2384"
consumed_by = "EffortlessMetrics/shiplog-swarm#394"
source_target = "175e8c8cee8110c4cf4a42d5534f5dffe45bf426"
swarm_target = "5c12405e3fd239aea4cdd71e03bcf52662fc7a4a"

Expand Down Expand Up @@ -1074,6 +1077,7 @@ swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "52a70a45f050a
[[transition]]
source_pr = "EffortlessMetrics/shiplog#682"
source_merge_sha = "2f69daf921d74fb9472584c2a0df31857cfa2384"
consumed_by = "EffortlessMetrics/shiplog-swarm#393"
source_target = "175e8c8cee8110c4cf4a42d5534f5dffe45bf426"
swarm_target = "04b26bad6c9037987278774056bbc901795b2172"

Expand Down Expand Up @@ -1106,3 +1110,163 @@ decision_merge_sha = "08f93314a62fa039493487bf008239d7f5648b4e"
reason = "The reviewed #389 living release procedure supersedes the older source-side transition copy for this bounded promotion; this decision does not grant permanent swarm authority."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "126d86717c1e6c74602b979fc628b81bcf011054" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "63c5990cb88c0f84cab199e24223e9b4c9bf1bf5" }

# PR #388, #392, and #393 changed paths covered by the older #384 and #382
# bindings. Rebind their exact current results together so the next planner
# run has one coherent, evidence-bearing ledger entry.
[[transition]]
source_pr = "EffortlessMetrics/shiplog#682"
source_merge_sha = "2f69daf921d74fb9472584c2a0df31857cfa2384"
source_target = "175e8c8cee8110c4cf4a42d5534f5dffe45bf426"
swarm_target = "f99dcbd1ec331c9665b16748b2493bc0a4f0c25f"

@chatgpt-codex-connector chatgpt-codex-connector Bot Aug 4, 2026

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Extend pending receipts through the bound swarm head

Failure mode: Planning the newly bound f99dcbd head produces an incomplete source-promotion receipt: included_swarm_prs in xtask/src/tasks/promote.rs returns the nonempty pending.swarm_pr_range verbatim instead of inspecting Git, but that range still ends at #381 and therefore omits merged #388, #389, #391, #392, and #393 (as well as the #383/#384 rebinds) that are present before this target. Why here: this line activates decisions for the later head without extending the manifest list, so the generated PR body understates the promoted scope. Fix direction: add every merged PR through f99dcbd to pending.swarm_pr_range and regenerate current-promotion.md. Validation: rerun the exact-head dry-run and confirm its included_swarm_prs matches the Git range. Confidence: high.

AGENTS.md reference: AGENTS.md:L32-L38

Useful? React with 👍 / 👎.


[[transition.path]]
path = "plans/shiplog-swarm/transition-decisions.md"
disposition = "missing_in_swarm"
resolution = "discard_source"
decision_receipt = "EffortlessMetrics/shiplog-swarm#393"
decision_merge_sha = "f99dcbd1ec331c9665b16748b2493bc0a4f0c25f"
reason = "The reviewed #393 ledger decision records the exact current runbook reconciliation; its swarm decision record supersedes the older source-side transition copy for this bounded promotion."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "bbe7516331ab7e132aea0026049d61cb1040accd" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "f0c203b7008e905f1713d01173527ca131ebbbca" }

[[transition.path]]
path = "AGENTS.md"
disposition = "missing_in_swarm"
resolution = "discard_source"
decision_receipt = "EffortlessMetrics/shiplog-swarm#391"
decision_merge_sha = "ac9308542fc6ec4daa1337bf81303bcf443542e1"
reason = "The reviewed #391 candidate-contract lane carries the current swarm development instructions for this bounded promotion."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "85abfd3f0b7fe11d1b5c2a98bd64f3e1159521b9" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "e1dfc9209c300491a4b42e56cdebb563fa449a15" }

[[transition.path]]
path = "docs/README.md"
disposition = "missing_in_swarm"
resolution = "discard_source"
decision_receipt = "EffortlessMetrics/shiplog-swarm#391"
decision_merge_sha = "ac9308542fc6ec4daa1337bf81303bcf443542e1"
reason = "The reviewed #391 candidate-contract lane carries the current swarm documentation index for this bounded promotion."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "f55e5925589924de865f7fbcee2bbf6e224daa79" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "970be8d0ad1e48e22a40759ae60c06e7c53fab93" }

[[transition.path]]
path = "policy/workflow-allowlist.toml"
disposition = "missing_in_swarm"
resolution = "discard_source"
decision_receipt = "EffortlessMetrics/shiplog-swarm#391"
decision_merge_sha = "ac9308542fc6ec4daa1337bf81303bcf443542e1"
reason = "The reviewed #391 candidate workflow pin update is the bounded current swarm policy result."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "f2f094ba53216b2b6476184f2367f99e888dd153" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "11d7a0c73fbc8c8e9b5ff20ec1fbd91a73407482" }

[[transition.path]]
path = "scripts/release-install-smoke.ps1"
disposition = "missing_in_swarm"
resolution = "discard_source"
decision_receipt = "EffortlessMetrics/shiplog-swarm#391"
decision_merge_sha = "ac9308542fc6ec4daa1337bf81303bcf443542e1"
reason = "The reviewed #391 Windows smoke-script repair is the bounded current swarm result."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "4aaf761d35ea724d9bd5436e7d3d307b2fe188a5" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "273dcdc503eef22b71f11cdd0e92fbe50eb80f6c" }

[[transition.path]]
path = "scripts/release-install-smoke.sh"
disposition = "missing_in_swarm"
resolution = "discard_source"
decision_receipt = "EffortlessMetrics/shiplog-swarm#391"
decision_merge_sha = "ac9308542fc6ec4daa1337bf81303bcf443542e1"
reason = "The reviewed #391 Unix smoke-script repair is the bounded current swarm result."
source_tree_entry = { mode = "100755", object_type = "blob", oid = "cb85c988d088895cebf69532e5775995b66b474f" }
swarm_tree_entry = { mode = "100755", object_type = "blob", oid = "0982f8f8c57f219d89ed8dc20035603999cbd81d" }

[[transition.path]]
path = "docs/status/SUPPORT_TIERS.md"
disposition = "missing_in_swarm"
resolution = "discard_source"
decision_receipt = "EffortlessMetrics/shiplog-swarm#388"
decision_merge_sha = "b816b6032e85ed698ae34ac1d60974cd6f8b8f53"
reason = "The reviewed #388 protected-workspace report repair is the bounded current swarm choice for this path; it does not grant permanent swarm authority."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "301913b6034d03b6fce6b1adb4ad48b22a89bac7" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "aaaba9333407e0380f6dcf28d65147120bd9ded5" }

[[transition.path]]
path = "docs/xtask.md"
disposition = "missing_in_swarm"
resolution = "discard_source"
decision_receipt = "EffortlessMetrics/shiplog-swarm#388"
decision_merge_sha = "b816b6032e85ed698ae34ac1d60974cd6f8b8f53"
reason = "The reviewed #388 protected-workspace report repair is the bounded current swarm choice for this path; it does not grant permanent swarm authority."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "6fcb4394cfaa1323a355cb627c100fd429bed27c" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "fd3b42375c5d63337eca64b3e317f35ae954f47f" }

[[transition.path]]
path = "xtask/src/tasks/repo_contract_report.rs"
disposition = "missing_in_swarm"
resolution = "discard_source"
decision_receipt = "EffortlessMetrics/shiplog-swarm#388"
decision_merge_sha = "b816b6032e85ed698ae34ac1d60974cd6f8b8f53"
reason = "The reviewed #388 report repair preserves protected-workspace artifacts and is the bounded current swarm choice for this path; it does not grant permanent swarm authority."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "fab37f26423e06a97326b521706c7067432a571f" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "5fe36aed687f9cf65babb3c8559de17a0ab54ec1" }

[[transition.path]]
path = "plans/shiplog-swarm/current-promotion.md"
disposition = "missing_in_swarm"
resolution = "discard_source"
decision_receipt = "EffortlessMetrics/shiplog-swarm#381"
decision_merge_sha = "1aee99e52e47f851269336c19eee400e3de44d1a"
reason = "The generated current-promotion view remains the reviewed #381 bounded swarm result for this path."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "2cf46f2668123bb939bd5c92beb02f8e375a5664" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "481ce9db1942c7a363e5cf2988c7e72d934e2512" }

[[transition.path]]
path = "xtask/src/tasks/promote.rs"
disposition = "missing_in_swarm"
resolution = "discard_source"
decision_receipt = "EffortlessMetrics/shiplog-swarm#392"
decision_merge_sha = "1bdfab7591b8a4aea29836509ba6e9dbde30e75c"
reason = "The reviewed #392 planner repair rejects lossy Git output and is the bounded current swarm choice for this path."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "3d58577fa9e518b76d22c266b8c861f6dca36335" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "2cc6880d6185679ebd2c7bfd7c6af70a2cc2a39a" }

[[transition.path]]
path = "xtask/src/cli.rs"
disposition = "missing_in_swarm"
resolution = "discard_source"
decision_receipt = "EffortlessMetrics/shiplog-swarm#381"
decision_merge_sha = "1aee99e52e47f851269336c19eee400e3de44d1a"
reason = "The reviewed #381 CLI path remains the bounded swarm result for this promotion."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "9eef06e823d210c51c5190fd8fe52475983d0d45" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "0e10f34fa8ea89a8a3f3f758dea82473774e2c14" }

[[transition.path]]
path = "xtask/src/tasks/promotion_body.rs"
disposition = "missing_in_swarm"
resolution = "discard_source"
decision_receipt = "EffortlessMetrics/shiplog-swarm#381"
decision_merge_sha = "1aee99e52e47f851269336c19eee400e3de44d1a"
reason = "The reviewed #381 promotion-body path remains the bounded swarm result for this promotion."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "ca9b020eb9ecc5f7b423de02120b6a99fbbbe21e" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "52a70a45f050acf06523ad89bf3077dae997b356" }


# PR #393 materialized the preceding manifest update. Its evidence target is
# the parent of #393; the self-referential path remains active while this
# follow-up materializes the next ledger entry.
[[transition]]
source_pr = "EffortlessMetrics/shiplog#682"
source_merge_sha = "2f69daf921d74fb9472584c2a0df31857cfa2384"
source_target = "175e8c8cee8110c4cf4a42d5534f5dffe45bf426"
swarm_target = "08f93314a62fa039493487bf008239d7f5648b4e"

[[transition.path]]
path = "plans/shiplog-swarm/promotion-state.toml"
disposition = "missing_in_swarm"
resolution = "discard_source"
self_referential = true
decision_receipt = "EffortlessMetrics/shiplog-swarm#393"
decision_merge_sha = "f99dcbd1ec331c9665b16748b2493bc0a4f0c25f"
reason = "The reviewed #393 manifest is the exact bounded promotion ledger; this self-referential binding records its source entry and the pre-#393 swarm result while allowing later manifest materialization."
source_tree_entry = { mode = "100644", object_type = "blob", oid = "bf3cbaa556a3b3249f952742bb2c6b28847f3876" }
swarm_tree_entry = { mode = "100644", object_type = "blob", oid = "fcd885aacf2233fd38625ff9051c038b500a6f4f" }
Loading