Материалы

Статья

FTS pipeline and visualization: one run and model diagram

How to replace check, prove, certify, and visualize with one pipeline call and what exactly the mermaid diagram of category, morphisms, and proof shows.

#fts#pipeline#visualization

Статья

Migration to FTS: from nested ifs to executable specification

Step-by-step migration of a live business rule from nested ifs to the FTS model with a proof of equivalence until the old code is turned off.

#fts#migration#refactoring

Статья

FTS Antipatterns: What Should Not Be Expressed in the Specification

A catalog of fourteen attempts to push effect, time, randomness, and execution order into FTS — with real compiler messages and a working separation into model and …

#fts#antipatterns#boundaries

Статья

FTS and time: rule versions, snapshots, and retroactive audit

Why there is no “today” in the specification, how to store rule revisions alongside and what to prove to the client the charge for April according to the …

#fts#versioning#audit

Статья

FTS: reading compiler errors

FTS diagnostics reference: code, exact message, minimal reproducible example, and fix — separately for walkthrough, model check, utility execution, examples, and proof.

#fts#diagnostics#errors

Статья

Capstone FTS: order execution from model to React and Node.js

End-to-end architecture: FTS order model, examples, command guard, React form, Node.js boundary, agent, and CI.

#fts#capstone#order

Статья

FTS Performance: Reproducible Measurement

Harness, with which you take your compile/validate/execute/generate digits and compare them to the baseline, instead of trusting others’ milliseconds.

#fts#benchmark#performance

Статья

FTS generation and CI: TypeScript without drift

How to generate TypeScript and node:test, check models in pull request and not edit artifacts manually.

#fts#code generation#ci

Статья

FTS from Python, Go, and shell: working clients, not declarations

A real Python, Go, and shell client for FTS via CLI and canonical JSON: what the compiler actually prints, how to read diagnostics, and when to use HTTP instead of a …

#fts#python#go

Статья

FTS Proofs: Theorems, Certificates, and Scientific Boundaries

What exactly does FTS prove, how symbolic derivation differs from a verified certificate, and what is insufficient for publication or a patent.

#fts#proof#certificate

Статья

Каскад GA0 → GA1 → GA2: разделение уровней поиска

This page has not been translated into English yet. The Russian original is complete and current: open it in Russian. The English edition ships in stages — interface and …

Статья

FTS for AI agents and MCP: access is granted by the engine, not the model text

How to integrate FTS into the agent loop: read-only MCP tools, programmatic document build, guard on real data, and machine-readable refusal.

#fts#ai agents#mcp