Suppose we accept Bell-type results and quantum contextuality.

Then consider a clock-record version of the Schrödinger-cat problem.

Inside a sealed and isolated box, an internal quantum-triggered mechanism produces one of two possible clock records:

+1: “the clock stopped at 1:00.”

-1: “the clock stopped at 2:00.”

The box remains sealed until 3:00.

At 3:00, an observer opens the box and finds one definite macroscopic record.

The important point is that the observation occurs after the possible internal record times.

The observer does not merely learn a present value at 3:00. The record itself refers to an earlier event.

It does not say, “I am stopped now.”

It says, “I stopped at 1:00” or “I stopped at 2:00.”

That is a past-event record, not merely a present-state readout.

How should such a record be understood?

If we say that all possible answers were already written in a single global classical ledger before observation, we run into the familiar no-go structure behind Bell-type and contextuality results.

If we say that the record was simply created from nothing at the moment of observation, we lose the meaning of the macroscopic past-time record itself.

The following Wolfram Language code isolates the logical core of the first problem.

It is not meant as a numerical simulation of a Bell experiment. Rather, it bug-checks the assumption that all contextual answers can be stored in one absolute ledger.

In the code below, +1 and -1 are just binary labels for the two possible clock records.

There are two clocks, A and B, and two possible readout contexts for each.

The first three context-pairs are required to agree. The last one is required to disagree.

Can a single pre-existing assignment satisfy all four requirements?

Wolfram Language code:

Clear[a1, a2, b1, b2];

vars = {a1, a2, b1, b2};

Reduce[
  And @@ Thread[vars^2 == 1] &&
   a1*b1 == 1 &&
   a1*b2 == 1 &&
   a2*b1 == 1 &&
   a2*b2 == -1,
  vars,
  Reals
]

Output:

False

These four constraints are not intended as an arbitrary puzzle. They are the minimal parity-frustration core behind the no-go structure:

three context-pairs demand the same relative orientation, while the fourth demands a sign flip.

This is a classical satisfiability check. The quantum version appears in standard contextuality constructions such as the Mermin–Peres magic square, where the sign pattern is fixed by the algebra of quantum observables.

The contradiction is elementary.

From

a1*b1 = 1

a1*b2 = 1

a2*b1 = 1

the four variables are forced into the same relative orientation.

But the final constraint requires

a2*b2 = -1

So the failure is not a lack of knowledge. It is the failure of the assumption that all context-dependent answers can be flattened into one global value table.

This is the point I call relative determination:

There is determination in each context, but no absolute ledger for all contexts.

The clock record is not a subjective illusion. But it is also not an entry in a single pre-existing classical ledger.

It is a contextual readout.

Is this a useful minimal bug-check of the absolute-ledger assumption?

The full argument is developed here:

Relative Determination After Bell: Clock Records, Contextual Ledgers, and the Reinterpretation of Quantum Determination

DOI: 10.5281/zenodo.20176226