bounded-model-checking instructions

ymm-oss/fsl

Instructions file CodexOpenCode

Instructions for ymm-oss/fsl, covering repository guidelines, project and authority, project structure, build and verification commands and correctness invariants.

ymm-oss/fsl

Instructions file

Instructions for ymm-oss/fsl, covering claude code instructions, sources of truth, starting or resuming work, implementation policy and verification and review.