인텔리센스 기능 개선

Author: letspurify-ux

change.md

@@ -5816,3 +5816,186 @@ DB docker 이미지는 사용자 요청대로 **항상 한 번에 하나만** 
 - `src/ui/sql_editor/format_sweep_tests.rs`: 의미 구문/JSON query-array 깊이 일반 감사,
   내장 회귀와 감사 자체 테스트.
 - `change.md`: 본 AS-IS/TO-BE, 전수 판독, live 실행, 최종 검증 기록.
+
+# 41. 자동 포맷 전수 재감사 · Oracle 연산자/JSON 값 프레임 교정 (2026-07-30)
+
+## 41-1. AS-IS / TO-BE
+
+`cargo test --lib formatting_sweep_all_files_generate_out_report -- --ignored --nocapture`
+첫 실행은 138개 산출물 모두 PASS였지만, 141,471줄을 처음부터 끝까지 직접 판독해
+기존 감사가 놓친 실제 결함 2종을 확인했다.
+
+### Oracle `^=` 연산자 보존
+
+AS-IS:
+
+```sql
+WHERE p.pos_id ^ = 999
+```
+
+TO-BE:
+
+```sql
+WHERE p.pos_id ^= 999
+```
+
+Oracle의 caret not-equal 연산자를 토크나이저가 `^`, `=` 두 symbol로 나누면서
+포매터가 공백을 삽입했다. 최적화/기준 토크나이저가 모두 `^=`를 단일 symbol로
+인식하게 수정했다.
+
+source와 formatted를 같은 tokenizer로 지문 처리하는 기존 token fingerprint만으로는
+tokenizer 자체가 두 symbol로 회귀하는 경우를 놓칠 수 있다. 따라서 sweep에 tokenizer의
+compound-symbol 묶음 여부와 독립적인 compact-operator boundary 감사를 추가했다.
+원문에서 붙어 있던
+`<=>`, `<->`, `<#>`, `->>`, `<<`, `>>`, `<=`, `>=`, `<>`, `!=`, `^=`, `||`,
+`**`, `:=`, `=>`, `->`가 출력에서도 불가분 경계를 유지하는지 순서대로 비교한다.
+
+### SQL/JSON `VALUE CASE`의 값 소유 깊이
+
+AS-IS:
+
+```sql
+'flags' VALUE JSON_OBJECT ('remote' VALUE b.remote_flag,
+    'active' VALUE
+    CASE
+        WHEN b.status = 'ACTIVE' THEN 'true'
+        ELSE 'false'
+    END
+)
+```
+
+TO-BE:
+
+```sql
+'flags' VALUE JSON_OBJECT ('remote' VALUE b.remote_flag,
+        'active' VALUE
+            CASE
+                WHEN b.status = 'ACTIVE' THEN 'true'
+                ELSE 'false'
+            END
+    )
+```
+
+`JSON_OBJECT`/`JSON_OBJECTAGG`의 `VALUE`가 값 표현식을 소유하지만 기존에는
+`AssignmentValue` frame을 열지 않아 `CASE`와 `VALUE` owner가 같은 깊이로
+렌더링됐다. Oracle SQL/JSON 괄호를 semantic flag로 식별하고 `VALUE`에서 활성
+괄호의 자식 깊이를 owner로 하는 `AssignmentValue` frame을 연다. 물리 행의 선행
+공백은 사용하지 않으므로 첫 JSON 항목이 `SELECT` 행에 inline이어도 논리 깊이는
+흔들리지 않는다.
+
+값 전체가 괄호식인 경우에는 semantic value frame과 delimiter frame이 같은 문법
+간선을 표현하므로 하나의 깊이를 공유한다. 이 규칙으로 scalar subquery를
+불필요하게 두 단계 더 들여쓰는 첫 재스윕의 단일 감사 실패도 일반적으로 해소했다.
+
+검토 중 후보였던 `MERGE ... VALUES (`의 여러 줄 row 닫는 `)`는 수정하지 않았다.
+`VALUES` 목록의 첫 row가 owner 행에 inline이어도 논리적으로는 목록 자식 깊이에
+있고, row 괄호의 닫힘은 자신이 닫는 row owner 깊이로 돌아온다. 이는
+`docs/auto_format_rule.md`의 첫 자식 inline 및 closing-boundary 규칙에 맞는
+의도된 출력이다.
+
+## 41-2. 자동 감사와 회귀 고정
+
+- `tokenize_sql_treats_oracle_caret_not_equal_as_single_symbol`: 최적화 토크나이저와
+  기준 토크나이저가 모두 `^=`를 단일 token으로 보존하는지 확인한다.
+- `format_for_auto_formatting_preserves_oracle_caret_not_equal_operator`: 실제 formatter
+  출력, frame 감사, 멱등성에서 `^=` 보존을 고정한다.
+- `format_for_auto_formatting_nests_json_object_value_case_under_value_owner`: `VALUE`,
+  `CASE`, `WHEN`/`ELSE`, `END`의 owner→child 깊이와 frame 감사, 멱등성을 고정한다.
+- `formatting_sweep_detects_split_compact_operator_boundary`: tokenizer 자체 회귀가
+  있더라도 원문의 `^=`가 `^ =`로 분리되면 compact-operator boundary 감사가
+  `ItemOrTokenChanged`를 보고하는지 확인한다.
+- 기존
+  `format_for_auto_formatting_keeps_json_object_value_scalar_subquery_on_paren_frame_depth`에
+  frame 감사 assertion을 추가해 value frame과 괄호 frame의 단일 간선 공유를
+  고정한다.
+- 새 `AssignmentValue` frame은 기존 `FormatFrameAlignmentAudit`에 그대로 등록되므로
+  parent→child가 정확히 `+1`인지, 첫 body token이 frame 깊이에 있는지, frame이
+  유효 scope 밖으로 누수되지 않는지를 전체 sweep에서 자동 검사한다.
+- built-in inline-query 회귀도 `JSON_OBJECT VALUE CASE`와 `VALUE (SELECT ...)`를 한
+  문장에 포함하도록 확장해 두 value 형태가 매 exact sweep에서 같은 typed-frame
+  감사를 반드시 통과한다. Oracle `^=` built-in 회귀도 함께 추가했다.
+
+## 41-3. 생성 결과 전수 판독과 재검토
+
+수정 후 생성된 138개 `.format.out`의 141,471줄을 모두 처음부터 끝까지 직접
+판독했다. footer의 PASS 표시는 판정 근거로 사용하지 않고 owner→child 깊이,
+형제 정렬, close 복귀, 토큰 순서, 주석/리터럴 격리를 행 단위로 확인했다.
+
+- 임시 detached worktree에서 수정 전 `HEAD` exact sweep을 다시 실행해 baseline
+  138개를 재현했다.
+- 현재 산출물과 상대 경로별 SHA-256을 비교한 결과 124개는 byte-identical이고,
+  Oracle 7개 fixture × 2 layout의 14개가 변경됐으며 누락 파일은 0개였다.
+- compact-operator/built-in 감사 보강 후 exact sweep을 다시 실행한 최종 138개는
+  전수 판독본과 138/138 byte-identical이었다. 전체 manifest SHA-256은
+  `2bbde88b6df4a9f1f7408b366db0252f79c4220c849666ea302cf73eb833eb15`다.
+- 실제 `[[FMT:E숫자...]]` marker, `status: FAIL`, 0이 아닌 issue 합계는 모두 0건.
+
+최종 산출물:
+
+| layout / dialect | 파일 수 | 줄 수 |
+| --- | ---: | ---: |
+| wrapped / Oracle | 43 | 30,851 |
+| wrapped / MySQL | 12 | 12,700 |
+| wrapped / MariaDB | 14 | 14,907 |
+| stacked / Oracle | 43 | 41,548 |
+| stacked / MySQL | 12 | 19,083 |
+| stacked / MariaDB | 14 | 22,382 |
+| 합계 | 138 | 141,471 |
+
+최종 exact sweep은 88.71초에 PASS했다.
+
+| 감사 항목 | wrapped | stacked |
+| --- | ---: | ---: |
+| checked files | 69 | 69 |
+| checked regressions | 34 | 34 |
+| identifier-case words | 152,339 | 152,339 |
+| frames / frame boundaries | 42,027 / 88,740 | 42,027 / 88,740 |
+| frame-depth symmetries | 4,889 | 5,570 |
+| frame body items | 15,873 | 40,209 |
+| frame closes | 19,682 | 19,682 |
+| failures | 0 | 0 |
+
+## 41-4. 포맷 이후 Space Query live 실행
+
+DB 컨테이너는 Oracle → 중지 → MySQL → 중지 → MariaDB → 중지 순으로 실행해
+항상 하나만 실행했다. 최종 확인 시 모든 DB 컨테이너가 정지 상태였다.
+
+각 fixture 원문을 Wrapped와 Stacked로 포맷한 후 dialect별 SPACE Query production
+배치 경로로 실제 DB에 실행했다. 모든 파일이 성공 statement를 하나 이상 냈고
+실패 statement/event는 없었다.
+
+| DB | fixture × layout | successful statements | 결과 |
+| --- | ---: | ---: | --- |
+| Oracle Free | 43 × 2 | 6,994 | PASS |
+| MySQL 8.0.46 | 12 × 2 | 2,532 | PASS |
+| MariaDB 12.2.2 | 14 × 2 | 3,086 | PASS |
+| 합계 | 69개 원본 / 138회 포맷 실행 | 12,612 | 실패 0 |
+
+사용한 ignored live harness:
+
+- `oracle_thin_query_tool_runs_all_formatted_fixture_scripts_without_errors`
+- `execute_all_formatted_mysql_fixture_scripts_without_errors`
+- `execute_all_formatted_mariadb_fixture_scripts_without_errors`
+
+## 41-5. 최종 품질 게이트
+
+| 검증 | 결과 |
+| --- | --- |
+| `cargo test --lib formatting_sweep_all_files_generate_out_report -- --ignored --nocapture` | PASS — 88.71초, 138 산출물, 141,471줄, failures 0 |
+| 수정 전 baseline byte 비교 | PASS — 124개 동일, Oracle 14개 변경, 누락 0 |
+| 최종 재생성 byte 비교 | PASS — 전수 판독본과 138/138 동일, manifest SHA-256 `2bbde88b…` |
+| 포맷 후 Space Query live 실행 | PASS — 138회, 12,612 successful statements, 실패 0 |
+| `cargo test` | PASS — 7,107 passed, 0 failed, 208 ignored |
+| `cargo clippy --locked --all-targets -- -D warnings -W clippy::perf -W clippy::complexity` | PASS — 경고 0 |
+| `cargo fmt --all -- --check` / `git diff --check` | PASS |
+
+## 41-6. 변경 파일
+
+- `src/ui/sql_editor/query_text.rs`: Oracle `^=` compound symbol의 두 토크나이저 경로와
+  회귀 테스트.
+- `src/ui/sql_editor/format_sweep_tests.rs`: compound-token grouping 독립
+  compact-operator boundary 감사/자체 테스트, Oracle `^=` built-in 회귀,
+  JSON `VALUE CASE` frame 회귀 확장.
+- `src/ui/sql_editor/formatter.rs`: SQL/JSON `VALUE`의 `AssignmentValue` frame,
+  parenthesized whole-value depth 공유, CASE/스칼라 서브쿼리 회귀 테스트.
+- `change.md`: 본 AS-IS/TO-BE, 전수 판독, live 실행, 최종 검증 기록.

src/ui/sql_editor/format_sweep_tests.rs

@@ -68,7 +68,8 @@ const FORMAT_SWEEP_STRUCTURAL_REGRESSION_CASES: &[(DatabaseType, &str)] = &[
     ),
 ];
 const FORMAT_SWEEP_INLINE_QUERY_FRAME_REGRESSION: &str =
-    "SELECT JSON_OBJECT ('grand' VALUE (SELECT SUM(amount) FROM orders) RETURNING CLOB) AS payload FROM DUAL;";
+    "SELECT JSON_OBJECT ('flag' VALUE CASE WHEN active = 1 THEN 'Y' ELSE 'N' END, 'grand' VALUE (SELECT SUM(amount) FROM orders) RETURNING CLOB) AS payload FROM DUAL;";
+const FORMAT_SWEEP_COMPACT_OPERATOR_REGRESSION: &str = "SELECT 1 FROM DUAL WHERE pos_id ^= 999;";
 const FORMAT_SWEEP_INLINE_SELECT_COMMENT_REGRESSION: &str =
     "WITH x AS (SELECT /* first child */ a, b FROM t) SELECT a, b FROM x;";
 const FORMAT_SWEEP_WITH_FRAME_REGRESSION: &str =
@@ -1408,6 +1409,99 @@ fn format_sweep_audit_token_count(
     })
 }
 
