교차 언어 comparator·order·mutation claim ledger

0-based list-backed heap invariant, min-heap 기본, < 비교, linear heapify, push·pop·pushpop·replace, 3.14에 추가된 max-heap 함수와 unstable HeapSort 예시·priority-queue implementation notes만 사용한다. 일반 PriorityQueue class, arbitrary delete·decrease-key API, stable tie order, thread safety나 private list layout 이상의 보장을 주장하지 않는다.

정렬 list의 < 기반 insertion point, search O(log n)과 insertion O(n), thread-safety 비보장만 비교 경계로 사용한다. bisect를 tree·TreeMap·balanced BST 구현으로 표현하거나 Python 표준 라이브러리가 일반-purpose ordered tree container를 제공한다고 주장하지 않는다.

C++23 map·multimap·set·multiset의 Compare strict weak ordering, unique/equivalent key와 ordered associative operation 계약만 직접 사용한다. 공개 draft를 구매형 ISO 규범 원문 자체로 표현하지 않고 std::map/set의 Red-Black tree·B-tree 구현, node layout, stable physical position·thread safety를 표준이 강제한다고 주장하지 않는다.

priority_queue의 sequence-container·strict-weak-order 계약과 make_heap·push_heap·pop_heap·sort_heap·is_heap 계열의 effects·documented complexity만 사용한다. arbitrary erase·decrease-key, stable tie order, concrete heap node/layout, portable constant latency·thread safety를 보장하지 않는다.

Red-Black tree based NavigableMap, natural/comparator order, containsKey·get·put·remove의 guaranteed log(n), ordering과 equals 일관성 주의, unsynchronized와 fail-fast best-effort 경계를 사용한다. fail-fast를 correctness·atomicity로, 구현 설명을 ABI·node layout·concurrent safety 보장으로 확대하지 않는다.

TreeMap-backed NavigableSet, natural/comparator order, add·remove·contains의 guaranteed log(n), ordering과 equals 일관성 주의, unsynchronized 경계를 사용한다. duplicate 판단을 언제나 equals만의 결과로 표현하거나 stable node position·thread safety·atomicity를 주장하지 않는다.

priority heap 기반 unbounded queue, least head, arbitrary tie, growth policy unspecified, offer·poll·remove() O(log n), remove(Object)·contains O(n), peek·element·size O(1), unsynchronized 경계를 사용한다. iterator·spliterator의 정렬, FIFO tie, binary layout·growth policy·thread safety를 보장하지 않는다.

B-tree based ordered map, Ord total order, key-order iteration과 저장 중 key ordering 변경의 logic-error 경계를 사용한다. private node fanout·layout·ABI·allocator behavior, 모든 operation의 동일 constant, nightly-only API를 stable contract로 주장하지 않는다.

B-tree based ordered set, Ord total order, ordered iteration과 저장 중 item ordering 변경의 logic-error 경계를 사용한다. private node fanout·layout·ABI, stable physical position·concurrent safety, experimental/nightly method를 보장하지 않는다.

max-heap, Reverse/custom Ord 기반 min-heap, 저장 중 relative ordering 변경의 logic-error, Vec로부터 in-place O(n) 구성과 documented operation complexity의 조건을 사용한다. push를 모든 입력·호출에서 항상 O(1) 또는 항상 O(log n)으로 단순화하거나 private layout·ABI·nightly API를 보장하지 않는다.