@euler-edu/schema 7.0.5 → 7.0.7

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -464,6 +464,97 @@ export declare const endpoints: {
464
464
  }>>;
465
465
  fontSize: import("zod").ZodDefault<import("zod").ZodNumber>;
466
466
  tabSize: import("zod").ZodDefault<import("zod").ZodNumber>;
467
+ stickyScroll: import("zod").ZodDefault<import("zod").ZodBoolean>;
468
+ stickyScrollMaxLineCount: import("zod").ZodDefault<import("zod").ZodNumber>;
469
+ minimap: import("zod").ZodDefault<import("zod").ZodBoolean>;
470
+ wordWrap: import("zod").ZodDefault<import("zod").ZodBoolean>;
471
+ lineNumbers: import("zod").ZodDefault<import("zod").ZodEnum<{
472
+ on: "on";
473
+ off: "off";
474
+ relative: "relative";
475
+ }>>;
476
+ renderWhitespace: import("zod").ZodDefault<import("zod").ZodEnum<{
477
+ none: "none";
478
+ boundary: "boundary";
479
+ selection: "selection";
480
+ trailing: "trailing";
481
+ all: "all";
482
+ }>>;
483
+ quickSuggestions: import("zod").ZodDefault<import("zod").ZodBoolean>;
484
+ suggestOnTriggerCharacters: import("zod").ZodDefault<import("zod").ZodBoolean>;
485
+ acceptSuggestionOnEnter: import("zod").ZodDefault<import("zod").ZodEnum<{
486
+ on: "on";
487
+ off: "off";
488
+ smart: "smart";
489
+ }>>;
490
+ autoClosingBrackets: import("zod").ZodDefault<import("zod").ZodEnum<{
491
+ always: "always";
492
+ languageDefined: "languageDefined";
493
+ beforeWhitespace: "beforeWhitespace";
494
+ never: "never";
495
+ }>>;
496
+ autoClosingQuotes: import("zod").ZodDefault<import("zod").ZodEnum<{
497
+ always: "always";
498
+ languageDefined: "languageDefined";
499
+ beforeWhitespace: "beforeWhitespace";
500
+ never: "never";
501
+ }>>;
502
+ autoIndent: import("zod").ZodDefault<import("zod").ZodEnum<{
503
+ none: "none";
504
+ keep: "keep";
505
+ brackets: "brackets";
506
+ advanced: "advanced";
507
+ full: "full";
508
+ }>>;
509
+ parameterHints: import("zod").ZodDefault<import("zod").ZodBoolean>;
510
+ lineHeight: import("zod").ZodDefault<import("zod").ZodLiteral<0 | 1.2 | 1.4 | 1.6 | 1.8 | 2>>;
511
+ bracketPairColorization: import("zod").ZodDefault<import("zod").ZodBoolean>;
512
+ guidesIndentation: import("zod").ZodDefault<import("zod").ZodBoolean>;
513
+ guidesBracketPairs: import("zod").ZodDefault<import("zod").ZodEnum<{
514
+ true: "true";
515
+ active: "active";
516
+ false: "false";
517
+ }>>;
518
+ fontLigatures: import("zod").ZodDefault<import("zod").ZodBoolean>;
519
+ cursorStyle: import("zod").ZodDefault<import("zod").ZodEnum<{
520
+ line: "line";
521
+ "line-thin": "line-thin";
522
+ block: "block";
523
+ "block-outline": "block-outline";
524
+ underline: "underline";
525
+ "underline-thin": "underline-thin";
526
+ }>>;
527
+ cursorBlinking: import("zod").ZodDefault<import("zod").ZodEnum<{
528
+ blink: "blink";
529
+ smooth: "smooth";
530
+ phase: "phase";
531
+ expand: "expand";
532
+ solid: "solid";
533
+ }>>;
534
+ cursorSmoothCaretAnimation: import("zod").ZodDefault<import("zod").ZodEnum<{
535
+ on: "on";
536
+ off: "off";
537
+ explicit: "explicit";
538
+ }>>;
539
+ smoothScrolling: import("zod").ZodDefault<import("zod").ZodBoolean>;
540
+ renderLineHighlight: import("zod").ZodDefault<import("zod").ZodEnum<{
541
+ none: "none";
542
+ all: "all";
543
+ line: "line";
544
+ gutter: "gutter";
545
+ }>>;
546
+ ruler: import("zod").ZodDefault<import("zod").ZodNumber>;
547
+ folding: import("zod").ZodDefault<import("zod").ZodBoolean>;
548
+ showFoldingControls: import("zod").ZodDefault<import("zod").ZodEnum<{
549
+ always: "always";
550
+ never: "never";
551
+ mouseover: "mouseover";
552
+ }>>;
553
+ matchBrackets: import("zod").ZodDefault<import("zod").ZodEnum<{
554
+ always: "always";
555
+ never: "never";
556
+ near: "near";
557
+ }>>;
467
558
  }, import("zod/v4/core").$strip>;
