Skip to content

Commit 91a2679

Browse files
committed
P-037 A2.2-D: R_D baseline evidence at T_D on P037_A2D_MEASUREMENT_M2
Four sequential governed takes (MOS repo, MOS corpus, verdict/python, verdict/rust), each independently verify'd fresh against T_D 44b405c before the next was taken. All four agree on source_commit, population_commit (T_D), epoch (a2d), environment_id (P037_A2D_MEASUREMENT_M2), dirty=false, is_evidence=true, and instrument_identity 31deed777db8ffb49f2eeacf1c3bcfe9742b77a6bd5509951c5ba35224cd40b5, matching `p037_evidence.py identity` at T_D. Execution profiles are consistent across all four by the tooling's own profiles_consistent rule and did not drift across the sequence. M2 is a new measurement environment for this epoch: CPython 3.11.15 (system interpreter), .NET SDK 8.0.425 (freshly provisioned isolated install, absent on this host before this run), rustc/cargo 1.94.1 (existing rustup toolchain). Provisioning recipe retained outside this repository; its sha256 and the full observed profile are recorded in the manifest. M1 and the A2 epoch's T/R/S are not retaken, not a control, and not claimed compatible. Evidence-only: adds exactly the four baseline JSON artifacts plus their manifest under docs/evidence/. No instrument, treatment, spec, tooling, or CI file moves. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01AN6xHbpovxrmZ4AMjS7WQA
1 parent 44b405c commit 91a2679

5 files changed

Lines changed: 13685 additions & 0 deletions
Lines changed: 138 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,138 @@
1+
# P-037 A2.2-D baseline manifest (R_D)
2+
3+
epoch: `a2d`
4+
5+
T_D (terminal-green, fixed by the owner): `44b405c2003b1d68965fe6346c2506d51ed52def`
6+
7+
population_commit (every take): `44b405c2003b1d68965fe6346c2506d51ed52def`
8+
9+
environment: `P037_A2D_MEASUREMENT_M2`
10+
11+
This is a NEW measurement environment for a NEW instrument epoch. It is not
12+
`P037_A2_MEASUREMENT_M1`, and this record is not compatible with, and does
13+
not extend, the retired A2 baseline. No A2 evidence is the baseline of this
14+
epoch; the A2 T/R/S records are historical predecessors only and are not
15+
retaken, compared, or treated as a control here.
16+
17+
## Instrument identity
18+
19+
```
20+
31deed777db8ffb49f2eeacf1c3bcfe9742b77a6bd5509951c5ba35224cd40b5
21+
```
22+
23+
Derived by `python3 scripts/p037_evidence.py identity --commit 44b405c2003b1d68965fe6346c2506d51ed52def`
24+
at T_D, and re-verified as identical on all four takes below.
25+
26+
## Execution profile (M2, identical across all four takes)
27+
28+
- Python: CPython 3.11.15 (main, Mar 3 2026, 09:26:23) [GCC 13.3.0]
29+
- .NET SDK: 8.0.425, runtimes: Microsoft.AspNetCore.App 8.0.31, Microsoft.NETCore.App 8.0.31
30+
- Rust: rustc 1.94.1 (e408947bf 2026-03-25), cargo 1.94.1 (29ea6fb6a 2026-03-24), host x86_64-unknown-linux-gnu
31+
- Platform: Linux / x86_64
32+
33+
Captured verbatim via `python3 scripts/p037_evidence.py profile`:
34+
35+
```json
36+
{
37+
"dotnet": {
38+
"runtimes": [
39+
"Microsoft.AspNetCore.App 8.0.31",
40+
"Microsoft.NETCore.App 8.0.31"
41+
],
42+
"sdk": "8.0.425"
43+
},
44+
"platform": {
45+
"machine": "x86_64",
46+
"system": "Linux"
47+
},
48+
"python": {
49+
"implementation": "CPython",
50+
"version": "3.11.15 (main, Mar 3 2026, 09:26:23) [GCC 13.3.0]"
51+
},
52+
"rust": {
53+
"cargo": "cargo 1.94.1 (29ea6fb6a 2026-03-24)",
54+
"host": "x86_64-unknown-linux-gnu",
55+
"rustc": "rustc 1.94.1 (e408947bf 2026-03-25)\nbinary: rustc\ncommit-hash: e408947bfd200af42db322daf0fadfe7e26d3bd1\ncommit-date: 2026-03-25\nhost: x86_64-unknown-linux-gnu\nrelease: 1.94.1\nLLVM version: 21.1.8"
56+
}
57+
}
58+
```
59+
60+
Re-captured after the fourth take and diffed byte-for-byte identical against
61+
the pre-sequence capture above; profile did not drift during the run.
62+
63+
Eligibility checked with the measurement tooling's own rule
64+
(`profiles_consistent` in `scripts/p037_cumulative_evidence.py`): all four
65+
records agree on every execution-profile key they share, and all four share
66+
at least `python`, `dotnet` and `platform`; `verdict-python` correctly omits
67+
`rust` by the instrument's own design (a Python-engine take records no Rust
68+
identity) and that is not a mismatch under the tool's rule.
69+
70+
## Machine qualification
71+
72+
Measurement environment `P037_A2D_MEASUREMENT_M2`, provisioned as an isolated
73+
toolchain (no container runtime available on this host):
74+
75+
- CPython: pinned to the host interpreter, `/usr/bin/python3.11` (3.11.15),
76+
verified identical under every `python`/`python3` alias resolved from PATH.
77+
- .NET SDK: installed isolated at `/root/p037-a2d-m2-toolchain/dotnet`
78+
(outside any OS package manager), pinned exact version 8.0.425, wired onto
79+
PATH via `/usr/local/bin/dotnet`.
80+
- Rust: the pre-existing rustup-managed user toolchain at `/root/.cargo`,
81+
`/root/.rustup` (not an OS package), rustc/cargo 1.94.1.
82+
83+
recipe sha256:
84+
85+
```
86+
5fe4ece4c24b720f659a49bbc68b8438080c9e4b8ba554ee40f6eea94c66eb26
87+
```
88+
89+
Recipe: `provision.sh`, retained outside this repository at
90+
`/root/p037-a2d-m2-recipe/provision.sh` on the qualified machine. This is a
91+
new recipe for a new environment; it does not have to and does not claim to
92+
equal the retired M1 recipe. The environment/toolchain was not changed after
93+
the first governed take began.
94+
95+
## Workspace
96+
97+
One preserved measured workspace checkout root is used for T_D, R_D, and is
98+
required to be used again for every future a2d treatment/after run (several
99+
recorded fields are path-sensitive):
100+
101+
```
102+
/home/user/Own.NET
103+
```
104+
105+
## Takes
106+
107+
Four sequential governed takes, each independently `verify`d against T_D
108+
before the next was started. None ran concurrently.
109+
110+
1. MOS repo snapshot
111+
2. MOS corpus snapshot
112+
3. verdict/python snapshot
113+
4. verdict/rust snapshot
114+
115+
All four takes and verifies exited 0. The checkout was clean at
116+
`44b405c2003b1d68965fe6346c2506d51ed52def` before the first take and remained
117+
at that exact commit, clean, after the fourth verify.
118+
119+
| p037-a2d-baseline-mos-repo.json | `dfd1b2f60cf2615295ccf32b57d2bed2d7c01c015e2e0bf26efde9dc6b87a9be` |
120+
| p037-a2d-baseline-mos-corpus.json | `df7ef01eac17559c17135fc14f402950358220643019b48bff633c86f0de124e` |
121+
| p037-a2d-baseline-verdict-python.json | `2e61808387439c9c83f7fe170a2e062c2a7bd4763cfc168a7ad55cb8009c7f0f` |
122+
| p037-a2d-baseline-verdict-rust.json | `20b61651d22f6ea4ff86e51ee612abefe53e80f55bbb010c289e617a0d012a26` |
123+
124+
Every record above carries, and all four agree on:
125+
126+
- `source_commit`: `44b405c2003b1d68965fe6346c2506d51ed52def`
127+
- `population_commit`: `44b405c2003b1d68965fe6346c2506d51ed52def`
128+
- `epoch`: `a2d`
129+
- `environment_id`: `P037_A2D_MEASUREMENT_M2`
130+
- `dirty`: `false`
131+
- `is_evidence`: `true`
132+
- `instrument_identity`: `31deed777db8ffb49f2eeacf1c3bcfe9742b77a6bd5509951c5ba35224cd40b5`
133+
134+
Run time/date: 2026-09-23, 01:07-01:26 UTC, operator run.
135+
136+
This commit is evidence-only: it adds exactly five files under
137+
`docs/evidence/` (these four JSON artifacts plus this manifest) and nothing
138+
else. No instrument, treatment, spec, tooling, or CI file is touched.

0 commit comments

Comments
 (0)