2 2 days ago

Autonomous program repair and self-healing coding agent evaluated on SWE-bench Verified. Powered by Tokenectomy.

ollama run kronumos/Kronumos-2-kairos

Details

2 days ago

73f3cce3aa06 · 4.7GB

qwen2
·
7.62B
·
Q4_K_M
{{ if .System }}<|im_start|>system {{ .System }}<|im_end|> {{ end }}{{ if .Prompt }}<|im_start|>user
You are Kronumos, an autonomous software-repair and program repair agent. You analyze runtime failur
{ "stop": [ "<|im_start|>", "<|im_end|>" ], "temperature": 0.2, "top

Readme

Kronumos 2 Kairos

Cost-bounded automated program repair with a Dual-Brain Cybernetic Sub-Cortex.

Kronumos 2 Kairos pairs a fine-tuned 7B open-weight code model (Qwen2.5-Coder-7B-Instruct, NF4) with the Tokenectomy Dual-Brain Sub-Cortex, a zero-allocation deterministic Rust runtime. The neural layer handles fault localization and patch synthesis. The deterministic layer handles context pruning, secret redaction, POSIX hunk re-anchoring, AST validation, and healing. Patches that fail validation are withheld (Zero Dirty Diff).

Paper: Kronumos 2 Kairos: Cost-Bounded Automated Program Repair via Dual-Brain Cybernetic Sub-Cortex on SWE-bench Verified (Zenodo, v2.0.0)

How it works

  1. Prune & sanitize: Issue De-Noiser, AST frame pruning, and linear-time secret redaction (JWT, Bearer, AWS, DB URI, private keys).
  2. Synthesize: the 7B model emits a replacement patch from a scrubbed prompt (~2.5K tokens on average).
  3. Validate: path grounding, exact-offset matching, POSIX header reconstruction, AST syntax check, AST Auto-Bracket & Indentation Healer, and a git apply dry run.
  4. Gate: valid patches are submitted; everything else is withheld as an empty patch.

The loop allows up to 5 self-healing turns. Rejection reasons from the Sub-Cortex are fed back to the model. No test execution feedback is used.

Results: SWE-bench Verified (N = 500)

Official Docker harness (swebench.harness.run_evaluation), 100% container coverage, 0 infrastructure failures.

Metric Raw model (no Sub-Cortex) Kronumos 2 Kairos
Candidate patches 500 442
Withheld (Zero Dirty Diff) 0 58 (11.6%)
Clean git apply 0 / 500 442 / 442
Resolved (Pass@1) 0 / 500 8 / 500 (1.6%)
Avg. tokens per task 38,412 2,512 (-93.5%)
Total tokens ~19.2M 1,256,081
Marginal inference cost $0 $0

Ablation: AST Auto-Bracket & Indentation Healer

Stage Resolved
Pre-healer 6 / 500 (1.2%)
Post-healer 8 / 500 (1.6%)

The healer purged synthetic comments, normalized indentation, and cleaned trailing whitespace. This is a single run on a small sample.

Per-repository results

Repository Instances Patched Withheld Resolved
django/django 231 201 30 5
sympy/sympy 75 73 2 0
sphinx-doc/sphinx 44 34 10 1
matplotlib/matplotlib 34 33 1 0
scikit-learn/scikit-learn 32 29 3 1
pydata/xarray 22 18 4 1
astropy/astropy 22 18 4 0
pytest-dev/pytest 19 16 3 0
pylint-dev/pylint 10 9 1 0
psf/requests 8 8 0 0
mwaskom/seaborn 2 2 0 0
pallets/flask 1 1 0 0
Total 500 442 58 8

Evaluation scope and limitations

  • File-localized setting. 68.4% (342⁄500) of issues contain a stack trace used to find target files; the rest are localized by lexical references and AST symbol lookup. This measures patch synthesis, not unconstrained repository search.
  • No runtime feedback. The model never runs pytest or any harness during inference.
  • Low absolute resolve rate. The contribution is cost, token efficiency, and safety, not competitiveness with frontier interactive agents.
  • Training data. 1,080 trajectories from PRs outside SWE-bench, filtered by instance ID, commit SHA, and patch hash. Indirect pre-training exposure of the base model cannot be ruled out.
  • Per-turn latency and average turn count are not reported for this release.

Quickstart

ollama run hf.co/NadevA23/Kronumos-Kairos-v2-GGUF
import ollama

response = ollama.chat(
    model='hf.co/NadevA23/Kronumos-Kairos-v2-GGUF',
    messages=[{
        'role': 'user',
        'content': 'Analyze this runtime error and generate a unified diff patch:\n'
                   'ZeroDivisionError in calculate_metrics()',
    }],
)
print(response['message']['content'])

Ollama exposes an OpenAI-compatible endpoint at http://localhost:11434/v1 for clients that accept a custom base URL.

Links

🤝 Acknowledgements & Quantization Credits

  • Original model weights & architecture: Muhammad Naufal Daffa (NadevA23) / Kronumos AI
  • High-efficiency GGUF imatrix quantization: Special thanks to Michael Radermacher (mradermacher) for the high-quality importance-matrix quantizations that power this release on edge devices.
  • Model weights on Hugging Face: NadevA23/Kronumos-2-Kairos

Citation

@misc{daffa2026kronumos2,
  author    = {Muhammad Naufal Daffa},
  title     = {Kronumos 2 Kairos: Cost-Bounded Automated Program Repair via Dual-Brain Cybernetic Sub-Cortex on SWE-bench Verified},
  year      = {2026},
  publisher = {Zenodo},
  doi       = {10.5281/zenodo.23013104},
  url       = {https://doi.org/10.5281/zenodo.23013104}
}