Skip to content

fix(ci): lock record with nested uses for mirror.yml (startup_failure) - #1169

Merged
hyperpolymath merged 1 commit into
mainfrom
ci/mirror-nested-uses
Oct 6, 2026
Merged

hyperpolymath merged 1 commit into
mainfrom
ci/mirror-nested-uses

Conversation

@hyperpolymath

@hyperpolymath hyperpolymath commented Oct 6, 2026 •

Copy link
Copy Markdown
Owner

Summary

mirror.yml has been startup_failure on every head since 2026-10-05 (8 of 8 latest runs, last at 44a0de4). Two defects in its lock entry:

  1. The job-level record hyperpolymath/standards@571cc734 carries no nested uses: list. The working peers key the same kind of record with one: hyperpolymath/cicd-squabbler (mirror success at a4cd088) and metadatastician/burble.
  2. The callee mirror-reusable.yml@571cc734 pins dtolnay/rust-toolchain@6c977a6, which has no record in this lock.

This PR re-pins mirror.yml to b935e63 (current main). There, mirror-reusable.yml pins only already-recorded refs. It then generates the record with the repair chain, with no hand edits to actions.lock.

Relates to #992. It doesn't close it: the gate-text inversion that #992 describes is a separate defect.

Type of change

  • 🐛 Bug fix (non-breaking change that fixes an issue): mirror.yml creates no jobs today.
  • ✨ New feature: no.
  • 💥 Breaking change: no.
  • 🕳️ Soundness fix: no checker logic changes.
  • 📖 Documentation: no.
  • 🧹 Refactor / tech debt: no.
  • ⚡ Performance: no.
  • 🔧 Build / CI / tooling

📌 New pins

