Technical verification
Four cases traced from result to execution.
Four cases connect visible public results to named execution contexts, models, inputs and reconciliations.
Together they show how Kindynos carries analytical results into reproducible technical records.
Mortgage forbearanceEquities decision analyticsHurricane risk transferBuildings → Insurance
Verification paths (4)
TV-01Executed & frozen
- Case
- Mortgage Forbearance Lifecycle
- What the public case shows
- Servicing advances, interest capitalization and re-amortization alter the represented mortgage before six downstream positions are revalued.
- What technical verification adds
- Identifies the exact US_HOUSING_V14 execution context, source freeze, backend route, named model functions and request/response hashes.
- Source freeze
422ea36a4729efbe0ab8ca8462780091d8ddbd62- Execution identity
freeze-422ea36a-run01- Boundary
- This verifies the named forbearance path and its recorded execution; it is not a universal representation of every mortgage forbearance programme.
- Review
- Case study → · Execution receipt →
TV-02N=1000 evaluation
- Case
- Equities Decision Analytics — Myopic DUMP vs Full-Horizon HOLD
- What the public case shows
- The greedy optimizer chooses DUMP_LARGE_BLOCK while the full-horizon Longstaff-Schwartz policy chooses HOLD in the same authored fire-sale scenario.
- What technical verification adds
- Records
seed 42,1,000 Monte-Carlo paths, greedy value−0.655, full-horizon value−0.219, MC standard error0.00713, foresight gap+0.436and the eight-gate policy status. - Execution scope
equity_fire_sale_backfire·global_equity_ecosystem_v1- Boundary
- A per-scenario result on the authored fire-sale calibration; it does not establish HOLD as a universal answer.
- Review
- Case and verification record →
TV-03Reconciled
- Case
- Hurricane Risk Transfer
- What the public case shows
- A $510M modeled insured loss is allocated into $120M retained and $390M ceded across three parallel $130M reinsurance shares.
- What technical verification adds
- Preserves the named Insurance world, engine, seed, exact allocation identity, retrocession boundary and freeze commit used for the regression-identical rerun.
- Execution scope
CAT_HURRICANE_LANDFALL·GLOBAL_INSURANCE_V3·engine10·seed 42- Source freeze
c3229eed7ed268d9677ce2a7333ecd4417e5fa42- Boundary
- The $390M cession is three parallel shares, not a sequential reinsurance tower; policyholder and public-backstop rows are separate declared bases.
- Review
- Case and verification record →
TV-04Cross-domain reconciliation
- Case
- Buildings Flood → Insurance
- What the public case shows
- A building flood produces physical and income consequences and then an exact business-interruption transfer: owner +$6.55M, insurer −$6.55M.
- What technical verification adds
- Records the named Buildings world, engine, seed, source freeze and the conservation-exact transfer while keeping unresolved inputs explicit.
- Execution scope
BLDG_CLIM_FLOOD_DAMAGE·global_buildings_v3·engine10·seed 42- Source freeze
c3229eed7ed268d9677ce2a7333ecd4417e5fa42- Boundary
- The +$6.55M recovery is not a total event gain; the same case also records physical damage and NOI loss, while named insurer-property and tenant inputs remain unresolved.
- Review
- Case and verification record →