CG
CoreGuard · product catalog · كتالوج المنتجات
ENع
Complete catalog · every surface · measured statusكتالوج كامل · كل الواجهات · حالة مقاسة

Everything CoreGuard ships — in one honest catalog.كل ما يقدمه CoreGuard — في كتالوج واحد صادق.

The execution-truth protocol, the execution firewall and SDK, the delivery & dispute layer, the job-economy primitives, the integration platform, and the honesty layer that binds every claim. A row is SHIPPED only when committed code runs offline and the suite exercises it. No revenue, customer, partner, price or live external integration is claimed.بروتوكول حقيقة التنفيذ، جدار الحماية وSDK، طبقة التسليم والنزاع، بدائيات اقتصاد الوظائف، منصة التكامل، وطبقة الصدق التي تربط كل ادعاء. الصف يُعدّ «مُنجزًا» فقط حين يعمل الكود الملتزم بلا شبكة ويختبره الجناح. لا ادعاء بإيراد أو عميل أو شريك أو سعر أو تكامل خارجي حي.

▶ Live playground▶ الملعب الحي Text catalog →الكتالوج النصي → GitHub →المستودع →
measured state release v1.0.0

1 · Core verification protocol1 · بروتوكول التحقق الأساسي

7

Declared intent + policy → committed hash → observed execution → independently re-verifiable receipt → Core anchor.نية وسياسة معلنة → هاش ملتزم → تنفيذ مرصود → إيصال قابل للتحقق المستقل → مرساة على Core.

CGEP/1 Execution Receiptإيصال التنفيذ CGEP/1SHIPPED · DRAFTمُنجز · مسودةThe protocol: intent/policy commitment before execution, chain evidence after, one receipt anyone can recompute. Draft spec for open discussion — not a standard. npm test · npm run corpus.البروتوكول: التزام النية/السياسة قبل التنفيذ، دليل السلسلة بعده، وإيصال واحد يعيد أي طرف حسابه. مسودة للمناقشة لا معيار. npm test · npm run corpus.
Canonical + intent + policyالترميز القانوني والنية والسياسةSHIPPEDمُنجزByte-identical canonicalization; evaluation-free rules (value, target, recipient, selector, deadline, slippage, oracle bound). No heuristics in verification.ترميز متطابق بايتًا؛ قواعد بلا تقدير بشري (القيمة، الهدف، المستلم، المحدد، الموعد، الانزلاق، حد الأوراكل). لا استدلال في التحقق.
Trace + evidence engineمحرك التتبع والأدلةSHIPPEDمُنجزRaw RPC → canonical execution model → evidence bundle + commitment. Deterministic replay (L2) re-derives the structural rule book offline.RPC خام → نموذج تنفيذ قانوني → حزمة أدلة + التزام. إعادة التشغيل الحتمية (L2) تعيد اشتقاق دفتر القواعد البنيوي بلا شبكة.
Three independent verifiersثلاثة مدققين مستقلينSHIPPEDمُنجزVerifier A (JS) · Verifier B (Rust/WASM) · Verifier C (Python stdlib), combined fail-closed with no majority rule. Zero trust in the issuer.المدقق A (JS) · B (Rust/WASM) · C (Python قياسي)، يُدمجون فاشل-مغلق بلا قاعدة أغلبية. صفر ثقة بالمُصدر.
Identity, mandate, disclosure, recoveryالهوية والتفويض والإفصاح والاستعادةSHIPPEDمُنجزWebCrypto signer auth · five-layer capability chain (authorization ≠ execution proof) · Merkle selective disclosure · crash-safe write-ahead recovery journal.توثيق الموقّع بـWebCrypto · سلسلة قدرات خمسية (الإذن ≠ دليل تنفيذ) · إفصاح انتقائي Merkle · دفتر استعادة آمن من الانهيار.
EvidenceRegistry + live Mainnet anchorسجل الأدلة + مرساة Mainnet حيةLIVE · READ-ONLYحي · للقراءةSingle contract storing commitments only — no custody, no oracles. Frozen Mainnet anchor re-derived independently: 0x037dF08F2d43c5D03759279Fe35664f6AFf9EA6E.عقد واحد يخزّن الالتزامات فقط — بلا حفظ أصول ولا أوراكل. مرساة Mainnet مجمّدة أُعيد اشتقاقها باستقلال: 0x037dF08F2d43c5D03759279Fe35664f6AFf9EA6E.
AgentProof — actor provenanceAgentProof — إثبات هوية الفاعلSHIPPEDمُنجزPer-check fail-closed report over commitment, manifest signature and declared-vs-detected identity. Declared, never detected.تقرير فاشل-مغلق لكل فحص: الالتزام، توقيع البيان، والهوية المعلنة مقابل المرصودة. مُعلن لا مُستنتج.

