string CaseId { get; }
Source
Gets the canonical contract case identifier.
Value-safe assertion failure identifying a canonical case without exposing configuration values.
string CaseId { get; }
Source
Gets the canonical contract case identifier.
Framework-neutral checks using only the public application and provider contract.
IReadOnlyList<string> All(IConfigProviderContractHarness harness)
Runs every canonical case, returning only case identifiers after successful verification.
harness
Passed case identifiers; no values or raw provider exceptions.
ConfigProviderContractAssertionException
void Case(IConfigProviderContractHarness harness, ConfigProviderContractCase contractCase)
Runs one case without exposing actual or expected values in an assertion failure.
harness
contractCase
ConfigProviderContractAssertionException
One immutable canonical contract case for an isolated provider fixture.
string Id { get; }
Source
Gets the stable evidence identifier.
ConfigProviderContractScenario Scenario { get; }
Source
Gets the required isolated source arrangement.
AppSurfaceConfigKey Key { get; }
Source
Gets the primary strict logical key.
string? TerminalCode { get; }
Source
Gets the expected terminal code, or null for a non-terminal case.
Canonical provider cases independent of any test framework or credentialed service.
IReadOnlyList<ConfigProviderContractCase> All { get; }
Source
Gets immutable canonical cases. Each fixture must create fresh isolated sources per case.
Creates isolated provider-native sources and mappings for a canonical contract arrangement.
ConfigProviderContractSession Create(ConfigProviderContractCase contractCase)
Builds one case without reusing source values, claims, caches, or environment snapshots from another.
contractCase
A disposable public-API session; fixtures retain ownership of source cleanup.
Static collisions may throw ConfigurationResolutionException
during creation with the expected code. Native options exceptions should be asserted separately by the provider-specific suite.
Public-API resolution session for one provider fixture with value-safe assertion markers.
void Dispose()
Releases fixture resources exactly once, including after a contract assertion fails.
IConfigManager Manager { get; }
Source
Gets the public application manager exercised by the conformance runner.
string Environment { get; }
Source
Gets the isolated environment name.
AppSurfaceConfigKey? UnrepresentableKey { get; }
Source
Gets the fixture's optional native-codec counterexample. The runner rejects its use in other scenarios.
A provider-independent source arrangement required by the logical-key contract.
Fixtures create isolated sources for each case and may use explicit native mappings where required.