Upload README.md

README.md

@@ -10,55 +10,49 @@ language:
   - en
   - zh
 tags:
-  - qwen3_6
-  - qwen3
-  - qwen
   - veriloop
   - veriloop-coder
   - code
   - coding-agent
-  - agentic-coding
   - software-engineering
   - repository-understanding
   - tool-use
   - peft
   - lora
   - safetensors
-  - transformers
   - harness-engineering
   - evidence-binding
   - rollback
   - uncertainty-calibration
   - long-context
   - open-weights
-  - reasoning
-  - conversational
 ---
 
 # VeriLoop Coder-E1
 
-**VeriLoop Coder-E1** is an open-weight coding model release built on a Qwen3.6-27B backbone and specialized for harness-driven software engineering workflows.
+**VeriLoop Coder-E1** is an open-weight coding model release built for harness-ready software engineering workflows. It combines a Qwen3.6-27B-compatible backbone with four focused public PEFT adapters designed to shape coding-agent behavior around tool discipline, evidence awareness, rollback-safe revision, and uncertainty-calibrated decision signals.
 
-The public release provides a standard, Hugging Face-compatible model package: sharded `safetensors` backbone weights in the repository root, plus four focused PEFT adapters for coding-agent behavior shaping. It is designed for developers and researchers who want a coding model that is not only fluent at code generation, but also better prepared for tool-mediated execution, evidence-aware reasoning, rollback-safe revision, and uncertainty-calibrated coding workflows.
+This repository is the **public standard release** of VeriLoop Coder-E1. It provides clean Hugging Face-compatible model artifacts for research, evaluation, and downstream experimentation while keeping private production runtime components, training data, and server-side orchestration logic out of the public package.
 
-> **Release note**  
-> This is the first public VeriLoop Coder-E1 27B release package. Public benchmark results will be added after the formal evaluation run. The current repository focuses on releasing clean, standard model artifacts without exposing internal production Harness code, private runtime heads, training data, or server-side orchestration logic.
+> **Release status**
+>
+> This is the first public VeriLoop Coder-E1 27B release package. Formal benchmark results will be added after the dedicated evaluation run. Until then, this model card should be read as a release description and loading guide, not as a leaderboard claim.
 
 ---
 
 ## Highlights
 
-VeriLoop Coder-E1 is built for coding-agent environments where a model must cooperate with external tools, validators, repository context, and iterative repair loops.
+VeriLoop Coder-E1 is designed for coding-agent environments where a model must operate with repository context, tool calls, validation feedback, and iterative repair loops.
 
-- **Harness-ready coding behavior** — shaped for coding runtimes that use tool calls, validation feedback, staged execution, and bounded repair loops.
-- **Tool-spec alignment** — improves obedience to tool schemas, argument discipline, preconditions, postconditions, and execution-facing instruction formats.
-- **Evidence-bound coding style** — encourages stronger alignment between claims, code edits, validation signals, and supporting repository context.
-- **Rollback-aware revision behavior** — improves response patterns around failed edits, validator negation, worktree-sensitive repair, and safe correction boundaries.
-- **Uncertainty-calibrated routing signals** — supports more reliable decisions around answer uncertainty, evidence gaps, execution necessity, specification mismatch, and risk pressure.
-- **Repository-scale workflow orientation** — intended for code understanding, patch drafting, debugging, refactoring assistance, and agentic software engineering tasks.
-- **Open standard artifacts** — released with `safetensors` model shards and PEFT-compatible adapter checkpoints for public loading and reproducible experimentation.
+- **Harness-ready coding behavior** — optimized for systems that coordinate model generation with tools, validators, execution feedback, and bounded repair loops.
+- **Tool-spec alignment** — improves response patterns around tool schemas, argument discipline, preconditions, postconditions, and execution-facing instruction formats.
+- **Evidence-bound coding style** — encourages tighter alignment between claims, code edits, validation signals, and supporting repository context.
+- **Rollback-aware revision behavior** — strengthens behavior around failed edits, validator negation, worktree-sensitive repair, and safe correction boundaries.
+- **Uncertainty-calibrated routing signals** — supports better control decisions around answer uncertainty, evidence gaps, execution necessity, specification mismatch, and risk pressure.
+- **Repository-scale workflow orientation** — intended for code understanding, patch drafting, debugging, refactoring assistance, and agentic software-engineering experiments.
+- **Standard open artifacts** — released with sharded `safetensors` backbone weights and PEFT-compatible adapter checkpoints.
 
-VeriLoop Coder-E1 should be viewed as a **coding model foundation for harness-centric systems**. The full VeriLoop product experience may involve additional runtime components such as tool orchestration, sandbox validation, evidence handling, memory, observability, and API-side routing.
+VeriLoop Coder-E1 should be understood as a **coding model foundation for harness-centric systems**. The full VeriLoop product experience may involve additional private runtime components such as tool orchestration, sandbox validation, evidence handling, memory, observability, and API-side routing.
 
 ---
 
@@ -68,7 +62,7 @@ VeriLoop Coder-E1 should be viewed as a **coding model foundation for harness-ce
 |---|---|
 | Model family | VeriLoop Coder-E1 |
 | Backbone | Qwen3.6-27B-compatible backbone |
