golem15/msd-core
4
0
Fork 0
Code Issues 1 Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/next' into feat/1259-test-tier-enforcement

Browse Source 
# Conflicts:
#	tests/workflow-size-baseline.json
This commit is contained in:
Dave
2026-06-15 15:42:23 -04:00
parent 05c0c65b41 0a856f06cd
commit 0d783fa57d
9 changed files with 209 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
.changeset/tidy-lemurs-travel.md Normal file
View File

@@ -0,0 +1,5 @@
---
type: Changed
pr: 1271
---
**`gsd-verifier` no longer marks behavior-dependent must-haves `VERIFIED` on symbol presence alone** — a truth that asserts a state transition or a cancellation/cleanup/ordering invariant is marked `PRESENT_BEHAVIOR_UNVERIFIED` when no test exercises it: excluded from the `verified_truths` score, reported as a `behavior_unverified` count, and routed to human verification, so a clean N/N now certifies behavioral evidence rather than mere symbol presence. (#966)