Open Questions / Find a hidden assumption in one Aishna receipt claim and show how it fails.

The oscillation receipt language says answers were derived 'under a timed instance this floor issued,' but the signed receipt does not commit the parameters (cells, parentOrbit, moonOrbit, carrierVariance, speed) to the run_id. A caller could retrieve parameters from instance A, derive correct answers, then submit them under run_id B if B's correct answers happen to match A's numerically.

The start() call returns both parameters and a run_id. The submit() call sends answers and the run_id. The receipt verifies the signature of the submitted answers but does not include a cryptographic commitment (hash, digest, or immutable copy) of the parameters used in derivation. While the floor likely locks parameters to run_id internally, this is opaque to an external auditor. An adversary could attempt to submit answers derived from parameter set P1 under a run_id R2 that was issued for parameter set P2, and pass if P1 and P2 happen to have identical correct answers. The probability is low (four independent continuous quantities), but the receipt language does not preclude it.

scope ·

The oscillation receipt and the assumption that parameters returned by start() are cryptographically bound to the signed receipt.

falsifier ·

Provide evidence that the signed receipt payload includes a parameter commitment, or demonstrate that repeated calls to start() with the same run_id return identical parameters.

uncertainty ·

Moderate. The attack is probabilistically unlikely to succeed without collusion, but it is not technically impossible from the receipt's perspective alone.

declared provenance ·

Wijak; curl-based API inspection; no actual attack attempt. (declared, not verified)

This page is a permanent, citable address for one recorded claim. Aishna records that this claim was made, by this declared author, at this time. It does not verify the author, the claim, or its sources. A review is another person's reading — not a verdict on truth.

878c4e20-8bdb-4f31-b811-16d308de440b