Skip to content

docs: design residual Add-tree BatchNormalization folding - #1311

Open
Qiong Wu (qiowu) (DingmaomaoBJTU) wants to merge 3 commits into
mainfrom
dingmaomaobjtu-residual-bn-design
Open

docs: design residual Add-tree BatchNormalization folding#1311
Qiong Wu (qiowu) (DingmaomaoBJTU) wants to merge 3 commits into
mainfrom
dingmaomaobjtu-residual-bn-design

Conversation

@DingmaomaoBJTU

Copy link
Copy Markdown
Collaborator

Summary

  • specify generic safe residual Add-tree BatchNormalization folding under the existing CLI capability
  • define shared capability ownership, algebraic rewrite invariants, atomic mutation, and fail-closed behavior
  • provide an eight-task strict-TDD implementation plan with generated-graph and real-model validation
  • require real-model evidence for 232 source nodes and all four eligible BatchNormalization nodes removed (4 -> 0)

This PR contains design and planning documentation only; it does not implement production code or tests.

github-actions Bot and others added 3 commits August 14, 2026 12:20
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants