Specify the budget CSV calculation contract

Use the existing offline budget components as candidates for common money and categorization logic, with explicit rules for input and failure cases.

Property to establish

Draft target

For valid input under the agreed CSV contract, amounts retain exact minor units and currencies are never silently combined.

The scope and assumptions are open for clarification. This request is not an existing proof.

01Specify accepted CSV fields, signs, currency scale, malformed rows, and handling of duplicate identifiers.
02Challenge importer and summary behavior with generated and hand-written edge cases.
03Quote independent review or a proof of the narrow arithmetic and separation properties; composition into a user app is a separate task.

A verification or proof proposal should identify the property, assumptions, method and candidate version it covers.

0 recorded

No public offers recorded.

Private quotes are not counted here. Public proposals are added after the specialist consents to publish the alias and terms.

No accepted scope, price or terms recorded.

No delivered evidence or pinned Registry artifact linked.

Prepare a scoped proposal or describe your need. Review the draft before sending.