Skip to content

fix(licence): #3 Tranche 2 — clear scaffold-placeholder leak (betlang)#20

Merged
hyperpolymath merged 1 commit into
mainfrom
licence-debt/03-t2-placeholder
May 19, 2026
Merged

fix(licence): #3 Tranche 2 — clear scaffold-placeholder leak (betlang)#20
hyperpolymath merged 1 commit into
mainfrom
licence-debt/03-t2-placeholder

Conversation

@hyperpolymath
Copy link
Copy Markdown
Owner

#3 Tranche 2 (post-pilot #32-shape). Scaffold-placeholder leak per standards/LICENCE-POLICY.adoc A5 — NOT relicensing. PLMP/PMLP + doubled-suffix substituted to this repo's correct id PMPL-1.0-or-later. 3 file(s). Gates: dirty-repo skip, diff-shape asserted (SPDX-only, auto-revert on anomaly), zero residual, no 3c file. 🤖 Generated with Claude Code

#3 Tranche 2. PLMP/PMLP-1.0-or-later sentinel + PMPL-1.0-or-later-or-later
are scaffold-substituter artifacts (LICENCE-POLICY.adoc A5), NOT
relicensing. Substituted to this repo's correct id PMPL-1.0-or-later.
Diff = SPDX identifier lines ONLY (diff-shape asserted; auto-revert on
any anomaly; dirty repos skipped). No 3c-sensitive file touched.
Refs hyperpolymath/standards LICENCE-POLICY.adoc A5.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@hyperpolymath hyperpolymath merged commit d8c93fd into main May 19, 2026
17 of 29 checks passed
@hyperpolymath hyperpolymath deleted the licence-debt/03-t2-placeholder branch May 19, 2026 07:28
@github-actions
Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 56 issues detected

Severity Count
🔴 Critical 9
🟠 High 18
🟡 Medium 29

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Merge artifact in root",
    "type": "stale",
    "file": "SPEC.core.scm.orig",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "medium"
  },
  {
    "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": "No permissions declaration -- add permissions: read-all",
    "type": "missing_permissions",
    "file": "comprehensive-quality.yml",
    "action": "add_permissions",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/betlang/betlang/playground/src/main.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/betlang/betlang/playground/src/probability.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/betlang/betlang/playground/src/ternary.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/betlang/betlang/playground/test/probability_test.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/betlang/betlang/playground/test/ternary_test.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

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