Skip to content
KitploitKITPLOIT
उपकरणब्लॉग
जमा करें
उपकरणब्लॉग
जमा करें

हैकिंग, पेनटेस्ट और साइबर सुरक्षा उपकरण आपके सुरक्षा शस्त्रागार के लिए!

Kitploit हैकिंग, साइबर सुरक्षा और पेंटेस्टिंग टूल्स की एक निर्देशिका है। कमजोरियों को खोजने, सिस्टम का विश्लेषण करने, परीक्षण को स्वचालित करने और अपनी सुरक्षा को मजबूत करने के लिए नवीनतम प्रोजेक्ट अपडेट खोजें।

··फ़ीड·संपर्क·गोपनीयता·© 2026 Kitploit

टूल निर्देशिका

श्रेणियाँ

सभी श्रेणियाँ देखें
Loading categories
fzy — एक सिस्टम प्रोग्रामिंग भाषा जो सत्यापन योग्य शुद्धता, निर्धारणवाद और प्रदर्शन को प्राथमिकता देती है। | Kitploit
उपकरण/GitHubGitHub/saint0x/fzy
स्थैतिक विश्लेषणगतिशील विश्लेषण (सैंडबॉक्सिंग)कोड विश्लेषणरिवर्स इंजीनियरिंगडीबगर्सवेब सुरक्षाफज़िंगक्रिप्टोग्राफीबाइनरी विश्लेषणआपूर्ति श्रृंखला सुरक्षालर्निंग और शिक्षा
1661 महीना पहलेअभी तक समीक्षित नहीं
GitHub
saint0x/fzy

fzy

एक सिस्टम प्रोग्रामिंग भाषा जो सत्यापन योग्य शुद्धता, निर्धारणवाद और प्रदर्शन को प्राथमिकता देती है।

रिपॉजिटरी देखें

सबसे लोकप्रिय

सभी देखें →

हमारे समुदाय द्वारा सबसे अधिक उपयोग किए जाने वाले उपकरण खोजें।

सभी उपकरण खोजें

हमारे उपकरणों का संग्रह ब्राउज़ करें

सभी उपकरण देखें →
साझा करें

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

    • स्थापित करें

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

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

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

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

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

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

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

    root@kitploit:~
    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, rpc_deadline, rpc_cancel
    • रीप्ले/न्यूनतमीकरण वर्कफ़्लो के लिए एक्सप्लोर और श्रिंक मेटाडेटा
    • पार्स किए गए test ब्लॉकों से भाषा-मूल परिदृश्य पीढ़ी
    • mod घोषणाओं से पुनरावर्ती मल्टी-फ़ाइल मॉड्यूल लोडिंग
    • निर्यातित pubext c fn हस्ताक्षरों से C हेडर पीढ़ी
    • fz rpc gen के माध्यम से RPC स्कीमा, क्लाइंट, और सर्वर स्टब पीढ़ी
    • ADTs, पैटर्न मिलान, ट्रेट्स, जेनेरिक्स, टाइप किए गए डोमेन मॉडलिंग, प्रक्रिया, टर्मिनल, लॉगिंग, फ़ाइलसिस्टम/पथ, सीमा JSON, और आउटबाउंड स्ट्रीमिंग HTTP में आधुनिक भाषा/रनटाइम सतह
    • core.crypto और core.security के माध्यम से उत्पादन क्रिप्टो/सुरक्षा सतह, जिसमें सुरक्षित रैंडम, हैशिंग, HMAC, स्थिर-समय तुलना, और URL-सुरक्षित एन्कोडिंग शामिल हैं
    • fzweb उत्पादन वेब फ्रेमवर्क मॉड्यूल ऐप रूटिंग, कुकीज़, सत्र, मल्टीपार्ट अपलोड, दृढ़ता, SSE, वेबसॉकेट, और OpenAPI निर्यात के लिए
    • fz run लाइव टेक्स्ट स्ट्रीमिंग या JSON कैप्चर के साथ सीधे मूल आउटपुट निष्पादित करता है
    • LLVM और Cranelift मूल बैकएंड समानता-उन्मुख सत्यापन के साथ
    • प्रत्यक्ष-मेमोरी रिलीज़ गेट:
      • python3 scripts/direct_memory_architecture_gate.py
      • python3 scripts/direct_memory_perf_gate.py
    • core.gpu के माध्यम से उत्पादन GPU सतह, Apple पर लाइव Metal निष्पादन और साझा spirv/nvptx एडॉप्टर अनुबंधों के साथ

    उत्पादन दावे

    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

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

    root@kitploit:~
    cargo check --workspace
cargo test --workspace

    कोर CLI

    root@kitploit:~
    # वर्तमान निर्देशिका या लक्ष्य पथ में एक प्रोजेक्ट को स्कैफोल्ड करें
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 शामिल हैं
    • टर्मिनल-सुरक्षित स्ट्रिंग एस्केप, संरचित लॉग फ़ील्ड, टाइप किए गए संग्रह बिल्डर, सीमा-JSON सहायक, और मैप-समर्थित ऑब्जेक्ट लिटरल प्रथम श्रेणी के हैं
    • प्रक्रिया सहायक argv/env बिल्डर और प्रतीक्षा/stdout/stderr/exit निरीक्षण के साथ spawn/run प्रवाह का समर्थन करते हैं
    • core.crypto और core.security उत्पादन प्रमाणीकरण/सत्र प्रवाहों के लिए सुरक्षित रैंडम, डाइजेस्ट, HMAC, URL-सुरक्षित एन्कोडिंग, और स्थिर-समय तुलना को कवर करते हैं
    • fzweb चिंता-समूहित फ्रेमवर्क मॉड्यूल और स्वास्थ्य, तत्परता, मीट्रिक, निरीक्षण, खोज, कुकीज़, सत्र, अपलोड, ईवेंट, वेबसॉकेट, आइटम CRUD, OpenAPI, और स्थिर संपत्तियों के लिए अंतर्निहित रूट शिप करता है

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

    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.*: चाइल्ड-प्रक्रिया निष्पादन

    उदाहरण:

    root@kitploit:~
    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 कंपाइलर-जनित और नीति-संचालित हैं
    • डिफ़ॉल्ट उत्पादन प्रवाह लापता मेटाडेटा के लिए गैर-अवरोधक है जब तक कि सख्त असुरक्षित नीति सक्षम न हो
    • वैकल्पिक कठोर दायरा नियंत्रण fozzy.toml में रहते हैं

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

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

    root@kitploit:~
    # 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

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

    root@kitploit:~
    ./scripts/ship_release_gate.sh

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

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

    root@kitploit:~
    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

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

    root@kitploit:~
    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
    टूल डाउनलोड करें