Design note: v1.0 compilation state and C++ options - #1254

Draft

jgabry wants to merge 123 commits into

compilation-state-design-doc

Commits on Aug 27, 2026

Add design note on compilation state and C++ options
jgabry
committed
d55e6f9
Tighten the compilation-state contracts after review
jgabry
committed
fa7b991
Specify introspection capture, include comparison, and unknown features
jgabry
committed
44246d4
Separate requested-feature and unused-capability threading policies
jgabry
committed
76a2ead
Record the schema version and the artifact-side rebuild triggers
jgabry
committed
c7392e8
Add an at-a-glance summary near the top
jgabry
committed
0790e34
Add dev-notes to .Rbuildignore
jgabry
committed
21a92f6
Remove the interim history section now the tracker is current
jgabry
committed
ed78ed0
Export compile_stan_file() and share one implementation with cmdstan_model()
jgabry
committed
11e079b
Record the release candidate and how the stages are executed
jgabry
committed
e7bd660
Settle the record's format and filename
jgabry
committed
4800906
Note a possible test for the pre-record executable path
jgabry
committed
f23b1ce
Separate the formatter from the linter in the release schedule
jgabry
committed
ff4cb77
Merge remote-tracking branch 'origin/master' into compilation-state-design-doc
jgabry
committed
c78ebcd
Record what brms needs from this design
jgabry
committed
a679876
State the downstream findings as signals rather than constraints
jgabry
committed
1e247e0

Commits on Aug 28, 2026

Record what the instantiate survey found
jgabry
committed
a3e08ee
Say that the record is compared as an object, not as text
jgabry
committed
ee3bef4
Correct the command-line assignment semantics in section 3
jgabry
committed
6bb28f8
Keep the request and the reported features in separate accessors
jgabry
committed
ee01180
Stop erroring when a threaded executable is run without threads
jgabry
committed
4d5386c
Drop installation path from the builder comparison
jgabry
committed
7461f46
Classify the whole public surface for validation
jgabry
committed
33b2452
Make this document the canonical source for these contracts
jgabry
committed
641864e
Hide the build record and correct why JSON was chosen
jgabry
committed
6af509a
Identify dependencies by content rather than by path
jgabry
committed
1dac880
Rebuild on a forward-version record instead of refusing
jgabry
committed
e39fd0b
Keep format() but stop it refreshing the snapshot
jgabry
committed
dabd759
Say that the build record should not be committed
jgabry
committed
a27f811
Add rethinking to the downstream survey
jgabry
committed
4640dd7
Drop rethinking's threading internals from the survey
jgabry
committed
15e8573
Identify dependencies by path and content together
jgabry
committed
1d9ff71
Restore the installation path to CmdStan identity
jgabry
committed
402106d
Classify the whole public surface, accurately this time
jgabry
committed
fe8838b
Specify format versions in both directions
jgabry
committed
6040a5f
Tie the record's lifecycle to the executable's
jgabry
committed
4c0e82b
Name both public build entry points
jgabry
committed
4227e5b
Point force_recompile at what the assessment cannot see
jgabry
committed
779108f
Clear three inconsistencies in section 5 and section 7
jgabry
committed
5640da8
Update the relocatable-records note for path identity
jgabry
committed
d868797
Make adoption silent, and give the rule behind it
jgabry
committed
cb64a29
Correct the rule behind silent adoption
jgabry
committed
ff34a99
Draw the messaging line at inferability, not at intent
jgabry
committed
8776280
Recommend restoring stan_file in instantiate
jgabry
committed
77d52c8

Commits on Aug 29, 2026

Make the at-a-glance section a map rather than a summary
jgabry
committed
ce286a1
Scope the option contracts to build calls, not to cmdstan_model()
jgabry
committed
70a2446
Say "unsupported format version" consistently
jgabry
committed
62e7393
Split record loss into its three cases
jgabry
committed
067fab9
Reject build configuration supplied without a Stan file
jgabry
committed
7edeb13
Deliver the untracked-dependency note on write, and qualify immutability
jgabry
committed
0df0437
Correct the scope note on CmdStan identity
jgabry
committed
585102c
Identify dependencies by content rather than by path
jgabry
committed
9ece4c3
Separate what the record stores from what the verdict compares
jgabry
committed
db34e5e
State one rule for C++ include resolution, and give #1258 the work list
jgabry
committed
c660dd6
Make the assessment engine its own stage, before it is wired in
jgabry
committed
77a0d37
Make include_paths the only source-resolution channel, and store option origin
jgabry
committed
7e5be9c

Commits on Aug 30, 2026

Commits on Aug 31, 2026

Commits on Sep 1, 2026

Settle the public result's class and nested field names
jgabry
committed
7ad504f
Say what comparing the model name does not buy
jgabry
committed
f5754cb
Settle the remaining schema contradictions and two open shapes
jgabry
committed
3cbd92f
Define a record as valid or not once, for every consumer
jgabry
committed
a9401bc
Check the version before the schema, and name models from the file
jgabry
committed
bf2854a

Commits on Sep 2, 2026

Commits on Sep 3, 2026

Commits on Sep 4, 2026

Supply nothing when a recorded TBB directory is gone
jgabry
committed
1627f72
Compare stanc options in the order the caller gave them
jgabry
committed
2d29c3c
Resolve the force_recompile option in one place, never in a signature
jgabry
committed
02d3292
Require cpp_options names to be Make identifiers
jgabry
committed
1573dfa
Report the triggers that can be evaluated, not the ones that apply
jgabry
committed
c8075bf
Correct four claims the design makes about its own rules
jgabry
committed
c4a40bc
Drop two claims that a whole-round sweep found stale
jgabry
committed
f30ab83
Correct a member count and an rpath claim
jgabry
committed
9ef3467