fix(compare): preserve functional union membership during equality routing#2255
fix(compare): preserve functional union membership during equality routing#2255samchon wants to merge 3 commits into
Conversation
Claim issue #2252 before implementation so one batch owns equality routing, emitted membership evidence, and its cross-axis regression matrix. Constraint: Campaign pull requests cannot change versions, tags, releases, or publication state. Rejected: Patch before claim | the campaign requires public ownership before product mutation. Confidence: high Scope-risk: moderate Directive: Preserve the issue invariant while treating any proposed classifier change as a hypothesis until emitted and executed. Tested: Independent validator/plain/equality reproduction and issue critic review passed on ce88a88. Not-tested: Product implementation and integration gates are intentionally pending.
d8cc877 to
bdd52cf
Compare
Self-review openedThe reservation now has an implementation candidate at Scope is limited to #2252: I will re-read the exact diff and transformed 52-case proof, including the canonical one-line |
Self-review completeReviewed
Independent verification also passed. The pull request stays draft because #2257 must integrate first; prospective and exact-merged integration gates remain mandatory, so this self-review is not a merge recommendation. |
|
Superseded by #2266. The maintainer stopped all local building and testing after the machine ran out of resource headroom, and directed that the residual campaign pull requests be consolidated into one with verification delegated to GitHub Actions CI. This unit's net diff is carried into #2266 as its own squashed commit, so its issue keeps a separate acceptance boundary, rollback unit, and failure attribution inside the shared pull request. Closing this one. The branch is left in place; nothing is deleted. |
Closes #2252.
This draft reserves the independently reproduced functional union-membership defect before implementation. Equality must use the same active-option member distinction as authoritative validation and plain routing; two distinct operands rejected by that membership must not acquire a fallback member and become equal. Existing same-reference and post-selection function-property comparison behavior remain explicit controls.
Implementation has not started. The batch will add direct/factory/nested real-transform regressions, both union orders, valid and rejected distinct-reference controls, enumerate every shared classifier caller, inspect emitted JavaScript, and mutation-prove the permanent oracle before prospective and exact-merge integration gates. The #2238 declaration-spelling residual is a cross-batch integration dependency, not a mechanism prescription.
Campaign constraints: no package version, tag, release, publication, or unrelated schema-interface change.