Agentic Evidence Lab v0.1.0-alpha.4

Agentic Evidence Lab v0.1.0-alpha.4

This alpha makes a completed frozen study auditable as one bundle. It does not
add a new scored experiment or change the negative Property-based Testing v2
result published in alpha.3.

Included

• ael study audit for the public freeze, terminal decision, Contract v0
  graph, exact schedule, public decision counts, receipt coverage, private-pack
  digests, and optional retained private-pack verification;
• an explicit pbt-v2 adapter that recomputes this study's public counts and
  terminal outcome without presenting PBT-specific semantics as universal;
• Git preregistration proof that requires the recorded commit to contain the
  exact freeze bytes, precede the current checkout, and not yet contain the
  terminal decision;
• a machine-readable ael.study-audit/0.1 summary via --json-output;
• ael study activation-check for stronger Codex JSONL activation evidence;
• CI and clean-wheel gates for the complete published PBT v2 bundle;
• an updated locked Ruff maintenance range through 0.16.x.

What the audit proves

For Property-based Testing v2, the public audit loads 12 Contract v0 documents,
checks eight terminal run records and 88 measurements, and reconstructs the
published continuation counts. It verifies the immutable freeze bytes at the
recorded preregistration commit and verifies that the terminal decision did not
exist there.

When the retained private roots are supplied explicitly, their current tree
digests also match the frozen screening and confirmation hashes. Those private
bytes remain outside Git.

Activation evidence

The new event parser rejects mere path mentions, in-progress commands, failed
commands, and empty output. A skill is operationally activated only when a
completed exit-zero Codex command retrieves non-empty content from the exact
installed SKILL.md path. Rechecking the four retained PBT v2 treatment event
streams with this stricter rule still yields 4/4 activations. This local
recheck does not alter the frozen alpha.3 evidence artifacts.

Limits

The audit does not expose or reconstruct private tasks, raw events, candidates,
or evaluator outputs. It verifies their declared digests and independently
recomputes public counts, but it is not an independent replication and does not
establish transfer or production impact.

The package version is 0.1.0a4; the Git tag is v0.1.0-alpha.4. Contract v0,
the study-freeze contract, and the new audit-summary shape remain pre-stable.