-
-
Notifications
You must be signed in to change notification settings - Fork 0
governance(hypatia): no_tests high finding is a false-positive on a proof library — allow-list it #271
Copy link
Copy link
Open
Labels
automationBots, schedulers, dispatch, self-healing, fan-outBots, schedulers, dispatch, self-healing, fan-outchoreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changegovernancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementpriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked up
Description
Activity
Metadata
Metadata
Assignees
Labels
automationBots, schedulers, dispatch, self-healing, fan-outBots, schedulers, dispatch, self-healing, fan-outchoreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changegovernancePolicy, rulesets, standards, compliance, and their enforcementPolicy, rulesets, standards, compliance, and their enforcementpriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked up
Hypatia
honest_completionno_tests (high, −20 deduction), surfaced on the #266 scan.Assessment (verified): false positive for this repo. echo-types is a constructive Agda proof library; the verified suite is
proofs/agda/All.agda+proofs/agda/Smoke.agdaunder--safe --without-K(run by.github/workflows/agda.yml), plusscripts/kernel-guard.sh. There is no separatetest/directory by design — a greenagda All.agda/agda Smoke.agdais the test. The −20 fires on every commit.Disposition: tune the rule for this repo — allow-list
no_tests, or pointhonest_completionat the Agda suite (All.agda/Smoke.agda) as the test oracle. Pre-existing; not introduced by any specific PR.Source: Hypatia neurosymbolic scan on #266.