sparklang

SparkLang (repositório sparklang, CLI spark, nome do produto SparkLang) é uma linguagem de programação e runtime sob licença MIT que executa arquivos .spark simples. O README posiciona fixtures de dry-run, manipulação de compilação/bytecode, playbooks e a Spark IDE como a história central, com rede/web, voz/PSTN e chamadas de modelos ao vivo tratados como superfícies opcionais. Afirma explicitamente que não é Apache Spark, nem AdaCore SPARK, nem um plugin Bifrost. O comportamento padrão é offline: o dry-run não requer chaves nem rede, e apenas a flag opcional --live utiliza um auxiliar HTTP complementar com um gateway compatível com OpenAI configurado via AI_GATEWAY_URL e uma chave de API. Variáveis de ambiente como SPARK_STT_URL / SPARK_TTS_URL e SPARK_TRAIN_* controlam endpoints opcionais de fala e treinamento. A superfície da linguagem descrita no README inclui chamadas de modelo ask/generate com slots, classify com enums de rótulo único ou múltiplo e confiança, extract com esquemas inline, encadeamento de pipeline, declarações de ferramentas, sessões listen/speak/voice, review/builder/implement para revisão estática e codegen em out/, operações de modelo (train, build, status, analyze, compare, improve, plan), head abstain/train/attach/ask para um gate IDK em modelos locais, binary open/elf/disasm/understand, captura de rede e análise de pcap, os design/specify/generate blueprints, operações browser/mitm, sondas cuda/memory/pcie e crypto/encrypt/gateway para envelopes encrypt-to-model usando AES-256-GCM. O repositório é organizado em torno de um plano de autoria documentado rotulado como A+B+C: um destino de self-host a longo prazo, uma VM bootstrap C leve (bootstrap/) e um assembler nativo Spark (sparkasm/). A árvore de assembly GAS x86_64 em asm/ é descrita como um andaime de execução descartável, em vez de uma fonte permanente de verdade. As entradas de layout incluem asm/, tools/ask/, tools/engine/, tools/browser/, selfhost/, hdl/classify_score.v, examples/*.spark, docs/*.md e um diretório website/ para o site de marketing. A verificação é oferecida através de comandos concretos: make, make machine-proof (alega saída asm-to-ELF, verificada com file), exemplos de dry-run como hello.spark, http_get.spark, classify_intent.spark e model_improve.spark, além de make test, make test-e2e-browser, make sparkbc-e2e e make test-ide-paint. Pontos de entrada Python e Node são mostrados para run(). Declarações de segurança e honestidade são proeminentes: o review nunca avalia JavaScript da web; URLs de review remoto requerem --allow-net e, caso contrário, saem com um erro claro; a captura de rede permanece atrás de --allow-net-capture com um código de saída 4 documentado na ausência de CAP_NET_RAW; sondas de rede em dry-run reportam claimed:false; os generate escreve apenas stubs educacionais e nunca reinicia ou instala um SO; o treinamento de modelo em dry-run nunca inicia jobs. Não-objetivos documentados incluem uma ISA de CPU customizada, um SO bare-metal de produção, renderização completa de ES/CSS, um compilador self-host finalizado, alegações de envio de bitstream FPGA e qualquer treinamento de GPU silencioso. A versão declarada no README é 0.6.2, com o kit de instalação listado como 0.6.0.