AIR

ProductsПродукты

Products built with AIRПродукты на AIR

Four apps where AIR, a small verifiable programming language, is part of the product. For each one: what it does, who it is for, and exactly which parts AIR runs today — separately from what is still planned.

Четыре приложения, в которых AIR — небольшой проверяемый язык программирования — стал частью продукта. Для каждого: что оно делает, кому полезно и какие именно части выполняет AIR сегодня — отдельно от того, что пока в планах.

Vela's new music workspace: a playing record, reactive neon waves, library, playlists and playback controls.
Real app window supplied by the author: the new neon music workspace.
Реальное окно приложения со скриншота автора: новый музыкальный интерфейс с неоновой подсветкой.
Vela Cinema icon

Mac appПриложение для Mac

Vela Cinema

A native music and video library, photo workspace and reviewed Studio scenarios, with your phone as a remote.

Нативная библиотека музыки и видео, работа с фото и согласованные сценарии Studio, а телефон — вместо пульта.

For people who keep their own media files on a Mac and want one player for music and films.

Кому: тем, кто хранит музыку и фильмы на Mac и хочет один плеер для всего.

What it doesЧто умеет

  • Library for local music and video: scanning, resume, audio and subtitle tracks, full screen without cropping.
  • AI DJ with moods, sound analysis and voice commands built on Apple Intelligence on the Mac.
  • Phone as a remote or second screen: scan a QR code to open a 15-minute session on your home network.
  • Video processing on the Mac: MetalFX upscaling, frame-rate boost and picture-in-picture.
  • Apple Music playback through MusicKit.
  • PhotoLab for browsing and editing photos; Studio for reviewing a scenario before its supported native actions run.
  • Библиотека локальной музыки и видео: сканирование, продолжение с места остановки, дорожки звука и субтитров, полный экран без обрезки.
  • AI DJ с настроениями, анализом звука и голосовыми командами на базе Apple Intelligence на самом Mac.
  • Телефон как пульт или второй экран: QR-код открывает 15-минутную сессию в домашней сети.
  • Обработка видео на Mac: апскейл MetalFX, повышение частоты кадров, картинка в картинке.
  • Воспроизведение Apple Music через MusicKit.
  • PhotoLab для просмотра и обработки фотографий; Studio для проверки сценария перед выполнением поддерживаемых нативных действий.

What AIR does hereЧто здесь делает AIR

Runs todayРаботает сейчас

  • Every command from a paired phone first goes to the AIR module player_authz. A refusal, an error or an answer later than 1 ms means the command is not carried out.
  • The phone's watch-along page asks the sync_correction module whether to hold, nudge or jump to stay in sync with the Mac.
  • context_budget decides how much chat history reaches the on-device assistant model.
  • cinema_admission checks measured processing cost and pressure before optional ML video processing; unsafe or unmeasured paths fall back to MetalFX.
  • Studio loads a digest-pinned AIR Wasm policy. It checks approval, the reviewed revision, scope, remaining budget, cancellation and adapter readiness before admitting a scenario effect.
  • Каждая команда с подключённого телефона сначала проходит через модуль AIR player_authz. Отказ, ошибка или ответ позже 1 мс — и команда не выполняется.
  • Страница совместного просмотра на телефоне спрашивает модуль sync_correction, подождать, чуть подвинуть или перемотать, чтобы не отставать от Mac.
  • context_budget решает, сколько истории чата получит встроенная модель ассистента.
  • cinema_admission проверяет измеренную стоимость обработки и нагрузку перед дополнительной ML-обработкой видео; небезопасный или неизмеренный путь возвращается к MetalFX.
  • Studio загружает Wasm-политику AIR с зафиксированным хешем. Перед допуском эффекта она проверяет подтверждение, согласованную ревизию, область действия, остаток бюджета, отмену и готовность нативного адаптера.

PhotoLab boundaryГраница PhotoLab

  • The guided editor uses a typed recommendation contract for node defaults, variants and preview limits. Requests expose bounded metadata, not photo bytes, source paths or EXIF.
  • The default AIR transport is not connected: local deterministic recommendations are used. Photo rendering, models, GPU work and export remain native; an AIR execution claim for PhotoLab would be premature.
  • Редактор использует типизированный контракт рекомендаций: параметры узлов, варианты обработки и пределы превью. В запросе — ограниченные метаданные, без байтов фото, путей к оригиналам и EXIF.
  • Транспорт AIR по умолчанию не подключён: работают локальные детерминированные рекомендации. Рендер фото, модели, GPU и экспорт остаются нативными; исполнение AIR в PhotoLab пока не заявляется.

Active AIR policies run as digest-checked WebAssembly inside the app. Imported Studio packages carry graph data, not arbitrary executable Wasm. Swift owns decoding, playback, photos, networking, pairing and every native effect. This is an ad-hoc preview, not a performance or security certification.

Активные политики AIR исполняются внутри приложения как Wasm с проверкой хеша. Импортируемые пакеты Studio содержат данные графа, а не произвольный исполняемый Wasm. Декодирование, воспроизведение, фото, сеть, сопряжение и все нативные эффекты остаются у Swift. Это предварительная сборка, не сертификация производительности или безопасности.

Download for MacСкачать для Mac Version 0.26.2 · macOS 14 or later · Apple silicon preview, not notarized by Apple Версия 0.26.2 · macOS 14 и новее · предварительная сборка для Apple silicon без нотаризации Apple
Vela Learn home screen on iPad: Learn and Draw tabs, level and XP, subject cards and drawing templates.
Vela Learn lesson on iPad: drawing a tree over a dashed stencil with a step panel and colour palette.
Real screens from the iPad simulator (A16), August 2026: home and a drawing lesson. The app is still called Vela Draw inside.
Реальные экраны из симулятора iPad (A16), август 2026: главная и урок рисования. Внутри приложение пока называется Vela Draw.
Vela Learn icon: the fox Vela with a star pencil

iPad app · in developmentПриложение для iPad · в разработке

Vela Learn

An offline drawing and learning app for children, guided by the fox Vela.

Детское приложение для рисования и учёбы без интернета, с лисичкой Велой в роли проводника.

For children and their parents. Everything stays on the iPad; the app has no network code.

Кому: детям и их родителям. Всё остаётся на iPad — сетевого кода в приложении нет.

What it doesЧто умеет

  • Apple Pencil canvas with tools, zoom and undo.
  • Step-by-step drawing lessons over stencils, with progress for each step.
  • Workbooks in physics, English and chemistry that check answers through invisible answer zones.
  • XP, levels, achievements and tips from Vela; child profiles and stickers.
  • Drawings are saved on the device, shared as PNG or added to Photos; nine interface languages.
  • Import and export portable .vela-lesson workbooks: illustrated pages, lesson plans and sensor maps, without executable lesson scripts.
  • Холст для Apple Pencil с инструментами, масштабом и отменой.
  • Пошаговые уроки рисования по трафаретам с прогрессом по каждому шагу.
  • Рабочие тетради по физике, английскому и химии: ответы проверяются невидимыми зонами на листе.
  • Опыт, уровни, достижения и подсказки от Велы; детские профили и наклейки.
  • Рисунки хранятся на устройстве, ими можно поделиться как PNG или добавить в Фото; девять языков интерфейса.
  • Импорт и экспорт переносимых тетрадей .vela-lesson: иллюстрации, планы уроков и карты сенсоров, без исполняемых скриптов урока.

What AIR does hereЧто здесь делает AIR

Lessons and capability boundariesУроки и границы возможностей

  • The lesson-delivery pipeline admits portable packages through native content, image and sensor checks. AIR policy artifacts declare bounded events, capabilities and effects; their digest, profile and replay vectors are checked.
  • The interaction contract covers finished strokes, page/step changes and submitted interactions. A host effect gate checks the current child/document/lesson scope, duplicate events, declared capabilities, allowed payloads and reward budgets before applying feedback.
  • Immutable teaching content stays separate from a child's drawings, profiles, ink and progress. Reimporting the same package is a no-op; changed content cannot silently replace an installed identity.
  • Система доставки уроков допускает переносимые пакеты после нативной проверки содержимого, изображений и сенсоров. Артефакты политик AIR объявляют ограниченные события, возможности и эффекты; проверяются хеш, профиль и векторы воспроизведения.
  • Контракт взаимодействий описывает законченные штрихи, переходы страниц и шагов, ответы на задания. Перед обратной связью host effect gate проверяет текущего ребёнка, документ и урок, повторы событий, объявленные возможности, допустимые данные и бюджеты наград.
  • Учебный контент отделён от рисунков, профилей, штрихов и прогресса ребёнка. Повторный импорт того же пакета ничего не меняет; изменённый контент не может незаметно заменить установленную версию.

Execution boundary todayКто исполняет правила сейчас

  • In the source inspected on 27 October 2026, Swift reference policies and the native effect gate still execute the lesson decisions. Compiled AIR execution and shadow parity are not yet verified.
  • PencilKit owns live input and rendering. Policy receives bounded interaction facts, not raw ink or a child's free-text answer. Open writing is presence-only, not OCR or semantic grading.
  • В исходниках, проверенных 27 октября 2026 года, решения уроков пока исполняют эталонные политики Swift и нативный effect gate. Исполнение скомпилированного AIR и сравнение параллельных результатов ещё не подтверждены.
  • Живой ввод и отрисовка принадлежат PencilKit. Политика получает ограниченные факты взаимодействия, а не сырые штрихи или текст ответа ребёнка. В свободном письме проверяется наличие ответа, без OCR и оценки смысла.
Development build · iPadOS 18 · source reviewed 27 October 2026 · no public download or App Store listing. В разработке · iPadOS 18 · исходники проверены 27 октября 2026 · нет публичной загрузки и страницы в App Store.
AIR Studio run graph for one chat: the chat thread sends a request to the Coordinator run on Codex, which routes it to the Architect run on Claude; both read the project through the Context Hub. The run inspector shows the Coordinator as completed, read-only, in 7 seconds.
Run graph of one chat: the Coordinator (Codex) handed the question to the Architect (Claude), both with read-only access to the project, each on its own account.
Граф запуска одного чата: Координатор (Codex) передал вопрос Архитектору (Claude); у обоих доступ к проекту только на чтение, у каждого — свой аккаунт.
AIR control centre, Accounts tab: Codex and Claude personal accounts, Apple Intelligence on this Mac, and two custom OpenAI-compatible providers without a stored key.
An AIR Studio chat in Russian with Coordinator (Codex) and Architect (Claude) as participants; the Coordinator answers a request for a phone build tool for the TimeRift game.
Left: the control centre with separate Codex, Claude and on-device Apple Intelligence accounts, plus OpenAI-compatible providers. Right: the same chat as the graph (in Russian). All screens are from the real app, September 2026; they show Studio itself, and AIR's part is described on this card.
Слева: центр управления с отдельными аккаунтами Codex, Claude и Apple Intelligence на устройстве, а также провайдерами, совместимыми с OpenAI. Справа: тот же чат, что на графе. Все экраны — из настоящего приложения, сентябрь 2026; на них сама Studio, а роль AIR описана в этой карточке.
AIR Studio welcome screen: provider, project, chat, agent and workflow setup steps, and the line “Changes are gated by AIR effect_admission + checkpoint (wasm, proven lane)”.
The welcome screen. Its status line reads “Changes are gated by AIR effect_admission + checkpoint”.
Стартовый экран. В строке состояния: «Changes are gated by AIR effect_admission + checkpoint».
air-studio-065-final-tests.log · 26 Sep 2026
Executed 497 tests, with 8 tests skipped and 0 failures (0 unexpected) in 431.612 (431.666) seconds
ISOLATION[seatbelt] _outside_file_exists=false inside_write=ok network=denied outside_write=denied protected_read=denied scratch_read_write=ok worktree_read=ok
AIR-EVALUATOR air-wasm/jsc digest=sha256:9c8389322790957c3941eb8788d4f9ea96bce520e0ab7aa71948e6acf1c5ae60
Three lines from the end of a test run on a Mac: the sandbox blocked network and outside writes, and the admission module ran as WebAssembly with its recorded digest.
Три строки из конца тестового прогона на Mac: песочница запретила сеть и запись наружу, а модуль допуска отработал как WebAssembly с записанным хешем.

Mac appПриложение для Mac

AIR Studio

A local workspace for working with Codex and Claude agents on your own repositories.

Локальное рабочее место для работы с агентами Codex и Claude в ваших репозиториях.

For developers who already use Codex or Claude and want them in one place, with every change reviewed before it lands.

Кому: разработчикам, которые уже работают с Codex или Claude и хотят держать их в одном месте, проверяя каждое изменение до того, как оно попадёт в код.

What it doesЧто умеет

  • Sign in with your own Codex (ChatGPT) and Claude accounts; each account stays separate and is never pooled. Apple Intelligence on the Mac and OpenAI-compatible providers can be added too.
  • One shared conversation where several agents read each other's answers.
  • Task graphs with templates, human approval steps and policy checkpoints.
  • Agents change code only in separate git worktrees; tests and builds run in a macOS sandbox.
  • Local history in SQLite with a hash-chained event log; import of projects and earlier Codex, Claude and ChatGPT conversations.
  • Вход под своими аккаунтами Codex (ChatGPT) и Claude; аккаунты остаются раздельными и никогда не объединяются. Можно добавить Apple Intelligence на Mac и провайдеров, совместимых с OpenAI.
  • Общая беседа, в которой несколько агентов читают ответы друг друга.
  • Графы задач с шаблонами, шагами подтверждения человеком и контрольными точками политик.
  • Агенты меняют код только в отдельных git worktree; тесты и сборки идут в песочнице macOS.
  • Локальная история в SQLite с журналом событий, связанным хешами; импорт проектов и прошлых бесед Codex, Claude и ChatGPT.

What AIR does hereЧто здесь делает AIR

Runs todayРаботает сейчас

  • Every action an agent requests through Studio — reading or patching files, git status, diff and commit, running tests or builds, worktrees, merge requests, packaging — is admitted by the AIR module effect_admission: allow, deny or ask a person.
  • A Swift copy of the same rules checks every answer. If the two disagree, or AIR cannot run, the action is denied.
  • Policy checkpoints in task graphs are decided by a second module, checkpoint. Both are compiled with AIR 0.51.0.
  • Каждое действие, которое агент запрашивает через Studio, — чтение или правка файлов, git status, diff и commit, запуск тестов и сборок, worktree, merge request, упаковка — проходит допуск в модуле AIR effect_admission: разрешить, запретить или спросить человека.
  • Копия тех же правил на Swift проверяет каждый ответ. Если они расходятся или AIR не может выполниться, действие запрещается.
  • Контрольные точки в графах задач решает второй модуль, checkpoint. Оба собраны AIR 0.51.0.

Not yetПока нет

  • MCP tool servers can be described but not used; GitHub, GitLab and Drive work only in tests; there is no remote dispatch yet.
  • The typed AIR 0.52 policy lane is prepared in code but not packaged.
  • MCP-серверы можно описать, но не использовать; GitHub, GitLab и Drive работают только в тестах; удалённого запуска пока нет.
  • Типизированный канал политик AIR 0.52 подготовлен в коде, но не упакован.

Chats, providers, file paths, grants, trust settings and the sandbox are handled by Studio itself; AIR answers only allow, deny or ask.

Беседы, провайдеры, пути к файлам, разрешения, настройки доверия и песочницу ведёт сама Studio; AIR отвечает только «разрешить», «запретить» или «спросить».

Download for MacСкачать для Mac Version 0.6.39 · current DMG requires macOS 26 or later · public alpha, not notarized by Apple Версия 0.6.39 · текущая DMG требует macOS 26 и новее · публичная альфа без нотаризации Apple
CapibAIR console, graph view of a demo project: coordinator, architect, two Codex workers and a Claude reviewer around the project, with two pending human decisions.
The real CapibAIR console (development build 0.2.117) rendered with invented demo data, so no real projects or people are shown.
Настоящая консоль CapibAIR (сборка для разработки 0.2.117), показанная на выдуманных демо-данных — без реальных проектов и людей.
CapibAIR constellation

Self-hosted web console · in developmentВеб-консоль на своём сервере · в разработке

CapibAIR

A control panel where one person coordinates AI agents, their own machines and human approvals across several projects.

Панель управления, в которой один человек координирует ИИ-агентов, свои машины и подтверждения людей в нескольких проектах.

For someone running Codex, Claude and ChatGPT agents on real projects who wants every step visible and every risky change approved by a person.

Кому: тем, кто запускает агентов Codex, Claude и ChatGPT на реальных проектах и хочет видеть каждый шаг и подтверждать каждое рискованное изменение.

What it doesЧто умеет

  • A web console with Today, Work, Graph, Human decisions, Workers, Finance, People and System views.
  • Task claims with leases, review-gated changes, and QA reports and artifacts bound to their content hashes.
  • An inbox of human decisions: repeated requests collapse into one decision with a full audit trail.
  • CapibAIR Node for your own machines: signed identity and heartbeats, a local-only API and a store of evidence with chained receipts.
  • Веб-консоль с разделами «Сегодня», «Работа», «Граф», «Решения людей», «Исполнители», «Финансы», «Люди» и «Система».
  • Захват задач с арендой, изменения только через ревью, отчёты QA и артефакты, привязанные к хешам содержимого.
  • Входящие решения для людей: повторные запросы сворачиваются в одно решение с полной историей.
  • CapibAIR Node для своих машин: подписанная идентичность и пульс, API только для локального доступа и хранилище доказательств со связанными квитанциями.

What AIR does hereЧто здесь делает AIR

TodayСейчас

  • No AIR module runs in CapibAIR yet. Admission checks are written in JavaScript, and the Node validates AIR Protocol v3 messages in Go.
  • Grants for work on machines already use the AIR Protocol v3 format through a reference adapter; that is a message format, not AIR execution.
  • Модули AIR в CapibAIR пока не исполняются. Проверки допуска написаны на JavaScript, а Node проверяет сообщения AIR Protocol v3 на Go.
  • Разрешения на работу на машинах уже используют формат AIR Protocol v3 через эталонный адаптер — это формат сообщений, а не исполнение AIR.

PlannedВ планах

  • Admission compiled from AIR, first in shadow mode next to the JavaScript checks — the first server-side use of AIR.
  • Допуск, скомпилированный из AIR, сначала в теневом режиме рядом с проверками на JavaScript — первое применение AIR на сервере.
Private tool of the author; there is no public sign-up. Личный инструмент автора; публичной регистрации нет.