Skip to content

chore(license): flip 240 PMPL→AGPL-3.0-or-later SPDX stamps (per 2026…#34

Merged
hyperpolymath merged 2 commits into
mainfrom
chore/license-uniform-AGPL-3.0-or-later
Jun 24, 2026
Merged

chore(license): flip 240 PMPL→AGPL-3.0-or-later SPDX stamps (per 2026…#34
hyperpolymath merged 2 commits into
mainfrom
chore/license-uniform-AGPL-3.0-or-later

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

…-06-02 estate policy)

Summary

Changes

RSR Quality Checklist

Required

  • Tests pass (just test or equivalent)
  • Code is formatted (just fmt or equivalent)
  • Linter is clean (no new warnings or errors)
  • No banned language patterns (no TypeScript, no npm/bun, no Go/Python)
  • No unsafe blocks without // SAFETY: comments
  • No banned functions (believe_me, unsafeCoerce, Obj.magic, Admitted, sorry)
  • SPDX license headers present on all new/modified source files
  • No secrets, credentials, or .env files included

As Applicable

  • .machine_readable/STATE.a2ml updated (if project state changed)
  • .machine_readable/ECOSYSTEM.a2ml updated (if integrations changed)
  • .machine_readable/META.a2ml updated (if architectural decisions changed)
  • Documentation updated for user-facing changes
  • TOPOLOGY.md updated (if architecture changed)
  • CHANGELOG or release notes updated
  • New dependencies reviewed for license compatibility (PMPL-1.0-or-later / MPL-2.0)
  • ABI/FFI changes validated (src/interface/abi/ and src/interface/ffi/ consistent)

Testing

Screenshots

…-06-02 estate policy)

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@hyperpolymath hyperpolymath enabled auto-merge (squash) June 24, 2026 10:36
@hyperpolymath hyperpolymath disabled auto-merge June 24, 2026 11:25
@github-actions

Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 3 issues detected

Severity Count
🔴 Critical 0
🟠 High 1
🟡 Medium 2
View findings
[
  {
    "reason": "Repository has 4 non-main remote branch(es). Policy: single main branch only.",
    "type": "GS007",
    "file": ".",
    "action": "delete_remote_branches",
    "rule_module": "git_state",
    "severity": "medium"
  },
  {
    "reason": "Code scanning (Scorecard): SASTID -- SAST -- 6 day(s) old",
    "type": "CSA001",
    "file": "no file associated with this alert",
    "action": "review",
    "rule_module": "code_scanning_alerts",
    "severity": "medium"
  },
  {
    "reason": "Code scanning (Scorecard): TokenPermissionsID -- Token-Permissions -- 6 day(s) old",
    "type": "CSA001",
    "file": ".github/workflows/hypatia-scan.yml",
    "action": "update",
    "rule_module": "code_scanning_alerts",
    "severity": "high"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

@hyperpolymath hyperpolymath merged commit 49ce51c into main Jun 24, 2026
4 checks passed
@hyperpolymath hyperpolymath deleted the chore/license-uniform-AGPL-3.0-or-later branch June 24, 2026 11:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant