AGENTS.md

AGENTS.md — lens

the doctrine of the home is ~/cyber/AGENTS.md; it applies here first. Claude Code receives both files at session start through ~/.config/cyber/agents-md.nu; other agents read them in order.

principles for working with AI coding agents across any project. this page is the bootstrap entry point — read it and the four foundational documents to have complete development context:

cyber/engineering — pipeline contracts, dual-stream optimization, verification dimensions
cyber/quality — 12 review passes, severity tiers, audit protocol
cyber/projects — repo layout, namespace conventions, git workflow
cyber/documentation — Diataxis framework, reference vs docs, spec before code

lens — polynomial commitment

what lens is

lens is the commitment layer for cyber. five polynomial commitment backends — one per algebra. the layer between hemera (identity) and nox (execution).

a lens makes computation verifiable: commit to a polynomial, prove evaluations, verify without seeing the polynomial. each algebra sees through its own optic.

architecture

hemera → lens → nox → zheng → bbg

lens is consumed by three components:

nox: noun identity (Lens.commit wraps polynomial noun)
zheng: proof commitment (SuperSpartan queries lens)
bbg: state commitment (BBG_root uses Lens.commit)

five lenses

scalar-field/        Brakedown    (expander-graph codes over F_p, impl: nebu)
binary-tower/        Binius       (binary Reed-Solomon over F₂, impl: kuro)
polynomial-ring/     Ikat         (NTT-batched, structure IS the pattern, impl: jali)
tropical-semiring/   Assayer      (witness-verify via dual certificate, impl: trop)
isogeny-curves/      Porphyry     (expander codes over deep field F_q, impl: genies)

workspace crates

arithmetics (subcrates — one per algebra)

crate	path	crates.io	algebra
nebu	`strata/nebu/rs/`	strata-nebu	F_p scalar + extensions
kuro	`strata/kuro/rs/`	strata-kuro	F₂ binary tower
jali	`strata/jali/rs/`	strata-jali	R_q polynomial ring
trop	`strata/trop/rs/`	strata-trop	(min,+) tropical semiring
genies	`strata/genies/rs/`	strata-genies	F_q isogeny group action

each also has wgsl/ (GPU backend) and cli/ (command-line tool) subcrates.

external repos (the five-layer stack)

hemera (identity)  → lens (commitment)  → nox (execution) → zheng (verification) → bbg (state)
~/git/hemera/        this repo             ~/git/nox/         ~/git/zheng/            ~/git/bbg/

do not touch zones

Cargo.toml dependency versions — discuss before changing
specs/ — canonical spec, change there first then propagate
Lens trait interface — requires cross-repo coordination (nox + zheng + bbg)

Homonyms

AGENTS

AGENTS.md — cyber > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. Git Workflow **Commit by default.** After completing a change, commit it. Don't wait…

cyb/AGENTS

AGENTS.md — cyb > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. Архитектура Bevy — корневой runtime. Один бинарник для всех платформ. Внешние…

soft3/AGENTS

AGENTS.md — soft3 > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. what this repo is soft3 owns foundational stack composition contracts and developer…

cyberia/AGENTS

AGENTS.md — cyberia > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. this repository adds no rules of its own beyond the home's and `cyberia/dev.md`.

cy/AGENTS

AGENTS.md — cy Rules for every coding agent in this repository are the shared doctrine of `~/cyber/cyberia/dev.md` (published as the cyberia/dev page): git, reports, vocabulary, release train, moving a page. Read it first. Nothing is restated here. This repository holds the contract of the agent:…

cyb/honeycrisp/AGENTS

AGENTS.md — honeycrisp > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. auditor mindset the project is supervised by an engineer with 30 years of…

soft3/mudra/AGENTS

AGENTS.md — mudra > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. principles for working with AI coding agents across any project. this page is the…

soft3/bbg/AGENTS

AGENTS.md — bbg > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. principles for working with AI coding agents across any project. this page is the…

cy/sigma/AGENTS

AGENTS.md — sigma Rules for every coding agent here are the shared doctrine of `~/cyber/cyberia/dev.md` (the cyberia/dev page). Nothing is restated. This repository holds the contract of sigma (`README.md`, `specs/`); reports go to `audit/`. The ladder and the registry of parts belong to `soft3`.

neural/trident/AGENTS

AGENTS.md — trident > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. A building block for a cyberstate with superintelligence. Trident is a provable…

soft3/soma/AGENTS

AGENTS.md — soma > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. Local cognitive architecture of one cyber Avatar. A machine that perceives, decides,…

neural/rs/AGENTS

AGENTS.md — rs > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. principles for working with AI coding agents across any project. this page is the…

warriors/erga/AGENTS

AGENTS.md — erga > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. Git workflow **Commit by default.** After completing a change, commit it. **Atomic…

soft3/zheng/AGENTS

AGENTS.md — zheng > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. principles for working with AI coding agents across any project. this page is the…

cyb/evy/AGENTS

AGENTS.md — evy > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. project evy is a unified-memory, multi-engine, neural-first game engine. selectively…

warriors/trisha/AGENTS

AGENTS.md — trisha > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. Triton VM warrior. Execute, prove, verify, deploy Trident programs. Structure Source…

cyb/wysm/AGENTS

AGENTS.md — wysm > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. principles for working with AI coding agents on the cyber wysm runtime. read this and…

neural/eidos/AGENTS

AGENTS.md — eidos > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. principles for working with AI coding agents across any project. this page is the…

warriors/joy/AGENTS

AGENTS.md — joy > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. nox VM warrior for the cyber battlefield. Build, execute, prove and verify Trident…

soft3/neuron/AGENTS

AGENTS.md — neuron > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. The user's requested canonical specification directory is specs/. docs/ explains the…

neural/rune/AGENTS

AGENTS.md — rune > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. Git Workflow **Commit by default.** After completing a change, commit it. **Atomic…

soft3/nox/AGENTS

AGENTS.md — nox > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. principles for working with AI coding agents across any project. this page is the…

soft3/cybernode/AGENTS

AGENTS.md — cybernode > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. cybernode is rung 7 of the soft3 ladder: the node. `rs/` is the crate and the…

cyb/seer/AGENTS

AGENTS.md — seer > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. seer is a miner. it mines the mint of any chain that pays for focus — every token has…

cyb/honeycrisp/acpu/AGENTS

AGENTS.md — honeycrisp/acpu > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. auditor mindset the project is supervised by an engineer with 30 years of…

cy/chroma/sigma/AGENTS

soft3/strata/kuro/AGENTS

AGENTS.md — strata/kuro > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. kuro (黒) — F₂ tower field arithmetic for binary proving. project structure key…

soft3/strata/jali/AGENTS

AGENTS.md — strata/jali > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. jali (जाली) — polynomial ring arithmetic R_q = F_p[x]/(x^n+1) over Goldilocks.…

soft3/strata/nebu/AGENTS

AGENTS.md — strata/nebu > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. principles for working with AI coding agents across any project. this page is…

cyb/honeycrisp/unimem/AGENTS

AGENTS.md — honeycrisp/unimem > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. project: unimem pure Rust memory driver for Apple Silicon.…

cyberia/research/events/AGENTS

cyb/honeycrisp/aruminium/AGENTS

AGENTS.md — honeycrisp/aruminium > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. auditor mindset the project is supervised by an engineer with 30 years…

soft3/strata/trop/AGENTS

AGENTS.md — strata/trop > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. trop — tropical semiring arithmetic for provable optimization. project…

soft3/strata/genies/AGENTS

AGENTS.md — strata/genies > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. genies — isogeny group action arithmetic for post-quantum privacy. project…

cyb/honeycrisp/rane/AGENTS

AGENTS.md — honeycrisp/rane > the doctrine of the home is `~/cyber/AGENTS.md`; it applies here first. Claude Code receives both files at session start through `~/.config/cyber/agents-md.nu`; other agents read them in order. auditor mindset the project is supervised by an engineer with 30 years of…