Testing Strategy Coverage Matrix

Audience: guild leads and engineers planning per-module test work for the 2026 H1 Testing Master Plan. Purpose: a visual map of test-model requirements per module, the quality gates each module must satisfy, and the sprint-to-model relationships that drive the program.


Module-to-Model Coverage Map

Legend

Model Definitions (Quick Reference)

ModelDescriptionKey Tests
L0Library/CoreUnit, property, snapshot, determinism
S1Storage/PostgresIntegration, migrations, idempotency, query ordering
T1Transport/QueueProtocol roundtrip, fuzz invalid, delivery semantics, backpressure
C1Connector/ExternalFixtures, snapshot, resilience, security
W1WebService/APIContract, authz, OTel, negative
WK1Worker/IndexerEnd-to-end, retries, idempotency, OTel
AN1Analyzer/SourceGenDiagnostics, codefixes, golden generated
CLI1Tool/CLIExit codes, golden output, determinism
PERFBenchmarksBenchmark, perf smoke, regression thresholds

Coverage Matrix

Core Modules

ModuleL0S1T1C1W1WK1AN1CLI1PERFSprintTasks
Scanner5100.0009.000125
Concelier5100.0009.000218
Excititor5100.0009.000321
Policy5100.0009.000415

Security & Compliance Modules

ModuleL0S1T1C1W1WK1AN1CLI1PERFSprintTasks
Authority5100.0009.000517
Signer5100.0009.000617
Attestor5100.0009.000714

Platform Services

ModuleL0S1T1C1W1WK1AN1CLI1PERFSprintTasks
Scheduler5100.0009.000814
Notify5100.0009.000918

Client Interfaces

ModuleL0S1T1C1W1WK1AN1CLI1PERFSprintTasks
CLI5100.0009.001013
UI5100.0009.001113

Infrastructure & Platform

ModuleL0S1T1C1W1WK1AN1CLI1PERFSprintTasks
EvidenceLocker5100.0010.000116
Graph/Timeline5100.0010.000215
Router/Messaging5100.0010.000314
AirGap5100.0010.000417

Model Distribution Analysis

Models by Usage Frequency

ModelModules UsingPercentageComplexity
L0 (Library/Core)13/15 modules87%HIGH (property tests, snapshots)
W1 (WebService)13/15 modules87%MEDIUM (contract tests, auth)
S1 (Storage)10/15 modules67%HIGH (migrations, idempotency)
C1 (Connectors)5/15 modules33%MEDIUM (fixtures, resilience)
WK1 (Workers)5/15 modules33%MEDIUM (end-to-end, retries)
AN1 (Analyzers)3/15 modules20%HIGH (Roslyn, diagnostics)
T1 (Transport)2/15 modules13%HIGH (protocol compliance)
CLI1 (CLI Tools)2/15 modules13%LOW (exit codes, snapshots)
PERF (Performance)1/15 modules7%MEDIUM (benchmarks, regression)

Complexity Heatmap

High Complexity (>15 tasks per sprint):

Medium Complexity (10-15 tasks):


Quality Gate Coverage

Module-Specific Quality Gates (from TEST_CATALOG.yml)

ModuleQuality GatesEnforced By
Scannerdeterminism, reachability_evidence, proof_spineSprint 5100.0009.0001 Tasks 7-10, 23-25
Concelierfixture_coverage, normalization_determinism, no_lattice_dependencySprint 5100.0009.0002 Tasks 1-7, 8-10, 18
Excititorpreserve_prune_source, format_snapshots, no_lattice_dependencySprint 5100.0009.0003 Tasks 6-11, 21
Policyunknown_budget, verdict_snapshotSprint 5100.0009.0004 Tasks 2, 4, 14-15
Authorityscope_enforcement, sign_verifySprint 5100.0009.0005 Tasks 3-5, 16-17
Signercanonical_payloads, sign_verifySprint 5100.0009.0006 Tasks 1-3, 15-17
Attestorrekor_receipts, dsse_verifySprint 5100.0009.0007 Tasks 6-8, 2
Scheduleridempotent_jobs, retry_backoffSprint 5100.0009.0008 Tasks 4, 3, 12
Notifyconnector_snapshots, retry_semanticsSprint 5100.0009.0009 Tasks 1-6, 16
CLIexit_codes, stdout_snapshotsSprint 5100.0009.0010 Tasks 1-4, 5-8
UIcontract_snapshots, e2e_smokeSprint 5100.0009.0011 Tasks 1-2, 7-10

Cross-Cutting Quality Gates

