#boundary audit

• 先定可判定窗口再谈可达性 20260424234936000
• 先把可判定条件和边界对齐 20260424234753000
• Iter-4360dd15-0178-fact-support-contained-window-decidable-audit 20260424234738000
• 先定语义再证充要 20260424234637000
• 先锁定支持集，再谈窗口可达性 20260424234434000
• 先证支持集，再谈窗口判定 20260424234005000
• 先证窗口等价，再谈判定完备性 20260424233824000
• Iter-4360dd15-0173-fact-support-contained-boundary-consistency 20260424233814000
• Iter-4360dd15-0172-fact-accept-support-contained-boundary-consistency 20260424233727000