468
559
  styleConfig: import("zod").ZodObject<{
469
560
  simplifiedTheme: import("zod").ZodDefault<import("zod").ZodEnum<{
@@ -1516,6 +1607,22 @@ export declare const endpoints: {
1516
1607
  onePageLength: import("zod").ZodDefault<import("zod").ZodCoercedNumber<unknown>>;
1517
1608
  }, import("zod/v4/core").$strip>;
1518
1609
  };
1610
+ readonly postRejudgeSpjCompileFailure: {
1611
+ readonly prefix: string;
1612
+ readonly operation: {
1613
+ readonly summary: "SPJ 컴파일 실패 재채점";
1614
+ readonly description: "g++ 누락으로 SPJ 체커 컴파일에 실패한 문제(4154, 1010)의 2026-11-01 KST 이후 제출을 모두 채점 요청에 추가합니다. 이미 채점 중인 제출은 제외합니다. (#614)";
1615
+ };
1616
+ readonly auth: {
1617
+ readonly requiredLevel: 5;
1618
+ };
1619
+ readonly base: "oj-api";
1620
+ readonly method: "post";
1621
+ readonly path: () => string;
1622
+ readonly data: import("zod").ZodObject<{
1623
+ count: import("zod").ZodNumber;
1624
+ }, import("zod/v4/core").$strip>;
1625
+ };
1519
1626
  };
1520
1627
  scoringServer: {
1521
1628
  readonly get: {
@@ -2027,6 +2134,97 @@ export declare const endpoints: {
2027
2134
  }>>;
2028
2135
  fontSize: import("zod").ZodDefault<import("zod").ZodNumber>;
2029
2136
  tabSize: import("zod").ZodDefault<import("zod").ZodNumber>;
2137
+ stickyScroll: import("zod").ZodDefault<import("zod").ZodBoolean>;
2138
+ stickyScrollMaxLineCount: import("zod").ZodDefault<import("zod").ZodNumber>;
2139
+ minimap: import("zod").ZodDefault<import("zod").ZodBoolean>;
2140
+ wordWrap: import("zod").ZodDefault<import("zod").ZodBoolean>;
2141
+ lineNumbers: import("zod").ZodDefault<import("zod").ZodEnum<{
2142
+ on: "on";
2143
+ off: "off";
2144
+ relative: "relative";
2145
+ }>>;
2146
+ renderWhitespace: import("zod").ZodDefault<import("zod").ZodEnum<{
2147
+ none: "none";
2148
+ boundary: "boundary";
2149
+ selection: "selection";
2150
+ trailing: "trailing";
2151
+ all: "all";
2152
+ }>>;
2153
+ quickSuggestions: import("zod").ZodDefault<import("zod").ZodBoolean>;
2154
+ suggestOnTriggerCharacters: import("zod").ZodDefault<import("zod").ZodBoolean>;
2155
+ acceptSuggestionOnEnter: import("zod").ZodDefault<import("zod").ZodEnum<{
2156
+ on: "on";
2157
+ off: "off";
2158
+ smart: "smart";
2159
+ }>>;
2160
+ autoClosingBrackets: import("zod").ZodDefault<import("zod").ZodEnum<{
2161
+ always: "always";
2162
+ languageDefined: "languageDefined";
2163
+ beforeWhitespace: "beforeWhitespace";
2164
+ never: "never";
2165
+ }>>;
2166
+ autoClosingQuotes: import("zod").ZodDefault<import("zod").ZodEnum<{
2167
+ always: "always";
2168
+ languageDefined: "languageDefined";
2169
+ beforeWhitespace: "beforeWhitespace";
2170
+ never: "never";
2171
+ }>>;
2172
+ autoIndent: import("zod").ZodDefault<import("zod").ZodEnum<{
2173
+ none: "none";
2174
+ keep: "keep";
2175
+ brackets: "brackets";
2176
+ advanced: "advanced";
2177
+ full: "full";
2178
+ }>>;
2179
+ parameterHints: import("zod").ZodDefault<import("zod").ZodBoolean>;
2180
+ lineHeight: import("zod").ZodDefault<import("zod").ZodLiteral<0 | 1.2 | 1.4 | 1.6 | 1.8 | 2>>;
2181
+ bracketPairColorization: import("zod").ZodDefault<import("zod").ZodBoolean>;
2182
+ guidesIndentation: import("zod").ZodDefault<import("zod").ZodBoolean>;
2183
+ guidesBracketPairs: import("zod").ZodDefault<import("zod").ZodEnum<{
2184
+ true: "true";
2185
+ active: "active";
2186
+ false: "false";
2187
+ }>>;
2188
+ fontLigatures: import("zod").ZodDefault<import("zod").ZodBoolean>;
2189
+ cursorStyle: import("zod").ZodDefault<import("zod").ZodEnum<{
2190
+ line: "line";
2191
+ "line-thin": "line-thin";
2192
+ block: "block";
2193
+ "block-outline": "block-outline";
2194
+ underline: "underline";
2195
+ "underline-thin": "underline-thin";
2196
+ }>>;
2197
+ cursorBlinking: import("zod").ZodDefault<import("zod").ZodEnum<{
2198
+ blink: "blink";
2199
+ smooth: "smooth";
2200
+ phase: "phase";
2201
+ expand: "expand";
2202
+ solid: "solid";
2203
+ }>>;
2204
+ cursorSmoothCaretAnimation: import("zod").ZodDefault<import("zod").ZodEnum<{
2205
+ on: "on";
2206
+ off: "off";
2207
+ explicit: "explicit";
2208
+ }>>;
2209
+ smoothScrolling: import("zod").ZodDefault<import("zod").ZodBoolean>;
2210
+ renderLineHighlight: import("zod").ZodDefault<import("zod").ZodEnum<{
2211
+ none: "none";
2212
+ all: "all";
2213
+ line: "line";
2214
+ gutter: "gutter";
2215
+ }>>;
2216
+ ruler: import("zod").ZodDefault<import("zod").ZodNumber>;
2217
+ folding: import("zod").ZodDefault<import("zod").ZodBoolean>;
2218
+ showFoldingControls: import("zod").ZodDefault<import("zod").ZodEnum<{
2219
+ always: "always";
2220
+ never: "never";
2221
+ mouseover: "mouseover";
2222
+ }>>;
2223
+ matchBrackets: import("zod").ZodDefault<import("zod").ZodEnum<{
2224
+ always: "always";
2225
+ never: "never";
2226
+ near: "near";
2227
+ }>>;
2030
2228
  }, import("zod/v4/core").$strip>;
2031
2229
  };
2032
2230
  readonly getStyleConfigByMe: {
@@ -2527,6 +2725,97 @@ export declare const endpoints: {
2527
2725
  }>>;
2528
2726
  fontSize: import("zod").ZodDefault<import("zod").ZodNumber>;
2529
2727
  tabSize: import("zod").ZodDefault<import("zod").ZodNumber>;
2728
+ stickyScroll: import("zod").ZodDefault<import("zod").ZodBoolean>;
2729
+ stickyScrollMaxLineCount: import("zod").ZodDefault<import("zod").ZodNumber>;
2730
+ minimap: import("zod").ZodDefault<import("zod").ZodBoolean>;
2731
+ wordWrap: import("zod").ZodDefault<import("zod").ZodBoolean>;
2732
+ lineNumbers: import("zod").ZodDefault<import("zod").ZodEnum<{
2733
+ on: "on";
2734
+ off: "off";
2735
+ relative: "relative";
2736
+ }>>;
2737
+ renderWhitespace: import("zod").ZodDefault<import("zod").ZodEnum<{
2738
+ none: "none";
2739
+ boundary: "boundary";
2740
+ selection: "selection";
2741
+ trailing: "trailing";
2742
+ all: "all";
2743
+ }>>;
2744
+ quickSuggestions: import("zod").ZodDefault<import("zod").ZodBoolean>;
2745
+ suggestOnTriggerCharacters: import("zod").ZodDefault<import("zod").ZodBoolean>;
2746
+ acceptSuggestionOnEnter: import("zod").ZodDefault<import("zod").ZodEnum<{
2747
+ on: "on";
2748
+ off: "off";
2749
+ smart: "smart";
2750
+ }>>;
2751
+ autoClosingBrackets: import("zod").ZodDefault<import("zod").ZodEnum<{
2752
+ always: "always";
2753
+ languageDefined: "languageDefined";
2754
+ beforeWhitespace: "beforeWhitespace";
2755
+ never: "never";
2756
+ }>>;
2757
+ autoClosingQuotes: import("zod").ZodDefault<import("zod").ZodEnum<{
2758
+ always: "always";
2759
+ languageDefined: "languageDefined";
2760
+ beforeWhitespace: "beforeWhitespace";
2761
+ never: "never";
2762
+ }>>;
2763
+ autoIndent: import("zod").ZodDefault<import("zod").ZodEnum<{
2764
+ none: "none";
2765
+ keep: "keep";
2766
+ brackets: "brackets";
2767
+ advanced: "advanced";
2768
+ full: "full";
2769
+ }>>;
2770
+ parameterHints: import("zod").ZodDefault<import("zod").ZodBoolean>;
2771
+ lineHeight: import("zod").ZodDefault<import("zod").ZodLiteral<0 | 1.2 | 1.4 | 1.6 | 1.8 | 2>>;
2772
+ bracketPairColorization: import("zod").ZodDefault<import("zod").ZodBoolean>;
2773
+ guidesIndentation: import("zod").ZodDefault<import("zod").ZodBoolean>;
2774
+ guidesBracketPairs: import("zod").ZodDefault<import("zod").ZodEnum<{
2775
+ true: "true";
2776
+ active: "active";
2777
+ false: "false";
2778
+ }>>;
2779
+ fontLigatures: import("zod").ZodDefault<import("zod").ZodBoolean>;
2780
+ cursorStyle: import("zod").ZodDefault<import("zod").ZodEnum<{
2781
+ line: "line";
2782
+ "line-thin": "line-thin";
2783
+ block: "block";
2784
+ "block-outline": "block-outline";
2785
+ underline: "underline";
2786
+ "underline-thin": "underline-thin";
2787
+ }>>;
2788
+ cursorBlinking: import("zod").ZodDefault<import("zod").ZodEnum<{
2789
+ blink: "blink";
2790
+ smooth: "smooth";
2791
+ phase: "phase";
2792
+ expand: "expand";
2793
+ solid: "solid";
2794
+ }>>;
2795
+ cursorSmoothCaretAnimation: import("zod").ZodDefault<import("zod").ZodEnum<{
2796
+ on: "on";
2797
+ off: "off";
2798
+ explicit: "explicit";
2799
+ }>>;
2800
+ smoothScrolling: import("zod").ZodDefault<import("zod").ZodBoolean>;
2801
+ renderLineHighlight: import("zod").ZodDefault<import("zod").ZodEnum<{
2802
+ none: "none";
2803
+ all: "all";
2804
+ line: "line";
2805
+ gutter: "gutter";
2806
+ }>>;
2807
+ ruler: import("zod").ZodDefault<import("zod").ZodNumber>;
2808
+ folding: import("zod").ZodDefault<import("zod").ZodBoolean>;
2809
+ showFoldingControls: import("zod").ZodDefault<import("zod").ZodEnum<{
2810
+ always: "always";
2811
+ never: "never";
2812
+ mouseover: "mouseover";
2813
+ }>>;
2814
+ matchBrackets: import("zod").ZodDefault<import("zod").ZodEnum<{
2815
+ always: "always";
2816
+ never: "never";
2817
+ near: "near";
2818
+ }>>;
2530
2819
  }, import("zod/v4/core").$strip>;
2531
2820
  };
