SpecMason

SpecMason is the Ledgerwerk tool for maintaining behavior/specification artifacts, pytest mappings, reverse coverage, and execution evidence.

It does not own requirements. ReqLedger owns requirements and acceptance criteria. SpecMason reads ReqLedger exports when available and checks whether behavior specs, tests, and evidence prove accepted criteria.

SpecMason also works standalone for Brownfield projects. Without a ReqLedger manifest, it can discover pytest tests, validate local behavior specs, report unmapped tests, and maintain an intentional-unmapped policy.

Installation

pip install specmason

Quickstart with ReqLedger (integrated mode)

pip install specmason
specmason init
specmason create-gherkin --from requirements/manifest.json
specmason check
specmason discover-pytest
specmason coverage --view both --show gaps
specmason review

Brownfield standalone quickstart

pip install specmason
specmason init
specmason discover-pytest
specmason coverage --view tests --show gaps

Commands

All commands support --json for machine-readable output and --config PATH for explicit config resolution.

Workspace layout

specs/
  behavior/
    README.md
    manifest.json
    features/
      .../*.feature
    mappings/
      intentional-unmapped.json
    evidence/
      pytest-junit.json
    reports/
      specmason/
        coverage.md
        coverage.json
        mappings.json
        evidence.json
specmason.toml

Dependencies

• typer (CLI)
• ledgercore (generic storage/primitive library)
• tomli (Python < 3.11 only; stdlib tomllib otherwise)

License

Apache-2.0