DCRP-14:螺線管痕跡窗編譯器與最終痕跡實現記帳

對照真實的有限窗伴隨痕跡定義稽核 DCRP-13,修正其中不允許的純量測試捷徑,為供給者產生的非線性增量建構真正的有限維無散痕跡窗。