Repository navigation
Sync published main iterable admission and referent call targets - #1405
Merged
Merged
Conversation
Admit sealed phase-only results in static-for iterables
Discover call targets beneath dereference expressions
julia-script
marked this pull request as ready for review
October 10, 2026 08:11
julia-script
added a commit
that referenced
this pull request
Oct 18, 2026
Sync published main iterable admission and referent call targets
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
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.
Sync published canonical main 2187a1f into canonical selfhost aecdd59, retaining both exact parents. This imports main #1403 sealed phase-only static-for admission and #1404 executable call-target discovery beneath referent places, with structural regressions and two shared native exit-42 cases.
Main #1403 and #1404 exact-head full PR CI passed. The latest main bootstrap publication succeeded in run 38036282723, job 114167592925. Local provenance guard checked five commits against the published main; diff checks and source tree are clean. Fresh bootstrap ordinary helper and public Reflect.borrowField wrapper repros compile and exit 42.
Exact-head N0 passed in run 38036480271, job 114167847620, and verified-seed restore passed (114169276616). The tested merge commit e399cb2 has the same tree 59e72b8651ef7d2e5d707d95f39ffb5a103de72e as PR head 3be24e7. N0 binary SHA256 c7bec1a2ed7558e190666624c32265d64470eee72db05455ea99d186c7af067a; receipt verifies bootstrap 2187a1f and the embedded stdlib digest. Experimental N1 passed (114169276635): the rebuilt compiler SHA256 is 721f86d22c93916054f199f6e88ece1a68b24c1b542a575ecf2e41e920653281, and its fresh trivial-features binary exits 42 with empty output. The verified current N0 also compiled the ordinary reference helper, which exits 42. Final native corpus: 405 PASS / 1 FAIL / 13 explicit UNSUPPORTED; Focused Linux Silk passed. The sole actual failed case is reflected-borrow-wrapper: StaticViolation at memory/driver.silk:150–180, exactly Intrinsic.reflectFields(). The permanent main-first regression newly exposes the existing native sealed-reflection feature gap, owned by phase_fields / #1402; current N0 independently reproduces the refusal, while the reference bootstrap compiles the wrapper and exits 42. It is a compilation refusal before runtime, with no RUNTIME_MISMATCH. The ordinary dereferenced-call-target case passes. No failure expectations or quarantine changed. Canonical main's latest push (38036282723) retains two established coordinator-owned GeneratedEffectRunnerLoweringError gaps (owned-provider-shared-dispatch at Run driver:427–444 and effect-retry-and-provide-effect at Run driver:1952–1969), reproduced on fa4/687 controls.