Skip to content

docs(licence-policy): A6 hard-exclusions + A7 multi-SPDX FP ignore-list (ledger #2/#3)#143

Merged
hyperpolymath merged 1 commit into
mainfrom
licence-debt/batch-a-policy-addendum
May 19, 2026
Merged

docs(licence-policy): A6 hard-exclusions + A7 multi-SPDX FP ignore-list (ledger #2/#3)#143
hyperpolymath merged 1 commit into
mainfrom
licence-debt/batch-a-policy-addendum

Conversation

@hyperpolymath
Copy link
Copy Markdown
Owner

Owner-gated licence-debt ledger — Batch A (policy-doc companion). Records ledger rulings #2 and #3/§C C1-C3; enforcement lives in rsr-template-repo spdx-policy-guard.yml (companion PR), so A6 is not docs-only.

Additive — Rules 1-3 and A1-A5 unchanged. Refs LICENCE-DEBT-LEDGER-2026-05-18.

🤖 Generated with Claude Code

…ore-list

Records (and points enforcement at) licence-debt ledger rulings #2 and
#3/§C C1-C3. Additive — Rules 1-3 and A1-A5 unchanged. The A6
exclusions are enforced in rsr-template-repo spdx-policy-guard.yml,
not docs-only. Refs LICENCE-DEBT-LEDGER-2026-05-18.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@github-actions
Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 101 issues detected

Severity Count
🔴 Critical 63
🟠 High 28
🟡 Medium 10

⚠️ 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-reusable.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "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": "Python file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/standards/standards/a2ml-templates/state-scm-to-v2.py",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/standards/standards/a2ml/bindings/deno/mod.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/standards/standards/lol/test/vitest.config.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/standards/standards/k9-svc/bindings/deno/mod.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "believe_me undermines formal verification (1 occurrences, CWE-704)",
    "type": "believe_me",
    "file": "/home/runner/work/standards/standards/lol/src/abi/Locale.idr",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "Wildcard CORS -- restrict to specific origins or use env var (1 occurrences, CWE-942)",
    "type": "js_wildcard_cors",
    "file": "/home/runner/work/standards/standards/consent-aware-http/examples/reference-implementations/deno/aibdp_middleware.js",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

@hyperpolymath hyperpolymath marked this pull request as ready for review May 19, 2026 18:52
@hyperpolymath hyperpolymath merged commit 790a36c into main May 19, 2026
16 of 18 checks passed
@hyperpolymath hyperpolymath deleted the licence-debt/batch-a-policy-addendum branch May 19, 2026 18:53
hyperpolymath added a commit that referenced this pull request May 19, 2026
#144)

Keystone audit-trail for the licence-debt clearing campaign. Records the
owner's explicit scoped carve-outs (2026-05-19) so A2 (never-automated
default) and the active owner-directed remediation are internally
consistent. Additive; stacks on A6/A7 (#143). Refs
LICENCE-DEBT-LEDGER-2026-05-18.

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

Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com>
Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
hyperpolymath added a commit that referenced this pull request May 19, 2026
…146)

A6/A7 were lost when #144 (A8) squash-merged over #143 (A6/A7) — both
edited the same anchor. Guard code (rsr#66) unaffected; restores the
policy-doc record. Refs LICENCE-DEBT-LEDGER-2026-05-18.

🤖 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

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant