fzy (fozzylang)

एक सामान्य-उद्देश्यीय सिस्टम भाषा और उत्पादन टूलचेन जिसमें डिफ़ॉल्ट रूप से मेमोरी-सुरक्षित भेजी गई सुरक्षित-भाषा सतह, सत्यापन योग्य शुद्धता, निर्धारित निष्पादन, और रीप्ले-प्रथम डिबगिंग शामिल है।

fzy एक उत्पादन CLI, fz, शिप करता है, जो कंपाइलर वर्कफ़्लो और निर्धारित सत्यापन दोनों के लिए है। शुद्धता, निर्धारण, रीप्ले, घटना कलाकृतियाँ, और उत्पादन साक्ष्य सामान्य वर्कफ़्लो का हिस्सा हैं, न कि बाद में विचार। भाषा का त्वरित दृश्य टूर देखने के लिए, अपने ब्राउज़र में open fzl-showcase.html के साथ शिप किए गए FZL शोकेस को खोलें। आप इसे क्यों चुन सकते हैं, इसके संक्षिप्त तर्क के लिए WHYFZY.md देखें।

रिपॉजिटरी आर्किटेक्चर नीति आंतरिक रूप से टाइप की गई है और वास्तविक सीमाओं पर केवल JSON है।

यहाँ से शुरू करें

• स्थापित करें: INSTALL.md
• पूर्ण मैनुअल: USAGE.md
• fzy क्यों: WHYFZY.md
• सिंटैक्स और कमांड उदाहरण: CODE.md
• उत्पादन वर्कफ़्लो: docs/production-workflow-v1.md
• GPU प्रोग्रामिंग और सत्यापन: docs/gpu-v1.md
• सुरक्षा और विश्वास मॉडल: docs/system-safety-trust-model-v1.md
• असुरक्षित लेखन: docs/unsafe-contract-authoring-v1.md
• स्थिरता स्तर: docs/language-stability-v1.md
• कार्यक्षेत्र नीति विरासत: docs/workspace-policy-v1.md
• परिचालन अंतर्दृष्टि: docs/operational-insights-v1.md
• fzyllm: saint0x/fzyllm

स्थापित करें

अनुशंसित स्थापना:

curl -fsSL https://raw.githubusercontent.com/saint0x/fzy/main/install.sh | sh

यह fz को ~/.local/bin में स्थापित करता है, यदि आवश्यक हो तो PATH अपडेट करता है, और fz version और fz env के साथ स्थापना की पुष्टि करता है।

स्रोत फ़ॉलबैक:

curl -fsSL https://raw.githubusercontent.com/saint0x/fzy/main/install.sh | sh -s -- --from-source

त्वरित दृष्टि

सबसे तेज़ अवलोकन चाहते हैं? open fzl-showcase.html के साथ fzl-showcase.html खोलें, उत्पाद तर्क के लिए WHYFZY.md को स्किम करें, फिर नीचे दिए गए नमूने का उपयोग एक संक्षिप्त निष्पादन योग्य स्केच के रूप में करें।

use core.log;
use core.path;
use core.process;
use core.time;

enum Mode {
    Fast,
    Safe,
}

trait Scorer {
    fn score(endpoint: Url) -> i32;
}

struct HttpScorer {}

impl Scorer for HttpScorer {
    fn score(endpoint: Url) -> i32 {
        discard endpoint;
        return 7;
    }
}

struct Config<TEndpoint> {
    retries: i32,
    endpoint: TEndpoint,
    mode: Mode,
}

fn weight(mode: Mode) -> i32 {
    match mode {
        Mode::Fast => return 3,
        Mode::Safe => return 1,
        _ => return 1,
    }
}

async fn boost(v: i32) -> i32 {
    checkpoint()
    return v + 1
}

fn normalize<T: Scorer>(cfg: Config<Url>) -> i32 {
    return weight(cfg.mode) + T.score(cfg.endpoint)
}

async fn run_once(cfg: Config<Url>) -> i32 {
    let base = normalize<HttpScorer>(cfg)
    return await boost(base)
}

fn main() -> i32 {
    let cfg = Config { retries: 4, endpoint: url.parse("https://example.test"), mode: Mode::Fast }
    let now = time.now()
    let out_path = path.join("tmp", "score.log")
    let mode = process.argv_or(1, "showcase")
    let score = normalize<HttpScorer>(cfg)
    log.info("snippet.run", out_path)
    discard mode
    discard run_once
    if score + now > 0 then return score
    return score
}

व्यापक भाषा कवरेज के लिए, CODE.md, examples/, और ब्राउज़र-अनुकूल FZL शोकेस का उपयोग करें।

फ्रेमवर्क पैकेज सामान्य पैकेज नियमों का पालन करते हैं: उन्हें fozzy.toml में [deps] के तहत घोषित करें, फिर उन्हें स्रोत में use fzbounds;, use fzweb;, और समान पैकेज नामों के साथ आयात करें। सीधे स्रोत जाँच जैसे fz check src/services/mod.fzy --json अब मालिक पैकेज संदर्भ के माध्यम से मान्य होते हैं, इसलिए निर्भरता आयात और सहोदर मॉड्यूल पूर्ण-प्रोजेक्ट जाँचों में समान व्यवहार करते हैं।

fzy में क्या है

