OTS Verification

[Malcolmnixon]

Pull Request

Description

Added OTS to verification documentation and performed minor cleanups.

Type of Change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Documentation update
• Code quality improvement

Related Issues

Closes #

Pre-Submission Checklist

Before submitting this pull request, ensure you have completed the following:

Build and Test

• Code builds successfully and all tests pass: pwsh ./build.ps1
• Code produces zero warnings

Code Quality

• New code has appropriate XML documentation comments
• Static analyzer warnings have been addressed

Quality Checks

Please run the following checks before submitting:

• All linters pass: pwsh ./lint.ps1

Testing

• Added unit tests for new functionality
• Updated existing tests if behavior changed
• All tests follow the AAA (Arrange, Act, Assert) pattern
• Test coverage is maintained or improved

Documentation

• Updated README.md (if applicable)
• Updated docs/ documentation (if applicable)
• Added code examples for new features (if applicable)
• Updated requirements.yaml (if applicable)

Additional Notes

[Copilot]

Pull request overview

Adds OTS verification evidence documentation and aligns repository standards/review-sets to treat OTS tools as first-class software items in verification, alongside small documentation cleanups.

Changes:

• Added OTS verification evidence documents under docs/verification/ots/ and corresponding ReviewMark review-sets.
• Expanded OTS ReqStream requirements to include more granular requirement IDs and test-scenario mappings (including lint/enforcement cases).
• Minor documentation cleanups (including XML doc <remarks> additions and SarifMark casing fix).

Reviewed changes

Copilot reviewed 32 out of 32 changed files in this pull request and generated 4 comments.

Show a summary per file

File	Description
src/DemaConsulting.TemplateDotNetLibrary/Demo.cs	Adds XML <remarks> clarifying constructor validation intent and Prefix property rationale.
docs/verification/ots/xunit.md	Adds xUnit OTS verification evidence and scenario-to-requirement mapping.
docs/verification/ots/weasyprint.md	Adds WeasyPrint OTS verification evidence based on CI + FileAssert.
docs/verification/ots/versionmark.md	Adds VersionMark OTS verification evidence based on CI self-validation + publish outputs.
docs/verification/ots/sonarmark.md	Adds SonarMark OTS verification evidence based on self-validation + generated report pipeline.
docs/verification/ots/sarifmark.md	Adds SarifMark OTS verification evidence based on self-validation + generated report pipeline.
docs/verification/ots/reviewmark.md	Adds ReviewMark OTS verification evidence based on self-validation + generated plan/report pipeline.
docs/verification/ots/reqstream.md	Adds ReqStream OTS verification evidence based on self-validation + enforce/report generation.
docs/verification/ots/pandoc.md	Adds Pandoc OTS verification evidence based on CI + FileAssert assertions.
docs/verification/ots/fileassert.md	Adds FileAssert OTS verification evidence based on self-validation + transitive pipeline use.
docs/verification/ots/buildmark.md	Adds BuildMark OTS verification evidence based on self-validation + build-notes generation.
docs/verification/introduction.md	Updates verification scope/structure to explicitly include OTS items and their artifact locations.
docs/reqstream/ots/xunit.yaml	Splits xUnit requirement into execute/report requirements and maps them to test scenarios.
docs/reqstream/ots/weasyprint.yaml	Adds missing verification-PDF scenario to WeasyPrint OTS requirement coverage.
docs/reqstream/ots/versionmark.yaml	Adds VersionMark lint requirement with self-validation test mappings.
docs/reqstream/ots/sarifmark.yaml	Adds SarifMark enforcement requirement with self-validation test mapping.
docs/reqstream/ots/reviewmark.yaml	Expands ReviewMark requirements into multiple capability-specific requirements with test mappings.
docs/reqstream/ots/reqstream.yaml	Expands ReqStream requirement test mappings and adds lint requirement.
docs/reqstream/ots/pandoc.yaml	Adds missing verification-HTML scenario to Pandoc OTS requirement coverage.
docs/reqstream/ots/fileassert.yaml	Updates FileAssert requirement test mappings to align with current self-validation scenarios.
docs/reqstream/ots/buildmark.yaml	Expands BuildMark requirement test mappings to include additional self-validation scenarios.
docs/design/template-dot-net-library/template-dot-net-library.md	Fixes tool name casing from SARIFMark to SarifMark.
.reviewmark.yaml	Adds OTS review-sets and includes verification introduction in relevant review sets.
.github/standards/verification-documentation.md	Updates verification documentation standard to include OTS structure and expectations.
.github/standards/technical-documentation.md	Minor formatting/clarity updates to documentation standards text.
.github/standards/software-items.md	Updates statement to reflect verification design applies to all item types.
.github/standards/requirements-principles.md	Minor formatting/clarity updates.
.github/standards/design-documentation.md	Minor formatting/clarity updates.
.github/standards/csharp-testing.md	Clarifies xUnit v3 dependency requirements and when mocking libs are needed.
.github/standards/csharp-language.md	Minor formatting/clarity updates.
.github/standards/coding-principles.md	Clarifies “Full Symbol Documentation” principle language.
.github/agents/developer.agent.md	Minor formatting/clarity update in agent instructions.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Malcolmnixon]

@copilot apply changes based on the comments in this thread

Additionally the build failed with:

Error: Only 42 of 43 requirements are satisfied with tests.
Unsatisfied requirements:
  - Template-OTS-ReqStream

[Copilot]

@copilot apply changes based on the comments in this thread

Additionally the build failed with:
...

All applied in aa3aec2:

• pandoc.md / weasyprint.md: Removed the inaccurate "non-trivial size" claims from both the summary sections and all individual scenarios to match actual FileAssert test behavior.
• Build failure fixed: ReqStream_EnforcementModeFailure was listed as evidence for Template-OTS-ReqStream but is not produced by the current ReqStream self-validation (CI only outputs RequirementsProcessing, TraceMatrix, ReportExport, TagsFiltering, EnforcementMode, Lint). Removed it from the requirements yaml and verification doc so all 43 requirements are satisfied.