@buyong/pi-devin 0.0.0-stage → 0.1.0

package/proto/exa/dev_pb/dev.proto

@@ -0,0 +1,28 @@
+syntax = "proto3";
+
+package exa.dev_pb;
+
+import "exa/codeium_common_pb/codeium_common.proto";
+
+option go_package = "github.com/Exafunction/Exafunction/exa/dev_pb";
+
+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(DevRequest) returns (DevResponse);
+  rpc GetLSPCompletionItems(GetLSPCompletionItemsRequest) returns (GetLSPCompletionItemsResponse);
+}

package/proto/exa/diff_action_pb/diff_action.proto

@@ -0,0 +1,76 @@
+syntax = "proto3";
+
+package exa.diff_action_pb;
+
+import "exa/codeium_common_pb/codeium_common.proto";
+
+option go_package = "github.com/Exafunction/Exafunction/exa/diff_action_pb";
+
+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 {
+  repeated UnifiedDiff.UnifiedDiffLine lines = 3;
+  message UnifiedDiffLine {
+    string text = 1;
+    UnifiedDiffLineType type = 2;
+  }
+
+}
+
+message DiffBlock {
+  int32 start_line = 1;
+  int32 end_line = 2;
+  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;
+  DiffChangeType type = 2;
+}
+
+message CharacterDiff {
+  repeated CharacterDiffChange changes = 1;
+}
+
+message ComboDiffLine {
+  string text = 1;
+  DiffChangeType type = 2;
+  CharacterDiff character_diff = 3;
+}
+
+message ComboDiff {
+  repeated ComboDiffLine lines = 1;
+}
+
+message DiffSet {
+  UnifiedDiff unified_diff = 1;
+  CharacterDiff character_diff = 2;
+  ComboDiff combo_diff = 3;
+}
+
+message DiffList {
+  repeated DiffBlock diffs = 2;
+}

package/proto/exa/eval/pr_eval/datasets_pb/datasets.proto

@@ -0,0 +1,106 @@
+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 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 DetailStringFilter detail_filters = 6;
+}
+
+message FilterTrajectoryStageConfig {
+  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 {
+    FilterTrajectoryStageConfig.SelectionModeBestScoreConfig selection_mode_best_score = 10;
+    FilterTrajectoryStageConfig.SelectionModeGeneratePairsConfig selection_mode_generate_pairs = 11;
+    FilterTrajectoryStageConfig.SelectionModeGTvsBestConfig selection_mode_gt_vs_best = 12;
+    FilterTrajectoryStageConfig.SelectionModeKTOThresholdConfig selection_mode_kto_threshold = 17;
+    FilterTrajectoryStageConfig.SelectionModeModelNameConfig selection_mode_model_name = 18;
+  }
+  ScoreCalculationConfig score_calculation_config = 13;
+  repeated MetricsRecordFilterRequest metrics_record_filters = 14;
+  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;
+  }
+
+  reserved 1;
+  reserved 5;
+  reserved 6;
+  reserved 7;
+  reserved 8;
+  reserved "min_score_threshold";
+  reserved "generate_preference_pairs";
+  reserved "min_win_rating";
+  reserved "min_rating_delta";
+  reserved "max_occurrences_per_example";
+}
+
+message MergeFormattedPreferencePairsConfig {
+  MergeFormattedPreferencePairsConfig.MismatchedPromptResolution mismatched_prompt_resolution = 1;
+  int32 max_allowed_trailing_mismatched_steps = 2;
+  string expected_last_prompt_content = 3;
+  int32 world_size = 4;
+  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;
+  }
+
+}