007 is a programming language for agents that make agents. Not a framework. Not a library. A language where autonomous agents are first-class citizens, agent creation is type-checked, and agent injection is a parse error.
007 is built on six pillars: Harvard architecture (grammatical data/control separation), linear handles (agent leak prevention), session types (protocol verification), choreographic compilation (deadlock freedom), capability-based security, and content-addressable behaviour. See Language Spec and Design Rationale for the full treatment.
Caveat: This is a research language under active development. The compiler, interpreter, and semantic analyser each have mk2 rewrites in progress. Choreographic compilation is the highest-risk component. The dual-use classification is precautionary, not regulatory.
| Path | Proves |
|---|---|
|
Grammar separates |
|
Full language specification including type system |
|
Operational semantics are formally defined |
|
Type system spec covering linear handles and session types |
|
Rust compiler implementation exists |
|
Interpreter with Harvard architecture enforcement |
|
Lexer for the 007 grammar |
|
Standard library with agent primitives |
|
Conformance tests validating language behaviour |
|
Worked examples of agent definitions |
|
Dual-use classification is documented and reasoned |
|
Harvard architecture design rationale with JTV lineage |