Implement property-based invariant verification: - TestPropertyConfigHashAlwaysPresent: Valid configs produce non-empty hash - TestPropertyConfigHashDeterministic: Same config produces same hash - TestPropertyDetectionSourceAlwaysValid: CreateDetectorWithInfo returns valid source - TestPropertyProvenanceFailClosed: Strict mode fails on incomplete env - TestPropertyScanArtifactsNeverNilEnvironment: Artifacts can hold Environment - TestPropertyManifestEnvironmentSurvivesRoundtrip: Environment survives write/load Uses gopter for property-based testing with deterministic seeds |
||
|---|---|---|
| .. | ||
| config_properties_test.go | ||
| gpu_properties_test.go | ||
| manifest_properties_test.go | ||