jeopi-ai 16.2.13

package/src/providers/devin/proto/exa/dev_pb/dev.proto

@@ -0,0 +1,26 @@
+syntax = "proto3";
+
+package exa.dev_pb;
+
+import "exa/codeium_common_pb/codeium_common.proto";
+
+message DevRequest {
+  string command = 1;
+}
+
+message DevResponse {
+}
+
+message GetLSPCompletionItemsRequest {
+  string document_uri = 1;
+  .exa.codeium_common_pb.DocumentPosition position = 2;
+}
+
+message GetLSPCompletionItemsResponse {
+  string completion_items_json = 1;
+}
+
+service DevService {
+  rpc Dev (.exa.dev_pb.DevRequest) returns (.exa.dev_pb.DevResponse);
+  rpc GetLSPCompletionItems (.exa.dev_pb.GetLSPCompletionItemsRequest) returns (.exa.dev_pb.GetLSPCompletionItemsResponse);
+}

package/src/providers/devin/proto/exa/diff_action_pb/diff_action.proto

@@ -0,0 +1,75 @@
+syntax = "proto3";
+
+package exa.diff_action_pb;
+
+import "exa/codeium_common_pb/codeium_common.proto";
+
+enum UnifiedDiffLineType {
+  UNIFIED_DIFF_LINE_TYPE_UNSPECIFIED = 0;
+  UNIFIED_DIFF_LINE_TYPE_INSERT = 1;
+  UNIFIED_DIFF_LINE_TYPE_DELETE = 2;
+  UNIFIED_DIFF_LINE_TYPE_UNCHANGED = 3;
+}
+
+enum DiffChangeType {
+  DIFF_CHANGE_TYPE_UNSPECIFIED = 0;
+  DIFF_CHANGE_TYPE_INSERT = 1;
+  DIFF_CHANGE_TYPE_DELETE = 2;
+  DIFF_CHANGE_TYPE_UNCHANGED = 3;
+}
+
+enum DiffType {
+  DIFF_TYPE_UNSPECIFIED = 0;
+  DIFF_TYPE_UNIFIED = 1;
+  DIFF_TYPE_CHARACTER = 2;
+  DIFF_TYPE_COMBO = 3;
+
+  reserved 4;
+  reserved 5;
+}
+
+message UnifiedDiff {
+  message UnifiedDiffLine {
+    string text = 1;
+    .exa.diff_action_pb.UnifiedDiffLineType type = 2;
+  }
+
+  repeated .exa.diff_action_pb.UnifiedDiff.UnifiedDiffLine lines = 3;
+}
+
+message DiffBlock {
+  int32 start_line = 1;
+  int32 end_line = 2;
+  .exa.diff_action_pb.UnifiedDiff unified_diff = 3;
+  .exa.codeium_common_pb.Language from_language = 4;
+  .exa.codeium_common_pb.Language to_language = 5;
+}
+
+message CharacterDiffChange {
+  string text = 1;
+  .exa.diff_action_pb.DiffChangeType type = 2;
+}
+
+message CharacterDiff {
+  repeated .exa.diff_action_pb.CharacterDiffChange changes = 1;
+}
+
+message ComboDiffLine {
+  string text = 1;
+  .exa.diff_action_pb.DiffChangeType type = 2;
+  .exa.diff_action_pb.CharacterDiff character_diff = 3;
+}
+
+message ComboDiff {
+  repeated .exa.diff_action_pb.ComboDiffLine lines = 1;
+}
+
+message DiffSet {
+  .exa.diff_action_pb.UnifiedDiff unified_diff = 1;
+  .exa.diff_action_pb.CharacterDiff character_diff = 2;
+  .exa.diff_action_pb.ComboDiff combo_diff = 3;
+}
+
+message DiffList {
+  repeated .exa.diff_action_pb.DiffBlock diffs = 2;
+}

package/src/providers/devin/proto/exa/eval/pr_eval/datasets_pb/datasets.proto