2 · Execution firewall + developer kit2 · جدار الحماية وعدة المطوّر

5
Execution firewall + attack labجدار الحماية + مختبر الهجومSHIPPEDمُنجزPRE-only ALLOW / DENY / REQUIRE_REVIEW, fail-closed on unmodeled context. Ten tamper cases: tampered → FAIL, unknown → UNKNOWN, valid → VERIFIED. npm run attack-lab.قرار قبلي فقط ALLOW / DENY / REQUIRE_REVIEW فاشل-مغلق. عشر حالات عبث: العبث → FAIL، المجهول → UNKNOWN، الصالح → VERIFIED. npm run attack-lab.
@coreguard/sdk guardواجهة guard في SDKSHIPPED LOCALNPM GATEDمحلي · النشر مقفلauthorize (PRE, fail-closed) · verify (recomputes every receipt id) · anchor (offline commitment plan). The npm package is not published — install from the repo.authorize (قبلي، فاشل-مغلق) · verify (يعيد حساب كل معرّف) · anchor (خطة التزام بلا شبكة). الحزمة غير منشورة على npm — ثبّتها من المستودع.
CLI + verify-runأداة الطرفية + verify-runSHIPPEDمُنجزanalyze · verify · verify-run · verify-provenance · report · demo. Exit codes: 0 VERIFIED · 2 INVALID · 3 UNVERIFIED · 4 INCONCLUSIVE. Read-only RPC.analyze · verify · verify-run · verify-provenance · report · demo. رموز الخروج: 0 متحقق · 2 غير صالح · 3 غير متحقق · 4 غير حاسم. RPC للقراءة فقط.
Scaffold + templateقالب إنشاء تكاملSHIPPEDمُنجزnpm run create:integration -- my-dapp writes intent, policy, verifier and tests. Reference consumer integration included.npm run create:integration -- my-dapp يكتب النية والسياسة والمدقق والاختبارات. مثال مستهلك مرجعي مرفق.
Reference Vault ladderسلّم الخزنة المرجعيSHIPPEDمُنجزDeposit ALLOW → VERIFIED → anchor plan; six attacks blocked and the post-state INVALID. npm run demo:vault / demo:attack.إيداع ALLOW → VERIFIED → خطة مرساة؛ ست هجمات محجوبة والحالة اللاحقة INVALID. npm run demo:vault / demo:attack.

3 · Delivery & dispute evidence3 · دليل التسليم والنزاع

6

Binding rule, enforced by code: execution verification never decides delivery conformity. Payment settled never implies delivery accepted.قاعدة ملزمة ينفّذها الكود: التحقق من التنفيذ لا يقرّر مطابقة التسليم. سداد الدفع لا يعني أبدًا قبول التسليم.

