This repository turns the accumulated language-design brainstorm into a machine-checkable research and development project.
The source of truth is a federated typed graph. Semantic contracts, architecture, evidence, work, runtime interactions, deployments, and responsibility are represented separately and connected by stable IDs. Markdown and Mermaid diagrams are generated projections of that graph.
- A stratified design from kernel to distributable theories, realizations, evidence, and deployments.
- A completed inventory state-machine tracer bullet with a lawful pure realization, a standing broken realization, typed example-test evidence, policy resolution, execution, and structured explanations. Actor and STM realizations remain planned.
- A strict TypeScript/Effect v4 graph loader, validator, scheduler, and view generator running on Bun.
- Canonical generated views:
- recursive system map;
- theory–realization map;
- concern matrix;
- evidence and trust graph;
- work dependencies and critical path;
- delegation frontier;
- runtime interaction view.
- Bun, Effect v4, strict TypeScript, Oxfmt, and Oxlint configuration across the project model, tracer, actor, reference custody, tests, and checks.
Enter the pinned development environment:
nix developRun the Effect v4 inventory tracer:
bun run semantic-tracer -- demo examples/inventoryRun the Effect v4 project model:
bun run semproj -- validate
bun run semproj -- report
bun run semproj -- generate
bun test tests/project-model.test.tsRun the Effect v4 reference-custody CLI:
bun run semrefs -- catalog-check
bun run semrefs -- status --all --lock-only --jsonThe checked-in reference lock retains its historical generator identity; current commands do not rewrite locked source facts merely to rename the implementation.
Run every available check:
just checkThe model intentionally retains a warning for the unsupported future
claim.kernel.safety claim.