Read new_law.pdf and a set of case judgment documents, and identify every cited clause whose substantive content differs from the corresponding provision in the new law — changes to the rule, scope, condition or legal effect. Clauses merely renumbered or relocated do not count, and only clauses the judgment actually quotes are in scope.
Task Prompt
Please help me read new_law.pdf and each case judgment document, identify any cited clauses whose substantive content differs from the corresponding provision in the new law, including changes, additions, or deletions to the legal rule, scope, condition, or legal effect. Do not include clauses that were merely renumbered, relocated, or carried over into the new law without substantive content changes. Only consider clauses where the judgment document quotes or reproduces the original legal text; do not include clauses that are merely cited by article number without the original clause text. For the original quoted content field, copy the text exactly as quoted or reproduced in the judgment document. For the new-law content field, quote the complete corresponding legal provision from new_law.pdf, not a summary or partial excerpt. If one original clause corresponds to multiple new-law clauses, list each correspondence as a separate row. Each PDF may involve one or more legal clause(s) that needs amendment. Based on your analysis, generate a list of legal clauses in the judgment documents that need to be amended, and return the results in the following format:
```
案件文件名称,判决文书中的原始条款,原始引用内容,新法条款,新法条款内容
"case1.pdf","《xx法》第xx条(第xx款)","xxx","《民法典》第xx条(第xx款)","xxx"
```
Finally, please write the returned content into the `revised_terms.csv` file.
VFS.md
---name: workspace-filesystemdescription: The virtual filesystem layout of this workspace.---# Virtual FilesystemYou work in a terminal over a virtual filesystem. Read files with shellcommands; service operations are listed in SKILL.md.| Path | Description ||---|---||`/workspace`| Agent workspace; current directory and home (`~`). ||`/tmp`| Temporary files. ||`/dev`| Device files: `null` and `zero` (mounted automatically). |
name
workspace-filesystem
description
The virtual filesystem layout of this workspace.
Virtual Filesystem
You work in a terminal over a virtual filesystem. Read files with shell commands; service operations are listed in SKILL.md.
Path
Description
/workspace
Agent workspace; current directory and home (~).
/tmp
Temporary files.
/dev
Device files: null and zero (mounted automatically).
SKILL.md
---name: workspace-commandsdescription: The shell commands, task tools, and python3 interpreter available in this workspace.---# Available commandsStandard Unix commands, among them: cat head tail ls find grep wc sort uniq cut tr sed awk diff tee xargs jq unzip curlwith pipes, `>` redirection, `$(...)` substitution and `$'...'`.The task CLIs below are registered with this shell rather than installedas files; do not inspect them with `which`, `file` or `/usr/bin`.## pdf-toolsUse `pdf-tools <command> '<JSON arguments>'`. Run`pdf-tools <command> --help` to get more information.| Command | Arguments | Description ||---|---|---||`pdf-tools read-pdf-pages`|`{pdf_file_path: str, start_page?: int = 1, end_page?: int = 1}`| Read content from PDF file for specified page range. Supports both local file paths and URLs. For URLs, the PDF will be downloaded to a temporary directory and cached for future use. Note: Avoid reading too many pages at once (recommended: <50 pages) to prevent errors. Args: pdf_file_path: Path to the PDF file or URL to PDF start_page: Starting page number (default: 1) end_page: Ending page number (default: 1) Returns: Extracted text content from the specified pages ||`pdf-tools get-pdf-info`|`{pdf_file_path: str}`| Get basic information about a PDF file including page count. Supports both local file paths and URLs. For URLs, the PDF will be downloaded to a temporary directory and cached for future use. Args: pdf_file_path: Path to the PDF file or URL to PDF Returns: Basic information about the PDF file ||`pdf-tools merge-pdfs`|`{pdf_paths: list[str], output_path: str}`| Merge multiple PDF files into one. Supports both local file paths and URLs. URLs will be downloaded to temporary files before merging. Mixed local and URL paths are supported. Args: pdf_paths: List of paths to PDF files to merge (in order) - can include URLs output_path: Path where the merged PDF will be saved (must be local path) Returns: Success message with merge details or error message ||`pdf-tools extract-pdf-pages`|`{source_path: str, page_numbers: list[int], output_path: str}`| Extract specific pages from a PDF and create a new PDF. Supports URLs for source PDF. The source PDF will be downloaded to a temporary directory if it's a URL. Output path must be a local file path. Args: source_path: Path to the source PDF file or URL to PDF page_numbers: List of page numbers to extract (1-indexed) output_path: Path where the new PDF will be saved (must be local path) Returns: Success message with extraction details or error message ||`pdf-tools search-pdf-content`|`{pdf_file_path: str, pattern: str, page_size?: int = 10}`| Search for regex pattern in PDF content and return paginated results. Supports both local file paths and URLs. For URLs, the PDF will be downloaded to a temporary directory and cached for future use. Args: pdf_file_path: Path to the PDF file or URL to PDF pattern: Regular expression pattern to search for page_size: Number of results per page (10-50, default: 10) Returns: Search results with UUID for pagination, or error message ||`pdf-tools search-pdf-next-page`|`{search_id: str}`| Get next page of search results. Args: search_id: Search session ID from previous search Returns: Next page of search results or error message ||`pdf-tools search-pdf-prev-page`|`{search_id: str}`| Get previous page of search results. Args: search_id: Search session ID from previous search Returns: Previous page of search results or error message ||`pdf-tools search-pdf-go-page`|`{search_id: str, page_number: int}`| Go to specific page of search results. Args: search_id: Search session ID from previous search page_number: Page number to go to (1-indexed) Returns: Specified page of search results or error message ||`pdf-tools search-pdf-info`|`{search_id: str}`| Get information about a search session. Args: search_id: Search session ID from previous search Returns: Information about the search session |## python3Execute Python code directly under the agent workspace and return stdoutand stderr. Code can be pasted into a `.py` file and run with `python3`.Python cannot launch subprocesses or make direct network requests. Run thedocumented service commands directly in the shell. Use Python for localfile processing and generating JSON arguments.
name
workspace-commands
description
The shell commands, task tools, and python3 interpreter available in this workspace.
Available commands
Standard Unix commands, among them:
cat head tail ls find grep wc sort uniq cut tr sed awkdiff tee xargs jq unzip curl
with pipes, > redirection, $(...) substitution and $'...'.
The task CLIs below are registered with this shell rather than installed as files; do not inspect them with which, file or /usr/bin.
pdf-tools
Use pdf-tools <command> '<JSON arguments>'. Run pdf-tools <command> --help to get more information.
Command
Arguments
Description
pdf-tools read-pdf-pages
{pdf_file_path: str, start_page?: int = 1, end_page?: int = 1}
Read content from PDF file for specified page range. Supports both local file paths and URLs. For URLs, the PDF will be downloaded to a temporary directory and cached for future use. Note: Avoid reading too many pages at once (recommended: <50 pages) to prevent errors. Args: pdf_file_path: Path to the PDF file or URL to PDF start_page: Starting page number (default: 1) end_page: Ending page number (default: 1) Returns: Extracted text content from the specified pages
pdf-tools get-pdf-info
{pdf_file_path: str}
Get basic information about a PDF file including page count. Supports both local file paths and URLs. For URLs, the PDF will be downloaded to a temporary directory and cached for future use. Args: pdf_file_path: Path to the PDF file or URL to PDF Returns: Basic information about the PDF file
pdf-tools merge-pdfs
{pdf_paths: list[str], output_path: str}
Merge multiple PDF files into one. Supports both local file paths and URLs. URLs will be downloaded to temporary files before merging. Mixed local and URL paths are supported. Args: pdf_paths: List of paths to PDF files to merge (in order) - can include URLs output_path: Path where the merged PDF will be saved (must be local path) Returns: Success message with merge details or error message
Extract specific pages from a PDF and create a new PDF. Supports URLs for source PDF. The source PDF will be downloaded to a temporary directory if it's a URL. Output path must be a local file path. Args: source_path: Path to the source PDF file or URL to PDF page_numbers: List of page numbers to extract (1-indexed) output_path: Path where the new PDF will be saved (must be local path) Returns: Success message with extraction details or error message
pdf-tools search-pdf-content
{pdf_file_path: str, pattern: str, page_size?: int = 10}
Search for regex pattern in PDF content and return paginated results. Supports both local file paths and URLs. For URLs, the PDF will be downloaded to a temporary directory and cached for future use. Args: pdf_file_path: Path to the PDF file or URL to PDF pattern: Regular expression pattern to search for page_size: Number of results per page (10-50, default: 10) Returns: Search results with UUID for pagination, or error message
pdf-tools search-pdf-next-page
{search_id: str}
Get next page of search results. Args: search_id: Search session ID from previous search Returns: Next page of search results or error message
pdf-tools search-pdf-prev-page
{search_id: str}
Get previous page of search results. Args: search_id: Search session ID from previous search Returns: Previous page of search results or error message
pdf-tools search-pdf-go-page
{search_id: str, page_number: int}
Go to specific page of search results. Args: search_id: Search session ID from previous search page_number: Page number to go to (1-indexed) Returns: Specified page of search results or error message
pdf-tools search-pdf-info
{search_id: str}
Get information about a search session. Args: search_id: Search session ID from previous search Returns: Information about the search session
python3
Execute Python code directly under the agent workspace and return stdout and stderr. Code can be pasted into a .py file and run with python3.
Python cannot launch subprocesses or make direct network requests. Run the documented service commands directly in the shell. Use Python for local file processing and generating JSON arguments.
VFS passed
0/5
MCP passed
0/5
Fewer tokens with VFS
3 of 5 models
Passes and mean tokens per run for each model, VFS vs MCP