۵·۱در دستگاهِ صوریِ سازگار و بهاندازهٔ کافی نیرومند، گزارههایی هست که درون همان دستگاه اثبات یا رد نمیشوند.
۵·۲چنین دستگاهی، با شرطهای قضیه، سازگاریِ کاملِ خودش را تنها از درون تضمین نمیکند.
۵·۳این حکم دربارهٔ هر ماشین و هر مدل به یک صورت نیست؛ نتیجهٔ معماری ما محدودتر است.
۵·۴گزارشِ خودِ مدل، گواهِ نهاییِ درستیِ مدل نیست.
۵·۵آزمونِ مستقل شاهدِ بهتر میدهد، اما خودش نیز دستگاهی محدود است.
۵·۶هرجا اثبات تمام نمیشود، ادعا باید حدِ خود را بگوید و حکم به انسان بازگردد.
۵·۷حکمِ انسانی یعنی مسئولیتِ نهایی؛ نه بیخطایی و نه داناییِ مطلق.
نقشهٔ ساخت
۶·۱شناسنامهٔ هر کارگاه کار، نقش، ورودی، پیششرط، عمل، منع، خروجی، شاهد، توقف، منابع و نسخه را نام میبرد.
۶·۲اگر موتور یا ابزارِ مناسب هست، همان به رابط مینشیند؛ اگر نیست، با همان پیمان و آزمون ساخته میشود.
۶·۳یک مدل نقشها را نوبتی میگیرد؛ چند مدل نقشها را جدا میکنند. صورتِ کار ثابت میماند.
۶·۴اجرا میتواند محلی بماند یا کارگاهبهکارگاه روی k3s گسترش یابد.
۶·۵توانِ مشترک با نسخه، نیازِ منابع، منشأ، سنجه و پیمان عرضه میشود؛ داده و اختیارِ مالک محلی میماند.
۶·۶در سیاست و اقتصاد، جایِ اختیار، مالکیت، هزینه و پیامدِ بیرونی دیده میشود.
۶·۷در کسبوکار و خانواده، زمان، رضایت، حریم، بازگشت و راهِ خروج دیده میشود.
۶·۸در توسعه و تولید محتوا، حالت، رابط، آزمون، منبع، حق و نسخه دیده میشود.
روش: صورت منطقی از ویتگنشتاین متقدم؛ معنا در کاربرد برای مرزبندیِ کارگاه؛ ناتمامیتِ گودل بهعنوان حد، نه آرایه.
آکسیومها
آستانه و جریان درخواست
ناری بر دروازه
ناری کارفرمای هیچ کارگاهی نیست و مدل یا ابزار ویژهای را بر دیگران مقدم نمیکند. در نقشهٔ پیمانشده، درخواست باید از ناری و گاردها بگذرد و رسید بازگردد؛ عبور کامل هنوز نیازمند آزمون است.
هر پنل بوم ثابتِ پهنای ۶۰۰ و ارتفاع ۱۰۲۴ پیکسل دارد. شناسنامهٔ کارگاه فقط محتوا و چیدمانِ درون این بوم را میسازد؛ این نما به اجرای زندهٔ rokh یا ابزار وصل نیست.
ارتفاع ۱۰۲۴ · پهنا ۶۰۰
ورودی از هستی · پیمان خواندن از rokh
مواجهه
قصد
کار اکنون و نشان پایان
اختیار
حق، سهم، نوبت و چرخه
توان
مدل و ابزار برگزیده
توقف
راه ایست و بازگشت
کارِ اکنون، شرط پایان و راه توقف را اینجا بگذار.
آستانه
ارتفاع ۱۰۲۴ · پهنا ۶۰۰
خروج به هستی · پیمان نوشتن بر rokh
عمل
پاکت
گام، ابزار، مدل و سقف
راه
کارگاه و سنجش
اثر
آنچه در جهان تغییر کرد
رسید
شاهد و راه بازگشت
خروج مطلوب باید با شاهد و راه بازگشت به دروازه برسد.
نمونهٔ نخست و مقیاس
همان پیمان؛ منابع متفاوت
در نمونهٔ نخست، مدلهای محلی و ناری در شبکهٔ محلی حاضرند. با افزایش بار، صورتِ درخواست، مرز کارگاه و شکل رسید ثابت میمانند؛ مدل، موتور، ابزار و جای اجرا میتوانند عوض شوند.
نمونهٔ محلی
ناری و مدلهای محلی جداگانه حاضرند؛ برش کامل گاردها، کارگاهها و رسیدهای مرحلهای هنوز به آزمون کامل نیاز دارد. rokh دفتر افزایشی ادعا، شاهد و تبار است؛ تصحیح قلم تازه است و داوری نهایی انسانی میماند.
نمونهٔ موجود · اتصال کامل نیازمند آزمون
درخواست←nari←گارد←کارگاه←رسید
یک مدل
یک مدل میتواند نقشها را نوبتی بگیرد. پیمان و پاسخگویی تغییر نمیکنند؛ گاردها، صف، وضعیت و مرزهای اختیار همچنان جدا میمانند. تعویض نقش باید در رسید دیده شود.
اصل معماری
کمینهٔ حافظهصف روشنراهاندازی ساده
سمفونی مدلها
هر کارگاه میتواند مدل مناسب خود را بگیرد؛ مدل، موتور و ابزار قابل تعویضاند و پاسخگویی با کارفرمای همان کارگاه میماند.
چیدمان برگزیدنی · نیازمند سنجش منابع
گزینش برای نقشگمارش منابعبازگشت مستقل
خوشهٔ k3s
در معماری هدف، کارگاهها، ابزارها و مدلها خدمتهای جدا با شناسنامهٔ سلامتاند. مدل یا توان یک کارگاه باید با شناسنامه و پیمان زماندار در شبکهٔ karvareh عرضه شود؛ دادهٔ خصوصی محلی میماند، مالکیت با عرضهکننده است و راه خروج روشن میماند.
هدف گسترش · نیازمند راستیآزمایی
مقیاس برای هر کارگاهسلامت و رسیدجابهجایی مدل
نمونهٔ محلی
هدف انتشار عمومی · هنوز آمادهٔ دریافت نیست
بکش، بچین، اجرا کن
گربهواره پوستهٔ بسته نیست. بسته برای آن چیده میشود که هرکس شناسنامهها، پرامپتها، گاردها، موتورهای جداشدنی و پوسته را بگیرد؛ منابع خود را بسنجد و یک مدل یا سمفونی دلخواه را زیر همان پیمانها بنشاند.
درخت بسته
شناسنامهکارگاهها · نقشها · مرزها · پرامپتها
گاردهامهار · گمارش · نوبت · چرخه
شناسنامهٔ تواننام و نسخه · گونه · منابع · سازگاری · ورودی و خروجی · گواه و بازگشت
پوستهشهرک · مواجهه · عمل · آستانه
استقرار و رسیدتکگره · k3s · پیوند rokh
پاکت درخواست
درخواست فقط جمله نیست؛ واحدِ قابل سنجشِ کار است. اگر یکی از خانههای زیر نامعلوم باشد، آستانه باید بپرسد یا بایستد.
قصد و صاحب حکم
چه تغییری، برای چه کسی، با مسئولیت چه کسی؟
منشأ
داده از کجا، چه هنگام و با کدام نسخه رسیده است؟
اختیار
دامنه، مخاطب، زمان انقضا و راه پسگرفتن چیست؟
منابع
سقف زمان، هزینه، پردازش و دادهٔ در دسترس چقدر است؟
پایان
چه شاهدی کار را تمامشده میکند؟
توقف و بازگشت
کِی باید ایستاد و اثرِ نیمهتمام چگونه برمیگردد؟
شناسنامهٔ کارگاه
کارگاه با نامِ مدل تعریف نمیشود؛ با نقش، مرز و آزمونش تعریف میشود. مدل و ابزار، توانِ تعویضپذیرِ همان کارگاهاند.
نقش و اختیار
کارفرما، کارمند و کارگر چه میکنند و چه نمیکنند؟
ورودی و خروجی
چه پاکتی میپذیرد و چه صورتِ رسیدی بازمیگرداند؟
توان
مدل، موتور و ابزار با نام و نسخهٔ روشن.
منابع
حافظه، پردازش، ذخیره، شبکه و سقف همزمانی.
سلامت و آزمون
نشانهٔ آمادگی، آزمونِ کوچک و رفتار هنگام شکست.
نسخه و پرامپت
پرامپت، رابط و آزمون باید با یک نسخه جفت باشند.
آیین اجرا
۱ · سنجش منابع
توان واقعی و سقف کار پیش از برپایی نوشته میشود.
۲ · گزینش کارگاه
کمینهٔ کارگاههای لازم با نسخهٔ سازگار برپا میشوند.
۳ · بستن مرز
حق، سهم، نوبت، چرخه، توقف و بازگشت آزموده میشوند.
۴ · گام کوچک
نخستین عمل کوچک، برگشتپذیر و گواهپذیر است.
۵ · دریافت رسید
اثر واقعی با شاهد، هزینه و وضع به rokh برمیگردد.
۶ · حکم بعدی
ادامه، اصلاح یا توقف با حکم انسانی آغاز میشود.
رسید عمل
خروجیِ خوشنثر رسید نیست. رسید باید بگوید در جهان چه رخ داد، چه رخ نداد و برای ادعایش چه شاهدی دارد.
وضع نهایی
کامیاب، شکستخورده، متوقف یا نامعلوم.
اثر واقعی
تغییرِ مشاهدهشده، نه صرفاً پاسخِ مدل.
شاهد
نشانی، زمان، نسخه و گواهِ مستقلِ متناسب.
هزینه
زمان، پردازش، پول و دادهٔ مصرفشده.
شکست
نقطهٔ شکست، بخشِ انجامشده و بخشِ نامعلوم.
بازگشت
راه خنثیکردن اثر یا دلیلِ برگشتناپذیری.
مرز ادعا و حریم
این صفحه شِمای عمومی شهرک را نشان میدهد؛ نام شخص، مکان واقعی، نشانی ماشین، مسیر خانه، گفتوگوی خصوصی، حافظهٔ خام و کلید در بستهٔ عمومی جایی ندارند.
درخت بسته
کارگاه
پروندهٔ کارگاه
نقشها
کارفرما
کارمندان
کارگران
کار و ورودی
کار و رفتار
ورودی
خروجی و پیوند
خروجی
پیوند
توان و وضع
مدل
موتور
ابزار
وضع
شناسنامهٔ کارگاه حاضر است؛ اتصال اجرایی باید با آزمونی تاریخدار تأیید شود.
مرز و پرامپت
حوزهٔ اختیار
پرامپت کارگاه
پیمان رفتوآمد
رفتوآمد مستقیم میان کارگاهها نیست؛ پاکت باید از ناری بگذرد و رسید باید به rokh بازگردد. اتصال اجرا نیازمند آزمون است.