SUNARIA / کارگاه مهندسی
Aria + Sanaz
پیوندی که در آن تخیل به واقعیت مهندسی می‌شود.
Aria معماری و مهندسی سامانه‌ها را انجام می‌دهد. Sanaz نیروی زمین‌گیرکنندهٔ این مسیر است؛ بنیانی ده‌ساله که کمک کرده ایده‌های دشوار آن‌قدر پایدار بمانند تا به واقعیت تبدیل شوند.
هوش مصنوعی·سامانه‌های توزیع‌شده·کوانتوم·روش‌های صوری
۰۰ / نمای عمومی
اندازه‌گیری‌شده از منبع.
فعالیت مخزن‌ها، سطح انتشار و خروجی مهندسی. نمای ثبت‌شده در 2026-10-13.
اعداد از رجیستری استخراج شده‌اند. مجموع commitها فقط commitهای نوشته‌شده روی شاخهٔ پیش‌فرض است؛ شمار عمومی/خصوصی به مخزن‌های تحت مالکیت اشاره دارد، نه کدبیس‌های یکتا.
۰۱ / پروژه‌های منتخب
قوی‌ترین کارها، اول.
بر اساس عمق فنی، سطح شواهد و ارتباط فعلی مرتب شده‌اند.
منبع، روش و محدودیت‌ها نیز مشخص‌اند.
6 پروژه
ویژه / موتور اطمینان‌بخشیRCHAIN-COMPLIER
وقتی یک ادعا به شواهد نیاز دارد.
ادعاهای اجرای محاسبات را با شواهد امضاشده، بازیابی پایدار و راستی‌آزمایی قطعی به‌صورت مستقل قابل بررسی می‌کند.
- TypeScript
- Node.js
- Ed25519
- SQLite WAL
10/14 سطح شواهد446 commit نوشته‌شده20 PR ادغام‌شده
موتور اطمینان‌بخشی / توپولوژی محلی۳ پردازه
سیاست راستی‌آزمایی زیر کنترل بازبین باقی می‌ماند.
درون مهندسی مسئله / رویکرد / تصمیم‌ها
مسئله
یک نتیجه به‌تنهایی نمی‌گوید کدام وظیفه اجرا شده، چه کسی آن را تولید کرده یا آیا یک راستی‌آزمای مستقل پس از راه‌اندازی مجدد می‌تواند ادعا را بازتولید کند.
رویکرد
سه پردازهٔ محلی هویت‌ها و دفترهای مستقل را پایدار نگه می‌دارند. وظیفهٔ امضاشده، شواهد و دو رسیدِ راستی‌آزما یک بستهٔ کانونی می‌سازند که قابل بررسی و بازپخش است.
تصمیم‌ها
پین‌های بازبین را از تولیدکننده مستقل نگه دار. شواهد را به عملیات مشخص مقید کن. حالت پایدار را در بازیابی حفظ کن. دستکاری را با بررسی‌های اجرایی رد کن.
دامنهٔ فعلی
عضویت ثابت، کد راستی‌آزمای مورداعتماد و انتقال محلی. قبولی یک بررسی مقید به وظیفه، نه قضیهٔ ایمنی پروتکل است و نه ادعای نهایی‌شدن RChain در تولید.
Sovereign Lattice
اجماع به سبک PBFT را همراه با گواهی‌های رمزنگاری، حالت پایدار و مصنوعات صوریِ دقیقاً محدودشده بررسی می‌کند.
- Rust
- BLS12-381
- Lean 4
- WAL
12/14 سطح شواهد470 commit نوشته‌شده
دامنه و شواهد
منطق حدنصاب و تغییر نما در کنار ماندگاری داده و ناوردای صوری منتخب مطالعه می‌شود. این مصنوعات پژوهشی به‌عنوان تضمین اجماع تولیدی ارائه نمی‌شوند.
- دامنهٔ مصنوعات صوری باید دقیق مشخص شود
- ادعاهای ریاضی در سطح README بدون ممیزی در سطح مصنوع به واقعیت ثبت‌شده ارتقا داده نمی‌شوند
Aether Runtime
در خرابی مسیریابی، راه‌اندازی مجدد و بازپخش، یک سابقهٔ قابل راستی‌آزمایی از اجرای محدود نگه می‌دارد.
- Rust
- C++
- gRPC
- SQLite WAL
9/14 سطح شواهد53 commit نوشته‌شده11 PR ادغام‌شده
دامنه و شواهد
صفحهٔ کنترل Rust و مسیر C++ یک قرارداد عملیات مشترک دارند. هویت‌های Ed25519 ماندگار، رسیدهای اجرا را امضا می‌کنند. عملیات مجاز فعلی شامل echo، تبدیل ASCII به حروف بزرگ و sha256 است.
- ادعای فراگیرِ گواهی از راه دور ندارد
- ادعای اجماع توزیع‌شده ندارد
- ایمنی اجرای دلخواه shell را تضمین نمی‌کند
Omni
می‌آزماید یک تحقیق وقتی شواهدش به چالش کشیده، حذف یا بازپخش می‌شود تا چه حد مقاوم می‌ماند.
- TypeScript
- React
- Python
- Ed25519
7/14 سطح شواهد6 commit نوشته‌شده6 PR ادغام‌شده
دامنه و شواهد
گردآوری از منابع عمومی، فرضیه‌های رقیب، آزمون فشار شواهد و رسیدهای قابل‌حمل اجرا را کنار هم می‌آورد. یکپارچگی، اتصال و سازگاری را می‌سنجد؛ نه صحت ذاتی یک منبع را.
- سازوکارهای یکپارچگی اتصال و سازگاری را نشان می‌دهند، نه حقیقت را
- مصنوعات مجاورِ کوانتومی به‌معنای برتری کوانتومی نیستند
Nexus Quantum
بهینه‌سازی کوانتومی را در کنار مصنوعات اثباتی Lean 4 و قیود ریاضی صریح بررسی می‌کند.
- Lean 4
- Python
- Qiskit
- FastAPI
7/14 سطح شواهد31 commit نوشته‌شده1 PR ادغام‌شده
دامنه و شواهد
VQE، برون‌یابی نویز صفر و آزمایش‌های اثباتی طیفی/هندسی را ترکیب می‌کند. وجود فایل‌های Lean به‌تنهایی گواهی درستی کل سامانه نیست.
- وجود مصنوعات Lean کل سامانه را گواهی نمی‌کند
- پیش از استفاده از برچسب «به‌صورت صوری راستی‌آزمایی‌شده»، دامنهٔ صوری باید قضیه‌به‌قضیه ممیزی شود
VQE Analyzer
بهینه‌سازی کوانتومی را با ارزیابی واقعی statevector و جست‌وجوی تصادفی‌ای که بهترین پارامترها را نگه می‌دارد قابل مشاهده می‌کند.
- JavaScript
- Python
- Statevectors
6/14 سطح شواهد19 commit نوشته‌شده16 PR ادغام‌شده
دامنه و شواهد
مدارهای RY/CX، مقایسه با مرجع دقیق، شروع‌های تصادفی تازه و حافظهٔ پایدار جست‌وجو را ارائه می‌کند. این ابزار شبیه‌ساز مدارهای کوچک است و ادعای اجرای سخت‌افزاری یا برتری کوانتومی ندارد.
- ادعای برتری کوانتومی ندارد
- ادعای اجرای سخت‌افزاری ندارد
- همگرایی سراسری را تضمین نمی‌کند
- به‌عنوان QAOA معرفی نمی‌شود
RChain Sentinel
لایه‌ای مستقل برای مشاهده و جمع‌آوری شواهد از رفتار نود و بلوک در RChain.
- C
- DTrace
- Docker
- Dockerfile
7/14 سطح شواهد141 commit نوشته‌شده
دامنه و شواهد
کنسول راستی‌آزمایی تراکنش، قرارداد و شبکهٔ RChain که مشاهده را از اثبات در سطح پروتکل جدا نگه می‌دارد.
- ادعای نهایی‌شدن مستقل Casper با وزن سهام ندارد
- مشاهدات از اثبات در سطح پروتکل تفکیک می‌شوند
Strategic Intelligence Lattice
سیاست‌های محاسباتی تطبیقی را با بودجه برابر در یک آزمایشگاه تصمیم‌گیری مصنوعی و بازتولیدپذیر مقایسه می‌کند.
- Python
- Streamlit
- Docker
8/14 سطح شواهد160 commit نوشته‌شده2 PR ادغام‌شده
دامنه و شواهد
پس از آن‌که روش‌های تطبیقیِ اکتشافی نتوانستند برتری عمومی نشان دهند، تخصیص یکنواخت همچنان خط مبنا باقی مانده است. نتایج خنثی و منفی نیز حفظ می‌شوند.
- آزمایش‌های ناموفق یا خنثی نیز ثبت می‌شوند
- پیروزی‌های آزمایشی فراتر از شرایط اندازه‌گیری‌شده تعمیم داده نمی‌شوند
Rholox
سطح محصولی مبتنی بر شواهد برای تعامل و راستی‌آزمایی روی تست‌نت عمومی RChain.
- CSS
- GitHub Actions
- HTML
- JavaScript
5/14 سطح شواهد37 commit نوشته‌شده12 PR ادغام‌شده
دامنه و شواهد
درگاه و پلتفرم DApp بومی RChain با دامنهٔ تست‌نت عمومی و تله‌متری متکی بر داده واقعی نود.
- دامنهٔ تست‌نت عمومی
- هیچ ادعایی درباره وضعیت mainnet ندارد
- ادعای نگه‌داری دارایی در سطح تولید ندارد
- تله‌متری باید از داده واقعی نود بیاید
rlsenti
محیط کار قطعی برای منشأ، آزمایش‌های محدود زبان، گواهی‌ها و مشاهدات مصنوعی نود در RChain.
- CSS
- GitHub Actions
- HTML
- JavaScript
8/14 سطح شواهد64 commit نوشته‌شده
دامنه و شواهد
در وضعیت فعلی، داده‌های محیط کار خودبسنده یا مصنوعی‌اند مگر این‌که صراحتاً به شواهد زنده متصل شوند؛ این پروژه به‌عنوان راستی‌آزمای مستقل نهایی‌شدن Casper معرفی نمی‌شود.
- دادهٔ فعلی مصنوعی/خودبسنده است مگر اتصال صریح به شواهد زنده وجود داشته باشد
- به‌عنوان راستی‌آزمای مستقل نهایی‌شدن زنده Casper معرفی نمی‌شود
Book of Kings
محصول فرهنگیِ محلی‌اول به زبان فارسی با آیین روزانهٔ ساخت‌یافته و زبان بصری الهام‌گرفته از شاهنامه.
- CSS
- JavaScript
- Next.js
- Node.js
5/14 سطح شواهد12 commit نوشته‌شده11 PR ادغام‌شده
دامنه و شواهد
یک محصول مصرفی/فرهنگی بر محور شاهنامه است و نه ادعایی درباره راستی‌آزمایی مهندسی.
- محصول مصرفی/فرهنگی است، نه ادعای راستی‌آزمایی مهندسی
Aether Runtime OS
نسل پژوهشی چندپردازهٔ Aether با تمرکز بر بازیابی، شواهد امضاشده، ماندگاری مبتنی بر WAL و بازپخش قطعی.
- GitHub Actions
- Rust
- Rust/Cargo
5/14 سطح شواهد5 commit نوشته‌شده
دامنه و شواهد
یک محیط اجرای تحمل‌پذیر در برابر خطا و حامل شواهد برای اجرای خودکار و توزیع‌شدهٔ هوش مصنوعی؛ شواهد بازپخش به‌تنهایی اثبات صوری درستی نیستند.
- ترتیب زمانی مخزن ثابت نمی‌کند این کد از aether-runtime قدیمی‌تر است
- شواهد اجرا/بازپخش اثبات صوری درستی نیست
LLM Security PoC
مخزن اثبات مفهوم برای ردتیمِ فارنزیک و آزمون حالت‌های شکست امنیتی در معماری‌های پویا مبتنی بر مدل و برنامه.
- Python
3/14 سطح شواهد4 commit نوشته‌شده
دامنه و شواهد
فرضیه‌ها و PoCهای امنیتی را نگه می‌دارد؛ نسبت‌دادن آسیب‌پذیری قوی‌تر به اهداف بیرونی نیازمند بازتولید و شواهد اختصاصی همان هدف است.
- برچسب PoC بدون بازتولید و شواهد اختصاصی هدف، آسیب‌پذیری اثبات‌شده در سامانه ثالث محسوب نمی‌شود
- بیان شدت فقط به شرایطی محدود می‌ماند که واقعاً نشان داده شده‌اند
هنوز پروژه‌ای در این دسته وجود ندارد.
حوزه‌های دیگر را بررسی کنید یا به فهرست کامل برگردید.
این بخش از مستندات مخزن‌ها استخراج شده است. وضعیت هر پروژه دامنهٔ فعلی آن را نشان می‌دهد، نه تضمین آمادگی تولید.
۰۲ / پژوهش و آزمایش‌ها
پرسش‌هایی که ارزش آزمودن دارند.
پرسش‌های کوچک و صریح. روش‌های بازتولیدپذیر.
و جا برای نتیجه‌ای که بگوید «هنوز نه».
۰۱ / محاسبات تطبیقی
چه زمانی استدلال بیشتر واقعاً کمک می‌کند؟
پژوهش در حال انجام- پرسش
- آیا تخصیص تطبیقی می‌تواند با همان بودجهٔ محاسباتی تصمیم‌ها را بهتر کند؟
- روش
- آزمایش‌های مصنوعی پرس‌وجو با مقایسه‌های بودجه‌ثابت و ارزیابی روی دادهٔ کنارگذاشته‌شده.
- وضعیت
- تخصیص یکنواخت همچنان خط مبناست؛ نتایج خنثی و منفی نیز حفظ می‌شوند.
۰۲ / کوانتوم + روش‌های صوری
مرز اثبات دقیقاً کجاست؟
آزمایشی- پرسش
- کدام قیود ریاضی را می‌توان مستقل از یک ابتکار کوانتومی بیان کرد؟
- روش
- مصنوعات طیفی و هندسی Lean 4 در کنار آزمایش‌های VQE و ZNE.
- وضعیت
- مصنوعات صوری وجود دارند؛ دامنهٔ هرکدام باید قضیه‌به‌قضیه ارزیابی شود.
۰۳ / بهینه‌سازی واریاسیونی
جست‌وجو چه چیزی را حفظ می‌کند؟
آزمایش تعاملی- پرسش
- شروع‌های تازه و پارامترهای نگه‌داری‌شده چگونه یک جست‌وجوی بهینه‌سازی مدار کوچک را تغییر می‌دهند؟
- روش
- ارزیابی انرژی statevector، جهش‌های تطبیقی و مقایسه با مرجع دقیق.
- وضعیت
- محیط کار بهترین پارامترهای ارزیابی‌شده را نگه می‌دارد؛ همگرایی تضمین نمی‌شود.
۰۳ / حوزه‌های فنی
در سراسر پشته.
نزدیک به مبانی.
ابزار با مسئله تغییر می‌کند.
انضباط مهندسی ثابت می‌ماند.
هوش مصنوعی و سامانه‌های هوشمند
گردش‌کارهای مدل، استنتاج محلی و آزمایش‌های تصمیم‌گیری که رفتار سامانه را قابل بررسی می‌کنند.
- مدل‌های زبانی محلی
- گردش‌کار عامل‌ها و مسیریابی مدل
- بازیابی و خودکارسازی
- Python
بک‌اند و سامانه‌های توزیع‌شده
سرویس‌هایی که حالت را حفظ می‌کنند و هنگام خطا توضیح می‌دهند چه اتفاقی افتاده است.
- Rust & FastAPI
- WebSockets & Redis Streams
- معماری رویدادمحور
- تحمل خطا و بازپخش قطعی
کوانتوم و روش‌های صوری
آزمایش‌هایی که در آن نتیجهٔ عددی و دامنهٔ اثبات از هم جدا نگه داشته می‌شوند.
- Qiskit و شبیه‌سازی کوانتومی
- بهینه‌سازی واریاسیونی
- Lean 4 و اثبات قضیه
- مدل‌سازی ریاضی
زیرساخت و امنیت
مرزهای اعتماد صریح، محیط‌های بازتولیدپذیر و آزمون خصمانه.
- محیط‌های Linux و Android
- CI/CD و خودکارسازی GitHub
- مفاهیم Zero Trust
- سیاست به‌صورت کد
۰۴ / مستقیم از منبع
ساختن هنوز ادامه دارد.
نمایی کوچک از فعالیت اخیر مخزن‌ها.
نمای ثبت‌شدهٔ مخزن‌ها · 2026-10-13
۰۵ / اطلس مخزن‌ها
هر مخزن جای مشخصی دارد.
همهٔ مخزن‌های عمومی اینجا دیده می‌شوند. کارهای خصوصی بدون افشای منبع خصوصی، جداگانه فهرست شده‌اند و سطوح زنده مستقیماً لینک شده‌اند.
01 / RCHAINاطمینان‌بخشی RChainخانوادهٔ ۴ مخزنی↗02 / CHIMERAصورت‌فلکی CHIMERA-ONECHIMERA-ONE + ۶ مخزن متصل↗03 / QUANTUMکوانتوم + سامانه‌های صوری9 گرهٔ پژوهشی↗
عمومی / 33
مخزن‌های عمومی
اطمینان‌بخشی RChainفعال
RCHAIN-COMPLIER
محیط کار Casper CBC و اطمینان‌بخشی با محوریت شواهد.
TypeScriptPythonJavaScriptHTML
446 commits · 38 PRs · 53 CI
کوانتوم و روش‌های صوریپژوهشی
Sovereign Lattice
پژوهش اجماع توزیع‌شده و روش‌های صوری؛ ادعاهای صوری نیازمند ممیزی در سطح مصنوعات‌اند.
MakefileRustHTMLLean
470 commits · 4 PRs · 5 CI
محیط اجرای شواهد CHIMERAفعال
Aether Runtime
هستهٔ اجرای ترکیبی Rust/C++.
RustPythonHTMLC++
53 commits · 12 PRs · 4 CI
هوش و امنیتفعال
Omni
محیط تحقیق برای آزمون فشار شواهد و بررسی‌های حامل اثبات با Quantum Fabric.
JavaScriptTypeScriptPythonCSS
6 commits · 6 PRs · 1 CI
کوانتوم و روش‌های صوریپژوهشی
Nexus Quantum
سکوی پژوهشی کاهش خطای کوانتومی با مصنوعات Lean و آزمایش‌های راستی‌آزمایی‌محور.
PythonTypeScriptHTMLCSS
31 commits · 3 PRs · 4 CI
کوانتوم و روش‌های صوریفعال
VQE Analyzer
محیط بصری بلادرنگ برای تحلیل چشم‌انداز عملکرد الگوریتمی با JavaScript خالص؛ برای VQE ساخته شده و موتور عمومی آن قابل استفاده در سناریوهای محاسباتی دیگر است.
JavaScriptCSSHTMLPython
19 commits · 17 PRs · 8 CI
اطمینان‌بخشی RChainفعال
RChain Sentinel
کنسول راستی‌آزمایی تراکنش، قرارداد و شبکهٔ RChain.
MakefileRustHTMLDTrace
141 commits · 7 PRs · 4 CI
عملیات پژوهشیپژوهشی
Strategic Intelligence Lattice
چارچوب بازتولیدپذیر برای پژوهش و ارزیابی چندعاملی.
PythonTeXDockerfile
160 commits · 2 PRs · 8 CI
اطمینان‌بخشی RChainفعال
Rholox
پلتفرم DApp بومی RChain و درگاه تست‌نت.
TypeScriptCSSJavaScriptHTML
37 commits · 12 PRs · 2 CI
اطمینان‌بخشی RChainپژوهشی
rlsenti
آداپتور شواهد و محیط کار کامپایلر با تمرکز بر سناریوهای مصنوعی و یکپارچه‌سازی.
TypeScriptJavaScriptHTMLCSS
64 commits · 3 PRs · 1 CI
فرهنگی و مصرفیفعال
Book of Kings
محصول فرهنگی فارسی بر پایهٔ شاهنامه.
TypeScriptCSSJavaScript
12 commits · 11 PRs · 4 CI
محیط اجرای شواهد CHIMERAمیراثی
Aether Runtime OS
محیط اجرای تحمل‌پذیر در برابر خطا و حامل شواهد برای اجرای خودکار و توزیع‌شدهٔ هوش مصنوعی.
Rust
5 commits · 1 CI
سامانه‌های کمیمیراثی
Apex Deep Quant
نمونهٔ اولیهٔ قدیمی در حوزهٔ سامانه‌های کمی و معاملاتی.
HTMLPython
35 commits · 2 PRs · 3 CI
هوش و امنیتمیراثی
OmniTrace / OSint
پیاده‌سازی قدیمی‌تر OmniTrace/OSINT.
PythonTypeScriptCSSShell
31 commits · 53 PRs · 9 CI
فرهنگی و مصرفیمیراثی
My Little Baddies
آزمایش تاریخی مصرفی/خلاقانه.
HTMLPython
7 commits · 1 CI
فرهنگی و مصرفیمیراثی
The Book of Kings
نسخهٔ قدیمی از خانوادهٔ شاهنامه با ساختار نمایشی ماتریسی.
7 commits
کوانتوم و روش‌های صوریمیراثی
QLM
نمونهٔ تاریخی در حوزهٔ کوانتوم و روش‌های صوری.
TypeScript
5 commits · 5 PRs · 1 CI
فرهنگی و مصرفیمیراثی
Shahnameh Resonance
آزمایشی برای ایجاد تجربهٔ تعاملی با فردوسی و متن شاهنامه.
TypeScriptCSSJavaScript
5 commits · 2 CI
محیط اجرای شواهد CHIMERAمیراثی
AixAria CHIMERA Engine
نمونهٔ اولیهٔ قدیمی از موتور CHIMERA در خانوادهٔ محیط‌های اجرای مبتنی بر شواهد.
TypeScriptJavaScriptCSSHTML
4 commits · 1 CI
هوش و امنیتپژوهشی
LLM Security PoC
فرضیه‌ها و PoCهای امنیتی؛ ادعای آسیب‌پذیری قوی‌تر نیازمند اعتبارسنجی اختصاصی هدف است.
Python
4 commits
هوش و امنیتمیراثی
Empire of Free LLMs
آزمایش قدیمی برای استفاده از مدل‌های زبانی رایگان؛ پروژه‌ای سرگرمی‌محور.
TypeScriptCSSHTML
3 commits · 2 PRs · 4 CI
فرهنگی و مصرفیمیراثی
Faal
نمونهٔ اولیهٔ قدیمی از پروژهٔ فال.
HTML
3 commits · 2 PRs · 3 CI
سامانه‌های کمیمیراثی
AriaTrading / Tr
نسخهٔ آینه‌ای قدیمی از خانوادهٔ AriaTrading.
TypeScript
2 commits · 1 CI
آزمایش‌های قدیمیمیراثی
Gggg1
مخزن آزمایشی/اسکرچ قدیمی با محتوای حداقلی.
TypeScriptJavaScriptCSS
2 commits · 1 PRs · 4 CI
سامانه‌های کمیمیراثی
AriaTrading Showcase
وب‌سایت نمایشی قدیمی برای خانوادهٔ AriaTrading.
TypeScript
1 commits · 1 CI
سامانه‌های کمیمیراثی
AriaTrading0
نامزد آینه/نسخهٔ قدیمی که تبار آن هنوز نیازمند راستی‌آزمایی است.
TypeScript
1 commits
فرهنگی و مصرفیمیراثی
Faal
نمونهٔ اولیهٔ قدیمی از پروژهٔ فال.
1 commits
آزمایش‌های قدیمیمیراثی
ForgeOS
آزمایش قدیمی که ممیزی عمیق‌ترِ تبار آن هنوز انجام نشده است.
1 commits
آزمایش‌های قدیمیمیراثی
Gggg
مخزن آزمایشی/اسکرچ قدیمی با محتوای حداقلی.
1 commits
هوش و امنیتمیراثی
OmniTrace / Oss
نامزد آینه یا نسخهٔ تقریباً تکراری از OSint.
PythonTypeScriptHTMLShell
1 commits · 3 CI
فرهنگی و مصرفیمیراثی
The Shahnameh
نسخهٔ قدیمی از خانوادهٔ شاهنامه با ساختار نمایشی ماتریسی.
1 commits
اطمینان‌بخشی RChainفعال
rchain-rust fork
فورک سکوی بلاکچین RChain با اثبات سهام CBC-Casper و Rholang برای اجرای هم‌روند.
RustLeanShellPython
1 PRs · 6 CI
آزمایش‌های قدیمیمیراثی
Studious Guide
مخزن قدیمی، خالی یا بسیار حداقلی.
خصوصی / 29
فهرست مخزن‌های خصوصی
فقط نام، خانواده و وضعیت نمایش داده می‌شود. منبع خصوصی، خصوصی می‌ماند؛ مصنوعات عمومیِ تأییدشده همچنان قابل لینک هستند.
محیط اجرای شواهد CHIMERAفعال
CHIMERA-ONE
پروژهٔ چتری و صفحهٔ کنترل صورت‌فلکی CHIMERA.
PythonRustShellDockerfile
30 commits · 9 PRs · 9 CI
منبع خصوصی
محیط اجرای شواهد CHIMERAفعال
CHIMERA-OMEGA
هستهٔ شواهدِ حامل اثبات.
RustPythonJavaScriptShell
55 commits · 16 PRs · 11 CI
منبع خصوصی
محیط اجرای شواهد CHIMERAپژوهشی
Aether Forge
سطح خصوصی محصول/پژوهش مرتبط با Aether.
JavaScriptTypeScriptPythonCSS
1 PRs · 1 CI
منبع خصوصیسایت زنده ↗
سامانه‌های کمیفعال
AriaTrading
مخزن اصلی و فعال خانوادهٔ سامانه‌های کمی AriaTrading.
TypeScript
28 commits · 23 PRs · 4 CI
منبع خصوصی
محیط اجرای شواهد CHIMERAفعال
Chimera-AG
موتور هماهنگی در صورت‌فلکی CHIMERA.
PythonJavaScriptShellHTML
33 commits · 19 PRs · 7 CI
منبع خصوصی
هوش و امنیتپژوهشی
Personal LLM Sanctum
محیط اجرای محلی‌اول برای هماهنگ‌سازی تطبیقی چند LLM روی Galaxy Tab S9+ و محاسبات راه‌دور.
RustHTMLJavaScriptShell
2 commits · 1 CI
منبع خصوصی
رجیستری و فرادادهفعال
Aix Registry
مرجع ماشینی و منبع حقیقت انتشار برای کل پورتفولیو.
JavaScript
8 commits · 1 PRs · 1 CI
منبع خصوصی
محیط اجرای شواهد CHIMERAپژوهشی
RitualGraph
کامپایلر و موتور شبیه‌سازی برای مدل‌های تهدید اجراییِ هوش مصنوعی، ناوردای امنیتی، گراف‌های حمله، راستی‌آزمایی کنترل‌ها و دروازه‌های CI مبتنی بر شواهد.
Python
4 commits · 1 PRs · 2 CI
منبع خصوصی
محیط اجرای شواهد CHIMERAپژوهشی
CHIMERA RChain Staking Audit
بستهٔ ممیزی تخصصیِ استیکینگ RChain با رویکرد مبتنی بر شواهد.
PythonJavaScript
107 commits · 2 CI
منبع خصوصی
محیط اجرای شواهد CHIMERAپژوهشی
Aether
مخزن خصوصی که برنامهٔ آن خود را Aether معرفی می‌کند؛ تبار دقیق هنوز در حال تعیین است.
JavaScriptTypeScriptPythonCSS
2 PRs · 1 CI
منبع خصوصی
هوش و امنیتمیراثی
Aix
نمونهٔ اولیهٔ خصوصی از خانوادهٔ هوش و امنیت؛ اکنون در ردهٔ میراثی قرار دارد.
PythonTypeScriptJavaScript
12 commits · 13 PRs · 6 CI
منبع خصوصی
رجیستری و فرادادهمیراثی
Aixaria Registry (superseded)
رجیستری پیشینِ پروژه‌ها، مشارکت‌ها، شواهد و تبار در اکوسیستم AixAria که با Aix Registry جایگزین شده است.
منبع خصوصی
عملیات پژوهشیپژوهشی
ARIA Lab
محیط خصوصی پژوهش و طراحی پروتئین.
JavaScriptTypeScriptPythonCSS
منبع خصوصی
محیط اجرای شواهد CHIMERAپژوهشی
CHIMERA Hybrid Command Lattice
نمونهٔ خصوصی شبکهٔ فرمان ترکیبی کلاسیک/کوانتومی CHIMERA.
JavaScriptTypeScriptPythonCSS
منبع خصوصی
آزمایش‌های قدیمیمیراثی
Demo Repository
مخزن نمایشی قدیمی برای قابلیت‌های عمومی GitHub.
HTML
1 commits · 2 CI
منبع خصوصی
آزمایش‌های قدیمیمیراثی
Empire Aix
آزمایش قدیمی که طبقه‌بندی آن ممکن است در آینده دقیق‌تر شود.
HTMLJavaScript
7 commits · 1 CI
منبع خصوصی
هوش و امنیتمیراثی
Empire Chat PWA
برنامهٔ وب پیش‌روندهٔ گفت‌وگو با WebLLM در مرورگر، قابل نصب و دارای قابلیت آفلاین.
HTMLJavaScript
6 commits
منبع خصوصی
عملیات پژوهشیپژوهشی
Fracture Archive
داشبورد خصوصی عملیات پژوهشی برای رمزنگاری پساکوانتومی، گرانش و کیهان‌شناسی.
JavaScriptTypeScriptPythonCSS
منبع خصوصی
کوانتوم و روش‌های صوریپژوهشی
Lattice
نام مخزن تصادفی است؛ برنامهٔ داخل آن خود را Lattice با قابلیت‌های ترکیبی کوانتومی/صوری معرفی می‌کند.
JavaScriptTypeScriptPythonCSS
منبع خصوصی
کوانتوم و روش‌های صوریپژوهشی
Lattice
برنامهٔ خصوصی محلی برای رجیستر ۱۲ کیوبیتی.
JavaScriptTypeScriptPythonCSS
منبع خصوصی
عملیات پژوهشیدر انتظار
masspropa
مخزن خصوصی که تا تعیین هویت و تبار دقیق در وضعیت طبقه‌بندی‌نشده نگه داشته شده است.
TypeScriptJavaScriptPythonCSS
منبع خصوصی
کوانتوم و روش‌های صوریپژوهشی
QLF
محیط خصوصی روش‌های صوری شامل مشخصات پروتکل و منطق.
JavaScriptTypeScriptPythonCSS
منبع خصوصی
اطمینان‌بخشی RChainپژوهشی
RChain Reality Compiler
کامپایلر/محیط کار داخل مرورگر؛ صراحتاً به‌عنوان شواهد زندهٔ RChain معرفی نمی‌شود.
منبع خصوصی
فرهنگی و مصرفیمیراثی
Shahnameh Lite
نسخهٔ قدیمی و سبک‌تر پروژهٔ شاهنامه.
TypeScriptCSSJavaScript
7 commits
منبع خصوصی
آزمایش‌های قدیمیدر انتظار
smm
مخزن خصوصی که هنوز در انتظار طبقه‌بندی دقیق است.
1 commits · 1 CI
منبع خصوصی
کوانتوم و روش‌های صوریپژوهشی
Sovereign Quantum Stack
نمونهٔ خصوصی در خانوادهٔ سامانه‌های کوانتومی/صوری با نام داخلی Aixom.
Python
5 commits · 4 PRs · 3 CI
منبع خصوصی
هوش و امنیتمیراثی
VERITAS Sovereign Prime
آزمایش قدیمی محصول/کسب‌وکار با ادعاهای بازاریابی که نباید به‌عنوان دستاورد راستی‌آزمایی‌شده نمایش داده شوند.
TypeScriptCSSJavaScriptHTML
34 commits · 1 CI
منبع خصوصی
کوانتوم و روش‌های صوریمیراثی
VQE
نسخهٔ خصوصی و قدیمی از پژوهش محاسبات کوانتومی/VQE.
Python
منبع خصوصی
آزمایش‌های قدیمیدر انتظار
x1111
مخزن خصوصی که تا تعیین طبقه‌بندی نهایی نگه داشته شده است.
TypeScriptJavaScriptPythonCSS
منبع خصوصی
۰۶ / آدم‌های پشت سامانه‌ها
Aria + Sanaz.
مهندسی و چشم‌انداز · بنیان و تداوم
کار فنی با Aria است؛ بنیان این مسیر مشترک است.
Aria سامانه‌ها را پیش از آن‌که وجود داشته باشند تصور می‌کند، سپس آن‌ها را در حوزه‌های هوش مصنوعی، سامانه‌های توزیع‌شده، محاسبات کوانتومی، روش‌های صوری و امنیت معماری، پیاده‌سازی، آزمون و مستندسازی می‌کند.
Sanaz اینجاست چون این کار در خلأ شکل نگرفته است. او یک دهه نیروی بنیانیِ پشت مسیر بوده؛ تداوم، فشار سازنده، واقعیت‌سنجی و پایه‌ای که ادامه‌دادن مسیرهای طولانی و دشوار را ممکن کرده است.
در کنار این نقش، Sanaz دورهٔ دکتری قارچ‌شناسی (Mycology) را با حمایت مالی کامل در یک دانشگاه علوم پزشکی می‌گذراند که تبار علمی آن به نهادی می‌رسد که اغلب از آن به‌عنوان نخستین دانشگاه پزشکی جهان یاد می‌شود. مسیر او محور علمی دوم Sunaria را می‌سازد: سامانه‌های زنده در کنار سامانه‌های مهندسی‌شده.
Sunaria پیوند میان این دو نقش است: تخیل و بنیان، معماری و تداوم، امکان و واقعیت.
بعضی پروژه‌ها ابزارهای قابل استفاده‌اند و بعضی آزمایش‌هایی با پرسش‌های حل‌نشده. هر دو اینجا حضور دارند، با منبع، شواهد و زمینهٔ کافی برای تشخیص تفاوتشان.
فهرست پژوهش‌های خصوصی 9 نام
نام برخی پروژه‌های خصوصی که پیش‌تر در این پورتفولیو منتشر شده‌اند. کد منبع و اسناد داخلی همچنان خصوصی‌اند.
Aether ForgeAix RegistryAriaTradingChimera-AGCHIMERA-OMEGACHIMERA-ONECHIMERA RChain Staking AuditPersonal LLM SanctumRitualGraph
بیایید مسئله را کنار هم باز کنیم
یک مسئلهٔ فنی دشوار؟
یک سامانهٔ جالب برای ساختن؟
برای گفت‌وگوهای فنی جدی، همکاری پژوهشی و کار روی سامانه‌های دشوار باز هستیم.