fix(classfile): 검증 규칙이 멈춘 위치를 말한다 — 11규칙, 변종 1개 - #93
Merged
Jun025 merged 2 commits intoSep 23, 2026
Merged
Conversation
…lassfile): 검증 규칙이 멈춘 위치를 말한다 — 11규칙, 변종 1개
validate_class 는 14규칙(고정문장 13). 그중 11개가 표를 걸으며 멈춘 위치를
이미 쥐고 있었다. InvalidFormatAt { cause, location } 하나 + Location 5종
(pool·interface·field·method·class attribute) — enum 은 규칙이 아니라 표
종류로만 자란다. 술어 본문 불변(all/any → 첫 위반 위치) · 크기 불변.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Jun025
deleted the
rustjava-2026-09-18-bootstrap-argument-index-and-tag-adopt-p0
branch
September 23, 2026 16:33
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
1 participant
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.
변경요약
validate_class전수: 규칙 14(고정문장 13 — 티켓 전제 15/14 는 1 차이). 13 중 11이 표를 걸으며 멈춘 위치를 쥐고 있었다.ClassFileError::InvalidFormatAt { cause, location: Location }1변종 +Location5종.this_class/super_class는InvalidFormat유지.<종전 문장> (<표> #<n>)— pool 은 javap 의 1-기반#N, 나머지 0-기반. 파일 바이트 0. 경계 무이동(술어 본문 불변).InvalidClassFileAt+located_message· runtime/test-utils 에 ClassFormatError arm 1개씩.테스트
cargo test --all593 passed / 0 failed · clippy stable/beta/wasm32 경고 0.test_the_structured_variant_does_not_grow_the_error_type무수정 통과.채택:
2026-09-18-bootstrap-argument-index-and-tag#p0🤖 Generated with Claude Code