Repository navigation
DEFER: F4 cond2 framed necessity largely already in #1782 - #1820
Closed
VictorLiwentao wants to merge 2 commits into
Closed
VictorLiwentao wants to merge 2 commits into
VictorLiwentao wants to merge 2 commits into
Conversation
On the selected R439 word, the PR1782 target-feeding wrap (pair 277->434) fails H2-sem condition 2 while preserving conditions 1/3, D/A frames, the 661-column framed dirty endpoint, and paid profile mass 5129. Exact costs and controls are locked in EXPECTED.json. No new kappa. Prepared by Wentao Li with substantial AI assistance.
VictorLiwentao
changed the title
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Disposition: defer / closed
Not merged. Master independent review found the headline claim is already witnessed by open CrocSwap/integer-mult-bounds#1782.
#1782
CERTIFICATE.jsonf4_target_feed_probealready recordscond2=false,boundary_operator_exact,frames_at_cut_equal,semantic_K_equals_raw_K,d_source_reads=18154, and the README states F4 preserves scalar operator/endpoint/frames while failing only condition 2. This package’s 661-column framed replay, literal F/R agreement, paid mass 5129, and ADD bill24305→24374are useful hygiene but do not establish a non-entailed new independence fact beyond that open probe.Package head
eba5ebcfstill verifies locally (PASS_H2SEM_COND2_FRAMED_NECESSITY/ registered), but is not submitted as a freestanding research claim. A useful follow-up would need a non-compositional framed failure mode, a general D-local substitute for condition 2, or a new wrap that changes the paid profile while preserving the dirty endpoint.Credit
Aaron Wang / navinor (#1782), woklerx (#1194), PR848 authors. Prepared by Wentao Li (VictorLiwentao, @Is__Victor) with substantial AI assistance. Apache-2.0.