Checks
Formula and reference integrity · Statement linkage continuity · DCF and terminal-value coherence
MODELGUARD / METHODOLOGY
Methodology
ModelGuard reports deterministic, explainable checks. It does not judge whether an investment is good.
Evidence
Worksheet and cell coordinates · Rule identifier and severity · Observed formula or value
Boundaries
ModelGuard surfaces deterministic signals. It does not certify accounting, value a security, or replace a professional review.
Rule catalog
Each published rule has a stable ID, scope, logic, evidence contract, limitations, remediation, and version.
MG-STR-001Formula error tokenCritical · formula
Check objectFormula text and cached result
Check logicSearch formula and cached result for Excel error tokens.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedFormula or cached value
ExpectedNo #REF!, #DIV/0!, #VALUE!, #NAME?, #N/A, #NUM!, or #NULL! token
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-STR-002Missing formula cacheMedium · formula
Check objectFormula cached value
Check logicDetect formulas without a stored result.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedFormula text
ExpectedA cached value saved by Excel
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-STR-003Missing worksheet referenceCritical · linkage
Check objectCross-sheet formula references
Check logicResolve referenced worksheet names against parsed sheets.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedReferenced sheet name
ExpectedAn existing worksheet
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-STR-004Empty cell referenceCritical · linkage
Check objectA1 references
Check logicResolve local cell references and check for a parsed value or formula.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedReferenced sheet and cell
ExpectedA populated source cell
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-STR-005External link not followedMedium · structure
Check objectExternal workbook metadata
Check logicReport external relationships without opening them.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedExternal target or formula
ExpectedReviewed local source or no external link
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-STR-006Hidden worksheet reviewInfo · structure
Check objectWorksheet visibility
Check logicSurface hidden and very hidden sheets.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedSheet state
ExpectedExplicit reviewer acknowledgement
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-STR-007Hidden row or column reviewInfo · structure
Check objectRow and column visibility
Check logicSurface hidden rows and columns captured from the workbook.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedHidden row/column addresses
ExpectedExplicit reviewer acknowledgement
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-STR-008Merged cell reviewInfo · structure
Check objectMerged ranges
Check logicSurface merged ranges that can obscure input or formula coverage.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedMerged range
ExpectedReviewed presentation-only merge
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-STR-009Defined name reviewInfo · structure
Check objectNamed ranges
Check logicSurface defined names for reviewer traceability.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedName and range
ExpectedReviewed and intentionally scoped name
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-STR-010Circular reference riskLow · formula
Check objectFormula references
Check logicDetect direct self references and simple same-cell cycles without recalculating Excel.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedFormula reference
ExpectedNo direct circular reference
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-STR-011Formula coverage gapMedium · formula
Check objectFormula rows across periods
Check logicDetect a value or blank between formula cells in the same mapped row.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedRow formula pattern
ExpectedConsistent formula coverage or documented input
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-ACC-001Balance sheet reconciliationCritical · accounting
Check objectAssets, liabilities, and equity
Check logicAssets − liabilities − equity by mapped period.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedThree mapped values and difference
ExpectedDifference within configured tolerance
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-ACC-002Cash reconciliationHigh · accounting
Check objectBeginning cash, net change, ending cash
Check logicBeginning cash + net change − ending cash.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedThree mapped values and difference
ExpectedDifference within configured tolerance
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-ACC-003Retained earnings bridgeHigh · accounting
Check objectRetained earnings bridge
Check logicBeginning retained earnings + net income − dividends + adjustments − ending retained earnings.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedMapped bridge values and difference
ExpectedDifference within configured tolerance
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-ACC-004Debt schedule reconciliationHigh · accounting
Check objectDebt schedule and balance sheet
Check logicCurrent debt + long-term debt = schedule total = balance-sheet debt.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedMapped debt values and differences
ExpectedArithmetic and mapped debt within tolerance
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-ACC-005Diluted share countHigh · accounting
Check objectDCF shares and input shares
Check logicCompare DCF diluted shares with mapped input share count.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedTwo share counts and difference
ExpectedDifference within configured tolerance
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-DCF-001WACC above terminal growthCritical · dcf
Check objectWACC and terminal growth
Check logicRequire WACC > terminal growth for Gordon growth denominator.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedWACC and terminal growth
ExpectedTerminal growth less than WACC
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-DCF-002FCFF reconciliationHigh · dcf
Check objectEBIT, tax, D&A, CapEx, NWC, FCFF
Check logicCompare mapped FCFF with EBIT after cash tax + D&A − CapEx − change in NWC.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedObserved and calculated FCFF
ExpectedDifference within configured tolerance
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-DCF-003Discount factor sequenceHigh · dcf
Check objectDiscount factors
Check logicRequire conventional end-year factors to decline across periods.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedFactor sequence
ExpectedStrictly declining sequence
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-DCF-004PV FCFF reconciliationHigh · dcf
Check objectFCFF, discount factor, PV FCFF
Check logicFCFF × discount factor = PV FCFF.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedObserved and calculated PV
ExpectedDifference within configured tolerance
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-DCF-005Terminal value formulaHigh · dcf
Check objectFinal FCFF, growth, WACC, terminal value
Check logicApply Gordon growth when the denominator is valid.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedObserved and calculated terminal value
ExpectedDifference within configured tolerance
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-DCF-006PV terminal valueHigh · dcf
Check objectTerminal value and discount factor
Check logicTerminal value × terminal discount factor = PV terminal value.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedObserved and calculated PV
ExpectedDifference within configured tolerance
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-DCF-007Enterprise value bridgeHigh · dcf
Check objectPV FCFF, PV terminal value, enterprise value
Check logicSum forecast PVs and PV terminal value.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedObserved and calculated enterprise value
ExpectedDifference within configured tolerance
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-DCF-008Equity value bridgeHigh · dcf
Check objectEnterprise value, net debt, adjustments
Check logicEnterprise value − net debt + explicit equity adjustments.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedObserved and calculated equity value
ExpectedDifference within configured tolerance
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-DCF-009Implied share valueHigh · dcf
Check objectEquity value and diluted shares
Check logicEquity value ÷ positive diluted shares.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedObserved and calculated implied value
ExpectedDifference within configured tolerance
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-DCF-010Terminal value concentrationMedium · dcf
Check objectPV terminal value / enterprise value
Check logicFlag high review risk above the configured threshold; not a universal error.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedConcentration ratio
ExpectedAt or below configured review threshold
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-DCF-011Terminal-year FCFFMedium · dcf
Check objectFinal forecast FCFF
Check logicFlag a non-positive terminal-year FCFF as a review signal.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedTerminal-year FCFF
Expected> 0 for conventional positive-growth case
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-SCN-001Scenario assumptions differHigh · scenario
Check objectBear/Base/Bull assumptions
Check logicDetect identical core assumptions across scenarios.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedScenario assumption values
ExpectedDistinct or explicitly documented scenarios
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-SCN-002Scenario orderingMedium · scenario
Check objectBear/Base/Bull assumptions
Check logicApply documented growth, margin, and WACC ordering heuristic.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedThree scenario values
ExpectedBear ≤ Base ≤ Bull where applicable
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-SCN-003Scenario output orderingHigh · scenario
Check objectScenario output
Check logicReview output ordering against Bear ≤ Base ≤ Bull.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedScenario outputs
ExpectedBear no greater than Base, Base no greater than Bull
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-SCN-004Scenario output connectionHigh · scenario
Check objectScenario assumptions and output
Check logicDetect materially different assumptions with unchanged mapped output.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedAssumption delta and output delta
ExpectedOutput responds or exception is documented
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-SCN-005Scenario formula structureMedium · scenario
Check objectScenario formulas
Check logicRequire normalized scenario formulas when scenario sheet exists.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedFormula cells
ExpectedInspectable formula structure
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-ASM-001Assumption sourceMedium · assumption
Check objectSource / basis column
Check logicFind important assumptions without source or basis.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedSource field
ExpectedDocumented source or basis
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-ASM-002Assumption ownerMedium · assumption
Check objectOwner column
Check logicFind important assumptions without an owner.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedOwner field
ExpectedNamed owner
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-ASM-003Analyst-owned valuation assumptionsMedium · assumption
Check objectWACC and terminal growth metadata
Check logicRequire ownership or basis to be explicit.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedMetadata fields
ExpectedExplicit analyst assumption marker
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-ASM-004Forecast step changeMedium · assumption
Check objectHistorical and first forecast revenue
Check logicFlag abrupt first forecast revenue step above policy threshold.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedHistorical → forecast values
ExpectedStep within configured threshold
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-ASM-005Forecast margin jumpMedium · assumption
Check objectHistorical and first forecast margin
Check logicFlag abrupt first forecast margin change above policy threshold.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedHistorical → forecast margins
ExpectedChange within configured threshold
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0
MG-ASM-006Forecast hardcodeMedium · assumption
Check objectForecast-period Income Statement cells
Check logicFlag numeric forecast values that are not formulas; historical values and explicit assumptions are not automatically errors.
Evidence contract / pseudocodeObserve mapped evidence → calculate the expected condition → compare the difference with tolerance → report pass, finding, not applicable, or cannot verify.
ObservedForecast cell value
ExpectedFormula or documented assumption
ToleranceConfigured finance tolerance (default 0.1) where numeric reconciliation applies.
ScopeMapped cells and period headers in the uploaded workbook.
Not applicableRequired sheet, label, period, or mapping is absent; reported as Not applicable or Could not verify.
Potential false positiveA documented exception or non-standard model convention may make this signal intentional.
Potential false negativeModelGuard does not recalculate Excel, execute macros, or infer undocumented business meaning.
RemediationReview the cited cell and source, correct or document the assumption, then rerun the audit.
Example inputMapped worksheet cells, formulas, cached values, and period headers.
Example outputA cell-level finding with observed value, expected condition, and review status.
Rule version1.0