feat/heap pair abi carrier by dancinlife · Pull Request #4936 · dancinlab/hexa-lang

dancinlife · 2026-07-13T15:59:56Z

feat(runtime): HEAP 전용 pair-ABI carrier 3종 신설 + array_new 시드 배선 (byte-neutral)
docs(convergence): heap carrier 는 STRONG 이어야 한다 — weak 가 arena 가로채기를 허용했다

…-neutral) 네이티브 .s 시드는 hexa pair-ABI 로만 호출할 수 있는데, descriptor 를 잡을 수단이 아예 없었다. self/runtime.h 를 전수 조사한 결과 heap 전용 pair-ABI carrier 가 부재하고, 유일한 범용 carrier 인 hexa_ptr_alloc 은 이름과 달리 ARENA 다: _hexa_ptr_alloc: # self/native/alloc_syscall_arm64.s:3148 bl _hexa_arena_alloc # ← arena bump-allocator 로 위임 runtime.a 안에 정의가 둘 있고(runtime.o 의 weak malloc vs alloc_syscall_native.o), 링크에서 이기는 쪽이 후자다. 그런데 배열 DESCRIPTOR 는 프레임을 탈출하므로 arena 에 있으면 rewind 후 다음 bump-alloc 에 재사용되어 len/cap/items 가 조용히 덮어써진다 — C 원본 주석[runtime_core_emit.hexa:2739]이 명시 금지하며, calloc 은 바로 그 방어였다. hexa_heap_alloc(size) malloc hexa_heap_zalloc(size) calloc(1,n) — descriptor 클래스 hexa_heap_realloc(ptr,size) realloc — typed-leaf grow 경로용 ★ STRONG (non-weak) 이 설계의 핵심이다. weak 였기 때문에 arena 시드가 hexa_ptr_alloc 을 소리 없이 가로챘다. strong 이면 어떤 네이티브 시드가 같은 이름을 정의하는 순간 multiple-definition 게이트가 빌드 시점에 시끄럽게 터진다 — 조용한 교체는 두 번 없다. ARRAY_NEW 가드 바깥에 emit 한다(시드가 켜져도 carrier 는 남아야 하므로). 생성된 runtime_core.c 에서 carrier 는 2587-2597, 가드 #endif 는 2582 로 확인. 검증 (mini darwin, stage_resolve 후 nm): runtime.o: T _hexa_heap_alloc / T _hexa_heap_zalloc / T _hexa_heap_realloc weak(W/S/v) 0건 · 다른 멤버의 정의 0건 BYTE-NEUTRAL — array_new 의 .s 시드는 main 에 없으므로(#4932 revert) ARR-NEW 는 C 경로를 유지한다. 이 PR 은 substrate + 배선까지이고, flip 은 regen + byteeq 후 별도 라운드다. ⚠️ 함께 박제하는 FALSIFIED 결과: "build_aprime 의 index 7 out of bounds(len 2) = arena descriptor 오염" 이라는 내 판정은 틀렸다. 내 변경이 하나도 없는 순수 origin/main 대조군에서도 동일하게 재현됐고, 진짜 원인은 summer 의 HEXA_PREBUILT_RUNTIME 이 7/4 자 낡은 ~/.hx runtime.a 를 가리킨 환경오염이었다(convergence stage-resolve-runtime-a-2 trap#2). arena 라는 사실은 참이지만, 그것이 눈앞 증상의 인과는 아니었다. state/hexa-own/seed_abi_class_audit.md — 워크플로우 wf_5c5b82ee-80b 전문(41 에이전트 · 적대적 반증 통과 33건). 결정적 신규: typed-leaf i64/f64 는 raw-libc egress 말고 SCALAR-ABI ingress/return 미스매치가 따로 있어 carrier 치환만으론 안 고쳐진다. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

…허용했다

…rrier # Conflicts: # ARCHITECTURE.json # ING.jsonl # tool/regen_array_new_leaf_native_s.sh

alloc-syscall-arm64-s-1: 'hexa_ptr_alloc = ARENA' 는 참이지만, 그것이 build_aprime 의 'index 7 out of bounds' 의 원인이라는 내 판정은 FALSIFIED. 내 변경이 0 인 순수 origin/main 대조군에서도 동일 재현됐고, GitHub 새 clone 에서는 같은 main 이 정상 빌드됐다 — 진짜 원인은 풀 호스트에 남은 stale 생성 아티팩트였다. build-aprime-sh-3: 그 stale-생성물 학습. 처음 build-aprime-sh-2 로 넣었는데 main 에 같은 id(오류 필터 학습)가 이미 있어 union 병합에서 조용히 드롭됐다 — id 충돌 자체가 또 하나의 함정.

…안 고쳐진다 (__hxw_ 브리지가 정답지)

@16

