Files
jarca-ledger-mcp/docs/verification/issue-12-review-65/contract-preservation-inventory.json
T

59 lines
2.2 KiB
JSON

{
"schema": "contract-preservation-inventory/v1",
"issue": 12,
"pull_request": 13,
"review_id": 65,
"reviewed_head": "fc2d2a6faeac3c64c0ed604f2aa1ad7c37c65570",
"source_revision": "8caf1f8379171a128a2c12971a2eadc9a324309a",
"contracts": [
{
"contract": "current cache balance is an exact integer or unknown NULL; zero remains a valid known balance",
"status": "preserved",
"preserved_by": [
"test_create_rejects_whitespace_or_non_integer_dated_balance_without_mutation",
"test_zero_dated_balance_and_valid_import_recovery"
]
},
{
"contract": "invalid dated account creation fails with validation_error before account or valuation mutation",
"status": "preserved",
"preserved_by": [
"test_create_rejects_whitespace_or_non_integer_dated_balance_without_mutation"
]
},
{
"contract": "a valid dated import can establish current cache and append a valuation after invalid create attempts are rejected",
"status": "preserved",
"preserved_by": [
"test_zero_dated_balance_and_valid_import_recovery",
"test_late_import_current_balance_is_authoritative_by_evidence_basis_date"
]
},
{
"contract": "unknown basis remains distinct from last_synced_at and historical imports cannot roll back a newer usable cache",
"status": "preserved",
"preserved_by": [
"test_account_write_sync_timestamp_does_not_infer_balance_basis_or_candidate",
"test_unknown_legacy_balance_basis_is_not_reported_as_valuation_date",
"review65-focused-regressions"
]
},
{
"contract": "all prior Issue 12 and Review 64 public envelopes, valuation selection, snapshot replay, read-only, migration, privacy, authentication, and menu semantics remain intact",
"status": "preserved",
"preserved_by": [
"review65-focused-regressions",
"review65-full-suite",
"review65-ruff",
"review65-compileall",
"review65-diff-check"
]
}
],
"missing": 0,
"ambiguous": 0,
"limitations": [
"Four fixture-dependent PDF tests remain skipped because private KB Bank and Toss Securities fixtures are unavailable."
]
}