suissAI suissa

Abaixo está uma formulação em Semantic-Typed Algebra usando uma standard-lib canônica para validate, propriedades, ações e fluxo entre Planes.

Assumi estes operadores da nossa standard-lib:

x ⊢ T                         // x satisfaz o tipo/semântica T
x ⊣ InvalidValue(R)            // x é refutado por uma razão R
A ⇢ B                          // A reescreve/transiciona para B
A ⇔ B                          // equivalência semântica
A ⊕ B                          // composição obrigatória: A e B precisam valer

RULES.md

Agent Operational Rules

Everything-as-Code · Antifragile-by-Default · Reuse-before-Build

Este projeto não aceita código que apenas "rode". Ele deve ser explicável, testável, observável, versionável e antifrágil.

Contexto Você é um agente de codificação encarregado de inferir tipos semânticos atômicos a partir de código TypeScript existente que hoje usa apenas primitivos (boolean, number, string, Date). Não assuma bibliotecas externas instaladas. Seu objetivo é:

detectar candidatos a tipos semânticos;
propor nomes canônicos no padrão dominio.entidade.nome (com ponto);
sugerir regras e validações mínimas;
gerar artefatos auto-contidos (sem dependências externas);
listar até 5 novos tipos que ainda não existem no repositório e que valem a pena padronizar.
listar até 5 novos tipos que ainda não existem no repositório e que valem a pena padronizar, que sejam os mais específicos daquele domínio e/ou entidade.


	declare const __SemanticType: unique symbol;

	type PrimitiveUnwrapped =
	\| string
	\| number
	\| boolean
	\| null
	\| undefined;

	{
	"title": "Pipeline de Jobs Assíncronos de Áudio com Supabase (Jobs Table + Edge Functions + EvolutionAPI + Webhook de Status)",
	"goal": "Implementar um sistema de filas assíncronas para processamento de áudio (transcrição e TTS) usando apenas recursos do Supabase (tabela de jobs, triggers, pg_net, pg_cron, Edge Functions) + integração com EvolutionAPI e webhook externo para status do job.",
	"context": {
	"environment": {
	"platform": "Supabase (Postgres + pg_net + pg_cron + Edge Functions)",
	"language": "TypeScript / Deno",
	"backend": "Node.js/TypeScript com EvolutionAPI",
	"storage": "Supabase Storage"
	},

	#!/bin/bash

	# Verifica se foram passados dois argumentos
	if [ "$#" -ne 2 ]; then
	echo "Uso: $0 subdominio.com.br porta_servidor"
	exit 1
	fi

	SUBDOMAIN=$1
	PORT=$2

	import { MeterProvider, PeriodicExportingMetricReader } from '@opentelemetry/sdk-metrics';
	import { OTLPMetricExporter } from '@opentelemetry/exporter-metrics-otlp-websocket';
	import WebSocket, { WebSocketServer } from 'ws';

	const metricExporter = new OTLPMetricExporter({
	url: 'ws://localhost:4318/v1/metrics',
	});

	const meterProvider = new MeterProvider({
	readers: [new PeriodicExportingMetricReader({

	import math
	import requests
	import sys

	def get_binance_data(symbol, interval):
	url = f"https://api.binance.com/api/v1/klines?symbol={symbol}&interval={interval}"
	try:
	response = requests.get(url)
	response.raise_for_status()
	data = response.json()

	package main

	import (
	"encoding/json"
	"fmt"
	"log"
	"math"
	"net/http"
	"strconv"
	)

	-export([uptime/0, uptime/1, uptime_string/0]).

	%% @doc uptime in native time units
	uptime() ->
	erlang:monotonic_time() - erlang:system_info(start_time).

	%% @doc uptime in specified time units
	uptime(Unit) ->
	erlang:convert_time_unit(uptime(), native, Unit).