Add property-based testing: Hypothesis (Python) and Bombadil (TypeScript) - #1385

Merged

raman325 merged 17 commits into

mainfrom

property-based-testing

Aug 6, 2026

Commits on Jul 31, 2026

test: add hypothesis with dev/ci settings profiles
raman325
committed
5816166
test: property tests for PIN generator
raman325
committed
2cc702d
test: property tests for slot-tag codec round-trips
raman325
committed
5df3310
test: property tests for slot in-sync predicate
raman325
committed
4f9b089
fix: parse_slot_num raised OverflowError on infinite float slot keys
raman325
committed
0c114b5
test: stateful property machine for credential write orchestration

raman325
and
claude
committed
fb9435e
test: widen no-change rule coverage and document debounce timing assumption

raman325
and
claude
committed
dff2854
ci: run hypothesis with the ci profile in pytest workflow
raman325
committed
6b1a282
test: bombadil dependency and static card harness

raman325
and
claude
committed
65f7f13
test: bombadil spec, runner, and yarn test:pbt wiring

raman325
and
claude
committed
220cc4d
test: scope bombadil spec type resolution to a pbt tsconfig

raman325
and
claude
committed
1b1d656
test: fix pin-collision flake and harden bombadil harness infrastructure

raman325
and
claude
committed
2d582e9
ci: nightly bombadil exploration workflow
raman325
committed
64b64b1
test: serve harness page for virtual routes like the real single-page frontend

raman325
and
claude
committed
4887101
docs: property-based testing guidance in AGENTS.md
raman325
committed
14511d5
docs: correct bombadil inspect command and silence hypothesis directory warning
raman325
committed
951cfe9

Commits on Aug 6, 2026

refactor: move Bombadil harness from pbt/ to ts/pbt/

raman325
and
claude
committed
50984d1