Skip to content

fix(ci): complete PR #618 migration recovery - #619

Merged
hyperpolymath merged 1 commit into
mainfrom
codex/standards-ci-followup
Aug 24, 2026
Merged

fix(ci): complete PR #618 migration recovery#619
hyperpolymath merged 1 commit into
mainfrom
codex/standards-ci-followup

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Summary

Follow-up to #618, which was squash-merged while its post-conflict checks were still failing.

  • regenerate registry from staged blobs so CI sees current source hashes
  • align Deno detection with the post-Deno root configuration contract
  • install scorecard verification dependencies in self-test
  • annotate justified Agda axioms for trusted-base enforcement
  • repin the nonexistent reusable-workflow SHA and refresh lock coverage
  • baseline the narrow cross-repository proof-template SD022 false-positive class

Validation

  • just validate passes
  • all 23 discovered scripts/tests/*-test.sh scripts pass locally
  • Mustfile: 16 pass, 1 manual, 0 blocking failures
  • scorecards: 82 grounded passes, 0 broken/unrunnable
  • 39/39 workflows duplicate-key clean and lockfile-complete
  • trusted-base: all 13 escape hatches documented

Ratchet-exception: add narrow, expiring baselines for the 6a2 authority conflict and cross-repository proof-template path false positives; tracked by standards#399.

Ratchet-exception: add narrow, expiring baselines for the 6a2 authority conflict and cross-repository proof-template path false positives; tracked by standards#399.
@gitar-bot

gitar-bot Bot commented Aug 24, 2026

Copy link
Copy Markdown

Important

You are using the Gitar free plan. Upgrade to unlock code review, CI analysis, auto-apply, custom automations, and more.

Gitar

@sonarqubecloud

Copy link
Copy Markdown

Quality Gate Failed Quality Gate failed

Failed conditions
C Security Rating on New Code (required ≥ A)

See analysis details on SonarQube Cloud

Catch issues before they fail your Quality Gate with our IDE extension SonarQube for IDE

@hyperpolymath
hyperpolymath merged commit f3139b7 into main Aug 24, 2026
24 of 32 checks passed
@hyperpolymath
hyperpolymath deleted the codex/standards-ci-followup branch August 24, 2026 11:51
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