fzy (fozzylang)

Lenguaje de sistemas de propósito general y cadena de herramientas de producción con una superficie de lenguaje seguro incorporado, corrección verificable, ejecución determinista y depuración basada en repetición integrada.

fzy incluye una CLI de producción, fz, tanto para flujos de trabajo del compilador como para validación determinista. La corrección, el determinismo, la repetición, los artefactos de incidentes y la evidencia de producción son parte del flujo de trabajo normal, no un añadido posterior. Para un recorrido visual rápido del lenguaje, abre el FZL showcase incluido en tu navegador con open fzl-showcase.html. Para un breve argumento de por qué podrías elegirlo, consulta WHYFZY.md.

La política de arquitectura del repositorio está tipada internamente y solo en JSON en los límites reales.

Comenzar aquí

• Instalación: INSTALL.md
• Manual completo: USAGE.md
• Por qué fzy: WHYFZY.md
• Sintaxis y ejemplos de comandos: CODE.md
• Flujo de trabajo de producción: docs/production-workflow-v1.md
• Programación y validación de GPU: docs/gpu-v1.md
• Modelo de seguridad y confianza: docs/system-safety-trust-model-v1.md
• Autoría no segura: docs/unsafe-contract-authoring-v1.md
• Niveles de estabilidad: docs/language-stability-v1.md
• Herencia de políticas del espacio de trabajo: docs/workspace-policy-v1.md
• Información operativa: docs/operational-insights-v1.md
• fzyllm: saint0x/fzyllm

Instalación

Instalación recomendada:

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

Esto instala fz en ~/.local/bin, actualiza PATH si es necesario y verifica la instalación con fz version y fz env.

Alternativa desde el código fuente:

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

Vista rápida

¿Quieres la visión general más rápida? Abre fzl-showcase.html con open fzl-showcase.html, hojea WHYFZY.md para el argumento del producto, y luego usa la muestra a continuación como un bosquejo ejecutable compacto.

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
}

Para una cobertura más amplia del lenguaje, usa CODE.md, examples/, y el FZL showcase amigable para el navegador.

Los paquetes del framework siguen las reglas normales de paquetes: decláralos en fozzy.toml bajo [deps], luego impórtalos en el código con use fzbounds;, use fzweb; y nombres de paquete similares. Las comprobaciones directas de código fuente como fz check src/services/mod.fzy --json ahora validan a través del contexto del paquete propietario, por lo que las importaciones de dependencias y los módulos hermanos se comportan igual que en las comprobaciones de proyecto completo.

Lo que contiene fzy

• fz: CLI del compilador para compilar, ejecutar, probar, verificar, documentar, IR, RPC, encabezados, comprobaciones ABI y más
• formato y generación de documentación integrados: fz fmt, fz doc gen
• front-end y pipeline IR: crates/parser, crates/ast, crates/hir, crates/fir
• verificador y aplicación de seguridad: crates/verifier
• primitivas de tiempo de ejecución deterministas: crates/runtime
• controlador y orquestación de artefactos: crates/driver
• escenarios Fozzy ejecutables: tests/*.fozzy.json

Estado actual

Implementado y validado hoy:

• alcance de lenguaje de sistemas de propósito general, no una herramienta de nicho de un solo dominio
• seguro por defecto, con islas explícitas no seguras, inventario/documentación de no seguridad generado por el compilador y gestión manual de memoria opcional mediante alloc(...) / free(...)
• semántica real de defer en tiempo de ejecución en código normal e islas unsafe { ... }, por lo que la limpieza determinista se aplica en lugar de solo documentarse
• reglas de propiedad, préstamo, capacidad, FFI y capacidad de reducción nativa verificadas por el verificador
• la gestión manual explícita de memoria es compatible dentro de ese modelo, con flujos de alloc(...) / free(...) conscientes de la propiedad y comprobaciones de ciclo de vida visibles para el verificador
• traza determinista, repetición y validación del planificador como puertas de producción normales
• rutas de confianza respaldadas por el host para el comportamiento del sistema de archivos, procesos y HTTP
• modos de planificador deterministas: fifo, random, coverage_guided
• artefactos de decisión para ejecución asíncrona, de hilos y RPC
• eventos de trama RPC: rpc_send, rpc_recv, rpc_deadline, rpc_cancel
• metadatos de exploración y reducción para flujos de trabajo de repetición/minimización
• generación de escenarios nativos del lenguaje a partir de bloques test analizados
• carga recursiva de módulos de múltiples archivos a partir de declaraciones mod
• generación de encabezados C a partir de firmas pubext c fn exportadas
• generación de esquemas RPC, cliente y stubs de servidor mediante fz rpc gen
• superficie moderna de lenguaje/tiempo de ejecución que abarca ADT, coincidencia de patrones, traits, genéricos, modelado de dominios tipados, procesos, terminal, registro, sistema de archivos/rutas, JSON de límites y HTTP de transmisión saliente
• superficie criptográfica/seguridad de producción a través de core.crypto y core.security, que incluye aleatoriedad segura, hash, HMAC, comparación en tiempo constante y codificaciones seguras para URL
• módulos del framework web de producción fzweb para enrutamiento de aplicaciones, cookies, sesiones, cargas multipartes, persistencia, SSE, websockets y exportación OpenAPI
• fz run ejecuta la salida nativa directamente con transmisión de texto en vivo o captura JSON
• backends nativos LLVM y Cranelift con validación orientada a paridad
• puertas de liberación de memoria directa:
  • python3 scripts/direct_memory_architecture_gate.py
  • python3 scripts/direct_memory_perf_gate.py
• superficie GPU de producción a través de core.gpu, con ejecución en vivo de Metal en Apple y contratos de adaptador spirv/nvptx compartidos

Afirmaciones de producción

fzy está configurado para respaldar estas afirmaciones de producción hoy: