ExecutionLifetimeScopeBuffer.cleanup_coverage: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_buffer.bend as ExecutionLifetimeScopeBuffer
Lines 49-54 of bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_buffer.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_buffer.bend&start_line=49&end_line=54

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

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

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_permission.bend&name=CleanupRoutes
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_permission.bend&name=Relations
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Layout
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Route
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_coverage.bend&name=cleanup_complete
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_coverage.bend&name=layout