2532
2821
  readonly putStyleConfigByMe: {
@@ -427,6 +427,97 @@ declare const _default: {
427
427
  }>>;
428
428
  fontSize: import("zod").ZodDefault<import("zod").ZodNumber>;
429
429
  tabSize: import("zod").ZodDefault<import("zod").ZodNumber>;
430
+ stickyScroll: import("zod").ZodDefault<import("zod").ZodBoolean>;
431
+ stickyScrollMaxLineCount: import("zod").ZodDefault<import("zod").ZodNumber>;
432
+ minimap: import("zod").ZodDefault<import("zod").ZodBoolean>;
433
+ wordWrap: import("zod").ZodDefault<import("zod").ZodBoolean>;
434
+ lineNumbers: import("zod").ZodDefault<import("zod").ZodEnum<{
435
+ on: "on";
436
+ off: "off";
437
+ relative: "relative";
438
+ }>>;
439
+ renderWhitespace: import("zod").ZodDefault<import("zod").ZodEnum<{
440
+ none: "none";
441
+ boundary: "boundary";
442
+ selection: "selection";
443
+ trailing: "trailing";
444
+ all: "all";
445
+ }>>;
446
+ quickSuggestions: import("zod").ZodDefault<import("zod").ZodBoolean>;
447
+ suggestOnTriggerCharacters: import("zod").ZodDefault<import("zod").ZodBoolean>;
448
+ acceptSuggestionOnEnter: import("zod").ZodDefault<import("zod").ZodEnum<{
449
+ on: "on";
450
+ off: "off";
451
+ smart: "smart";
452
+ }>>;
453
+ autoClosingBrackets: import("zod").ZodDefault<import("zod").ZodEnum<{
454
+ always: "always";
455
+ languageDefined: "languageDefined";
456
+ beforeWhitespace: "beforeWhitespace";
457
+ never: "never";
458
+ }>>;
459
+ autoClosingQuotes: import("zod").ZodDefault<import("zod").ZodEnum<{
460
+ always: "always";
461
+ languageDefined: "languageDefined";
462
+ beforeWhitespace: "beforeWhitespace";
463
+ never: "never";
464
+ }>>;
465
+ autoIndent: import("zod").ZodDefault<import("zod").ZodEnum<{
466
+ none: "none";
467
+ keep: "keep";
468
+ brackets: "brackets";
469
+ advanced: "advanced";
470
+ full: "full";
471
+ }>>;
472
+ parameterHints: import("zod").ZodDefault<import("zod").ZodBoolean>;
473
+ lineHeight: import("zod").ZodDefault<import("zod").ZodLiteral<0 | 1.2 | 1.4 | 1.6 | 1.8 | 2>>;
474
+ bracketPairColorization: import("zod").ZodDefault<import("zod").ZodBoolean>;
475
+ guidesIndentation: import("zod").ZodDefault<import("zod").ZodBoolean>;
476
+ guidesBracketPairs: import("zod").ZodDefault<import("zod").ZodEnum<{
477
+ true: "true";
478
+ active: "active";
479
+ false: "false";
480
+ }>>;
481
+ fontLigatures: import("zod").ZodDefault<import("zod").ZodBoolean>;
482
+ cursorStyle: import("zod").ZodDefault<import("zod").ZodEnum<{
483
+ line: "line";
484
+ "line-thin": "line-thin";
485
+ block: "block";
486
+ "block-outline": "block-outline";
487
+ underline: "underline";
488
+ "underline-thin": "underline-thin";
489
+ }>>;
490
+ cursorBlinking: import("zod").ZodDefault<import("zod").ZodEnum<{
491
+ blink: "blink";
492
+ smooth: "smooth";
493
+ phase: "phase";
494
+ expand: "expand";
495
+ solid: "solid";
496
+ }>>;
497
+ cursorSmoothCaretAnimation: import("zod").ZodDefault<import("zod").ZodEnum<{
498
+ on: "on";
499
+ off: "off";
500
+ explicit: "explicit";
501
+ }>>;
502
+ smoothScrolling: import("zod").ZodDefault<import("zod").ZodBoolean>;
503
+ renderLineHighlight: import("zod").ZodDefault<import("zod").ZodEnum<{
504
+ none: "none";
505
+ all: "all";
506
+ line: "line";
507
+ gutter: "gutter";
508
+ }>>;
509
+ ruler: import("zod").ZodDefault<import("zod").ZodNumber>;
510
+ folding: import("zod").ZodDefault<import("zod").ZodBoolean>;
511
+ showFoldingControls: import("zod").ZodDefault<import("zod").ZodEnum<{
512
+ always: "always";
513
+ never: "never";
514
+ mouseover: "mouseover";
515
+ }>>;
516
+ matchBrackets: import("zod").ZodDefault<import("zod").ZodEnum<{
517
+ always: "always";
518
+ never: "never";
519
+ near: "near";
520
+ }>>;
430
521
  }, import("zod/v4/core").$strip>;
