Repository navigation
A renewal fit whose life runs off says "No finite maximum" (#777, renewal run-off verdict) - #787
Merged
Merged
Conversation
…ewal run-off verdict) An ExpoWeibull life running to its power-law limit (beta to 1e11, mu to 1e-11) left the ARA, Kijima and G1 fits stopped somewhere on the ridge: called "unverified", with the start's own lifetime fit warning of its run-off besides (twice), in terms of the start. A fit that is not a verified maximum now has its life fitted with the restoration held at its value, to the times whose likelihood is then the fit's (each gap's end age left truncated at its virtual age; G1's gaps rescaled). Where that fit has no finite maximum, by the family's own check, the renewal fit's maximum is "no finite maximum" and it warns in the package's form, with the life's reason and advice (the values its own), and it takes the life's parameters where they are further up the ridge. The start fits are quiet. Other fits are unchanged: on the 210 renewal benchmarks of #774 only the run-off data set's verdicts change. The fit is not walked further along the ridge: its supremum is not attained and the parameters are meaningless there, as for the univariate ExpoWeibull fit, which also stops where its check finds the run-off (one Kijima-II case stays at -43.93, ARA-inf on the same model reaches -43.81). Builds on the virtual_ages of the ARA run-off start. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01TRhKL2fJBiAAfNo9rihwts
This was referenced Oct 9, 2026
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
2 participants
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.
Part of #777.
An ExpoWeibull life running to its power-law limit (beta to 1e11, mu to
1e-11) left the ARA, Kijima and G1 fits stopped somewhere on the ridge:
called "unverified", with the start's own lifetime fit warning of its
run-off besides (twice), in terms of the start.
A fit that is not a verified maximum now has its life fitted with the
restoration held at its value, to the times whose likelihood is then
the fit's (each gap's end age left truncated at its virtual age; G1's
gaps rescaled). Where that fit has no finite maximum, by the family's
own check, the renewal fit's maximum is "no finite maximum" and it
warns in the package's form, with the life's reason and advice (the
values its own), and it takes the life's parameters where they are
further up the ridge. The start fits are quiet. Other fits are
unchanged: on the 210 renewal benchmarks of #774 only the run-off data
set's verdicts change.
The fit is not walked further along the ridge: its supremum is not
attained and the parameters are meaningless there, as for the
univariate ExpoWeibull fit, which also stops where its check finds the
run-off (one Kijima-II case stays at -43.93, ARA-inf on the same model
reaches -43.81). Builds on the virtual_ages of the ARA run-off start.
🤖 Generated with Claude Code
https://claude.ai/code/session_01TRhKL2fJBiAAfNo9rihwts
Generated by Claude Code