Spaces:
Running
Running
Commit History
-
Add three-interpretation route-audit logbook
Verified signatureText-only human-approved release. Preserves all judged files and claim nodes, protected C2 evidence and verifier, and the live 4/12 verdict. Adds one route-audit page; no score upgrade claim.612e99f
-
Claim [2]: reproduce Lemma 4.2 -- hazard-MLE consistency + asymptotic normality O(n^-1/2) (empirical cov -> inverse Fisher, KS-normal, 95% Wald coverage) and delta-method normality of the plug-in value estimator
Verified signaturedb72d25
-
Reproduce Prop 4.1: goal-conditioned value = -sum gamma^t S(t); value iteration -4.116238 == survival identity -4.116238 (error 0.0), multimodal time-to-goal
Verified signature2c3563b
-
Remove stale logbook pages after canonical restructure
Verified signature757e63d -
Update logbook: Reproduction: SVL time-to-goal distributions and survival identity
Verified signatureba74cdb -
Update logbook: Reproduction: SVL time-to-goal distributions and survival identity
Verified signature19bb9de -
Update logbook: Reproduction: SVL time-to-goal distributions and survival identity
Verified signature5afa513
-
Update logbook: Repro - SVL Survival Value Learning (qIOcJSCGn2)
Verified signatureb001edf -
initial commit
Verified signature646dd87