Instructions to use veriloop-lab/veriloop-coder-e1 with libraries, inference providers, notebooks, and local apps. Follow these links to get started.

Libraries

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
```

ConorWang commited on 21 days ago

Commit

0a1c0ab

verified ·

1 Parent(s): 6311fba

Upload rollback adapter artifacts to rollback_adapter/

Browse files

Files changed (16) hide show

.gitattributes +1 -0
rollback_adapter/adapter/README.md +203 -0
rollback_adapter/adapter/adapter_config.json +57 -0
rollback_adapter/adapter/adapter_model.safetensors +3 -0
rollback_adapter/best_checkpoint_manifest.json +28 -0
rollback_adapter/epoch_history.json +120 -0
rollback_adapter/host_manifest.json +288 -0
rollback_adapter/rollback_adapter_plan.json +251 -0
rollback_adapter/rollback_adapter_train_result.json +363 -0
rollback_adapter/rollback_eval.jsonl +45 -0
rollback_adapter/rollback_head.pt +3 -0
rollback_adapter/rollback_train.jsonl +0 -0
rollback_adapter/rollback_training_manifest.json +121 -0
rollback_adapter/tokenizer/chat_template.jinja +154 -0
rollback_adapter/tokenizer/tokenizer.json +3 -0
rollback_adapter/tokenizer/tokenizer_config.json +31 -0

.gitattributes CHANGED Viewed

@@ -37,3 +37,4 @@ tokenizer.json filter=lfs diff=lfs merge=lfs -text
 toolspec_adapter/tokenizer/tokenizer.json filter=lfs diff=lfs merge=lfs -text
 uncertainty_adapter/tokenizer/tokenizer.json filter=lfs diff=lfs merge=lfs -text
 evidence_adapter/tokenizer/tokenizer.json filter=lfs diff=lfs merge=lfs -text

 toolspec_adapter/tokenizer/tokenizer.json filter=lfs diff=lfs merge=lfs -text
 uncertainty_adapter/tokenizer/tokenizer.json filter=lfs diff=lfs merge=lfs -text
 evidence_adapter/tokenizer/tokenizer.json filter=lfs diff=lfs merge=lfs -text
+rollback_adapter/tokenizer/tokenizer.json filter=lfs diff=lfs merge=lfs -text

rollback_adapter/adapter/README.md ADDED Viewed

	@@ -0,0 +1,203 @@

+---
+library_name: peft
+tags:
+- lora
+---
+# Model Card for Model ID
+<!-- Provide a quick summary of what the model is/does. -->
+## Model Details
+### Model Description
+<!-- Provide a longer summary of what this model is. -->
+- **Developed by:** [More Information Needed]
+- **Funded by [optional]:** [More Information Needed]
+- **Shared by [optional]:** [More Information Needed]
+- **Model type:** [More Information Needed]
+- **Language(s) (NLP):** [More Information Needed]
+- **License:** [More Information Needed]
+- **Finetuned from model [optional]:** [More Information Needed]
+### Model Sources [optional]
+<!-- Provide the basic links for the model. -->
+- **Repository:** [More Information Needed]
+- **Paper [optional]:** [More Information Needed]
+- **Demo [optional]:** [More Information Needed]
+## Uses
+<!-- Address questions around how the model is intended to be used, including the foreseeable users of the model and those affected by the model. -->
+### Direct Use
+<!-- This section is for the model use without fine-tuning or plugging into a larger ecosystem/app. -->
+[More Information Needed]
+### Downstream Use [optional]
+<!-- This section is for the model use when fine-tuned for a task, or when plugged into a larger ecosystem/app -->
+[More Information Needed]
+### Out-of-Scope Use
+<!-- This section addresses misuse, malicious use, and uses that the model will not work well for. -->
+[More Information Needed]
+## Bias, Risks, and Limitations
+<!-- This section is meant to convey both technical and sociotechnical limitations. -->
+[More Information Needed]
+### Recommendations
+<!-- This section is meant to convey recommendations with respect to the bias, risk, and technical limitations. -->
+Users (both direct and downstream) should be made aware of the risks, biases and limitations of the model. More information needed for further recommendations.
+## How to Get Started with the Model
+Use the code below to get started with the model.
+[More Information Needed]
+## Training Details
+### Training Data
+<!-- This should link to a Dataset Card, perhaps with a short stub of information on what the training data is all about as well as documentation related to data pre-processing or additional filtering. -->
+[More Information Needed]
+### Training Procedure
+<!-- This relates heavily to the Technical Specifications. Content here should link to that section when it is relevant to the training procedure. -->
+#### Preprocessing [optional]
+[More Information Needed]
+#### Training Hyperparameters
+- **Training regime:** [More Information Needed] <!--fp32, fp16 mixed precision, bf16 mixed precision, bf16 non-mixed precision, fp16 non-mixed precision, fp8 mixed precision -->
+#### Speeds, Sizes, Times [optional]
+<!-- This section provides information about throughput, start/end time, checkpoint size if relevant, etc. -->
+[More Information Needed]
+## Evaluation
+<!-- This section describes the evaluation protocols and provides the results. -->
+### Testing Data, Factors & Metrics
+#### Testing Data
+<!-- This should link to a Dataset Card if possible. -->
+[More Information Needed]
+#### Factors
+<!-- These are the things the evaluation is disaggregating by, e.g., subpopulations or domains. -->
+[More Information Needed]
+#### Metrics
+<!-- These are the evaluation metrics being used, ideally with a description of why. -->
+[More Information Needed]
+### Results
+[More Information Needed]
+#### Summary
+## Model Examination [optional]
+<!-- Relevant interpretability work for the model goes here -->
+[More Information Needed]
+## Environmental Impact
+<!-- Total emissions (in grams of CO2eq) and additional considerations, such as electricity usage, go here. Edit the suggested text below accordingly -->
+Carbon emissions can be estimated using the [Machine Learning Impact calculator](https://mlco2.github.io/impact#compute) presented in [Lacoste et al. (2019)](https://arxiv.org/abs/1910.09700).
+- **Hardware Type:** [More Information Needed]
+- **Hours used:** [More Information Needed]
+- **Cloud Provider:** [More Information Needed]
+- **Compute Region:** [More Information Needed]
+- **Carbon Emitted:** [More Information Needed]
+## Technical Specifications [optional]
+### Model Architecture and Objective
+[More Information Needed]
+### Compute Infrastructure
+[More Information Needed]
+#### Hardware
+[More Information Needed]
+#### Software
+[More Information Needed]
+## Citation [optional]
+<!-- If there is a paper or blog post introducing the model, the APA and Bibtex information for that should go in this section. -->
+**BibTeX:**
+[More Information Needed]
+**APA:**
+[More Information Needed]
+## Glossary [optional]
+<!-- If relevant, include terms and calculations in this section that can help readers understand the model or model card. -->
+[More Information Needed]
+## More Information [optional]
+[More Information Needed]
+## Model Card Authors [optional]
+[More Information Needed]
+## Model Card Contact
+[More Information Needed]
+### Framework versions
+- PEFT 0.19.0

rollback_adapter/adapter/adapter_config.json ADDED Viewed

	@@ -0,0 +1,57 @@

+{
+  "alora_invocation_tokens": null,
+  "alpha_pattern": {},
+  "arrow_config": null,
+  "auto_mapping": null,
+  "base_model_name_or_path": null,
+  "bias": "none",
+  "corda_config": null,
+  "ensure_weight_tying": false,
+  "eva_config": null,
+  "exclude_modules": null,
+  "fan_in_fan_out": false,
+  "inference_mode": true,
+  "init_lora_weights": true,
+  "layer_replication": null,
+  "layers_pattern": null,
+  "layers_to_transform": null,
+  "loftq_config": {},
+  "lora_alpha": 16,
+  "lora_bias": false,
+  "lora_dropout": 0.05,
+  "lora_ga_config": null,
+  "megatron_config": null,
+  "megatron_core": "megatron.core",
+  "modules_to_save": null,
+  "peft_type": "LORA",
+  "peft_version": "0.19.0",
+  "qalora_group_size": 16,
+  "r": 8,
+  "rank_pattern": {},
+  "revision": null,
+  "target_modules": [
+    "surface_host.rollback_adapter.head",
+    "surface_host.toolspec_head.receipt_formatter",
+    "surface_host.runtime_harness_adapter.bridge",
+    "surface_host.toolspec_bridge.adapter",
+    "surface_host.failure_signal_bridge.rollback_bridge",
+    "surface_host.sandbox_rollback_bridge.adapter",
+    "surface_host.validator_feedback_bridge.adapter",
+    "surface_host.validator_feedback_loop.rollback_adapter",
+    "surface_host.request_normalizer.adapter",
+    "surface_host.tool_protocol_adapter.bridge",
+    "surface_host.toolspec_head.precondition_adapter",
+    "surface_host.memory_boundary_guard.adapter",
+    "surface_host.toolspec_head.postcondition_adapter",
+    "surface_host.memory_boundary_guard.rollback_filter",
+    "surface_host.toolspec_head.validator_gate",
+    "surface_host.toolspec_head.trigger_gate"
+  ],
+  "target_parameters": null,
+  "task_type": "FEATURE_EXTRACTION",
+  "trainable_token_indices": null,
+  "use_bdlora": null,
+  "use_dora": false,
+  "use_qalora": false,
+  "use_rslora": false
+}

rollback_adapter/adapter/adapter_model.safetensors ADDED Viewed

	@@ -0,0 +1,3 @@

+version https://git-lfs.github.com/spec/v1
+oid sha256:74ca61f2f73640249123de75d35d15493a95e1a70c8ed37db4b0cacf668046b7
+size 1053176

rollback_adapter/best_checkpoint_manifest.json ADDED Viewed

	@@ -0,0 +1,28 @@

+{
+  "best_epoch": 3,
+  "best_quality_score": 0.3986773560841878,
+  "eval_metrics": {
+    "avg_binary_accuracy": 0.8194444444444444,
+    "cause_accuracy": 0.4888888888888889,
+    "count": 45,
+    "eval_batches": 45,
+    "eval_loss": 7.656409973568387,
+    "fail_closed_accuracy": 0.7777777777777778,
+    "minimal_diff_accuracy": 0.5555555555555556,
+    "mode_accuracy": 0.3333333333333333,
+    "need_accuracy": 0.7777777777777778,
+    "preserve_conflict_accuracy": 0.7777777777777778,
+    "quality_score": 0.3986773560841878,
+    "reverse_engineering_bounded_accuracy": 0.8888888888888888,
+    "rewrite_accuracy": 0.4888888888888889,
+    "selfcheck_route_accuracy": 0.5555555555555556,
+    "session_continuity_accuracy": 1.0,
+    "validator_aligned_accuracy": 1.0,
+    "worktree_safe_accuracy": 1.0
+  },
+  "train_metrics": {
+    "loss": 0.4452953128114579,
+    "micro_batches": 126,
+    "optimizer_steps": 8
+  }
+}

rollback_adapter/epoch_history.json ADDED Viewed

	@@ -0,0 +1,120 @@

+{
+  "epochs": [
+    {
+      "epoch": 1,
+      "eval_metrics": {
+        "avg_binary_accuracy": 0.8194444444444444,
+        "cause_accuracy": 0.4444444444444444,
+        "count": 45,
+        "eval_batches": 45,
+        "eval_loss": 8.320836893717448,
+        "fail_closed_accuracy": 0.7777777777777778,
+        "minimal_diff_accuracy": 0.5555555555555556,
+        "mode_accuracy": 0.26666666666666666,
+        "need_accuracy": 0.7777777777777778,
+        "preserve_conflict_accuracy": 0.7777777777777778,
+        "quality_score": 0.30316659545898433,
+        "reverse_engineering_bounded_accuracy": 0.8888888888888888,
+        "rewrite_accuracy": 0.28888888888888886,
+        "selfcheck_route_accuracy": 0.5555555555555556,
+        "session_continuity_accuracy": 1.0,
+        "validator_aligned_accuracy": 1.0,
+        "worktree_safe_accuracy": 1.0
+      },
+      "improved": true,
+      "quality_score": 0.30316659545898433,
+      "train_metrics": {
+        "loss": 0.5652040739854177,
+        "micro_batches": 126,
+        "optimizer_steps": 8
+      }
+    },
+    {
+      "epoch": 2,
+      "eval_metrics": {
+        "avg_binary_accuracy": 0.8194444444444444,
+        "cause_accuracy": 0.3333333333333333,
+        "count": 45,
+        "eval_batches": 45,
+        "eval_loss": 7.85913037194146,
+        "fail_closed_accuracy": 0.7777777777777778,
+        "minimal_diff_accuracy": 0.5555555555555556,
+        "mode_accuracy": 0.4,
+        "need_accuracy": 0.7777777777777778,
+        "preserve_conflict_accuracy": 0.7777777777777778,
+        "quality_score": 0.28684517033894863,
+        "reverse_engineering_bounded_accuracy": 0.8888888888888888,
+        "rewrite_accuracy": 0.28888888888888886,
+        "selfcheck_route_accuracy": 0.5555555555555556,
+        "session_continuity_accuracy": 1.0,
+        "validator_aligned_accuracy": 1.0,
+        "worktree_safe_accuracy": 1.0
+      },
+      "improved": false,
+      "quality_score": 0.28684517033894863,
+      "train_metrics": {
+        "loss": 0.4876745880123169,
+        "micro_batches": 126,
+        "optimizer_steps": 8
+      }
+    },
+    {
+      "epoch": 3,
+      "eval_metrics": {
+        "avg_binary_accuracy": 0.8194444444444444,
+        "cause_accuracy": 0.4888888888888889,
+        "count": 45,
+        "eval_batches": 45,
+        "eval_loss": 7.656409973568387,
+        "fail_closed_accuracy": 0.7777777777777778,
+        "minimal_diff_accuracy": 0.5555555555555556,
+        "mode_accuracy": 0.3333333333333333,
+        "need_accuracy": 0.7777777777777778,
+        "preserve_conflict_accuracy": 0.7777777777777778,
+        "quality_score": 0.3986773560841878,
+        "reverse_engineering_bounded_accuracy": 0.8888888888888888,
+        "rewrite_accuracy": 0.4888888888888889,
+        "selfcheck_route_accuracy": 0.5555555555555556,
+        "session_continuity_accuracy": 1.0,
+        "validator_aligned_accuracy": 1.0,
+        "worktree_safe_accuracy": 1.0
+      },
+      "improved": true,
+      "quality_score": 0.3986773560841878,
+      "train_metrics": {
+        "loss": 0.4452953128114579,
+        "micro_batches": 126,
+        "optimizer_steps": 8
+      }
+    },
+    {
+      "epoch": 4,
+      "eval_metrics": {
+        "avg_binary_accuracy": 0.8194444444444444,
+        "cause_accuracy": 0.4888888888888889,
+        "count": 45,
+        "eval_batches": 45,
+        "eval_loss": 7.64718263414171,
+        "fail_closed_accuracy": 0.7777777777777778,
+        "minimal_diff_accuracy": 0.5555555555555556,
+        "mode_accuracy": 0.3333333333333333,
+        "need_accuracy": 0.7777777777777778,
+        "preserve_conflict_accuracy": 0.7777777777777778,
+        "quality_score": 0.3988619028727214,
+        "reverse_engineering_bounded_accuracy": 0.8888888888888888,
+        "rewrite_accuracy": 0.4888888888888889,
+        "selfcheck_route_accuracy": 0.5555555555555556,
+        "session_continuity_accuracy": 1.0,
+        "validator_aligned_accuracy": 1.0,
+        "worktree_safe_accuracy": 1.0
+      },
+      "improved": false,
+      "quality_score": 0.3988619028727214,
+      "train_metrics": {
+        "loss": 0.4358076933357451,
+        "micro_batches": 126,
+        "optimizer_steps": 8
+      }
+    }
+  ]
+}

rollback_adapter/host_manifest.json ADDED Viewed

	@@ -0,0 +1,288 @@

+{
+  "hidden_size": 2048,
+  "host_config": {
+    "attn_implementation": null,
+    "backbone_name_or_path": "/public/wang_libo/veriloop_coder_e1/model",
+    "device_map": null,
+    "dtype": null,
+    "evidence_rank_hint": 8,
+    "expose_backbone_inventory": false,
+    "freeze_backbone": true,
+    "hidden_size_override": 2048,
+    "host_dropout": 0.0,
+    "identity_rank_hint": 8,
+    "load_backbone_weights": false,
+    "local_files_only": true,
+    "low_cpu_mem_usage": true,
+    "memory_rank_hint": 4,
+    "rollback_rank_hint": 8,
+    "runtime_rank_hint": 8,
+    "toolspec_rank_hint": 8,
+    "trust_remote_code": true,
+    "uncertainty_rank_hint": 8,
+    "use_safetensors": null,
+    "validator_rank_hint": 8
+  },
+  "load_result": {
+    "has_base_config": true,
+    "has_base_model": true,
+    "hidden_size": 2048,
+    "notes": [
+      "class=AutoModelForCausalLM",
+      "quant=4bit"
+    ],
+    "source": "trainer_qwen36_loader"
+  },
+  "peft_named_modules": [
+    "claim_extractor",
+    "claim_extractor.adapter",
+    "dropout",
+    "episodic_memory",
+    "episodic_memory.adapter",
+    "evidence_binding",
+    "evidence_binding.adapter",
+    "failure_signal_bridge",
+    "failure_signal_bridge.rollback_bridge",
+    "failure_signal_bridge.rollback_bridge.base_layer",
+    "failure_signal_bridge.rollback_bridge.lora_A",
+    "failure_signal_bridge.rollback_bridge.lora_A.default",
+    "failure_signal_bridge.rollback_bridge.lora_B",
+    "failure_signal_bridge.rollback_bridge.lora_B.default",
+    "failure_signal_bridge.rollback_bridge.lora_dropout",
+    "failure_signal_bridge.rollback_bridge.lora_dropout.default",
+    "failure_signal_bridge.rollback_bridge.lora_embedding_A",
+    "failure_signal_bridge.rollback_bridge.lora_embedding_B",
+    "failure_signal_bridge.rollback_bridge.lora_magnitude_vector",
+    "identity_adapter",
+    "identity_adapter.bridge",
+    "identity_guard",
+    "identity_guard.adapter",
+    "input_norm",
+    "memory_boundary_guard",
+    "memory_boundary_guard.adapter",
+    "memory_boundary_guard.adapter.base_layer",
+    "memory_boundary_guard.adapter.lora_A",
+    "memory_boundary_guard.adapter.lora_A.default",
+    "memory_boundary_guard.adapter.lora_B",
+    "memory_boundary_guard.adapter.lora_B.default",
+    "memory_boundary_guard.adapter.lora_dropout",
+    "memory_boundary_guard.adapter.lora_dropout.default",
+    "memory_boundary_guard.adapter.lora_embedding_A",
+    "memory_boundary_guard.adapter.lora_embedding_B",
+    "memory_boundary_guard.adapter.lora_magnitude_vector",
+    "memory_boundary_guard.rollback_filter",
+    "memory_boundary_guard.rollback_filter.base_layer",
+    "memory_boundary_guard.rollback_filter.lora_A",
+    "memory_boundary_guard.rollback_filter.lora_A.default",
+    "memory_boundary_guard.rollback_filter.lora_B",
+    "memory_boundary_guard.rollback_filter.lora_B.default",
+    "memory_boundary_guard.rollback_filter.lora_dropout",
+    "memory_boundary_guard.rollback_filter.lora_dropout.default",
+    "memory_boundary_guard.rollback_filter.lora_embedding_A",
+    "memory_boundary_guard.rollback_filter.lora_embedding_B",
+    "memory_boundary_guard.rollback_filter.lora_magnitude_vector",
+    "patch_binding",
+    "patch_binding.adapter",
+    "permission_context_manager",
+    "permission_context_manager.adapter",
+    "progress_state_tracker",
+    "progress_state_tracker.adapter",
+    "progress_state_tracker.rollback_memory",
+    "proof_carrying_hints",
+    "proof_carrying_hints.bridge",
+    "provenance_binding",
+    "provenance_binding.adapter",
+    "public_identity_head",
+    "public_identity_head.proj",
+    "query_runtime_engine",
+    "query_runtime_engine.adapter",
+    "request_normalizer",
+    "request_normalizer.adapter",
+    "request_normalizer.adapter.base_layer",
+    "request_normalizer.adapter.lora_A",
+    "request_normalizer.adapter.lora_A.default",
+    "request_normalizer.adapter.lora_B",
+    "request_normalizer.adapter.lora_B.default",
+    "request_normalizer.adapter.lora_dropout",
+    "request_normalizer.adapter.lora_dropout.default",
+    "request_normalizer.adapter.lora_embedding_A",
+    "request_normalizer.adapter.lora_embedding_B",
+    "request_normalizer.adapter.lora_magnitude_vector",
+    "rollback_adapter",
+    "rollback_adapter.head",
+    "rollback_adapter.head.base_layer",
+    "rollback_adapter.head.lora_A",
+    "rollback_adapter.head.lora_A.default",
+    "rollback_adapter.head.lora_B",
+    "rollback_adapter.head.lora_B.default",
+    "rollback_adapter.head.lora_dropout",
+    "rollback_adapter.head.lora_dropout.default",
+    "rollback_adapter.head.lora_embedding_A",
+    "rollback_adapter.head.lora_embedding_B",
+    "rollback_adapter.head.lora_magnitude_vector",
+    "rollback_engine",
+    "rollback_engine.adapter",
+    "runtime_binding",
+    "runtime_binding.adapter",
+    "runtime_harness_adapter",
+    "runtime_harness_adapter.bridge",
+    "runtime_harness_adapter.bridge.base_layer",
+    "runtime_harness_adapter.bridge.lora_A",
+    "runtime_harness_adapter.bridge.lora_A.default",
+    "runtime_harness_adapter.bridge.lora_B",
+    "runtime_harness_adapter.bridge.lora_B.default",
+    "runtime_harness_adapter.bridge.lora_dropout",
+    "runtime_harness_adapter.bridge.lora_dropout.default",
+    "runtime_harness_adapter.bridge.lora_embedding_A",
+    "runtime_harness_adapter.bridge.lora_embedding_B",
+    "runtime_harness_adapter.bridge.lora_magnitude_vector",
+    "runtime_harness_uncertainty_bridge",
+    "runtime_harness_uncertainty_bridge.adapter",
+    "sandbox_rollback_bridge",
+    "sandbox_rollback_bridge.adapter",
+    "sandbox_rollback_bridge.adapter.base_layer",
+    "sandbox_rollback_bridge.adapter.lora_A",
+    "sandbox_rollback_bridge.adapter.lora_A.default",
+    "sandbox_rollback_bridge.adapter.lora_B",
+    "sandbox_rollback_bridge.adapter.lora_B.default",
+    "sandbox_rollback_bridge.adapter.lora_dropout",
+    "sandbox_rollback_bridge.adapter.lora_dropout.default",
+    "sandbox_rollback_bridge.adapter.lora_embedding_A",
+    "sandbox_rollback_bridge.adapter.lora_embedding_B",
+    "sandbox_rollback_bridge.adapter.lora_magnitude_vector",
+    "session_compactor",
+    "session_compactor.adapter",
+    "session_state_manager",
+    "session_state_manager.adapter",
+    "session_state_manager.rollback_state",
+    "tool_protocol_adapter",
+    "tool_protocol_adapter.bridge",
+    "tool_protocol_adapter.bridge.base_layer",
+    "tool_protocol_adapter.bridge.lora_A",
+    "tool_protocol_adapter.bridge.lora_A.default",
+    "tool_protocol_adapter.bridge.lora_B",
+    "tool_protocol_adapter.bridge.lora_B.default",
+    "tool_protocol_adapter.bridge.lora_dropout",
+    "tool_protocol_adapter.bridge.lora_dropout.default",
+    "tool_protocol_adapter.bridge.lora_embedding_A",
+    "tool_protocol_adapter.bridge.lora_embedding_B",
+    "tool_protocol_adapter.bridge.lora_magnitude_vector",
+    "toolspec_bridge",
+    "toolspec_bridge.adapter",
+    "toolspec_bridge.adapter.base_layer",
+    "toolspec_bridge.adapter.lora_A",
+    "toolspec_bridge.adapter.lora_A.default",
+    "toolspec_bridge.adapter.lora_B",
+    "toolspec_bridge.adapter.lora_B.default",
+    "toolspec_bridge.adapter.lora_dropout",
+    "toolspec_bridge.adapter.lora_dropout.default",
+    "toolspec_bridge.adapter.lora_embedding_A",
+    "toolspec_bridge.adapter.lora_embedding_B",
+    "toolspec_bridge.adapter.lora_magnitude_vector",
+    "toolspec_head",
+    "toolspec_head.param_schema_adapter",
+    "toolspec_head.postcondition_adapter",
+    "toolspec_head.postcondition_adapter.base_layer",
+    "toolspec_head.postcondition_adapter.lora_A",
+    "toolspec_head.postcondition_adapter.lora_A.default",
+    "toolspec_head.postcondition_adapter.lora_B",
+    "toolspec_head.postcondition_adapter.lora_B.default",
+    "toolspec_head.postcondition_adapter.lora_dropout",
+    "toolspec_head.postcondition_adapter.lora_dropout.default",
+    "toolspec_head.postcondition_adapter.lora_embedding_A",
+    "toolspec_head.postcondition_adapter.lora_embedding_B",
+    "toolspec_head.postcondition_adapter.lora_magnitude_vector",
+    "toolspec_head.precondition_adapter",
+    "toolspec_head.precondition_adapter.base_layer",
+    "toolspec_head.precondition_adapter.lora_A",
+    "toolspec_head.precondition_adapter.lora_A.default",
+    "toolspec_head.precondition_adapter.lora_B",
+    "toolspec_head.precondition_adapter.lora_B.default",
+    "toolspec_head.precondition_adapter.lora_dropout",
+    "toolspec_head.precondition_adapter.lora_dropout.default",
+    "toolspec_head.precondition_adapter.lora_embedding_A",
+    "toolspec_head.precondition_adapter.lora_embedding_B",
+    "toolspec_head.precondition_adapter.lora_magnitude_vector",
+    "toolspec_head.receipt_formatter",
+    "toolspec_head.receipt_formatter.base_layer",
+    "toolspec_head.receipt_formatter.lora_A",
+    "toolspec_head.receipt_formatter.lora_A.default",
+    "toolspec_head.receipt_formatter.lora_B",
+    "toolspec_head.receipt_formatter.lora_B.default",
+    "toolspec_head.receipt_formatter.lora_dropout",
+    "toolspec_head.receipt_formatter.lora_dropout.default",
+    "toolspec_head.receipt_formatter.lora_embedding_A",
+    "toolspec_head.receipt_formatter.lora_embedding_B",
+    "toolspec_head.receipt_formatter.lora_magnitude_vector",
+    "toolspec_head.trigger_gate",
+    "toolspec_head.trigger_gate.base_layer",
+    "toolspec_head.trigger_gate.lora_A",
+    "toolspec_head.trigger_gate.lora_A.default",
+    "toolspec_head.trigger_gate.lora_B",
+    "toolspec_head.trigger_gate.lora_B.default",
+    "toolspec_head.trigger_gate.lora_dropout",
+    "toolspec_head.trigger_gate.lora_dropout.default",
+    "toolspec_head.trigger_gate.lora_embedding_A",
+    "toolspec_head.trigger_gate.lora_embedding_B",
+    "toolspec_head.trigger_gate.lora_magnitude_vector",
+    "toolspec_head.validator_gate",
+    "toolspec_head.validator_gate.base_layer",
+    "toolspec_head.validator_gate.lora_A",
+    "toolspec_head.validator_gate.lora_A.default",
+    "toolspec_head.validator_gate.lora_B",
+    "toolspec_head.validator_gate.lora_B.default",
+    "toolspec_head.validator_gate.lora_dropout",
+    "toolspec_head.validator_gate.lora_dropout.default",
+    "toolspec_head.validator_gate.lora_embedding_A",
+    "toolspec_head.validator_gate.lora_embedding_B",
+    "toolspec_head.validator_gate.lora_magnitude_vector",
+    "uncertainty_head",
+    "uncertainty_head.calibration_mlp",
+    "uncertainty_head.proj",
+    "validator_feedback_bridge",
+    "validator_feedback_bridge.adapter",
+    "validator_feedback_bridge.adapter.base_layer",
+    "validator_feedback_bridge.adapter.lora_A",
+    "validator_feedback_bridge.adapter.lora_A.default",
+    "validator_feedback_bridge.adapter.lora_B",
+    "validator_feedback_bridge.adapter.lora_B.default",
+    "validator_feedback_bridge.adapter.lora_dropout",
+    "validator_feedback_bridge.adapter.lora_dropout.default",
+    "validator_feedback_bridge.adapter.lora_embedding_A",
+    "validator_feedback_bridge.adapter.lora_embedding_B",
+    "validator_feedback_bridge.adapter.lora_magnitude_vector",
+    "validator_feedback_loop",
+    "validator_feedback_loop.rollback_adapter",
+    "validator_feedback_loop.rollback_adapter.base_layer",
+    "validator_feedback_loop.rollback_adapter.lora_A",
+    "validator_feedback_loop.rollback_adapter.lora_A.default",
+    "validator_feedback_loop.rollback_adapter.lora_B",
+    "validator_feedback_loop.rollback_adapter.lora_B.default",
+    "validator_feedback_loop.rollback_adapter.lora_dropout",
+    "validator_feedback_loop.rollback_adapter.lora_dropout.default",
+    "validator_feedback_loop.rollback_adapter.lora_embedding_A",
+    "validator_feedback_loop.rollback_adapter.lora_embedding_B",
+    "validator_feedback_loop.rollback_adapter.lora_magnitude_vector",
+    "validator_receipt_bridge",
+    "validator_receipt_bridge.adapter",
+    "validator_uncertainty_bridge",
+    "validator_uncertainty_bridge.adapter",
+    "workspace_snapshot_manager",
+    "workspace_snapshot_manager.rollback_context",
+    "worktree_binding",
+    "worktree_binding.adapter",
+    "worktree_manager",
+    "worktree_manager.adapter"
+  ],
+  "trainable_parameter_report": {
+    "backbone_frozen": true,
+    "backbone_present": true,
+    "hidden_size": 2048,
+    "host_parameters": 176785413,
+    "host_trainable_parameters": 524288,
+    "total_parameters": 34132843141,
+    "trainable_parameters": 524288,
+    "version": "veriloop.coder_peft_host.v1"
+  },
+  "version": "veriloop.coder_peft_host.v1"
+}

rollback_adapter/rollback_adapter_plan.json ADDED Viewed

	@@ -0,0 +1,251 @@

+{
+  "backbone": "/public/wang_libo/veriloop_coder_e1/model",
+  "dataset_summary": {
+    "cause_vocab": [
+      "none",
+      "evidence_contradiction",
+      "execution_negation",
+      "validator_rejection",
+      "patch_regression",
+      "worktree_conflict",
+      "high_risk_unsupported",
+      "tool_selfcheck_failure",
+      "reverse_engineering_speculation"
+    ],
+    "eval_size": 45,
+    "mode_vocab": [
+      "contradiction",
+      "execution_failure",
+      "validator_rejection",
+      "patch_regression",
+      "worktree_conflict",
+      "high_risk_unsupported",
+      "tool_selfcheck_repair",
+      "reverse_engineering_drift",
+      "validated_stable"
+    ],
+    "modes": [
+      "contradiction",
+      "execution_failure",
+      "high_risk_unsupported",
+      "patch_regression",
+      "reverse_engineering_drift",
+      "tool_selfcheck_repair",
+      "validated_stable",
+      "validator_rejection",
+      "worktree_conflict"
+    ],
+    "need_vocab": [
+      "none",
+      "advisory",
+      "required"
+    ],
+    "rewrite_vocab": [
+      "do_not_rollback",
+      "local_patch_only",
+      "validator_scoped_revision",
+      "minimum_diff_patch",
+      "do_not_overwrite_worktree_state",
+      "fail_closed",
+      "repair_via_bounded_selfcheck_loop",
+      "bounded_observation_first",
+      "local_conflict_preserving_revision"
+    ],
+    "train_size": 126
+  },
+  "excluded_surfaces": [
+    "(^|\\.)lm_head($|\\.)::Do not retune final token head; too broad and evaluation-heavy.",
+    "(^|\\.)embed_tokens($|\\.)::Embedding surgery risks broad semantic drift.",
+    "(^|\\.)norm($|\\.)::Global norm tuning can destabilize calibration across scenes.",
+    "attnres|attention_residual::Block AttnRes may be mounted structurally but is never a PEFT target.",
+    "dualpath::DualPath is serving/runtime infrastructure only.",
+    "mhc|hyper[-_]?connection::mHC-inspired stability hooks remain structural, not PEFT surfaces.",
+    "rope|rotary::RoPE/context surgery is handled architecturally, not by narrow PEFT here.",
+    "kvcache|kv_cache::KV-cache runtime surfaces are not PEFT targets.",
+    "(^|\\.)memory(_store|_bank)?($|\\.)::Persistent memory stores are harness/runtime policy surfaces, not PEFT targets."
+  ],
+  "notes": [
+    "Primary route is host-surface-first rollback training.",
+    "Validator receipts, failure routing, patch state, worktree continuity, self-check repair, and reverse-engineering boundedness are first-class signals.",
+    "DualPath, Block AttnRes, mHC hooks, and MoE routers/experts remain structurally excluded.",
+    "This adapter should improve rollback obedience, not general coding free-formity."
+  ],
+  "peft_method": "lora_narrow",
+  "product_line": "veriloop_coder",
+  "recipe": {
+    "adapter_family": "validator_rollback",
+    "backbone": "/public/wang_libo/veriloop_coder_e1/model",
+    "backbone_family": "qwen_dense",
+    "excluded_patterns": [
+      "(?i)\\bdualpath\\b",
+      "(?i)\\bmhc\\b",
+      "(?i)\\bfull[_\\- ]?attnres\\b",
+      "(?i)\\battnres(_full)?\\b",
+      "(?i)\\brouter\\b",
+      "(?i)\\bexperts?\\b",
+      "(?i)\\bmoe\\b.*\\b(gate|router|expert)\\b",
+      "(?i)\\brope\\b.*\\b(freq|inv_freq|theta|rotary)\\b",
+      "(?i)\\bkvcache\\b",
+      "(?i)\\bposition_embedding\\b",
+      "(?i)\\bembed(tokens|ding)?\\b",
+      "(?i)\\blm_head\\b"
+    ],
+    "harness_constraints": [
+      "Harness Engineering remains the primary convergence layer.",
+      "Adapter must not bypass runtime orchestrator / validator / rollback loops.",
+      "Adapter outputs remain subordinate to VeriLoop control-plane decisions.",
+      "Adapter must not create hidden prompt-style memory authority.",
+      "Adapter must preserve validator-first correction and minimal-diff rollback discipline.",
+      "Patch production must remain subordinate to validator receipts and failure routing."
+    ],
+    "hyperparams": {
+      "alpha": 16,
+      "bias": "none",
+      "dropout": 0.08,
+      "fan_in_fan_out": false,
+      "modules_to_save": [
+        "input_layernorm"
+      ],
+      "r": 8,
+      "task_type": "CAUSAL_LM"
+    },
+    "merge_policy": "side_load",
+    "metadata": {
+      "allow_backbone_bridge": false,
+      "allow_vla_action_expert": false,
+      "harness_first": true,
+      "prefer_explicit_heads": true,
+      "prefer_qlora_for_backbone_bridge": false,
+      "require_harness_first": true,
+      "reverse_engineering_readiness": true,
+      "rollback_training": true,
+      "selector_group_count": 2,
+      "selfcheck_loop_readiness": true,
+      "strict_narrow_scope": true,
+      "trainer": "veriloop.rollback_adapter_trainer.v9.qwen36"
+    },
+    "notes": [
+      "Backbone bridge tuning disabled explicitly; selector stays on custom surfaces or no-op.",
+      "Backbone family inferred as qwen_dense.",
+      "PEFT method resolved as lora_narrow.",
+      "Recipe is harness-first: runtime convergence remains in VeriLoop control-plane + harness, not in broad weight surgery.",
+      "Block AttnRes, DualPath, mHC hooks, RoPE, KV-cache, and broad MoE routing remain structurally excluded."
+    ],
+    "peft_method": "lora_narrow",
+    "precision_policy": "auto",
+    "product_line": "veriloop_coder",
+    "regression_requirements": [
+      "Must pass PEFT regression guard structural policy checks.",
+      "Must not introduce forbidden backbone/serving structural targets.",
+      "Must preserve harness regression envelope for the selected product line.",
+      "Validator feedback uptake must not regress.",
+      "Rollback minimality and revision fidelity must not regress."
+    ],
+    "target_groups": [
+      {
+        "alpha": 16,
+        "dropout": 0.05,
+        "name": "group_1_custom_runtime_harness_bridge",
+        "rank": 8,
+        "rationale": "Runtime / harness obedience should attach to explicit interface bridges before any backbone fallback.",
+        "surface": "custom_runtime_harness_bridge",
+        "target_modules": [
+          "failure_signal_bridge.rollback_bridge",
+          "request_normalizer",
+          "request_normalizer.adapter",
+          "rollback_adapter",
+          "rollback_adapter.head",
+          "runtime_harness_adapter",
+          "runtime_harness_adapter.bridge",
+          "tool_protocol_adapter",
+          "tool_protocol_adapter.bridge",
+          "toolspec_bridge",
+          "toolspec_bridge.adapter",
+          "toolspec_head",
+          "toolspec_head.param_schema_adapter",
+          "toolspec_head.postcondition_adapter",
+          "toolspec_head.precondition_adapter",
+          "toolspec_head.receipt_formatter",
+          "toolspec_head.trigger_gate",
+          "toolspec_head.validator_gate",
+          "validator_feedback_loop.rollback_adapter"
+        ]
+      },
+      {
+        "alpha": 16,
+        "dropout": 0.0,
+        "name": "group_2_custom_validator_bridge",
+        "rank": 8,
+        "rationale": "Validation and rollback fidelity should prefer explicit validator / rollback bridges.",
+        "surface": "custom_validator_bridge",
+        "target_modules": [
+          "failure_signal_bridge",
+          "failure_signal_bridge.rollback_bridge",
+          "rollback_adapter",
+          "rollback_adapter.head",
+          "sandbox_rollback_bridge",
+          "sandbox_rollback_bridge.adapter",
+          "validator_feedback_bridge",
+          "validator_feedback_bridge.adapter",
+          "validator_feedback_loop.rollback_adapter"
+        ]
+      }
+    ],
+    "target_modules": [
+      "failure_signal_bridge.rollback_bridge",
+      "request_normalizer",
+      "request_normalizer.adapter",
+      "rollback_adapter",
+      "rollback_adapter.head",
+      "runtime_harness_adapter",
+      "runtime_harness_adapter.bridge",
+      "tool_protocol_adapter",
+      "tool_protocol_adapter.bridge",
+      "toolspec_bridge",
+      "toolspec_bridge.adapter",
+      "toolspec_head",
+      "toolspec_head.param_schema_adapter",
+      "toolspec_head.postcondition_adapter",
+      "toolspec_head.precondition_adapter",
+      "toolspec_head.receipt_formatter",
+      "toolspec_head.trigger_gate",
+      "toolspec_head.validator_gate",
+      "validator_feedback_loop.rollback_adapter",
+      "failure_signal_bridge",
+      "sandbox_rollback_bridge",
+      "sandbox_rollback_bridge.adapter",
+      "validator_feedback_bridge",
+      "validator_feedback_bridge.adapter"
+    ],
+    "version": "veriloop.lora_recipe_veriloop.v2"
+  },
+  "selected_surfaces": [
+    "custom_runtime_harness_bridge",
+    "custom_validator_bridge",
+    "custom_memory_boundary_bridge"
+  ],
+  "selected_target_modules": [
+    "failure_signal_bridge.rollback_bridge",
+    "rollback_adapter.head",
+    "runtime_harness_adapter.bridge",
+    "sandbox_rollback_bridge.adapter",
+    "toolspec_head.validator_gate",
+    "validator_feedback_bridge.adapter",
+    "validator_feedback_loop.rollback_adapter",
+    "memory_boundary_guard.adapter",
+    "memory_boundary_guard.rollback_filter",
+    "request_normalizer.adapter",
+    "tool_protocol_adapter.bridge",
+    "toolspec_bridge.adapter",
+    "toolspec_head.postcondition_adapter",
+    "toolspec_head.precondition_adapter",
+    "toolspec_head.receipt_formatter",
+    "toolspec_head.trigger_gate"
+  ],
+  "selection_mode": "minimal",
+  "version": "veriloop.rollback_adapter_trainer.v9.qwen36",
+  "warnings": [
+    "Harness Engineering is primary; PEFT is limited to obedience-facing, interface-facing support surfaces.",
+    "Backbone bridge tuning disabled explicitly; selector stays on custom surfaces or no-op."
+  ]
+}

rollback_adapter/rollback_adapter_train_result.json ADDED Viewed

	@@ -0,0 +1,363 @@

+{
+  "artifacts": {
+    "adapter_dir": "/private/wang_libo/veriloop_coder_e1/outputs/rollback_qwen36_rootfix_run1/adapter",
+    "best_checkpoint_manifest": "/private/wang_libo/veriloop_coder_e1/outputs/rollback_qwen36_rootfix_run1/best_checkpoint_manifest.json",
+    "epoch_history": "/private/wang_libo/veriloop_coder_e1/outputs/rollback_qwen36_rootfix_run1/epoch_history.json",
+    "eval_jsonl": "/private/wang_libo/veriloop_coder_e1/outputs/rollback_qwen36_rootfix_run1/rollback_eval.jsonl",
+    "host_manifest": "/private/wang_libo/veriloop_coder_e1/outputs/rollback_qwen36_rootfix_run1/host_manifest.json",
+    "plan_json": "/private/wang_libo/veriloop_coder_e1/outputs/rollback_qwen36_rootfix_run1/rollback_adapter_plan.json",
+    "rollback_head": "/private/wang_libo/veriloop_coder_e1/outputs/rollback_qwen36_rootfix_run1/rollback_head.pt",
+    "tokenizer_dir": "/private/wang_libo/veriloop_coder_e1/outputs/rollback_qwen36_rootfix_run1/tokenizer",
+    "train_jsonl": "/private/wang_libo/veriloop_coder_e1/outputs/rollback_qwen36_rootfix_run1/rollback_train.jsonl",
+    "training_manifest": "/private/wang_libo/veriloop_coder_e1/outputs/rollback_qwen36_rootfix_run1/rollback_training_manifest.json"
+  },
+  "dataset": {
+    "cause_vocab": [
+      "none",
+      "evidence_contradiction",
+      "execution_negation",
+      "validator_rejection",
+      "patch_regression",
+      "worktree_conflict",
+      "high_risk_unsupported",
+      "tool_selfcheck_failure",
+      "reverse_engineering_speculation"
+    ],
+    "eval_size": 45,
+    "mode_vocab": [
+      "contradiction",
+      "execution_failure",
+      "validator_rejection",
+      "patch_regression",
+      "worktree_conflict",
+      "high_risk_unsupported",
+      "tool_selfcheck_repair",
+      "reverse_engineering_drift",
+      "validated_stable"
+    ],
+    "modes": [
+      "contradiction",
+      "execution_failure",
+      "high_risk_unsupported",
+      "patch_regression",
+      "reverse_engineering_drift",
+      "tool_selfcheck_repair",
+      "validated_stable",
+      "validator_rejection",
+      "worktree_conflict"
+    ],
+    "need_vocab": [
+      "none",
+      "advisory",
+      "required"
+    ],
+    "rewrite_vocab": [
+      "do_not_rollback",
+      "local_patch_only",
+      "validator_scoped_revision",
+      "minimum_diff_patch",
+      "do_not_overwrite_worktree_state",
+      "fail_closed",
+      "repair_via_bounded_selfcheck_loop",
+      "bounded_observation_first",
+      "local_conflict_preserving_revision"
+    ],
+    "train_size": 126
+  },
+  "eval_metrics": {
+    "adapter_exported": true,
+    "auto_lora_from_ia3": false,
+    "avg_binary_accuracy": 0.8194444444444444,
+    "best_epoch": 3,
+    "best_quality_score": 0.3986773560841878,
+    "cause_accuracy": 0.4888888888888889,
+    "count": 45,
+    "eval_batches": 45,
+    "eval_loss": 7.656409973568387,
+    "fail_closed_accuracy": 0.7777777777777778,
+    "minimal_diff_accuracy": 0.5555555555555556,
+    "mode_accuracy": 0.3333333333333333,
+    "need_accuracy": 0.7777777777777778,
+    "peft_method": "lora_narrow",
+    "preserve_conflict_accuracy": 0.7777777777777778,
+    "quality_score": 0.3986773560841878,
+    "reverse_engineering_bounded_accuracy": 0.8888888888888888,
+    "rewrite_accuracy": 0.4888888888888889,
+    "selfcheck_route_accuracy": 0.5555555555555556,
+    "session_continuity_accuracy": 1.0,
+    "used_peft": true,
+    "validator_aligned_accuracy": 1.0,
+    "worktree_safe_accuracy": 1.0
+  },
+  "plan": {
+    "backbone": "/public/wang_libo/veriloop_coder_e1/model",
+    "dataset_summary": {
+      "cause_vocab": [
+        "none",
+        "evidence_contradiction",
+        "execution_negation",
+        "validator_rejection",
+        "patch_regression",
+        "worktree_conflict",
+        "high_risk_unsupported",
+        "tool_selfcheck_failure",
+        "reverse_engineering_speculation"
+      ],
+      "eval_size": 45,
+      "mode_vocab": [
+        "contradiction",
+        "execution_failure",
+        "validator_rejection",
+        "patch_regression",
+        "worktree_conflict",
+        "high_risk_unsupported",
+        "tool_selfcheck_repair",
+        "reverse_engineering_drift",
+        "validated_stable"
+      ],
+      "modes": [
+        "contradiction",
+        "execution_failure",
+        "high_risk_unsupported",
+        "patch_regression",
+        "reverse_engineering_drift",
+        "tool_selfcheck_repair",
+        "validated_stable",
+        "validator_rejection",
+        "worktree_conflict"
+      ],
+      "need_vocab": [
+        "none",
+        "advisory",
+        "required"
+      ],
+      "rewrite_vocab": [
+        "do_not_rollback",
+        "local_patch_only",
+        "validator_scoped_revision",
+        "minimum_diff_patch",
+        "do_not_overwrite_worktree_state",
+        "fail_closed",
+        "repair_via_bounded_selfcheck_loop",
+        "bounded_observation_first",
+        "local_conflict_preserving_revision"
+      ],
+      "train_size": 126
+    },
+    "excluded_surfaces": [
+      "(^|\\.)lm_head($|\\.)::Do not retune final token head; too broad and evaluation-heavy.",
+      "(^|\\.)embed_tokens($|\\.)::Embedding surgery risks broad semantic drift.",
+      "(^|\\.)norm($|\\.)::Global norm tuning can destabilize calibration across scenes.",
+      "attnres|attention_residual::Block AttnRes may be mounted structurally but is never a PEFT target.",
+      "dualpath::DualPath is serving/runtime infrastructure only.",
+      "mhc|hyper[-_]?connection::mHC-inspired stability hooks remain structural, not PEFT surfaces.",
+      "rope|rotary::RoPE/context surgery is handled architecturally, not by narrow PEFT here.",
+      "kvcache|kv_cache::KV-cache runtime surfaces are not PEFT targets.",
+      "(^|\\.)memory(_store|_bank)?($|\\.)::Persistent memory stores are harness/runtime policy surfaces, not PEFT targets."
+    ],
+    "notes": [
+      "Primary route is host-surface-first rollback training.",
+      "Validator receipts, failure routing, patch state, worktree continuity, self-check repair, and reverse-engineering boundedness are first-class signals.",
+      "DualPath, Block AttnRes, mHC hooks, and MoE routers/experts remain structurally excluded.",
+      "This adapter should improve rollback obedience, not general coding free-formity."
+    ],
+    "peft_method": "lora_narrow",
+    "product_line": "veriloop_coder",
+    "recipe": {
+      "adapter_family": "validator_rollback",
+      "backbone": "/public/wang_libo/veriloop_coder_e1/model",
+      "backbone_family": "qwen_dense",
+      "excluded_patterns": [
+        "(?i)\\bdualpath\\b",
+        "(?i)\\bmhc\\b",
+        "(?i)\\bfull[_\\- ]?attnres\\b",
+        "(?i)\\battnres(_full)?\\b",
+        "(?i)\\brouter\\b",
+        "(?i)\\bexperts?\\b",
+        "(?i)\\bmoe\\b.*\\b(gate|router|expert)\\b",
+        "(?i)\\brope\\b.*\\b(freq|inv_freq|theta|rotary)\\b",
+        "(?i)\\bkvcache\\b",
+        "(?i)\\bposition_embedding\\b",
+        "(?i)\\bembed(tokens|ding)?\\b",
+        "(?i)\\blm_head\\b"
+      ],
+      "harness_constraints": [
+        "Harness Engineering remains the primary convergence layer.",
+        "Adapter must not bypass runtime orchestrator / validator / rollback loops.",
+        "Adapter outputs remain subordinate to VeriLoop control-plane decisions.",
+        "Adapter must not create hidden prompt-style memory authority.",
+        "Adapter must preserve validator-first correction and minimal-diff rollback discipline.",
+        "Patch production must remain subordinate to validator receipts and failure routing."
+      ],
+      "hyperparams": {
+        "alpha": 16,
+        "bias": "none",
+        "dropout": 0.08,
+        "fan_in_fan_out": false,
+        "modules_to_save": [
+          "input_layernorm"
+        ],
+        "r": 8,
+        "task_type": "CAUSAL_LM"
+      },
+      "merge_policy": "side_load",
+      "metadata": {
+        "allow_backbone_bridge": false,
+        "allow_vla_action_expert": false,
+        "harness_first": true,
+        "prefer_explicit_heads": true,
+        "prefer_qlora_for_backbone_bridge": false,
+        "require_harness_first": true,
+        "reverse_engineering_readiness": true,
+        "rollback_training": true,
+        "selector_group_count": 2,
+        "selfcheck_loop_readiness": true,
+        "strict_narrow_scope": true,
+        "trainer": "veriloop.rollback_adapter_trainer.v9.qwen36"
+      },
+      "notes": [
+        "Backbone bridge tuning disabled explicitly; selector stays on custom surfaces or no-op.",
+        "Backbone family inferred as qwen_dense.",
+        "PEFT method resolved as lora_narrow.",
+        "Recipe is harness-first: runtime convergence remains in VeriLoop control-plane + harness, not in broad weight surgery.",
+        "Block AttnRes, DualPath, mHC hooks, RoPE, KV-cache, and broad MoE routing remain structurally excluded."
+      ],
+      "peft_method": "lora_narrow",
+      "precision_policy": "auto",
+      "product_line": "veriloop_coder",
+      "regression_requirements": [
+        "Must pass PEFT regression guard structural policy checks.",
+        "Must not introduce forbidden backbone/serving structural targets.",
+        "Must preserve harness regression envelope for the selected product line.",
+        "Validator feedback uptake must not regress.",
+        "Rollback minimality and revision fidelity must not regress."
+      ],
+      "target_groups": [
+        {
+          "alpha": 16,
+          "dropout": 0.05,
+          "name": "group_1_custom_runtime_harness_bridge",
+          "rank": 8,
+          "rationale": "Runtime / harness obedience should attach to explicit interface bridges before any backbone fallback.",
+          "surface": "custom_runtime_harness_bridge",
+          "target_modules": [
+            "failure_signal_bridge.rollback_bridge",
+            "request_normalizer",
+            "request_normalizer.adapter",
+            "rollback_adapter",
+            "rollback_adapter.head",
+            "runtime_harness_adapter",
+            "runtime_harness_adapter.bridge",
+            "tool_protocol_adapter",
+            "tool_protocol_adapter.bridge",
+            "toolspec_bridge",
+            "toolspec_bridge.adapter",
+            "toolspec_head",
+            "toolspec_head.param_schema_adapter",
+            "toolspec_head.postcondition_adapter",
+            "toolspec_head.precondition_adapter",
+            "toolspec_head.receipt_formatter",
+            "toolspec_head.trigger_gate",
+            "toolspec_head.validator_gate",
+            "validator_feedback_loop.rollback_adapter"
+          ]
+        },
+        {
+          "alpha": 16,
+          "dropout": 0.0,
+          "name": "group_2_custom_validator_bridge",
+          "rank": 8,
+          "rationale": "Validation and rollback fidelity should prefer explicit validator / rollback bridges.",
+          "surface": "custom_validator_bridge",
+          "target_modules": [
+            "failure_signal_bridge",
+            "failure_signal_bridge.rollback_bridge",
+            "rollback_adapter",
+            "rollback_adapter.head",
+            "sandbox_rollback_bridge",
+            "sandbox_rollback_bridge.adapter",
+            "validator_feedback_bridge",
+            "validator_feedback_bridge.adapter",
+            "validator_feedback_loop.rollback_adapter"
+          ]
+        }
+      ],
+      "target_modules": [
+        "failure_signal_bridge.rollback_bridge",
+        "request_normalizer",
+        "request_normalizer.adapter",
+        "rollback_adapter",
+        "rollback_adapter.head",
+        "runtime_harness_adapter",
+        "runtime_harness_adapter.bridge",
+        "tool_protocol_adapter",
+        "tool_protocol_adapter.bridge",
+        "toolspec_bridge",
+        "toolspec_bridge.adapter",
+        "toolspec_head",
+        "toolspec_head.param_schema_adapter",
+        "toolspec_head.postcondition_adapter",
+        "toolspec_head.precondition_adapter",
+        "toolspec_head.receipt_formatter",
+        "toolspec_head.trigger_gate",
+        "toolspec_head.validator_gate",
+        "validator_feedback_loop.rollback_adapter",
+        "failure_signal_bridge",
+        "sandbox_rollback_bridge",
+        "sandbox_rollback_bridge.adapter",
+        "validator_feedback_bridge",
+        "validator_feedback_bridge.adapter"
+      ],
+      "version": "veriloop.lora_recipe_veriloop.v2"
+    },
+    "selected_surfaces": [
+      "custom_runtime_harness_bridge",
+      "custom_validator_bridge",
+      "custom_memory_boundary_bridge"
+    ],
+    "selected_target_modules": [
+      "failure_signal_bridge.rollback_bridge",
+      "rollback_adapter.head",
+      "runtime_harness_adapter.bridge",
+      "sandbox_rollback_bridge.adapter",
+      "toolspec_head.validator_gate",
+      "validator_feedback_bridge.adapter",
+      "validator_feedback_loop.rollback_adapter",
+      "memory_boundary_guard.adapter",
+      "memory_boundary_guard.rollback_filter",
+      "request_normalizer.adapter",
+      "tool_protocol_adapter.bridge",
+      "toolspec_bridge.adapter",
+      "toolspec_head.postcondition_adapter",
+      "toolspec_head.precondition_adapter",
+      "toolspec_head.receipt_formatter",
+      "toolspec_head.trigger_gate"
+    ],
+    "selection_mode": "minimal",
+    "version": "veriloop.rollback_adapter_trainer.v9.qwen36",
+    "warnings": [
+      "Harness Engineering is primary; PEFT is limited to obedience-facing, interface-facing support surfaces.",
+      "Backbone bridge tuning disabled explicitly; selector stays on custom surfaces or no-op."
+    ]
+  },
+  "status": "trained",
+  "train_metrics": {
+    "adapter_exported": true,
+    "auto_lora_from_ia3": false,
+    "best_epoch": 3,
+    "best_quality_score": 0.3986773560841878,
+    "epochs_completed": 4,
+    "loss": 0.4452953128114579,
+    "micro_batches": 126,
+    "micro_batches_total": 504,
+    "optimizer_steps": 8,
+    "optimizer_steps_total": 32,
+    "peft_method": "lora_narrow",
+    "used_peft": true
+  },
+  "version": "veriloop.rollback_adapter_trainer.v9.qwen36",
+  "warnings": [
+    "Harness Engineering is primary; PEFT is limited to obedience-facing, interface-facing support surfaces.",
+    "Backbone bridge tuning disabled explicitly; selector stays on custom surfaces or no-op."
+  ]
+}

rollback_adapter/rollback_eval.jsonl ADDED Viewed

	@@ -0,0 +1,45 @@

+{"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}}

rollback_adapter/rollback_head.pt ADDED Viewed

	@@ -0,0 +1,3 @@

+version https://git-lfs.github.com/spec/v1
+oid sha256:9a1bc1ea9910f92a75240db4240a85e3aaf92baa3476a65a8cbbd846ab43f4e4
+size 352958879

rollback_adapter/rollback_train.jsonl ADDED Viewed

The diff for this file is too large to render. See raw diff

rollback_adapter/rollback_training_manifest.json ADDED Viewed

	@@ -0,0 +1,121 @@

+{
+  "adapter_exported": true,
+  "dataset_summary": {
+    "cause_vocab": [
+      "none",
+      "evidence_contradiction",
+      "execution_negation",
+      "validator_rejection",
+      "patch_regression",
+      "worktree_conflict",
+      "high_risk_unsupported",
+      "tool_selfcheck_failure",
+      "reverse_engineering_speculation"
+    ],
+    "eval_size": 45,
+    "mode_vocab": [
+      "contradiction",
+      "execution_failure",
+      "validator_rejection",
+      "patch_regression",
+      "worktree_conflict",
+      "high_risk_unsupported",
+      "tool_selfcheck_repair",
+      "reverse_engineering_drift",
+      "validated_stable"
+    ],
+    "modes": [
+      "contradiction",
+      "execution_failure",
+      "high_risk_unsupported",
+      "patch_regression",
+      "reverse_engineering_drift",
+      "tool_selfcheck_repair",
+      "validated_stable",
+      "validator_rejection",
+      "worktree_conflict"
+    ],
+    "need_vocab": [
+      "none",
+      "advisory",
+      "required"
+    ],
+    "rewrite_vocab": [
+      "do_not_rollback",
+      "local_patch_only",
+      "validator_scoped_revision",
+      "minimum_diff_patch",
+      "do_not_overwrite_worktree_state",
+      "fail_closed",
+      "repair_via_bounded_selfcheck_loop",
+      "bounded_observation_first",
+      "local_conflict_preserving_revision"
+    ],
+    "train_size": 126
+  },
+  "eval_metrics": {
+    "adapter_exported": true,
+    "auto_lora_from_ia3": false,
+    "avg_binary_accuracy": 0.8194444444444444,
+    "best_epoch": 3,
+    "best_quality_score": 0.3986773560841878,
+    "cause_accuracy": 0.4888888888888889,
+    "count": 45,
+    "eval_batches": 45,
+    "eval_loss": 7.656409973568387,
+    "fail_closed_accuracy": 0.7777777777777778,
+    "minimal_diff_accuracy": 0.5555555555555556,
+    "mode_accuracy": 0.3333333333333333,
+    "need_accuracy": 0.7777777777777778,
+    "peft_method": "lora_narrow",
+    "preserve_conflict_accuracy": 0.7777777777777778,
+    "quality_score": 0.3986773560841878,
+    "reverse_engineering_bounded_accuracy": 0.8888888888888888,
+    "rewrite_accuracy": 0.4888888888888889,
+    "selfcheck_route_accuracy": 0.5555555555555556,
+    "session_continuity_accuracy": 1.0,
+    "used_peft": true,
+    "validator_aligned_accuracy": 1.0,
+    "worktree_safe_accuracy": 1.0
+  },
+  "load_meta": {
+    "chosen_class": "AutoModelForCausalLM",
+    "hidden_size": 2048,
+    "quantization_mode": "4bit"
+  },
+  "peft_method": "lora_narrow",
+  "selected_target_modules": [
+    "failure_signal_bridge.rollback_bridge",
+    "rollback_adapter.head",
+    "runtime_harness_adapter.bridge",
+    "sandbox_rollback_bridge.adapter",
+    "toolspec_head.validator_gate",
+    "validator_feedback_bridge.adapter",
+    "validator_feedback_loop.rollback_adapter",
+    "memory_boundary_guard.adapter",
+    "memory_boundary_guard.rollback_filter",
+    "request_normalizer.adapter",
+    "tool_protocol_adapter.bridge",
+    "toolspec_bridge.adapter",
+    "toolspec_head.postcondition_adapter",
+    "toolspec_head.precondition_adapter",
+    "toolspec_head.receipt_formatter",
+    "toolspec_head.trigger_gate"
+  ],
+  "status": "trained",
+  "train_metrics": {
+    "adapter_exported": true,
+    "auto_lora_from_ia3": false,
+    "best_epoch": 3,
+    "best_quality_score": 0.3986773560841878,
+    "epochs_completed": 4,
+    "loss": 0.4452953128114579,
+    "micro_batches": 126,
+    "micro_batches_total": 504,
+    "optimizer_steps": 8,
+    "optimizer_steps_total": 32,
+    "peft_method": "lora_narrow",
+    "used_peft": true
+  },
+  "used_peft": true
+}

rollback_adapter/tokenizer/chat_template.jinja ADDED Viewed

	@@ -0,0 +1,154 @@

+{%- set image_count = namespace(value=0) %}
+{%- set video_count = namespace(value=0) %}
+{%- macro render_content(content, do_vision_count, is_system_content=false) %}
+    {%- if content is string %}
+        {{- content }}
+    {%- elif content is iterable and content is not mapping %}
+        {%- for item in content %}
+            {%- if 'image' in item or 'image_url' in item or item.type == 'image' %}
+                {%- if is_system_content %}
+                    {{- raise_exception('System message cannot contain images.') }}
+                {%- endif %}
+                {%- if do_vision_count %}
+                    {%- set image_count.value = image_count.value + 1 %}
+                {%- endif %}
+                {%- if add_vision_id %}
+                    {{- 'Picture ' ~ image_count.value ~ ': ' }}
+                {%- endif %}
+                {{- '<|vision_start|><|image_pad|><|vision_end|>' }}
+            {%- elif 'video' in item or item.type == 'video' %}
+                {%- if is_system_content %}
+                    {{- raise_exception('System message cannot contain videos.') }}
+                {%- endif %}
+                {%- if do_vision_count %}
+                    {%- set video_count.value = video_count.value + 1 %}
+                {%- endif %}
+                {%- if add_vision_id %}
+                    {{- 'Video ' ~ video_count.value ~ ': ' }}
+                {%- endif %}
+                {{- '<|vision_start|><|video_pad|><|vision_end|>' }}
+            {%- elif 'text' in item %}
+                {{- item.text }}
+            {%- else %}
+                {{- raise_exception('Unexpected item type in content.') }}
+            {%- endif %}
+        {%- endfor %}
+    {%- elif content is none or content is undefined %}
+        {{- '' }}
+    {%- else %}
+        {{- raise_exception('Unexpected content type.') }}
+    {%- endif %}
+{%- endmacro %}
+{%- if not messages %}
+    {{- raise_exception('No messages provided.') }}
+{%- endif %}
+{%- if tools and tools is iterable and tools is not mapping %}
+    {{- '<|im_start|>system\n' }}
+    {{- "# Tools\n\nYou have access to the following functions:\n\n<tools>" }}
+    {%- for tool in tools %}
+        {{- "\n" }}
+        {{- tool | tojson }}
+    {%- endfor %}
+    {{- "\n</tools>" }}
+    {{- '\n\nIf you choose to call a function ONLY reply in the following format with NO suffix:\n\n<tool_call>\n<function=example_function_name>\n<parameter=example_parameter_1>\nvalue_1\n</parameter>\n<parameter=example_parameter_2>\nThis is the value for the second parameter\nthat can span\nmultiple lines\n</parameter>\n</function>\n</tool_call>\n\n<IMPORTANT>\nReminder:\n- Function calls MUST follow the specified format: an inner <function=...></function> block must be nested within <tool_call></tool_call> XML tags\n- Required parameters MUST be specified\n- You may provide optional reasoning for your function call in natural language BEFORE the function call, but NOT after\n- If there is no function call available, answer the question like normal with your current knowledge and do not tell the user about function calls\n</IMPORTANT>' }}
+    {%- if messages[0].role == 'system' %}
+        {%- set content = render_content(messages[0].content, false, true)|trim %}
+        {%- if content %}
+            {{- '\n\n' + content }}
+        {%- endif %}
+    {%- endif %}
+    {{- '<|im_end|>\n' }}
+{%- else %}
+    {%- if messages[0].role == 'system' %}
+        {%- set content = render_content(messages[0].content, false, true)|trim %}
+        {{- '<|im_start|>system\n' + content + '<|im_end|>\n' }}
+    {%- endif %}
+{%- endif %}
+{%- set ns = namespace(multi_step_tool=true, last_query_index=messages|length - 1) %}
+{%- for message in messages[::-1] %}
+    {%- set index = (messages|length - 1) - loop.index0 %}
+    {%- if ns.multi_step_tool and message.role == "user" %}
+        {%- set content = render_content(message.content, false)|trim %}
+        {%- if not(content.startswith('<tool_response>') and content.endswith('</tool_response>')) %}
+            {%- set ns.multi_step_tool = false %}
+            {%- set ns.last_query_index = index %}
+        {%- endif %}
+    {%- endif %}
+{%- endfor %}
+{%- if ns.multi_step_tool %}
+    {{- raise_exception('No user query found in messages.') }}
+{%- endif %}
+{%- for message in messages %}
+    {%- set content = render_content(message.content, true)|trim %}
+    {%- if message.role == "system" %}
+        {%- if not loop.first %}
+            {{- raise_exception('System message must be at the beginning.') }}
+        {%- endif %}
+    {%- elif message.role == "user" %}
+        {{- '<|im_start|>' + message.role + '\n' + content + '<|im_end|>' + '\n' }}
+    {%- elif message.role == "assistant" %}
+        {%- set reasoning_content = '' %}
+        {%- if message.reasoning_content is string %}
+            {%- set reasoning_content = message.reasoning_content %}
+        {%- else %}
+            {%- if '</think>' in content %}
+                {%- set reasoning_content = content.split('</think>')[0].rstrip('\n').split('<think>')[-1].lstrip('\n') %}
+                {%- set content = content.split('</think>')[-1].lstrip('\n') %}
+            {%- endif %}
+        {%- endif %}
+        {%- set reasoning_content = reasoning_content|trim %}
+        {%- if (preserve_thinking is defined and preserve_thinking is true) or (loop.index0 > ns.last_query_index) %}
+            {{- '<|im_start|>' + message.role + '\n<think>\n' + reasoning_content + '\n</think>\n\n' + content }}
+        {%- else %}
+            {{- '<|im_start|>' + message.role + '\n' + content }}
+        {%- endif %}
+        {%- if message.tool_calls and message.tool_calls is iterable and message.tool_calls is not mapping %}
+            {%- for tool_call in message.tool_calls %}
+                {%- if tool_call.function is defined %}
+                    {%- set tool_call = tool_call.function %}
+                {%- endif %}
+                {%- if loop.first %}
+                    {%- if content|trim %}
+                        {{- '\n\n<tool_call>\n<function=' + tool_call.name + '>\n' }}
+                    {%- else %}
+                        {{- '<tool_call>\n<function=' + tool_call.name + '>\n' }}
+                    {%- endif %}
+                {%- else %}
+                    {{- '\n<tool_call>\n<function=' + tool_call.name + '>\n' }}
+                {%- endif %}
+                {%- if tool_call.arguments is defined %}
+                    {%- for args_name, args_value in tool_call.arguments|items %}
+                        {{- '<parameter=' + args_name + '>\n' }}
+                        {%- set args_value = args_value | string if args_value is string else args_value | tojson | safe %}
+                        {{- args_value }}
+                        {{- '\n</parameter>\n' }}
+                    {%- endfor %}
+                {%- endif %}
+                {{- '</function>\n</tool_call>' }}
+            {%- endfor %}
+        {%- endif %}
+        {{- '<|im_end|>\n' }}
+    {%- elif message.role == "tool" %}
+        {%- if loop.previtem and loop.previtem.role != "tool" %}
+            {{- '<|im_start|>user' }}
+        {%- endif %}
+        {{- '\n<tool_response>\n' }}
+        {{- content }}
+        {{- '\n</tool_response>' }}
+        {%- if not loop.last and loop.nextitem.role != "tool" %}
+            {{- '<|im_end|>\n' }}
+        {%- elif loop.last %}
+            {{- '<|im_end|>\n' }}
+        {%- endif %}
+    {%- else %}
+        {{- raise_exception('Unexpected message role.') }}
+    {%- endif %}
+{%- endfor %}
+{%- if add_generation_prompt %}
+    {{- '<|im_start|>assistant\n' }}
+    {%- if enable_thinking is defined and enable_thinking is false %}
+        {{- '<think>\n\n</think>\n\n' }}
+    {%- else %}
+        {{- '<think>\n' }}
+    {%- endif %}
+{%- endif %}

rollback_adapter/tokenizer/tokenizer.json ADDED Viewed

	@@ -0,0 +1,3 @@

+version https://git-lfs.github.com/spec/v1
+oid sha256:ea2e66b594a0906e9a547c9e6ff9e5fb8a8198439c8cf7d6dc48f23529161223
+size 19989442

rollback_adapter/tokenizer/tokenizer_config.json ADDED Viewed

	@@ -0,0 +1,31 @@

+{
+  "add_prefix_space": false,
+  "audio_bos_token": "<|audio_start|>",
+  "audio_eos_token": "<|audio_end|>",
+  "audio_token": "<|audio_pad|>",
+  "backend": "tokenizers",
+  "bos_token": null,
+  "clean_up_tokenization_spaces": false,
+  "eos_token": "<|im_end|>",
+  "errors": "replace",
+  "image_token": "<|image_pad|>",
+  "is_local": true,
+  "model_max_length": 262144,
+  "model_specific_special_tokens": {
+    "audio_bos_token": "<|audio_start|>",
+    "audio_eos_token": "<|audio_end|>",
+    "audio_token": "<|audio_pad|>",
+    "image_token": "<|image_pad|>",
+    "video_token": "<|video_pad|>",
+    "vision_bos_token": "<|vision_start|>",
+    "vision_eos_token": "<|vision_end|>"
+  },
+  "pad_token": "<|endoftext|>",
+  "pretokenize_regex": "(?i:'s|'t|'re|'ve|'m|'ll|'d)|[^\\r\\n\\p{L}\\p{N}]?[\\p{L}\\p{M}]+|\\p{N}| ?[^\\s\\p{L}\\p{M}\\p{N}]+[\\r\\n]*|\\s*[\\r\\n]+|\\s+(?!\\S)|\\s+",
+  "split_special_tokens": false,
+  "tokenizer_class": "TokenizersBackend",
+  "unk_token": null,
+  "video_token": "<|video_pad|>",
+  "vision_bos_token": "<|vision_start|>",
+  "vision_eos_token": "<|vision_end|>"
+}