0a856f06cd
* enh(#966): gate behavior-dependent truths on behavioral evidence in gsd-verifier Introduce a per-truth PRESENT_BEHAVIOR_UNVERIFIED state for must-haves that assert a state transition or a cancellation/cleanup/ordering invariant whose only evidence is symbol presence + wiring. Such truths are excluded from the verified_truths score, reported as a behavior_unverified count, recorded in an always-on behavior_unverified_items frontmatter list, and routed to the existing human_needed sink — so a clean N/N can no longer be reached on symbol presence alone. The overall-status vocabulary and the src/verification.cts seam are unchanged (the new state is per-truth only); gaps_found keeps decision-tree precedence; override-passed truths still count toward verified_truths. Mirrors the calibration into the shipped verify-phase.md workflow (with an infra/foundation carve-out), the VERIFICATION.md templates, and docs (planning-artifacts.md, AGENTS.md). gsd-verifier.md kept under its 48KB LARGE cap; size baselines regenerated. Closes #966 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> * chore(#966): add changeset fragment for gsd-verifier behavior-unverified calibration Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>
37 lines
1.1 KiB
JSON
37 lines
1.1 KiB
JSON
{
|
|
"gsd-advisor-researcher.md": 4543,
|
|
"gsd-ai-researcher.md": 5851,
|
|
"gsd-assumptions-analyzer.md": 4496,
|
|
"gsd-code-fixer.md": 36506,
|
|
"gsd-code-reviewer.md": 16780,
|
|
"gsd-codebase-mapper.md": 21395,
|
|
"gsd-debug-session-manager.md": 14159,
|
|
"gsd-debugger.md": 51220,
|
|
"gsd-doc-classifier.md": 7629,
|
|
"gsd-doc-synthesizer.md": 9722,
|
|
"gsd-doc-verifier.md": 12403,
|
|
"gsd-doc-writer.md": 38834,
|
|
"gsd-domain-researcher.md": 6938,
|
|
"gsd-eval-auditor.md": 7761,
|
|
"gsd-eval-planner.md": 7008,
|
|
"gsd-executor.md": 42519,
|
|
"gsd-framework-selector.md": 6778,
|
|
"gsd-integration-checker.md": 15148,
|
|
"gsd-intel-updater.md": 18122,
|
|
"gsd-mempalace-curator.md": 4160,
|
|
"gsd-nyquist-auditor.md": 7255,
|
|
"gsd-pattern-mapper.md": 12487,
|
|
"gsd-phase-researcher.md": 40618,
|
|
"gsd-plan-checker.md": 42003,
|
|
"gsd-planner.md": 48892,
|
|
"gsd-project-researcher.md": 21994,
|
|
"gsd-research-synthesizer.md": 13653,
|
|
"gsd-roadmapper.md": 21781,
|
|
"gsd-security-auditor.md": 6226,
|
|
"gsd-ui-auditor.md": 17159,
|
|
"gsd-ui-checker.md": 11088,
|
|
"gsd-ui-researcher.md": 19272,
|
|
"gsd-user-profiler.md": 8516,
|
|
"gsd-verifier.md": 48859
|
|
}
|