GateApplies ToEnforced By
Determinism ContractScanner, Excititor, Signer, CLI, AirGap, ConcelierSprint 5100.0007.0003 (Determinism Gate)
Architecture BoundariesConcelier, Excititor (must NOT reference Scanner lattice)Sprint 5100.0007.0007 (Architecture Tests)
Contract StabilityAll WebServices (13 modules)Sprint 5100.0007.0006 (WebService Contract)
Storage IdempotencyAll S1 modules (10 modules)Sprint 5100.0007.0004 (Storage Harness)
Connector ResilienceAll C1 modules (5 modules)Sprint 5100.0007.0005 (Connector Fixtures)

CI Lane Coverage

Test Distribution Across CI Lanes

CI LaneModelsModulesSprint TasksEst. Runtime
UnitL0, AN1, CLI1All 15 modules~120 tasks<5 min
ContractW113 modules~50 tasks<2 min
IntegrationS1, WK1, T112 modules~100 tasks10-15 min
SecurityC1 (security tests), W1 (auth tests)5 connectors + 13 WebServices~60 tasks5-10 min
PerformancePERFScanner only~3 tasks3-5 min
LiveC1 (live smoke tests)Concelier, Excititor, Notify, Authority, Signer~5 tasks (opt-in)5-10 min (nightly)

CI Lane Dependencies

PR Gate (Must Pass):
├─ Unit Lane (L0, AN1, CLI1) ← Fast feedback
├─ Contract Lane (W1) ← API stability
├─ Architecture Lane (Sprint 5100.0007.0007) ← Boundary enforcement
└─ Integration Lane (S1, WK1, T1) ← Testcontainers

Merge Gate (Must Pass):
├─ All PR Gate lanes
├─ Security Lane (C1 security, W1 auth)
└─ Determinism Lane (Sprint 5100.0007.0003)

Nightly (Optional):
├─ Performance Lane (PERF)
└─ Live Lane (C1 live smoke)

Weekly (Optional):
└─ Competitor Parity (Sprint 5100.0008.0001)

Epic-to-Model Coverage

Epic Sprints Support Multiple Models

Epic SprintModels EnabledConsuming ModulesTasks
5100.0007.0002 (TestKit)ALL (L0, S1, T1, C1, W1, WK1, AN1, CLI1, PERF)ALL 15 modules13
5100.0007.0003 (Determinism)L0 (determinism), CLI1 (determinism)Scanner, Excititor, Signer, CLI, AirGap, Concelier12
5100.0007.0004 (Storage)S110 modules12
5100.0007.0005 (Connectors)C1Concelier, Excititor, Authority, Signer, Notify12
5100.0007.0006 (WebService)W113 modules12
5100.0007.0007 (Architecture)(Cross-cutting)Concelier, Excititor17

Test Type Distribution

By Test Category (Trait)

Test CategoryModel CoverageEstimated Test CountCI Lane
UnitL0, AN1~150 tests across 13 modulesUnit
PropertyL0 (subset)~40 tests (Scanner, Policy, Scheduler, Router)Unit
SnapshotL0, C1, CLI1~80 tests (all modules with canonical outputs)Unit/Contract
IntegrationS1, WK1, T1~120 tests across 12 modulesIntegration
ContractW1~50 tests (13 WebServices × avg 4 endpoints)Contract
SecurityC1 (security), W1 (auth)~60 testsSecurity
PerformancePERF~3 tests (Scanner only)Performance
LiveC1 (live smoke)~5 tests (opt-in, nightly)Live

Coverage Gaps & Recommendations

Current Gaps

  1. Performance Testing: Only Scanner has PERF model

    • Recommendation: Add PERF to Policy (policy evaluation latency), Concelier (merge performance), Scheduler (scheduling overhead)
  2. Transport Testing: Only Router/Messaging has T1 model

    • Recommendation: Scanner has T1 in TEST_CATALOG.yml but should validate Valkey transport for job queues
  3. Live Connector Tests: Only 5 modules have C1 live smoke tests (opt-in)

    • Recommendation: Run weekly, not nightly; treat as early warning system for schema drift
ModuleMissing ModelJustificationPriority
PolicyPERFPolicy evaluation latency critical for real-time decisioningHIGH
ConcelierPERFMerge performance affects ingestion throughputMEDIUM
SchedulerPERFScheduling overhead affects job execution latencyMEDIUM
ScannerT1 (validate)Job queue transport (Valkey) should have compliance testsHIGH
AuthorityS1Token storage/revocation should have migration testsMEDIUM

Summary Statistics

Total Test Models: 9 Total Modules Covered: 15 Total Module Test Sprints: 15 (11 module + 4 infrastructure) Total Epic Sprints: 6 Total Quality Gate Sprints: 1 (Competitor Parity)

