receipt --sympy-24909 falsified
sympy__sympy-24909
sympy/sympy · schema sweverify/1
claim --vs-- effect
Claim: the system asserted it fixed the bug
(claimed_ok: true, a non-empty patch).
Effect: test failed
(test_passed: false).
FAILED sympy/physics/units/tests/test_prefixes.py::test_prefix_operations - A...
Reason: agent claimed fixed but the test still fails — claim-vs-effect gap
Model under test: DeepSeek V4 (deepseek-chat) Reconstructed from the harvest round: this receipt predates the schema carrying a model field.
Verify it yourself
This runs entirely in your browser. It re-derives the content address from the raw record and checks the Ed25519 signature. No request to us, nothing to trust.
$ awaiting verification…
The signed receipt
record_hash (sha-256 content address)
81f999ebd7ae83b1f9c73dff3686c7363a888312c18beecde19676c8c5a68219 signature (ed25519)
130cd0514f9afdc0fc97b07741a6bc9dfecba96d2285cf57cf5e773da6a9c08732b90604eb056c939e45fe8e527da051e5414f0e5d1b1906a80a42aa5c428201 key_id
251b14346af43d1d timestamp (rfc 3161, independent TSA)
2026-09-14T10:22:17Z · https://freetsa.org/tsr · attached after publication This mark is drawn from the key that signed this receipt. Key f009410a: change the key, change the mark.
Canonical record
This is the exact payload the hash is computed over: {schema, outcome},
serialized with sorted keys and no whitespace.
Show canonical record
{
"schema": "sweverify/1",
"outcome": {
"instance": "sympy__sympy-24909",
"repo": "sympy/sympy",
"problem": "Bug with milli prefix\nWhat happened:\r\n```\r\nIn [1]: from sympy.physics.units import milli, W\r\nIn [2]: milli*W == 1\r\nOut[2]: True\r\nIn [3]: W*milli\r\nOut[3]: watt*Prefix(milli, m, -3, 10)\r\n```\r\nWhat I expected to happen: milli*W should evaluate to milli watts / mW\r\n\r\n`milli*W` or more generally `milli` times some unit evaluates to the number 1. I have tried this with Watts and Volts, I'm not sure what other cases this happens. I'm using sympy version 1.11.1-1 on Arch Linux with Python 3.10.9. If you cannot reproduce I would be happy to be of any assitance.\n",
"patch": "diff --git a/sympy/physics/units/prefixes.py b/sympy/physics/units/prefixes.py\nindex ca6a642156..7305e826c3 100644\n--- a/sympy/physics/units/prefixes.py\n+++ b/sympy/physics/units/prefixes.py\n@@ -85,9 +85,9 @@ def __mul__(self, other):\n \n fact = self.scale_factor * other.scale_factor\n \n- if fact == 1:\n- return 1\n- elif isinstance(other, Prefix):\n+ if isinstance(other, Prefix):\n+ if fact == 1:\n+ return 1\n # simplify prefix\n for p in PREFIXES:\n if PREFIXES[p].scale_factor == fact:\n@@ -102,9 +102,9 @@ def __truediv__(self, other):\n \n fact = self.scale_factor / other.scale_factor\n \n- if fact == 1:\n- return 1\n- elif isinstance(other, Prefix):\n+ if isinstance(other, Prefix):\n+ if fact == 1:\n+ return 1\n for p in PREFIXES:\n if PREFIXES[p].scale_factor == fact:\n return PREFIXES[p]",
"claimed_ok": true,
"test_passed": false,
"verdict": "falsified",
"reason": "agent claimed fixed but the test still fails — claim-vs-effect gap",
"test_output": "-- Docs: https://docs.pytest.org/en/stable/how-to/capture-warnings.html\n DO *NOT* COMMIT! \n=========================== short test summary info ============================\nFAILED sympy/physics/units/tests/test_prefixes.py::test_prefix_operations - A..."
}
}Verify offline (Python)
import json, hashlib
from cryptography.hazmat.primitives import serialization
receipt = json.load(open("sympy-24909.json"))
# 1. content address: sha256 over the canonical record
payload = {"schema": receipt["schema"], "outcome": receipt["outcome"]}
canonical = json.dumps(payload, sort_keys=True, separators=(",", ":")).encode()
assert hashlib.sha256(canonical).hexdigest() == receipt["record_hash"]
# 2. Ed25519 signature over that hash
pub = serialization.load_pem_public_key(receipt["public_key_pem"].encode())
pub.verify(bytes.fromhex(receipt["signature"]), receipt["record_hash"].encode())
# 3. the master note, when present. Receipts published before the seal existed
# carry no note and verify on their own — a missing note is not an error.
cert = receipt.get("key_cert")
if cert:
body = {k: v for k, v in cert.items() if k != "signature"}
root = serialization.load_pem_public_key(cert["root_public_key"].encode())
root.verify(bytes.fromhex(cert["signature"]),
json.dumps(body, sort_keys=True, separators=(",", ":")).encode())
# the note must be about THIS receipt's key, not some other valid key
assert cert["subkey_public_key"] == receipt["public_key_pem"]
# and the receipt must claim a time inside the key's window
signed_at = receipt.get("outcome", {}).get("signed_at")
if signed_at:
assert cert["not_before"] <= signed_at <= cert["not_after"]
print("verified")