Skip to content

README.fa.md

Latest commit

 

History

History
351 lines (267 loc) · 13.1 KB

README.fa.md

File metadata and controls

351 lines (267 loc) · 13.1 KB
Raw

English · فارسی

لوگوی Rynix

Rynix

زبان سیستم‌محور بومی هوش مصنوعی — Zero-GC، فایبر بی‌رنگ، گیت‌های صادقانه، Niche-10 گواهی‌شده.

CI نسخه لایسنس Rust فازها Niche-10 حافظه AI

.ryx · rynixc · نقشه راه · Niche-10 · نصب

این فایل ترجمهٔ همراهِ README.md است. منبع حقیقت انگلیسی است؛ در تعارض، نسخهٔ انگلیسی اولویت دارد.

فهرست مطالب

پرش به بخش

Rynix چیست؟

زبان سیستم برای انسان و عامل: یک املای کاننیکال برای هر سازه (def/end)، JSON ساخت‌یافتهٔ rynix.diag.v1، و سطوح CLI/MCP/LSP بدون اسکرپ کردن stdout.

فیلد جزئیات
نسخه کریت 0.1.0 · انتشار v0.1.1 / v0.2.0 — فازهای ۰–۳۸ (ROADMAP)؛ Niche-10 گواهی‌شده
کامپایلر فضای کاری Rust — MSRV 1.98
رانتایم C (rt/) — فایبر، TCP، JSON/HTTP، TLS/WS/crypto، io_uring / IOCP
بک‌اند LLVM متنی → clang ThinLTO؛ emit-wasm بدون WASI
اثبات تست درختی + CI — PRODUCTION_READINESS

Rynix چه چیزی نیست

برداشت اشتباه واقعیت
فقط نمایش بنچمارک پایپ‌لاین کامل + رانتایم + LSP/MCP (فاز ۰–۳۸)
کلون Rust/Zig سینتکس .ryx، RIR، escape، فایبر اختصاصی
عقب‌تر از End در عمق واقعی جلو در هستهٔ shipping؛ End جلو در نمایش بروشوری — VERDICT
Niche-10 = Absolute-10 vs Go Niche-10 = سیستم+عامل+پکیج آفلاین؛ Absolute-10 رد شده
«بهترین ریپوی تاریخ» فقط ادعای قابل‌ممیزی با تست/CI

در برابر End

همان تز (AI-native، Zero-GC). داوری ممیزی (۲۰۲۶-۰۸-۲۵، peer @cf5bef3): Rynix در هستهٔ shipping جلوست؛ End در spectacle بروشور.

جدول کامل: VERDICT.md · شکاف: END_PEER_GAP.md.

بلوغ دامنه (صادقانه)

وضعیت‌ها شواهدمحوراند (تست/CI یا ADR تعویق):

دامنه وضعیت
باینری نیتیو / LLVM 🟢 Shipping
TCP / فایبر / IOCP / uring 🟢 Shipping
MCP ۱۹ ابزار + CLI عامل 🟢 Shipping
LSP + VS Code (completion/rename) 🟢 Shipping
HTTP محصولی + TLS/WS/crypto 🟢 Shipping
پکیج محلی + attest (نه Sigstore) 🟢 Shipping
WASM freestanding + host-import 🟢 Shipping
Niche-10 🟢 Certified
UI/canvas، C11، Raft، WASI کامل ⚪ Deferred / خارج

چرا Rynix

هر ✅ نقشه راه به تست یا جاب CI وصل است؛ بنچمارک اول checksum، بعد میلی‌ثانیه؛ تشخیص و graph/impact به اسکیمای JSON برای عامل‌ها.

نقشه Niche-10

flowchart LR
  P16["P16 honesty HTTP MCP"] --> P17["P17 language"]
  P17 --> P18["P18 HTTP TLS product"]
  P18 --> P19["P19 LSP MCP"]
  P19 --> P20["P20 wasm INSTALL"]
  P20 --> N10["Niche10 certified"]
Loading

جزئیات: docs/NICHE10.md.

پایپ‌لاین کامپایلر

ASCII (همه‌جا رندر می‌شود)

  .ryx source
       │
       ▼
  ┌─────────┐    ┌──────────────┐    ┌──────┐    ┌─────────┐
  │  Lexer  │───▶│ Parser / AST │───▶│ Sema │───▶│ RIR SSA │
  └─────────┘    └──────────────┘    └──┬───┘    └────┬────┘
       │                 │               │             │
       │                 └───────────────┴─────────────┤
       │                         rynix.diag.v1 ◀───────┤
       │                                             ▼
       │                              ┌──────────────────────────┐
       │                              │ Escape + region + free   │
       │                              └────────────┬─────────────┘
       │                                           ▼
       │                              ┌──────────────────────────┐
       │                              │ LLVM IR (.ll) + ThinLTO    │
       │                              └────────────┬─────────────┘
       │                                           ▼
       └──────────────────────────────▶ binary + rynix_rt (C)

Mermaid

flowchart TB
  subgraph compile["Compile path"]
    SRC[".ryx source"] --> LEX["Lexer"]
    LEX --> PAR["Parser / AST"]
    PAR --> SEM["Sema"]
    SEM --> RIR["RIR SSA"]
    RIR --> ESC["Escape + free inject"]
    ESC --> LLVM["LLVM IR"]
    LLVM --> BIN["Binary + rynix_rt"]
  end
  subgraph agent["Agent surfaces"]
    PAR -.-> DIAG["rynix.diag.v1"]
    SEM -.-> DIAG
    SEM --> GRAPH["graph / slice / impact"]
    RIR --> DUMP["dump-rir / emit-ll"]
  end
