Execution

Tracks per-task read leases on the workspace lock and releases them once every transitive downstream task that depends on the holder has completed.

The transitive part matters because a direct downstream can forward PathRefs or other data from an upstream output to its own downstreams. Releasing the upstream read lease when only the direct downstream completes would let a concurrent launcher overwrite that output while a later transitive downstream may still read it.

The names of the product elements.

The name of the type.

Format a failed count as a string to be used in status messages. When completed: returns ", N FAILED" if count > 0, otherwise ", SUCCESS" When in-progress: returns ", N failing" if count > 0, otherwise an empty string.