Module coverage 

WASM Coverage Tooling (spec: probar-wasm-coverage-tooling.md) WASM Coverage Tooling for Probar

Per spec: docs/specifications/probar-wasm-coverage-tooling.md

This module implements a novel WASM coverage instrumentation framework using the Batuta Sovereign AI Stack primitives.

Architecture

┌─────────────────────────────────────────────────────────────────┐
│  PROBAR COVERAGE ARCHITECTURE                                    │
├─────────────────────────────────────────────────────────────────┤
│  WASM Module → Block Decomposer → Coverage Executor → Report    │
│                     ↓                    ↓                       │
│              CFG Analysis         Trueno SIMD Aggregation       │
└─────────────────────────────────────────────────────────────────┘

Toyota Way Principles Applied

• Poka-Yoke: Type-safe BlockId, FunctionId, EdgeId prevent errors
• Muda: Thread-local buffering eliminates atomic contention
• Jidoka: Soft Jidoka distinguishes Stop vs LogAndContinue
• Heijunka: Superblock tiling amortizes scheduling overhead

Re-exports

pub use formatters::CoberturaFormatter;

pub use formatters::HtmlFormatter;

pub use formatters::HtmlReportConfig;

pub use formatters::LcovFormatter;

pub use formatters::Theme;

Modules

formatters

Coverage Report Formatters (Feature 11, 12, 13)

Structs

BlockCoverage

Per-block coverage information

BlockId

Type-safe block identifier (Poka-Yoke)

CoverageCollector

Coverage collector for tracking coverage during test execution

CoverageConfig

Coverage collection configuration

CoverageExecutor

Heijunka-balanced coverage executor with superblock scheduling

CoverageMemoryView

Zero-copy WASM memory view for coverage (Muda elimination)

CoverageReport

Coverage report containing all coverage data

CoverageSummary

Coverage summary statistics

EdgeId

Type-safe edge identifier (Poka-Yoke)

FunctionId

Type-safe function identifier (Poka-Yoke)

NullificationConfig

Nullification test configuration

NullificationResult

Result of a nullification test

Superblock

Superblock: A tile of related basic blocks (Kaizen: amortize scheduling)

SuperblockBuilder

Superblock builder: Groups blocks by function or loop

SuperblockId

Superblock ID (distinct from BlockId for type safety)

SuperblockResult

Result of executing a superblock

TaintedBlocks

Tainted block tracker (for Soft Jidoka)

ThreadLocalCounters

Thread-local counter buffer (Kaizen: eliminates atomic contention)

Enums

CoverageHypothesis

Coverage hypothesis types

CoverageViolation

Coverage Jidoka violations with severity classification

Granularity

Coverage granularity level

JidokaAction

Jidoka response type (Kaizen: Stop vs Continue)