Skip to content

Commit eaa3ceb

Browse files
author
Arena Agent
committed
Merge branch 'codex/proof-stack-merge-20260907' into coderabbit/document-pr-functions/04c50ac3
2 parents fc80efb + e1a02e6 commit eaa3ceb

40 files changed

Lines changed: 299 additions & 297 deletions

‎.github/dependabot.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ updates:
99
actions:
1010
patterns:
1111
- "*"
12+
open-pull-requests-limit: 2
1213

1314
# Rust dependencies. Keep every Cargo project in one update entry so the
1415
# open-PR limit applies to the fleet as a whole, rather than once per bot.

‎.github/workflows/actions.lock‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ workflows:
1818
- 'github/codeql-action@v4.37.8'
1919
'.github/workflows/dogfood-gate.yml':
2020
- 'actions/checkout@v7.0.1'
21-
- 'hyperpolymath/a2ml-ecosystem@main'
21+
- 'hyperpolymath/deed-ecosystem@main'
2222
- 'hyperpolymath/k9-ecosystem@main'
2323
'.github/workflows/e2e.yml':
2424
- 'actions/checkout@v7.0.1'
@@ -117,14 +117,14 @@ dependencies:
117117
commit: 'sha1-6037f33647c3f17758a2356c80fc4a53d7e0685d'
118118
owner_id: 75048950
119119
repo_id: 623796603
120-
'hyperpolymath/a2ml-ecosystem@main':
120+
'hyperpolymath/deed-ecosystem@main':
121121
ref: 'main'
122-
commit: 'sha1-aa4b836bd969df2bc58128cb8e3d20bbc88d5e79'
122+
commit: 'sha1-f7a40a4d5cc82b2e73f861119baa6818d77a448d'
123123
owner_id: 6759885
124124
repo_id: 1275649586
125125
'hyperpolymath/k9-ecosystem@main':
126126
ref: 'main'
127-
commit: 'sha1-89f3c2702f4f650a92aa7411502f38da06abd562'
127+
commit: 'sha1-2155aa26a21758f2ba119f61bc7e0e1981c106fb'
128128
owner_id: 6759885
129129
repo_id: 1275650185
130130
'hyperpolymath/smtp-notify-action@v0.2.0':

‎.github/workflows/boj-build.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
# This workflow is managed by gh actions-lock.
12
# SPDX-License-Identifier: MPL-2.0
23
# This workflow is managed by gh actions-lock.
34
# This workflow is managed by gh actions-lock.

‎.github/workflows/casket-pages.yml‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
# This workflow is managed by gh actions-lock.
12
# SPDX-License-Identifier: MPL-2.0
23
# This workflow is managed by gh actions-lock.
34
name: GitHub Pages
@@ -202,4 +203,4 @@ jobs:
202203
steps:
203204
- name: Deploy to GitHub Pages
204205
id: deployment
205-
uses: actions/deploy-pages@v5.0.0
206+
uses: actions/deploy-pages@v5.0.1

‎.github/workflows/codeql.yml‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
# This workflow is managed by gh actions-lock.
12
# SPDX-License-Identifier: MPL-2.0
23
# This workflow is managed by gh actions-lock.
34
# This workflow is managed by gh actions-lock.
@@ -47,12 +48,12 @@ jobs:
4748
uses: actions/checkout@v7.0.1
4849

4950
- name: Initialize CodeQL
50-
uses: github/codeql-action/init@v4.37.8
51+
uses: github/codeql-action/init@v4.38.0
5152
with:
5253
languages: ${{ matrix.language }}
5354
build-mode: ${{ matrix.build-mode }}
5455

5556
- name: Perform CodeQL Analysis
56-
uses: github/codeql-action/analyze@v4.37.8
57+
uses: github/codeql-action/analyze@v4.38.0
5758
with:
5859
category: "/language:${{ matrix.language }}"

