anchor.diff:      ) (attrNames configurations)
     ;
     
  +  /*
  +   * Generates a list of activation items specifying on which machine to activate a NixOS configuration.
  +   *
  +   * Parameters:
  +   * configurations: An attribute set with evaluated configurations
  +   * targetProperty: Attribute from the infrastructure model that is used to connect to the Disnix interface
  +   *
  +   * Returns:
  +   * A list of attribute sets representing activation items
  +   */
     generateActivationMappings = configurations: targetProperty:
       map (targetName:
         let
  
positive.code:     ) (attrNames configurations)
    ;
  
    generateManifest = network: targetProperty: enableDisnix: nixOpsModel: useVMTesting: useBackdoor:
      let
        configurations = generateConfigurations network enableDisnix nixOpsModel useVMTesting useBackdoor;
  
negative.code:       activation = generateActivationMappings configurations targetProperty;
        targets = generateTargetPropertyList configurations targetProperty;
      };
    
    /*
     * Generates a distributed derivation file constisting of a mapping of store derivations
     * to machines from the 3 Disnix models.
     *
     * Parameters:
     * network: An evaluated network with machine configurations
     * targetProperty: Attribute from the infrastructure model that is used to connect to the Disnix interface
     * enableDisnix: Indicates whether Disnix must be enabled
     * nixOpsModel: Indicates whether we should use NixOps specific settings
     * useVMTesting: Indicates whether we should enable NixOS test instrumentation and VM settings
     * useBackdoor: Indicates whether we should enable the backdoor
     *
     * Returns: 
     * An attributeset which should be exported to XML representing the distributed derivation
     */
    generateDistributedDerivation = network: targetProperty: enableDisnix: nixOpsModel: useVMTesting: useBackdoor:
      let
        configurations = generateConfigurations network enableDisnix nixOpsModel useVMTesting useBackdoor;
  