Jeremie Fraeys
|
80370e9f4a
|
test(phase-6): property-based tests with gopter
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
|
2026-02-23 20:25:49 -05:00 |
|