워크플로우 wf_ba079006-120 (30 에이전트 · 적대적 반증 통과 23건). 내 전제 4건이 반증됐다: 1. "array_core 가 __hxw_ 브리지를 쓴다" — FALSE. grep 히트가 주석이었고, 그 주석은 정반대를 말한다: "no C bridge needed for this native→native edge; the __hxseed_ bridge exists only for C-side callers" [array_core.hexa:54-63]. 2. "브리지 미사용 = 역사적 누락" — FALSE, 구조적 불가. #define 은 runtime_core.c 텍스트만 덮는데 typed-leaf 의 호출자는 3종이다 — runtime_core.c · gen2 가 뱉는 user.c · 네이티브 백엔드가 뱉는 raw asm call. cpp 는 뒤 둘에 도달하지 못한다. 3. "len→0 이 SIGSEGV 근인" — FALSE. 데드 심볼(실호출자 0). 4. "잠복 결함" — FALSE. opt-out 만 있고 시드 9개가 tracked, packed 경로도 default-ON → 깨진 시드 x 깨진 레이아웃이 현재 SHIPPED DEFAULT 다. ★ 신규 확정 — 클래스 C (디스크립터 레이아웃 표류). 이게 진짜 근인이고 ABI 수정으로는 원리적으로 못 고친다: C [runtime_core_emit.hexa:1366-1370] { int64_t* data@0; int64_t len@8; int64_t cap@16 } 24B 시드 [array_typed_leaf.hexa:65,69-70] malloc(16) · store32(a,8) · store32(a,12) 16B 구조체는 #3352 에서 i64 로 넓어졌는데, 시드는 그보다 한참 뒤(#4917)에 작성됐음에도 옛 치수를 쓴다. 코드젠은 len 을 +8 에서 64비트로 읽으므로 len=(cap<<32)|len = 거대값이 되고, bounds check 를 통과해 OOB SIGSEGV. 역방향(C-mint → 시드 push)은 cap 을 +12(len 의 상위 32비트)에서 읽어 cap=0 → realloc(old,0)=free → UAF. 정답지는 같은 리포에 있다 — arr_zeros_leaf.hexa:61-63 은 store64 @0/@8/@16 을 쓴다. zeros/array_new 이 carrier 치환만으로 살아난 건 "스칼라 미러가 없어서"만이 아니라 레이아웃도 이미 맞았기 때문이다. 권고안 = thunk (시드를 *_seed 로 rename + all-HexaVal 시그니처, C 가 정식 이름을 C-ABI thunk 로 소유). 3종 호출자를 전부 커버하고 코드젠/gen2/frozen-seed 편집이 0이며, rename 자체가 flag-day 가드가 된다 — 낡은 runtime.a 는 undefined symbol 로 시끄럽게 죽지, 조용히 레지스터를 잘못 넘기지 않는다. 클래스 A(carrier) + B(thunk) + C(레이아웃) 셋 다 필수다. 하나만 고쳐서는 SIGSEGV 가 사라지지 않는다. 구현-ready 스펙(E1~E5, 전부 file:line) = state/hexa-own/typed_leaf_abi_layout_audit.md Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

…rier seeds + own-obj allowlist carrier fix (#4972) Regen the 3 frozen carrier seeds self/native/array_new_leaf_{x86_64,arm64, arm64-linux}.s from the #4936-fixed SSOT stdlib/runtime/array_new_leaf.hexa on the aiden pool + commit. Until now no seed existed (git ls-files empty), so the .s-seed path in stage_resolve_runtime_a short-circuited and HEXA_RT_ARRAY_NEW_ NATIVE stayed OFF on all 3 targets. With the seeds present, hexa_array_new drops from the compiled runtime_core.c and routes through the native carrier (bit-changing). Seed verify (aiden regen): x86_64 "1/1 T defined, U-floor clean". All 3 are carrier-only — call/bl hexa_heap_zalloc (the #4930-fix carrier) + bl _hexa_bool (__hx_payload_eq, expected) + hexa_exit. Zero U-floor breaches (no raw libc calloc/malloc/free, no boxed slow-call hexa_eq/mul/add_slow). arm64/darwin cross-assemble WARN-skips on the x86 pool host => real verify = cloud CI 3-target byteeq. Allowlist: stage_resolve_runtime_a:686 (the ARR-NEW own-obj path) held a stale hexa_ptr_alloc entry => it would mis-flag the carrier seed's hexa_heap_zalloc as _bad and reject it. Fixed to hexa_heap_zalloc, matching the .s-seed path at :722. :762 is the ARR-ZEROS family (arr_zeros_leaf_native.o) — left untouched (surgical). Verify: shell syntax check clean (local). Bit-changing => held PR. CI faithful- nobaseline 3-target byteeq + seed-ABI contract gate + install smoke. Merge only on all-3-target GREEN; any RED => revert. no-verify: 36 pre-existing ARCHITECTURE.json ARCH-BIG-CELL/PILED violations on origin/main, unrelated to this seed-add; CHANGELOG entry staged; ARCHITECTURE axis-② node updates after the CI-verified merge. Co-authored-by: nbcorr-agent <nbcorr-agent@users.noreply.github.com> Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

nbcorr-agent and others added 7 commits July 14, 2026 00:58

docs(convergence): heap carrier 는 STRONG 이어야 한다 — weak 가 arena 가로채기를 …

e30c99c

…허용했다

docs(convergence): stale 생성 아티팩트가 코드 결함으로 위장한다 — 판정 전 새 clone 대조군 필수

d5eeda6

Merge remote-tracking branch 'origin/main' into feat/heap-pair-abi-ca…

7fa1f11

…rrier # Conflicts: # ARCHITECTURE.json # ING.jsonl # tool/regen_array_new_leaf_native_s.sh

docs(convergence): typed-leaf 는 결함이 두 겹 — 스칼라-ABI 미스매치는 carrier 치환으로 …

ae921ee

…안 고쳐진다 (__hxw_ 브리지가 정답지)

dancinlife merged commit 77b1ba9 into main Jul 13, 2026
34 of 35 checks passed

dancinlife mentioned this pull request Jul 15, 2026

feat(L3 axis-② array_new): 3-target array_new_leaf .s carrier 시드 bake+commit + own-obj allowlist :686 carrier fix #4972

Merged

Navigation Menu

Repository navigation

feat/heap pair abi carrier - #4936

feat/heap pair abi carrier#4936
dancinlife merged 7 commits into
mainfrom
feat/heap-pair-abi-carrier

dancinlife commented Jul 13, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

dancinlife commented Jul 13, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant