Skip to content

fix(infra): make GitHub the honest authority - #73

Merged
forkwright merged 2 commits into
mainfrom
fix/github-primary-followup
Aug 26, 2026
Merged

fix(infra): make GitHub the honest authority#73
forkwright merged 2 commits into
mainfrom
fix/github-primary-followup

Conversation

@forkwright

Copy link
Copy Markdown
Owner

Summary

  • remove the Dependabot caller that cannot function in a non-Cargo repository
    under the shared Cargo-only verification contract
  • make GitHub the authoritative repository, pull-request, review, CI, and merge
    surface in contributor guidance
  • describe .kanon-ci.toml as a supplementary local Kanon recipe, not a live
    forge pipeline or independent merge verifier

Verification

No local build, test suite, or Kanon gate ran on Metis. git diff --check passed
on acb496e15591e1e6899a04b8cf44e543b4268ad9. This draft's public GitHub run is
the first exact-head execution of the active verifier.

Tracker and authority

Collision inventory

Honest residual

main currently has zero required status contexts. Issue #72 deliberately
sequences the operator-owned protection change after every surviving stale PR
emits the genuine gate / gate context on its current head.

Dependabot auto-merge remains absent in Dioptron until the shared reusable has a
real non-Cargo contract. No vacuous Cargo jobs substitute for that missing
mechanism.

@forkwright
forkwright marked this pull request as ready for review August 26, 2026 21:40
@forkwright
forkwright merged commit 9a9b73a into mainAug 26, 2026
5 checks passed
@forkwright
forkwright deleted the fix/github-primary-followup branch August 26, 2026 21:40
@github-actionsgithub-actionsBot mentioned this pull request Aug 26, 2026
Sign up for freeto 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

@forkwright