telltale 4.0.0

Session types for multi-party asynchronous communication.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

# Artifact Reproduction Guide

This repository ships a publication supplement for the three-paper MPST series in `paper/`.

## Prerequisites

- Nix environment (`nix develop`) or equivalent local toolchain with:
  - Lean toolchain from `lean-toolchain`
  - Rust toolchain from `rust-toolchain`
  - `just`, `lake`, `pdflatex`
- Typical runtime profile:
  - 4+ CPU cores
  - 16 GB RAM
  - ~10 GB free disk

## One-Command Reproduction

Run:

```bash
just artifact-check
```

This command:

1. Synchronizes paper reproducibility rows (pinned commit, DOI value, Lean stats).
2. Verifies reproducibility rows are up to date.
3. Runs paper-facing checks (`just escape`, `just verify-protocols`).
4. Builds all three paper PDFs (`just paper`).
5. Generates `paper/artifact_manifest.json`.

## Expected Outputs

- PDFs:
  - `paper/build/paper1.pdf`
  - `paper/build/paper2.pdf`
  - `paper/build/paper3.pdf`
- Logs:
  - `artifacts/paper/*.log`
- Manifest:
  - `paper/artifact_manifest.json`

## Supplement Integrity

`paper/artifact_manifest.json` records:

- exact repository commit,
- toolchain versions,
- SHA-256 hashes for generated PDFs,
- SHA-256 hashes for artifact-check logs.