# proposal · versecafe/strata

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

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

Visibility: public

Requested revision: 54efc08232a7296ff1ec4dc6e45d9649c9364dad

Requested commit: 54efc08232a7296ff1ec4dc6e45d9649c9364dad

Commit: 54efc08232a7296ff1ec4dc6e45d9649c9364dad

## Entries

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

- [proposal/17-memory-model.md](https://git.cafe/versecafe/strata/blob/54efc08232a7296ff1ec4dc6e45d9649c9364dad/proposal/17-memory-model.md?format=markdown) — blob; object 221ee7a682e4c73758e5cd426efa899b1f47f427

- [proposal/18-grade-system.md](https://git.cafe/versecafe/strata/blob/54efc08232a7296ff1ec4dc6e45d9649c9364dad/proposal/18-grade-system.md?format=markdown) — blob; object 9fd57d1cc36e5e8f022296a7f2660556fe5dcbbb

- [proposal/19-linearity.md](https://git.cafe/versecafe/strata/blob/54efc08232a7296ff1ec4dc6e45d9649c9364dad/proposal/19-linearity.md?format=markdown) — blob; object ddfccb6013b674d2dcf927ba1e59842abd29ee54

- [proposal/20-guarded-feedback.md](https://git.cafe/versecafe/strata/blob/54efc08232a7296ff1ec4dc6e45d9649c9364dad/proposal/20-guarded-feedback.md?format=markdown) — blob; object 2069a590bda09f49a90826088745b4dfb08a5bba

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

- [proposal/decisions.md](https://git.cafe/versecafe/strata/blob/54efc08232a7296ff1ec4dc6e45d9649c9364dad/proposal/decisions.md?format=markdown) — blob; object 05dc851d24e89c9381b7be1cc19f0bf55fc67ac6

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