Latest Repo Discovered
intermezzo
TypeScript
·
Apache License 2.0
Top Contributor of the Month
9633 commits in all time
Apr 22, 2026 18:22 – Jul 21, 2026 18:22 UTC
Merge 7338edcf629a695e954834166c6ba768141495b7 into 9783a67c2bfbde6bf00c871a7209ffc50e5cd670
eb9e92bb
pull/66/merge
13/2,182 ++ 97 --
Merge 7214a149f71302055069eed3651f7ce22c0f508f into 83f620a1fc9bb20d7fa3b3958e28270a7492c224
3ccd8176
pull/6671/merge
2/31 ++ 10 --
Merge 579355b67be42c25591432f2d79cc6e15d547a62 into e87f23f05fb139d378e794f68368ee9c3f552c35
ca0b51fc
pull/744/merge
300/21,242 ++ 47 --
scale the straddle step to the boundary's own ulp
TestSelectF128BoundaryStraddle stepped candidate digests by a fixed 2^128 digest units, which is one f128 ratio ulp only for boundaries in [0.5, 1); for small boundaries (a large-mean cdf(0) can sit at 2^-2000) the candidates landed many ulps away, diluting the straddle into ordinary sampling. Derive the step from the boundary's MantExp (2^(exp-128) in digest units, clamped to one digest unit when the ulp is finer than the digest grid), and assert the candidate window genuinely brackets the boundary whenever no candidate was clamped at the digest range's ends.
d5f8c1e2
sortition-f128
1/26 ++ 2 --
wip: debug app, allow for service disconnect for testing
7338edcf
feat/presence-detection
1/786 ++ 106 --
wip: collapse legacy sessions by session id and ensure presence is deduplicated
f4802d86
feat/presence-detection
9/500 ++ 22 --
run the mutation campaign in CI
A separate single-platform job runs go run mutation_check.go on every push: a weakened test lets a mutant survive and a semantic change to the arithmetic kills a proven-equivalent mutant or orphans a target string, so the kill-rate claim stays continuously verified instead of decaying into a stale number. The mutant table is deliberately coupled to the exact arithmetic lines it guards; editing those lines requires updating the table. Also drop an out-of-repo doc path from the tool header.
43b0ab09
sortition-f128
2/36 ++ 4 --
mutation_check: suppress rapid failfiles from killed mutants
Killed mutants fail the rapid tests by design, and each failure wrote a minimized reproducer under testdata/rapid that would then rerun as a stale regression case against the restored code. Pass -rapid.nofailfile in the kill suite.
8552735b
sortition-f128
1/3 ++ 0 --
add an independent-formula exact oracle and a distribution test
The differential oracle shares the PMF recurrence with the implementation, so a shared algebra error would pass every differential test. selectExactRat computes the walk against the exact binomial CDF from first principles: stdlib big.Int.Binomial coefficients and pure integer cross-multiplication (t * T^money <= cdfNum(j) * (2^256-1)) -- no recurrence, no rounding, no floating point. TestSelectF128VsExactRat requires agreement within one boundary for money <= 50, over random inputs, near-maximum digests, and digests constructed to sit exactly on true CDF boundaries. TestSelectF128Distribution mirrors TestSortitionBasic (which covers only the cgo path) for SelectF128 at toy and realistic stake scales with a fixed seed: summed selection weight must track N * money * p within 2%. Oracle-free and formula-free, so a gross semantic error fails it even if perfectly mirrored everywhere else. Both tests join the mutation campaign's kill suite via the TestSelectF128 pattern; the campaign still reports 33 mutants, 28 killed, 5 proven-equivalent, 0 unexpected.
24e95015
sortition-f128
1/128 ++ 0 --
docs: add brief documentation on the `autosalt` option and logicsig off-curve salting
579355b6
feat/lsig-offcurve-salt
1/33 ++ 0 --
test: expected output autosalt validation warnings
3f1379bd
feat/lsig-offcurve-salt
1/56 ++ 0 --
fix: temporarily exclude `autosalt` tests from algod parity testing (the pragma is not recognized by v<13)
1efaa287
feat/lsig-offcurve-salt
1/3 ++ 0 --
add pragma in emitted teal + show salt in assembly report's last row when applicable
eb2769a4
feat/lsig-offcurve-salt
2/27 ++ 2 --
add autosalting validation for emitting proper warnings at AWST level
8b3cb724
feat/lsig-offcurve-salt
2/37 ++ 0 --
add provisory `ed25519` point in curve check matching go-algorand's more lenient implementation
edf15acc
feat/lsig-offcurve-salt
1/37 ++ 0 --