Files
jarca-ledger-mcp/docs/verification/issue-12-review-66/red-evidence.json
T

24 lines
1.3 KiB
JSON

{
"schema": "review-red-evidence/v1",
"issue": 12,
"pull_request": 13,
"review_id": 66,
"reviewed_head": "3bf9b77c6cc167a4e2a8706271bdf8e848d2c4fe",
"contract_sha256": "6d86b591b022fcc722611bfec6d24e54a64216ab6f7c4098f357e25420218818",
"reproductions": [
{
"id": "C05-account-update-balance-authority",
"command": "uv run --frozen --extra dev --extra dashboard pytest -o addopts= -q tests/test_import_current_balance_authority.py::test_update_rejects_bool_or_float_dated_balance_without_mutation tests/test_import_current_balance_authority.py::test_update_rejects_empty_undated_balance_without_mutation",
"exit_code": 1,
"observed": "2 failed: dated bool and float values returned success after coercion and appended candidates; an undated empty string returned success and replaced the integer cache"
},
{
"id": "C05-exact-head-synthetic-probe",
"command": "uv run --frozen --extra dev --extra dashboard python <synthetic temporary-DB update probe>",
"exit_code": 0,
"observed": "True, False, 1.2, and -1.2 were persisted as 1, 0, 1, and -1 with dated candidates; an undated empty string was persisted and cleared the basis; all invalid requests mutated state"
}
],
"sensitive_data": "synthetic temporary databases only; no credentials or real financial data"
}