The lab's engine repairs, the ASSOCIATE read rule, and the corpus baseline - #13
Merged
Merged
Conversation
A selector counted as a write of its variable however the body used the alias, so an internal function whose whole use of the host's csp is ``associate (A => csp%S(4, :))`` and a read of A was reported as writing csp, and a function reference cannot carry a host write back: four of numfor's csplines blocks were refused for it. The alias is the selector: it is a variable of the construct, and the selector escapes exactly when the alias is assigned, handed to a writer, or otherwise changed, carried through an alias of an alias. A dummy only read through an association is now proved intent(in). Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01ET3f4UBN7DtvJn9m12RtK6 Signed-off-by: lewisychen <yueqichen.0x0@gmail.com> Carried-From: 351259691a4524647d6740a191be038663f5fa77
- Merge a training lab's engine repair line onto main - A generic over a declared-only specific takes its signature from the interface block - Lint, types and dead code after the lab merge - corpus: the baseline refreshed at the lab merge, all twelve cases - CLA: sign as Qinrun Dai Signed-off-by: 2st <mouseisnotalwaysmouse@outlook.com> Signed-off-by: lewisychen <yueqichen.0x0@gmail.com> Signed-off-by: Qinrun Dai <mouseisnotalwaysmouse@outlook.com> Carried-From: d7b97c5c60200ab394b81e2572097532c1465193
…read rule The lab merge recorded its baseline before the ASSOCIATE read rule landed. With both on main, numfor is 58 -> 51 deferred: csplines' seven "internal function writes host variable csp" refusals, the ASSOCIATE imprecision, are gone. The other eleven cases are unchanged. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01ET3f4UBN7DtvJn9m12RtK6 Signed-off-by: lewisychen <yueqichen.0x0@gmail.com> Carried-From: 93a673145457c0bf0e8c34c557de842506670575
… merge The conformance case that claims a block the rules refuse held a formatted internal write with its format in a variable; the lab's I/O work grew a rendering for that, and the candidate deferred nothing. A SELECT TYPE over an unlimited polymorphic stands there now: which branch runs is the dynamic type's decision at run time, which the translation has no value for. corpus/toy_physics/verification.json carries the candidate digest the emitter now produces; the three verdicts are unchanged. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01ET3f4UBN7DtvJn9m12RtK6 Signed-off-by: lewisychen <yueqichen.0x0@gmail.com> Carried-From: c56c4483b0df45224acc70f7e143280ce07ccdcc
chenyueqi
force-pushed
the
sync/lab-repairs
branch
from
September 8, 2026 04:38
9dce724 to
fb4ac51
Compare
chenyueqi
added
engine
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
2 participants
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.
Carried by tools/export sync; each commit names its origin in a Carried-From trailer.
Three changes:
intent(in).Suite on the branch: 939 passed. Hygiene clean.
🤖 Generated with Claude Code
https://claude.ai/code/session_01ET3f4UBN7DtvJn9m12RtK6