I3385 — A registered suite's primary verdict can be held to a non-inferiority guard, so a speed-up counts only when accepted share is not worse by more than a registered margin

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

Part of the-mesh-is-measured-against-one-agent — Coordinated workers on the mesh are compared with a single agent on the same batch tasks, at quality held by a registered non-inferiority guard.

Cíl

Let a registration declare a guard outcome (accepted share) with a non-inferiority margin and level. The calculator reports the primary verdict as favourable only when the primary test is favourable and the guard's one-sided bound shows the treatment's accepted share is not lower than the control's by more than the margin; otherwise it reports the guard's result and inconclusive or unfavourable. Use I3366's functions; add the guard's computation to stats.rs.

Proč

T4 of the owner's report of 2026-10-19 asks for a speed-up at controlled quality; a faster arm that accepts less is not a speed-up, so the guard is part of the decision and registered in advance.

Aktuální stav

No analysis composes outcomes. stats.rs holds no one-sided bound.

Cílový stav

A guarded verdict is computed and shown with the guard's bound.

Rozsah

• apps/majordomus-cli/src/economics/stats.rs
• apps/majordomus-cli/src/economics/mod.rs
• apps/majordomus-cli/tests/economics.rs
• docs/ECONOMICS.md

Mimo rozsah

• Running anything
• A guard on any outcome other than accepted share

Závislosti

• I3371✕BLOCKED Economics summary decides a registered suite's primary outcome by its registered test, reports secondary differences without a verdict word, and refuses typed figures about them

Co na tom čeká

• I3388✕BLOCKED The mesh suite is registered before its first run, and the T4 protocol names its registration digest

Kritéria přijetí

• A fixture where the treatment is faster but accepts less beyond the margin is not favourable
• A fixture inside the margin and faster is favourable
• The guard's bound and margin are printed beside the verdict

Validace

• cargo test --manifest-path apps/majordomus-cli/Cargo.toml --test economics
• cargo test --manifest-path apps/majordomus-cli/Cargo.toml --doc economics::stats

Požadované důkazy

• test_guarded_verdict

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/I3385.yaml. Read it back with majordomus plan show I3385.