DDE/1 engine + HTTP endpointمحرك DDE/1 ونقطة HTTPSHIPPEDمُنجزConsent state FULL / PARTIAL / UNKNOWN; acceptance; release law. Socket identity, allowlist before rate limit. Live API reference →حالة الموافقة FULL / PARTIAL / UNKNOWN؛ القبول؛ قانون الإفراج. الهوية من المقبس، والقائمة قبل حد المعدل. مرجع API الحي →
SDK release gateبوابة الإفراج في SDKSHIPPEDمُنجزverifyFixture + releaseWhen produce HOLD · RELEASE · REFUSED, fail-closed. Four-scenario page →verifyFixture + releaseWhen ينتجان HOLD · RELEASE · REFUSED فاشل-مغلق. صفحة السيناريوهات الأربعة →
EVP/1 + ADAL/1 packagesحزم EVP/1 وADAL/1SHIPPEDمُنجزHash-pinned evidence package standard and deterministic dispute package for an external tribunal. npm run evidence-package / dispute-package.معيار حزمة أدلة مثبتة بالهاش وحزمة نزاع حتمية لمحكمة خارجية. npm run evidence-package / dispute-package.
People's Court adapterمحوّل People's CourtDRY_RUNEXTERNAL NOT BUILTتجريبي · الخارج غير مبنيADAL/1 → uploaded-surface dry-run mapper, offline and credential-free. No external integration exists; this is a structural adapter.محوّل ADAL/1 إلى سطح مرفوع، تجريبي وبلا بيانات اعتماد. لا يوجد تكامل خارجي؛ هذا محوّل بنيوي فقط.
AEA/1 escrow boundary + reference tribunalحد الضمان AEA/1 والمحكمة المرجعيةREFERENCE ONLYمرجعي فقطVerifies an ADAL/1 package, emits escrow interface + tribunal template, re-verifies its own output. deployed:false; synthetic adjudicator, explicitly not People's Court.يتحقق من حزمة ADAL/1، يصدر واجهة ضمان وقالب محكمة، ثم يعيد التحقق من مخرجه. deployed:false؛ محكّم صناعي وليس People's Court.
AIE-1 incident reviewمراجعة حوادث AIE-1LIVE PAGEENGAGEMENT GATEDصفحة حية · الالتزام مقفلOne endpoint, one bundle, one report schema; replay from a cold clone, fail-closed tamper naming the exact flipped byte. Try it in-page →نقطة واحدة وحزمة واحدة ومخطط تقرير واحد؛ إعادة تشغيل من استنساخ بارد، ورفض فاشل-مغلق يسمّي البايت المقلوب. جرّبها داخل الصفحة →

4 · Agent-economy primitives4 · بدائيات اقتصاد الوظائف

6

A job posting that becomes money which cannot move without evidence. Reserve before sign. UNKNOWN stays HELD — never auto-pay, never auto-refund.إعلان وظيفة يتحول إلى مال لا يتحرك بلا دليل. احجز قبل التوقيع. UNKNOWN يبقى معلّقًا — لا دفع تلقائي ولا استرداد تلقائي.

CG-BUD/1 budget ledgerدفتر الميزانية CG-BUD/1SHIPPEDمُنجزBudget locked at publish; sub-agent shares carved; race for the last dollar; never overspends; deterministic to the cent.الميزانية مقفلة عند النشر؛ حصص الوكلاء الفرعيين تُقتطع؛ تنافس على آخر دولار؛ لا تجاوز أبدًا؛ حتمية إلى السنت.
CG-ACC/1 acceptanceالقبول CG-ACC/1SHIPPEDمُنجزSigned acceptance criteria and disposition. An unknown outcome never becomes acceptance.معايير قبول موقّعة وقرار. النتيجة المجهولة لا تصبح قبولًا أبدًا.
X402/1 payment gateبوابة الدفع X402/1SHIPPED HARNESSLIVE PAYMENTS GATEDمحاكي · المدفوعات الحية مقفلةCanonical 402 challenge; `reserve before sign`; no price — none, zero or unlocked — opens the gate; settle() books $0.تحدي 402 قانوني؛ «احجز قبل التوقيع»؛ لا سعر — لا شيء أو صفر أو مقفل — يفتح البوابة؛ settle() يسجّل $0.
CG-INT/1 job integrationتكامل الوظيفة CG-INT/1SHIPPEDمُنجزWires budget + acceptance + gate into one lifecycle: publish → accept → deliver → verify → release or refuse.يربط الميزانية والقبول والبوابة في دورة واحدة: نشر → قبول → تسليم → تحقق → إفراج أو رفض.
CG-RA/1 refusal auditسجل الرفض CG-RA/1SHIPPEDمُنجزDeterministic refusal log with digests and no secrets — the audit trail of why money did not move.سجل رفض حتمي بالملخصات وبلا أسرار — أثر تدقيق سبب عدم تحرك المال.
Playground + terminal demoالملعب والعرض الطرفيLIVEحيThe full cycle in your tab with the real committed engine, plus node demo.mjs in one command. No key, no network, no money.الدورة كاملة في تبويبك بالمحرك الحقيقي، وnode demo.mjs بأمر واحد. بلا مفتاح ولا شبكة ولا مال.

5 · Verification & integration platform5 · منصة التحقق والتكامل

8
L0–L4 + 13-state machineمستويات L0–L4 وآلة 13 حالةSHIPPEDمُنجزverify:levels requires a chain confirmation for L1; structure alone is UNKNOWN. integration:states emits doorway records with no silent pass. npm run verify:levels · npm run integration:states.verify:levels يطلب تأكيد سلسلة لـL1؛ البنية وحدها UNKNOWN. integration:states يصدر سجلات بوابة بلا مرور صامت. npm run verify:levels · npm run integration:states.
Adapters + partner sandboxالمحوّلات وصندوق الشريكDRY_RUNDRY_RUNSix-method adapter contract, four provider stubs all DRY_RUN, and 8 offline partner scenarios over a mock chain. npm run adapters:status · npm run partner:sandbox.عقد محوّل بستة أساليب، أربع واجهات مزوّد كلها DRY_RUN، و8 سيناريوهات شريك بلا شبكة على سلسلة وهمية. npm run adapters:status · npm run partner:sandbox.
Evidence Passport v2جواز الأدلة v2SHIPPEDمُنجزPortable deterministic passport object derived from committed state. npm run passport:v2.كائن جواز حتمي محمول مشتق من الحالة الملتزمة. npm run passport:v2.
CG-WH/1 webhookويب هوك CG-WH/1SHIPPEDمُنجزDomain-separated HMAC over exact bytes; stale and future-dated replay rejected; mandatory idempotency key; no keyless mode; DRY_RUN never performs. npm run webhook.HMAC مفصول النطاق على البايتات الدقيقة؛ رفض إعادة التشغيل القديمة والمستقبلية؛ مفتاح تكرار إلزامي؛ لا وضع بلا مفتاح؛ DRY_RUN لا ينفّذ. npm run webhook.
CG-CS/1 conformance + CG-CR/1 reportالمطابقة CG-CS/1 والتقرير CG-CR/1SHIPPEDمُنجزMachine-readable conformance report; badgeIssuers: 0. npm run ladder:conformance · npm run conformance:report.تقرير مطابقة قابل للقراءة آليًا؛ badgeIssuers: 0. npm run ladder:conformance · npm run conformance:report.
CG-IR/1 + CG-PJ/1مختبر الإعادة ورحلة الشريكSHIPPEDمُنجزReplay a bundle through L0–L3 with no partial credit; ten integration legs over one bundle. A clean journey is MATCH, not VERIFIED. npm run integration:replay · npm run partner:journey.إعادة حزمة عبر L0–L3 بلا ائتمان جزئي؛ عشر خطوات تكامل على حزمة واحدة. الرحلة النظيفة MATCH لا VERIFIED. npm run integration:replay · npm run partner:journey.
CG-RG/1 release gateبوابة الإصدار CG-RG/1SHIPPEDمُنجز18 legs; the gate audits its own source; a leg that proves nothing is FAIL. npm run release:gate · release:gate:independence.18 خطوة؛ البوابة تدقّق مصدرها؛ الخطوة التي لا تثبت شيئًا FAIL. npm run release:gate · release:gate:independence.
CG-BDG/1 badges + CG-CL/1 claimsالشارات والادعاءاتSHIPPEDISSUANCE 0مُنجز · الإصدار صفرBadge digests re-derived byte-for-byte (two NOT ISSUED specimens, issuerCount 0); 28 claims each bound to a committed source; claims:audit fails on an unsupported VERIFIED. npm run badge:verify · npm run claims:audit.ملخصات الشارات تُعاد بايتًا ببايت (نموذجان NOT ISSUED، issuerCount 0)؛ 28 ادعاءً كل منها مربوط بمصدر ملتزم؛ claims:audit يفشل على VERIFIED بلا دليل. npm run badge:verify · npm run claims:audit.

