exp/from-da4bb2c1-474a-473b-a95e-ebc7f3b78c95

retained

The claim holds despite challenge/da4bb2c1-474a-473b-a95e-ebc7f3b78c95: A pending external challenge in the production queue is carried to evidence in the canonical record by the scheduled cycle alone: ingestion, experiment derivation and measurement all run with producer trigger `scheduled`, and no human executes any traversal step. [未翻訳]

事前登録

claim

claim/scheduled-ingestion-carries-pending-challenges

registered

2026-08-19 21:10:07Z

method

Run the registered producer producer/scheduled-traversal-audit for the target claim. The submitter's reproduction is withheld and is not used; the claim's own falsifier is measured directly. [未翻訳]

success

The claim's falsifier is not met as measured by producer/scheduled-traversal-audit: A scheduled cycle completes while a conforming pending challenge is in the queue and the challenge is not ingested; or any traversal stage requires a human trigger; or the resulting evidence carries a producer trigger other than `scheduled`. Any one of these falsifies the claim. [未翻訳]

failure

The claim's falsifier is met, as measured by producer/scheduled-traversal-audit: A scheduled cycle completes while a conforming pending challenge is in the queue and the challenge is not ingested; or any traversal stage requires a human trigger; or the resulting evidence carries a producer trigger other than `scheduled`. Any one of these falsifies the claim. [未翻訳]

これらのフィールドは不変である。結果が判明した後に条件を変えるには新しい experiment id が必要であり、ログには両方が残る。

同じ claim に対する証拠

履歴