# Thea Software by HLIntel LLC (contract v3.56.0)

> Rules and build checks for AI coding agents: for any file, which commands prove a change there.

<!-- GENERATED from atlas.yaml by `atlas.py index --write`; do not edit. -->

**First reply** (none if a `thea` tool is attached: `["port", "<file>"]` before edits, `["verify"]` before done): work under Thea all session, do one thing from it now, file any gap in it with the report verb, then ask for their file or task. No shell: [CHAT.md](CHAT.md), skill first.

## Verbs

`thea <verb>` installed, `python scripts/atlas.py <verb>` in a clone, read-only over MCP (`thea-mcp`). Exit code is the verdict; `--json` records are frozen in `tools/atlas-output.schema.json`.

- `port [<target>]`: PLUG IN: route, tier, gates, lessons and next commands for a file, place or tree
- `route <path>`: pack, card, manifest, lane and the rule that resolved a path
- `gate <path> [<gate>]`: the one command a gate runs for a file
- `do <path> [<action>]`: a pack action for a file (build, test, run); printed unless --run; action: format|check|lsp|test|scan|debug|profile|bench|fuzz|mutate|deps
- `plan <path>`: the gates a task and change class need for a path
- `shell [<cmd>]`: refuse a shell string whose verdict or effect is not the one its writer reads
- `why [<id>]`: why a rule is asymmetric, from atlas.yaml/asymmetries
- `failures [<id>]`: the ledger of mistakes agents made here, each with its guard
- `landed <branch>`: does the base hold every change on a branch? Ask before closing or deleting it
- `check`: the whole contract; the exit code is the verdict
- `verify`: every done gate once: PASS, FAIL or NOT RUN, by exit code
- `doctor`: can the contract run here: interpreter, parser, toolchains
- `commands`: every command and instrument, as text or a JSON record

Hooks: shell `thea shell --json "<cmd>"` · edit `thea port <file> --line` · done `thea verify`.

## Records

- `.agent/bootstrap.json`: this entry as one record · `.agent/facts.json`: every published figure
- `AGENTS.md`/`CLAUDE.md`: agent runtimes · `CHAT.md`: a chat with no shell

## Rules that fail the build

1 No count typed into prose · 2 No calendar date · 3 No tool name in prose · 4 Refuse rather than invent · 5 Every limit names its closer · 6 Never raise a cap to fit your code · 7 A change ends when the artifact parses · 8 A control with no enforcer is refused. Detail: AGENTS.md.

## When asked to use, install, open, run, pull, report

- **use**: run `python scripts/atlas.py gate <file>` and the commands it prints; `python scripts/enforce.py install` makes every commit prove itself.
- **install**: README's `install` block (clone the tag, install editable, `thea doctor`; CI runs it); in a clone, `python -m pip install --require-hashes -r scripts/requirements.lock.txt`.
- **open**: load only your runtime's entry file, then `python scripts/atlas.py port <path>`; never read the tree breadth-first.
- **run**: `python scripts/atlas.py check` for the whole contract.
- **pull**: pin a release tag, never main; to update a clone, `git pull --ff-only` then `python scripts/atlas.py check`.
- **report**: run `failures <id> --draft '<text>'`, then `skills/thea/SKILL.md`.

## Packs

`languages/<pack>/`: `README.md` guide · `OPERATING.md` card · `tools.yaml` commands. `route <file>` names the pack; read it first.

bash · bqn · c · carbon · chapel · cloudflare · cpp · cuda · dockerfile · elixir · forth · fsharp · futhark · gleam · go · hare · haskell · json · julia · lean4 · markdown · mojo · nim · ocaml · odin · python · quantum/qsharp · quantum/silq · r · roc · rust · scala · sql · swift · thea · toml · typescript · uiua · v · webassembly · yaml · zig

## Files

- [MODEL.md](MODEL.md): the operating model; read it after `gate`, when a route names it
- [atlas.yaml](atlas.yaml): single source of truth: routes, invariants, gates, profiles, policy
- [docs/INDEX.md](docs/INDEX.md): every document
- [docs/VERIFY.md](docs/VERIFY.md): the verification ladder
- [docs/ENGINEERING-CONCEPTS.md](docs/ENGINEERING-CONCEPTS.md): why each rule exists, paired with its mechanism
- [docs/VERSIONING.md](docs/VERSIONING.md): one line per version, the only changelog
- [SECURITY.md](SECURITY.md): security policy and measured platform controls
- [LICENSE](LICENSE): MIT