def cleanup_coverage

bendvy-ecs-core@0.1.0.3 · execution_lifetime_scope_buffer.bend:49

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_command_permission.bend as Permission
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_coverage.bend as Coverage

49# Unprovisioned callers retain the original graph-catalogue requirement.
50# Provisioned cleanup interprets the schema catalogue without gameplay grants.
51def cleanup_coverage(~S:Data,~resources:Layout.Layout,relations:Permission.Relations<S,resources>,routes:Maybe<&2,Permission.CleanupRoutes>) -> Bool:
52  match routes:
53    case None{}:Coverage.layout(~S,~resources,resources,Layout.AtLeaf{},relations)
54    case Some{routes}:Coverage.cleanup_complete(~S,~resources,relations,Some{routes})