-| Public release type | Open-weight backbone + four PEFT adapters |
+| Public release type | Open-weight backbone + four public PEFT adapters |
 | Primary domain | Coding, software engineering, coding-agent workflows |
 | Languages | English, Chinese |
 | Weight format | `safetensors` |
@@ -76,7 +70,7 @@ VeriLoop Coder-E1 should be viewed as a **coding model foundation for harness-ce
 | Runtime target | Harness-driven coding systems, tool-mediated agents, repository workflows |
 | Public benchmark status | Formal benchmark results pending |
 
-The public release separates standard model assets from private production runtime infrastructure. Users can load the base model directly, or mount one of the four public PEFT adapters for targeted experimentation.
+The public release separates standard model assets from private production runtime infrastructure. Users can load the backbone directly, or mount one public PEFT adapter at a time for targeted experiments.
 
 ---
 
@@ -87,12 +81,12 @@ The public release separates standard model assets from private production runti
 - Qwen3.6-27B-compatible backbone files in the repository root.
 - Standard sharded `safetensors` model weights.
 - Tokenizer, generation, and configuration files.
-- Four public PEFT adapters:
+- Four public PEFT adapter folders:
   - `toolspec_adapter/adapter`
   - `uncertainty_adapter/adapter`
   - `rollback_adapter/adapter`
   - `evidence_adapter/adapter`
-- Public adapter README files, metric summaries, and adapter manifests.
+- Public adapter README files, metric summaries, and public adapter manifests.
 
 ### Not Included
 
@@ -102,7 +96,7 @@ The public release separates standard model assets from private production runti
 - Internal logs, checkpoints, optimizer states, and scheduler states.
 - Private routing, sandbox, memory, evidence-gate, or production-serving logic.
 
-This separation is intentional. The public repository provides standard open model assets, while production-grade coding-agent behavior may require a full runtime system around the model.
+This separation is intentional: the repository provides standard open model assets, while production-grade coding-agent behavior may require a full runtime system around the model.
 
 ---
 
@@ -115,7 +109,7 @@ This separation is intentional. The public repository provides standard open mod
 | Rollback | `rollback_adapter/adapter` | `adapter_config.json`, `adapter_model.safetensors` | Validator-aware repair behavior, rollback discipline, bounded revision control |
 | Evidence Binding | `evidence_adapter/adapter` | `adapter_config.json`, `adapter_model.safetensors` | Stronger alignment between claims, evidence, provenance, and validation context |
 
-Each adapter is published independently. Users can load one adapter at a time for focused evaluation, or build their own adapter-selection policy around the public artifacts.
+Each adapter is published independently. For standard PEFT loading, use one adapter at a time unless your runtime explicitly implements adapter composition or routing.
 
 ---
 
@@ -158,7 +152,7 @@ from peft import PeftModel
 import torch
 
 repo_id = "veriloop-lab/veriloop-coder-e1"
-adapter_subfolder = "evidence_adapter/adapter"  # choose one adapter
+adapter_subfolder = "evidence_adapter/adapter"  # choose one public adapter
 
 tokenizer = AutoTokenizer.from_pretrained(repo_id, trust_remote_code=True)
 base_model = AutoModelForCausalLM.from_pretrained(
@@ -240,7 +234,7 @@ VeriLoop Coder-E1 is intended for research and development in:
 - Repository understanding and patch drafting.
 - Validator-aware repair experiments.
 - Evidence-aware coding workflows.
-- Uncertainty-aware software engineering agents.
+- Uncertainty-aware software-engineering agents.
 - Harness and runtime policy research.
 
 ---
@@ -284,41 +278,41 @@ tokenizer_config.json
 generation_config.json
 special_tokens_map.json
 
- toolspec_adapter/
-   README.md
-   metrics_summary.json
-   veriloop_adapter_manifest.json
-   adapter/
-     README.md
-     adapter_config.json
-     adapter_model.safetensors
-
- uncertainty_adapter/
-   README.md
-   metrics_summary.json
-   veriloop_adapter_manifest.json
-   adapter/
-     README.md
-     adapter_config.json
-     adapter_model.safetensors
-
- rollback_adapter/
-   README.md
-   metrics_summary.json
-   veriloop_adapter_manifest.json
-   adapter/
-     README.md
-     adapter_config.json
-     adapter_model.safetensors
-
- evidence_adapter/
-   README.md
-   metrics_summary.json
-   veriloop_adapter_manifest.json
-   adapter/
-     README.md
-     adapter_config.json
-     adapter_model.safetensors
+toolspec_adapter/
+  README.md
+  metrics_summary.json
+  veriloop_adapter_manifest.json
+  adapter/
+    README.md
+    adapter_config.json
+    adapter_model.safetensors
+
+uncertainty_adapter/
+  README.md
+  metrics_summary.json
+  veriloop_adapter_manifest.json
+  adapter/
+    README.md
+    adapter_config.json
+    adapter_model.safetensors
+
+rollback_adapter/
+  README.md
+  metrics_summary.json
+  veriloop_adapter_manifest.json
+  adapter/
+    README.md
+    adapter_config.json
+    adapter_model.safetensors
+
+evidence_adapter/
+  README.md
+  metrics_summary.json
+  veriloop_adapter_manifest.json
+  adapter/
+    README.md
+    adapter_config.json
+    adapter_model.safetensors
 ```
 
 ---