ring:dev-property-testing

Generate property tests to verify domain invariants across all inputs.

• Validates backend logic by ensuring rules hold for randomly generated data.
• Depends on ring:codebase-explorer to identify constraints when inputs are missing.
• Executes only when domain invariants exist and the task is within a dev cycle.
• Reports failure if invariants are violated or property tests are absent.