• fz: बिल्ड, रन, टेस्ट, वेरिफाई, डॉक्स, IR, RPC, हेडर, ABI जाँच, और अधिक के लिए कंपाइलर CLI
• अंतर्निहित फ़ॉर्मेटिंग और डॉक्स जनरेशन: fz fmt, fz doc gen
• फ्रंट-एंड और IR पाइपलाइन: crates/parser, crates/ast, crates/hir, crates/fir
• सत्यापनकर्ता और सुरक्षा प्रवर्तन: crates/verifier
• निर्धारित रनटाइम प्राइमिटिव: crates/runtime
• ड्राइवर और आर्टिफैक्ट ऑर्केस्ट्रेशन: crates/driver
• निष्पादन योग्य Fozzy परिदृश्य: tests/*.fozzy.json

वर्तमान स्थिति

आज कार्यान्वित और मान्य:

• सामान्य-उद्देश्यीय सिस्टम-भाषा का दायरा, कोई विशेष एकल-डोमेन उपकरण नहीं
• डिफ़ॉल्ट रूप से सुरक्षित, स्पष्ट असुरक्षित द्वीपों के साथ, कंपाइलर-जनित असुरक्षित इन्वेंट्री/डॉक्स, और alloc(...) / free(...) के माध्यम से ऑप्ट-इन मैन्युअल मेमोरी प्रबंधन
• सामान्य कोड और unsafe { ... } द्वीपों में वास्तविक रनटाइम defer शब्दार्थ, ताकि निर्धारित सफाई को केवल दस्तावेज़ित करने के बजाय लागू किया जाए
• सत्यापनकर्ता-प्रवर्तित स्वामित्व, उधार, क्षमता, FFI, और मूल-कम करने योग्यता नियम
• उस मॉडल के भीतर स्पष्ट मैन्युअल मेमोरी प्रबंधन समर्थित है, जिसमें स्वामित्व-जागरूक alloc(...) / free(...) प्रवाह और सत्यापनकर्ता-दृश्य जीवनचक्र जाँच शामिल हैं
• सामान्य उत्पादन गेट के रूप में निर्धारित ट्रेस, रीप्ले, और शेड्यूलर सत्यापन
• फ़ाइलसिस्टम, प्रक्रिया, और HTTP व्यवहार के लिए होस्ट-समर्थित विश्वास पथ
• निर्धारित शेड्यूलर मोड: fifo, random, coverage_guided
• async, थ्रेड, और RPC निष्पादन के लिए निर्णय कलाकृतियाँ
• RPC फ्रेम घटनाएँ: rpc_send, rpc_recv, ,

उत्पादन दावे

fzy आज इन उत्पादन दावों का समर्थन करने के लिए तैयार है:

• शिप की गई सुरक्षित-भाषा सतह दस्तावेज़ित सत्यापनकर्ता/कंपाइलर नियम दायरे में डिफ़ॉल्ट रूप से मेमोरी-सुरक्षित है, स्पष्ट ऑडिटेड असुरक्षित सीमाओं और ऑप्ट-इन स्वामित्व-ट्रैक किए गए मैन्युअल मेमोरी प्रबंधन के साथ
• आंतरिक कंपाइलर/रनटाइम/टूलिंग शब्दार्थ एक टाइप किया गया सत्य का स्रोत बना रहता है, JSON केवल बाहरी सीमाओं, उत्पन्न कलाकृतियों, और ऑपरेटर-सामना करने वाले मशीन आउटपुट के लिए आरक्षित है
• alloc(...) / free(...) सुरक्षित कोड में रहता है जब कंपाइलर अभी भी स्वामित्व, उत्पत्ति, और सफाई निष्पादन को सत्यापित कर सकता है
• सत्यापनकर्ता, निदान, निर्धारित परीक्षण, रीप्ले, और CI कलाकृतियों के माध्यम से सत्यापन योग्य शुद्धता
• रिकॉर्ड किए गए ट्रेस, रीप्ले, और शेड्यूलर नियंत्रण के माध्यम से निर्धारित निष्पादन
• async/कार्य, RPC, ADTs, ट्रेट्स/जेनेरिक्स, प्रक्रिया नियंत्रण, टर्मिनल I/O, लॉगिंग, फ़ाइलसिस्टम/पथ, टाइप किया गया आंतरिक स्थिति, सीमा JSON, और स्ट्रीमिंग HTTP में सामान्य-उद्देश्यीय सिस्टम कवरेज
• fzweb के माध्यम से उत्पादन वेब/सेवा कवरेज और सुरक्षा प्राइमिटिव जो सत्र/कुकी/प्रमाणीकरण प्रवाह को समर्थित रनटाइम सतह के अंदर रखते हैं

यह भी देखें:

• docs/system-safety-trust-model-v1.md
• docs/production-memory-model-v1.md
• docs/production-workflow-v1.md

बिल्ड और परीक्षण

cargo check --workspace
cargo test --workspace

कोर CLI

# वर्तमान निर्देशिका या लक्ष्य पथ में एक प्रोजेक्ट को स्कैफोल्ड करें
fz init [path] [--name पैकेज] [--template minimal|rust|ts] [--with run,fuzz,explore,memory,host|all] [--force]

# स्रोत/प्रोजेक्ट बनाएँ
fz build [path] [--release] [--lib] [--threads N] [--backend llvm|cranelift] [--pgo-generate|--pgo-use फ़ाइल] [-l lib] [-L path] [-framework name] [--json]

# स्रोत/प्रोजेक्ट या .fozzy परिदृश्य चलाएँ
fz run [path] [--det] [--strict-verify] [--seed N] [--record path] [--host-backends] [--backend llvm|cranelift] [--max-seconds N] [--exit-on-healthcheck URL] [--smoke-http URL] [-- <args>] [--json]

# स्रोत/प्रोजेक्ट या .fozzy परिदृश्य का परीक्षण करें
fz test [path] [--det] [--strict-verify] [--sched fifo|random|coverage_guided] [--seed N] [--record path] [--backend llvm|cranelift] [--filter substring] [--json]

# सत्यापन/जाँच/डॉक्स/टूलिंग
fz fmt [path ...] [--check] [--json]
fz check [path] [--json]
fz verify [path] [--json]
fz lint [path] [--tier production|pedantic|compat] [--json]
fz dx-check [project] [--strict] [--json]
fz spec-check [--json]
fz emit-ir [path] [--json]
fz perf [--artifact artifacts/bench_core_rust_vs_fzy.json] [--json]
fz stability-dashboard [--json]
fz parity [path] [--seed N] [--json]
fz audit unsafe [path] [--workspace] [--json]
fz vendor [project] [--json]
fz abi-check <current.abi.json> --baseline <baseline.abi.json> [--json]
fz debug-check [path] [--json]
fz pgo merge [path] [--out फ़ाइल] [--json]
fz lsp diagnostics [path] [--json]
fz lsp definition <path> <symbol> [--json]
fz lsp hover <path> <symbol> [--json]
fz lsp rename <path> <from> <to> [--json]
fz lsp smoke [path] [--json]
fz lsp serve [--path <workspace>] [--json]
fz map suites [--root dir] [--scenario-root dir] [--profile pedantic|production|compat] [--json]
fz artifacts ls latest [--json]
fz report show latest [--format json|text] [--json]
fz usage [--json]
fz env [--json]
fz version [--json]
fz inspect stdlib <module> [--json]
fz schema [--json]
fz validate <scenario> [--json]
fz trace verify <trace> [--strict] [--json]
fz replay <trace> [--json]
fz shrink <trace> [--json]
fz ci <trace> [--json]
fz trace-native <trace.fozzy> [--out path] [--json]

# FFI / RPC / docs आउटपुट
fz headers [path] [--out path] [--json]
fz rpc gen [path] [--out-dir dir] [--json]
fz doc gen [path] [--format json|html|markdown] [--out path] [--reference path] [--json]

VS Code एकीकरण tooling/vscode में रहता है और fz lsp serve को लक्षित करता है।

रनटाइम डिफ़ॉल्ट और सतही व्यवहार:

• होस्ट बाइंड डिफ़ॉल्ट: 127.0.0.1
• पोर्ट डिफ़ॉल्ट: 8787
• सफल listen पर प्रभावी बाइंड लक्ष्य मुद्रित होता है
• .env या FZ_DOTENV_PATH env/HTTP संचालन से पहले एक बार लोड किया जाता है
• टेक्स्ट लॉग डिफ़ॉल्ट हैं; JSON लॉग log.set_json(1) के माध्यम से ऑप्ट-इन हैं
• मानक पुस्तकालय सतह में core.process, core.term, core.thread, core.log, core.text, core.io, core.path, और core.util शामिल हैं

निर्धारित कलाकृतियाँ

fz test <file.fzy> --det --record artifacts/name.trace.json --json के साथ, ड्राइवर उत्सर्जित करता है:

• *.trace.json: निर्धारित निष्पादन ट्रेस
• *.timeline.json: शेड्यूल निर्णय
• *.report.json: सारांश, निष्कर्ष, और विफलता समूहीकरण
• *.explore.json: शेड्यूल उम्मीदवार और परिदृश्य प्राथमिकताएँ
• *.shrink.json: निर्धारित श्रिंक संकेत
• *.scenarios/ और *.scenarios.json: उत्पन्न भाषा-मूल परिदृश्य
• *.manifest.json: प्राथमिक परिदृश्य पथ सहित कलाकृति मानचित्र

मूल CLI सतह

प्रामाणिक लेखन विभाजन:

• core.process, core.term, core.text: argv और टर्मिनल UX
• core.log: लॉगिंग नीति और संरचित आउटपुट
• core.io, core.path: फ़ाइलसिस्टम खोज और पथ संयोजन
• proc.*: चाइल्ड-प्रक्रिया निष्पादन

उदाहरण:

use core.log;
use core.process;
use core.term;
use core.text;

fn main() -> i32 {
    let mode = process.argv_or(1, "serve")
    discard log.set_sink_name("stderr")
    discard log.set_level_name("warn")
    discard term.transcript_kv("mode", mode, 8)
    if term.is_interactive() == 1 {
        discard term.eprint_line(str.concat("interactive=", str.from_i32(term.is_interactive())))
    }
    discard term.print_line(text.indent("ready\nwaiting", "  "))
    return 0
}

EOF स्पष्ट है:

• खाली पंक्ति: term.read_line() == "" और term.stdin_eof() == 0
• EOF: term.read_line() == "" और term.stdin_eof() == 1

गंभीर CLI/रनटाइम कार्य के लिए, दोनों कंपाइलर-एकीकृत लॉन्चर और निर्मित बाइनरी का उपयोग करें जब सटीक टर्मिनल व्यवहार मायने रखता है।

मूल बैकएंड नीति

• समर्थित बैकएंड: cranelift और llvm
• चयन क्रम: स्पष्ट --backend, फिर FZ_NATIVE_BACKEND, फिर प्रोफ़ाइल डिफ़ॉल्ट
• प्रोफ़ाइल डिफ़ॉल्ट: dev -> cranelift, release -> llvm

निर्भरता लॉकिंग + विक्रेता

• प्रोजेक्ट बिल्ड पथ निर्भरता के लिए fozzy.lock ड्रिफ्ट जाँच लागू करते हैं
• fz vendor [project] --json के साथ लॉक स्थिति ताज़ा करें
• विक्रेता आउटपुट में fozzy.lock और vendor/fozzy-vendor.json शामिल हैं
• विशिष्टता: docs/dependency-locking-v1.md

ABI संगतता गेट

fz abi-check लागू करता है:

• स्कीमा वैधता
• पैकेज पहचान
• पैनिक सीमा संगतता
• आधार रेखा निर्यात उपस्थिति और हस्ताक्षर अपरिवर्तनीयता
• आधार रेखा अनुबंध अपरिवर्तनीयता
• प्रतीक संस्करण गैर-प्रतिगमन

योगात्मक निर्यात की अनुमति है।

C इंटरऑप

• गाइड: docs/c-interop-production-v1.md
• प्रत्येक निर्यातित pubext c fn के लिए #[ffi_panic(abort|error)] आवश्यक है
• असुरक्षित C आयात के लिए ext unsafe c fn पसंद करें और उन्हें केवल unsafe { ... } के अंदर कॉल करें
• fz build --lib स्थिर/साझा पुस्तकालयों के साथ एक इंस्टॉल करने योग्य हेडर और ABI मेनिफेस्ट उत्सर्जित करता है
  • वर्तमान बैकएंड अनुबंध लाइब्रेरी बिल्ड के लिए केवल Cranelift है; स्पष्ट --backend llvm को माइग्रेशन संकेत के साथ अस्वीकार कर दिया जाता है

असुरक्षित डॉक्स कलाकृतियाँ

• unsafe fn और unsafe { ... } के माध्यम से असुरक्षित प्रथम श्रेणी है
• fz audit unsafe --workspace --json .fz/unsafe-map.workspace.json, .fz/unsafe-docs.workspace.json, .fz/unsafe-docs.workspace.md, और .fz/unsafe-docs.workspace.html उत्सर्जित करता है
• मेटाडेटा फ़ील्ड जैसे reason, invariant, owner, scope, risk_class, और proof_ref कंपाइलर-जनित और नीति-संचालित हैं
• डिफ़ॉल्ट उत्पादन प्रवाह लापता मेटाडेटा के लिए गैर-अवरोधक है जब तक कि सख्त असुरक्षित नीति सक्षम न हो

निर्धारित सत्यापन अनुबंध

सख्त विश्वास के लिए इस अनुक्रम का उपयोग करें:

# 1) पहले निर्धारण ऑडिट
fz doctor --deep --scenario tests/run.pass.fozzy.json --runs 5 --seed 42 --json

# 2) सख्त निर्धारित परीक्षण
fz test --det --strict-verify tests/run.pass.fozzy.json tests/memory.pass.fozzy.json --json

# 3) एक वास्तविक ट्रेस रिकॉर्ड करें
fz run tests/run.pass.fozzy.json --det --record artifacts/trace.fozzy --json

# 4) रीप्ले पाइपलाइन मान्य करें
fz trace verify artifacts/trace.fozzy --strict --json
fz replay artifacts/trace.fozzy --json
fz ci artifacts/trace.fozzy --json

# 5) होस्ट-समर्थित विश्वास पास
fz run tests/host.pass.fozzy.json --host-backends --json

सख्त रिलीज़ गेट:

./scripts/ship_release_gate.sh

इसमें scripts/safety_claim_integrity_gate.py के माध्यम से रिलीज़-अवरुद्ध डॉक्स दावा-अखंडता जाँच शामिल हैं।

उदाहरण: मूल परीक्षण जीवनचक्र

cat >/tmp/demo.fzy <<'FZY'
test "alpha" {}
test "beta" nondet {}
rpc Ping(req: PingReq) -> PingRes;
async fn worker() -> i32 {}
fn main() -> i32 {
    timeout(1)
    return 0
}
FZY

fz test /tmp/demo.fzy --det --sched random --seed 13 --record artifacts/demo.trace.json --json

उत्सर्जित मूल परीक्षण कलाकृतियों को सीधे निरीक्षण करें:

• artifacts/demo.trace.native.trace.json
• artifacts/demo.trace.report.json
• artifacts/demo.trace.timeline.json जब समृद्ध कलाकृतियाँ सक्षम हों
• artifacts/demo.trace.manifest.json

मूल परीक्षण मेनिफेस्ट रिकॉर्ड किए गए मूल परीक्षण रनों के लिए प्रथम श्रेणी के trace verify / replay / ci इनपुट हैं। वे परिदृश्य इनपुट नहीं हैं और परिदृश्य shrink में भाग नहीं लेते हैं।

उदाहरण प्रोजेक्ट

सभी शिप किए गए उदाहरण v1 कथा DX सम्मेलन का पालन करते हैं:

• src/main.fzy केवल ऑर्केस्ट्रेशन है और fn main को अंत में रखता है
• परीक्षण src/tests/* के अंतर्गत रहते हैं
• डोमेन मॉड्यूल रूट mod.fzy का उपयोग करते हैं

उपलब्ध प्रोजेक्ट:

• examples/agent_runtime
• examples/context_runtime
• examples/minimal_runtime
• examples/service_app
• examples/fullstack
• examples/robust_cli
• examples/live_server

सत्यापन और प्रोजेक्ट प्रवाह:

fz dx-check examples/fullstack --strict --json

fz check examples/fullstack --json
fz build examples/fullstack --backend cranelift --json
fz build examples/fullstack --release --backend llvm --json
fz run examples/fullstack --backend cranelift --json
fz test examples/fullstack --det --seed 41 --backend llvm --json
fz headers examples/fullstack --json
fz abi-check examples/fullstack/include/fullstack.abi.json --baseline examples/fullstack/include/fullstack.abi.json --json

fz dx-check examples/robust_cli --strict --json
fz build examples/robust_cli --backend cranelift --json
fz run examples/robust_cli --backend llvm --json
fz test examples/robust_cli --det --seed 55 --backend cranelift --json

fz dx-check examples/live_server --strict --json
fz build examples/live_server --backend cranelift --json
fz run examples/live_server --backend llvm --json
fz test examples/live_server --det --seed 77 --backend cranelift --record artifacts/live_server.stats.trace.json --rich-artifacts --json

fz run tests/live.server.interhttp.fozzy.json --host-backends --json

यदि आप रिलीज़ बिल्ड स्थापित करने के बजाय चेकआउट से योगदान दे रहे हैं, तो स्रोत-केवल फ़ॉलबैक के रूप में cargo run -q -p fz -- <args> का उपयोग करें।

योजना ट्रैकिंग

कार्यान्वयन के दौरान इन संस्करणित वितरण दस्तावेज़ों को अद्यतन रखें:

• PLAN.md
• FEATURES-TO-SHIP.md