Text Generation
Transformers
Safetensors
PEFT
English
Chinese
qwen3_5
image-text-to-text
veriloop
veriloop-coder
code
coding-agent
software-engineering
repository-understanding
tool-use
lora
harness-engineering
evidence-binding
rollback
uncertainty-calibration
long-context
open-weights
conversational
Instructions to use veriloop-lab/veriloop-coder-e1 with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- Transformers
How to use veriloop-lab/veriloop-coder-e1 with Transformers:
# Use a pipeline as a high-level helper from transformers import pipeline pipe = pipeline("text-generation", model="veriloop-lab/veriloop-coder-e1") messages = [ { "role": "user", "content": [ {"type": "image", "url": "https://huggingface.co/datasets/huggingface/documentation-images/resolve/main/p-blog/candy.JPG"}, {"type": "text", "text": "What animal is on the candy?"} ] }, ] pipe(text=messages)# Load model directly from transformers import AutoProcessor, AutoModelForImageTextToText processor = AutoProcessor.from_pretrained("veriloop-lab/veriloop-coder-e1") model = AutoModelForImageTextToText.from_pretrained("veriloop-lab/veriloop-coder-e1") messages = [ { "role": "user", "content": [ {"type": "image", "url": "https://huggingface.co/datasets/huggingface/documentation-images/resolve/main/p-blog/candy.JPG"}, {"type": "text", "text": "What animal is on the candy?"} ] }, ] inputs = processor.apply_chat_template( messages, add_generation_prompt=True, tokenize=True, return_dict=True, return_tensors="pt", ).to(model.device) outputs = model.generate(**inputs, max_new_tokens=40) print(processor.decode(outputs[0][inputs["input_ids"].shape[-1]:])) - PEFT
How to use veriloop-lab/veriloop-coder-e1 with PEFT:
Task type is invalid.
- Notebooks
- Google Colab
- Kaggle
- Local Apps
- vLLM
How to use veriloop-lab/veriloop-coder-e1 with vLLM:
Install from pip and serve model
# Install vLLM from pip: pip install vllm # Start the vLLM server: vllm serve "veriloop-lab/veriloop-coder-e1" # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:8000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "veriloop-lab/veriloop-coder-e1", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker
docker model run hf.co/veriloop-lab/veriloop-coder-e1
- SGLang
How to use veriloop-lab/veriloop-coder-e1 with SGLang:
Install from pip and serve model
# Install SGLang from pip: pip install sglang # Start the SGLang server: python3 -m sglang.launch_server \ --model-path "veriloop-lab/veriloop-coder-e1" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "veriloop-lab/veriloop-coder-e1", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker images
docker run --gpus all \ --shm-size 32g \ -p 30000:30000 \ -v ~/.cache/huggingface:/root/.cache/huggingface \ --env "HF_TOKEN=<secret>" \ --ipc=host \ lmsysorg/sglang:latest \ python3 -m sglang.launch_server \ --model-path "veriloop-lab/veriloop-coder-e1" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "veriloop-lab/veriloop-coder-e1", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }' - Docker Model Runner
How to use veriloop-lab/veriloop-coder-e1 with Docker Model Runner:
docker model run hf.co/veriloop-lab/veriloop-coder-e1
| {"mode": "contradiction", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=contradiction\nrollback_focus=eval_conflict_preserve\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nCurrent evidence negates an active claim and the contradiction edge must remain visible during rollback.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nevidence_conflict=explicit\nconflict_edge=preserve\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=retrieved_receipt_conflict\ndominant_cause_signal=evidence_contradiction\nrequired_rewrite_scope=local_conflict_preserving_revision\nforbidden_rewrite_scope=silent_conflict_erasure\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "evidence_contradiction", "rewrite_name": "local_conflict_preserving_revision", "need_id": 2, "cause_id": 1, "rewrite_id": 8, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "contradiction", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=contradiction\nrollback_focus=eval_conflict_local\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nA validator-visible contradiction has appeared and local conflict-preserving revision is required.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\nclaim_status=locally_demote\nconflict_visibility=required\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=conflicting_ground_truth_edges\ndominant_cause_signal=evidence_contradiction\nrequired_rewrite_scope=preserve_conflict_then_revise_locally\nforbidden_rewrite_scope=broad_regeneration\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "evidence_contradiction", "rewrite_name": "local_conflict_preserving_revision", "need_id": 2, "cause_id": 1, "rewrite_id": 8, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "contradiction", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=contradiction\nrollback_focus=eval_conflict_preserve\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nCurrent evidence negates an active claim and the contradiction edge must remain visible during rollback.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nevidence_conflict=explicit\nconflict_edge=preserve\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=retrieved_receipt_conflict\ndominant_cause_signal=evidence_contradiction\nrequired_rewrite_scope=local_conflict_preserving_revision\nforbidden_rewrite_scope=silent_conflict_erasure\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "evidence_contradiction", "rewrite_name": "local_conflict_preserving_revision", "need_id": 2, "cause_id": 1, "rewrite_id": 8, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "contradiction", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=contradiction\nrollback_focus=eval_conflict_local\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nA validator-visible contradiction has appeared and local conflict-preserving revision is required.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\nclaim_status=locally_demote\nconflict_visibility=required\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=conflicting_ground_truth_edges\ndominant_cause_signal=evidence_contradiction\nrequired_rewrite_scope=preserve_conflict_then_revise_locally\nforbidden_rewrite_scope=broad_regeneration\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "evidence_contradiction", "rewrite_name": "local_conflict_preserving_revision", "need_id": 2, "cause_id": 1, "rewrite_id": 8, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "contradiction", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=contradiction\nrollback_focus=eval_conflict_preserve\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nCurrent evidence negates an active claim and the contradiction edge must remain visible during rollback.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nevidence_conflict=explicit\nconflict_edge=preserve\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=retrieved_receipt_conflict\ndominant_cause_signal=evidence_contradiction\nrequired_rewrite_scope=local_conflict_preserving_revision\nforbidden_rewrite_scope=silent_conflict_erasure\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "evidence_contradiction", "rewrite_name": "local_conflict_preserving_revision", "need_id": 2, "cause_id": 1, "rewrite_id": 8, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "execution_failure", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=execution_failure\nrollback_focus=eval_exec_local\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nA bounded execution trace invalidated one branch and rollback should remain local to the failed path.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nexecution_trace=failed\nrepair_scope=failed_branch_only\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=sandbox_execution_failure\ndominant_cause_signal=execution_negation\nrequired_rewrite_scope=local_patch_only\nforbidden_rewrite_scope=full_repo_rewrite\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "execution_negation", "rewrite_name": "local_patch_only", "need_id": 2, "cause_id": 2, "rewrite_id": 1, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "execution_failure", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=execution_failure\nrollback_focus=eval_exec_patch\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nThe latest patch failed during sandbox execution while neighboring validated work should be retained.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\nsandbox_status=nonzero\nrepair_path=local_patch\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=bounded_test_failure\ndominant_cause_signal=execution_negation\nrequired_rewrite_scope=failed_branch_local_repair\nforbidden_rewrite_scope=rewrite_validated_regions\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "execution_negation", "rewrite_name": "local_patch_only", "need_id": 2, "cause_id": 2, "rewrite_id": 1, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "execution_failure", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=execution_failure\nrollback_focus=eval_exec_local\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nA bounded execution trace invalidated one branch and rollback should remain local to the failed path.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nexecution_trace=failed\nrepair_scope=failed_branch_only\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=sandbox_execution_failure\ndominant_cause_signal=execution_negation\nrequired_rewrite_scope=local_patch_only\nforbidden_rewrite_scope=full_repo_rewrite\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "execution_negation", "rewrite_name": "local_patch_only", "need_id": 2, "cause_id": 2, "rewrite_id": 1, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "execution_failure", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=execution_failure\nrollback_focus=eval_exec_patch\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nThe latest patch failed during sandbox execution while neighboring validated work should be retained.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\nsandbox_status=nonzero\nrepair_path=local_patch\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=bounded_test_failure\ndominant_cause_signal=execution_negation\nrequired_rewrite_scope=failed_branch_local_repair\nforbidden_rewrite_scope=rewrite_validated_regions\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "execution_negation", "rewrite_name": "local_patch_only", "need_id": 2, "cause_id": 2, "rewrite_id": 1, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "execution_failure", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=execution_failure\nrollback_focus=eval_exec_local\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nA bounded execution trace invalidated one branch and rollback should remain local to the failed path.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nexecution_trace=failed\nrepair_scope=failed_branch_only\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=sandbox_execution_failure\ndominant_cause_signal=execution_negation\nrequired_rewrite_scope=local_patch_only\nforbidden_rewrite_scope=full_repo_rewrite\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "execution_negation", "rewrite_name": "local_patch_only", "need_id": 2, "cause_id": 2, "rewrite_id": 1, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "validator_rejection", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=validator_rejection\nrollback_focus=eval_validator_scope\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nValidator receipts reject the current submission and the correction must stay validator-scoped.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nvalidator_gate=reject\nreceipt_alignment=broken\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=validator_receipt_rejection\ndominant_cause_signal=validator_rejection\nrequired_rewrite_scope=validator_scoped_revision\nforbidden_rewrite_scope=receipt_agnostic_rewrite\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "validator_rejection", "rewrite_name": "validator_scoped_revision", "need_id": 2, "cause_id": 3, "rewrite_id": 2, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "validator_rejection", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=validator_rejection\nrollback_focus=eval_validator_receipt\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nAcceptance criteria failed under validator review even though the patch looks superficially plausible.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\nacceptance_criteria=failed\nvalidator_scope=authoritative\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=acceptance_gate_reject\ndominant_cause_signal=validator_rejection\nrequired_rewrite_scope=validator_bound_local_revision\nforbidden_rewrite_scope=bypass_validator_scope\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "validator_rejection", "rewrite_name": "validator_scoped_revision", "need_id": 2, "cause_id": 3, "rewrite_id": 2, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "validator_rejection", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=validator_rejection\nrollback_focus=eval_validator_scope\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nValidator receipts reject the current submission and the correction must stay validator-scoped.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nvalidator_gate=reject\nreceipt_alignment=broken\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=validator_receipt_rejection\ndominant_cause_signal=validator_rejection\nrequired_rewrite_scope=validator_scoped_revision\nforbidden_rewrite_scope=receipt_agnostic_rewrite\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "validator_rejection", "rewrite_name": "validator_scoped_revision", "need_id": 2, "cause_id": 3, "rewrite_id": 2, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "validator_rejection", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=validator_rejection\nrollback_focus=eval_validator_receipt\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nAcceptance criteria failed under validator review even though the patch looks superficially plausible.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\nacceptance_criteria=failed\nvalidator_scope=authoritative\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=acceptance_gate_reject\ndominant_cause_signal=validator_rejection\nrequired_rewrite_scope=validator_bound_local_revision\nforbidden_rewrite_scope=bypass_validator_scope\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "validator_rejection", "rewrite_name": "validator_scoped_revision", "need_id": 2, "cause_id": 3, "rewrite_id": 2, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "validator_rejection", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=validator_rejection\nrollback_focus=eval_validator_scope\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nValidator receipts reject the current submission and the correction must stay validator-scoped.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nvalidator_gate=reject\nreceipt_alignment=broken\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=validator_receipt_rejection\ndominant_cause_signal=validator_rejection\nrequired_rewrite_scope=validator_scoped_revision\nforbidden_rewrite_scope=receipt_agnostic_rewrite\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "validator_rejection", "rewrite_name": "validator_scoped_revision", "need_id": 2, "cause_id": 3, "rewrite_id": 2, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "patch_regression", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=patch_regression\nrollback_focus=eval_patch_smallest\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nOne small region regressed after the newest patch and only that region should be revised.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nregression_scope=localized\nminimal_diff=required\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=patch_regression_observed\ndominant_cause_signal=patch_regression\nrequired_rewrite_scope=minimum_diff_patch\nforbidden_rewrite_scope=wide_area_rewrite\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "advisory", "cause_name": "patch_regression", "rewrite_name": "minimum_diff_patch", "need_id": 1, "cause_id": 4, "rewrite_id": 3, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "patch_regression", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=patch_regression\nrollback_focus=eval_patch_local\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nA local regression appeared in the edited diff while previously validated segments remain good.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\npatch_lineage=mostly_valid\nrollback_scope=single_region\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=recent_diff_regressed\ndominant_cause_signal=patch_regression\nrequired_rewrite_scope=single_region_patch_repair\nforbidden_rewrite_scope=discard_valid_neighbors\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "advisory", "cause_name": "patch_regression", "rewrite_name": "minimum_diff_patch", "need_id": 1, "cause_id": 4, "rewrite_id": 3, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "patch_regression", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=patch_regression\nrollback_focus=eval_patch_smallest\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nOne small region regressed after the newest patch and only that region should be revised.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nregression_scope=localized\nminimal_diff=required\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=patch_regression_observed\ndominant_cause_signal=patch_regression\nrequired_rewrite_scope=minimum_diff_patch\nforbidden_rewrite_scope=wide_area_rewrite\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "advisory", "cause_name": "patch_regression", "rewrite_name": "minimum_diff_patch", "need_id": 1, "cause_id": 4, "rewrite_id": 3, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "patch_regression", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=patch_regression\nrollback_focus=eval_patch_local\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nA local regression appeared in the edited diff while previously validated segments remain good.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\npatch_lineage=mostly_valid\nrollback_scope=single_region\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=recent_diff_regressed\ndominant_cause_signal=patch_regression\nrequired_rewrite_scope=single_region_patch_repair\nforbidden_rewrite_scope=discard_valid_neighbors\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "advisory", "cause_name": "patch_regression", "rewrite_name": "minimum_diff_patch", "need_id": 1, "cause_id": 4, "rewrite_id": 3, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "patch_regression", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=patch_regression\nrollback_focus=eval_patch_smallest\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nOne small region regressed after the newest patch and only that region should be revised.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nregression_scope=localized\nminimal_diff=required\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=patch_regression_observed\ndominant_cause_signal=patch_regression\nrequired_rewrite_scope=minimum_diff_patch\nforbidden_rewrite_scope=wide_area_rewrite\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "advisory", "cause_name": "patch_regression", "rewrite_name": "minimum_diff_patch", "need_id": 1, "cause_id": 4, "rewrite_id": 3, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "worktree_conflict", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=worktree_conflict\nrollback_focus=eval_worktree_snapshot\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nThe rollback candidate conflicts with the live worktree snapshot and should not overwrite workspace state.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nworktree_state=conflicted\noverwrite_policy=forbidden\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=live_worktree_conflict\ndominant_cause_signal=worktree_conflict\nrequired_rewrite_scope=do_not_overwrite_worktree_state\nforbidden_rewrite_scope=overwrite_workspace_state\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "worktree_conflict", "rewrite_name": "do_not_overwrite_worktree_state", "need_id": 2, "cause_id": 5, "rewrite_id": 4, "preserve_conflict": 1, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "worktree_conflict", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=worktree_conflict\nrollback_focus=eval_worktree_preserve\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nWorkspace lineage drift is present, so rollback must preserve current worktree context.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\nworkspace_snapshot=lineage_mismatch\nrollback_scope=preserve_worktree\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=snapshot_lineage_mismatch\ndominant_cause_signal=worktree_conflict\nrequired_rewrite_scope=preserve_worktree_then_reconcile\nforbidden_rewrite_scope=destructive_checkout_style_rewrite\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "worktree_conflict", "rewrite_name": "do_not_overwrite_worktree_state", "need_id": 2, "cause_id": 5, "rewrite_id": 4, "preserve_conflict": 1, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "worktree_conflict", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=worktree_conflict\nrollback_focus=eval_worktree_snapshot\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nThe rollback candidate conflicts with the live worktree snapshot and should not overwrite workspace state.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nworktree_state=conflicted\noverwrite_policy=forbidden\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=live_worktree_conflict\ndominant_cause_signal=worktree_conflict\nrequired_rewrite_scope=do_not_overwrite_worktree_state\nforbidden_rewrite_scope=overwrite_workspace_state\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "worktree_conflict", "rewrite_name": "do_not_overwrite_worktree_state", "need_id": 2, "cause_id": 5, "rewrite_id": 4, "preserve_conflict": 1, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "worktree_conflict", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=worktree_conflict\nrollback_focus=eval_worktree_preserve\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nWorkspace lineage drift is present, so rollback must preserve current worktree context.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\nworkspace_snapshot=lineage_mismatch\nrollback_scope=preserve_worktree\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=snapshot_lineage_mismatch\ndominant_cause_signal=worktree_conflict\nrequired_rewrite_scope=preserve_worktree_then_reconcile\nforbidden_rewrite_scope=destructive_checkout_style_rewrite\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "worktree_conflict", "rewrite_name": "do_not_overwrite_worktree_state", "need_id": 2, "cause_id": 5, "rewrite_id": 4, "preserve_conflict": 1, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "worktree_conflict", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=worktree_conflict\nrollback_focus=eval_worktree_snapshot\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nThe rollback candidate conflicts with the live worktree snapshot and should not overwrite workspace state.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nworktree_state=conflicted\noverwrite_policy=forbidden\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=live_worktree_conflict\ndominant_cause_signal=worktree_conflict\nrequired_rewrite_scope=do_not_overwrite_worktree_state\nforbidden_rewrite_scope=overwrite_workspace_state\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "worktree_conflict", "rewrite_name": "do_not_overwrite_worktree_state", "need_id": 2, "cause_id": 5, "rewrite_id": 4, "preserve_conflict": 1, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "high_risk_unsupported", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=high_risk_unsupported\nrollback_focus=eval_fail_closed\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nA high-risk branch lacks evidence and must fail closed instead of continuing.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nrisk_band=high\nsupport_state=insufficient\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=high_risk_without_support\ndominant_cause_signal=high_risk_unsupported\nrequired_rewrite_scope=fail_closed\nforbidden_rewrite_scope=continue_as_validated\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "high_risk_unsupported", "rewrite_name": "fail_closed", "need_id": 2, "cause_id": 6, "rewrite_id": 5, "preserve_conflict": 0, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 1}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "high_risk_unsupported", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=high_risk_unsupported\nrollback_focus=eval_high_risk_retract\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nUnsupported high-risk output is present and should be retracted under rollback discipline.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\npolicy_mode=fail_closed\nunsupported_claims=retract\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=unsafe_claim_without_receipts\ndominant_cause_signal=high_risk_unsupported\nrequired_rewrite_scope=retract_and_fail_closed\nforbidden_rewrite_scope=speculative_completion\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "high_risk_unsupported", "rewrite_name": "fail_closed", "need_id": 2, "cause_id": 6, "rewrite_id": 5, "preserve_conflict": 0, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 1}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "high_risk_unsupported", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=high_risk_unsupported\nrollback_focus=eval_fail_closed\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nA high-risk branch lacks evidence and must fail closed instead of continuing.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nrisk_band=high\nsupport_state=insufficient\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=high_risk_without_support\ndominant_cause_signal=high_risk_unsupported\nrequired_rewrite_scope=fail_closed\nforbidden_rewrite_scope=continue_as_validated\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "high_risk_unsupported", "rewrite_name": "fail_closed", "need_id": 2, "cause_id": 6, "rewrite_id": 5, "preserve_conflict": 0, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 1}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "high_risk_unsupported", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=high_risk_unsupported\nrollback_focus=eval_high_risk_retract\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nUnsupported high-risk output is present and should be retracted under rollback discipline.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\npolicy_mode=fail_closed\nunsupported_claims=retract\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=unsafe_claim_without_receipts\ndominant_cause_signal=high_risk_unsupported\nrequired_rewrite_scope=retract_and_fail_closed\nforbidden_rewrite_scope=speculative_completion\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "high_risk_unsupported", "rewrite_name": "fail_closed", "need_id": 2, "cause_id": 6, "rewrite_id": 5, "preserve_conflict": 0, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 1}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "high_risk_unsupported", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=high_risk_unsupported\nrollback_focus=eval_fail_closed\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nA high-risk branch lacks evidence and must fail closed instead of continuing.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nrisk_band=high\nsupport_state=insufficient\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=high_risk_without_support\ndominant_cause_signal=high_risk_unsupported\nrequired_rewrite_scope=fail_closed\nforbidden_rewrite_scope=continue_as_validated\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "high_risk_unsupported", "rewrite_name": "fail_closed", "need_id": 2, "cause_id": 6, "rewrite_id": 5, "preserve_conflict": 0, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 1}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "tool_selfcheck_repair", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=tool_selfcheck_repair\nrollback_focus=eval_selfcheck_loop\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nA bounded self-check failed and the system should repair via a narrow self-check loop.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nselfcheck_status=failed\nrepair_loop=bounded\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=tool_selfcheck_negative\ndominant_cause_signal=tool_selfcheck_failure\nrequired_rewrite_scope=repair_via_bounded_selfcheck_loop\nforbidden_rewrite_scope=broad_rewrite_without_selfcheck\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "tool_selfcheck_failure", "rewrite_name": "repair_via_bounded_selfcheck_loop", "need_id": 2, "cause_id": 7, "rewrite_id": 6, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "tool_selfcheck_repair", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=tool_selfcheck_repair\nrollback_focus=eval_selfcheck_patch\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nTool validation rejected the patch and another local self-check repair cycle is warranted.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\ntool_validation=negative\nrepair_scope=narrow\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=compiler_or_unit_gate_failed\ndominant_cause_signal=tool_selfcheck_failure\nrequired_rewrite_scope=narrow_selfcheck_repair_cycle\nforbidden_rewrite_scope=skip_repair_loop\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "tool_selfcheck_failure", "rewrite_name": "repair_via_bounded_selfcheck_loop", "need_id": 2, "cause_id": 7, "rewrite_id": 6, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "tool_selfcheck_repair", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=tool_selfcheck_repair\nrollback_focus=eval_selfcheck_loop\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nA bounded self-check failed and the system should repair via a narrow self-check loop.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nselfcheck_status=failed\nrepair_loop=bounded\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=tool_selfcheck_negative\ndominant_cause_signal=tool_selfcheck_failure\nrequired_rewrite_scope=repair_via_bounded_selfcheck_loop\nforbidden_rewrite_scope=broad_rewrite_without_selfcheck\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "tool_selfcheck_failure", "rewrite_name": "repair_via_bounded_selfcheck_loop", "need_id": 2, "cause_id": 7, "rewrite_id": 6, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "tool_selfcheck_repair", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=tool_selfcheck_repair\nrollback_focus=eval_selfcheck_patch\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nTool validation rejected the patch and another local self-check repair cycle is warranted.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\ntool_validation=negative\nrepair_scope=narrow\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=compiler_or_unit_gate_failed\ndominant_cause_signal=tool_selfcheck_failure\nrequired_rewrite_scope=narrow_selfcheck_repair_cycle\nforbidden_rewrite_scope=skip_repair_loop\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "tool_selfcheck_failure", "rewrite_name": "repair_via_bounded_selfcheck_loop", "need_id": 2, "cause_id": 7, "rewrite_id": 6, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "tool_selfcheck_repair", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=tool_selfcheck_repair\nrollback_focus=eval_selfcheck_loop\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nA bounded self-check failed and the system should repair via a narrow self-check loop.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nselfcheck_status=failed\nrepair_loop=bounded\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=tool_selfcheck_negative\ndominant_cause_signal=tool_selfcheck_failure\nrequired_rewrite_scope=repair_via_bounded_selfcheck_loop\nforbidden_rewrite_scope=broad_rewrite_without_selfcheck\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "tool_selfcheck_failure", "rewrite_name": "repair_via_bounded_selfcheck_loop", "need_id": 2, "cause_id": 7, "rewrite_id": 6, "preserve_conflict": 1, "minimal_diff": 1, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 1, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "reverse_engineering_drift", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=reverse_engineering_drift\nrollback_focus=eval_reverse_observe\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nReverse-engineering inference is drifting beyond observed artifacts and must be pulled back to bounded observation.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nanalysis_mode=reverse_engineering\nobservation_policy=bounded\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=speculative_reverse_engineering\ndominant_cause_signal=reverse_engineering_speculation\nrequired_rewrite_scope=bounded_observation_first\nforbidden_rewrite_scope=invent_hidden_internals\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "reverse_engineering_speculation", "rewrite_name": "bounded_observation_first", "need_id": 2, "cause_id": 8, "rewrite_id": 7, "preserve_conflict": 1, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 1, "fail_closed": 1}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "reverse_engineering_drift", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=reverse_engineering_drift\nrollback_focus=eval_reverse_grounded\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nSpeculative internals appeared during repository analysis and should be rolled back to evidence-grounded structure only.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\nspeculation_state=too_high\ngrounding_requirement=observed_only\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=observed_artifacts_insufficient\ndominant_cause_signal=reverse_engineering_speculation\nrequired_rewrite_scope=evidence_grounded_reverse_revision\nforbidden_rewrite_scope=unbounded_architecture_guessing\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "reverse_engineering_speculation", "rewrite_name": "bounded_observation_first", "need_id": 2, "cause_id": 8, "rewrite_id": 7, "preserve_conflict": 1, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 1, "fail_closed": 1}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "reverse_engineering_drift", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=reverse_engineering_drift\nrollback_focus=eval_reverse_observe\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nReverse-engineering inference is drifting beyond observed artifacts and must be pulled back to bounded observation.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nanalysis_mode=reverse_engineering\nobservation_policy=bounded\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=speculative_reverse_engineering\ndominant_cause_signal=reverse_engineering_speculation\nrequired_rewrite_scope=bounded_observation_first\nforbidden_rewrite_scope=invent_hidden_internals\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "reverse_engineering_speculation", "rewrite_name": "bounded_observation_first", "need_id": 2, "cause_id": 8, "rewrite_id": 7, "preserve_conflict": 1, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 1, "fail_closed": 1}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "reverse_engineering_drift", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=reverse_engineering_drift\nrollback_focus=eval_reverse_grounded\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nSpeculative internals appeared during repository analysis and should be rolled back to evidence-grounded structure only.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\nspeculation_state=too_high\ngrounding_requirement=observed_only\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=observed_artifacts_insufficient\ndominant_cause_signal=reverse_engineering_speculation\nrequired_rewrite_scope=evidence_grounded_reverse_revision\nforbidden_rewrite_scope=unbounded_architecture_guessing\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "reverse_engineering_speculation", "rewrite_name": "bounded_observation_first", "need_id": 2, "cause_id": 8, "rewrite_id": 7, "preserve_conflict": 1, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 1, "fail_closed": 1}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "reverse_engineering_drift", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=reverse_engineering_drift\nrollback_focus=eval_reverse_observe\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nReverse-engineering inference is drifting beyond observed artifacts and must be pulled back to bounded observation.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nanalysis_mode=reverse_engineering\nobservation_policy=bounded\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=speculative_reverse_engineering\ndominant_cause_signal=reverse_engineering_speculation\nrequired_rewrite_scope=bounded_observation_first\nforbidden_rewrite_scope=invent_hidden_internals\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "required", "cause_name": "reverse_engineering_speculation", "rewrite_name": "bounded_observation_first", "need_id": 2, "cause_id": 8, "rewrite_id": 7, "preserve_conflict": 1, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 1, "fail_closed": 1}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "validated_stable", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=validated_stable\nrollback_focus=eval_no_rollback\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nReceipts and validator outputs agree, so rollback should remain inactive.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nvalidator_gate=pass\nrollback_need=none\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=validator_and_receipts_clean\ndominant_cause_signal=none\nrequired_rewrite_scope=do_not_rollback\nforbidden_rewrite_scope=gratuitous_revision\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "none", "cause_name": "none", "rewrite_name": "do_not_rollback", "need_id": 0, "cause_id": 0, "rewrite_id": 0, "preserve_conflict": 0, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "validated_stable", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=validated_stable\nrollback_focus=eval_keep_stable\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nThe worktree is stable and validator-clean, so the current revision should be kept.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\nreceipt_alignment=clean\nworkspace_state=stable\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=stable_worktree_and_passed_checks\ndominant_cause_signal=none\nrequired_rewrite_scope=keep_current_revision\nforbidden_rewrite_scope=needless_repair_loop\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "none", "cause_name": "none", "rewrite_name": "do_not_rollback", "need_id": 0, "cause_id": 0, "rewrite_id": 0, "preserve_conflict": 0, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "validated_stable", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=validated_stable\nrollback_focus=eval_no_rollback\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nReceipts and validator outputs agree, so rollback should remain inactive.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nvalidator_gate=pass\nrollback_need=none\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=validator_and_receipts_clean\ndominant_cause_signal=none\nrequired_rewrite_scope=do_not_rollback\nforbidden_rewrite_scope=gratuitous_revision\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "none", "cause_name": "none", "rewrite_name": "do_not_rollback", "need_id": 0, "cause_id": 0, "rewrite_id": 0, "preserve_conflict": 0, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |
| {"mode": "validated_stable", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=validated_stable\nrollback_focus=eval_keep_stable\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nThe worktree is stable and validator-clean, so the current revision should be kept.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=minimal\nworkspace_delta=preserved\nrollback_budget=guarded\nreceipt_alignment=clean\nworkspace_state=stable\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=stable_worktree_and_passed_checks\ndominant_cause_signal=none\nrequired_rewrite_scope=keep_current_revision\nforbidden_rewrite_scope=needless_repair_loop\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "none", "cause_name": "none", "rewrite_name": "do_not_rollback", "need_id": 0, "cause_id": 0, "rewrite_id": 0, "preserve_conflict": 0, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 1}} | |
| {"mode": "validated_stable", "product_line": "veriloop_coder", "prompt": "[HARNESS_ROLLBACK_ENVELOPE]\nproduct_line=veriloop_coder\nplanner_enabled=true\nvalidator_enabled=true\nruntime_protocol=true\nsession_continuity=true\nworktree_discipline=true\npatch_alignment=true\nsandbox_validation=true\ntool_selfcheck_loop=true\nreverse_engineering_mode=bounded\nrule=Prefer minimal-diff rollback over broad regeneration.\nrule=Preserve explicit conflicts rather than silently washing them out.\nrule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.\nrule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.\nrule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.\nrollback_mode=validated_stable\nrollback_focus=eval_no_rollback\n[/HARNESS_ROLLBACK_ENVELOPE]\n\n[USER_QUERY]\nReceipts and validator outputs agree, so rollback should remain inactive.\n[/USER_QUERY]\n\n[ROLLBACK_CONTEXT]\nvalidator_receipt_state=current\npatch_scope=bounded\nworkspace_delta=tracked\nrollback_budget=tight\nvalidator_gate=pass\nrollback_need=none\n[/ROLLBACK_CONTEXT]\n\n[ROLLBACK_DECISION_FACTORS]\nobserved_failure_channel=validator_and_receipts_clean\ndominant_cause_signal=none\nrequired_rewrite_scope=do_not_rollback\nforbidden_rewrite_scope=gratuitous_revision\n[/ROLLBACK_DECISION_FACTORS]", "labels": {"need_name": "none", "cause_name": "none", "rewrite_name": "do_not_rollback", "need_id": 0, "cause_id": 0, "rewrite_id": 0, "preserve_conflict": 0, "minimal_diff": 0, "validator_aligned": 1, "session_continuity": 1, "worktree_safe": 1, "selfcheck_route": 0, "reverse_engineering_bounded": 0, "fail_closed": 0}, "metadata": {"split": "eval", "variant_rank": 0}} | |