Burhan Engine v0.10.0

Burhan Engine 0.10.0 turns proof and evaluation into a stronger evidence gate.

Highlights:

• Public pytest proof runtime pinned by immutable GHCR digest.
• Safe sandbox verification for unified diffs from Aider, OpenHands, Copilot, and other tools.
• Conservative repairs for AttributeError, local import typos, literal KeyError, and TypeScript/JavaScript undefined identifiers.
• Separate diagnostic accuracy, exact patch success, diagnostic false positives, and patch false positives.
• Pinned reproducible BugsInPy experiment: 1/1 external fail-to-pass patch verified at V2 and 0/3 patch false positives.

Verification:

• 641 tests and 25 subtests passed; coverage 89%.
• Internal benchmark: diagnostic 100%, patch 4/4, diagnostic false positives 0%, patch false positives 0/9.
• Python 3.11/3.12, Docker, CodeQL, PyPI trusted publishing, and GHCR completed successfully.

License:
Version 0.10.0 is published under LicenseRef-Custom-Attribution with the complete terms in LICENSE. Earlier artifacts retain their originally declared terms; this release does not retroactively relicense them.

Burhan Engine v0.9.0

Burhan Engine 0.9.0

إصدار يضيف بنشمارك تشخيصيًا قابلًا للتكرار وفهرسة متزايدة وعائلات تشخيص أعمق، مع تشديد بوابات الاختبار والنشر.

أبرز التغييرات

• بنشمارك محلي: 56 حالة عبر 10 عائلات، ودقة تشخيص Top-1 وTop-3 مقدارها 100% على المجموعة المضمنة.
• ربط معالجات KeyError وasync ومخرجات TypeScript القياسية بمسار BurhanAnalyzer، بما يشمل TS2322.
• فهرسة متزايدة LRU وتحسين فهرسة Python للوراثة ومواضع الاستخدام ورموز الاختبارات.
• واجهات ProofCertificateV3 وبصمة المشروع الآمنة؛ شهادة V3 ليست بعد مسار CLI مكتملًا.
• تنقيح الأسرار والمسارات لمزود LLM الاختياري، الذي يظل stub معطلًا افتراضيًا.
• حماية symlink/junction لبصمة المشروع وحماية SARIF من overwrite عبر الملف المؤقت.
• تثبيت صورة Docker وGitHub Actions، وإضافة CodeQL وبوابات Ruff والتغطية والبنشمارك.

التحقق

• 550 اختبارًا ناجحًا + 18 subtest.
• تغطية مصدرية 89%.
• Python 3.11 و3.12 ناجحان في CI.
• Docker build وCodeQL ناجحان، ولا توجد تنبيهات CodeQL أو أسرار مفتوحة وقت الإصدار.

ملاحظة: أرقام Top-1 وTop-3 تقيس تصنيف التشخيص في مجموعة البنشمارك؛ لا تمثل معدل نجاح إصلاحات مثبتة داخل sandbox.

صورة GHCR

ghcr.io/mwthrc23-ui/burhan-engine@sha256:b94fc3d82eef711c35753d21a90be325f4d558f0fcf686ebb9a08c6adecc716e

Burhan Engine v0.8.1

Burhan Engine 0.8.1

إصدار تصحيحي يحسّن توافق مخرجات CLI مع طرفيات Windows ذات ترميز cp1256.

الإصلاحات

• منع UnicodeEncodeError في burhan doctor و--explain.
• تحويل المحارف الديناميكية غير القابلة للترميز إلى Unicode escapes آمنة بدل انهيار الأمر.
• جعل burhan doctor --json ASCII-safe مع استعادة القيم الأصلية عبر محلل JSON.
• استبدال رموز الحالة غير المحمولة بصيغ [OK] و[WARN] و[FAIL] واستخدام -> للاقتراحات.

التحقق

• 372 اختبارًا ناجحًا و18 subtest.
• تغطية إجمالية 93%.
• wheel وsdist اجتازا twine check والتثبيت المعزول.
• CI نجحت على Python 3.11 و3.12، وبناء Docker نجح.
• PyPI وGHCR تحققا بعد النشر.

التثبيت

python -m pip install --upgrade "burhan-engine==0.8.1"

صورة الحاوية:

docker pull ghcr.io/mwthrc23-ui/burhan-engine:0.8.1

Digest:

sha256:b7c0c7c13da511eeffb29df9eee75dd14178a346b72737e2136f7bf489b898a1

Burhan Engine v0.8.0

What's Changed

• feat: Burhan Engine v0.8.0 – Evidence Graph V2, multi-candidate hypotheses, sandbox, SARIF, intelligence provider, doctor command by @mwthrc23-ui with @Copilot in #13
• chore: release Burhan Engine 0.8.0 by @mwthrc23-ui with @Copilot in #14
• fix: sanitize SARIF paths across platforms by @mwthrc23-ui in #15

Full Changelog: v0.7.1...v0.8.0

Burhan Engine v0.7.1 - AGPL-3.0

ما الجديد

• اعتماد الترخيص GNU AGPLv3 فقط (AGPL-3.0-only) لكامل Burhan Engine.
• تضمين نص الترخيص الرسمي داخل الحزم المنشورة وبيانات SPDX الوصفية.
• توضيح التزام إتاحة الشيفرة المصدرية الكاملة للنسخ المعدلة التي يتفاعل معها المستخدمون عبر الشبكة.
• تحديث رقم الإصدار إلى 0.7.1 دون تغيير سلوك محرك الإصلاح.

التحقق

• 191 اختبارًا ناجحًا، إضافة إلى 18 اختبارًا فرعيًا.
• فحص Ruff ناجح.
• فحص pip-audit: لا ثغرات معروفة.
• نشر PyPI وصورة GHCR نجحا عبر GitHub Actions.

تنبيه: AGPL يفرض شروطه على البرنامج والأعمال المشتقة منه؛ ولا يحوّل تلقائيًا الخدمات المنفصلة والمجمعة معه إلى أعمال مشتقة.

Burhan Engine v0.7.0 — Evidence Gate

Burhan Evidence Gate

يحوّل الإصدار 0.7.0 بُرهان من محرك تشخيص تجريبي إلى أول مرحلة تجارية قابلة للاستخدام داخل CI.

الجديد

• أمر burhan ci-gate بعقد خروج ثابت 0/1/2.
• سياسة مؤسسية JSON صارمة تتطلب V2/Docker افتراضيًا.
• تقرير قرار منقح يربط بصمات السياسة والمشروع وأمر الاختبار وبيئة التشغيل.
• إثبات fail-before/pass-after مع حماية المشروع الأصلي.
• تقوية حدود المسح والنسخ والـmanifest والروابط وWindows reparse points.
• مثال سياسة محمية ومسار GitHub Actions موثق.

التحقق

• 190 اختبارًا ناجحًا على المسار المحلي؛ CI نجح على Python 3.11 و3.12.
• التغطية 86.55%.
• wheel وsdist اجتازا Twine، والنشر تم عبر PyPI Trusted Publishing.
• صورة GHCR بُنيت ونُشرت بعد نجاح PyPI.

قيد معروف

صورة Docker المضمنة لمسار pytest ما زالت placeholder وتفشل مغلقًا. استخدم صورة pytest خاصة مثبتة بـSHA-256 أو مسار Python/Docker الموثق إلى أن تُنشر الصورة الرسمية.

PyPI: https://pypi.org/project/burhan-engine/0.7.0/