Module sequencing_properties 

Property-based tests for operation sequencing in domain agent coordination

Feature: ricecoder-domain-agents, Property 7: Operation Sequencing Validates: Requirements 4.4