Files
SGF/docs/proofs/budget-workspace-http.json
2026-10-29 18:43:29 +02:00

86 lines
2.2 KiB
JSON

{
"version": "SGF-BUDGET-WORKSPACE-SIM-v1",
"checked_at": "2026-10-29T11:38:41.903Z",
"passed": true,
"core_sha256": "1349d1ab4ab58a83c9abbf43549ebe7e4ed77717ed5463a2defac748cf7b9a31",
"checks": [
"four_real_sessions_and_empty_initial_demo",
"allocation_distinct_approval",
"same_command_recovery",
"changed_key_conflict",
"reservation_award_commit_equivalent",
"insufficient_balance",
"committed_release_refused",
"decimal_precision_rejected",
"failed_consumption_rollback_and_recovery",
"single_consumption_per_reference",
"pending_reinforcement_no_effect",
"distinct_reinforcement_review",
"release_once_no_reopening",
"foreign_origin_refused",
"stale_context_refused",
"csrf_enabled",
"reserved_unit_refused",
"reader_cannot_write"
],
"snapshots": [
{
"step": "reserve",
"balance": {
"approved_total_minor": 100000,
"reinforced_minor": 0,
"reserved_minor": 30000,
"committed_minor": 0,
"consumed_minor": 0,
"available_minor": 70000
}
},
{
"step": "award",
"balance": {
"approved_total_minor": 100000,
"reinforced_minor": 0,
"reserved_minor": 35000,
"committed_minor": 0,
"consumed_minor": 0,
"available_minor": 65000
}
},
{
"step": "commit",
"balance": {
"approved_total_minor": 100000,
"reinforced_minor": 0,
"reserved_minor": 0,
"committed_minor": 35000,
"consumed_minor": 0,
"available_minor": 65000
}
},
{
"step": "consume",
"balance": {
"approved_total_minor": 100000,
"reinforced_minor": 0,
"reserved_minor": 0,
"committed_minor": 25000,
"consumed_minor": 10000,
"available_minor": 65000
}
},
{
"step": "reinforcement",
"balance": {
"approved_total_minor": 120000,
"reinforced_minor": 20000,
"reserved_minor": 0,
"committed_minor": 25000,
"consumed_minor": 10000,
"available_minor": 85000
}
}
],
"visual_review": false,
"team_demo_changed": false
}