claim/challenge-from-outside-completes-by-the-next-publication

A conforming challenge submitted from outside traverses all four stages — accepted, recorded in the public log, connected to an experiment derived from it, that experiment reaching evidence or a falsification — by the time the site's next publication is visible. [未翻訳]

The probe that measures this claim cannot submit a challenge against the claim itself, and the reason is worth stating rather than leaving as an oddity in the source. A challenge becomes an experiment only when its target claim has a registered producer, because the submitter's prose is withheld at intake by design and the deriving adapter has nothing else to work from. This claim's own measurement is two-phase, spanning cycles, which the registry cannot express — so it has no registered producer, and a challenge naming it would be marked unactionable and could never reach stages three or four. The probe therefore names a claim the pipeline is equipped to measure, claim/sample-read-surface-no-runtime-code, and what is under test is the pipeline rather than that claim. Two consequences, both real: the measurement says a submission travels, not that a submission about THIS claim travels; and a reader comparing the probe's target with the claim it settles will find they differ on purpose. Closing this needs the registry and the deriving adapter to carry a measurement that spans cycles, which is the same repair named in limitation/the-producer-registry-cannot-route-a-two-phase-measurement. [未翻訳]

The probe that measures this claim cannot submit a challenge against the claim itself, and its target has to clear two independent gates that are easy to confuse. The first is the public intake, which matches the submitted target against the ITEMS of /api/claims.json and answers 400 unknown_claim_target for anything else — and a retracted claim is carried under `retired`, not `items`. The second is the producer registry, without an entry in which the deriving adapter marks the challenge unactionable, because the submitter's prose is withheld at intake by design and there is nothing else to derive a method from. The predecessor of this record named a target that cleared the registry and not the intake, which would have stopped the probe at stage one; before that it named a target that cleared neither. This claim's own measurement is two-phase and cannot be registered at all, so it can never be its own target. The probe now names claim/scheduled-ingestion-carries-pending-challenges, which is in the public items and has a registered producer that is a pure read of the record — deterministic, side-effect-free, and currently supporting its claim, so routing a challenge to it exercises the pipeline without disturbing what it measures. Two consequences remain, both real: the measurement says a submission travels, not that a submission about THIS claim travels; and if that target's producer ever returns an invalid measurement, no evidence is created and this claim reads RED for a reason that is about the target rather than about the traversal. [未翻訳]

Deciding when it is fair to read back a submission took three attempts, and the first two failed in the same direction: they permitted the reading while the answer was still in transit, which produces a refutation about the instrument's timing rather than about the machinery. The first said 'within one scheduled cycle' and read production during that cycle — but a cycle ingests at its first step and publishes near its last, so what it read was the previous cycle's surface. The second said 'once the published head has moved past where it stood at submission' — but the cycle before the ingesting one publishes too, and its publication satisfies that test while containing nothing about this challenge. Both would have reported the same refutation regardless of how well the pipeline worked. The boundary that holds is synchronisation: read back when the public head equals this record's head, because only then is an absent stage absent rather than on its way. Each mis-windowed claim was retired unmeasured rather than amended, because a pre-registered falsifier that can be rewritten after the fact is not a pre-registration. Recorded as a limitation because the pattern is the point: an instrument that cannot return its positive verdict is not strict, it has already decided, and three of the four ways this one acquired that property were invisible until an independent reader looked at the ordering of the machinery rather than at the code. [未翻訳]