d0b745950b
Replace transient test labels with stable identifiers
2026-07-19 14:27:29 +09:00
775dd61963
Ship production deployment and runtime observability
2026-07-18 04:22:14 +09:00
459ffa04c6
Implement replay-safe browser synchronization
2026-07-18 00:16:21 +09:00
16cba3c317
Model checkpoint staging ownership transfer
2026-07-17 15:01:15 +09:00
9b6c3dc71f
Model durable ownership for credential secrets
2026-07-16 23:01:17 +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
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
