docs: computation-model corrections + full make() reproducibility contract (incl. tripartite) - #202

Merged

dimitri-yatsenko merged 12 commits into

mainfrom

fix/make-already-in-transaction

Jul 15, 2026

Commits on Jul 15, 2026

docs(computation-model): correct transaction guidance; add references
dimitri-yatsenko
committed
e4ad1e5
docs(computation-model): surface the full five-rule make() contract
dimitri-yatsenko
committed
214ed3f
docs(computation-model): fix single-key testing antipattern
dimitri-yatsenko
committed
f4beb0d
docs(computation-model): extend contract to tripartite make; enable safe testing
dimitri-yatsenko
committed
99e4282
docs(computation-model): correct tripartite phase constraints
dimitri-yatsenko
committed
b40a47a
docs(computation-model): lead tripartite section with the simple one-job-per-phase rule
dimitri-yatsenko
committed
ff8aecf
docs(computation-model): frame tripartite rules as validated, not runtime-enforced
dimitri-yatsenko
committed
217c592
docs(autopopulate): document the tripartite phase contract in the spec
dimitri-yatsenko
committed
1d0e460
docs: make_fetch must be bitwise reproducible; make_compute may be stochastic
dimitri-yatsenko
committed
50fcd41
docs: reproducibility = tracked derivation (lineage), drop 'provenance' wording
dimitri-yatsenko
committed
32d6a26
Merge remote-tracking branch 'origin/main' into fix/make-already-in-transaction
dimitri-yatsenko
committed
f24cf99
docs: fix tripartite make examples to match impl calling convention
dimitri-yatsenko
committed
146d28d