Head SHA: cb6face

  • mirror.yml → hyperpolymath/standards/.github/workflows/mirror-reusable.yml@b935e63937b1f1b5cbaeea7e375947d7b924038f (main at 2026-10-06, after fix(ledger): drop stale deed-conformance inline-python entry #1167). It was @571cc734.
  • actions.lock record hyperpolymath/standards@b935e63937b1f1b5cbaeea7e375947d7b924038f, with nested uses actions/checkout@3d3c42e5… (v7.0.1), dtolnay/rust-toolchain@7e38f4b4… and webfactory/ssh-agent@e8387483… (v0.10.0). All three were already recorded.
  • actions.lock record actions/setup-python@v2 (commit e9aba2c8…). close-lock closed this pre-existing dangling transitive edge: the asana/push-signed-commits@d615ca88 record (used by .github/actions/signed-push) names it, but it had no record.
  • hyperpolymath/standards@571cc734 is kept, because ci-pipeline.yml still names it. prune-stale confirmed this.

How has this been verified?

Commands run in the worktree at the head SHA:

  • scripts/complete-job-refs.sh added 1 ref. build-dep-records.sh, the 09-22 census generator that matched burble's record exactly, reported "RECORD …@b935e63 (nested uses: 3)". scripts/close-lock.sh: pass 1 found 1 dangling edge, pass 2 found 0. scripts/prune-stale.sh: done, 0 oracle vetoes.
  • .githooks/validate-actions-lock.sh (uses ⊆ actions.lock): rc=0.
  • scripts/check-lock-sync.sh: rc=0, "in sync … Job-level reusable-workflow refs included".
  • scripts/check-actions-lock-gate.sh and GH_BIN=gh scripts/update-actions-lock.sh --verify-local: rc=0.
  • gh actions-lock --no-fix --verify: rc=1, because signed-push-smoke.yml uses local path actions. This is identical on origin/main, measured in a throwaway detached worktree, so this PR doesn't cause it.

The platform error confirms the cause. It comes from the run page of main run 37485803576 (curl of the public page; the API gives only the generic "workflow file issue"): lockfile missing pin for actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1. That pin has a top-level record, so GitHub is resolving the callee's steps through the job-level record's nested uses:. The 571cc734 record has none, and the new b935e63 record lists exactly this pin.

The proof is the first mirror.yml run on main after merge. It must create jobs, not startup_failure. This workflow triggers only on a push to main or a dispatch. I did not dispatch it on this branch: the reusable runs git push --force <forge> main, and doing that from an unmerged branch could push the wrong tree to the mirrors. It is not proven until that post-merge run reads green or skipped.

Checklist

  • My commits are signed (git commit -S): %G? = G.
  • I ran the project's own checks locally: the four lock gates above pass, and gh actions-lock --verify fails the same way as on main.
  • New files carry the correct SPDX identifier: there are no new files.
  • Docs and claims: no docs change. This body says the fix is unproven until the run.
  • No soundness hole: lock data only, and no gate logic touched.

Notes for reviewers

  • Standards main is under Lock-Floor (no bypass), so this has to merge with governance / Actions lockfile verify and uses ⊆ actions.lock green.
  • Every actions.lock change came from the repair-chain tools. No sed and no hand edits.

🤖 Generated with Claude Code

https://claude.ai/code/session_012kgrMQRhSmZMBbF9Ui1zBw

mirror.yml has been startup_failure on every head since 2026-10-05. Its
lock record 571cc734 carries no nested `uses:`,
and the callee at that SHA pins dtolnay/rust-toolchain@6c977a6, which
has no record. Working peers (cicd-squabbler, mirror green; burble) key
the same kind of record WITH a nested uses list. Relates to #992.

Repin mirror.yml to b935e63 (its mirror-reusable pins only recorded
refs) and generate the record via the repair chain: complete-job-refs ->
build-dep-records -> close-lock -> prune-stale. close-lock also closed a
pre-existing dangling transitive edge, actions/setup-python@v2, named by
the asana/push-signed-commits record. The 571cc73 record stays:
ci-pipeline.yml still names it.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012kgrMQRhSmZMBbF9Ui1zBw
@coderabbitai

coderabbitai Bot commented Oct 6, 2026 •

Copy link
Copy Markdown
Contributor

Warning

Review limit reached

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Next included review available in 56 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

Learn how review limits work.

Review configuration:

⚙️ Run configuration
  • Configuration used: Organization UI
  • Review profile: ASSERTIVE
  • Plan: Advanced
  • Run ID: 59f77c76-a87b-4b97-8744-763aab7f504a
📥 Commits

Reviewing files that changed from the base of the PR and between b935e63 and cb6face.

⛔ Files ignored due to path filters (1)
  • .github/workflows/actions.lock is excluded by !**/*.lock
📒 Files selected for processing (1)
  • .github/workflows/mirror.yml
  • Autopilot · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

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.

❤️ Share

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

@github-actions

github-actions Bot commented Oct 6, 2026

Copy link
Copy Markdown
Contributor

K9 contract conformance

run https://github.com/hyperpolymath/standards/actions/runs/37498174105

K9 normative contract typecheck

k9_contract.ncl typechecks

K9 contract self-test

== the bash mirrors cannot drift from the normative contract ==
ok   leash_levels mirrors k9_contract.ncl
ok   core_capabilities mirrors k9_contract.ncl
ok   contract_version mirrors k9_contract.ncl
ok   schema_major mirrors k9_contract.ncl
== capability arithmetic (§8) ==
ok   capability_ok fs.read accepted
ok   capability_ok rollback.apply accepted
ok   capability_ok x-acme.gpu.alloc accepted
ok   capability_ok x-acme rejected
ok   capability_ok x-.gpu rejected
ok   capability_ok fs.delete rejected
ok   capability_ok  rejected
== the extractor ==
ok   extracts pedigree.security.leash
ok   extracts pedigree.component_type
ok   extracts pedigree.metadata.name
ok   pedigree leash is not reported as top-level leash
ok   required_capabilities for a quiet component
ok   required_capabilities follows allow_network
== the envelope strip keeps line numbers (§3.6) ==
ok   line 1 becomes a comment
ok   line count is preserved
ok   schema_version stays on line 5
== L3: signature presence is not verification (§10) ==
ok   no verifier -> K9-C001 is SKIPPED, never a pass
ok   the skip states presence does not authorise 'Hunt
ok   verifier accepts -> verdict 'Verified, no K9-C001 finding
ok   verifier refuses -> K9-C001 error, verdict 'Rejected
== the fixture runner's attribution cannot be fooled by a filename ==
ok   every extracted finding is well-formed rule+layer
ok   the rule that really fired is attributed
ok   a rule named only in the filename is NOT attributed
ok   K9-C001 is present as a skipped finding
ok   and that same finding is NOT extractable as a rejection
== no Nickel reserved word is used as an identifier ==
ok   the contract and all 27 fixtures avoid Nickel's reserved words

self-test: all assertions passed

K9 conformance fixtures

== positive controls (must pass) ==
ok   extension-capability.k9.ncl
ERROR   K9-N001 [L2] 1-formats/k9/tools/fixtures/valid/extension-fields.k9.ncl: component violates the K9.Component contract: error: contract broken by a value        extra fields `failure_mode_defenses`, `execution`    ┌─ /home/runner/work/standards/standards/1-formats/k9/tools/fixtures/valid/.k9-validate.9004.13147.driver.ncl:3:1    │  3 │ k9_doc | K9.Component 
FAIL extension-fields.k9.ncl should conform (exit 1)
ok   hunt-fully-granted.k9.ncl
ok   kennel-data.k9.ncl
ok   library-base.ncl
ok   yard-typed-config.k9.ncl

== negative controls (must fail, by the named rule) ==
ok   L0-K9-E001-bad-magic.k9.ncl (rejected by K9-E001 at L0)
ok   L0-K9-E002-nul-byte.k9.ncl (rejected by K9-E002 at L0)
ok   L0-K9-E003-crlf.k9.ncl (rejected by K9-E003 at L0)
ok   L0-K9-E004-no-spdx.k9.ncl (rejected by K9-E004 at L0)
ok   L0-K9-E005-unclaimed-body.k9.ncl (rejected by K9-E005 at L0)
ok   L0-K9-S012-library-with-pedigree.ncl (rejected by K9-S012 at L0)
ok   L0-K9-S014-stray-leash.ncl (rejected by K9-S014 at L0)
ok   L1-K9-S001-no-pedigree.k9.ncl (rejected by K9-S001 at L1)
ok   L1-K9-S002-wrong-major.k9.ncl (rejected by K9-S002 at L1)
ok   L1-K9-S003-todo-component-type.k9.ncl (rejected by K9-S003 at L1)
ok   L1-K9-S004-unknown-leash.k9.ncl (rejected by K9-S004 at L1)
ok   L1-K9-S005-missing-name.k9.ncl (rejected by K9-S005 at L1)
ok   L1-K9-S006-unknown-capability.k9.ncl (rejected by K9-S006 at L1)
ok   L1-K9-S007-ungranted-flag.k9.ncl (rejected by K9-S007 at L1)
ok   L1-K9-S008-hunt-signature-not-required.k9.ncl (rejected by K9-S008 at L1)
ok   L1-K9-S009-hunt-no-signature-block.k9.ncl (rejected by K9-S009 at L1)
ok   L1-K9-S010-hunt-empty-side-effects.k9.ncl (rejected by K9-S010 at L1)
ok   L1-K9-S011-recipes-at-yard.k9.ncl (rejected by K9-S011 at L1)
ok   L1-K9-S013-dangling-import.k9.ncl (rejected by K9-S013 at L1)
ok   L2-K9-N001-two-segment-version.k9.ncl (rejected by K9-N001 at L2)
ok   L2-K9-N001-wrong-field-type.k9.ncl (rejected by K9-N001 at L2)

fixtures: 6 positive, 21 negative (0 needing nickel), 1 failure(s)

@sonarqubecloud

sonarqubecloud Bot commented Oct 6, 2026

Copy link
Copy Markdown

@hyperpolymath
hyperpolymath merged commit 8464935 into main Oct 6, 2026
58 of 67 checks passed
@coderabbitai

coderabbitai Bot commented Oct 6, 2026

Copy link
Copy Markdown
Contributor

Add Carrot credits or activate Agent usage billing to use Autopilot

@hyperpolymath
hyperpolymath deleted the ci/mirror-nested-uses branch October 6, 2026 16:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant