mirror of
https://github.com/MBombeck/HealthLog.git
synced 2026-11-11 22:02:16 +00:00
Marc-André Bombeck
4ff3f3eb5d
fast-check properties with one shared configuration (tests/property/): a fixed seed on every pull request, a fresh one and more cases at night through FC_SEED and FC_NUM_RUNS, and a printed seed with the shrunk counterexample on failure. - Time zones: wall clocks agree with Intl in twenty awkward zones, a wall clock maps back to an instant showing it, a skipped hour resolves forward on the same day, every instant lies inside the window of the day it is filed under, and day keys shift and count as inverses. - Statistics: every median in the tree says the same number, medians and spreads obey order, shift and scale, a least-squares fit recovers an exact line and composes from stored sums exactly, and the segmented regression recovers a noiseless interrupted line. - Cadence and compliance: weekly and daily schedules expect exactly what a day-by-day oracle expects, in any zone and on transition days, and the rate stays within bounds and never falls when a missed dose is taken. - Encryption: every codec opens what it sealed under the key it names, rotation moves the key id and nothing else, and a tampered value never opens to anything but the sealed bytes. - Backups: randomly generated accounts come back from a disaster-recovery restore with an identical canonical dump of every generated table.
94 lines
2.8 KiB
TypeScript
94 lines
2.8 KiB
TypeScript
/**
|
|
* One set of fast-check parameters for every property test.
|
|
*
|
|
* A pull request runs each property with a fixed seed, so the same inputs
|
|
* are generated on every machine and a red run is a red run on the next
|
|
* attempt too. The nightly workflow sets `FC_SEED` to a fresh value, which is
|
|
* how new inputs get tried without making a pull request flaky; a failure
|
|
* prints the seed and the shrunk counterexample, and
|
|
* `FC_SEED=<seed> pnpm test <file>` replays it exactly.
|
|
*
|
|
* `FC_NUM_RUNS` scales the number of generated cases (the nightly run uses
|
|
* more). The default keeps every property file well under a second or two.
|
|
*/
|
|
import fc from "fast-check";
|
|
|
|
const DEFAULT_SEED = 20_261_022;
|
|
|
|
function positiveInt(raw: string | undefined): number | null {
|
|
if (!raw) return null;
|
|
const value = Number.parseInt(raw, 10);
|
|
return Number.isInteger(value) && value > 0 ? value : null;
|
|
}
|
|
|
|
export const PROPERTY_SEED = positiveInt(process.env.FC_SEED) ?? DEFAULT_SEED;
|
|
|
|
const SCALE = positiveInt(process.env.FC_NUM_RUNS);
|
|
|
|
/** Parameters for `fc.assert`; `numRuns` is the PR-run default per property. */
|
|
export function propertyParameters<T>(
|
|
numRuns = 100,
|
|
overrides: fc.Parameters<T> = {},
|
|
): fc.Parameters<T> {
|
|
return {
|
|
seed: PROPERTY_SEED,
|
|
numRuns: SCALE ?? numRuns,
|
|
...overrides,
|
|
};
|
|
}
|
|
|
|
/** Run a property with the shared parameters. */
|
|
export function assertProperty<T>(
|
|
property: fc.IProperty<T>,
|
|
numRuns?: number,
|
|
): void {
|
|
fc.assert(property, propertyParameters<T>(numRuns));
|
|
}
|
|
|
|
/** The async counterpart of {@link assertProperty}. */
|
|
export async function assertAsyncProperty<T>(
|
|
property: fc.IAsyncProperty<T>,
|
|
numRuns?: number,
|
|
): Promise<void> {
|
|
await fc.assert(property, propertyParameters<T>(numRuns));
|
|
}
|
|
|
|
/**
|
|
* IANA zones with the awkward cases in them: half- and quarter-hour offsets
|
|
* (Kolkata, Kathmandu, Chatham, St John's), a 30-minute DST shift (Lord
|
|
* Howe), southern-hemisphere DST (Santiago, Sydney, Auckland), a zone whose
|
|
* DST starts at midnight (Santiago), the date line (Kiritimati, Apia), and a
|
|
* zone with no DST at all (UTC, Kolkata).
|
|
*/
|
|
export const AWKWARD_ZONES = [
|
|
"UTC",
|
|
"Europe/Berlin",
|
|
"Europe/London",
|
|
"Europe/Dublin",
|
|
"America/New_York",
|
|
"America/Los_Angeles",
|
|
"America/St_Johns",
|
|
"America/Santiago",
|
|
"America/Sao_Paulo",
|
|
"Asia/Kolkata",
|
|
"Asia/Kathmandu",
|
|
"Asia/Tehran",
|
|
"Australia/Lord_Howe",
|
|
"Australia/Sydney",
|
|
"Australia/Adelaide",
|
|
"Pacific/Auckland",
|
|
"Pacific/Chatham",
|
|
"Pacific/Kiritimati",
|
|
"Pacific/Apia",
|
|
"Africa/Casablanca",
|
|
] as const;
|
|
|
|
export const zoneArb = fc.constantFrom(...AWKWARD_ZONES);
|
|
|
|
/** Instants between 1995 and 2040, at millisecond resolution. */
|
|
export const instantArb = fc.date({
|
|
min: new Date("1995-01-01T00:00:00Z"),
|
|
max: new Date("2040-12-31T23:59:59Z"),
|
|
noInvalidDate: true,
|
|
});
|