Directories
¶
| Path | Synopsis |
|---|---|
|
nova-bus is the message bus between AIs over Redis streams (docs/SPEC-BUS.md; the delivery machine is tla/Bus2.tla).
|
nova-bus is the message bus between AIs over Redis streams (docs/SPEC-BUS.md; the delivery machine is tla/Bus2.tla). |
|
nova-cairn keeps a session's words as plain files: it opens a session record, appends the caller's exact words with a clock stamp, a stable id and a source pointer, and reads them back as an index and receipts.
|
nova-cairn keeps a session's words as plain files: it opens a session record, appends the caller's exact words with a clock stamp, a stable id and a source pointer, and reads them back as an index and receipts. |
|
nova-check runs checks over markdown records and repositories (SPEC-CHECK.md): quickstart (links, then nocode), boot attestation, link integrity, the kernel size budget, the self/machinery separation (nocode, and nocode --staged over the git index), the floor-set parity of a derived door and its source, the protected corpus, branch hygiene, the dogfood ledger (record, ledger, gate), convergence and spelling.
|
nova-check runs checks over markdown records and repositories (SPEC-CHECK.md): quickstart (links, then nocode), boot attestation, link integrity, the kernel size budget, the self/machinery separation (nocode, and nocode --staged over the git index), the floor-set parity of a derived door and its source, the protected corpus, branch hygiene, the dogfood ledger (record, ledger, gate), convergence and spelling. |
|
nova-ci runs the checks this repository's CI path makes on its own output.
|
nova-ci runs the checks this repository's CI path makes on its own output. |
|
Command nova-config is the one tool for the fleet's permanent, non-ephemeral configuration: it owns Postgres (schema `config`, its migrations, its history) and every registry of the fleet, and it applies that configuration into Redis so Redis is always a rebuildable copy.
|
Command nova-config is the one tool for the fleet's permanent, non-ephemeral configuration: it owns Postgres (schema `config`, its migrations, its history) and every registry of the fleet, and it applies that configuration into Redis so Redis is always a rebuildable copy. |
|
nova-decide is a decision system trained from its own record (docs/SPEC-NOVA-DECIDE.md).
|
nova-decide is a decision system trained from its own record (docs/SPEC-NOVA-DECIDE.md). |
|
Command nova-doctor says what is missing for the nova tools to work and the one line that fixes each.
|
Command nova-doctor says what is missing for the nova tools to work and the one line that fixes each. |
|
The daemon's reading of every harness's credit and quota refusal, from the places a lane leaves it: the lane's stdout, its stderr, the harness log it writes and the REPORT.md it leaves (docs/SPEC-FRIEND.md, a harness out of credits).
|
The daemon's reading of every harness's credit and quota refusal, from the places a lane leaves it: the lane's stdout, its stderr, the harness log it writes and the REPORT.md it leaves (docs/SPEC-FRIEND.md, a harness out of credits). |
|
nova-fuse is the ingestion fuse: two emergency powers over the reading of untrusted input, kept in one JSON state file (the box) whose path comes from --box on every verb.
|
nova-fuse is the ingestion fuse: two emergency powers over the reading of untrusted input, kept in one JSON state file (the box) whose path comes from --box on every verb. |
|
nova-local makes a local model engine usable (docs/SPEC-LOCAL.md): what is here (status), one model served at a context the caller chose (serve), and a worker description nova-swarm accepts (worker).
|
nova-local makes a local model engine usable (docs/SPEC-LOCAL.md): what is here (status), one model served at a context the caller chose (serve), and a worker description nova-swarm accepts (worker). |
|
nova-memory makes membership in a markdown corpus a LOOKUP, never a scan.
|
nova-memory makes membership in a markdown corpus a LOOKUP, never a scan. |
|
Command nova-redis is the Layer 2 binary of docs/SPEC-REDIS.md, the owner of the local instance: `serve` launches it bound to loopback and the tailnet, with auth from nova-secrets and the fleet store's rules: AOF on, no eviction, no TTL policy, the store in --dir (serve.go).
|
Command nova-redis is the Layer 2 binary of docs/SPEC-REDIS.md, the owner of the local instance: `serve` launches it bound to loopback and the tailnet, with auth from nova-secrets and the fleet store's rules: AOF on, no eviction, no TTL policy, the store in --dir (serve.go). |
|
What the wall denied, said out loud.
|
What the wall denied, said out loud. |
|
Command nova-secrets keeps a team's secrets sops-encrypted in a git repository (the store) and hands the values one command needs to that command alone, in its environment; no verb prints a value.
|
Command nova-secrets keeps a team's secrets sops-encrypted in a git repository (the store) and hands the values one command needs to that command alone, in its environment; no verb prints a value. |
|
nova-self-talk classifies self-claims in prose, in two disjoint classes: STANDING/DATED — what the writer permanently IS or permanently CANNOT do, in negative vocabulary — and INSTALLATION — a standing self-verdict built from neutral words, which the first class cannot see.
|
nova-self-talk classifies self-claims in prose, in two disjoint classes: STANDING/DATED — what the writer permanently IS or permanently CANNOT do, in negative vocabulary — and INSTALLATION — a standing self-verdict built from neutral words, which the first class cannot see. |
|
nova-swarm doctor: refuse to launch under a shadowed or unreadable binary.
|
nova-swarm doctor: refuse to launch under a shadowed or unreadable binary. |
|
nova-table: work tables of ordered sets, text and formulas over Redis (pkg/ntable).
|
nova-table: work tables of ordered sets, text and formulas over Redis (pkg/ntable). |
|
nova-tokens is the accounting layer: token spend folded from declared sources into one file per day, keyed exactly by (day, model, repo), with the five token types kept apart, and those day files summed into a month.
|
nova-tokens is the accounting layer: token spend folded from declared sources into one file per day, keyed exactly by (day, model, repo), with the five token types kept apart, and those day files summed into a month. |
|
Command nova-up sets up nova on one machine, from nothing to a first sprint: it plans every step, prints one line per step, and applies the steps that are not ok (docs/SPEC-UP.md).
|
Command nova-up sets up nova on one machine, from nothing to a first sprint: it plans every step, prints one line per step, and applies the steps that are not ok (docs/SPEC-UP.md). |
|
Command nova-version reports installed tool identities and shares the update reader: local stdout by default, optional prepared bus delivery.
|
Command nova-version reports installed tool identities and shares the update reader: local stdout by default, optional prepared bus delivery. |
Click to show internal directories.
Click to hide internal directories.