Upload toolspec_qwen36_rootfix_run1 contents into toolspec_adapter

.gitattributes

@@ -34,3 +34,4 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 *.zst filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
 tokenizer.json filter=lfs diff=lfs merge=lfs -text
+toolspec_adapter/tokenizer/tokenizer.json filter=lfs diff=lfs merge=lfs -text

toolspec_adapter/adapter/README.md

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

toolspec_adapter/adapter/adapter_config.json

@@ -0,0 +1,52 @@
+{
+  "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.toolspec_bridge.adapter",
+    "surface_host.validator_feedback_bridge.adapter",
+    "surface_host.toolspec_head.receipt_formatter",
+    "surface_host.toolspec_head.precondition_adapter",
+    "surface_host.toolspec_head.validator_gate",
+    "surface_host.toolspec_head.postcondition_adapter",
+    "surface_host.tool_protocol_adapter.bridge",
+    "surface_host.runtime_harness_adapter.bridge",
+    "surface_host.toolspec_head.trigger_gate",
+    "surface_host.request_normalizer.adapter",
+    "surface_host.toolspec_head.param_schema_adapter"
+  ],
+  "target_parameters": null,
+  "task_type": "FEATURE_EXTRACTION",
+  "trainable_token_indices": null,
+  "use_bdlora": null,
+  "use_dora": false,
+  "use_qalora": false,
+  "use_rslora": false
+}

toolspec_adapter/adapter/adapter_model.safetensors

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:e62775d0cd91a0604b237b7d50cdb1da249ec85e8f9a2c6ad4fd7ed8afc805a2
+size 724048

toolspec_adapter/best_checkpoint_manifest.json

@@ -0,0 +1,27 @@
+{
+  "best_epoch": 4,
+  "best_quality_score": 0.46349615617231893,
+  "eval_metrics": {
+    "avg_binary_accuracy": 0.81,
+    "confirmation_required_accuracy": 0.8,
+    "count": 25,
+    "eval_batches": 25,
+    "eval_loss": 6.897225952148437,
+    "mode_accuracy": 0.56,
+    "permission_bit_accuracy": 0.8545454545454545,
+    "precondition_ok_accuracy": 0.76,
+    "quality_score": 0.46349615617231893,
+    "rollback_supported_accuracy": 0.8,
+    "schema_ok_accuracy": 0.76,
+    "session_required_accuracy": 1.0,
+    "tool_accuracy": 0.44,
+    "trigger_accuracy": 0.76,
+    "validator_required_accuracy": 0.8,
+    "worktree_required_accuracy": 0.8
+  },
+  "train_metrics": {
+    "loss": 0.42175399448190415,
+    "micro_batches": 70,
+    "optimizer_steps": 5
+  }
+}

toolspec_adapter/epoch_history.json

@@ -0,0 +1,144 @@
+{
+  "epochs": [
+    {
+      "epoch": 1,
+      "eval_metrics": {
+        "avg_binary_accuracy": 0.795,
+        "confirmation_required_accuracy": 0.8,
+        "count": 25,
+        "eval_batches": 25,
+        "eval_loss": 7.704372234344483,
+        "mode_accuracy": 0.44,
+        "permission_bit_accuracy": 0.850909090909091,
+        "precondition_ok_accuracy": 0.76,
+        "quality_score": 0.21877532557574186,
+        "rollback_supported_accuracy": 0.72,
+        "schema_ok_accuracy": 0.76,
+        "session_required_accuracy": 1.0,
+        "tool_accuracy": 0.24,
+        "trigger_accuracy": 0.76,
+        "validator_required_accuracy": 0.8,
+        "worktree_required_accuracy": 0.76
+      },
+      "improved": true,
+      "quality_score": 0.21877532557574186,
+      "train_metrics": {
+        "loss": 0.5388983534915107,
+        "micro_batches": 70,
+        "optimizer_steps": 5
+      }
+    },
+    {
+      "epoch": 2,
+      "eval_metrics": {
+        "avg_binary_accuracy": 0.81,
+        "confirmation_required_accuracy": 0.8,
+        "count": 25,
+        "eval_batches": 25,
+        "eval_loss": 7.129253711700439,
+        "mode_accuracy": 0.48,
+        "permission_bit_accuracy": 0.8545454545454545,
+        "precondition_ok_accuracy": 0.76,
+        "quality_score": 0.4400157397790389,
+        "rollback_supported_accuracy": 0.8,
+        "schema_ok_accuracy": 0.76,
+        "session_required_accuracy": 1.0,
+        "tool_accuracy": 0.44,
+        "trigger_accuracy": 0.76,
+        "validator_required_accuracy": 0.8,
+        "worktree_required_accuracy": 0.8
+      },
+      "improved": true,
+      "quality_score": 0.4400157397790389,
+      "train_metrics": {
+        "loss": 0.4655745736190251,
+        "micro_batches": 70,
+        "optimizer_steps": 5
+      }
+    },
+    {
+      "epoch": 3,
+      "eval_metrics": {
+        "avg_binary_accuracy": 0.81,
+        "confirmation_required_accuracy": 0.8,
+        "count": 25,
+        "eval_batches": 25,
+        "eval_loss": 6.935494079589843,
+        "mode_accuracy": 0.48,
+        "permission_bit_accuracy": 0.8545454545454545,
+        "precondition_ok_accuracy": 0.76,
+        "quality_score": 0.4229221342606978,
+        "rollback_supported_accuracy": 0.8,
+        "schema_ok_accuracy": 0.76,
+        "session_required_accuracy": 1.0,
+        "tool_accuracy": 0.4,
+        "trigger_accuracy": 0.76,
+        "validator_required_accuracy": 0.8,
+        "worktree_required_accuracy": 0.8
+      },
+      "improved": false,
+      "quality_score": 0.4229221342606978,
+      "train_metrics": {
+        "loss": 0.43205853487764084,
+        "micro_batches": 70,
+        "optimizer_steps": 5
+      }
+    },
+    {
+      "epoch": 4,
+      "eval_metrics": {
+        "avg_binary_accuracy": 0.81,
+        "confirmation_required_accuracy": 0.8,
+        "count": 25,
+        "eval_batches": 25,
+        "eval_loss": 6.897225952148437,
+        "mode_accuracy": 0.56,
+        "permission_bit_accuracy": 0.8545454545454545,
+        "precondition_ok_accuracy": 0.76,
+        "quality_score": 0.46349615617231893,
+        "rollback_supported_accuracy": 0.8,
+        "schema_ok_accuracy": 0.76,
+        "session_required_accuracy": 1.0,
+        "tool_accuracy": 0.44,
+        "trigger_accuracy": 0.76,
+        "validator_required_accuracy": 0.8,
+        "worktree_required_accuracy": 0.8
+      },
+      "improved": true,
+      "quality_score": 0.46349615617231893,
+      "train_metrics": {
+        "loss": 0.42175399448190415,
+        "micro_batches": 70,
+        "optimizer_steps": 5
+      }
+    },
+    {
+      "epoch": 5,
+      "eval_metrics": {
+        "avg_binary_accuracy": 0.81,
+        "confirmation_required_accuracy": 0.8,
+        "count": 25,
+        "eval_batches": 25,
+        "eval_loss": 6.89590030670166,
+        "mode_accuracy": 0.56,
+        "permission_bit_accuracy": 0.8545454545454545,
+        "precondition_ok_accuracy": 0.76,
+        "quality_score": 0.4635160408540206,
+        "rollback_supported_accuracy": 0.8,
+        "schema_ok_accuracy": 0.76,
+        "session_required_accuracy": 1.0,
+        "tool_accuracy": 0.44,
+        "trigger_accuracy": 0.76,
+        "validator_required_accuracy": 0.8,
+        "worktree_required_accuracy": 0.8
+      },
+      "improved": false,
+      "quality_score": 0.4635160408540206,
+      "train_metrics": {
+        "loss": 0.4198248211826597,
+        "micro_batches": 70,
+        "optimizer_steps": 5
+      }
+    }
+  ]
+}

toolspec_adapter/host_manifest.json

@@ -0,0 +1,238 @@
+{
+  "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",
+    "identity_adapter",
+    "identity_adapter.bridge",
+    "identity_guard",
+    "identity_guard.adapter",
+    "input_norm",
+    "memory_boundary_guard",
+    "memory_boundary_guard.adapter",
+    "memory_boundary_guard.rollback_filter",
+    "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_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",
+    "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.param_schema_adapter.base_layer",
+    "toolspec_head.param_schema_adapter.lora_A",
+    "toolspec_head.param_schema_adapter.lora_A.default",
+    "toolspec_head.param_schema_adapter.lora_B",
+    "toolspec_head.param_schema_adapter.lora_B.default",
+    "toolspec_head.param_schema_adapter.lora_dropout",
+    "toolspec_head.param_schema_adapter.lora_dropout.default",
+    "toolspec_head.param_schema_adapter.lora_embedding_A",
+    "toolspec_head.param_schema_adapter.lora_embedding_B",
+    "toolspec_head.param_schema_adapter.lora_magnitude_vector",
+    "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_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": 176621573,
+    "host_trainable_parameters": 360448,
+    "total_parameters": 34132679301,
+    "trainable_parameters": 360448,
+    "version": "veriloop.coder_peft_host.v1"
+  },
+  "version": "veriloop.coder_peft_host.v1"
+}

toolspec_adapter/tokenizer/chat_template.jinja

@@ -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 %}

toolspec_adapter/tokenizer/tokenizer.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:6a0316e38d81a31965b770393461dcc03612ac06e2733f8e1cc440d36a2ef189
+size 19989442

toolspec_adapter/tokenizer/tokenizer_config.json

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

toolspec_adapter/toolspec_adapter_plan.json

@@ -0,0 +1,218 @@
+{
+  "backbone": "/public/wang_libo/veriloop_coder_e1/model",
+  "dataset_summary": {
+    "eval_size": 25,
+    "modes": [
+      "argument_shaping",
+      "harness_envelope",
+      "precondition_gating",
+      "receipt_and_validation",
+      "reverse_engineering",
+      "runtime_session",
+      "self_check_loop",
+      "tool_trigger",
+      "worktree_permission"
+    ],
+    "tools": [
+      "apply_patch_bundle",
+      "browser_search",
+      "repo_reverse_engineer",
+      "run_ci_validation",
+      "self_check_repair_loop"
+    ],
+    "train_size": 70
+  },
+  "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 toolspec probe training, not broad coding SFT.",
+    "This adapter is allowed to shape runtime protocol obedience, validator alignment, self-check willingness, and reverse-engineering readiness.",
+    "Backbone attention, MoE router/expert weights, DualPath, Block AttnRes, and mHC remain excluded.",
+    "Explicit host/runtime bridge leaves default to LoRA-narrow attachment because IA3 feedforward constraints do not fit this custom side-car surface design."
+  ],
+  "peft_method": "lora_narrow",
+  "product_line": "veriloop_coder",
+  "recipe": {
+    "adapter_family": "runtime_harness",
+    "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 improve runtime protocol obedience, not free-form style drift.",
+      "Tool legality, permission discipline, session continuity, and worktree hygiene must remain first-class."
+    ],
+    "hyperparams": {
+      "alpha": 0,
+      "bias": "none",
+      "dropout": 0.0,
+      "fan_in_fan_out": false,
+      "modules_to_save": [],
+      "r": 0,
+      "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": true,
+      "require_harness_first": true,
+      "selector_group_count": 2,
+      "strict_narrow_scope": true,
+      "toolspec_probe_training": true,
+      "trainer": "veriloop.toolspec_adapter_trainer.v5.qwen36"
+    },
+    "notes": [
+      "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.",
+      "Backbone family inferred as qwen_dense.",
+      "PEFT method resolved as ia3_head_only.",
+      "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.",
+      "Runtime protocol obedience must improve or hold.",
+      "Tool trigger accuracy, permission discipline, and worktree continuity 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": 8,
+        "dropout": 0.0,
+        "name": "group_2_custom_memory_boundary_bridge",
+        "rank": 4,
+        "rationale": "Session continuity should bind to boundary-aware memory packet surfaces rather than broad backbone tuning.",
+        "surface": "custom_memory_boundary_bridge",
+        "target_modules": [
+          "episodic_memory",
+          "episodic_memory.adapter",
+          "memory_boundary_guard",
+          "memory_boundary_guard.adapter",
+          "memory_boundary_guard.rollback_filter",
+          "session_compactor",
+          "session_compactor.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",
+      "episodic_memory",
+      "episodic_memory.adapter",
+      "memory_boundary_guard",
+      "memory_boundary_guard.adapter",
+      "memory_boundary_guard.rollback_filter",
+      "session_compactor",
+      "session_compactor.adapter"
+    ],
+    "version": "veriloop.lora_recipe_veriloop.v2"
+  },
+  "selected_surfaces": [
+    "custom_runtime_harness_bridge",
+    "custom_validator_bridge",
+    "custom_memory_boundary_bridge"
+  ],
+  "selected_target_modules": [
+    "request_normalizer",
+    "request_normalizer.adapter",
+    "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_bridge",
+    "validator_feedback_bridge.adapter"
+  ],
+  "selection_mode": "minimal",
+  "version": "veriloop.toolspec_adapter_trainer.v5.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."
+  ]
+}

toolspec_adapter/toolspec_adapter_train_result.json

@@ -0,0 +1,299 @@
+{
+  "artifacts": {
+    "adapter_dir": "/private/wang_libo/veriloop_coder_e1/outputs/toolspec_qwen36_rootfix_run1/adapter",
+    "best_checkpoint_manifest": "/private/wang_libo/veriloop_coder_e1/outputs/toolspec_qwen36_rootfix_run1/best_checkpoint_manifest.json",
+    "epoch_history": "/private/wang_libo/veriloop_coder_e1/outputs/toolspec_qwen36_rootfix_run1/epoch_history.json",
+    "eval_jsonl": "/private/wang_libo/veriloop_coder_e1/outputs/toolspec_qwen36_rootfix_run1/toolspec_eval.jsonl",
+    "host_manifest": "/private/wang_libo/veriloop_coder_e1/outputs/toolspec_qwen36_rootfix_run1/host_manifest.json",
+    "plan_json": "/private/wang_libo/veriloop_coder_e1/outputs/toolspec_qwen36_rootfix_run1/toolspec_adapter_plan.json",
+    "probe_head": "/private/wang_libo/veriloop_coder_e1/outputs/toolspec_qwen36_rootfix_run1/toolspec_probe_head.pt",
+    "tokenizer_dir": "/private/wang_libo/veriloop_coder_e1/outputs/toolspec_qwen36_rootfix_run1/tokenizer",
+    "train_jsonl": "/private/wang_libo/veriloop_coder_e1/outputs/toolspec_qwen36_rootfix_run1/toolspec_train.jsonl",
+    "training_manifest": "/private/wang_libo/veriloop_coder_e1/outputs/toolspec_qwen36_rootfix_run1/toolspec_training_manifest.json"
+  },
+  "dataset": {
+    "eval_size": 25,
+    "modes": [
+      "argument_shaping",
+      "harness_envelope",
+      "precondition_gating",
+      "receipt_and_validation",
+      "reverse_engineering",
+      "runtime_session",
+      "self_check_loop",
+      "tool_trigger",
+      "worktree_permission"
+    ],
+    "tools": [
+      "apply_patch_bundle",
+      "browser_search",
+      "repo_reverse_engineer",
+      "run_ci_validation",
+      "self_check_repair_loop"
+    ],
+    "train_size": 70
+  },
+  "eval_metrics": {
+    "adapter_exported": true,
+    "auto_lora_from_ia3": false,
+    "avg_binary_accuracy": 0.81,
+    "best_epoch": 4,
+    "best_quality_score": 0.46349615617231893,
+    "confirmation_required_accuracy": 0.8,
+    "count": 25,
+    "eval_batches": 25,
+    "eval_loss": 6.897225952148437,
+    "mode_accuracy": 0.56,
+    "peft_method": "lora_narrow",
+    "permission_bit_accuracy": 0.8545454545454545,
+    "precondition_ok_accuracy": 0.76,
+    "quality_score": 0.46349615617231893,
+    "rollback_supported_accuracy": 0.8,
+    "schema_ok_accuracy": 0.76,
+    "session_required_accuracy": 1.0,
+    "tool_accuracy": 0.44,
+    "trigger_accuracy": 0.76,
+    "used_peft": true,
+    "validator_required_accuracy": 0.8,
+    "worktree_required_accuracy": 0.8
+  },
+  "plan": {
+    "backbone": "/public/wang_libo/veriloop_coder_e1/model",
+    "dataset_summary": {
+      "eval_size": 25,
+      "modes": [
+        "argument_shaping",
+        "harness_envelope",
+        "precondition_gating",
+        "receipt_and_validation",
+        "reverse_engineering",
+        "runtime_session",
+        "self_check_loop",
+        "tool_trigger",
+        "worktree_permission"
+      ],
+      "tools": [
+        "apply_patch_bundle",
+        "browser_search",
+        "repo_reverse_engineer",
+        "run_ci_validation",
+        "self_check_repair_loop"
+      ],
+      "train_size": 70
+    },
+    "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 toolspec probe training, not broad coding SFT.",
+      "This adapter is allowed to shape runtime protocol obedience, validator alignment, self-check willingness, and reverse-engineering readiness.",
+      "Backbone attention, MoE router/expert weights, DualPath, Block AttnRes, and mHC remain excluded.",
+      "Explicit host/runtime bridge leaves default to LoRA-narrow attachment because IA3 feedforward constraints do not fit this custom side-car surface design."
+    ],
+    "peft_method": "lora_narrow",
+    "product_line": "veriloop_coder",
+    "recipe": {
+      "adapter_family": "runtime_harness",
+      "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 improve runtime protocol obedience, not free-form style drift.",
+        "Tool legality, permission discipline, session continuity, and worktree hygiene must remain first-class."
+      ],
+      "hyperparams": {
+        "alpha": 0,
+        "bias": "none",
+        "dropout": 0.0,
+        "fan_in_fan_out": false,
+        "modules_to_save": [],
+        "r": 0,
+        "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": true,
+        "require_harness_first": true,
+        "selector_group_count": 2,
+        "strict_narrow_scope": true,
+        "toolspec_probe_training": true,
+        "trainer": "veriloop.toolspec_adapter_trainer.v5.qwen36"
+      },
+      "notes": [
+        "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.",
+        "Backbone family inferred as qwen_dense.",
+        "PEFT method resolved as ia3_head_only.",
+        "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.",
+        "Runtime protocol obedience must improve or hold.",
+        "Tool trigger accuracy, permission discipline, and worktree continuity 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": 8,
+          "dropout": 0.0,
+          "name": "group_2_custom_memory_boundary_bridge",
+          "rank": 4,
+          "rationale": "Session continuity should bind to boundary-aware memory packet surfaces rather than broad backbone tuning.",
+          "surface": "custom_memory_boundary_bridge",
+          "target_modules": [
+            "episodic_memory",
+            "episodic_memory.adapter",
+            "memory_boundary_guard",
+            "memory_boundary_guard.adapter",
+            "memory_boundary_guard.rollback_filter",
+            "session_compactor",
+            "session_compactor.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",
+        "episodic_memory",
+        "episodic_memory.adapter",
+        "memory_boundary_guard",
+        "memory_boundary_guard.adapter",
+        "memory_boundary_guard.rollback_filter",
+        "session_compactor",
+        "session_compactor.adapter"
+      ],
+      "version": "veriloop.lora_recipe_veriloop.v2"
+    },
+    "selected_surfaces": [
+      "custom_runtime_harness_bridge",
+      "custom_validator_bridge",
+      "custom_memory_boundary_bridge"
+    ],
+    "selected_target_modules": [
+      "request_normalizer",
+      "request_normalizer.adapter",
+      "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_bridge",
+      "validator_feedback_bridge.adapter"
+    ],
+    "selection_mode": "minimal",
+    "version": "veriloop.toolspec_adapter_trainer.v5.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": 4,
+    "best_quality_score": 0.46349615617231893,
+    "epochs_completed": 5,
+    "loss": 0.42175399448190415,
+    "micro_batches": 70,
+    "micro_batches_total": 350,
+    "optimizer_steps": 5,
+    "optimizer_steps_total": 25,
+    "peft_method": "lora_narrow",
+    "used_peft": true
+  },
+  "version": "veriloop.toolspec_adapter_trainer.v5.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.",
+    "Synthetic holdout split used for quality-oriented train/eval separation."
+  ]
+}

