fix(ftip): define integrable evaluation and inverse-cost domains [AGENT] - #175
Merged
Merged
Conversation
Declare measurable evaluation spaces and the independent protocol/evaluation product law, with absolute integrability for every compared protocol and baseline. Give scalar and vector expectations, cost budgets, empty or unbounded suprema, and inverse thresholds explicit domains. Require finite cost-ratio operands and a strictly positive denominator, distinguish measured costs from inverse-frontier infima, and propagate finite-value guards to the direct difference and saturation statements.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Expected performance and gain were written as real-valued quantities without sufficient integrability assumptions, while inverse-frontier ratios could divide by zero even when every individual intervention had positive cost.
This change defines the measurable evaluation law and absolute-integrability requirements for each compared protocol and baseline. It declares empty/unbounded supremum conventions, excludes infinite expected costs from finite budgets, and restricts real differences and inverse-cost ratios to their stated domains. It also distinguishes an unattained frontier threshold from an executable witness, and measured cost ratios from inverse-frontier ratios. The changes cover 16 related FTIP pages and preserve their stable addresses.
Validation: analytic checks for signed heavy tails, empty/unbounded/unattained frontiers, positive costs with zero infimum, and bounded scalar/vector examples; all 22 prose regression tests;
just chk; fulljust build;just verify-render(2,266 page pairs); and the 231-page focused FTIP PDF. The 16 affected HTML pages and surrounding routes render without KaTeX errors; affected HTML/PDF layout was inspected. All 773 source pages and 773 HTML pages plus the PDF are archived and hash-verified. A fresh independent adversarial review approved exact headf83dabc1b913c8a34ac9b762df54fa5105b69ed3with no unresolved findings. It independently reconstructed the analytic cases and verified all archived source and output payloads.