| # | Label | Result | Rule |
|---|---|---|---|
| 1 | Estimated concept gross profit foots (wip:ContractGrossProfitTotalContract).
(RULE003_MemberAggregation_Foots_ContractGrossProfitTotalContract)
|
Pass | $VARIABLE_Total = sum($VARIABLE_Each) |
| 2 | Gross profit foots (us-gaap:GrossProfit).
(RULE012_MemberAggregation_Foots_GrossProfit)
|
Pass | $VARIABLE_Total = sum($VARIABLE_Each) |
| 3 | Concept revenues earned since inception foots (wip:ContractRevenueEarnedToDate).
(RULE004_MemberAggregation_Foots_ContractRevenueEarnedToDate)
|
Pass | $VARIABLE_Total = sum($VARIABLE_Each) |
| 4 | Concept costs incurred since inception foots (wip:ContractCostsIncurredToDate).
(RULE005_MemberAggregation_Foots_ContractCostsIncurredToDate)
|
Pass | $VARIABLE_Total = sum($VARIABLE_Each) |
| 5 | Estimated gross profit foots.
(RULE021_RollUp_EstimatedGrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 6 | Estimated gross profit foots.
(RULE021_RollUp_EstimatedGrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 7 | Estimated gross profit foots.
(RULE021_RollUp_EstimatedGrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 8 | Estimated gross profit foots.
(RULE021_RollUp_EstimatedGrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 9 | Estimated gross profit foots.
(RULE021_RollUp_EstimatedGrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 10 | Estimated gross profit foots.
(RULE021_RollUp_EstimatedGrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 11 | Estimated gross profit foots.
(RULE021_RollUp_EstimatedGrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 12 | Percentage complete computation is correct.
(RULE020_ComplexComputation_PercentComplete)
|
Pass | ((xs:integer($PercentageComplete * 100)) - (xs:integer(1-($ContractCostsEstimatedCostToComplete div $ContractCostsEstimatedCost)) * 100)) le 100 |
| 13 | Percentage complete computation is correct.
(RULE020_ComplexComputation_PercentComplete)
|
Pass | ((xs:integer($PercentageComplete * 100)) - (xs:integer(1-($ContractCostsEstimatedCostToComplete div $ContractCostsEstimatedCost)) * 100)) le 100 |
| 14 | Percentage complete computation is correct.
(RULE020_ComplexComputation_PercentComplete)
|
Pass | ((xs:integer($PercentageComplete * 100)) - (xs:integer(1-($ContractCostsEstimatedCostToComplete div $ContractCostsEstimatedCost)) * 100)) le 100 |
| 15 | Percentage complete computation is correct.
(RULE020_ComplexComputation_PercentComplete)
|
Pass | ((xs:integer($PercentageComplete * 100)) - (xs:integer(1-($ContractCostsEstimatedCostToComplete div $ContractCostsEstimatedCost)) * 100)) le 100 |
| 16 | Percentage complete computation is correct.
(RULE020_ComplexComputation_PercentComplete)
|
Pass | ((xs:integer($PercentageComplete * 100)) - (xs:integer(1-($ContractCostsEstimatedCostToComplete div $ContractCostsEstimatedCost)) * 100)) le 100 |
| 17 | Percentage complete computation is correct.
(RULE020_ComplexComputation_PercentComplete)
|
Pass | ((xs:integer($PercentageComplete * 100)) - (xs:integer(1-($ContractCostsEstimatedCostToComplete div $ContractCostsEstimatedCost)) * 100)) le 100 |
| 18 | Percentage complete computation is correct.
(RULE020_ComplexComputation_PercentComplete)
|
Pass | ((xs:integer($PercentageComplete * 100)) - (xs:integer(1-($ContractCostsEstimatedCostToComplete div $ContractCostsEstimatedCost)) * 100)) le 100 |
| 19 | wip:ContractRevenueEarnedToDate MUST never be negative.
(RULE015_GreaterThanOrEqualToZero_ContractRevenueEarnedToDate)
|
Pass | $FactValue ge 0 |
| 20 | wip:ContractRevenueEarnedToDate MUST never be negative.
(RULE015_GreaterThanOrEqualToZero_ContractRevenueEarnedToDate)
|
Pass | $FactValue ge 0 |
| 21 | wip:ContractRevenueEarnedToDate MUST never be negative.
(RULE015_GreaterThanOrEqualToZero_ContractRevenueEarnedToDate)
|
Pass | $FactValue ge 0 |
| 22 | wip:ContractRevenueEarnedToDate MUST never be negative.
(RULE015_GreaterThanOrEqualToZero_ContractRevenueEarnedToDate)
|
Pass | $FactValue ge 0 |
| 23 | wip:ContractRevenueEarnedToDate MUST never be negative.
(RULE015_GreaterThanOrEqualToZero_ContractRevenueEarnedToDate)
|
Pass | $FactValue ge 0 |
| 24 | wip:ContractRevenueEarnedToDate MUST never be negative.
(RULE015_GreaterThanOrEqualToZero_ContractRevenueEarnedToDate)
|
Pass | $FactValue ge 0 |
| 25 | wip:ContractRevenueEarnedToDate MUST never be negative.
(RULE015_GreaterThanOrEqualToZero_ContractRevenueEarnedToDate)
|
Pass | $FactValue ge 0 |
| 26 | Contract gross profit earned since inception foots (wip:ContractGrossProfitFromInceptionToDate).
(RULE006_MemberAggregation_Foots_ContractGrossProfitFromInceptionToDate)
|
Pass | $VARIABLE_Total = sum($VARIABLE_Each) |
| 27 | wip:ContractBillingsFromInceptionToDate MUST never be negative.
(RULE017_GreaterThanOrEqualToZero_ContractBillingsFromInceptionToDate)
|
Pass | $FactValue ge 0 |
| 28 | wip:ContractBillingsFromInceptionToDate MUST never be negative.
(RULE017_GreaterThanOrEqualToZero_ContractBillingsFromInceptionToDate)
|
Pass | $FactValue ge 0 |
| 29 | wip:ContractBillingsFromInceptionToDate MUST never be negative.
(RULE017_GreaterThanOrEqualToZero_ContractBillingsFromInceptionToDate)
|
Pass | $FactValue ge 0 |
| 30 | wip:ContractBillingsFromInceptionToDate MUST never be negative.
(RULE017_GreaterThanOrEqualToZero_ContractBillingsFromInceptionToDate)
|
Pass | $FactValue ge 0 |
| 31 | wip:ContractBillingsFromInceptionToDate MUST never be negative.
(RULE017_GreaterThanOrEqualToZero_ContractBillingsFromInceptionToDate)
|
Pass | $FactValue ge 0 |
| 32 | wip:ContractBillingsFromInceptionToDate MUST never be negative.
(RULE017_GreaterThanOrEqualToZero_ContractBillingsFromInceptionToDate)
|
Pass | $FactValue ge 0 |
| 33 | wip:ContractBillingsFromInceptionToDate MUST never be negative.
(RULE017_GreaterThanOrEqualToZero_ContractBillingsFromInceptionToDate)
|
Pass | $FactValue ge 0 |
| 34 | Contract billings since inception foots (wip:ContractBillingsFromInceptionToDate).
(RULE007_MemberAggregation_Foots_ContractBillingsFromInceptionToDate)
|
Pass | $VARIABLE_Total = sum($VARIABLE_Each) |
| 35 | Contract estimated costs to complete foots (wip:ContractCostsEstimatedCostToComplete).
(RULE008_MemberAggregation_Foots_ContractCostsEstimatedCostToComplete)
|
Pass | $VARIABLE_Total = sum($VARIABLE_Each) |
| 36 | Revenues must never be negative.
(RULE018_GreaterThanOrEqualToZero_Revenues)
|
Pass | $FactValue ge 0 |
| 37 | Revenues must never be negative.
(RULE018_GreaterThanOrEqualToZero_Revenues)
|
Pass | $FactValue ge 0 |
| 38 | Revenues must never be negative.
(RULE018_GreaterThanOrEqualToZero_Revenues)
|
Pass | $FactValue ge 0 |
| 39 | Revenues must never be negative.
(RULE018_GreaterThanOrEqualToZero_Revenues)
|
Pass | $FactValue ge 0 |
| 40 | Revenues must never be negative.
(RULE018_GreaterThanOrEqualToZero_Revenues)
|
Pass | $FactValue ge 0 |
| 41 | Revenues must never be negative.
(RULE018_GreaterThanOrEqualToZero_Revenues)
|
Pass | $FactValue ge 0 |
| 42 | Revenues must never be negative.
(RULE018_GreaterThanOrEqualToZero_Revenues)
|
Pass | $FactValue ge 0 |
| 43 | Estimated gross profit foots.
(RULE022_RollUp_FromInceptionGrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 44 | Estimated gross profit foots.
(RULE022_RollUp_FromInceptionGrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 45 | Estimated gross profit foots.
(RULE022_RollUp_FromInceptionGrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 46 | Estimated gross profit foots.
(RULE022_RollUp_FromInceptionGrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 47 | Estimated gross profit foots.
(RULE022_RollUp_FromInceptionGrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 48 | Estimated gross profit foots.
(RULE022_RollUp_FromInceptionGrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 49 | Estimated gross profit foots.
(RULE022_RollUp_FromInceptionGrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 50 | Cost of revenue MUST never be negative.
(RULE019_GreaterThanOrEqualToZero_CostOfRevenue)
|
Pass | $FactValue ge 0 |
| 51 | Cost of revenue MUST never be negative.
(RULE019_GreaterThanOrEqualToZero_CostOfRevenue)
|
Pass | $FactValue ge 0 |
| 52 | Cost of revenue MUST never be negative.
(RULE019_GreaterThanOrEqualToZero_CostOfRevenue)
|
Pass | $FactValue ge 0 |
| 53 | Cost of revenue MUST never be negative.
(RULE019_GreaterThanOrEqualToZero_CostOfRevenue)
|
Pass | $FactValue ge 0 |
| 54 | Cost of revenue MUST never be negative.
(RULE019_GreaterThanOrEqualToZero_CostOfRevenue)
|
Pass | $FactValue ge 0 |
| 55 | Cost of revenue MUST never be negative.
(RULE019_GreaterThanOrEqualToZero_CostOfRevenue)
|
Pass | $FactValue ge 0 |
| 56 | Cost of revenue MUST never be negative.
(RULE019_GreaterThanOrEqualToZero_CostOfRevenue)
|
Pass | $FactValue ge 0 |
| 57 | Billings in excess of costs foots (wip:CostsAndEstimatedEarningsInExcessOfBillingsNet).
(RULE009_MemberAggregation_Foots_CostsAndEstimatedEarningsInExcessOfBillingsNet)
|
Pass | $VARIABLE_Total = sum($VARIABLE_Each) |
| 58 | wip:ContractCostsIncurredToDate MUST never be negative.
(RULE016_GreaterThanOrEqualToZero_ContractCostsIncurredToDate)
|
Pass | $FactValue ge 0 |
| 59 | wip:ContractCostsIncurredToDate MUST never be negative.
(RULE016_GreaterThanOrEqualToZero_ContractCostsIncurredToDate)
|
Pass | $FactValue ge 0 |
| 60 | wip:ContractCostsIncurredToDate MUST never be negative.
(RULE016_GreaterThanOrEqualToZero_ContractCostsIncurredToDate)
|
Pass | $FactValue ge 0 |
| 61 | wip:ContractCostsIncurredToDate MUST never be negative.
(RULE016_GreaterThanOrEqualToZero_ContractCostsIncurredToDate)
|
Pass | $FactValue ge 0 |
| 62 | wip:ContractCostsIncurredToDate MUST never be negative.
(RULE016_GreaterThanOrEqualToZero_ContractCostsIncurredToDate)
|
Pass | $FactValue ge 0 |
| 63 | wip:ContractCostsIncurredToDate MUST never be negative.
(RULE016_GreaterThanOrEqualToZero_ContractCostsIncurredToDate)
|
Pass | $FactValue ge 0 |
| 64 | wip:ContractCostsIncurredToDate MUST never be negative.
(RULE016_GreaterThanOrEqualToZero_ContractCostsIncurredToDate)
|
Pass | $FactValue ge 0 |
| 65 | wip:ContractCostsEstimatedCost MUST never be negative.
(RULE014_GreaterThanOrEqualToZero_ContractCostsEstimatedCost)
|
Pass | $FactValue ge 0 |
| 66 | wip:ContractCostsEstimatedCost MUST never be negative.
(RULE014_GreaterThanOrEqualToZero_ContractCostsEstimatedCost)
|
Pass | $FactValue ge 0 |
| 67 | wip:ContractCostsEstimatedCost MUST never be negative.
(RULE014_GreaterThanOrEqualToZero_ContractCostsEstimatedCost)
|
Pass | $FactValue ge 0 |
| 68 | wip:ContractCostsEstimatedCost MUST never be negative.
(RULE014_GreaterThanOrEqualToZero_ContractCostsEstimatedCost)
|
Pass | $FactValue ge 0 |
| 69 | wip:ContractCostsEstimatedCost MUST never be negative.
(RULE014_GreaterThanOrEqualToZero_ContractCostsEstimatedCost)
|
Pass | $FactValue ge 0 |
| 70 | wip:ContractCostsEstimatedCost MUST never be negative.
(RULE014_GreaterThanOrEqualToZero_ContractCostsEstimatedCost)
|
Pass | $FactValue ge 0 |
| 71 | wip:ContractCostsEstimatedCost MUST never be negative.
(RULE014_GreaterThanOrEqualToZero_ContractCostsEstimatedCost)
|
Pass | $FactValue ge 0 |
| 72 | Revenue foots (us-gaap:Revenues).
(RULE010_MemberAggregation_Foots_Revenues)
|
Pass | $VARIABLE_Total = sum($VARIABLE_Each) |
| 73 | Cost of Revenue foots (us-gaap:CostOfRevenue).
(RULE011_MemberAggregation_Foots_CostOfRevenue)
|
Pass | $VARIABLE_Total = sum($VARIABLE_Each) |
| 74 | Estimated gross profit foots.
(RULE024_RollUp_EstimatedCostsToComplete)
|
Pass | $Total_ContractCostsEstimatedCostToComplete = ($ContractCostsEstimatedCost - $ContractCostsIncurredToDate) |
| 75 | Estimated gross profit foots.
(RULE024_RollUp_EstimatedCostsToComplete)
|
Pass | $Total_ContractCostsEstimatedCostToComplete = ($ContractCostsEstimatedCost - $ContractCostsIncurredToDate) |
| 76 | Estimated gross profit foots.
(RULE024_RollUp_EstimatedCostsToComplete)
|
Pass | $Total_ContractCostsEstimatedCostToComplete = ($ContractCostsEstimatedCost - $ContractCostsIncurredToDate) |
| 77 | Estimated gross profit foots.
(RULE024_RollUp_EstimatedCostsToComplete)
|
Pass | $Total_ContractCostsEstimatedCostToComplete = ($ContractCostsEstimatedCost - $ContractCostsIncurredToDate) |
| 78 | Estimated gross profit foots.
(RULE024_RollUp_EstimatedCostsToComplete)
|
Pass | $Total_ContractCostsEstimatedCostToComplete = ($ContractCostsEstimatedCost - $ContractCostsIncurredToDate) |
| 79 | Estimated gross profit foots.
(RULE024_RollUp_EstimatedCostsToComplete)
|
Pass | $Total_ContractCostsEstimatedCostToComplete = ($ContractCostsEstimatedCost - $ContractCostsIncurredToDate) |
| 80 | Estimated gross profit foots.
(RULE024_RollUp_EstimatedCostsToComplete)
|
Pass | $Total_ContractCostsEstimatedCostToComplete = ($ContractCostsEstimatedCost - $ContractCostsIncurredToDate) |
| 81 | Estimated concept revenues foots (wip:ContractRevenueEstimatedRevenue).
(RULE001_MemberAggregation_Foots_ContractRevenueEstimatedRevenue)
|
Pass | $VARIABLE_Total = sum($VARIABLE_Each) |
| 82 | Estimated gross profit foots.
(RULE025_RollUp_CostsAndEstimatedEarningsInExcessOfBillingsNet)
|
Pass | $Total_CostsAndEstimatedEarningsInExcessOfBillingsNet = ($ContractRevenueEarnedToDate - $ContractBillingsFromInceptionToDate) |
| 83 | Estimated gross profit foots.
(RULE025_RollUp_CostsAndEstimatedEarningsInExcessOfBillingsNet)
|
Pass | $Total_CostsAndEstimatedEarningsInExcessOfBillingsNet = ($ContractRevenueEarnedToDate - $ContractBillingsFromInceptionToDate) |
| 84 | Estimated gross profit foots.
(RULE025_RollUp_CostsAndEstimatedEarningsInExcessOfBillingsNet)
|
Pass | $Total_CostsAndEstimatedEarningsInExcessOfBillingsNet = ($ContractRevenueEarnedToDate - $ContractBillingsFromInceptionToDate) |
| 85 | Estimated gross profit foots.
(RULE025_RollUp_CostsAndEstimatedEarningsInExcessOfBillingsNet)
|
Pass | $Total_CostsAndEstimatedEarningsInExcessOfBillingsNet = ($ContractRevenueEarnedToDate - $ContractBillingsFromInceptionToDate) |
| 86 | Estimated gross profit foots.
(RULE025_RollUp_CostsAndEstimatedEarningsInExcessOfBillingsNet)
|
Pass | $Total_CostsAndEstimatedEarningsInExcessOfBillingsNet = ($ContractRevenueEarnedToDate - $ContractBillingsFromInceptionToDate) |
| 87 | Estimated gross profit foots.
(RULE025_RollUp_CostsAndEstimatedEarningsInExcessOfBillingsNet)
|
Pass | $Total_CostsAndEstimatedEarningsInExcessOfBillingsNet = ($ContractRevenueEarnedToDate - $ContractBillingsFromInceptionToDate) |
| 88 | Estimated gross profit foots.
(RULE025_RollUp_CostsAndEstimatedEarningsInExcessOfBillingsNet)
|
Pass | $Total_CostsAndEstimatedEarningsInExcessOfBillingsNet = ($ContractRevenueEarnedToDate - $ContractBillingsFromInceptionToDate) |
| 89 | wip:ContractRevenueEstimatedRevenue MUST never be negative.
(RULE013_GreaterThanOrEqualToZero_ContractRevenueEstimatedRevenue)
|
Pass | $FactValue ge 0 |
| 90 | wip:ContractRevenueEstimatedRevenue MUST never be negative.
(RULE013_GreaterThanOrEqualToZero_ContractRevenueEstimatedRevenue)
|
Pass | $FactValue ge 0 |
| 91 | wip:ContractRevenueEstimatedRevenue MUST never be negative.
(RULE013_GreaterThanOrEqualToZero_ContractRevenueEstimatedRevenue)
|
Pass | $FactValue ge 0 |
| 92 | wip:ContractRevenueEstimatedRevenue MUST never be negative.
(RULE013_GreaterThanOrEqualToZero_ContractRevenueEstimatedRevenue)
|
Pass | $FactValue ge 0 |
| 93 | wip:ContractRevenueEstimatedRevenue MUST never be negative.
(RULE013_GreaterThanOrEqualToZero_ContractRevenueEstimatedRevenue)
|
Pass | $FactValue ge 0 |
| 94 | wip:ContractRevenueEstimatedRevenue MUST never be negative.
(RULE013_GreaterThanOrEqualToZero_ContractRevenueEstimatedRevenue)
|
Pass | $FactValue ge 0 |
| 95 | wip:ContractRevenueEstimatedRevenue MUST never be negative.
(RULE013_GreaterThanOrEqualToZero_ContractRevenueEstimatedRevenue)
|
Pass | $FactValue ge 0 |
| 96 | Estimated gross profit foots.
(RULE026_RollUp_SummaryOfUnderOverBillings)
|
Pass | $Total_CostsAndEstimatedEarningsInExcessOfBillingsNet = ($CostsAndEarningsInExcessOfBillings - $BillingsInExcessOfCostAndEarnings) |
| 97 | Estimated concept costs foots (wip:ContractCostsEstimatedCost).
(RULE002_MemberAggregation_Foots_ContractCostsEstimatedCost)
|
Pass | $VARIABLE_Total = sum($VARIABLE_Each) |
| 98 | Gross profit foots.
(RULE023_RollUp_GrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 99 | Gross profit foots.
(RULE023_RollUp_GrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 100 | Gross profit foots.
(RULE023_RollUp_GrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 101 | Gross profit foots.
(RULE023_RollUp_GrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 102 | Gross profit foots.
(RULE023_RollUp_GrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 103 | Gross profit foots.
(RULE023_RollUp_GrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |
| 104 | Gross profit foots.
(RULE023_RollUp_GrossProfit)
|
Pass | $Total_GrossProfit = ($Revenues - $CostOfRevenue) |