audit(assail): classify 11 audited-FP residuals from fresh 2.5.5 scan#382
Merged
Conversation
Extends the existing classification registry (v1.0.0 -> v1.1.0) with the audited residuals from the 2026-06-11 fresh panic-attack scan: bench/audit harnesses that eval their own embedded command tables (k9-bench, parser-bench, rsr-audit), BoF presentation demos, demo and example code, the pandoc build-time filter, audited Zig FFI boundary casts, and ReScript compiler output (*.res.js). Every entry was inspected at source this session. With these, the standards repo's unsuppressed non-heuristic Critical/High count is 0 (the stale verisimdb-data store showed 3 Criticals pointing at *-scm/src/abi/Foreign.idr files that no longer exist).
🔍 Hypatia Security ScanFindings: 137 issues detected
View findings[
{
"reason": "Issue in scorecard.yml",
"type": "missing_workflow",
"file": "scorecard.yml",
"action": "create",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "Action for the check script)\n uses: actions/checkout@df4c needs attention",
"type": "unpinned_action",
"file": "governance-reusable.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Action for the check script)\n uses: actions/checkout@df4c needs attention",
"type": "unpinned_action",
"file": "governance-reusable.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Issue in governance.yml",
"type": "missing_timeout_minutes",
"file": "governance.yml",
"action": "flag",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Issue in mirror.yml",
"type": "missing_timeout_minutes",
"file": "mirror.yml",
"action": "flag",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Issue in secret-scanner.yml",
"type": "missing_timeout_minutes",
"file": "secret-scanner.yml",
"action": "flag",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Issue in scorecard-enforcer.yml",
"type": "scorecard_publish_with_run_step",
"file": "scorecard-enforcer.yml",
"action": "split_scorecard_publish_job",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"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": "Required file missing (condition: public_repo)",
"type": "missing_requirement",
"file": ".github/workflows/scorecard.yml",
"action": "create",
"rule_module": "cicd_rules",
"severity": "high"
},
{
"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"
}
]Powered by Hypatia Neurosymbolic CI/CD Intelligence |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Part of the estate loop repair (hyperpolymath/hypatia#458).
Extends the existing classification registry (v1.0.0 → v1.1.0, house style preserved) with the audited residuals from a fresh panic-attack 2.5.5 scan of standards — every entry inspected at source this session:
evaltheir own embedded command tables (k9-svc/benchmarks/k9-bench.sh,a2ml/benchmarks/parser-bench.sh,rhodium-standard-repositories/rsr-audit.sh) — no external input reaches the eval;avow-protocol/public/demo.js,avow-lib/examples/);a2ml/pandoc/a2ml-filter.lua);overlay-protocol/ffi,lol/ffi) — mirrors the 007zig_bridge.rsreference classification;axel-protocol/src/Tea.res.js).With these, standards' unsuppressed non-heuristic Critical/High = 0. The stale verisimdb-data store showed 3 Criticals for
*-scm/src/abi/Foreign.idrfiles that no longer exist — flushed by the estate-rescan workflow in hypatia#458.https://claude.ai/code/session_01EzjC8MEx3Kzf3pdMhaQSks
Generated by Claude Code