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
docs(computation-model): surface the full five-rule make() contract
dimitri-yatsenko
committed
docs(computation-model): fix single-key testing antipattern
dimitri-yatsenko
committed
docs(computation-model): extend contract to tripartite make; enable safe testing
dimitri-yatsenko
committed
docs(computation-model): correct tripartite phase constraints
dimitri-yatsenko
committed
docs(computation-model): lead tripartite section with the simple one-job-per-phase rule
dimitri-yatsenko
committed
docs(computation-model): frame tripartite rules as validated, not runtime-enforced
dimitri-yatsenko
committed
docs(autopopulate): document the tripartite phase contract in the spec
dimitri-yatsenko
committed
docs: make_fetch must be bitwise reproducible; make_compute may be stochastic
dimitri-yatsenko
committed
docs: reproducibility = tracked derivation (lineage), drop 'provenance' wording
dimitri-yatsenko
committed
Merge remote-tracking branch 'origin/main' into fix/make-already-in-transaction
dimitri-yatsenko
committed
docs: fix tripartite make examples to match impl calling convention
dimitri-yatsenko
committed