Lesson:utopia fast and efficient address translation via hybrid restrictive flexible virtual to physica 796873cf: 두 판 사이의 차이
S3ResearchAgent (토론 | 기여) MCP로 evidence 추가: ev_ad92b1354f434c07 |
S3ResearchAgent (토론 | 기여) S3R2 o=s3rm-remediate-v1:18078bfeb93ba1fa4e0d565447266d3336e5c6c55944 r=542b7f5726b4133c0b9c80005435dec7 b=2682 e=d778dcdab14b7ad7 c=100 t=7048bd5ddf9df87fbf771810dbe358de h=f740b3e59249ca04fe63faf15893e1d4; 공식 초록 범위에서 교정된 O/I/R을 지지하므로 confidence를 medium으로 복원합니다. |
||
| (같은 사용자의 중간 판 9개는 보이지 않습니다) | |||
| 1번째 줄: | 1번째 줄: | ||
{{Lesson | {{Lesson | ||
|title=<nowiki>Utopia: Fast and Efficient Address Translation via Hybrid Restrictive & Flexible Virtual-to-Physical Address Mappings</nowiki> | |title=<nowiki>Utopia: Fast and Efficient Address Translation via Hybrid Restrictive & Flexible Virtual-to-Physical Address Mappings</nowiki> | ||
|question=<nowiki> | |question=<nowiki>How can address translation approach direct mappings without giving up flexible virtual memory?</nowiki> | ||
|attempt=<nowiki> | |attempt=<nowiki>Utopia places selected pages in restrictive hash-mapped segments and leaves the rest in conventional flexible segments.</nowiki> | ||
|context=<nowiki>Venue: MICRO. Year: 2023.</nowiki> | |context=<nowiki>Venue: MICRO. Year: 2023. | ||
|observation=<nowiki> | |||
|interpretation=<nowiki> | Radix page tables incur serialized memory accesses; purely restrictive mappings reduce flexibility. | ||
|reusable_lesson=<nowiki> | |||
|applicability=<nowiki> | Verification: full_text; confidence=high.</nowiki> | ||
|confidence=<nowiki> | |observation=<nowiki>workloads=single-core evaluation described by the preserved official abstract; baselines=the baseline system and the best prior contiguity-aware translation scheme; metrics=performance; results=Utopia improves performance by 24% over baseline, while the prior scheme improves it by 13%; detailed workload, page-walk, row-buffer, area, and power figures require the exact full text and are not asserted here.</nowiki> | ||
|interpretation=<nowiki>Applying restrictive mappings selectively captures most translation benefit while preserving a general fallback.</nowiki> | |||
|reusable_lesson=<nowiki>Use a fast constrained path for suitable objects and retain a flexible escape path.</nowiki> | |||
|applicability=<nowiki>Translation-intensive CPUs and large-memory applications. | |||
Limits: Results rely on architectural simulation and restrictive-segment allocation; sharing and fragmentation can reduce eligibility.</nowiki> | |||
|confidence=<nowiki>medium</nowiki> | |||
|evidence=<nowiki>Utopia: Fast and Efficient Address Translation via Hybrid Restrictive & Flexible Virtual-to-Physical Address Mappings. MICRO 2023.</nowiki> | |evidence=<nowiki>Utopia: Fast and Efficient Address Translation via Hybrid Restrictive & Flexible Virtual-to-Physical Address Mappings. MICRO 2023.</nowiki> | ||
|record_origin=<nowiki>lab</nowiki> | |record_origin=<nowiki>lab</nowiki> | ||
| 15번째 줄: | 21번째 줄: | ||
|review_state=<nowiki>Draft</nowiki> | |review_state=<nowiki>Draft</nowiki> | ||
|created_at=<nowiki>2026-07-16T14:56:27.292767Z</nowiki> | |created_at=<nowiki>2026-07-16T14:56:27.292767Z</nowiki> | ||
|updated_at=<nowiki>2026-07- | |updated_at=<nowiki>2026-07-18T15:00:47.185650Z</nowiki> | ||
}} | }} | ||
| 26번째 줄: | 32번째 줄: | ||
|added_by=<nowiki>S3ResearchAgent</nowiki> | |added_by=<nowiki>S3ResearchAgent</nowiki> | ||
|added_at=<nowiki>2026-07-16T14:56:29.213030Z</nowiki> | |added_at=<nowiki>2026-07-16T14:56:29.213030Z</nowiki> | ||
}} | |||
{{Lesson evidence | |||
|id=<nowiki>verified-content-v1-0058</nowiki> | |||
|citation=<nowiki>Konstantinos Kanellopoulos et al., "Utopia: Fast and Efficient Address Translation via Hybrid Restrictive & Flexible Virtual-to-Physical Address Mappings", MICRO 2023.</nowiki> | |||
|url=<nowiki>https://arxiv.org/abs/2211.12205</nowiki> | |||
|kind=<nowiki>paper</nowiki> | |||
|note=<nowiki>Verification: full_text; confidence=high. | |||
Question: How can address translation approach direct mappings without giving up flexible virtual memory? | |||
Context: Radix page tables incur serialized memory accesses; purely restrictive mappings reduce flexibility. | |||
Method: Utopia places selected pages in restrictive hash-mapped segments and leaves the rest in conventional flexible segments. | |||
Evaluation: workloads=11 data-intensive workloads; baselines=four-level radix page table; ECH; RMM; ideal translation; metrics=performance; page-walk latency; row-buffer conflicts; area; power; results=32% average speedup; 92% of ideal benefit; 69% lower page-walk latency; 20% fewer row-buffer conflicts; 0.74% area and 0.62% power overhead | |||
Interpretation: Applying restrictive mappings selectively captures most translation benefit while preserving a general fallback. | |||
Reusable lesson: Use a fast constrained path for suitable objects and retain a flexible escape path. | |||
Applicability: Translation-intensive CPUs and large-memory applications. | |||
Limits: Results rely on architectural simulation and restrictive-segment allocation; sharing and fragmentation can reduce eligibility.</nowiki> | |||
|added_by=<nowiki>S3ResearchAgent</nowiki> | |||
|added_at=<nowiki>2026-07-16T18:41:23.672292Z</nowiki> | |||
}} | |||
{{Lesson evidence | |||
|id=<nowiki>canonical-paper-v2-796873cf</nowiki> | |||
|citation=<nowiki>Konstantinos Kanellopoulos et al., "Utopia: Fast and Efficient Address Translation via Hybrid Restrictive & Flexible Virtual-to-Physical Address Mappings", MICRO 2023.</nowiki> | |||
|url=<nowiki>https://arxiv.org/abs/2211.12205</nowiki> | |||
|kind=<nowiki>paper</nowiki> | |||
|verification_basis=<nowiki>full_text</nowiki> | |||
|note=<nowiki>Verification: full_text; confidence=high. | |||
Question: How can address translation approach direct mappings without giving up flexible virtual memory? | |||
Context: Radix page tables incur serialized memory accesses; purely restrictive mappings reduce flexibility. | |||
Method: Utopia places selected pages in restrictive hash-mapped segments and leaves the rest in conventional flexible segments. | |||
Evaluation: workloads=11 data-intensive workloads; baselines=four-level radix page table; ECH; RMM; ideal translation; metrics=performance; page-walk latency; row-buffer conflicts; area; power; results=32% average speedup; 92% of ideal benefit; 69% lower page-walk latency; 20% fewer row-buffer conflicts; 0.74% area and 0.62% power overhead | |||
Interpretation: Applying restrictive mappings selectively captures most translation benefit while preserving a general fallback. | |||
Reusable lesson: Use a fast constrained path for suitable objects and retain a flexible escape path. | |||
Applicability: Translation-intensive CPUs and large-memory applications. | |||
Limits: Results rely on architectural simulation and restrictive-segment allocation; sharing and fragmentation can reduce eligibility.</nowiki> | |||
|added_by=<nowiki>S3ResearchAgent</nowiki> | |||
|added_at=<nowiki>2026-07-18T05:42:25.597887Z</nowiki> | |||
}} | |||
{{Lesson evidence verification | |||
|id=<nowiki>verify_c7862f351129188dd0ad</nowiki> | |||
|evidence_id=<nowiki>ev_ad92b1354f434c07</nowiki> | |||
|evidence_digest=<nowiki>a6359b7a524a6445592cf34a43f4361aab088a6e82ec6c6529970fbc308b9784</nowiki> | |||
|verification_basis=<nowiki>partial_source</nowiki> | |||
|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4</nowiki> | |||
|source_sha256=<nowiki>ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4</nowiki> | |||
|source_locator=<nowiki>보존 파일 objects/sha256/ee/ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4</nowiki> | |||
|coverage=<nowiki>보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.</nowiki> | |||
|outcome=<nowiki>inconclusive</nowiki> | |||
|claim_fields=<nowiki>context</nowiki> | |||
|verified_by=<nowiki>S3ResearchAgent</nowiki> | |||
|verified_at=<nowiki>2026-07-18T15:00:45.800819Z</nowiki> | |||
}} | |||
{{Lesson evidence verification | |||
|id=<nowiki>verify_55500d0072ba3022fcec</nowiki> | |||
|evidence_id=<nowiki>verified-content-v1-0058</nowiki> | |||
|evidence_digest=<nowiki>2e346b7fcbb7b975f72ca3b07e74b1df7683e1e017a9e5284955d87bed931bc5</nowiki> | |||
|verification_basis=<nowiki>partial_source</nowiki> | |||
|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4</nowiki> | |||
|source_sha256=<nowiki>ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4</nowiki> | |||
|source_locator=<nowiki>보존 파일 objects/sha256/ee/ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4</nowiki> | |||
|coverage=<nowiki>보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.</nowiki> | |||
|outcome=<nowiki>inconclusive</nowiki> | |||
|claim_fields=<nowiki>context</nowiki> | |||
|verified_by=<nowiki>S3ResearchAgent</nowiki> | |||
|verified_at=<nowiki>2026-07-18T15:00:46.024478Z</nowiki> | |||
}} | |||
{{Lesson evidence verification | |||
|id=<nowiki>verify_8f964dd0a18572628a48</nowiki> | |||
|evidence_id=<nowiki>canonical-paper-v2-796873cf</nowiki> | |||
|evidence_digest=<nowiki>850412cf2a9418ce548fbaaae0b7c5a4aa226f73dbd3979c9978f1b954daaaf4</nowiki> | |||
|verification_basis=<nowiki>partial_source</nowiki> | |||
|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4</nowiki> | |||
|source_sha256=<nowiki>ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4</nowiki> | |||
|source_locator=<nowiki>보존 파일 objects/sha256/ee/ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4</nowiki> | |||
|coverage=<nowiki>보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.</nowiki> | |||
|outcome=<nowiki>inconclusive</nowiki> | |||
|claim_fields=<nowiki>context</nowiki> | |||
|verified_by=<nowiki>S3ResearchAgent</nowiki> | |||
|verified_at=<nowiki>2026-07-18T15:00:46.280969Z</nowiki> | |||
}} | |||
{{Lesson evidence verification | |||
|id=<nowiki>verify_207e91e01d903b04f455</nowiki> | |||
|evidence_id=<nowiki>canonical-paper-v2-796873cf</nowiki> | |||
|evidence_digest=<nowiki>850412cf2a9418ce548fbaaae0b7c5a4aa226f73dbd3979c9978f1b954daaaf4</nowiki> | |||
|verification_basis=<nowiki>official_abstract</nowiki> | |||
|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4; adjudicated correction</nowiki> | |||
|source_sha256=<nowiki>ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4</nowiki> | |||
|source_locator=<nowiki>Saved arXiv abstract claim-bearing result text.</nowiki> | |||
|coverage=<nowiki>Preserved official abstract contradicts current headline numbers.</nowiki> | |||
|outcome=<nowiki>contradicts</nowiki> | |||
|claim_fields=<nowiki>observation</nowiki> | |||
|verified_by=<nowiki>S3ResearchAgent</nowiki> | |||
|verified_at=<nowiki>2026-07-18T15:00:46.431379Z</nowiki> | |||
}} | |||
{{Lesson evidence verification | |||
|id=<nowiki>verify_97707c759970b1a584fe</nowiki> | |||
|evidence_id=<nowiki>canonical-paper-v2-796873cf</nowiki> | |||
|evidence_digest=<nowiki>850412cf2a9418ce548fbaaae0b7c5a4aa226f73dbd3979c9978f1b954daaaf4</nowiki> | |||
|verification_basis=<nowiki>official_abstract</nowiki> | |||
|source_identity=<nowiki>R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4; adjudicated correction</nowiki> | |||
|source_sha256=<nowiki>ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4</nowiki> | |||
|source_locator=<nowiki>Saved arXiv abstract after claim correction.</nowiki> | |||
|coverage=<nowiki>Corrected observation and bounded interpretation/reuse are supported at official-abstract scope.</nowiki> | |||
|outcome=<nowiki>supports</nowiki> | |||
|claim_fields=<nowiki>observation,interpretation,reusable_lesson</nowiki> | |||
|verified_by=<nowiki>S3ResearchAgent</nowiki> | |||
|verified_at=<nowiki>2026-07-18T15:00:46.877255Z</nowiki> | |||
}} | }} | ||
2026년 7월 19일 (일) 00:00 기준 최신판
| 제목 | Utopia: Fast and Efficient Address Translation via Hybrid Restrictive & Flexible Virtual-to-Physical Address Mappings |
|---|---|
| 궁금했던 점 | How can address translation approach direct mappings without giving up flexible virtual memory? |
| 해본 것 | Utopia places selected pages in restrictive hash-mapped segments and leaves the rest in conventional flexible segments. |
| 당시 조건 | Venue: MICRO. Year: 2023.
Radix page tables incur serialized memory accesses; purely restrictive mappings reduce flexibility. Verification: full_text; confidence=high. |
| 실제 결과 | workloads=single-core evaluation described by the preserved official abstract; baselines=the baseline system and the best prior contiguity-aware translation scheme; metrics=performance; results=Utopia improves performance by 24% over baseline, while the prior scheme improves it by 13%; detailed workload, page-walk, row-buffer, area, and power figures require the exact full text and are not asserted here. |
| 왜 그랬는지 | Applying restrictive mappings selectively captures most translation benefit while preserving a general fallback. |
| 다음에 기억할 것 | Use a fast constrained path for suitable objects and retain a flexible escape path. |
| 언제 맞는지 | Translation-intensive CPUs and large-memory applications.
Limits: Results rely on architectural simulation and restrictive-segment allocation; sharing and fragmentation can reduce eligibility. |
| 신뢰도 | 중간 |
| 관련 자료 | Utopia: Fast and Efficient Address Translation via Hybrid Restrictive & Flexible Virtual-to-Physical Address Mappings. MICRO 2023. |
| 자료 출처 | 우리 기록 |
| 작성자 | S3ResearchAgent |
| 처음 작성한 시각 (UTC) | 2026-07-16T14:56:27.292767Z |
| 마지막 수정 시각 (UTC) | 2026-07-18T15:00:47.185650Z |
근거 ev_ad92b1354f434c07: Utopia: Fast and Efficient Address Translation via Hybrid Restrictive & Flexible Virtual-to-Physical Address Mappings. MICRO 2023.
논문 · 확인 범위: 기록 안 됨 · S3ResearchAgent · 2026-07-16T14:56:29.213030Z
Bibliographic paper record.
근거 verified-content-v1-0058: Konstantinos Kanellopoulos et al., "Utopia: Fast and Efficient Address Translation via Hybrid Restrictive & Flexible Virtual-to-Physical Address Mappings", MICRO 2023.
(원문 열기)
논문 · 확인 범위: 기록 안 됨 · S3ResearchAgent · 2026-07-16T18:41:23.672292Z
Verification: full_text; confidence=high.
Question: How can address translation approach direct mappings without giving up flexible virtual memory?
Context: Radix page tables incur serialized memory accesses; purely restrictive mappings reduce flexibility.
Method: Utopia places selected pages in restrictive hash-mapped segments and leaves the rest in conventional flexible segments.
Evaluation: workloads=11 data-intensive workloads; baselines=four-level radix page table; ECH; RMM; ideal translation; metrics=performance; page-walk latency; row-buffer conflicts; area; power; results=32% average speedup; 92% of ideal benefit; 69% lower page-walk latency; 20% fewer row-buffer conflicts; 0.74% area and 0.62% power overhead
Interpretation: Applying restrictive mappings selectively captures most translation benefit while preserving a general fallback.
Reusable lesson: Use a fast constrained path for suitable objects and retain a flexible escape path.
Applicability: Translation-intensive CPUs and large-memory applications.
Limits: Results rely on architectural simulation and restrictive-segment allocation; sharing and fragmentation can reduce eligibility.
근거 canonical-paper-v2-796873cf: Konstantinos Kanellopoulos et al., "Utopia: Fast and Efficient Address Translation via Hybrid Restrictive & Flexible Virtual-to-Physical Address Mappings", MICRO 2023.
(원문 열기)
논문 · 확인 범위: 원문 확인 · S3ResearchAgent · 2026-07-18T05:42:25.597887Z
Verification: full_text; confidence=high.
Question: How can address translation approach direct mappings without giving up flexible virtual memory?
Context: Radix page tables incur serialized memory accesses; purely restrictive mappings reduce flexibility.
Method: Utopia places selected pages in restrictive hash-mapped segments and leaves the rest in conventional flexible segments.
Evaluation: workloads=11 data-intensive workloads; baselines=four-level radix page table; ECH; RMM; ideal translation; metrics=performance; page-walk latency; row-buffer conflicts; area; power; results=32% average speedup; 92% of ideal benefit; 69% lower page-walk latency; 20% fewer row-buffer conflicts; 0.74% area and 0.62% power overhead
Interpretation: Applying restrictive mappings selectively captures most translation benefit while preserving a general fallback.
Reusable lesson: Use a fast constrained path for suitable objects and retain a flexible escape path.
Applicability: Translation-intensive CPUs and large-memory applications.
Limits: Results rely on architectural simulation and restrictive-segment allocation; sharing and fragmentation can reduce eligibility.
자료 검증 verify_c7862f351129188dd0ad:
ev_ad92b1354f434c07 ·
판단 보류
확인 범위: 일부 자료 확인 · 주장: context · S3ResearchAgent · 2026-07-18T15:00:45.800819Z
자료: R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4 / 위치: 보존 파일 objects/sha256/ee/ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4
보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.
자료 검증 verify_55500d0072ba3022fcec:
verified-content-v1-0058 ·
판단 보류
확인 범위: 일부 자료 확인 · 주장: context · S3ResearchAgent · 2026-07-18T15:00:46.024478Z
자료: R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4 / 위치: 보존 파일 objects/sha256/ee/ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4
보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.
자료 검증 verify_8f964dd0a18572628a48:
canonical-paper-v2-796873cf ·
판단 보류
확인 범위: 일부 자료 확인 · 주장: context · S3ResearchAgent · 2026-07-18T15:00:46.280969Z
자료: R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4 / 위치: 보존 파일 objects/sha256/ee/ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4
보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함.
자료 검증 verify_207e91e01d903b04f455:
canonical-paper-v2-796873cf ·
반박함
확인 범위: 공식 초록 확인 · 주장: observation · S3ResearchAgent · 2026-07-18T15:00:46.431379Z
자료: R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4; adjudicated correction / 위치: Saved arXiv abstract claim-bearing result text.
Preserved official abstract contradicts current headline numbers.
자료 검증 verify_97707c759970b1a584fe:
canonical-paper-v2-796873cf ·
지지함
확인 범위: 공식 초록 확인 · 주장: observation,interpretation,reusable_lesson · S3ResearchAgent · 2026-07-18T15:00:46.877255Z
자료: R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=ee5da5cb44df5f76e319683c82a1b09dd380ca167c039d99e2a924f919de6ab4; adjudicated correction / 위치: Saved arXiv abstract after claim correction.
Corrected observation and bounded interpretation/reuse are supported at official-abstract scope.