Repository navigation
Implement native phase fields, static control, and field reflection - #1402
Merged
Merged
Conversation
STATIC-009: a struct or tuple may hold an Intrinsic.StaticSequence or descriptor field. resolveMemberShape no longer rejects phase-only member types; phaseOnlyType walks struct and tuple fields transitively, so a runtime parameter, result or failure of such a type and an embedded static value of it report StaticPhaseViolation. The LIFE-003 field scan treats Intrinsic.Type and Intrinsic.StaticSequence as sealed families. COMPILER_COMPATIBILITY.md records the bootstrap's SEM0219 divergence. Work in progress: Cases and corpus verification not yet complete. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01EWoV5Yzbu782pFaVwhcaRv
Preserve checked static evaluation budgets and authenticated field authority. Admit exact immediate loans from outside storage while retaining generated-storage, stored-capture, and lifetime refusals.
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.
Native static functions and control flow, sealed phase fields, authenticated field reflection and ordinary borrowed field projections are implemented. Recursive evaluation separates cold preparation from hot recursive paths while preserving ownership, charging, diagnostics and rejection behavior. The depth probes that previously crashed now produce their exact expected results on a normal 8 MiB stack with the default depth limit of64.
Merged as522d020dc6e5770f5fd59bfbceb02c4d26703bac from authored head87ba66a1916e02e3f1f0dbc6a687c2a4a190b125, treeee9a96b4a92891023b8dc6bd87a0dc7f926103ff. That canonical push completed with688 passing source cases and one stale checked-helper cache assertion, owner coordinator/#1413; corpus410PASS/0FAIL/9UNSUPPORTED and N0/restore/N1 SUCCESS. #1413 is merged as3682c9e6: the repaired actor passes with C7 and the published bootstrap, its exact authored CI is fully green, and actual N0/N1 mandatory5/depth8/ownership36 plus N1examples11 repeat PASS. Only one unrelated test helper and documentation change; production compiler inputs are byte-identical. Final canonical push 38096140527 is fully green: N0/restore/N1, all689 source tests/0FAIL/0cached, corpus410PASS/0FAIL/9UNSUPPORTED and Focused Linux SUCCESS. No known current compiler miscompile or crash remains.
Validation:
Completed historical reds have explicit owners: bb7e/55a5 depth signals and canonical reflected-borrow-wrapper StaticViolation at memory/driver.silk150–180 belong to phase-fields/#1402, retired by the actual final gates and410/0/9 corpus. Bootstrap Effect-fixture SEM0199/private-payload failures belong to coordinator/#1412, retired by named helpers/public lifetime atom access and the complete60-case canonical callable success.
Remaining limits: nine documented HTTP/socket typed-form/effect-lowering fronts, owner compiler backend follow-up/coordinator; bootstrap loop-varying static selection rejects SEM0176 while full per-iteration selection remains open; native borrow-check SILK_GAP diagnostics remain visible; Julia's#1359 invalidation and reference failure-identity erasure decisions remain pending. No stack increase, depth reduction, compatibility adapter, acceptedFailures or quarantine change. Manual old/superseded CI cancellation is blocked by the missing connector Actions cancel endpoint; selfhost pushes are never manually cancelled.