Documentation
The documentation lives in the repository and is linked here at the 0.3.0 release tag, so each page describes the version you installed.
Start here
- Review tour One agent-written change, from diff to approval by hash.
- Introduction A plain-language introduction on FriendMachine Research.
- Tutorial Runnable examples; every source fence is checked by the test suite.
- SKILL.md The one-file guide written for agents, and a compact reference for anyone.
- Demos The runnable examples that ship with the installer.
Language
- Surface syntax The .jac grammar and how it lowers to the kernel.
- Kernel The 27 kernel forms every program reduces to.
- Effects The standard effect taxonomy and its versions.
- Standard library The prelude, written in Jacquard.
- Concurrency The structured concurrency contract, schedule testing and replay.
Testing and review
- Warp overview One property sampled or checked over every case, fault combinations, and tests cached by hash.
- Warp Cases, properties, world tests and exhaustive checking.
- Relational checks jac relate: rerun under schedule, secret or grant variation.
- Observation policies What a comparison is allowed to see.
- Error codes Every diagnostic with its cause and next step.
Runtime and hosts
- Native compilation The C backend and its supported subset.
- Jacquard Host Python, TypeScript and Go SDKs that call checked functions and bind their effects to services.
- Host boundary The trust boundary and compatibility rules for host integration.
- Benchmarks The current measurements for native builds.
The 0.3.0 release
- Release notes What changed, and how to upgrade from 0.2.
- Claims Each positive claim paired with its nearest important limit.
- Limits What the release does not do.
- Evidence The verification record for the release commit.