feat(analysis): record analysis runs into the model with %record and -record-run - #557

Merged

HuiJun merged 48 commits into

feature/record-analysis-runs

Sep 24, 2026

Commits on Sep 24, 2026

feat(runtime): report the inputs an analysis run bound

devin-ai-integration[bot]
and
HuiJun
committed
9a71206
feat(analysis): generate analysis-run records into the model

devin-ai-integration[bot]
and
HuiJun
committed
648d9d4
feat(repl): record analysis runs into the model with %record

devin-ai-integration[bot]
and
HuiJun
committed
6e6305a
feat(cli): record analysis runs with -record-run and -record-into

devin-ai-integration[bot]
and
HuiJun
committed
f414912
test(repl): query recorded runs by the features they carry

devin-ai-integration[bot]
and
HuiJun
committed
e944f44
docs: document recording analysis runs

devin-ai-integration[bot]
and
HuiJun
committed
7b2b008
fix(repl): place records by the case's owner chain and rebuild on rollback

devin-ai-integration[bot]
and
HuiJun
committed
9ef590a
fix(hygiene): assign the record package a layer and recount the bundled library

devin-ai-integration[bot]
and
HuiJun
committed
419a40d
docs: correct the recorded-run examples and extension counts

devin-ai-integration[bot]
and
HuiJun
committed
9aefe23
docs: record into the queried package in the run-log example

devin-ai-integration[bot]
and
HuiJun
committed
8f9e3e8
chore(referee): re-record the pilot differential provenance

devin-ai-integration[bot]
and
HuiJun
committed
f8276e4
fix(analysis): settle unset members and keep unit companions collision-free

devin-ai-integration[bot]
and
HuiJun
committed
638d396
fix(repl): split %record's into outside names and keep sweep errors unresolved

devin-ai-integration[bot]
and
HuiJun
committed
45340bb
fix(cli): refuse misused run bounds and honour -id and -from on recorded conversions

devin-ai-integration[bot]
and
HuiJun
committed
19e6d21
refactor(analysis): tighten the unit-companion comment

devin-ai-integration[bot]
and
HuiJun
committed
3e2e0b0
fix(runtime): report an iteration output error on a MonteCarlo run

devin-ai-integration[bot]
and
HuiJun
committed
4b37fa1
fix(analysis): settle member shapes across runs and fill record-number gaps

devin-ai-integration[bot]
and
HuiJun
committed
d0612e3
fix(repl): spell each recorded run in its own context and say why one was not recorded

devin-ai-integration[bot]
and
HuiJun
committed
e60ef87
fix(cli): apply run bounds and flag refusals to recorded conversions

devin-ai-integration[bot]
and
HuiJun
committed
2b43f3f
docs: note runs skipped from recording

devin-ai-integration[bot]
and
HuiJun
committed
2b4262e
fix(analysis): declare the unit companion when a Real member later carries a unit

devin-ai-integration[bot]
and
HuiJun
committed
3a9c5c0
fix(cli): refuse -record-run with -compare-results

devin-ai-integration[bot]
and
HuiJun
committed
65433c7
fix(analysis): quote record names needing it and own each record definition

devin-ai-integration[bot]
and
HuiJun
committed
a2e76ab
fix(repl): name sibling cases' records from their owner and read the stem from the definition

devin-ai-integration[bot]
and
HuiJun
committed
624e348
docs: record definitions carry the case and siblings are owner-named

devin-ai-integration[bot]
and
HuiJun
committed
c5c0999
refactor(repl): read a record definition's case through the notation's string literal

devin-ai-integration[bot]
and
HuiJun
committed
cbba08f
fix(runtime): read a Monte Carlo run's outputs on demand, memoizing nothing

devin-ai-integration[bot]
and
HuiJun
committed
40e6478
fix(analysis): give a run's record its own kind

devin-ai-integration[bot]
and
HuiJun
committed
4c6ce1e
fix(repl): record a sample's conclusion and say when nothing recorded

devin-ai-integration[bot]
and
HuiJun
committed
06606c0
docs: record the Monte Carlo sample's conclusion

devin-ai-integration[bot]
and
HuiJun
committed
a32d4be
fix(runtime): capture a Monte Carlo run's outputs inside a probe

devin-ai-integration[bot]
and
HuiJun
committed
f5970ad
fix(analysis): let a record member declared ScalarValue settle to a concrete type

devin-ai-integration[bot]
and
HuiJun
committed
b704463
fix(repl): adjudicate an iteration's unread outputs against the sample's

devin-ai-integration[bot]
and
HuiJun
committed
074d51a
fix(runtime): report an unassigned output by name in a typed error

devin-ai-integration[bot]
and
HuiJun
committed
dafca08
fix(analysis): record what a verification run's body decided

devin-ai-integration[bot]
and
HuiJun
committed
e4d4976
fix(repl): skip a run on its own failed outputs and count error repeats

devin-ai-integration[bot]
and
HuiJun
committed
1aea725
docs: what a verification case's record carries

devin-ai-integration[bot]
and
HuiJun
committed
d54c582
docs(manual): state how sampled outputs and random draws are recorded

devin-ai-integration[bot]
and
HuiJun
committed
747727b
fix(analysis): record an inout as a member and an In companion

devin-ai-integration[bot]
and
HuiJun
committed
fe9c3d6
fix(repl): merge a record into the file holding its target package

devin-ai-integration[bot]
and
HuiJun
committed
c6056fd
docs: the In companion an inout parameter records

devin-ai-integration[bot]
and
HuiJun
committed
c5da370
fix(analysis): keep enum literal identity and settle Integer and Real to Real

devin-ai-integration[bot]
and
HuiJun
committed
b6adcd6
fix(cli): refuse -record-into given without a package name

devin-ai-integration[bot]
and
HuiJun
committed
1a63423
docs: numeric settlement and enum literals in recorded runs

devin-ai-integration[bot]
and
HuiJun
committed
85844fa
fix(analysis): keep a quantity member's unit when a plain number follows it

devin-ai-integration[bot]
and
HuiJun
committed
e2c3c6c
fix(analysis): settle a plain number beside a quantity to the quantity member

devin-ai-integration[bot]
and
HuiJun
committed
d69f37c
fix(cli): record the run's session flags in the provenance command

devin-ai-integration[bot]
and
HuiJun
committed
d9fd78b
fix(analysis): settle an inout's two sides before declaring unit companions

devin-ai-integration[bot]
and
HuiJun
committed
e7a340a