mirror of
https://github.com/boshu2/agentops.git
synced 2026-09-14 15:08:13 +08:00
0cf626ce96
Add RED-provable behavioral tests for the semantic-production-gate paths in cli/internal/archcheck/semantic.go, each pairing a crafted-BAD input (asserting the SPECIFIC rejection message) with a happy-path GOOD input so the tests prove the checks discriminate, not merely fail. semantic.go is unchanged (tests only). Per-function coverage of semantic.go, before -> after: checkSemanticSeal 9.5% -> 57.1% checkEvidenceBinding 0.0% -> 75.9% validHexDigest 0.0% -> 100.0% digestBytes 0.0% -> 100.0% SemanticProductionGate 0.0% -> 78.6% violationsContainRule 0.0% -> 75.0% checkGeneratedEvidence 0.0% -> 81.2% collectCommandDefinition 0.0% -> 100.0% collectCommandGraphEdges 0.0% -> 93.8% collectCommandRoots 0.0% -> 88.9% checkRecursiveContractsSource 0.0% -> 93.9% cobraCommandLiteral 0.0% -> 100.0% cobraCommandRunnable 0.0% -> 75.0% collectStructuredFunctions 0.0% -> 100.0% collectOutputRunnable 0.0% -> 100.0% collectStructuredAttachment 0.0% -> 92.9% appendHumanTextViolations 0.0% -> 100.0% checkOutputSource 0.0% -> 95.0% checkUniversalEffectsSource 0.0% -> 90.0% collectExecAliases 0.0% -> 88.9% collectContextParams 0.0% -> 84.6% recordTrackerLaunch 0.0% -> 81.0% applyTrackerLaunchField 0.0% -> 80.0% checkTrackerExecutionSource 0.0% -> 96.7%