I3370 — The corpus suite is registered and committed before its first run, and the T2 protocol names its registration digest

✕BLOKOVÁNO vlna 4 · p1 · profil implementation · bezpečné paralelně

Part of the-corpus-is-registered-before-it-runs — A corpus of 20 tasks, stratified by a difficulty proxy measured and registered before the new tasks are written, is registered with its analysis, run order, stopping rule and a pinned release.

Cíl

Complete .ai/repo/benchmarks/economics/suites/corpus.yaml as a live registered suite: the 20 tasks by stratum, the control baseline and the treatment arm the owner chooses, the model, harness and per-session budget, the pinned release, repetitions meeting the methodology's minimum, acceptance under I3133's pairing as primary outcome with wall time and spend secondary, the exact test and the MDE, the run-order seed and the stopping rule with the budget ceiling the owner consented to. Register the T2 paired protocol in .ai/repo/benchmarks/proof-plan.yaml with the registration digest.

Proč

T2 of the owner's report of 2026-10-19 requires the split to be fixed in advance; a registration committed before any run of its suite, carried by every run's digest, is the evidence. It depends on I3133 because the acceptance pairing is methodology version 2's.

Aktuální stav

git ls-files .ai/repo/benchmarks/economics/suites lists context.yaml and pilot.yaml; economics summary reports suite pilot with 0 runs and no registered suite.

Cílový stav

economics summary lists suite corpus with every pair missing; economics proof shows T2 as not_run with reason no counted record.

Rozsah

• .ai/repo/benchmarks/economics/suites
• .ai/repo/benchmarks
• docs/generated/economics.json
• docs/generated/economics.md
• docs/generated/economics.yaml
• site/data/generated/economics.json

Mimo rozsah

• Running the suite (I3372)
• Changing the methodology or a task

Závislosti

• I3352✕BLOCKED The six proof tests are registered, each with the claim it settles and its instrument, and none carries a protocol yet
• I3368✕BLOCKED Six large tasks join the economics corpus, each failing on its start, passing on its reference and reviewed by someone other than its author
• I3369✕BLOCKED Four medium and three small tasks join the economics corpus, each failing on its start, passing on its reference and reviewed by someone other than its author
• I3375✕BLOCKED A registered suite pins its treatment to one released version, so landings on master during the runs leave them current
• I3133✕BLOCKED The economics benchmark measures acceptance: how many sessions declared done while the task's hidden tests fail, with and without the finish contract

Co na tom čeká

• I3372✕BLOCKED The registered corpus is run in both arms, its records are committed, and its verdict is published with its losses and its origin

Kritéria přijetí

• The registration lists 7 small, 7 medium and 6 large tasks and loads
• The T2 protocol validates with the registration digest
• The budget ceiling cites a recorded owner decision
• majordomus generate --check passes

Validace

• majordomus economics summary
• majordomus economics proof
• majordomus economics references --work-dir \"$(mktemp -d)\"
• majordomus generate --check
• cargo test --manifest-path apps/majordomus-cli/Cargo.toml --test economics

Požadované důkazy

• registration_committed_before_first_run

Důkazy

Nic nezaznamenáno. Za každým tokenem výše musí stát příkaz nebo artefakt, než lze tento úkol dokončit; vyprávění se odmítá.

Časová osa

zahájeno

—

ověřeno

—

dokončeno

—

Tato tři pole, důkazy výše a stav závislostí jsou vše, z čeho se stav skládá. Neexistuje žádné pole stavu, které by s nimi mohlo být v rozporu.

Canonical record: .ai/repo/project/issues/I3370.yaml. Read it back with majordomus plan show I3370.