Automates the self-dogfooding property-based testing workflow for the Aletheia MoonBit repository.
Aletheia Self-PBT is a specialized developer skill designed specifically for maintaining the Aletheia toolset within the MoonBit ecosystem. It manages a comprehensive self-testing pipeline that covers pattern detection, signature extraction, and property generation, allowing the tool to validate its own quality through property-based testing (PBT). By implementing advanced shrinking strategies, stateful testing workflows, and invariant detection, this skill ensures that changes to the Aletheia analyzer, generator, or CLI are rigorously verified against 50+ internal tests with a 100% pass rate.
Key Features
01Automated PBT template generation and synchronization via self-dogfooding
020 GitHub stars
03Support for five pattern types: Round-Trip, Idempotent, Producer-Consumer, Invariant, and Oracle
04Advanced shrinking system with integrated test statistics and insights
05Seamless integration with MoonBit toolchain commands like moon info, fmt, and test
06Stateful PBT workflow validation for complex state machine testing
Use Cases
01Updating pattern detection or signature extraction logic within the Aletheia repository
02Validating codebase quality using the automated self_pbt.sh verification script
03Regenerating internal .pbt.md documentation and property templates after core changes
