Validate Python MakeSsa D facade candidate - #158
Draft
yoff wants to merge 2 commits into
Draft
Conversation
Apply the sealed MakeSsa D production candidate exactly. Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Format the sealed facade adapter and cover ordinary and synthetic-exit uses. Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
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.
Scope
Standalone diagnostic layer on draft #156 (
yoff-freecad-guarded-use-hotspotat80939b08790e0de870e8a5014b95f4fdfe5ae961). This PR is intentionally not inserted into or appended to native stack github#155; #157 remains the existing top of that stack and is excluded from both DCA variants.The candidate is the sealed ordered A→B core-cache removal plus B→D Python facade/adapter correction. No broad raw-reachability cache or new shared API is introduced.
Sealed identity
17e9303e5b8d37912082e3388ed0907e6cfdfbdb1ff1857efe80cedc6d391895627b47f2feb90c9adc984f88935d6617e4c50b4167f79f7e3eacf06a5e9913c66344a7cdf1d869c68be73c6371df1916d428545186f8b0d03119c5e2d06d57a54681f6af496050b4ccd991bc6547f05ccf6322f30601ee4a568fb97fLocal evidence
Deterministic joined tuples versus A:
D beats prior C on every source. CPython and Nova repeats retained invariant joined tuples and BQRS. Exact BQRS, focused tests, real-database facade/use contracts, capture SSA, and ordinary/synthetic-exit non-overlap passed.
The private synthetic-exit cache materializes once with 201,609 / 136,740 / 245,694 / 218,282 rows for Airflow / Nova / Salt / CPython and receives a target-query cache hit. It does not contain ordinary reads. Retained cache remains 7,168–25,304 KiB below A with unchanged tuple-pool sizes.
Validation
dataflow-new-ssa/SsaTest.qldataflow-new-ssa/AdjacentUsesContract.qldataflow-new-ssa/FacadeAdapterContract.qldataflow-new-ssa-vs-legacy/CmpTest.qldataflow/variable-capture/CaptureTest.qldataflow/variable-capture/dataflow-capture-consistency.qlAll passed. The focused facade contract reports zero ordinary-read, end-of-block, phi-input, uncertain-write, adapter-use, facade-exit-read, and ordinary/synthetic-exit overlap mismatches; it observes 14 synthetic exit uses. Airflow CSRF exact-output control reproduced BQRS hash
05953605a10e3fd0994ef0f614ff5abd.