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
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
a44b687897
Tighten failure and manifest contracts
2026-07-13 17:23:32 +09:00
5fdb339fe5
Model durable failure disposition
2026-07-13 16:41:51 +09:00
8c0ec9627e
Define API and live update contract
2026-07-13 14:59:50 +09:00
0b2b026283
Define authorization and outbound boundaries
2026-07-13 14:41:11 +09:00
376d1afbf4
Define result deletion boundaries
2026-07-13 14:26:49 +09:00
6b6e315776
Define source resumption proof boundaries
2026-07-13 14:15:02 +09:00
797d971b61
Define durable target cleanup boundaries
2026-07-13 14:03:23 +09:00
a9f611e4f0
Define manifest-rooted result architecture
2026-07-13 12:43:55 +09:00
39b41393a6
Initial commit. Add architecture specification and gitignore.
2026-07-10 11:32:11 +09:00
