You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
fix(pins): align internal refs to newest released tags (#717 closure wave) - #5
Closure alignment for opencharly/charly#717. This repo's internal @github refs were stale, so
the closure composed pre-cutover (version-stamped) plugin tags. Aligned to newest released
tags so this repo composes no stamped tag.
Gate 2 — the repo's own ADE plan: gate: this repo carries 2plan: blocks (its
candies' ADE plans), which run in charly's composition; the repo itself is a candy/source repo
(no per-repo disposable bed).
Per the scoped operator gate waiver (@aitrawog, comment 5924286901): a candy-repo
ref-alignment's per-PR gate is charly box validate (ref-resolving) + the repo's ADE plan; the composition is proven once, batched, on the assembled check-commands-local bed after the
wave's releases land (an unreleased pin has no reachable bed — proven on charly#738).
GATE WAIVER — operator-authorized, scoped to the opencharly/charly#717 closure wave.
For a candy-REPO ref-alignment PR in the #717 closure wave — a charly.yml edit that only re-pins@github.com/opencharly/<candy>:<tag> refs to their newest released tags — the per-PR verification gate is:
charly box validate on the changed tree (it resolves the refs: a nonexistent tag errors, so a bad pin fails — RDD-proven), and
the repo's own ADE plan: gate, where the repo carries one.
The composition proof is not required per-PR: it is proven once, batched, on the assembled check-commands-local bed run after ALL wave releases land (each repo then resolves at its released tag).
Why the per-PR disposable: true bed is waived: an unreleased pin has no reachable bed — a consumer bed resolves the repo at its published (old) release and runs the welded binary; the merge that would mint the release is exactly what that bed gates (a proven deadlock, charly#738/charly#717).
Scope: this waiver applies ONLY to the #717 closure ref-alignment PRs (the 12-repo worklist on charly#717) and the ref-alignment portion of charly#733/#745. It does not waive R10 for any behavioural/code change (plugin-pod#14/plugin-preempt#13 remain code changes gated by build+tests+their consumers).
— posted by @aitrawog at the operator's direction.
Head SHA: e49814d0d2b08b986f0278f5085927e7ac5c7538 (branch: feat/closure-align-3)
Security screen: PASS — 2-line charly.yml pin bump; both refs stay @github.com/opencharly/<same-repo>, no secrets/egress/eval, no gate/branch-protection edit in the diff. Checklist: All applicable rules PASS or NA. Placement: CORRECT (config-only; no core/sdk/candy capability movement; no alias/import change). A2/R10 composition bed deferred by a valid maintainer-set sign-off for proof that cannot exist before the wave's release mints (rule 3 / T4 extraordinary-reason clause). Comments considered: Comment 5925770770 (by @aitrawog) — scoped, reasoned gate waiver, posted by an account in the maintainer set (atrawog, aitrawog); it names the batched exit bed (check-commands-local) and the wave (charly#717), so it is not a forbidden R2 "follow-up" dodge. Disposition: verified-non-blocking (valid sign-off for the waived per-PR composition proof).
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Closure alignment for
opencharly/charly#717. This repo's internal@githubrefs were stale, sothe closure composed pre-cutover (version-stamped) plugin tags. Aligned to newest released
tags so this repo composes no stamped tag.
Refs changed: see the Files tab (
charly.yml).How tested
Gate 1 —
charly box validate(ref-RESOLVING; pasted):RDD proof that the gate is ref-resolving (a bad pin FAILS, so it distinguishes this change):
Gate 2 — the repo's own ADE
plan:gate: this repo carries 2plan:blocks (itscandies' ADE plans), which run in charly's composition; the repo itself is a candy/source repo
(no per-repo disposable bed).
Per the scoped operator gate waiver (
@aitrawog, comment 5924286901): a candy-reporef-alignment's per-PR gate is
charly box validate(ref-resolving) + the repo's ADE plan; thecomposition is proven once, batched, on the assembled
check-commands-localbed after thewave's releases land (an unreleased pin has no reachable bed — proven on
charly#738).Rulebook compliance
/charly-image:layer+/charly-internals:git-workflow.charly#717's subject; fixed at source.box validateused.box validateoutput is pasted above.box validateis green (0 warnings, 0 errors); the compositionbed is batched per the scoped waiver.
Change classification
Config/pin bump (candy repo). Gate:
charly box validate(ref-resolving; pasted) + the repo'sADE plan — per the scoped operator waiver.
Agent:
closure-align· sessionses_f26225bfffferfo4tnJQw1ePqMAssisted-by: OpenCode ollama-cloud/deepseek-v4.1-flash (analysed on a live system)