feat: routes --role server — axum·actix-web route-decl과 수확 지역 가림 수정

[ictechgy]

요약

API 영향 프로그램 Phase 7 후속. rustograph routes --role server로 axum·actix-web 서버의 isthmus http route-decl 사실을 내고, 수확의 이름 해석 결함(지역 변수를 같은 이름의 모듈·fn으로 읽음)을 고친다.

routes --role server

• axum 0.7·0.8 — dispatch: "specificity". 서빙되는 라우터(axum::serve·into_make_service)에서 route·nest(axum path_for_nested_route 결합)·merge·지역 let·재대입·라우터를 돌려주는 크레이트 함수를 정적으로 편다. 경로 문법은 cargo metadata가 고정한 버전으로 고른다(0.7 :id/*rest, 0.8 {id}/{*rest}/{{). matchit의 중간 파라미터 빈 값 매칭은 빈 값 변형으로 낸다.
• actix-web 4 — dispatch: "registration-order". App마다 order.group, 리소스마다 order.index. 매크로(#[get]·#[route]·#[routes]), web::resource·web::scope·App::route·configure, 가드(narrowed), {id:\d+} → paramConstraints, {tail}*와 빈 꼬리 변형, NormalizePath 효과.
• 핸들러 symbol.usr는 impact·reach와 같은 정점 ID(같은 syn 수확의 트리로 해석) — reach --roots-from routes.json이 그대로 받는다. 클로저는 감싸는 fn + missing-route-usrs:.
• 확정하지 못한 것은 dynamic 사실이나 스코프 있는 route-coverage:·framework-provided-routes:·unresolved-route-prefix:로 낸다. 내기 전에 템플릿 문법·order·스코프를 소비자와 같은 검사로 확인한다.
• 규칙마다 axum 0.7.9/0.8.9·matchit 0.7.3/0.8.4·actix-web 4.15.0·actix-router 0.5.4·codegen 4.4.0·tower-http 0.6.11 소스 줄 근거: docs/HTTP-ROUTES.md.
• isthmus 공유 벡터를 76b6141에서 잠금 파일과 함께 벤더링(conformance/, conformance.lock). 생산자 사례 60건 통과(template.grammar·normalize·dispatch.validate·scope.validate), 나머지는 사유별 분류.

오라클 (experiments/routes-oracle/)

fixture의 같은 lib.rs를 crates.io의 진짜 axum 0.8.9·0.7.9·actix-web 4.15.0으로 컴파일해 프로세스 안에서 요청(oneshot·test::init_service). "사실만으로 isthmus 방식으로 고른 핸들러 = 실제 디스패치"를 사실·끝 슬래시·기대·음성 요청으로 본다.

fixture	정밀도	재현율	음성	끝 슬래시
axum 0.8.9	24/24	23/23	12/12	22/22
axum 0.7.9	14/14	11/11	6/6	13/13
actix-web 4.15.0	23/23	18/18	9/9	19/19

기록을 커밋하고 tests/routes.rs가 오프라인으로 지금 출력과 정확히 대조한다.

수확 수정 (harvest)

• 지역 묶음(let·let-else·매개변수·클로저·match 팔·if/while let·for, 블록 안 fn 매개변수) 스코프 스택. 값 자리의 단일 식별자는 지역이 먼저, 값 자리의 모듈 해석은 버림(같은 경로의 fn·const·static은 남김), self 수신자.
• 자기 분석 가짜 간선 109개 제거(모듈 references 100 + 지역명과 같은 fn 9), tests/fixture 8개. type 레벨 cycles: 수정 커밋에서 13 → 8(이 브랜치 끝 12 — 새 routes 모듈의 메서드→모듈 함수 투영 4개, 게이트 아님).

e2e (scratch, isthmus 76b6141 무패치 + schemagraph 703a21f)

합성 axum+sqlx 백엔드: route 선택 trace 4 chain 모두 route → 핸들러 → relation-use → 테이블. 경로 호출 hop은 direct, 메서드 호출 hop은 candidate(syn 이름 팬아웃 — 수확 수정과 무관, --semantic 필요). 수정 전 바이너리로는 지역 repo가 모듈 crate::repo로 읽혀 두 route가 audit_log에 direct로 닿는 거짓 hop 2개가 생겼고 수정 후 사라졌다.

리뷰

GLM 2라운드(비테스트 diff). 반영: 모듈과 이름을 공유하는 fn·블록 안 fn 매개변수, UTF-16 길이 상한, 클로저 계수, 비객체 스코프, 빈 값 변형이 같은 템플릿 정적 경로에 가려짐(오라클로 재현), MethodRouter::layer·변수 레이어의 정규화 오판, actix app = app.route(..) 재대입 누락, 함수에 넘긴 App 한계, 루트 밖 dynamic 앵커. 반박: 누락 모듈(패치 분할), 캐시 조기 반환(harvest()는 캐시를 읽지 않음), 리다댁션으로 깨진 상수, cargo metadata 한계 접두사(resolve 부재가 곧 버전 판정 불가).

검증

cargo test(+ --features semantic 47), clippy(CI와 같은 1.98.1) 경고 0, cargo fmt --check, 커버리지 91.9%(게이트 90), verify-cli-contract.sh OK(routes 종료 코드·계약 필드·usr가 reach root), 자기 분석 rules --strict 0 / cycles --level symbol --strict 0, isthmus 76b6141 check가 세 fixture 문서를 받음.

알려진 근사(전부 거짓 match 쪽)

axum 경로 우선 405 vs isthmus method 우선, actix 라우트 수준 method 가드(405)·스코프 포획·web::get()의 HEAD 미수용, 정규화 미들웨어가 닿지 않게 만든 선언을 strict로 냄, actix 매크로의 리소스 수준 method 가드에 소비자 route-decl-path-shadowed 경고 가능.

🤖 Generated with Claude Code