Skip to content

chore(guix): substitute leftover template placeholders; fix licence comment#630

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/practical-mendel-liz1c3
Jun 21, 2026
Merged

chore(guix): substitute leftover template placeholders; fix licence comment#630
hyperpolymath merged 1 commit into
mainfrom
claude/practical-mendel-liz1c3

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Fixes guix drift in two RSR-scaffolded sub-projects whose guix files still carried unsubstituted {{...}} template tokens and a nonsense licence comment.

  • affinescriptiser/guix.scm + affinescriptiser/.guix-channel — substituted every leftover placeholder: {{PROJECT_NAME}}affinescriptiser, {{OWNER}}hyperpolymath, {{AUTHOR}}/{{AUTHOR_EMAIL}}/{{CURRENT_YEAR}} → the canonical author / 2026. Real synopsis ("Wrap code in affine + dependent types targeting WASM", from its CLAUDE.md); added a note that it's a Rust CLI and that wiring the real cargo build is follow-up.
  • affinescript-vite/guix.scm + affinescript-vite/.guix-channel — substituted {{CURRENT_YEAR}} → 2026 and the canonical author; real synopsis (Vite plugin for AffineScript).
  • Both guix.scm — replaced the nonsensical (license (list ;; MPL-2.0 extends MPL-2.0 \n mpl2.0)) with the idiomatic single (license mpl2.0).

Notes / out of scope

  • The build phases remain the RSR scaffold default (install README.adoc only); wiring the real cargo/Vite builds is a separate enhancement and is left as a TODO comment.
  • Flag (not guix, not changed here): affinescript-vite/README.adoc carries a License: AGPL-3.0 badge, which conflicts with the MPL-2.0 SPDX header + the estate MPL-2.0 policy. Worth reconciling separately.

Verification

  • ✅ All four files paren-balanced; no {{...}} placeholders remain.
  • ⚠️ No guix toolchain in this environment, so guix build could not be run — changes are by inspection + paren-balance only.

🤖 Generated with Claude Code

https://claude.ai/code/session_015wqBHniW8sHDCqCoEvBe9n


Generated by Claude Code

@github-actions

Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 41 issues detected

Severity Count
🔴 Critical 2
🟠 High 23
🟡 Medium 16

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Action denoland/setup-deno@v2 needs attention",
    "type": "unpinned_action",
    "file": "publish-jsr.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in instant-sync.yml",
    "type": "secret_action_without_presence_gate",
    "file": "instant-sync.yml",
    "action": "peter-evans/repository-dispatch",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Shell execution -- validate input before passing to shell (1 occurrences, CWE-78)",
    "type": "js_exec_sync",
    "file": "/home/runner/work/affinescript/affinescript/packages/affinescript-cli/mod.js",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "Shell execution -- validate input before passing to shell (2 occurrences, CWE-78)",
    "type": "js_exec_sync",
    "file": "/home/runner/work/affinescript/affinescript/packages/affine-vscode/mod.js",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "Shell execution -- validate input before passing to shell (1 occurrences, CWE-78)",
    "type": "js_exec_sync",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-vite/src/affine-plugin-improved.js",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "expect() in hot path (32 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/affinescript/affinescript/affinescriptiser/src/codegen/wasm_gen.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "expect() in hot path (29 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/affinescript/affinescript/affinescriptiser/src/codegen/affine_gen.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unsafe block -- requires SAFETY comment (2 occurrences, CWE-676)",
    "type": "unsafe_block",
    "file": "/home/runner/work/affinescript/affinescript/runtime/src/panic.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unsafe block -- requires SAFETY comment (1 occurrences, CWE-676)",
    "type": "unsafe_block",
    "file": "/home/runner/work/affinescript/affinescript/runtime/src/alloc.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unsafe block -- requires SAFETY comment (3 occurrences, CWE-676)",
    "type": "unsafe_block",
    "file": "/home/runner/work/affinescript/affinescript/runtime/src/ffi.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

@hyperpolymath hyperpolymath marked this pull request as ready for review June 21, 2026 13:51
…omment

The RSR-scaffold guix files in two sub-projects still carried unsubstituted
{{...}} template tokens and a nonsense "MPL-2.0 extends MPL-2.0" licence comment.

- affinescriptiser/{guix.scm,.guix-channel}: substitute {{PROJECT_NAME}} ->
  affinescriptiser, {{OWNER}} -> hyperpolymath, {{AUTHOR}}/{{AUTHOR_EMAIL}}/
  {{CURRENT_YEAR}} -> the canonical author/2026; real synopsis ("Wrap code in
  affine + dependent types targeting WASM"); note it is a Rust CLI.
- affinescript-vite/{guix.scm,.guix-channel}: substitute {{CURRENT_YEAR}} -> 2026
  and the canonical author; real synopsis (Vite plugin for AffineScript).
- Both guix.scm: replace `(license (list ;; MPL-2.0 extends MPL-2.0 mpl2.0))`
  with the idiomatic single `(license mpl2.0)`.

Paren-balanced; no guix toolchain in this environment to run `guix build`.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015wqBHniW8sHDCqCoEvBe9n
@hyperpolymath hyperpolymath force-pushed the claude/practical-mendel-liz1c3 branch from ebf55ea to 987cc18 Compare June 21, 2026 13:51
@hyperpolymath hyperpolymath merged commit 13c02ba into main Jun 21, 2026
8 checks passed
@hyperpolymath hyperpolymath deleted the claude/practical-mendel-liz1c3 branch June 21, 2026 13:51
@github-actions

Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 41 issues detected

Severity Count
🔴 Critical 2
🟠 High 23
🟡 Medium 16

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Action denoland/setup-deno@v2 needs attention",
    "type": "unpinned_action",
    "file": "publish-jsr.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in instant-sync.yml",
    "type": "secret_action_without_presence_gate",
    "file": "instant-sync.yml",
    "action": "peter-evans/repository-dispatch",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Shell execution -- validate input before passing to shell (1 occurrences, CWE-78)",
    "type": "js_exec_sync",
    "file": "/home/runner/work/affinescript/affinescript/packages/affinescript-cli/mod.js",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "Shell execution -- validate input before passing to shell (2 occurrences, CWE-78)",
    "type": "js_exec_sync",
    "file": "/home/runner/work/affinescript/affinescript/packages/affine-vscode/mod.js",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "Shell execution -- validate input before passing to shell (1 occurrences, CWE-78)",
    "type": "js_exec_sync",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-vite/src/affine-plugin-improved.js",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "expect() in hot path (32 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/affinescript/affinescript/affinescriptiser/src/codegen/wasm_gen.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "expect() in hot path (29 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/affinescript/affinescript/affinescriptiser/src/codegen/affine_gen.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unsafe block -- requires SAFETY comment (2 occurrences, CWE-676)",
    "type": "unsafe_block",
    "file": "/home/runner/work/affinescript/affinescript/runtime/src/panic.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unsafe block -- requires SAFETY comment (1 occurrences, CWE-676)",
    "type": "unsafe_block",
    "file": "/home/runner/work/affinescript/affinescript/runtime/src/alloc.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unsafe block -- requires SAFETY comment (3 occurrences, CWE-676)",
    "type": "unsafe_block",
    "file": "/home/runner/work/affinescript/affinescript/runtime/src/ffi.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  }
]

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.

2 participants