Commit Graph

198 Commits

Author SHA1 Message Date
Tony Garnock-Jones 305c0c26ee Cosmetic: whitespace 2024-04-17 13:22:21 +02:00
Tony Garnock-Jones 782f24687f Track observers per-assertion, not per-observer-ref, to repair incremental updates of pattern (!) 2024-04-17 13:22:05 +02:00
Tony Garnock-Jones 6d904d276e Proper treatment of annotations through dataspaces 2024-04-17 13:21:28 +02:00
Tony Garnock-Jones 4a05bbad73 Rename Dataspace.global to Dataspace.local 2024-04-15 10:26:27 +02:00
Tony Garnock-Jones 96a8367667 Update to new dataspace pattern language 2024-04-12 10:21:54 +02:00
Tony Garnock-Jones b6092b2a98 Cosmetic 2024-04-04 15:52:52 +02:00
Tony Garnock-Jones 6b58ef9f0f Generalise dataspace patterns to permit extensibility 2024-04-04 15:52:43 +02:00
Tony Garnock-Jones fd491b5c71 Updates for js-preserves2 Preserves implementation 2024-03-28 16:31:27 +01:00
Tony Garnock-Jones 85b2299061 Use constructor instead of ad-hoc objects for various `Ref`s 2024-03-28 12:40:25 +01:00
Tony Garnock-Jones 63b5d23391 Repair rewrite.ts attenuate() 2024-03-22 20:49:05 +01:00
Tony Garnock-Jones 036c342264 Template and rewrite-building routines in rewrite.ts 2024-03-22 12:19:02 +01:00
Tony Garnock-Jones 3b7543845a Repair mac() function to produce correct output width 2024-03-21 21:58:32 +01:00
Tony Garnock-Jones 291ec1805b Synchronous cryptography; convenient `mint` overload for producing a ref and a bind at once 2024-03-21 21:27:23 +01:00
Tony Garnock-Jones 140dc240c8 Export Field from @syndicate-lang/core 2024-03-19 20:35:20 +01:00
Tony Garnock-Jones 1958e4ec49 Refactor Relay while puzzling over sessions 2024-03-16 17:42:54 +01:00
Tony Garnock-Jones 40f5ef4085 Replace boundary structure to preserve embedded value separation 2024-03-12 22:56:01 +01:00
Tony Garnock-Jones 9521fc3dcc Switch to directly-represented embedded values 2024-03-12 21:38:49 +01:00
Tony Garnock-Jones 888b3be291 Check for and prevent cross-actor facet termination 2024-03-10 12:47:05 +01:00
Tony Garnock-Jones 2bcffd3bab Require explicit facet in Turn.stop 2024-03-09 23:05:40 +01:00
Tony Garnock-Jones 4843c76784 Remove unused import 2024-03-09 11:23:37 +01:00
Tony Garnock-Jones c73d4df2f2 Alter atExit to yield callback for removing the hook 2024-03-08 12:05:17 +01:00
Tony Garnock-Jones c9a52ebe39 New year 2024-02-03 15:59:22 +01:00
Tony Garnock-Jones 85cfabf63d Integrate preserves 0.993 2024-02-03 15:58:35 +01:00
Tony Garnock-Jones c9aab425fe Facet.wrap 2024-01-07 13:02:01 +01:00
Tony Garnock-Jones 3904c626c9 Repair Dataspace.retract() cleanup of handleMap (!) 2023-12-28 17:45:36 +13:00
Tony Garnock-Jones e2e72467cd Don't run external turns when space is paused 2023-12-21 14:13:45 +13:00
Tony Garnock-Jones 8b5486abd8 Give the global dataspace actor a reasonable name 2023-12-20 21:39:07 +13:00
Tony Garnock-Jones 4d0cc4b2f7 Deduplicate subject updates. Fixes #3. 2023-12-18 10:32:37 +13:00
Tony Garnock-Jones 3617582d37 Quasi-cosmetic: update imports (e.g. to allow jest to run) 2023-12-18 10:31:56 +13:00
Tony Garnock-Jones 83c81f894a Upgrade preserves to 0.992.4 2023-12-17 08:27:09 +01:00
Tony Garnock-Jones d60e923abe stdenv support 2023-12-04 23:10:00 +01:00
Tony Garnock-Jones 2f34cfa588 suppressCycleWarning 2023-12-03 23:05:49 +01:00
Tony Garnock-Jones 4903bc5149 Allow prettier display of dataflow cyclic dependencies 2023-12-03 22:35:47 +01:00
Tony Garnock-Jones ed605718e5 Global Dataspace and ActorSpace available 2023-12-01 20:53:18 +01:00
Tony Garnock-Jones 2671033b07 Allow booting an actor into an existing ActorSpace 2023-12-01 15:03:32 +01:00
Tony Garnock-Jones 28dee5f098 Store the whole assertion when crossSpace 2023-06-16 21:31:51 +02:00
Tony Garnock-Jones b4a54d6f94 Track inbound/outbound assertions across spaces 2023-06-16 13:02:34 +02:00
Tony Garnock-Jones 0533b3fd0f Expose queuedTasks 2023-06-01 23:27:44 +02:00
Tony Garnock-Jones 1de1e9d382 DataspaceObserver, for reflection 2023-05-28 12:25:44 +02:00
Tony Garnock-Jones 7b8526dfcf Facet.idChainValues 2023-05-28 12:24:28 +02:00
Tony Garnock-Jones 2a2b7da4bc Switch to proper schema 2023-05-28 12:03:45 +02:00
Tony Garnock-Jones 021fdf06bb Remove unneeded spawningFacet field; mark StopOnRetract entities 2023-05-28 11:38:05 +02:00
Tony Garnock-Jones 39fb9cb92e Task descriptions 2023-05-28 11:18:29 +02:00
Tony Garnock-Jones d55e322a0e Expose Dataspace value in Entity's data field 2023-05-25 23:46:29 +02:00
Tony Garnock-Jones 818f35c471 Introduce ActorSpace 2023-05-19 14:58:42 +02:00
Tony Garnock-Jones 7b2ea2aae9 Bump preserves version, other deps 2023-05-12 11:32:17 +02:00
Tony Garnock-Jones b2084c4d1d Factor out different kinds of IndexObserver 2023-05-02 16:19:38 +03:00
Tony Garnock-Jones cbcb692db8 Allow fully-discard constructor parameter dicts 2023-03-06 23:26:34 +01:00
Tony Garnock-Jones a51851283f Repair route with no steps 2023-02-11 22:01:19 +01:00
Tony Garnock-Jones cd5452b624 Implement new gatekeeper protocol for syndicate-js 2023-02-09 22:41:43 +01:00