Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
87 commits
Select commit Hold shift + click to select a range
a76659f
Integrate stochastic histories with sequential density weights
yichao-liang Sep 13, 2026
e4335d3
Record failed density diagnostics and continued inference runs
yichao-liang Sep 13, 2026
34a914b
Add corrected defensive proposals for conditional velocity directions
yichao-liang Sep 13, 2026
79e6f68
Record guided integration and Domino prediction stability results
yichao-liang Sep 13, 2026
6981d8c
Add ordered process-safe target batches for offline inference
yichao-liang Sep 13, 2026
a2e0c3b
Mix global block refreshes into offline posterior exploration
yichao-liang Sep 13, 2026
f2fac5c
Validate point-start ablation and complete-checkpoint forecasts
yichao-liang Sep 13, 2026
3d2fd1e
Document causal Fan prefix support validation
yichao-liang Sep 13, 2026
f609cce
Record validated parallel Fan prefix inference launch
yichao-liang Sep 13, 2026
c7fa8cb
Validate Fan checkpoint forecasts and queue matched comparisons
yichao-liang Sep 13, 2026
16b5720
Add paired sequential carried-center comparison protocol
yichao-liang Sep 13, 2026
a5f41e2
Validate combined prediction assessment and record Fan carry control
yichao-liang Sep 13, 2026
8f0c003
Record completed mixed-proposal fits and unresolved concentration
yichao-liang Sep 13, 2026
021c542
Record mixed-proposal predictions and investigate local target scales
yichao-liang Sep 13, 2026
edd4328
Record initial-state comparisons and launch inference budget checks
yichao-liang Sep 13, 2026
0bf3cc5
Add earlier-program test of repeated-data prior carrying
yichao-liang Sep 13, 2026
c8d663a
Validate complete replica comparisons across inference budgets
yichao-liang Sep 13, 2026
e088302
Isolate prior carrying from mutable simulator reference defaults
yichao-liang Sep 13, 2026
b66ba12
Validate paired Fan forecasts from complete weighted histories
yichao-liang Sep 13, 2026
65de682
Record Fan prefix outcomes and queue population-size comparison
yichao-liang Sep 13, 2026
aa86877
Validate Fan cross-budget reports and queue reserved forecasts
yichao-liang Sep 13, 2026
b05f3f5
Record matched proposal and active prior-carry outcomes
yichao-liang Sep 13, 2026
64f9ad9
Launch repeated-dataset posterior coverage reference
yichao-liang Sep 13, 2026
9d9935c
Verify coverage reporting preserves planned dataset counts
yichao-liang Sep 13, 2026
1a88814
Prepare verified full-recording Fan population comparison
yichao-liang Sep 13, 2026
f4169d5
Record repeated-dataset coverage and first full Fan fit
yichao-liang Sep 13, 2026
0c52835
Derive constant-output likelihoods with correlated error
yichao-liang Sep 13, 2026
df2d0ff
Record full Fan population disagreement and total costs
yichao-liang Sep 13, 2026
51ce711
Validate fixture proposal correction and launch matched Fan fits
yichao-liang Sep 13, 2026
9838557
Prepare canonical-scene forecast validation for guided fits
yichao-liang Sep 13, 2026
ec079f9
Validate matched Fan proposal comparison and gate forecasts
yichao-liang Sep 13, 2026
34ca72d
Validate alternative tempering and recover guided forecast runtime
yichao-liang Sep 13, 2026
3045226
Validate tempered forecasts and queue six-population comparison
yichao-liang Sep 13, 2026
c857fa3
Identify numerical dispatch behind coordinate verification mismatch
yichao-liang Sep 13, 2026
9aeac7b
Record completed Domino budget comparison and unresolved instability
yichao-liang Sep 13, 2026
14dd185
Diagnose Domino proposal movement across scales and jitter
yichao-liang Sep 13, 2026
bf8ca2a
Record first completed guided Fan forecast
yichao-liang Sep 13, 2026
2922f14
Record completed Fan budget and proposal comparisons
yichao-liang Sep 13, 2026
56d98e3
Attribute Domino score instability to robot transients
yichao-liang Sep 13, 2026
5abcae5
Validate Domino joint-transition model and launch matched inference
yichao-liang Sep 13, 2026
298523d
Validate weighted Domino transition forecasts and queue comparison
yichao-liang Sep 13, 2026
d0c7068
Audit historical Bridge and Boil dynamics as separate inference controls
yichao-liang Sep 13, 2026
0e2e614
Validate Boil joint discrepancy and prefix fixture-state controls
yichao-liang Sep 13, 2026
4854747
Add density-corrected fixture proposals for offline uncertainty infer…
yichao-liang Sep 13, 2026
fc728cb
Preserve unobserved joint uncertainty and verify Boil fixture support
yichao-liang Sep 13, 2026
f1d7fa3
Record verified Boil joint-state support and literal rule reuse
yichao-liang Sep 13, 2026
4affabe
Record Domino transition-model disagreement and budget follow-up
yichao-liang Sep 13, 2026
4a1c6f5
Document verified Boil full-scene support and parameter-independent r…
yichao-liang Sep 13, 2026
1f36f99
Check budget-specific Domino runtime identities independently
yichao-liang Sep 13, 2026
206a864
Validate canonical Boil initialization and launch prefix inference
yichao-liang Sep 13, 2026
cd29e87
Record first completed Balloons joint-inference pilot
yichao-liang Sep 13, 2026
4654d06
Document validated canonical Boil forecasts and paired assessment
yichao-liang Sep 13, 2026
2a82554
Add verified subclass Boil incumbent comparison protocol
yichao-liang Sep 13, 2026
3c4f3e9
Document verified prefix-only Balloons inference pilots
yichao-liang Sep 13, 2026
1515f09
Record verified Boil incumbent held-out predictions
yichao-liang Sep 13, 2026
3025b3b
Document verified prefix-only Balloons future forecasts
yichao-liang Sep 13, 2026
d6e1e18
Add verified Balloons population and incumbent forecast protocols
yichao-liang Sep 13, 2026
1bc7a11
Diagnose structural glue-law and face-selection errors in Bridge
yichao-liang Sep 13, 2026
5243d2e
Evaluate prefix-fitted Bridge deposition geometry hypotheses
yichao-liang Sep 13, 2026
cadc483
Validate revised Bridge glue dynamics in causal native replay
yichao-liang Sep 13, 2026
aa9e5c2
Record completed Balloons prefix fits and verified incumbent forecast
yichao-liang Sep 13, 2026
de2a322
Verify Bridge subclass parity and exact glue-rate conditioning
yichao-liang Sep 13, 2026
8acf3f5
Freeze and queue the revised Bridge incumbent comparison
yichao-liang Sep 13, 2026
9326292
Record completed larger Domino fits and active forecast checks
yichao-liang Sep 13, 2026
b519262
Document verified Bridge reset-scene prior and long replay audits
yichao-liang Sep 13, 2026
6a6db14
Record completed uncertainty forecasts and unresolved prediction regr…
yichao-liang Sep 13, 2026
f55e7fa
Add shared variance inference after isolating Boil forecast perturbat…
yichao-liang Sep 13, 2026
383e8cc
Update uncertainty validation status and completed Balloons comparison
yichao-liang Sep 13, 2026
72e6cec
Record shared-variance forecast validation and Bridge conditioning audit
yichao-liang Sep 13, 2026
d47bc3a
Add prior-preserving categorical guidance and document Bridge support…
yichao-liang Sep 14, 2026
a414f8b
Record validated Bridge orientation support and remaining inference g…
yichao-liang Sep 14, 2026
d486a95
Add budgeted joint-support initialization for offline inference
yichao-liang Sep 14, 2026
73de3f9
Record Bridge inference validation and Boil forecast comparison
yichao-liang Sep 14, 2026
b962d82
Validate Bridge joint forecast adapter and reserved assessment
yichao-liang Sep 14, 2026
7681ecf
Validate and queue weighted Bridge posterior forecasts
yichao-liang Sep 14, 2026
f355822
Reproduce Boil inference collapse and validate supported fitting pilots
yichao-liang Sep 14, 2026
75fabb2
Validate weighted forecasts for supported Boil inference
yichao-liang Sep 14, 2026
1212d14
Verify Fan speed ambiguity against complete forecast populations
yichao-liang Sep 14, 2026
4dad9e8
Isolate Fan fixture uncertainty and validate static sensor inference
yichao-liang Sep 14, 2026
860d2ca
Validate and queue weighted Fan static-fixture forecasts
yichao-liang Sep 14, 2026
f0ea440
Record posterior prediction diagnostics and recover Bridge fits
yichao-liang Sep 14, 2026
f90aa56
Diagnose Balloons inference errors and test default-centered guidance
yichao-liang Sep 14, 2026
63f1604
Diagnose Balloons parameter concentration and test selective guidance
yichao-liang Sep 14, 2026
720c1b8
Validate selective Balloons posterior forecasts and queue comparisons
yichao-liang Sep 14, 2026
388c622
Integrate unobserved Boil heating parameters in weighted forecasts
yichao-liang Sep 14, 2026
4c32425
Represent independent prior factors and validate reduced Boil target
yichao-liang Sep 14, 2026
d160986
Validate reduced Boil forecasts with independent heating priors
yichao-liang Sep 14, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
29 changes: 29 additions & 0 deletions docs/uncertainty/balloons-composed-inference.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,9 @@ This joins the previously tested [conditional velocity transition](transition-di
It is an explicit stochastic model extension beside the deterministic reference and the production agent.
It changes neither the sensor variances nor the exact tie, pop and clip observations.

The later [prefix-only inference experiment](balloons-prefix-inference.md) fits 64 actions and reserves 171 for prediction assessment without reusing the full-recording guide center.
Its results remain separate from the complete-recording support and inference results below.

## Accounting for each observation

After each native action, the existing transition diagnostic conditions Gaussian joint-position corrections on the nine exact current-joint readings.
Expand Down Expand Up @@ -204,6 +207,18 @@ The original geometry normalizer and fixed initial robot-output factors cancel f
Their numerical availability remains unevaluated until the separate assessment is complete.
No resulting parameter distribution is routed to the acting agent by this experiment.

## Checkpoint continuation, September 13

Both original array tasks `22649168_0` and `22649168_1` reached their eight-hour Slurm limits with terminal `TIMEOUT` states.
Numerical seeds 300 and 301 retained complete-stage checkpoints at stages 14 and 13, after 7,922 and 7,601 evaluations respectively.
Their old progress reports still say running because the scheduler terminated the process; those reports do not override the terminal job states.

Array `22671041` continues those same numerical seeds from the saved sampler populations and random states, using the identical frozen worker, target, proposal and 32,896-evaluation cap.
Each continuation has another eight-hour allocation on node1391; the additional allocation is part of the total inference cost and is not a new experiment seed.
The original checkpoints were copied and hashed before continuation in `logs/uncertainty_balloons_joint_pilot_20260912/continuation-20260913`.
The first continuation has confirmed `resumed=true` with 7,922 saved evaluations; the other task is queued for resources at this update.
No completed Balloons posterior or numerical adequacy result is available from these fits yet.

## Unconditional future-generation audit

Compute job `22652531` validates the generation half of the stochastic forecast using the same mapped support witness and frozen learned program as the joint sampler preflight.
Expand Down Expand Up @@ -242,3 +257,17 @@ The successful report, source hashes, candidate coordinates and per-seed physica
This audit supplies unconditional physical and observation generation, not the complete stochastic posterior forecast interface.
Numerically assessed joint posterior weights and integration over future transitions remain required.
In particular, future-density evaluation must use Gaussian joint and radial speed factors with conditional-history integration, rather than treating finitely many unconditional paths as exact-output equality components.

## First completed full-recording pilot

Seed 300 completed through continuation job `22684078_0` in an additional 2:25:46 allocation on September 13.
Its two previous eight-hour allocations remain part of the approximately 18:25:46 allocated runtime cost.
This is one continued numerical seed, not three experiments or an agent result.

The final population has 128 particles after 17,200 evaluated proposals and all 32 temperature stages.
It accepted 8,150 of 32,768 attempted moves, with 29 resampling events and only one surviving initial ancestor.
The report and checksummed checkpoint agree exactly on all joint samples, weights, completed stage and evaluation count.
The consistency record is `logs/uncertainty_balloons_joint_pilot_20260912/seed300-completion-check.json`.
These checks establish a completed artifact, not adequate posterior exploration, calibrated uncertainty or trustworthy predictions.
Seed 301 remains running as `22686274_1`; a paired assessment is not yet available.
The complete 235-action fitting recording cannot also serve as an independent held-out prediction test for this fit.
64 changes: 64 additions & 0 deletions docs/uncertainty/balloons-incumbent-control.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,64 @@
# Balloons: incumbent fitter control on the reserved suffix

September 13, 2026.
This supplies the existing-fitter comparison for the [prefix posterior forecasts](balloons-prefix-forecasts.md).
The experiment is frozen under `logs/uncertainty_balloons_incumbent_prefix_20260913/`.
It does not change the production agent.

## Shared inputs and retained differences

Both arms receive the same first 64 actions and 65 observations from the original noisy Balloons development recording, with 171 actions reserved for future prediction.
Both use the same selected simulator subclass, its ten declared physical parameters and the identified historical runtime.
The program was previously selected using training data, so the comparison is conditional on that fixed development program, not an independent program-synthesis evaluation.
No local parameter-override file is present in either isolated runtime.

The incumbent uses its full existing fitting pipeline, with interval belief, fit-side noise handling and fit evidence enabled.
Its optimizer, trimming, parameter-selection rules and observed-state initialization remain intact.
The posterior arm uses the separately declared joint initial-state and transition/output model.
This is a comparison of the complete configurations, not an estimator-only ablation.

The incumbent preparation produces three overlapping action windows, using zero-based half-open indices:

| Action window | Actions | Initial observation treatment |
| --- | --- | --- |
| `[0, 21)` | 21 | Original initial frame. |
| `[15, 64)` | 49 | Average noisy features over observation frames 8 through 15. |
| `[63, 64)` | 1 | Average noisy features over observation frames 56 through 63. |

The eight-frame averages are arithmetic for ordinary noisy features and circular for angular features.
Exact features retain their original values.
The driver verifies every following frame and action against its original recording window, and independently reconstructs each averaged initial feature from the identified source observations.
The posterior likelihood uses the complete 64-action history once; the incumbent's overlapping windows and averaging are preserved for comparison.

## Native validation and current execution

Preflight `22693164` completed in 30 seconds, executing 1,410 native actions.
It compares three complete 235-action trajectories at the declared default, low-gold-lift and high-gold-lift parameter settings.
The normal rollout helper and an independent manual reset/pin/zero-velocity/step lifecycle agree exactly in every case, and the lift changes alter predictions.
Future observations are not used in these trajectories.

The initial fitting attempt `22693556` stopped before fitting because the new comparison driver incorrectly required averaged segment starts to equal raw observations.
Its dependent verifier and comparison jobs were cancelled by the scheduler.
This was a comparison-harness failure, not an agent outcome.
The corrected driver verifies raw successor frames and actions separately from the intended rest-window averages.
Those checks pass, and fitting job `22693806` completed in 39:11 of allocation time.
The driver recorded 157,664 native actions, including fitting and repeated predictions.
All three prepared segments survived.
The full incumbent's publication rules retained the original applied parameters: several were insensitive or anchored, and the fitted drag value at its upper bound was not applied.
This is the verified outcome of the complete incumbent fitter, not a shortcut that skipped fitting.

| Job | Purpose |
| --- | --- |
| `22693806` | Full incumbent fit, followed by two repeated causal forecasts. |
| `22693822` | After fitting: independently reproduce the selected forecast and score the reserved 171 actions. |
| `22693842` | After incumbent verification and the posterior pair: compare the verified predictions. |

The future metrics match the posterior reports: thirteen position/speed features and fourteen event indicators.
The control reports selected-point predictions, not the incumbent's complete interval or planning ensemble.
Final comparisons must retain numerical-stability warnings and cannot be treated as agent solve-rate or sample-efficiency results.

Independent verifier `22693822` completed in 17 allocation seconds and reproduced every frame of the complete 235-action selected forecast using the manual native lifecycle.
The selected-point forecast reproduces all reserved tie, burst and clip indicators, but misses the final `InBand`/evaluator-win event.
Each of those two indicators has one error across the 171 reserved frames; the rest indicator differs on 67 frames.
These are prediction errors on recorded actions, not a failed agent seed.
Both posterior fits have completed and their population forecasts are now running; comparison `22693842` remains dependent on their independently verified paired report.
Loading
Loading