[Ayushxsingh100]

P10a, the first P10 package: LLM candidates for the experiment, housekeeping, and the dev model pilot. Not reviewed yet. The approval record (C-28) will be the external verdict linked here.

What changed

• Decisions: C-212 to C-215 and C-217 are Decided. New rows C-218 to C-221 (Decided by the authors) and C-222 (readings, Proposed).
• Gate status (from the verdict on PR P8b: scoring, metrics and the dev report (P8 gate, M5) #31): P8b, the P8 gate and M5 are passed with limits. The verdict's limits 4 to 8 are not recorded, because their text was not pasted.
• Validator dail-patch-validator-2: a MODIFY that drops the parent's lifecycle block is now POLICY_VIOLATION (C-221).
• num_ctx: LLMConfig.num_ctx is optional and sent to Ollama when set.
• experiments/generation/:
  • generation sees S0 only; the task is the fixed template;
  • the scope is decision 5's;
  • models are pinned by tag and digest, and a different installed digest is refused;
  • every attempt is frozen and listed in a manifest;
  • replay rebuilds each candidate, checks the tree hash, then deletes the build;
  • the oracle export holds configuration only.
• Extractor: extractor-2 is now a separate version from metrics-draft-1, and its code is pinned by hash. New generation metrics and a pilot report.
• Concurrency test: the named interleavings now wait for the A_done/B_done markers.
• Blinding contract: new checks (c) and (d) for the generation package.
• Pilot: docs/P10A_MODEL_PILOT.md is generated from the frozen records.

Checks

• dev.py test: 4519 tests OK (7 skipped). Lint is clean. pytest exits 0.
• 11 of 11 mutants were caught, plus 2 of 2 generation-blinding mutants.
• The concurrency file passed 50 of 50 runs under CPU load. Caveat: the base file also passed 50 of 50, so the timing failure was not reproduced.

Known issues

• One pilot call to phi4-mini lasted 11 h, almost certainly because the machine slept during it. Its timing numbers are distorted; the PHASE_GATES P10a section gives the figures without that call.

🤖 Generated with Claude Code