REV004: add regression and legacy-fallback reduction evidence #17

Closed
tangweijie wants to merge 0 commits from docs/rev004-regression-legacy into main
Owner

Summary

  • add evidence for REV004 regression harness rollout
  • record formal-first fallback reduction decisions and fresh verification results
  • document page/stat/log query behavior after formal truth tightening

Evidence source

  • backend commit 7607c1360666961e20f0090b3e6cc8562c50dd6d
  • regression log directory .omx/logs/rev004-regression/20260417T110920Z

Notes

  • this PR is documentation-only and tracks the backend PR emsoft-IF/sw-system-cloud#81
## Summary - add evidence for REV004 regression harness rollout - record formal-first fallback reduction decisions and fresh verification results - document page/stat/log query behavior after formal truth tightening ## Evidence source - backend commit `7607c1360666961e20f0090b3e6cc8562c50dd6d` - regression log directory `.omx/logs/rev004-regression/20260417T110920Z` ## Notes - this PR is documentation-only and tracks the backend PR `emsoft-IF/sw-system-cloud#81`
tangweijie added 1 commit 2026-04-20 15:13:12 +08:00
The evidence captures the new regression scripts, formal-first query
narrowing, and the fresh verification trail used to support the next
round of fallback removal.

Constraint: Evidence must match commands and outcomes actually executed in backend worktree
Rejected: Fold this into an older summary doc | would hide the stepwise proof for fallback reduction
Confidence: high
Scope-risk: narrow
Reversibility: clean
Directive: Keep appending fresh verification evidence here until the remaining legacy fallback is either removed or explicitly retained
Tested: Evidence cross-checked against backend worktree commands, regression logs, and targeted test outputs
Not-tested: No doc export/render pipeline executed
Author
Owner

该 PR 对应提交 1b6fda9c4d6743ba8621c32dc1035aef5950ee50 已直接进入 main,当前 head/base/merge_base 已一致(内容已被主分支包含)。按已包含处理,关闭此 PR 以避免重复合并。

该 PR 对应提交 `1b6fda9c4d6743ba8621c32dc1035aef5950ee50` 已直接进入 `main`,当前 `head/base/merge_base` 已一致(内容已被主分支包含)。按已包含处理,关闭此 PR 以避免重复合并。
tangweijie closed this pull request 2026-04-20 16:49:02 +08:00

Pull request closed

Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: tangweijie/fujian_water_biz_doc#17
No description provided.