Repository navigation

probbit 0.6.0: persona fuzz + prove - #11

Merged

BitmapAsset merged 17 commits into

mainfrom

Oct 6, 2026

Commits on Oct 5, 2026

persona fuzz: search event scripts for a stance that breaks a rule
BitmapAsset
committed
59e5065
probbit 0.6.0: version, changelog
BitmapAsset
committed
4e75fdb
persona fuzz: no clippy warnings in the new code
BitmapAsset
committed
3fbc6a4
persona prove: held by construction, proved for every event sequence, or unknown
BitmapAsset
committed
9ab1d88
persona prove: soundness tests
BitmapAsset
committed
b05f73b
docs: persona 5.6, testing a character (fuzz, prove)
BitmapAsset
committed
89e05fa
python: persona_fuzz and persona_prove
BitmapAsset
committed
4e192d5
mcp: probbit_persona_fuzz
BitmapAsset
committed
9ee4b85
changelog: persona prove, the MCP fuzz tool, the Python functions, docs 5.6
BitmapAsset
committed
146fade
persona lint --props: prove every rule, fuzz the unknown ones
BitmapAsset
committed
7d07d55
persona: why names a push's direction; the tutor example gets no_play_when_upset
BitmapAsset
committed
06526b0
persona lint: warn when a planned level is not its trait's most likely level
BitmapAsset
committed
62ac24f
README: test a character; changelog 0.6.0 complete
BitmapAsset
committed
d7fd470
playground: the embedded tutor is the 0.6.0 one
BitmapAsset
committed
c86f39e
persona --help: lint lists the plan-vs-mode warnings
BitmapAsset
committed
4fa6989
docs, changelog: the 0.5.0 tutor's counterexamples by message (37 on the upset message alone)
BitmapAsset
committed
ec612a5

Commits on Oct 6, 2026

CHANGELOG: date the 0.6.0 entry
BitmapAsset
committed
6b3d165