Loading

سطح فرمان rynixc

Core:     lex · parse · check · dump-rir [--opt] · emit-ll · emit-wasm · build · run · test · fmt · new
Agent:    graph · slice · impact · eval · patch · arch check
          verify · precheck · context · security · scope · deps · dna
Servers:  mcp-serve · lsp-serve

رانتایم و فایبر

  main thread                         fiber A              fiber B
      │                                  │                    │
      ├─ rynix_rt_run() ◀── scheduler ────┤                    │
      │       │                          │                    │
      │       ├─ tcp_recv (would block)  │                    │
      │       │      └─ PARKED ─────────▶│                    │
      │       ├─ run ready fiber ────────────────────────────▶│
      │       └─ io_uring CQ harvest (Linux, --runtime=uring) │
      │       └─ IOCP completions (Windows, --runtime=iocp) │
      │                                  │                    │
      └─ resume on I/O complete ◀────────┴────────────────────┘
رانتایم فلگ پلتفرم
Portable --runtime=portable پیش‌فرض ویندوز / fallback لینوکس
io_uring --runtime=uring لینوکس
IOCP --runtime=iocp ویندوز

ABI: docs/abi.md

مدل حافظه

  NoEscape ──────▶ stack slot
  ArgEscape ─────▶ caller region / bump arena
  RegionEscape ──▶ scoped region (loop / handler)
  GlobalEscape ──▶ heap + compiler-injected free

flowchart LR
  ALLOC["allocation site"] --> EA["escape analysis"]
  EA --> NE["NoEscape → stack"]
  EA --> AE["ArgEscape → caller region"]
  EA --> RE["RegionEscape → scoped region"]
  EA --> GE["GlobalEscape → heap"]
  GE --> FREE["compiler-injected free"]
Loading 
rynixc check file.ryx --explain-alloc --error-format=json

شروع سریع

# Unix
chmod +x INSTALL.sh && ./INSTALL.sh

# Windows (PowerShell)
.\install.ps1

# Manual
cargo install --path crates/rynixc --force

پیش‌نیاز: Rust 1.98+، clang روی PATH. جزئیات: INSTALL.md · INSTALL.fa.md.

cargo test --workspace
rynixc new myapp && cd myapp && rynixc build
rynixc run examples/01_hello.ryx
rynixc check examples/03_vec.ryx --explain-alloc --error-format=json
rynixc emit-wasm testdata/wasm_arith.ryx -o target/wasm_arith.wasm
rynixc deps . --attest

رفع سریع

مشکل راه
clang not found نصب clang سیستم / MinGW؛ check/fmt/MCP بدون clang کار می‌کنند
خطای لینک ویندوز --runtime=portable + هدف x86_64-pc-windows-gnu
ستون Zig در Suite5 خالی Zig اختیاری است

نمونه زبان

def main() -> i64
  let v: Vec[i64] = vec_new(0)
  v.push(1)
  v.push(2)
  let ok = true and v.len() == 2
  match ok
    true
      return v.get(0) + v.get(1)
    false
      return 0
  end
  return -1
end

ساختار/str، index assign، enum تهی‌آرگومان، HTTP محصولی و WASM host-import در SPEC و فازهای ۱۷–۲۰ مستند شده‌اند. کلکسیون‌ها Track G Vec[T]/Map[K,V] (ADR-0025).

بنچمارک

Suite5: ۱۲ الگوریتم یکسان × چند زبان؛ اول checksum، بعد زمان.

python benchmarks/suite5/run_suite5.py --langs c,rust,go,zig,rynix,end --summary

آخرین head-to-head vs End (Phase 16-A): Rynix ۱۱ · End ۱ (matrix). جزئیات و جدول: README انگلیسی § Benchmarks و benchmarks/suite5/README.md.

صداقت: opaque barrier مانع fold شمارندهٔ تحت‌اللفظی است؛ strength reduction مجاز است اگر checksum یکی باشد و در Notes افشا شود — نه «همان asm در همه زبان‌ها».

وضعیت

قلمرو جزئیات
Shipping فازهای ۰–۲۰ با گیت درختی
Niche-10 گواهی‌شده — NICHE10.md
Deferred C11، Raft، UI/canvas
خارج Niche-10 WASI کامل، Absolute-10 vs Go، CDN اجباری
لایسنس MIT OR Apache-2.0

مستندات

سند محتوا
README.md README انگلیسی (کانونیکال)
INSTALL.fa.md نصب
CONTRIBUTING.fa.md مشارکت
SECURITY.fa.md امنیت
AGENTS.fa.md راهنمای عامل
docs/README.fa.md فهرست docs
docs/NICHE10.md گواهی Niche-10
docs/ROADMAP.md فازها
docs/SPEC.md گرامر (EN normative)

SPEC، ADR و اسکیماهای JSON به‌صورت پیش‌فرض انگلیسی normative می‌مانند؛ ترجمه‌های فارسی برای رویهٔ ورود/نصب/مشارکت/امنیت/عامل است.

مشارکت و لایسنس

مشارکت: CONTRIBUTING.md · CONTRIBUTING.fa.md

لایسنس دوگانه MIT OR Apache-2.0 — LICENSE.md.

Rynix (انتشار تا v0.2.0) — برای تأیید ساخته شده، نه فقط تبلیغ. زبان‌ها: English · فارسی