Skip to content

build(deps): bump actions/github-script from 8.0.0 to 9.0.0#60

Merged
hyperpolymath merged 2 commits into
mainfrom
dependabot/github_actions/actions/github-script-9.0.0
May 22, 2026
Merged

build(deps): bump actions/github-script from 8.0.0 to 9.0.0#60
hyperpolymath merged 2 commits into
mainfrom
dependabot/github_actions/actions/github-script-9.0.0

Conversation

@dependabot
Copy link
Copy Markdown
Contributor

@dependabot dependabot Bot commented on behalf of github May 22, 2026

Bumps actions/github-script from 8.0.0 to 9.0.0.

Release notes

Sourced from actions/github-script's releases.

v9.0.0

New features:

  • getOctokit factory function — Available directly in the script context. Create additional authenticated Octokit clients with different tokens for multi-token workflows, GitHub App tokens, and cross-org access. See Creating additional clients with getOctokit for details and examples.
  • Orchestration ID in user-agent — The ACTIONS_ORCHESTRATION_ID environment variable is automatically appended to the user-agent string for request tracing.

Breaking changes:

  • require('@actions/github') no longer works in scripts. The upgrade to @actions/github v9 (ESM-only) means require('@actions/github') will fail at runtime. If you previously used patterns like const { getOctokit } = require('@actions/github') to create secondary clients, use the new injected getOctokit function instead — it's available directly in the script context with no imports needed.
  • getOctokit is now an injected function parameter. Scripts that declare const getOctokit = ... or let getOctokit = ... will get a SyntaxError because JavaScript does not allow const/let redeclaration of function parameters. Use the injected getOctokit directly, or use var getOctokit = ... if you need to redeclare it.
  • If your script accesses other @actions/github internals beyond the standard github/octokit client, you may need to update those references for v9 compatibility.

What's Changed

New Contributors

Full Changelog: actions/github-script@v8.0.0...v9.0.0

