You write what must stay true. AI writes how it works.
Like Rust is compiled by rustc and shared on crates.io — Pactia is an AI-native programming language compiled by pactiac, managed by pactia, with packages on pactia.io.
Every AI coding session starts cold. Agents re-read scattered READMEs, stale OpenAPI, old ADRs, and Slack threads — then guess. Auth drifts. Pagination diverges. Event shapes disagree. Senior engineers fix what the model invented instead of shaping what matters.
The model is not the problem. Durable product intent lives nowhere.
| Era | You write | The machine |
|---|---|---|
| 3GL — C, Rust | Algorithms + types | Executes |
| 4GL — SQL, Terraform | Desired state | Reconciles |
| Pactia | Intent — what must stay true | Implements; tooling verifies |
Pactia does not replace Rust, TypeScript, or Swift. It sits above them — a versioned layer between humans, AI agents, and generated code.
┌─────────────────────────────────────────────┐
│ ABOVE THE LINE — Intent │
│ Entities · APIs · Roles · Policy · Stack │
│ Prose · Tags · Packages · Provenance │
└─────────────────────────────────────────────┘
────────────── conformance gate ───────────────
┌─────────────────────────────────────────────┐
│ BELOW THE LINE — Implementation │
│ Logic · indexes · edge cases · tuning │
│ Owned by AI and engineers. Free. │
└─────────────────────────────────────────────┘
Above the line: what every session must inherit — regardless of model, engineer, or sprint.
Below the line: how it works today. Pactia never owns it.
The most deliberate choice in Pactia: natural language is not a comment to discard — it is a first-class input.
Lines that are not @tags or macros are prose. pactiac preserves them, tags them with provenance, and tooling turns them into grounded agent context — alongside deterministic facts from tags.
A product owner can describe the product in plain English. An architect adds @entity, @api, @auth, @test. Same language. Same pipeline. Same repository.
The prompt is not the package. Chat history dies. import @pactia/kyc-compliance; pins the same intent in every repo, every session, every agent.
| Package kind | Example | Purpose |
|---|---|---|
| Stack | @pactia/rust-stack |
Platform law — language, errors, pagination |
| Kernel | @pactia/kernel |
Core tags, macros, and registry defaults |
| Surface | @pactia/html-css-js |
UI / static-site stack macros |
Immutable versions. Digest-pinned lockfiles. Publisher identity. Users fork packages, not the language.
Fleet management in Pactia 1.2 — tags and macros where structure matters, prose-only with #rust-stack.
Full mini example · Prose-only variant · Relay fixture (pactiac) · Marketplace example · Language spec
# Install pactia package manager (includes compiler)
curl -fsSL https://raw.githubusercontent.com/pactia-lang/pactia/main/scripts/install-pactia.sh | bash -s v0.4.0
# VS Code / Cursor extension
code --install-extension pactia-lang.pactiapactia init my-product --name MyProduct
pactia add @pactia/rust-stack ^1.0
pactia build -C my-productCompiler-only: pactiac v0.4.0.
*.pactia ──pactiac──▶ AI-neutral IR ──▶ agent context + specifications
▲
pactia — init, add, install, update, build, lockfiles
| Repo | Role | |
|---|---|---|
| Language | spec | Pactia 1.2 — grammar, tags, packages, attach |
| Compiler | pactiac | Deterministic compile to module-scoped IR |
| Packages | pactia | pactia init, add, install, update, build |
| Editor | vscode-pactia | Syntax highlighting (pactia-lang.pactia) |
| Examples | examples/marketplace | Multi-module attach workspace |
Model-agnostic by design. Switch Cursor, Claude Code, or Copilot — your .pactia files and lockfile stay the same.
Pactia is the durable, versioned layer between human intent and AI implementation — so every agent, every session, every model starts from the same ground truth about what your product must be.
Get involved — spec issues · pactiac · vscode-pactia
pactia.io · docs.pactia.io (coming soon)