eng-write-engine-golden-vector

Golden test vector generation for a scheduling engine automates creating test vectors that pin specific points on the curve and validate invariant properties, ensuring the scheduling logic remains correct and reliable across updates.

You automate invariant property testing by generating thousands of random review histories and asserting the scheduling engine's covenants hold for all of them, verifying changes do not introduce regressions or break existing functionality.

To create golden test vectors for the Hifz Companion scheduling engine, run the command `eng-write-engine-golden-vector create-vector` to automate generation and validation of test vectors for specific points on the curve.

Yes, running invariant property tests requires knowledge of the scheduling engine's internal state and behavior to ensure accurate testing and validate that the engine's covenants hold across generated histories.

Use automated golden test vectors when developing or updating a scheduling engine to verify changes do not break existing functionality, leveraging automated invariant property testing across thousands of random review histories instead of manual cases.