Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .github/workflows/issue-gate.yml
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,8 @@ permissions:
jobs:
check-linked-issue:
runs-on: ubuntu-latest
# Closes #1059: bypass Issue Gate for trusted bots (Dependabot opens dep PRs without issues)
if: github.actor != 'dependabot[bot]' && github.actor != 'github-actions[bot]'
steps:
- name: Check for linked issues in PR
env:
Expand Down
4 changes: 4 additions & 0 deletions .github/workflows/l1-traceability.yml
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,8 @@ jobs:
check-traceability:
name: Check L1 TRACEABILITY
runs-on: ubuntu-latest
# Closes #1059: bypass L1 gate for trusted bots (Dependabot maintains deps, not features)
if: github.actor != 'dependabot[bot]' && github.actor != 'github-actions[bot]'
steps:
- name: Checkout repository
uses: actions/checkout@v4
Expand Down Expand Up @@ -138,6 +140,8 @@ jobs:
echo "### L1 TRACEABILITY Check Results" >> $GITHUB_STEP_SUMMARY
if [ "${{ needs.check-traceability.result }}" = "success" ]; then
echo "✅ All commits comply with L1 TRACEABILITY" >> $GITHUB_STEP_SUMMARY
elif [ "${{ needs.check-traceability.result }}" = "skipped" ]; then
echo "⏭️ L1 TRACEABILITY check skipped (trusted bot actor)" >> $GITHUB_STEP_SUMMARY
else
echo "❌ L1 TRACEABILITY violations detected" >> $GITHUB_STEP_SUMMARY
echo "" >> $GITHUB_STEP_SUMMARY
Expand Down
2 changes: 2 additions & 0 deletions .github/workflows/now-sync-gate.yml
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,8 @@ on:
jobs:
check-now-freshness:
runs-on: ubuntu-latest
# Closes #1059: bypass NOW Sync Gate for trusted bots (deps PRs don't touch docs/NOW.md)
if: github.actor != 'dependabot[bot]' && github.actor != 'github-actions[bot]'
steps:
- uses: actions/checkout@v4
with:
Expand Down
8 changes: 7 additions & 1 deletion docs/NOW.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,12 @@
# NOW -- Trinity t27 sync

Last updated: 2026-06-07
Last updated: 2026-06-08

## ci-bot-bypass -- bypass L1/Issue/NOW gates for trusted bots (Closes #1059)

- **WHERE** (CI only): three workflow files gain a job-level guard `if: github.actor != 'dependabot[bot]' && github.actor != 'github-actions[bot]'` -- `.github/workflows/l1-traceability.yml`, `.github/workflows/issue-gate.yml`, `.github/workflows/now-sync-gate.yml`. The L1 summary job gains an explicit `skipped` branch that prints `Skipped (trusted bot actor)` so the run page reads cleanly. No source, no specs, no codegen, no conformance JSON, no `gen/` artefacts touched.
- **Why**: Dependabot opened #1057 (rusqlite 0.40.1) and #1058 (chrono 0.4.45). Both PRs failed all three gates simultaneously because bots cannot reference issues with `Closes #N` and do not update `docs/NOW.md` for routine dependency bumps. The failures were structural, not substantive. After this PR merges, trusted-bot PRs SKIP the three gates (not FAIL); human PRs remain fully gated by Constitutional Law L1. L6 untouched (gf16 SSOT and conformance JSON unchanged); L5 untouched (no silicon impact); L4 not applicable (workflow YAML, not a `.t27` spec). Acceptance: rerun #1057 and #1058 after merge -- all three gates show `skipped`.
- **Anchor**: phi^2 + phi^-2 = 3

## feat-gf-ladder-expansion-v1.2 -- GF ladder expansion v1.2 closed-form rule + Corona ROM CATALOG fix (Closes #1052)

Expand Down
Loading