1. A method for assertion management in a dynamically assembled programmatic environment, the method comprising: dynamically assembling different execution units into a dynamically assembled computer program of an instance of a data model; augmenting the assembled different execution units for introspection; applying a predicate assertion as a pre-condition to execution of at least one of the different execution units through an introspection of the one of the different execution units; and, on condition that the pre-condition fails, generating an assertion result reporting a failure of the predicate assertion, but otherwise on condition that the pre-condition does not fail, creating a trace object for the data model, retrieving one or more additional execution units for the dynamically assembled computer program, executing each additional execution unit, adding a trace record in the trace object for each additional execution unit and generating an assertion result reporting a success of the predicate assertion.