Skip to content

Implement native phase fields, static control, and field reflection - #1402

Merged
julia-script merged 23 commits into
selfhostfrom
native-authenticated-field-reflection
Oct 10, 2026
Merged

julia-script merged 23 commits into
selfhostfrom
native-authenticated-field-reflection

Conversation

@julia-script

@julia-script julia-script commented Oct 10, 2026 •

Copy link
Copy Markdown
Collaborator

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:

  • Exact authored-head CI38091478643 is fully green: N0, restore,N1, corpus and FocusedLinux SUCCESS; expected PR case-matrix skip. Corpus410PASS/0FAIL/9UNSUPPORTED. All executed jobs use default ubuntu-24.04 GitHub Actions runners.
  • Actual N0artifact11684761835 and N1artifact11684752614 are verified against real CIexport67653f5a, all372 compiler/stdlib bytes and modes, published main46a bootstrap, pinned toolchain and unchanged raw receipts. Both generations PASS mandatory5, all8 normal-stack depth probes and original32+fresh4 ownership controls, preserving exact exits/negative codes and spans/SEM0180 rejection spans with zero signals. N1 additionally PASS all11 authored examples with exact exits and quiet runtime. All sources,177 regular stdlib files, fixtures, harnesses, compilers and raw receipts remain stable; N1 retains its true N0 producer and original sourceCommit/generation/stages0/0/42.
  • Complete C7 build from committed e38b0c93: build0 in186.867s, peak4,748,504KiB, all15 authored actors PASS/run42/empty runtime stderr/no signals, all377 full inputs and modes stable. The canonical ancestry merge e3b03a5f leaves that complete tree unchanged; actual execution receipts retain e38b0c93. All15 actor files, assertions, headers, helpers and harness remain byte-identical to the preceding passed snapshot.
  • Actual-public bootstrap guard PASS33commits. Containment verifies372 public inputs/full filesystem and Git modes/proper parents/private-public tree identity, six superseded actors and reachable helpers, production helpers, canonical PAPERCUTS prefix+25 unique physical rows. Canonical522d/public87ba/actualCIexport676 source continuity is proved without relabeling any generation.
  • All66 supplemental ownership files match frozen hashes and permissions. Current87ba runtime controls were executed independently on both verified generations; no previous-generation result was transferred.
  • Canonical fixture repairs#1410/Align canonical semantic fixtures with current contracts and emitted MIR/LLVM #1411/Use named helpers for canonical Effect meet inspection #1412 are included. Their ten affected semantic actors PASS in a complete native build. The preceding canonical8dd push executed all676 authored source cases with0 failures/0cached across all nine shards, including all60 callable cases; N0/restore/N1 alsoSUCCESS. Admit phase-only aggregate fields and reject runtime uses #1376/Evaluate native static control in its checked argument and local context #1396 are closed unmerged with their claims/helpers preserved here.

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.

claude and others added 11 commits October 10, 2026 03:28
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.
@julia-script julia-script changed the title Implement authenticated aggregate field reflection and shared projection Implement native phase fields, static control, and field reflection Oct 10, 2026
@julia-script
julia-script marked this pull request as ready for review October 10, 2026 22:52
@julia-script
julia-script merged commit 522d020 into selfhost Oct 10, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants