النصف الآخر
أشياء بنيتها لأنني أردت أن تكون موجودة.
PANTHEON هو العمل. وهذا ما تنتجه الغرائز نفسها حين لا يدفع أحد مقابل النتيجة: سماء حقيقية على سطح المكتب، وجداول فلكية (ephemeris) بلا اعتماديات، وطرفية قادرة على الرسم. الانضباط نفسه، والذي يتغير هو حجم المخاطرة فقط.
GNOME Shell · GPL-2.0 · ★3
TerraFirma: سماء حقيقية فوق خلفية شاشتك.
ليست رسمًا متحركًا لسماء. إنها السماء الفعلية، محسوبة من جداول فلكية (ephemeris) وفق خط عرضك وخط طولك وساعتك.
الحلقة الساخنة قابلة للقياس عن قصد
يقع الإسقاط والغلاف الجوي في skymath.js، الذي لا يستورد شيئًا من GNOME Shell. الملف الذي لا يعمل إلا داخل جلسة لا يمكن إلا التخمين بشأنه؛ أما الملف الذي يعمل مستقلًا فيمكن قياس زمنه. هذا الحد يقوم على المنطق نفسه الذي يقوم عليه فحص النقاء الذي يُبقي نواة PANTHEON خارج طبقة التطبيق.
كتالوج النجوم والتقويم الفلكي من أطراف ثالثة ومنسوبان إلى أصحابهما في NOTICE.md. وجّهه إلى تاريخ، ثم انظر إلى الأعلى، فلهذا النوع من البرمجيات هذا هو الاختبار الوحيد الذي يُعتدّ به.
لماذا كان لا بد من نقل الحلقة الساخنة إلى الخارج → · TerraFirma على GitHub ↗
مُستخرَجة ومنشورة
ثلاث حزم خرجت منه.
النمط نفسه المتبع مع الستة الخاصة بـ PANTHEON: ابنِ الشيء، وحدّد الجزء القابل لإعادة الاستخدام فعلًا، وافصله، وانشره بشروطه الخاصة. الثلاثة كلها بترخيص MIT وقابلة للتثبيت الآن.
braillecanvas v0.4.0 · MIT
تعالج طريقة برايل 2×4 نقاط لكل خلية محرف، لذا فإن طرفية بحجم 80×24 هي في الواقع لوحة بحجم 160×96. هذا هو الفرق بين العرض الرسومي الحقيقي وفن ASCII.
الجزء المثير للاهتمام هو اللون. تحمل كل خلية لونين، أحدهما للنقاط المضاءة والآخر للفراغات، بحيث تحافظ الخلية التي تقع على حافة، بشرة مقابل سماء، على الحافة بدلًا من أن تمزجها في لون موحل. ينخفض متوسط خطأ اللون لكل نقطة في هذه الصورة من 45.7 إلى 21.3.
اختيار النقاط التي تضيء في كل خلية، بدلًا من أخذ النمط من شبكة dither ثابتة، يخفض نسبة الخلايا عديمة الملمس من 35.1% إلى 1.6%.
حدّان مذكوران في ملف README الخاص به: تحت نحو 90 عمودًا تتوقف الصور الفوتوغرافية عن العمل، ولا يمكن للعرض الأحادي اللون إظهار هذه الصورة إطلاقًا، إذ يقيس وجهها 159 في الإضاءة مقابل 192 للسماء خلفها، لذا فإن العرض بـ 1-bit هو صورة ظلية بحكم البناء.
skymaths v0.1.2 · MIT
علم الفلك الموضعي بلا تبعيات، الشمس والقمر والكواكب والشفق والشروق والغروب. مُستخرَج من جداول الأزياج (ephemeris) في TerraFirma، ثم صُحِّح: كثيرة حدود Espenak–Meeus التي استخدمها منشورة للفترة 1900–1920 فقط وكانت تُطبَّق على 1986، مما أعطى −534 ثانية لعام 1950 مقابل قيمة مقيسة قدرها +29. اكتُشف ذلك بمقارنته بتقويم فلكي منشور لا بمقارنته بنفسه.
إنه يعمل على هذا الموقع: في الوضع الداكن تكون الخلفية هي سماء كارديف في ليلة شهب البرشاويات، 13 أغسطس 2026، محسوبةً في متصفحك: 5,044 نجمًا بألوانها الحقيقية، وطور القمر، والكواكب في مواقعها آنذاك. مرّر للدوران.
npm i skymaths · npm ↗ · المصدر ↗
starwheel v0.2.3 · MIT · ★4
خريطة سماوية حية في طرفيتك، بمواقع النجوم الحقيقية لموقعك ولهذه الدقيقة، مرسومة على braillecanvas. أكثر مستودعاتي حصولًا على النجوم، والمستودع الذي علّمني أن الإصلاح الذي يحرّك بكسلات منشورة ليس الإصلاح نفسه مرتين: فهو يحدّ عدد التكرارات حيث يقصّ شقيقه، عن قصد.
/proc حقيقية: المعالج والذاكرة ومتوسط الحمل عبر نافذة زمنية متحركة. تعمل الرسوم البيانية بعرض أقل بكثير من حد 90 عمودًا الذي تحتاجه الصور الفوتوغرافية، لأنها عالية التباين أصلًا.على هذه الصفحة، الآن
الفن مُولَّد، ولا يمكن للبذرة أن تفلت.
كل قطعة فنية على هذا الموقع: الصورة الرئيسية أعلاه، وأيقونة الموقع، وبطاقات المشاركة الاجتماعية، والصور الرمزية، تخرج من مولّد PANTHEON نفسه. حتمية ومبنية على بذرة: البذرة نفسها تعطي الصورة نفسها، في كل مرة.
العقد نفسه على الجانبين
محرك من جهة الخادم يرسم بطاقات التواصل الاجتماعي ومواقع المستأجرين؛ ومحرك في المتصفح يرسم النسخة المتحركة التي تنظر إليها. القاعدة نفسها: بذرة تدخل، وفن قابل لإعادة الإنتاج يخرج.
آمن من الحقن بحكم البناء
البذرة تغذّي PRNG ولا شيء غيره. لا تُدرَج أبدًا في الترميز أو في نمط. اسم المستأجر الذي هو في الحقيقة حمولة يرسم صورة مختلفة؛ ولا يرسم وسم script. الغريزة نفسها كما في بقية النظام، مطبّقة على الزخرفة.
قابلة للتثبيت، لا للقراءة فقط
ست ضمانات، مستخلصة ومنشورة.
خرجت كل واحدة منها من PANTHEON كوعد واحد قابل للتحقق، ثم نُشرت على PyPI لتقف بذاتها. مرّت عليها وكلاء ذكاء اصطناعي عدائية، أشغّلها بنفسي وليست مستقلة، سطرًا سطرًا ووجدت عيوبًا حقيقية؛ الإصدارات أدناه هي تلك التي تلت هذه الإصلاحات، وقد تم التحقق من كل منها بالتثبيت من السجل في بيئة نظيفة وإعادة تشغيل خطوات إعادة الإنتاج الخاصة بالمراجع نفسه، لا بالثقة في سجل البناء.
pantheon-guardrails v0.3.2 · Apache-2.0
مُقيِّم دستوري لا يستخدم حَكَمًا من نماذج LLM إلا للردود عالية المخاطر، ويشترط أن يكون هذا الحَكَم نموذجًا مختلفًا عن النموذج المولِّد حتى لا يتشاركا نقاط العمى نفسها. كان سابقًا يقصّ الدرجة الخارجة عن النطاق نحو الأعلى: حَكَم يُرجع {"clarity": 99} كان يحصل على درجة كاملة 1.0 ويجتاز كل عتبة، أي حاجز حماية يفشل في وضع مفتوح. الآن، الحَكَم الذي يطلق استثناءً أو يتوقف عن الاستجابة أو يُرجع هراءً يُعدّ تقييمًا فاشلًا صريحًا يحجب افتراضيًا.
pantheon-ssrf-guard v0.2.1 · Apache-2.0
حارس خروج ثنائي الطبقات ضد SSRF يصمد أمام إعادة ربط DNS: يعيد فحص عنوان IP الذي وصل إليه المقبس فعليًا لحظة الاتصال، فيُرفض المضيف الذي يُحَل إلى عنوان عام ثم يُعاد ربطه إلى loopback أو إلى بيانات التعريف السحابية. وجدت المراجعة أن أداة الفتح كانت لا تزال تقرأ عناوين file://، لأن Python يثبّت معالجات لمخططات أخرى افتراضيًا؛ توجد الآن قائمة سماح صريحة لـ http/https عند الحدود، بما في ذلك عمليات إعادة التوجيه، ووكلاء البيئة معطّلون ما لم تطلب تفعيلهم.
pantheon-tool-sanitizer v0.3.0 · Apache-2.0
يزيل ترميز بروتوكول الأدوات وتهريب Unicode من نصوص أدوات MCP غير الموثوقة قبل وصولها إلى موجّه الوكيل. نطاقه محدد بصدق: لا يدّعي إيقاف الحقن بالنثر العادي، فتلك مشكلة معمارية لا مشكلة سلاسل نصية. إصلاحان من المراجعة: مدخل عدائي بحجم 256 kB كان يستهلك 26 ثانية من المعالج وصار يُرفض مباشرة، و"Read\nthe\tfile" لم يعد يتحول إلى "Readthefile"، لأن فاصل السطر حدّ بين الكلمات.
credit-ledger v0.3.0 · Apache-2.0
قياس محصّن ضد السحب على المكشوف فوق Postgres في نحو 150 سطرًا: 100 عملية خصم متوازية مقابل رصيد قدره 50 تنجح منها 50 بالضبط، وفوترة لمرة واحدة بالضبط مع إعادة إرسال webhook، وعزل يفرضه أمان مستوى الصفوف. كان الإصدار المنشور سابقًا يقبل خصمًا سالبًا، ما كان يدفع للعميل، ومبالغ أدنى من دقة العمود، فكانت تُفوتر 0.0000 مع الإبلاغ عن النجاح. تغطي الآن قاعدة مبالغ واحدة كل المسارات، وهناك ترحيل مُختبَر لقواعد البيانات الموجودة أصلًا.
pantheon-ical v0.3.1 · Apache-2.0
iCal ذهابًا وإيابًا (RFC 5545) لتقويمات الحجز في أقل من 200 سطر. فترة انشغال مُسقطة تُقرأ على أنها متاحة، لذا فالصمت هو الإخفاق الخطير: التقويم ذو الحجم الزائد يُرفض بدل أن يُقتطع، والقاعدة المتكررة التي تتجاوز الحد تُصرّح بذلك بدل أن تُرجع قائمة ناقصة. الإصلاح الأخير حدّ العمل وليس النتيجة فقط: كانت قاعدة عدائية من سطر واحد تبني 34 مليون تكرار على مدى 76 ثانية قبل رفضها؛ أما الآن فتتوقف عند 401.
pantheon-rls v0.1.1 · Apache-2.0
عزل المستأجرين بوصفه ضمانًا في Postgres لا عادةً على مستوى التطبيق: force-RLS مع صلاحيات بالحد الأدنى، بحيث ترفض قاعدة البيانات نفسها القراءة والكتابة عبر المستأجرين. مغلق عند الإخفاق بحكم البنية، فغياب سياق المستأجر يُرجع صفر صفوف، وليس كل الصفوف أبدًا، وهذا هو نمط الإخفاق المهم عندما يصل خطأ إلى بيئة الإنتاج في الساعة 3 فجرًا.
كل إصلاح أعلاه جاء بالطريقة نفسها: أعِد إنتاج العيب أولًا، وأصلح الحدّ لا العَرَض، ثم أثبت أن الاختبار الجديد يفشل عند إعادة الخلل. الاختبار الذي لا يمكن أن يفشل ليس دليلًا.
ما يعمل عليه
الحزمة التقنية مملّة. الحدّ ليس كذلك.
Python 3.12، وFastAPI، وPostgres، وRedis، وReact مع Vite، وDockerfile واحد خلف nginx. لا شيء من ذلك قرار يستحق الإعجاب، فهذه هي الأجزاء التي تختارها كي يتجه انتباهك إلى ما يهم فعلًا.
146 ملفًا · 14,002 سطرًا
pantheon-core: الطبقة الأساسية. مستقلة عن المجال بموجب عقد: لا يجوز لها الاستيراد من residents أو bundles، وهناك فحصان مستقلان يُفشلان CI عندما يحدث ذلك.
210 ملفًا · 24,216 سطرًا
اختبارات، مقابل 38,816 سطرًا من Python. أنا لا أكتب التنفيذ بيدي، لذا فإن مجموعة الاختبارات ليست شبكة أمان. إنها المواصفة، وهي الأثر الذي أكتبه أنا فعلًا.
خمس طبقات، طريقة واحدة
architect · runtime · guardrails · substrate · primitives، مع إبقاء providers عمدًا خارج المكدّس، لأنه يقع تحت طبقتين في آن واحد، والعقد يصرّح بذلك علنًا بدلًا من الالتفاف عليه.
تلك الحدود هي السبب في إمكانية استخراج ستة مكونات ونشرها كمكتبات مستقلة، إذ كان الاستخراج في معظمه نقلًا لملفات لم يُسمح لها قط بالوصول إلى الطبقات الأدنى. النسخة المطوّلة، بما فيها الجزء الذي أخطأت فيه →
الشخص نفسه، القواعد نفسها، مخاطر أقل.
لا أحد يدقّق خلفية شاشة. السبب في أن هذه مبنية بهذه الطريقة هو أنها الطريقة الوحيدة التي أعرف أن أبني بها: أقيسها، وأستخرج الجزء القابل لإعادة الاستخدام، وأنشر حدودها معها، وأتحقق من الأرقام مقابل شيء خارج البرنامج.
اسأل عن أي جزء من هذا العمل.
- ما الدور الذي يبحث عنه Isaac؟
- أيٌّ من هذه يعمل في بيئة الإنتاج؟
- أرني خطأً برمجيًا حقيقيًا وجده وأصلحه