cdeef3cc1a
Implement crash-safe streaming worker runtime
2026-07-17 18:51:44 +09:00
ebf818d23c
Add authenticated internal worker API
2026-07-17 09:16:46 +09:00
3062bf3d75
Tighten activation recovery and API contracts
2026-07-14 19:04:00 +09:00
033cfeaac6
Specify fenced activation and source credential contracts
...
Define bounded reservation recovery, exact activation replay fencing, immutable source identities, and deployment-owned secret and target policy boundaries. Align the OpenAPI contract and add a split-store activation safety refinement.
2026-07-14 18:12:28 +09:00
3881514e4b
Expose committed result members and stable principals
2026-07-14 12:12:13 +09:00
dfd60cf104
Separate protocol authority from mutable API contracts
...
Move API artifacts out of docs/spec, define concrete execution and deletion refinements, and document TLA+ abstraction boundaries so architecture prose cannot become a competing protocol specification.
2026-07-14 11:50:10 +09:00
