GitCafe
Docs
Sign in
versecafe
/
strata
Code
Issues
Pulls
CI
Stacks
Search
Branches
Tags
Code
Issues
Pulls
CI
Stacks
Search
Branches
Tags
More
Star
0
Code
Add proposal docs in
Unverified
6c85305ce0
versecafe committed on 8/19/2026, 9:46:56 PM
parent
0e161c8
Files Changed
21 files changed
+2847
-0
Ignore whitespace
Unified
Split
proposal
proposal
…
00-vision.md
00-vision.md
…
01-design-principles.md
01-design-principles.md
…
02-type-system-core.md
02-type-system-core.md
…
03-time-and-resources.md
03-time-and-resources.md
…
04-protocols-and-streams.md
04-protocols-and-streams.md
…
05-speculation-authority-effects.md
05-speculation-authority-effects.md
…
06-refinements-and-evidence.md
06-refinements-and-evidence.md
…
07-compiler-architecture.md
07-compiler-architecture.md
…
08-verification-platform.md
08-verification-platform.md
…
09-agent-system.md
09-agent-system.md
…
10-fpga-loop.md
10-fpga-loop.md
…
11-roadmap.md
11-roadmap.md
…
12-related-work.md
12-related-work.md
…
13-package-system.md
13-package-system.md
…
14-toolchain.md
14-toolchain.md
…
15-syntax-requirements.md
15-syntax-requirements.md
…
16-syntax.md
16-syntax.md
…
README.md
README.md
…
decisions.md
decisions.md
…