15 Commits

Author	SHA1	Message	Date
Emery Hemingway	464605bb1d	Reorder some alternatives to fail by default ... Order alternatives such that a language runtime that initializes objects to the first alternative will initialize fresh objects in a "fail closed" rather than a "fail open" state.	2024-05-26 14:44:12 +03:00
Tony Garnock-Jones	7797a3cd09	Updated description of gatekeeper protocol	2024-03-22 10:11:57 +01:00
Tony Garnock-Jones	9864ce0ec8	Switch `#!` to `#:`	2024-02-05 23:14:19 +01:00
Tony Garnock-Jones	fe9ceaf65c	Update comment syntax for Preserves 0.991	2023-10-31 21:56:44 +01:00
Tony Garnock-Jones	d8a139b23a	Switch back to transport sequence representation	2023-02-11 21:49:49 +01:00
Tony Garnock-Jones	46fd2dec3b	Set of any for transports in gatekeeper.Route	2023-02-11 17:43:42 +01:00
Tony Garnock-Jones	f3c9662607	Another small error	2023-02-08 23:43:51 +01:00
Tony Garnock-Jones	8b690b9103	Repair minor error	2023-02-08 23:36:21 +01:00
Tony Garnock-Jones	6224baa2b6	Avoid variable-arity steps	2023-02-08 23:04:42 +01:00
Tony Garnock-Jones	8619342e5e	Refinements	2023-02-08 22:11:45 +01:00
Tony Garnock-Jones	5bcb268ff8	Adjust ResolvePath/TransportConnection/PathStep	2023-02-08 20:36:14 +01:00
Tony Garnock-Jones	9cd2e6776c	Refactor gatekeeper protocols.	2023-02-08 17:46:47 +01:00
Tony Garnock-Jones	0b2c7ecfe1	Rename RefAny -> Cap	2021-07-22 14:12:53 +02:00
Tony Garnock-Jones	be6b30bba6	Switch Ref -> RefAny	2021-07-22 13:43:14 +02:00
Tony Garnock-Jones	93c196acaa	Move schemas into subdirectory after subtree split	2021-07-01 09:51:53 +02:00

Renamed from gatekeeper.prs (Browse further)