+const FORMAT_SWEEP_COMPACT_OPERATORS: &[&str] = &[
+    "<=>", "<->", "<#>", "->>", "<<", ">>", "<=", ">=", "<>", "!=", "^=", "||", "**", ":=", "=>",
+    "->",
+];
+
+fn format_sweep_compact_operator_fingerprint(
+    text: &str,
+    db_type: DatabaseType,
+) -> Vec<(String, usize)> {
+    let document = FormatSweepDocument::new(text, db_type);
+    let mut operators = Vec::new();
+    let mut idx = 0usize;
+
+    while idx < document.tokens.len() {
+        let first = &document.tokens[idx];
+        if !matches!(first.token, SqlToken::Symbol(_)) {
+            idx = idx.saturating_add(1);
+            continue;
+        }
+
+        let mut candidate = String::new();
+        let mut previous_end = first.start;
+        let mut longest_match = None;
+        for end_idx in idx..document.tokens.len() {
+            let span = &document.tokens[end_idx];
+            if span.statement_index != first.statement_index
+                || !matches!(span.token, SqlToken::Symbol(_))
+                || (end_idx > idx && span.start != previous_end)
+            {
+                break;
+            }
+            let SqlToken::Symbol(symbol) = &span.token else {
+                break;
+            };
+            candidate.push_str(symbol);
+            previous_end = span.end;
+            if candidate.len() > 3 {
+                break;
+            }
+            if FORMAT_SWEEP_COMPACT_OPERATORS.contains(&candidate.as_str()) {
+                longest_match = Some((candidate.clone(), end_idx));
+            }
+        }
+
+        if let Some((operator, end_idx)) = longest_match {
+            operators.push((operator, first.start));
+            idx = end_idx.saturating_add(1);
+        } else {
+            idx = idx.saturating_add(1);
+        }
+    }
+
+    operators
+}
+
+fn format_sweep_audit_compact_operator_boundaries(
+    source: &str,
+    formatted: &str,
+    db_type: DatabaseType,
+) -> Option<FormatSweepIssue> {
+    let source_operators = format_sweep_compact_operator_fingerprint(source, db_type);
+    let formatted_operators = format_sweep_compact_operator_fingerprint(formatted, db_type);
+    let source_symbols = source_operators
+        .iter()
+        .map(|(operator, _)| operator)
+        .collect::<Vec<_>>();
+    let formatted_symbols = formatted_operators
+        .iter()
+        .map(|(operator, _)| operator)
+        .collect::<Vec<_>>();
+    if source_symbols == formatted_symbols {
+        return None;
+    }
+
+    let first_mismatch = source_symbols
+        .iter()
+        .zip(&formatted_symbols)
+        .position(|(source, formatted)| source != formatted)
+        .unwrap_or_else(|| source_symbols.len().min(formatted_symbols.len()));
+    let marker_offset = formatted_operators
+        .get(first_mismatch)
+        .map_or(0, |(_, offset)| *offset);
+    Some(FormatSweepIssue::new(
+        FormatSweepIssueKind::ItemOrTokenChanged,
+        formatted,
+        marker_offset,
+        format!(
+            "formatting changed a compact SQL operator boundary at operator {}; source={source_symbols:?} formatted={formatted_symbols:?}",
+            first_mismatch.saturating_add(1)
+        ),
+    ))
+}
+
 fn format_sweep_audit_executable_boundaries(
     formatted: &str,
     db_type: DatabaseType,
@@ -1961,6 +2055,10 @@ fn format_sweep_run_with_config(
     if let Some(issue) = format_sweep_audit_token_count(source, &formatted, db_type) {
         issues.push(issue);
     }
+    if let Some(issue) = format_sweep_audit_compact_operator_boundaries(source, &formatted, db_type)
+    {
+        issues.push(issue);
+    }
     issues.extend(format_sweep_audit_executable_boundaries(
         &formatted, db_type,
     ));
@@ -2974,6 +3072,21 @@ fn formatting_sweep_first_pass_detects_token_loss() {
     assert_eq!(issue.kind, FormatSweepIssueKind::ItemOrTokenChanged);
 }
 
+#[test]
+fn formatting_sweep_detects_split_compact_operator_boundary() {
+    let source = "SELECT 1 FROM DUAL WHERE pos_id ^= 999;";
+    let formatted_with_split = "SELECT 1 FROM DUAL WHERE pos_id ^ = 999;";
+    let issue = format_sweep_audit_compact_operator_boundaries(
+        source,
+        formatted_with_split,
+        DatabaseType::Oracle,
+    )
+    .expect("splitting a compact SQL operator should be reported");
+
+    assert_eq!(issue.kind, FormatSweepIssueKind::ItemOrTokenChanged);
+    assert!(issue.message.contains("^="), "{}", issue.message);
+}
+
 #[test]
 fn formatting_sweep_detects_unterminated_mysql_server_command() {
     let formatted = "DESCRIBE t\n\nSELECT 1;";
@@ -4855,6 +4968,10 @@ fn formatting_sweep_all_files_generate_out_report_for_layout(layout: SqlCommaLis
                 DatabaseType::Oracle,
                 FORMAT_SWEEP_INLINE_SELECT_COMMENT_REGRESSION,
             ),
+            (
+                DatabaseType::Oracle,
+                FORMAT_SWEEP_COMPACT_OPERATOR_REGRESSION,
+            ),
             (DatabaseType::Oracle, FORMAT_SWEEP_QUERY_BRACKET_REGRESSION),
             (DatabaseType::Oracle, FORMAT_SWEEP_WITH_FRAME_REGRESSION),
             (DatabaseType::MySQL, FORMAT_SWEEP_WITH_FRAME_REGRESSION),