Skip to content

Commit 7931be6

Browse files
committed
chore: add archived benchmark snapshots for k8sdocs and dependeval
1 parent a9b36f2 commit 7931be6

File tree

333 files changed

+30035
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

333 files changed

+30035
-0
lines changed
Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
FROM python:3.10.13-slim
2+
3+
WORKDIR /workspace
4+
5+
# Install system dependencies
6+
RUN apt-get update && apt-get install -y \
7+
git \
8+
curl \
9+
&& rm -rf /var/lib/apt/lists/*
10+
11+
# Install Node.js for Claude Code CLI
12+
RUN curl -fsSL https://deb.nodesource.com/setup_22.x | bash - && \
13+
apt-get install -y nodejs && \
14+
rm -rf /var/lib/apt/lists/*
15+
16+
# Install Claude Code CLI
17+
RUN npm install -g @anthropic-ai/claude-code
18+
19+
# Copy code content for agent analysis
20+
COPY code_content.txt /workspace/code_content.txt
21+
22+
# Set up output directories
23+
RUN mkdir -p /logs/verifier /workspace
24+
25+
CMD ["/bin/bash"]
Lines changed: 93 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,93 @@
1+
'ProviGen/ProviGenTests/src/com/tjeannin/provigen/test/constraint/OnConflictProvider.java'
2+
:package com.tjeannin.provigen.test.constraint;
3+
4+
import android.content.Context;
5+
import android.database.sqlite.SQLiteDatabase;
6+
import android.database.sqlite.SQLiteOpenHelper;
7+
import android.net.Uri;
8+
import com.tjeannin.provigen.ProviGenBaseContract;
9+
import com.tjeannin.provigen.ProviGenProvider;
10+
import com.tjeannin.provigen.annotation.Column;
11+
import com.tjeannin.provigen.annotation.Column.Type;
12+
import com.tjeannin.provigen.annotation.ContentUri;
13+
import com.tjeannin.provigen.helper.TableBuilder;
14+
import com.tjeannin.provigen.model.Constraint;
15+
import com.tjeannin.provigen.model.Constraint.OnConflict;
16+
17+
public class OnConflictProvider extends ProviGenProvider {
18+
19+
@Override
20+
public SQLiteOpenHelper openHelper(Context context) {
21+
return new SQLiteOpenHelper(context, "ProviGenDatabase", null, 1) {
22+
@Override
23+
public void onCreate(SQLiteDatabase database) {
24+
new TableBuilder(ContractAbort.class)
25+
.addConstraint(ContractAbort.AN_INT, Constraint.UNIQUE, OnConflict.ABORT)
26+
.createTable(database);
27+
28+
new TableBuilder(ContractReplace.class)
29+
.addConstraint(ContractReplace.AN_INT, Constraint.UNIQUE, OnConflict.REPLACE)
30+
.createTable(database);
31+
32+
new TableBuilder(ContractFail.class)
33+
.addConstraint(ContractFail.AN_INT, Constraint.UNIQUE, OnConflict.FAIL)
34+
.createTable(database);
35+
36+
new TableBuilder(ContractMultipleResolution.class)
37+
.addConstraint(ContractMultipleResolution.AN_INT, Constraint.UNIQUE, OnConflict.REPLACE)
38+
.addConstraint(ContractMultipleResolution.ANOTHER_INT, Constraint.UNIQUE, OnConflict.ABORT)
39+
.createTable(database);
40+
41+
}
42+
43+
@Override
44+
public void onUpgrade(SQLiteDatabase db, int oldVersion, int newVersion) {
45+
46+
}
47+
};
48+
}
49+
50+
@Override
51+
public Class[] contractClasses() {
52+
return new Class[]{ContractAbort.class, ContractReplace.class, ContractFail.class, ContractMultipleResolution.class};
53+
}
54+
55+
public static interface ContractAbort extends ProviGenBaseContract {
56+
57+
@Column(Type.INTEGER)
58+
public static final String AN_INT = "an_int";
59+
60+
@ContentUri
61+
public static final Uri CONTENT_URI = Uri.parse("content:
62+
}
63+
64+
public static interface ContractReplace extends ProviGenBaseContract {
65+
66+
@Column(Type.INTEGER)
67+
public static final String AN_INT = "an_int";
68+
69+
@ContentUri
70+
public static final Uri CONTENT_URI = Uri.parse("content:
71+
}
72+
73+
public static interface ContractFail extends ProviGenBaseContract {
74+
75+
@Column(Type.INTEGER)
76+
public static final String AN_INT = "an_int";
77+
78+
@ContentUri
79+
public static final Uri CONTENT_URI = Uri.parse("content:
80+
}
81+
82+
public static interface ContractMultipleResolution extends ProviGenBaseContract {
83+
84+
@Column(Type.INTEGER)
85+
public static final String AN_INT = "an_int";
86+
87+
@Column(Type.INTEGER)
88+
public static final String ANOTHER_INT = "another_int";
89+
90+
@ContentUri
91+
public static final Uri CONTENT_URI = Uri.parse("content:
92+
}
93+
}
Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
# File Dependency Ordering Task
2+
3+
**Repository:** ProviGen
4+
**Language:** java
5+
**Difficulty:** MEDIUM
6+
**Task Type:** Dependency Recognition (File Ordering)
7+
8+
## Description
9+
10+
You are given source code from the **ProviGen** repository. Your task is to determine the correct dependency ordering of the files listed below. Files that are depended upon (callees) should come before files that depend on them (callers).
11+
12+
## Files to Order
13+
14+
The following files need to be arranged in dependency order (dependencies first):
15+
16+
- `ProviGen/ProviGenTests/src/com/tjeannin/provigen/test/constraint/OnConflictProvider.java`
17+
- `ProviGen/ProviGenLib/src/com/tjeannin/provigen/annotation/Column.java`
18+
- `ProviGen/ProviGenTests/src/com/tjeannin/provigen/test/constraint/OnConflictTest.java`
19+
20+
## Source Code
21+
22+
The source code is available in `/workspace/code_content.txt`. Read it carefully to understand the import/dependency relationships between files.
23+
24+
## Task
25+
26+
1. Read the source code from `/workspace/code_content.txt`
27+
2. Analyze the import statements and dependency relationships between files
28+
3. Determine the correct ordering where each file appears after all files it depends on
29+
4. Write the ordered list to `/workspace/submission.json`
30+
31+
## Output Format
32+
33+
Write your answer to `/workspace/submission.json` as a JSON array of file paths in dependency order (dependencies first, dependents last):
34+
35+
```json
36+
[
37+
"'repo_name/path/to/base_file.java'",
38+
"'repo_name/path/to/dependent_file.java'"
39+
]
40+
```
41+
42+
**Important:** Use the exact file path strings as listed above, including the surrounding single quotes.
43+
44+
## Evaluation
45+
46+
Your submission is scored by element-wise exact match averaged across positions. Each position where your file matches the correct ordering scores 1/N, where N is the total number of files.
47+
48+
**Time Limit:** 10 minutes
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
#!/bin/bash
2+
set -e
3+
4+
# Oracle solution — copies ground truth to submission
5+
cp /tests/ground_truth.json /workspace/submission.json
6+
7+
exit 0
Lines changed: 51 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
1+
version = "1.0"
2+
3+
[task]
4+
name = "dependency_recognition-java-488d70a0"
5+
description = "DependEval dependency_recognition task for java (ProviGen)"
6+
task_type = "dependency_recognition"
7+
language = "java"
8+
difficulty = "medium"
9+
time_limit_sec = 600
10+
11+
[metadata]
12+
source = "DependEval"
13+
repo_name = "ProviGen"
14+
instance_id = "488d70a0"
15+
16+
[evaluation]
17+
output_file = "submission.json"
18+
reward_file = "/logs/verifier/reward.txt"
19+
20+
[verification]
21+
reward_type = "binary"
22+
description = "Correctness of dependency ordering output"
23+
24+
[environment]
25+
build_timeout_sec = 300.0
26+
27+
[environment.setup_scripts]
28+
mcp_config = """#!/bin/bash
29+
# Setup Sourcegraph MCP if credentials provided
30+
if [ -n "$SOURCEGRAPH_ACCESS_TOKEN" ] && [ -n "$SOURCEGRAPH_URL" ]; then
31+
mkdir -p /root/.config/claude
32+
cat > /root/.config/claude/mcp.json << 'MCPEOF'
33+
{
34+
"mcpServers": {
35+
"sourcegraph": {
36+
"command": "npx",
37+
"args": ["-y", "@sourcegraph/mcp-server"],
38+
"env": {
39+
"SRC_ACCESS_TOKEN": "$SOURCEGRAPH_ACCESS_TOKEN",
40+
"SOURCEGRAPH_URL": "$SOURCEGRAPH_URL"
41+
}
42+
}
43+
}
44+
}
45+
MCPEOF
46+
echo "PASS MCP configuration created"
47+
else
48+
echo "No Sourcegraph credentials provided, MCP disabled"
49+
fi
50+
exit 0
51+
"""

0 commit comments

Comments
 (0)