Okamžik
Pracovník stráví den zjišťováním, že streamovací přístup nemůže splnit záruku řazení. Je to pečlivá práce a závěr je správný. Je to také závěr, ke kterému někdo došel v dubnu.
Proč k tomu dochází
Pozitivní výsledky se stávají kódem, který je trvalý. Negativní výsledky se nestávají ničím: větev se smaže, relace skončí a jedinou stopou je absence — přístup v kódové bázi není, což nejde odlišit od toho, že to nikdo nezkusil.
Proč to lepší model nevyřeší
Druhý pracovník uvažoval správně ze stejného výchozího bodu a došel ke stejné odpovědi. To je definice reprodukovatelného negativního výsledku, a platí se za něj dvakrát, protože ten první nebyl zapsán.
Co to stojí
V experimentální práci většina pokusů selže, takže většina výstupu je přesně ten druh, který se zahazuje. Prostor hledání se prochází znovu za plnou cenu a zdánlivé tempo pokroku týmu je nižší než jeho skutečné porozumění.
Co Majordomus dělá
Rozhodnutí zaznamenává zamítnutou alternativu, nejen vybranou — --rejected je pole, které činí slepou uličku trvalou, a --why je při prázdnosti odmítnuto. Nález, který není rozhodnutím, je záznam znalostí s třídou: lesson je to, co stál dřívější pokus, constraint je něco mimo repozitář, co jej omezuje. Obojí lze prohledávat napříč předávkami, checkpointy, rozhodnutími, otázkami a účetní knihou, v pořadí, v jakém jim věřit. Nic neukládá konverzaci, z níž nález vzešel.
Před a po
before April: branch deleted. August: the same day, again.
after $ majordomus search "ordering guarantee" --kind decision --kind knowledge
decision t-… rejected: streaming — cannot preserve per-key ordering
across a rebalance; evidence test/cases/58_ordering.shCo nedělá
Nerozhoduje, co stojí za zaznamenání, a nebude dolovat poučení z opuštěné větve. Zaznamenání negativního výsledku činí jednořádkovým úkonem s místem, kam ho dát.