Commits
  • 3a2844b Merge pull request #700 from actions/salmanmkc/expose-getoctokit + prepare re...
  • ca10bbd fix: use @​octokit/core/types import for v7 compatibility
  • 86e48e2 merge: incorporate main branch changes
  • c108472 chore: rebuild dist for v9 upgrade and getOctokit factory
  • afff112 Merge pull request #712 from actions/salmanmkc/deployment-false + fix user-ag...
  • ff8117e ci: fix user-agent test to handle orchestration ID
  • 81c6b78 ci: use deployment: false to suppress deployment noise from integration tests
  • 3953caf docs: update README examples from @​v8 to @​v9, add getOctokit docs and v9 brea...
  • c17d55b ci: add getOctokit integration test job
  • a047196 test: add getOctokit integration tests via callAsyncFunction
  • Additional commits viewable in compare view

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [actions/github-script](https://github.com/actions/github-script) from 8.0.0 to 9.0.0.
- [Release notes](https://github.com/actions/github-script/releases)
- [Commits](actions/github-script@ed59741...3a2844b)

---
updated-dependencies:
- dependency-name: actions/github-script
  dependency-version: 9.0.0
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot Bot added dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code labels May 22, 2026
@dependabot dependabot Bot requested a review from hyperpolymath as a code owner May 22, 2026 22:36
@dependabot dependabot Bot added dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code labels May 22, 2026
@hyperpolymath hyperpolymath merged commit 943568a into main May 22, 2026
13 of 15 checks passed
@hyperpolymath hyperpolymath deleted the dependabot/github_actions/actions/github-script-9.0.0 branch May 22, 2026 22:48
@github-actions
Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 29 issues detected

Severity Count
🔴 Critical 3
🟠 High 6
🟡 Medium 20

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Issue in quality.yml",
    "type": "missing_workflow",
    "file": "quality.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in security-policy.yml",
    "type": "missing_workflow",
    "file": "security-policy.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Go file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/maa-framework/maa-framework/absolute-zero/examples/go/nop.go",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "User-defined Coq axiom -- not verified by kernel (3 occurrences, CWE-704)",
    "type": "coq_axiom",
    "file": "/home/runner/work/maa-framework/maa-framework/absolute-zero/proofs/coq/quantum/QuantumMechanicsExact.v",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "User-defined Coq axiom -- not verified by kernel (33 occurrences, CWE-704)",
    "type": "coq_axiom",
    "file": "/home/runner/work/maa-framework/maa-framework/absolute-zero/proofs/coq/quantum/QuantumCNO.v",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "User-defined Coq axiom -- not verified by kernel (3 occurrences, CWE-704)",
    "type": "coq_axiom",
    "file": "/home/runner/work/maa-framework/maa-framework/absolute-zero/proofs/coq/lambda/LambdaCNO.v",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "User-defined Coq axiom -- not verified by kernel (1 occurrences, CWE-704)",
    "type": "coq_axiom",
    "file": "/home/runner/work/maa-framework/maa-framework/absolute-zero/proofs/coq/category/CNOCategory.v",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "User-defined Coq axiom -- not verified by kernel (4 occurrences, CWE-704)",
    "type": "coq_axiom",
    "file": "/home/runner/work/maa-framework/maa-framework/absolute-zero/proofs/coq/common/CNO.v",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "User-defined Coq axiom -- not verified by kernel (13 occurrences, CWE-704)",
    "type": "coq_axiom",
    "file": "/home/runner/work/maa-framework/maa-framework/absolute-zero/proofs/coq/filesystem/FilesystemCNO.v",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

hyperpolymath added a commit that referenced this pull request May 27, 2026
… + 16-commit catch-up) (#83)

## Summary

Re-syncs maa-framework's vendored `absolute-zero/` tree from its
previous snapshot (16+ commits behind) up to current upstream HEAD
(commit `ab35c07`).

## Primary motivation: pull in standards#203 trusted-base work

| Upstream PR | Phase | Contents |
|-------------|-------|----------|
| absolute-zero#52 | seed | `docs/proof-debt.md` per standards#203
schema |
| absolute-zero#58 | 1 | per-axiom triage of 72 Coq Axioms
(`docs/proof-debt-triage.md`) |
| absolute-zero#59 | 1 cleanup | post-#58 cross-refs + STATE/META
updates |
| absolute-zero#60 | 2a | Lambda cluster — Coq + Lean inline `AXIOM:`
annotations |
| absolute-zero#61 | 2b | `CNOCategory.v:323` `hom_functor` §(d) DEBT
entry |
| absolute-zero#62 | 2c | Filesystem cluster — 26 inline annotations + 8
§(d) DEBT entries |

**Cumulative trusted-base state**: 41 / 129 escape hatches documented
(35.7% covered). Remaining 88 belong to Quantum + Physics clusters
(future Phase 2d/2e PRs upstream).

## Side effects of the full re-vendor

Because the vendored tree was 16+ commits behind, the sync also pulls
in unrelated upstream work:

- Estate-policy / governance / hypatia / language-policy workflow
  updates (~15 `.github/workflows/*` files).
- MPL-2.0 SPDX header migration from PMPL-1.0-or-later (~20 files).
- `.machine_readable/` A2ML updates.
- ReScript interpreter removal (per estate language-policy ban —
  `interpreters/rescript/*` deleted).
- Verification scripts moved to `verification/` subdir.
- Old session debris pruned (`SONNET-HANDOFF.md`, `STACK_AUDIT.txt`,
  `ROADMAP-V1-TO-V12.adoc`, `ROADMAP-UPDATED.adoc`, etc.).

## Preserved (maa-framework-specific, NOT in upstream)

Three Agda extensions were added in maa-framework directly (commits
`0538283` + `e80c5fb`) and survive the re-vendor via rsync filters:

- `proofs/agda/EchoBridgeCNO.agda`
- `proofs/agda/EchoBridgeScaffold.agda`
- `proofs/agda/README.adoc`

## Verification

```
$ bash ~/developer/repos/standards/scripts/check-trusted-base.sh absolute-zero
[INFO] Found 129 soundness-relevant escape hatch(es).
[ERROR] 88/129 escape hatch(es) are undocumented.
```

Matches upstream exactly. The 41 documented entries are Lambda (5) +
CNOCategory (1) + already-passing (1) + Filesystem (34).

## Scope warning

This is a large PR (168 files changed) because of the catch-up. If
desired, I can re-do this as two PRs:
1. proofs/ + docs/proof-debt*.md only (the trusted-base subset)
2. Everything else (workflows + machine_readable + cleanups)

But that requires hand-curating the file list. The single-PR shape
matches the "full re-vendor" option from the planning question.

Refs absolute-zero#52, #58, #59, #60, #61, #62; standards#203.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant