Repository navigation
test(c-host): the helper path reaches a real C host, and the helper-check-propagation slice closes (§9-72) - #340
Merged
Conversation
…heck-propagation slice closes (§9-72) - examples/basket.mls: the line total moves into an internal helper `line_total` with no `!`. The C host's existing overflow check now measures the helper path (acceptance F): the compiler before #339 answers status 0 with -2 for that input, today -3. Internal, so no IFACE_HASH line moves; only basket's generated Rust changes in the golden. - 626 rows re-measured with the implementation: identical to the prototype on every row (acceptance I) — §9-71.3's table holds. - SPEC closed banner and status; index row ✅; candidates: the slice leaves, `wrapping_*` builtins enter (DP-P10). - Session wrap: 9-72.md, HISTORY stub, ▶ entry (6), entry (5) byte-identical to start-block-053.md. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Owner
Author
🔵 SCAManager 분석 결과총점: 89/100 (등급 B) 점수 상세
|
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.
SPEC-helper-check-propagation§6 작업 2 — 슬라이스를 닫는다. 선행: #338 SPEC · #339 구현. 관련: DP-P11 · D17.무엇이 바뀌나
examples/basket.mls의 줄 합을!없는 내부 헬퍼line_total로 옮겼다.host.c의 기존 검사(INT32_MAX × 2→ML_ST_OVERFLOW)가 이제 헬퍼 경로를 잰다. 같은 예제를 feat(codegen): a helper under a fallible caller is checked too — the call path decides #339 이전 컴파일러로 부르면 status 0에-2(조용한 오답), 지금은-3이다(측정). 내부 함수라IFACE_HASH0줄 변화 — 골든 변화는 basket의 생성 Rust뿐(ml_ck_line_total, 평범한 본문 없음).wrapping_*내장 함수를 넣음(DP-P10).docs/history/9-72.md, HISTORY 스텁, ▶ 항목 (6), 항목 (5)는start-block-053.md로 바이트 그대로.근거 (E2)
doc_claims50/50 — 후보 목록 가드가 닫힌 슬라이스 이름을 새 후보 문장에서 한 번 잡았고 고쳤다.Grok (한 번에 주장 하나 — 전부 CONFIRMED)
host.c주석 — 골든 변화가 basket에 국한,IFACE_HASH불변start-block-053.md↔ STATUS에서 지운 블록 — blob id 동일🤖 Generated with Claude Code