431
522
  styleConfig: import("zod").ZodObject<{
432
523
  simplifiedTheme: import("zod").ZodDefault<import("zod").ZodEnum<{
@@ -1479,6 +1570,22 @@ declare const _default: {
1479
1570
  onePageLength: import("zod").ZodDefault<import("zod").ZodCoercedNumber<unknown>>;
1480
1571
  }, import("zod/v4/core").$strip>;
1481
1572
  };
1573
+ readonly postRejudgeSpjCompileFailure: {
1574
+ readonly prefix: string;
1575
+ readonly operation: {
1576
+ readonly summary: "SPJ 컴파일 실패 재채점";
1577
+ readonly description: "g++ 누락으로 SPJ 체커 컴파일에 실패한 문제(4154, 1010)의 2026-11-01 KST 이후 제출을 모두 채점 요청에 추가합니다. 이미 채점 중인 제출은 제외합니다. (#614)";
1578
+ };
1579
+ readonly auth: {
1580
+ readonly requiredLevel: 5;
1581
+ };
1582
+ readonly base: "oj-api";
1583
+ readonly method: "post";
1584
+ readonly path: () => string;
1585
+ readonly data: import("zod").ZodObject<{
1586
+ count: import("zod").ZodNumber;
1587
+ }, import("zod/v4/core").$strip>;
1588
+ };
1482
1589
  };
1483
1590
  scoringServer: {
1484
1591
  readonly get: {
@@ -1990,6 +2097,97 @@ declare const _default: {
1990
2097
  }>>;
1991
2098
  fontSize: import("zod").ZodDefault<import("zod").ZodNumber>;
1992
2099
  tabSize: import("zod").ZodDefault<import("zod").ZodNumber>;
2100
+ stickyScroll: import("zod").ZodDefault<import("zod").ZodBoolean>;
2101
+ stickyScrollMaxLineCount: import("zod").ZodDefault<import("zod").ZodNumber>;
2102
+ minimap: import("zod").ZodDefault<import("zod").ZodBoolean>;
2103
+ wordWrap: import("zod").ZodDefault<import("zod").ZodBoolean>;
2104
+ lineNumbers: import("zod").ZodDefault<import("zod").ZodEnum<{
2105
+ on: "on";
2106
+ off: "off";
2107
+ relative: "relative";
2108
+ }>>;
2109
+ renderWhitespace: import("zod").ZodDefault<import("zod").ZodEnum<{
2110
+ none: "none";
2111
+ boundary: "boundary";
2112
+ selection: "selection";
2113
+ trailing: "trailing";
2114
+ all: "all";
2115
+ }>>;
2116
+ quickSuggestions: import("zod").ZodDefault<import("zod").ZodBoolean>;
2117
+ suggestOnTriggerCharacters: import("zod").ZodDefault<import("zod").ZodBoolean>;
2118
+ acceptSuggestionOnEnter: import("zod").ZodDefault<import("zod").ZodEnum<{
2119
+ on: "on";
2120
+ off: "off";
2121
+ smart: "smart";
2122
+ }>>;
2123
+ autoClosingBrackets: import("zod").ZodDefault<import("zod").ZodEnum<{
2124
+ always: "always";
2125
+ languageDefined: "languageDefined";
2126
+ beforeWhitespace: "beforeWhitespace";
2127
+ never: "never";
2128
+ }>>;
2129
+ autoClosingQuotes: import("zod").ZodDefault<import("zod").ZodEnum<{
2130
+ always: "always";
2131
+ languageDefined: "languageDefined";
2132
+ beforeWhitespace: "beforeWhitespace";
2133
+ never: "never";
2134
+ }>>;
2135
+ autoIndent: import("zod").ZodDefault<import("zod").ZodEnum<{
2136
+ none: "none";
2137
+ keep: "keep";
2138
+ brackets: "brackets";
2139
+ advanced: "advanced";
2140
+ full: "full";
2141
+ }>>;
2142
+ parameterHints: import("zod").ZodDefault<import("zod").ZodBoolean>;
2143
+ lineHeight: import("zod").ZodDefault<import("zod").ZodLiteral<0 | 1.2 | 1.4 | 1.6 | 1.8 | 2>>;
2144
+ bracketPairColorization: import("zod").ZodDefault<import("zod").ZodBoolean>;
2145
+ guidesIndentation: import("zod").ZodDefault<import("zod").ZodBoolean>;
2146
+ guidesBracketPairs: import("zod").ZodDefault<import("zod").ZodEnum<{
2147
+ true: "true";
2148
+ active: "active";
2149
+ false: "false";
2150
+ }>>;
2151
+ fontLigatures: import("zod").ZodDefault<import("zod").ZodBoolean>;
2152
+ cursorStyle: import("zod").ZodDefault<import("zod").ZodEnum<{
2153
+ line: "line";
2154
+ "line-thin": "line-thin";
2155
+ block: "block";
2156
+ "block-outline": "block-outline";
2157
+ underline: "underline";
2158
+ "underline-thin": "underline-thin";
2159
+ }>>;
2160
+ cursorBlinking: import("zod").ZodDefault<import("zod").ZodEnum<{
2161
+ blink: "blink";
2162
+ smooth: "smooth";
2163
+ phase: "phase";
2164
+ expand: "expand";
2165
+ solid: "solid";
2166
+ }>>;
2167
+ cursorSmoothCaretAnimation: import("zod").ZodDefault<import("zod").ZodEnum<{
2168
+ on: "on";
2169
+ off: "off";
2170
+ explicit: "explicit";
2171
+ }>>;
2172
+ smoothScrolling: import("zod").ZodDefault<import("zod").ZodBoolean>;
2173
+ renderLineHighlight: import("zod").ZodDefault<import("zod").ZodEnum<{
2174
+ none: "none";
2175
+ all: "all";
2176
+ line: "line";
2177
+ gutter: "gutter";
2178
+ }>>;
2179
+ ruler: import("zod").ZodDefault<import("zod").ZodNumber>;
2180
+ folding: import("zod").ZodDefault<import("zod").ZodBoolean>;
2181
+ showFoldingControls: import("zod").ZodDefault<import("zod").ZodEnum<{
2182
+ always: "always";
2183
+ never: "never";
2184
+ mouseover: "mouseover";
2185
+ }>>;
2186
+ matchBrackets: import("zod").ZodDefault<import("zod").ZodEnum<{
2187
+ always: "always";
2188
+ never: "never";
2189
+ near: "near";
2190
+ }>>;
1993
2191
  }, import("zod/v4/core").$strip>;
1994
2192
  };
