Repository navigation
fix: harden security checks and separate K9/DEED governance evidence - #252
hyperpolymath wants to merge 7 commits into
Conversation
Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com> Signed-off-by: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com> Signed-off-by: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
…ntials Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com> Signed-off-by: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
…ical test fixtures Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com> Signed-off-by: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com> Signed-off-by: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com> Signed-off-by: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
Signed-off-by: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
|
You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard. |
|
Warning Review limit reachedYou've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository. Next included review available in 17 minutes. View limit details
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
|
|
Superseded by events: #243 was merged as |
## Fix Remove the second `timeout-minutes` key from the Julia job in `.github/workflows/ci.yml`. Retain the explicit 90-minute budget and all existing tests, relevance gates, and required context names. #243 merged as `a9fb609` with overlapping 90- and 60-minute YAML keys. Main workflow run `39990718300` consequently failed before jobs could start. This is a focused three-line repair, not a waiver of CI. This carries the exact tree of #247 (`46665dd`) onto the current session branch with the repository-required DCO signoff; #247's commit has no `Signed-off-by:`. The commit parent is current main `a9fb609`, with no merge commit and no other file changes. Duplicate replacement #252 was closed after #243 merged. ## Verification on the exact tree - Governance contract: **39/39 passed**; all **8 weakening mutations rejected** - CI producer/logger exit combinations: **4/4 passed**; K9 optional-log cases: **3/3 passed** - Scanner boundaries: working-tree and deleted-history shell credentials blocked without disclosure; Rust findings redacted; all six clean/error/finding AsciiDoc cases passed - Unique-key YAML parsing passed for **11 files**; `bash -n` passed for **84 embedded run blocks** - Equivalent local clone: full-history custom shell scan and real Gitleaks 8.30.1 working-tree/history scans clean - `git diff --check` passed - Post-#243 default-branch Scorecard run `39990720761` succeeded through analysis, SARIF upload, and artifact upload Julia/R execution requires hosted CI; no local runtime pass is claimed. #247's hosted run `39990855274` is testing the same tree, but this commit will also retain its own fresh checks. ## Scope - [x] Current-main ordinary commit with `Signed-off-by:` (DCO) - [x] Only `.github/workflows/ci.yml` changed - [x] No application, dependency, licence, generated, or vendored-file changes Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>



Change and reason
Supersedes #243 after
mainadvanced through #242 and #246. This branch is based directly on currentmain(d84400e) and preserves its leaf-PD regressions, existing secret-scan configuration, broader EditorConfig, and safe Scorecard triggers. The six #243 changes are retained as ordinary DCO-signed commits; no merge commit or stale-side reversion is used.Changes
Local verification
aws-access-tokenbash -npassed for 84 embedded run blocks and all standalone scriptsgit diff --checkpassedDeliberate review triage and limits
Scope
Signed-off-by:(DCO)