The operating system for post-checkout property work