Files
Bo 0cf626ce96 test(archcheck): behavioral coverage for semantic production gate
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%
2026-07-20 15:41:21 -04:00
..