Module harness 

Conformance harness running profile test cases and reporting fidelity.

Structs

ConformanceHarness

Registry of conformance tests grouped by the organ they cover.

ConformanceOutcome

Result of running one ConformanceTestCase: pass, fail, or declared gap with optional detail.

ConformanceTestCase

One conformance test: its symbol, the organ it covers, an optional badge it affects, and the check closure.

ConformanceTestReport

Result of one conformance test, with a reference to its published evidence.

OrganTestReport

Per-organ slice of a StandardTestReport.

StandardTestReport

Report of running the harness against a profile: per-organ results and the fidelity badges as lowered by any failures.

Enums

ConformanceStatus

Status of a conformance outcome.

Functions

standard_reported_fidelity_level_predicate

Claim predicate relating a subject to its reported fidelity level.

standard_reported_fidelity_predicate

Claim predicate relating a subject to its reported fidelity badge.

standard_test_case_predicate

Claim predicate relating a test run to its test case.

standard_test_op_key

Operation key for the standard test operation.

standard_test_organ_predicate

Claim predicate relating a test run to its organ.

standard_test_profile_predicate

Claim predicate relating a test run to its profile.

standard_test_result_predicate

Claim predicate relating a subject to a test-run evidence ref.

standard_test_run_kind

Datum tag identifying a published test-run record.

standard_test_status_predicate

Claim predicate relating a test run to its pass/fail status.

standard_test_stub

Run harness against profile, gated on standard_test_capability.

Type Aliases

ConformanceCheck

A conformance check: runs a profile against the runtime and reports an outcome.