@@ -0,0 +1,103 @@
+syntax = "proto3";
+
+package exa.eval.pr_eval.datasets_pb;
+
+import "exa/cortex_pb/cortex.proto";
+
+message MetricScoreContribution {
+  oneof score_source {
+    string metric_name = 1;
+    string existing_field_name = 3;
+  }
+  float weight = 2;
+}
+
+message ScoreCalculationConfig {
+  repeated .exa.eval.pr_eval.datasets_pb.MetricScoreContribution metric_score_contributions = 1;
+}
+
+message DetailStringFilter {
+  string detail_key = 1;
+  oneof match_type {
+    string exact_match = 2;
+    string contains = 3;
+    string regex_pattern = 4;
+  }
+  bool invert = 5;
+}
+
+message MetricsRecordFilterRequest {
+  oneof score_source {
+    string record_name = 1;
+    string existing_field_name = 4;
+  }
+  optional float max_allowed = 2;
+  optional float min_allowed = 3;
+  bool is_optional = 5;
+  repeated .exa.eval.pr_eval.datasets_pb.DetailStringFilter detail_filters = 6;
+}
+
+message FilterTrajectoryStageConfig {
+  reserved 1;
+  reserved 5;
+  reserved 6;
+  reserved 7;
+  reserved 8;
+  reserved "min_score_threshold", "generate_preference_pairs", "min_win_rating", "min_rating_delta", "max_occurrences_per_example";
+
+  message SelectionModeBestScoreConfig {
+    float min_score_threshold = 1;
+  }
+
+  message SelectionModeGeneratePairsConfig {
+    float min_win_rating = 1;
+    float min_rating_delta = 2;
+    float min_axis_delta = 4;
+    int32 max_occurrences_per_example = 3;
+  }
+
+  message SelectionModeGTvsBestConfig {
+    float min_score_threshold = 1;
+    float min_rating_delta = 2;
+  }
+
+  message SelectionModeKTOThresholdConfig {
+    float min_positive_score = 1;
+    float max_negative_score = 2;
+  }
+
+  message SelectionModeModelNameConfig {
+    string winner_model_name = 1;
+    string loser_model_name = 2;
+  }
+
+  string trajectory_field_name = 15;
+  repeated .exa.cortex_pb.CortexStepType required_step_types = 2;
+  int32 min_trajectory_length = 3;
+  bool retain_filtered_rows = 4;
+  bool truncate_trajectory_to_judge_steps = 9;
+  bool use_downloaded_score = 16 [deprecated = true];
+  oneof selection_mode {
+    .exa.eval.pr_eval.datasets_pb.FilterTrajectoryStageConfig.SelectionModeBestScoreConfig selection_mode_best_score = 10;
+    .exa.eval.pr_eval.datasets_pb.FilterTrajectoryStageConfig.SelectionModeGeneratePairsConfig selection_mode_generate_pairs = 11;
+    .exa.eval.pr_eval.datasets_pb.FilterTrajectoryStageConfig.SelectionModeGTvsBestConfig selection_mode_gt_vs_best = 12;
+    .exa.eval.pr_eval.datasets_pb.FilterTrajectoryStageConfig.SelectionModeKTOThresholdConfig selection_mode_kto_threshold = 17;
+    .exa.eval.pr_eval.datasets_pb.FilterTrajectoryStageConfig.SelectionModeModelNameConfig selection_mode_model_name = 18;
+  }
+  .exa.eval.pr_eval.datasets_pb.ScoreCalculationConfig score_calculation_config = 13;
+  repeated .exa.eval.pr_eval.datasets_pb.MetricsRecordFilterRequest metrics_record_filters = 14;
+}
+
+message MergeFormattedPreferencePairsConfig {
+  enum MismatchedPromptResolution {
+    MISMATCHED_PROMPT_RESOLUTION_UNSPECIFIED = 0;
+    MISMATCHED_PROMPT_RESOLUTION_STRICT_MATCH = 1;
+    MISMATCHED_PROMPT_RESOLUTION_KEEP_WINNER = 2;
+    MISMATCHED_PROMPT_RESOLUTION_KEEP_LOSER = 3;
+  }
+
+  .exa.eval.pr_eval.datasets_pb.MergeFormattedPreferencePairsConfig.MismatchedPromptResolution mismatched_prompt_resolution = 1;
+  int32 max_allowed_trailing_mismatched_steps = 2;
+  string expected_last_prompt_content = 3;
+  int32 world_size = 4;
+}