toolspec_adapter/toolspec_probe_head.pt

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:f31cf2801edc5ddadbb17d12d74fd6b536c55a0fe2910605f1af3279bb5ec909
+size 100999765

toolspec_adapter/toolspec_training_manifest.json

@@ -0,0 +1,146 @@
+{
+  "adapter_exported": true,
+  "auto_lora_from_ia3": false,
+  "best_epoch": 4,
+  "best_quality_score": 0.46349615617231893,
+  "dataset_summary": {
+    "eval_size": 25,
+    "modes": [
+      "argument_shaping",
+      "harness_envelope",
+      "precondition_gating",
+      "receipt_and_validation",
+      "reverse_engineering",
+      "runtime_session",
+      "self_check_loop",
+      "tool_trigger",
+      "worktree_permission"
+    ],
+    "tools": [
+      "apply_patch_bundle",
+      "browser_search",
+      "repo_reverse_engineer",
+      "run_ci_validation",
+      "self_check_repair_loop"
+    ],
+    "train_size": 70
+  },
+  "epochs_completed": 5,
+  "eval_metrics": {
+    "adapter_exported": true,
+    "auto_lora_from_ia3": false,
+    "avg_binary_accuracy": 0.81,
+    "best_epoch": 4,
+    "best_quality_score": 0.46349615617231893,
+    "confirmation_required_accuracy": 0.8,
+    "count": 25,
+    "eval_batches": 25,
+    "eval_loss": 6.897225952148437,
+    "mode_accuracy": 0.56,
+    "peft_method": "lora_narrow",
+    "permission_bit_accuracy": 0.8545454545454545,
+    "precondition_ok_accuracy": 0.76,
+    "quality_score": 0.46349615617231893,
+    "rollback_supported_accuracy": 0.8,
+    "schema_ok_accuracy": 0.76,
+    "session_required_accuracy": 1.0,
+    "tool_accuracy": 0.44,
+    "trigger_accuracy": 0.76,
+    "used_peft": true,
+    "validator_required_accuracy": 0.8,
+    "worktree_required_accuracy": 0.8
+  },
+  "load_meta": {
+    "chosen_class": "AutoModelForCausalLM",
+    "hidden_size": 2048,
+    "quantization_mode": "4bit"
+  },
+  "mode_vocab": [
+    "tool_trigger",
+    "argument_shaping",
+    "precondition_gating",
+    "receipt_and_validation",
+    "harness_envelope",
+    "runtime_session",
+    "worktree_permission",
+    "self_check_loop",
+    "reverse_engineering"
+  ],
+  "peft_method": "lora_narrow",
+  "requested_method": "lora_narrow",
+  "requested_target_modules": [
+    "request_normalizer",
+    "request_normalizer.adapter",
+    "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_bridge",
+    "validator_feedback_bridge.adapter"
+  ],
+  "resolved_target_modules": [
+    "surface_host.request_normalizer.adapter",
+    "surface_host.runtime_harness_adapter.bridge",
+    "surface_host.tool_protocol_adapter.bridge",
+    "surface_host.toolspec_bridge.adapter",
+    "surface_host.toolspec_head.param_schema_adapter",
+    "surface_host.toolspec_head.postcondition_adapter",
+    "surface_host.toolspec_head.precondition_adapter",
+    "surface_host.toolspec_head.receipt_formatter",
+    "surface_host.toolspec_head.trigger_gate",
+    "surface_host.toolspec_head.validator_gate",
+    "surface_host.validator_feedback_bridge.adapter"
+  ],
+  "selected_target_modules": [
+    "request_normalizer",
+    "request_normalizer.adapter",
+    "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_bridge",
+    "validator_feedback_bridge.adapter"
+  ],
+  "status": "trained",
+  "tool_vocab": [
+    "apply_patch_bundle",
+    "browser_search",
+    "repo_reverse_engineer",
+    "run_ci_validation",
+    "self_check_repair_loop"
+  ],
+  "train_metrics": {
+    "adapter_exported": true,
+    "auto_lora_from_ia3": false,
+    "best_epoch": 4,
+    "best_quality_score": 0.46349615617231893,
+    "epochs_completed": 5,
+    "loss": 0.42175399448190415,
+    "micro_batches": 70,
+    "micro_batches_total": 350,
+    "optimizer_steps": 5,
+    "optimizer_steps_total": 25,
+    "peft_method": "lora_narrow",
+    "used_peft": true
+  },
+  "unresolved_target_modules": [],
+  "used_peft": true
+}