Model Usage:

Estimated Total Tests: ~500 tests across all modules and models


Turn #6 Testing Enhancements Coverage

New Coverage Dimensions (Sprint 0127.002)

The following dimensions track adoption of Turn #6 testing practices across modules:

DimensionDescriptionTarget Coverage
Intent TagsTests with [Intent] attribute declaring regulatory/safety/performance/competitive/operational100% non-trivial tests in Policy, Authority, Signer, Attestor
Observability ContractsW1 tests with OTel schema validation, log field contracts100% of W1 tests
Evidence TraceabilityTests with [Requirement] attribute linking to requirements100% of regulatory-tagged tests
Longevity TestsMemory stability, counter drift, connection pool testsScanner, Scheduler, Notify workers
Interop TestsN-1/N+1 version compatibility testsEvidenceLocker, Policy (schema-dependent)
Environment SkewTests across infrastructure profiles (network latency, resource limits)Integration tests

Turn #6 Coverage Matrix

ModuleIntent TagsObservabilityEvidenceLongevityInteropSkew
Policy✅ Pilot🟡✅ Pilot🟡🟡
EvidenceLocker🟡🟡✅ Pilot🟡🟡
Scanner🟡✅ Pilot🟡🟡🟡
Authority🟡🟡🟡🟡
Signer🟡🟡🟡🟡
Attestor🟡🟡🟡🟡
Scheduler🟡🟡🟡🟡
Notify🟡🟡🟡

Legend:

Turn #6 TestKit Components

ComponentLocationPurposeStatus
IntentAttributeTestKit/Traits/IntentAttribute.csTag tests with intent✅ Complete
IntentAnalyzerTestKit.Analyzers/IntentAnalyzer.csDetect missing intent tags✅ Complete
OTelContractAssertTestKit/Observability/OTelContractAssert.csSpan/attribute validation✅ Complete
LogContractAssertTestKit/Observability/LogContractAssert.csLog field validation✅ Complete
MetricsContractAssertTestKit/Observability/MetricsContractAssert.csCardinality bounds✅ Complete
RequirementAttributeTestKit/Evidence/RequirementAttribute.csLink tests to requirements✅ Complete
EvidenceChainAssertTestKit/Evidence/EvidenceChainAssert.csHash/immutability validation✅ Complete
EvidenceChainReporterTestKit/Evidence/EvidenceChainReporter.csTraceability matrix✅ Complete
IncidentTestGeneratorTestKit/Incident/IncidentTestGenerator.csPost-incident test scaffolds✅ Complete
SchemaVersionMatrixTestKit/Interop/SchemaVersionMatrix.csVersion compatibility✅ Complete
VersionCompatibilityFixtureTestKit/Interop/VersionCompatibilityFixture.csN-1/N+1 testing✅ Complete
StabilityMetricsTestKit/Longevity/StabilityMetrics.csMemory/counter tracking✅ Complete
StabilityTestRunnerTestKit/Longevity/StabilityTestRunner.csTime-extended tests✅ Complete
EnvironmentProfileTestKit/Environment/EnvironmentProfile.csInfrastructure profiles✅ Complete
SkewTestRunnerTestKit/Environment/SkewTestRunner.csCross-profile testing✅ Complete

Turn #6 Test Categories

New categories added to TestCategories.cs:

CategoryFilterCI LaneGating
PostIncidentCategory=PostIncidentReleaseP1/P2 block
EvidenceChainCategory=EvidenceChainMergeBlock
LongevityCategory=LongevityNightlyWarning
InteropCategory=InteropReleaseBlock
EnvironmentSkewCategory=EnvironmentSkewNightlyWarning

Coverage Targets (End of Q1 2026)

DimensionCurrent BaselineTargetTracking
Intent Tags (Policy, Authority, Signer, Attestor)5 tests100% non-trivialIntentCoverageReport
Observability Contracts (W1 tests)5 tests100%OTelContractAssert usage
Evidence Traceability (Regulatory tests)3 tests100%EvidenceChainReporter
Longevity Tests (Worker modules)0 tests1 per workerStabilityTestRunner usage
Interop Tests (Schema modules)0 tests1 per schemaSchemaVersionMatrix usage

Prepared by: Project Management Date: 2026-01-27 Next review: 2026-02-03 (Turn #6 adoption review) Sources: the test manifest (TEST_MANIFEST.yml, planning-era name TEST_CATALOG.yml), sprint files 5100.0009.* and 5100.0010.*, and SPRINT_0127_002_DOCS_testing_enhancements_turn6.md.