
دفاع ذكاء اصطناعي للإنتاج بحماية من 7 طبقات: قيود رياضية، وصول قائم على قدرات الكائنات، إجماع O2 موزّع، أخلاقيات SVETILO. أول دفاع مفتوح المصدر ضد ThoughtVirus. BSL 1.1.
نموذج أولي بحثي للدفاع الذكي متعدد الطبقات: قابلية تفسير C4، مصنّفات مجمّعة (Ensemble)، إزالة التعتيم، محرك الأمان O₂، دفاع ThoughtVirus، ومواءمة القيم SVETILO. بدرجة ألفا — تم التحقق منه داخليًا، والتدقيق الخارجي قيد الانتظار.
الإصدار: 1.0.0-alpha | الحالة: نموذج أولي بحثي | الترخيص: BSL 1.1 (مجاني لغير الإنتاج؛ الإنتاج ← تجاري)
المؤلف: I.G. Selyutin. المؤلف المشارك لنموذج C4-META: N.I. Kovalev.
الهوية المنتجيّة (2026-08): نموذج أولي بحثي BSL / بعمق تجاري لحزمة دفاع C4 متعددة الطبقات أثقل (مجموعة مصنّفات، سقالات O₂، مختبر الفريق الأحمر) مبني علىc4protocolالمرخّص بـ Apache-2.0.
ليس بروتوكولًا مفتوحًا ثانيًا. ليس دفاع AGI إنتاجيًا معتمدًا. ليس “v8 FINAL”.
تدقيق النزاهة:docs/AUDIT-c4-meta-system-2026-08.md.
مسار الترقية:docs/PROMOTE-FROM-PROTOCOL.md(استهلاك/تثبيتc4protocol؛ دون تفريغ المجموعة في حزمة SDK الرقيقة).
GitLab Pages =public/(EN +public/ru/). إثبات لوقت التشغيل المفتوح:make conformanceفي c4protocol.
نظام C4-META هو نموذج أولي بحثي للدفاع الذكي متعدد الطبقات ينفّذ ما يلي:
Input Sanitization → Semantic Analysis → Behavioral Analysis → Meta-Observer (O₂)
value_verification.py (وليس نموذج أخلاقيات مدربًا)┌──────────────────────────────────────────────┐
│ LAYER 1: Input Sanitization │
│ Deobfuscation (homoglyphs, leetspeak, etc.) │
├──────────────────────────────────────────────┤
│ LAYER 2: Semantic Analysis │
│ 4-Classifier Ensemble: ONNX_BERT (~50ms) │
│ + RuleBased + Heuristic + LLM_SEMANTIC │
│ Dual classifier OR-logic (BERT+RuleBased) │
├──────────────────────────────────────────────┤
│ LAYER 3: Behavioral Analysis │
│ 16 AoC Defense Modules (11 original + 5 │
│ extended), Pattern matching, Trajectory │
│ anomaly detection, ThoughtVirus defense │
├──────────────────────────────────────────────┤
│ LAYER 4: Meta-Observer (O₂) │
│ Transfer entropy, BFT consensus, │
│ semantic entanglement, causal graphs, │
│ Kill-Switch, SVETILO value verification │
├──────────────────────────────────────────────┤
│ C4 Core Engine (Z₃³) │
│ pipeline_orchestrator.py, event_bus.py │
│ c4_meta_monitor.py — self-awareness deque │
├──────────────────────────────────────────────┤
│ Defenses: Anti-Deadlock, Anti-Emergence, │
│ Anti-Hijack, Circuit Breaker, O₂ Kill-Switch│
├──────────────────────────────────────────────┤
│ Red Team Lab: AOC scenarios, experiment │
│ runner, LLM client, adapters │
├──────────────────────────────────────────────┤
│ Routing: Smart Router, Quarantine, │
│ Antifragile Scoring (capped growth) │
└──────────────────────────────────────────────┘
تصويت المصنّفات الأربعة:
منطق OR مزدوج المصنّفات: يعمل BERT + RuleBased كبوابة أساسية مع تراجع OR — إذا أشعل أيٌّ منهما إشارة على الإدخال، فإنه ينتقل إلى طبقات الدفاع. لا يوجد مصنّف واحد يشكّل عنق زجاجة.
c4-meta-system/
├── v4_1/
│ ├── core/
│ │ ├── pipeline.py # Main entry points (re-exports)
│ │ ├── __main__.py # HTTP server entrypoint for Docker
│ │ ├── pipeline_stages.py # Individual processing stages
│ │ ├── pipeline_orchestrator.py # Main orchestration (thread-safe)
│ │ ├── result_factory.py # Standardized C4v4Result factory
│ │ ├── event_bus.py # Organic event bus (atexit cleanup)
│ │ └── c4_meta_monitor.py # Z³ self-awareness (deque bounded)
│ ├── security/
│ │ ├── o2_engine.py # O₂ defense (kill-switch self-DoS fixed)
│ │ ├── explainable_o2.py # O₂ explainability (sampling inverted)
│ │ ├── o2_shared.py # Window structures (@mention comms)
│ │ ├── semantic_detector.py # Concept graphs (normalized entanglement)
│ │ ├── secure_debug_endpoints.py # Debug endpoints (UTC + rate limits)
│ │ ├── hardening.py # Model signing / admin token verification
│ │ ├── behavioral_profiler.py # Drift detection (thread-safe singleton)
│ │ ├── distributed_o2.py # SQLite/Redis backend (BEGIN IMMEDIATE)
│ │ ├── swarm_orchestrator.py # Anti-virus swarm
│ │ └── ...
│ ├── defenses/
│ │ ├── anti_deadlock.py # Resource deadlock prevention
│ │ ├── anti_emergence.py # State convergence (async release fixed)
│ │ └── ...
│ ├── redteam/
│ │ ├── orchestrator.py # Main orchestrator (target_callback parsing)
│ │ ├── scenario_manager.py # AOC scenarios management
│ │ ├── adapters/ # LLM backend adapters
│ │ ├── experiment_executor.py # Async execution (FPR logic fixed)
│ │ ├── experiment_services.py # Service locator
│ │ ├── experiment_runner.py # Web UI + REST API
│ │ ├── llm_client.py # Async-safe LLM client (empty choices guarded)
│ │ └── ...
│ ├── classifiers/ # 4-classifier ensemble
│ ├── config/ # Configuration management
│ ├── access/ # Access control
│ ├── explainability/ # C4 explainability
│ ├── learning/ # Learning loop
│ ├── plugins/ # Plugin system
│ ├── quarantine/ # Quarantine management
│ ├── router/ # Smart routing
│ ├── scoring/ # Antifragile scoring
│ └── tests/ # 240 tests (19 test files)
├── formal/ # TLA+ specifications
├── models/ # ONNX model + tokenizer
├── archive/Dockerfile.prepared # Multi-stage production build (archived)
├── Dockerfile.distroless # Distroless-ready builder pattern
├── archive/docker-compose.yml.prepared # Full stack (Ollama + UI + Monitoring) (archived)
├── .dockerignore # Security-hardened exclusion list
├── infra/k8s/ # Kubernetes manifests (hardened)
└── README.md # This file
النظام جاهز تمامًا للحاويات مع إعدادات تدرك البيئة المحيطة.
# Full stack (C4-META + Ollama + UI)
docker compose --profile experiment up -d
# Build image
docker build -t c4-meta-system -f archive/Dockerfile.prepared .
# Run with local Ollama
OLLAMA_BASE_URL=http://host.docker.internal:11434 docker run -p 8080:8080 c4-meta-system
# Red Team runner
docker build -t c4-redteam -f redteam/Dockerfile.redteam.prepared .
docker run -p 8081:8081 c4-redteam
GET /health على المنفذ 8080GET /health على المنفذ 8081pip install -r requirements.txt
# Optional Docker deps
pip install -r requirements-docker.txt
python -m v4_1.core
# or explicitly
python -m v4_1.core.__main__
python -m v4_1.redteam.experiment_runner --web --port 8080
o2_engine.py يحظر كل حركة المرور عند تعطيل O2.ThreadPoolExecutor الآن بالتنظيف عبر atexit؛ وتستخدم الاستدعاءات غير المتزامنة run_coroutine_threadsafe().explainable_o2.py الآن يأخذ عينة بنسبة sample_rate بشكل صحيح بدلًا من 1 - sample_rate.o2_shared.py فقط الإشارات الصريحة @agent بدلًا من عنقود كامل الترابط.semantic_detector.py أعداد المفاهيم قبل مقارنة العتبة.blocked/ من استجابات الدفاع بشكل صحيح بدلًا من افتراض أن النجاح = حظر.نتائج قياس مرجعي كاملة عبر 4 مجموعات بيانات و2000 متغيّر عدائي من خط أنابيب دفاع C4.
راجع c4protocol/BENCHMARK_RESULTS.md للحصول على التقرير الكامل.
ملاحظة: يتطلب O₂ الموزّع مجموعة Redis للإنتاج. الوضع أحادي العقدة متاح للتطوير (راجع دليل النشر).
دفاعات C4-META قوية — لكن لا يوجد نظام مثالي. إذا وجدت مطالبة (prompt) تتجاوز المصنّف المجمّع أو وحدات دفاع AoC أو محرك O₂، فنحن نريد أن نعرف.
أبلغ عن حالات التحايل:
ما نحتاجه: المطالبة المُتحايِلة، والاستجابة المتوقعة، وطبقة الدفاع التي فشلت. نُشيد بجميع المُبلّغين في قاعة مشاهير الأمان لدينا.
C4-META v1.0.0-alpha — نموذج أولي بحثي للدفاع الذكي متعدد الطبقات. اكتمل التحقق الداخلي. التدقيق الخارجي قيد الانتظار.
quarantinedaccess/capabilities.py وsecurity/hardening.py خوارزميتي bcrypt وSHA256.ModelIntegrityVerifier استثناء RuntimeError إذا كان C4_MODEL_SIGNING_KEY غير مضبوط.explainable_o2.py (لم يعد يحجب خيط حلقة الأحداث).distributed_o2.py ليفرض فعليًا عناوين Redis المحلية (localhost) فقط._active_threat في process_message() أصبحت محمية بقفل الآن.save_to_file / load_from_file الآن بالتحليل على أساس دليل أساسي آمن بدلًا من فحص بادئة معطوب.phase3.py دائمًا بتجزئة كلا المعاملين، مما يزيل القناة الجانبية الزمنية من فرع الطول.experiment_reporter وdecision_logger وorchestrator وexperiment_runner وhardening.py ملفًا مؤقتًا + إعادة تسمية ذرّية.archive/Dockerfile.prepared الآن مستخدمًا/مجموعة عند UID/GID 1000 بشكل صريح، بما يطابق runAsUser في K8s.deployment.yaml إلى Secret باسم c4-meta-api-keys لحقن مفاتيح API؛ وأُضيف مثال على المانيفست في secrets.yaml.disable() وreenable() تجزئة CIRCUIT_BREAKER_AUTH_TOKEN.vote_debug() من C4_ADMIN_TOKEN_HASH بمقارنة زمنية ثابتة.SentimentExtractor يزيل تكرار الكلمات؛ ويقيّد ComplexityExtractor القيم إلى [0, 1]._goal_history غير المستخدم؛ ويستخدم OmegaPrioritizer بنية deque(maxlen=1000) لإخلاء بتعقيد O(1).ConvergenceMonitor وPhiAttractorCalculator.o2_shared.py الدالة datetime.now(timezone.utc) بدلًا من الكائنات الزمنية الساذجة (naive)._regenerate_session.{"status": "simulated"}._active_threat الآن عندما يكون تحليل النافذة آمنًا؛ ولم يعد لزجًا بشكل دائم بعد أول اكتشاف.vote_result.is_dangerous=True الآن نتيجة حظر بدلًا من التمرير إلى ALLOW.anon_anonymous المشترك.get_access_controller() الآن قفلًا مزدوج الفحص لمنع حالة السباق عند التهيئة.get_learning_loop() الآن قفلًا مزدوج الفحص لمنع حالة السباق عند التهيئة.pending_operations وapproved_operations محميان عبر threading.Lock.pending محمي عبر threading.Lock./v1/chat/completions بدلًا من /chat/completions المجرد.time.monotonic() بدلًا من time.time() لمنع زمن الاستجابة السالب عند تعديلات NTP.asyncio.get_event_loop() المهجورة._last_result في _analyze_window() أصبحت محمية بقفل الآن._compile_*_regex() الآن معامل الأنماط المُمرَّر بدلًا من تجاهله.filter_attack_prompt() الآن باستدعاء مرشح واحد بدلًا من عدّ الإحصائيات مرتين._get_lock() قفل خيوط لمنع السباق على إنشاء asyncio.Lock.snapshot_cognition() نسخة من C4Coordinate بدلًا من مرجع قابل للتغيير.transition_to() كائن C4Coordinate الوارد بدلًا من الاحتفاظ بمرجع._save_results() من الاجتياز قبل التحليل (resolving) ويضمن بقاء المسار داخل الدليل الأساسي.create_session() من ملكية المستخدم قبل إرجاع معرّف جلسة موجود.retryable_exceptions الافتراضية من (Exception,) إلى (ConnectionError, TimeoutError, OSError)._audit_log الآن deque(maxlen=10000) لمنع النمو غير المحدود.revoke_all_for_subject() ترتيب أقفال متسقًا (الملغاة ← المستخدمة).verify_admin_token() القيمة consume_single_use=False لتجنب حرق الرموز عند التحقق.reach_consensus() محميًا عبر threading.Lock الآن.generate_random_string() الدالة secrets.SystemRandom() بدلًا من random._describe_z_state() القيمة T=-1 بشكل صحيح.reset_threat_state() الآن فعليًا manual_quarantine وحالة الطوارئ.unquarantine_agent() التدقيق فقط عندما يكون الوكيل معزولًا فعلًا.build_report() القيم الفارغة في treatment_metrics بنفس نمط control_metrics.antifragile_growth عند 1,000,000.0 لمنع نمو الأعداد العشرية غير المحدود.| المقياس | القيمة |
|---|
| معدل اكتشاف الهجمات العدائية | 80.3% |
| درجة المتانة | 1.25 |
| اكتشاف الحالات النظيفة (AoC) | 70.9% |
| معدل الإيجابيات الكاذبة | 14.6% |
| معدل حظر C4 على LLM | 96.7% |
| تقليل ASR لـ GPT-4o-mini | 10.7% → 0.7% (93.2%) |
| تقليل ASR لـ Mistral 7B | 22.5% → 0.5% (97.6%) |
| المقياس | القيمة |
|---|
| الإصدار | 1.0.0 FINAL |
| الحالة | نموذج أولي بحثي (اكتمل التحقق الداخلي) |
| الاختبارات | 240 اختبارًا (19 ملف اختبار) |
| المصنّفات | 4 (ONNX_BERT, RuleBased, Heuristic, LLM_SEMANTIC) |
| طبقات الدفاع | 4 (تعقيم الإدخال ← الدلالي ← السلوكي ← المراقب الفوقي) |
| دفاعات AoC | 16 (11 أصلية + 5 موسّعة) |
| ThoughtVirus | دفاع من طبقتين (regex + مسار C4) |
| SVETILO | 7 أختام مدمجة |
| إصلاحات الأخطاء | تم حل 60+ عبر جولات التدقيق |
| بناء Docker | نجح (متعدد المراحل، جاهز لـ distroless) |
| مانيفستات K8s | جاهزة (مقوّاة بـ secretKeyRef) |
| الترخيص | BSL 1.1 |