fix(integration): make mirror proof executable #125

Open
triform-admin wants to merge 0 commits from agent/unattributed-witness-20260803 into main

Adds the documented post-fast-forward mirror proof as an executable, fail-closed repository command. It verifies exact origin/main == github/main == the gated SHA, with a regression test covering a stale mirror and a CI hook.

The previous outcome-classification commits from this branch are already present on main at d3cde05.

Adds the documented post-fast-forward mirror proof as an executable, fail-closed repository command. It verifies exact origin/main == github/main == the gated SHA, with a regression test covering a stale mirror and a CI hook. The previous outcome-classification commits from this branch are already present on main at d3cde05.
fix(outcome): defer unattributed analyzer errors to compiler
All checks were successful
ci / build (pull_request) Successful in 1m48s
ci / rust-analyzer latency harness (S1 / AC#2) (pull_request) Has been skipped
ci / fmt (pull_request) Successful in 42s
ci / test (pull_request) Successful in 2m26s
ci / lane policy mutation proof (pull_request) Successful in 4m52s
ci / clippy (pull_request) Successful in 6m37s
ci / build (push) Successful in 2m57s
ci / lane policy mutation proof (push) Successful in 4m33s
s1-ac2-verdict S1_VERDICT: trait_err=879ms:PASS view_macro=600ms:PASS AC2=PASS D-A2=GO basis=cargo-check/warm-incremental reword="median save->verdict <1s via authoritative cargo-check (incl. view! macros); RA-native advisory-only, never authoritative"
ci / clippy (push) Successful in 10m45s
ci / test (push) Successful in 10m59s
ci / fmt (push) Successful in 14m30s
ci / rust-analyzer latency harness (S1 / AC#2) (push) Successful in 14m28s
d3cde05fcf
fix(integration): make mirror proof executable
Some checks failed
ci / build (pull_request) Successful in 1m29s
ci / rust-analyzer latency harness (S1 / AC#2) (pull_request) Has been skipped
ci / lane policy mutation proof (pull_request) Successful in 2m3s
ci / test (pull_request) Successful in 2m3s
ci / fmt (pull_request) Successful in 42s
ci / clippy (pull_request) Successful in 5m10s
ci / build (push) Successful in 2m31s
ci / lane policy mutation proof (push) Successful in 2m52s
ci / fmt (push) Successful in 3m50s
ci / clippy (push) Successful in 3m49s
ci / test (push) Failing after 5m14s
s1-ac2-verdict S1_VERDICT: trait_err=1038ms:FAIL view_macro=763ms:PASS AC2=FAIL D-A2=NO-GO basis=cargo-check/warm-incremental reword="authoritative cargo-check median >=1s or fidelity gap; renegotiate AC#2 with evidence; RA-native advisory-only"
ci / rust-analyzer latency harness (S1 / AC#2) (push) Successful in 8m12s
5826105742
iggy changed title from fix(outcome): defer unattributed analyzer errors to compiler to fix(integration): make mirror proof executable 2026-08-03 12:09:09 +00:00
Some checks failed
ci / build (pull_request) Successful in 1m29s
ci / rust-analyzer latency harness (S1 / AC#2) (pull_request) Has been skipped
ci / lane policy mutation proof (pull_request) Successful in 2m3s
ci / test (pull_request) Successful in 2m3s
ci / fmt (pull_request) Successful in 42s
ci / clippy (pull_request) Successful in 5m10s
ci / build (push) Successful in 2m31s
ci / lane policy mutation proof (push) Successful in 2m52s
ci / fmt (push) Successful in 3m50s
ci / clippy (push) Successful in 3m49s
ci / test (push) Failing after 5m14s
s1-ac2-verdict S1_VERDICT: trait_err=1038ms:FAIL view_macro=763ms:PASS AC2=FAIL D-A2=NO-GO basis=cargo-check/warm-incremental reword="authoritative cargo-check median >=1s or fidelity gap; renegotiate AC#2 with evidence; RA-native advisory-only"
ci / rust-analyzer latency harness (S1 / AC#2) (push) Successful in 8m12s
This branch is already included in the target branch. There is nothing to merge.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin agent/unattributed-witness-20260803:agent/unattributed-witness-20260803
git switch agent/unattributed-witness-20260803

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main
git merge --no-ff agent/unattributed-witness-20260803
git switch agent/unattributed-witness-20260803
git rebase main
git switch main
git merge --ff-only agent/unattributed-witness-20260803
git switch agent/unattributed-witness-20260803
git rebase main
git switch main
git merge --no-ff agent/unattributed-witness-20260803
git switch main
git merge --squash agent/unattributed-witness-20260803
git switch main
git merge --ff-only agent/unattributed-witness-20260803
git switch main
git merge agent/unattributed-witness-20260803
git push origin main
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
triform/cargoless!125
No description provided.