docs(unshadow): #2-ext rt_str inline — 🔴 CLOSED-NEGATIVE (ABI-boundary falsification)

[dancinlife]

✂️ UNSHADOW #2-extension — rt_str_* 인라인: 🔴 CLOSED-NEGATIVE

#2(hexa_int, merged ~28%)을 문자열 prim으로 확장 시도 → link 경계서 falsified. 코드 변경 없음(codegen.hexa clean revert) — log + verdict + 벤치만 기록(publishable negative · commons paper_negative_ok).

무엇이 반증됐나

prim rt_str_starts_with 인라인 → 안 링크됨:

Undefined symbols: _HX_STRLEN (x8)   ·   grep -c HX_STRLEN self/runtime.h → 0

runtime.h는 HexaVal-level ABI만 export하고 내부 스칼라 헬퍼(HX_STRLEN·hxlcl_strncmp)는 노출 안 함. 모든 의미있는 rt_str_* 본문은 비-export 내부에 의존 → 순수-레이아웃 인라인 form 부재.

왜 hexa_int은 됐나 (역규명)

((HexaVal){.tag,.i})는 runtime.h-가시 구조체+리터럴만 씀 → 내부 헬퍼 0개. 인라인 가능 ⇔ prim 본문이 runtime.h 가시 표면만 사용. 이게 이번 발견.

가드는 정상

double-eval 가드(각 인자 1회 let-bind, __sw_s/__sw_p) 설계는 정확했음. 반증은 ABI 경계지 가드 결함 아님.

verdict: .verdicts/unshadow-2ext-rt-str-inline/F-UNSHADOW-2EXT-RT-STR-INLINE.txt. milestone flip 없음(확장). 🤖 Generated with Claude Code