Skip to content

fix: Hypatia high-finding remediation, drop vacuous rust-ci, fix CLADE identity - #47

Merged
hyperpolymath merged 1 commit into
mainfrom
chore/workup-hypatia-clade
Aug 3, 2026
Merged

hyperpolymath merged 1 commit into
mainfrom
chore/workup-hypatia-clade

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Hypatia triage (the 8 highs deduplicate to 4 real issues)

Finding Verdict Action
build/setup.sh curl|sh ×3 (CWE-494) Real, but the file is orphaned rsr-template residue (self-describes as the template's script; nothing references it) Deleted
instant-sync.yml secret without presence gate Real Step-level presence gate on FARM_DISPATCH_TOKEN (step env: — a job-level secret if: is a parse-time startup_failure)
scorecard.yml missing job permissions Real — reusable needs security-events/id-token write; requesting more than the caller grants is a startup_failure Job-level permissions: added
main.zig @ptrCast/@alignCast Accepted — idiomatic opaque-handle pattern at the C ABI boundary (Handle ⇄ HandleState); the cast is the mechanism, not a defect No change

The 61 mediums are dominated (42) by unpinned_action noise from the workflow_audit rule not knowing the actions.lock model — a Hypatia-side follow-up, not repo defects.

Also

  • rust-ci.yml deleted: vacuous green — there is no Cargo.toml anywhere in the repo, so it passed by building nothing (no-fake-gates doctrine).
  • CLADE.a2ml: canonical-name/prefixed-name/[forges] still declared rsr-template-repo (template-self-name leak). Now haec. ⚠️ The uuid is still the template's — left with a TODO because a real entry must be assigned from gv-clade-index; inventing one would corrupt the registry. Owner action required.

🤖 Generated with Claude Code

… identity

Hypatia triage (8 high dedupe to 4 real):
- build/setup.sh DELETED: orphaned rsr-template residue (self-describes
  as the template's setup script, nothing references it) carrying 3
  curl|sh download-and-execute sites (CWE-494)
- instant-sync.yml: gate the dispatch step on FARM_DISPATCH_TOKEN
  presence via step-level env (job-level secret if: is a parse killer)
- scorecard.yml: grant the reusable job security-events/id-token write;
  a reusable needing more perms than the caller is a startup_failure
- src/interface/ffi/src/main.zig @ptrCast/@aligncast: ACCEPTED, not
  changed — idiomatic opaque-handle pattern at the C ABI boundary

rust-ci.yml DELETED: vacuous green — no Cargo.toml exists anywhere, so
it passed by building nothing (and its standards reusable is currently
enforcement-dead anyway).

CLADE.a2ml: canonical-name/prefixed-name/forges were still the
rsr-template's (template-self-name leak). Set to haec; the uuid remains
the template's with a TODO — a real one must come from gv-clade-index,
not be invented here.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@sonarqubecloud

sonarqubecloud Bot commented Aug 3, 2026

Copy link
Copy Markdown

@gitar-bot

gitar-bot Bot commented Aug 3, 2026

Copy link
Copy Markdown

Note

Automatic reviews are paused because your trial's included automatic processing has been used for this period. Upgrade now, or comment "Gitar review" to run a review anytime.
Learn more

Code Review ✅ Approved

Remediates Hypatia high findings by removing orphaned setup scripts, adding secret presence gates, and setting scorecard permissions, alongside removing the vacuous rust-ci workflow and fixing CLADE identity. No issues found.

Auto-approved and auto-merge armed: No blocking issues found.
Please see Auto-approve Docs for details on setting custom approval criteria. — merges when pipeline and required approvals pass.

Options

Display: compact → Showing less information.

Comment with these commands to change the behavior for this request:

Compact
gitar display:verbose         

Important

Your trial ends in 7 days — upgrade now to keep code review, CI analysis, auto-apply, custom automations, and more.

Was this helpful? React with 👍 / 👎 | Gitar

@gitar-bot
gitar-bot Bot enabled auto-merge (squash) August 3, 2026 18:36

@gitar-bot gitar-bot Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Gitar has auto-approved this PR and enabled auto-merge (configure)

@hyperpolymath
hyperpolymath disabled auto-merge August 3, 2026 18:37
@hyperpolymath
hyperpolymath merged commit 963004d into main Aug 3, 2026
21 checks passed
@hyperpolymath
hyperpolymath deleted the chore/workup-hypatia-clade branch August 3, 2026 18:37
hyperpolymath added a commit that referenced this pull request Aug 3, 2026
Completes the CLADE.a2ml identity fix from #47: the registry already
holds haec's deterministic-v5 entry
(`90db7939-1d8d-5fec-9dbf-f2674b7818f5`), so the template's UUID
placeholder can go. Clade reclassification `rm` → `fv` (secondary `nl`)
is proposed in hyperpolymath/gv-clade-index#58 — the UUID is
name-derived and independent of that decision; the clade/prefixed fields
here follow whatever the registry rules.

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

Co-authored-by: Claude Fable 5 <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