IndisputableMonolith.Gravity.SevenGaps.Gap2PostingHistoryContinuumResidual

declarations in this module (21)

• structure PostingHistoryContinuumData L95
• def postingHistoryShellAmplitude L115
• def PostingTransactionForcedExactTick L124
• structure PostingHistoryExactCharacterBridge L130
• def CharacterPushforwardOfForcedObligation L148
• def postingHistoryAmplitudeMatchesExactShell L164
• def TypedResidual_posting_history_attachment L178
• structure PostingHistoryContinuumClose L184
• def TypedResidual_posting_history_continuum_close L193
• theorem bare_r5_of_posting_history_continuum_close L198
• structure PostingHistoryCertifiedCloseV2 L214
• def TypedResidual_posting_history_certified_close_v2 L226
• theorem posting_history_continuum_close_of_v2 L231
• theorem certified_fin8_phase_close_of_v2 L239
• theorem bare_r5_of_v2 L256
• def AdversarialGate_unconstrainedProductRefused L274
• theorem adversarialGate_unconstrainedProductRefused L278
• theorem continuumData_refuses_forgetful_product_descent L286
• structure Gap2PostingHistoryContinuumResidualStatus L292
• def gap2PostingHistoryContinuumResidualStatus L303
• theorem gap2PostingHistoryContinuumResidualStatus_flags L315