# proposal · versecafe/strata

[View on GitCafe](https://git.cafe/versecafe/strata/tree/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal)

Repository: [versecafe/strata](https://git.cafe/versecafe/strata)

Visibility: public

Requested revision: 206d47fe6dee76b4d428d15cc9f607d255e71816

Requested commit: 206d47fe6dee76b4d428d15cc9f607d255e71816

Commit: 206d47fe6dee76b4d428d15cc9f607d255e71816

## Entries

- [proposal/00-vision.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/00-vision.md?format=markdown) — blob; object 070a28a526ff9d739bc6add873a9b36d5d868248

- [proposal/01-design-principles.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/01-design-principles.md?format=markdown) — blob; object 178fa6db7bdad7306591fe610769b381a49052bb

- [proposal/02-type-system-core.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/02-type-system-core.md?format=markdown) — blob; object fd5bf056c231c050343a963d0222e203581ed7f8

- [proposal/03-time-and-resources.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/03-time-and-resources.md?format=markdown) — blob; object c0c333f9613511a23f725b9d1ffc44a75c3e3d52

- [proposal/04-protocols-and-streams.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/04-protocols-and-streams.md?format=markdown) — blob; object dd27ec3709986058b48687196e0ae6243f75f559

- [proposal/05-speculation-authority-effects.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/05-speculation-authority-effects.md?format=markdown) — blob; object 39966c6c2837b2c8d0e9a4873760d6846691dea5

- [proposal/06-refinements-and-evidence.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/06-refinements-and-evidence.md?format=markdown) — blob; object 5e66a20a99bdb57f350f271031a8b8f35c2e1a41

- [proposal/07-compiler-architecture.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/07-compiler-architecture.md?format=markdown) — blob; object e4948e30a87b434fec61ba7d4db5e41055778f68

- [proposal/08-verification-platform.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/08-verification-platform.md?format=markdown) — blob; object 3e00bab96c0f6381258e1ab00d8b553014a66786

- [proposal/09-agent-system.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/09-agent-system.md?format=markdown) — blob; object 7796f50373af9a9b821439db5132ecf71a853811

- [proposal/10-fpga-loop.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/10-fpga-loop.md?format=markdown) — blob; object 44b4d4b90f380c0418a22711ef0cbac5b47a1970

- [proposal/11-roadmap.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/11-roadmap.md?format=markdown) — blob; object 980c43446a9dfbf7739ebc10e4b6e2e5273684a5

- [proposal/12-related-work.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/12-related-work.md?format=markdown) — blob; object 75bf816779ab01bf1838960d88418517c2e12c4c

- [proposal/13-package-system.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/13-package-system.md?format=markdown) — blob; object e66af619808972b9756710fe37ce7727c7014f75

- [proposal/14-toolchain.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/14-toolchain.md?format=markdown) — blob; object ef8d808d6bddf8d03f68b5517f0abe455aa36d39

- [proposal/15-syntax-requirements.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/15-syntax-requirements.md?format=markdown) — blob; object 150fbcead9ec095ac41aaa020f6a03d931cdc69d

- [proposal/16-syntax.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/16-syntax.md?format=markdown) — blob; object e786ec1da61502cf4cc54740fad8708febd9bacd

- [proposal/README.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/README.md?format=markdown) — blob; object ef3daa17f9807317d2e405198ef8d2b65ad86e98

- [proposal/decisions.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/decisions.md?format=markdown) — blob; object ed1313f73817b4d7b460cd10cbce33027a27a125

- [proposal/open-problems.md](https://git.cafe/versecafe/strata/blob/206d47fe6dee76b4d428d15cc9f607d255e71816/proposal/open-problems.md?format=markdown) — blob; object 8fb9f15e7250f63570267a4aed67df04e2a5e58e