1995
2193
  readonly getStyleConfigByMe: {
@@ -2490,6 +2688,97 @@ declare const _default: {
2490
2688
  }>>;
2491
2689
  fontSize: import("zod").ZodDefault<import("zod").ZodNumber>;
2492
2690
  tabSize: import("zod").ZodDefault<import("zod").ZodNumber>;
2691
+ stickyScroll: import("zod").ZodDefault<import("zod").ZodBoolean>;
2692
+ stickyScrollMaxLineCount: import("zod").ZodDefault<import("zod").ZodNumber>;
2693
+ minimap: import("zod").ZodDefault<import("zod").ZodBoolean>;
2694
+ wordWrap: import("zod").ZodDefault<import("zod").ZodBoolean>;
2695
+ lineNumbers: import("zod").ZodDefault<import("zod").ZodEnum<{
2696
+ on: "on";
2697
+ off: "off";
2698
+ relative: "relative";
2699
+ }>>;
2700
+ renderWhitespace: import("zod").ZodDefault<import("zod").ZodEnum<{
2701
+ none: "none";
2702
+ boundary: "boundary";
2703
+ selection: "selection";
2704
+ trailing: "trailing";
2705
+ all: "all";
2706
+ }>>;
2707
+ quickSuggestions: import("zod").ZodDefault<import("zod").ZodBoolean>;
2708
+ suggestOnTriggerCharacters: import("zod").ZodDefault<import("zod").ZodBoolean>;
2709
+ acceptSuggestionOnEnter: import("zod").ZodDefault<import("zod").ZodEnum<{
2710
+ on: "on";
2711
+ off: "off";
2712
+ smart: "smart";
2713
+ }>>;
2714
+ autoClosingBrackets: import("zod").ZodDefault<import("zod").ZodEnum<{
2715
+ always: "always";
2716
+ languageDefined: "languageDefined";
2717
+ beforeWhitespace: "beforeWhitespace";
2718
+ never: "never";
2719
+ }>>;
2720
+ autoClosingQuotes: import("zod").ZodDefault<import("zod").ZodEnum<{
2721
+ always: "always";
2722
+ languageDefined: "languageDefined";
2723
+ beforeWhitespace: "beforeWhitespace";
2724
+ never: "never";
2725
+ }>>;
2726
+ autoIndent: import("zod").ZodDefault<import("zod").ZodEnum<{
2727
+ none: "none";
2728
+ keep: "keep";
2729
+ brackets: "brackets";
2730
+ advanced: "advanced";
2731
+ full: "full";
2732
+ }>>;
2733
+ parameterHints: import("zod").ZodDefault<import("zod").ZodBoolean>;
2734
+ lineHeight: import("zod").ZodDefault<import("zod").ZodLiteral<0 | 1.2 | 1.4 | 1.6 | 1.8 | 2>>;
2735
+ bracketPairColorization: import("zod").ZodDefault<import("zod").ZodBoolean>;
2736
+ guidesIndentation: import("zod").ZodDefault<import("zod").ZodBoolean>;
2737
+ guidesBracketPairs: import("zod").ZodDefault<import("zod").ZodEnum<{
2738
+ true: "true";
2739
+ active: "active";
2740
+ false: "false";
2741
+ }>>;
2742
+ fontLigatures: import("zod").ZodDefault<import("zod").ZodBoolean>;
2743
+ cursorStyle: import("zod").ZodDefault<import("zod").ZodEnum<{
2744
+ line: "line";
2745
+ "line-thin": "line-thin";
2746
+ block: "block";
2747
+ "block-outline": "block-outline";
2748
+ underline: "underline";
2749
+ "underline-thin": "underline-thin";
2750
+ }>>;
2751
+ cursorBlinking: import("zod").ZodDefault<import("zod").ZodEnum<{
2752
+ blink: "blink";
2753
+ smooth: "smooth";
2754
+ phase: "phase";
2755
+ expand: "expand";
2756
+ solid: "solid";
2757
+ }>>;
2758
+ cursorSmoothCaretAnimation: import("zod").ZodDefault<import("zod").ZodEnum<{
2759
+ on: "on";
2760
+ off: "off";
2761
+ explicit: "explicit";
2762
+ }>>;
2763
+ smoothScrolling: import("zod").ZodDefault<import("zod").ZodBoolean>;
2764
+ renderLineHighlight: import("zod").ZodDefault<import("zod").ZodEnum<{
2765
+ none: "none";
2766
+ all: "all";
2767
+ line: "line";
2768
+ gutter: "gutter";
2769
+ }>>;
2770
+ ruler: import("zod").ZodDefault<import("zod").ZodNumber>;
2771
+ folding: import("zod").ZodDefault<import("zod").ZodBoolean>;
2772
+ showFoldingControls: import("zod").ZodDefault<import("zod").ZodEnum<{
2773
+ always: "always";
2774
+ never: "never";
2775
+ mouseover: "mouseover";
2776
+ }>>;
2777
+ matchBrackets: import("zod").ZodDefault<import("zod").ZodEnum<{
2778
+ always: "always";
2779
+ never: "never";
2780
+ near: "near";
2781
+ }>>;
2493
2782
  }, import("zod/v4/core").$strip>;
2494
2783
  };
2495
2784
  readonly putStyleConfigByMe: {
@@ -43,5 +43,21 @@ declare const _default: {
43
43
  onePageLength: z.ZodDefault<z.ZodCoercedNumber<unknown>>;
44
44
  }, z.core.$strip>;
45
45
  };
46
+ readonly postRejudgeSpjCompileFailure: {
47
+ readonly prefix: string;
48
+ readonly operation: {
49
+ readonly summary: "SPJ 컴파일 실패 재채점";
50
+ readonly description: "g++ 누락으로 SPJ 체커 컴파일에 실패한 문제(4154, 1010)의 2026-11-01 KST 이후 제출을 모두 채점 요청에 추가합니다. 이미 채점 중인 제출은 제외합니다. (#614)";
51
+ };
52
+ readonly auth: {
53
+ readonly requiredLevel: 5;
54
+ };
55
+ readonly base: "oj-api";
56
+ readonly method: "post";
57
+ readonly path: () => string;
58
+ readonly data: z.ZodObject<{
59
+ count: z.ZodNumber;
60
+ }, z.core.$strip>;
61
+ };
46
62
  };
47
63
  export default _default;