‎.github/workflows/dogfood-gate.yml‎

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
# This workflow is managed by gh actions-lock.
12
# SPDX-License-Identifier: MPL-2.0
23
# This workflow is managed by gh actions-lock.
34
# This workflow is managed by gh actions-lock.
@@ -46,7 +47,7 @@ jobs:
4647
4748
- name: Validate A2ML manifests
4849
if: steps.detect.outputs.count > 0
49-
uses: hyperpolymath/a2ml-ecosystem/validate-action@main
50+
uses: hyperpolymath/deed-ecosystem/validate-action@main
5051
with:
5152
path: '.'
5253
strict: 'false'
@@ -150,7 +151,7 @@ jobs:
150151
# Checks for: zero-width spaces, zero-width joiners, BOM, soft hyphens,
151152
# non-breaking spaces, null bytes, and other invisible Unicode in source files.
152153
set +e
153-
PATTERNS='\xc2\xa0|\xe2\x80\x8b|\xe2\x80\x8c|\xe2\x80\x8d|\xef\xbb\xbf|\xc2\xad|\xe2\x80\x8e|\xe2\x80\x8f|\xe2\x80\xaa|\xe2\x80\xab|\xe2\x80\xac|\xe2\x80\xad|\xe2\x80\xae|\x00'
154+
PATTERNS='(*UTF)[\x00-\x08\x0B\x0C\x0E-\x1F\x{a0}\x{ad}\x{200b}-\x{200f}\x{202a}-\x{202f}\x{2060}\x{2066}-\x{2069}\x{feff}]'
154155
find "$GITHUB_WORKSPACE" \
155156
-not -path '*/.git/*' -not -path '*/node_modules/*' \
156157
-not -path '*/.deno/*' -not -path '*/target/*' \
@@ -161,7 +162,7 @@ jobs:
161162
-o -name '*.yml' -o -name '*.yaml' -o -name '*.md' -o -name '*.adoc' \
162163
-o -name '*.idr' -o -name '*.zig' -o -name '*.v' -o -name '*.jl' \
163164
-o -name '*.gleam' -o -name '*.hs' -o -name '*.ml' -o -name '*.sh' \) \
164-
-exec grep -Prl "$PATTERNS" {} \; > /tmp/empty-lint-results.txt 2>/dev/null
165+
-exec grep -aPl "$PATTERNS" {} + > /tmp/empty-lint-results.txt 2>/dev/null
165166
EL_EXIT=$?
166167
set -e
167168

‎.github/workflows/e2e.yml‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
# This workflow is managed by gh actions-lock.
12
# SPDX-License-Identifier: MPL-2.0
23
# This workflow is managed by gh actions-lock.
34
# This workflow is managed by gh actions-lock.
@@ -21,3 +22,5 @@ jobs:
2122
run: pip install pyyaml --quiet
2223
- name: Run E2E tests
2324
run: bash tests/e2e.sh
25+
- name: Verify canonical descriptile policy repair
26+
run: bash tests/retired-descriptile-policy-test.sh

‎.github/workflows/governance.yml‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
# This workflow is managed by gh actions-lock.
12
# SPDX-License-Identifier: MPL-2.0
23
# This workflow is managed by gh actions-lock.
34
# This workflow is managed by gh actions-lock.
@@ -34,4 +35,4 @@ permissions:
3435

3536
jobs:
3637
governance:
37-
uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@092dedada188f56c5915f74a5fd40aac093742c3 # main 2026-09-04
38+
uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@da2c748aad55c1a1dcba00b60fe4a35017bc6540

‎.github/workflows/hypatia-dispatch-intake.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
# This workflow is managed by gh actions-lock.
12
# SPDX-License-Identifier: MPL-2.0
23
# This workflow is managed by gh actions-lock.
34
# This workflow is managed by gh actions-lock.

‎.github/workflows/hypatia-scan.yml‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
# This workflow is managed by gh actions-lock.
12
# SPDX-License-Identifier: MPL-2.0
23
# This workflow is managed by gh actions-lock.
34
# This workflow is managed by gh actions-lock.
@@ -30,7 +31,7 @@ permissions:
3031

3132
jobs:
3233
hypatia:
33-
uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@571cc734cd69fb846032ec77a662aa8ee4fc32cd
34+
uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@da2c748aad55c1a1dcba00b60fe4a35017bc6540
3435
secrets: inherit
3536
# Total caller-side wall-clock cap for the reusable. Matches
3637
# Hypatia's `missing_timeout_minutes` rule expectation. The scan is

0 commit comments

Comments
 (0)