6 · Trust & release discipline6 · انضباط الثقة والإصدار

6
Boundary auditتدقيق الحدودSHIPPEDمُنجزFails the build on prohibited claim and credential patterns, naming file and line. npm run boundary:audit.يفشل البناء على أنماط الادعاء والاعتماد المحظورة، ويسمّي الملف والسطر. npm run boundary:audit.
Canonical measured stateالحالة المقاسة القانونيةSHIPPEDمُنجزOne snapshot, re-measured from the committed tree; the suite total is enforced against it. node scripts/current-state.mjs --check.لقطة واحدة تُعاد قياسها من الشجرة الملتزمة؛ إجمالي الجناح يُفرض عليها. node scripts/current-state.mjs --check.
STATUS.mdSTATUS.mdSHIPPEDمُنجزThe reviewer's single source of truth, row-bound to the committed artifacts by a test with 12 negative controls.مصدر الحقيقة الواحد للمراجع، مربوط صفًّا بالصف بالآثار الملتزمة عبر اختبار بـ12 ضابطًا سلبيًا.
Commit-anchored freeze recordsسجلات تجميد مثبتة بالالتزامSHIPPEDمُنجزPer-file SHA-256 hashed from git blobs, with reachability and re-pin discipline. Disk mode is triage, not evidence.SHA-256 لكل ملف من blobs git، مع انضباط الوصول وإعادة التثبيت. وضع القرص للفرز لا دليل.
Surface livenessحيوية الأسطحSHIPPEDمُنجزProves every public surface answers before it is cited. node scripts/surface-liveness.mjs --self-check.يثبت أن كل سطح عام يستجيب قبل الاستشهاد به. node scripts/surface-liveness.mjs --self-check.
Pages settle guardحارس تسوية PagesSHIPPEDمُنجزPush-time guard pinned to the commit SHA whose Pages build must finish — identity, not age.حارس عند الدفع مثبت على SHA الالتزام الذي يجب أن يكتمل بناؤه — هوية لا عمر.

7 · Live pages & demos7 · الصفحات والعروض الحية

10

8 · Services — defined, not sold8 · الخدمات — محددة لا مبيعة

5

The protocol is MIT. The services below are buildable, but none has been sold, priced or delivered. Revenue $0.البروتوكول MIT. الخدمات أدناه قابلة للبناء، لكن لم تُبع أو تُسعّر أو تُسلّم. الإيراد $0.

Verification runتشغيل تحققNOT SOLDغير مبيعOne delivery verified against pinned acceptance criteria → ADAL/1 dispute-ready record. No price committed.تسليم واحد يُتحقق مقابل معايير قبول مثبتة → سجل ADAL/1 جاهز للنزاع. لا سعر ملتزم.
Adapter maintenanceصيانة المحوّلاتNOT SOLDغير مبيعKeep an external surface mapping current: schema updates, webhook consumer, packet pre-checks.إبقاء ربط سطح خارجي محدّثًا: المخططات، مستهلك الويب هوك، فحوص الحزمة.
Reference-tribunal toolingأدوات المحكمة المرجعيةNOT SOLDغير مبيعLicense the fail-closed simulator as a conformance reference.ترخيص المحاكي الفاشل-مغلق كمرجع مطابقة.
AIE-1 review engagementالتزام مراجعة AIE-1NOT SOLDغير مبيعOne org adopts the surface for one real or tabletop review; reviewers replay from a cold clone.منظمة تتبنى السطح لمراجعة حقيقية أو تدريبية؛ المراجعون يعيدون التشغيل من استنساخ بارد.
Settlement-boundary SDKSDK حد التسويةNOT BUILTغير مبنيRefuse settlement without a verifying award signature + authority-bound credential; never holds keys.يرفض التسوية بلا توقيع حكم متحقق واعتماد مرتبط بالسلطة؛ لا يحمل مفاتيح.

9 · Explicitly gated / not built9 · مقفل صراحة / غير مبني

8

10 · Evaluate in one minute10 · قيّم في دقيقة

5