nala/SGF
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Accept technical extraction of shared budget core with QA limits

Browse Source
This commit is contained in:
nala
2026-10-29 13:25:05 +02:00
parent d071bc03d3
commit f77900e198
15 changed files with 1220 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/proofs/common-budget-hosts.json
+247
View File
@@ -0,0 +1,247 @@
{
"version": "COMMON-BUDGET-SYNTHETIC-v1",
"checked_at": "2026-10-29T11:07:06+00:00",
"client_databases_touched": false,
"hosts": [
{
"host": "compras",
"passed": true,
"detached_package_artifact": true,
"core_sha256": "1349d1ab4ab58a83c9abbf43549ebe7e4ed77717ed5463a2defac748cf7b9a31",
"steps": {
"reserve": {
"approved_total_minor": 100000,
"reinforced_minor": 0,
"reserved_minor": 30000,
"committed_minor": 0,
"consumed_minor": 0,
"available_minor": 70000
},
"award": {
"approved_total_minor": 100000,
"reinforced_minor": 0,
"reserved_minor": 35000,
"committed_minor": 0,
"consumed_minor": 0,
"available_minor": 65000
},
"commit": {
"approved_total_minor": 100000,
"reinforced_minor": 0,
"reserved_minor": 0,
"committed_minor": 35000,
"consumed_minor": 0,
"available_minor": 65000
},
"consume": {
"approved_total_minor": 100000,
"reinforced_minor": 0,
"reserved_minor": 0,
"committed_minor": 25000,
"consumed_minor": 10000,
"available_minor": 65000
},
"reinforcement": {
"approved_total_minor": 120000,
"reinforced_minor": 20000,
"reserved_minor": 0,
"committed_minor": 25000,
"consumed_minor": 10000,
"available_minor": 85000
}
},
"races": [
{
"scenario": "over_reserve",
"passed": true,
"observed_lock_waits": 2,
"balance": {
"approved_total_minor": 10000,
"reinforced_minor": 0,
"reserved_minor": 6000,
"committed_minor": 0,
"consumed_minor": 0,
"available_minor": 4000
}
},
{
"scenario": "same_reserve",
"passed": true,
"observed_lock_waits": 2,
"balance": {
"approved_total_minor": 10000,
"reinforced_minor": 0,
"reserved_minor": 6000,
"committed_minor": 0,
"consumed_minor": 0,
"available_minor": 4000
}
},
{
"scenario": "same_commit",
"passed": true,
"observed_lock_waits": 2,
"balance": {
"approved_total_minor": 10000,
"reinforced_minor": 0,
"reserved_minor": 0,
"committed_minor": 6000,
"consumed_minor": 0,
"available_minor": 4000
}
},
{
"scenario": "same_release",
"passed": true,
"observed_lock_waits": 2,
"balance": {
"approved_total_minor": 10000,
"reinforced_minor": 0,
"reserved_minor": 0,
"committed_minor": 0,
"consumed_minor": 0,
"available_minor": 10000
}
}
],
"checks": [
"independent_approval",
"partial_consumption",
"same_command_replay",
"changed_replay_rejected",
"committed_release_refused",
"reinforcement_pending_and_approved",
"tenant_isolation",
"release_once",
"net_tax_basis",
"audit_rollback_and_retry",
"revoked_reviewer_replay"
],
"sgf_context_checks": [],
"visual_review": false
},
{
"host": "sgf",
"passed": true,
"detached_package_artifact": false,
"core_sha256": "1349d1ab4ab58a83c9abbf43549ebe7e4ed77717ed5463a2defac748cf7b9a31",
"steps": {
"reserve": {
"approved_total_minor": 100000,
"reinforced_minor": 0,
"reserved_minor": 30000,
"committed_minor": 0,
"consumed_minor": 0,
"available_minor": 70000
},
"award": {
"approved_total_minor": 100000,
"reinforced_minor": 0,
"reserved_minor": 35000,
"committed_minor": 0,
"consumed_minor": 0,
"available_minor": 65000
},
"commit": {
"approved_total_minor": 100000,
"reinforced_minor": 0,
"reserved_minor": 0,
"committed_minor": 35000,
"consumed_minor": 0,
"available_minor": 65000
},
"consume": {
"approved_total_minor": 100000,
"reinforced_minor": 0,
"reserved_minor": 0,
"committed_minor": 25000,
"consumed_minor": 10000,
"available_minor": 65000
},
"reinforcement": {
"approved_total_minor": 120000,
"reinforced_minor": 20000,
"reserved_minor": 0,
"committed_minor": 25000,
"consumed_minor": 10000,
"available_minor": 85000
}
},
"races": [
{
"scenario": "over_reserve",
"passed": true,
"observed_lock_waits": 2,
"balance": {
"approved_total_minor": 10000,
"reinforced_minor": 0,
"reserved_minor": 6000,
"committed_minor": 0,
"consumed_minor": 0,
"available_minor": 4000
}
},
{
"scenario": "same_reserve",
"passed": true,
"observed_lock_waits": 2,
"balance": {
"approved_total_minor": 10000,
"reinforced_minor": 0,
"reserved_minor": 6000,
"committed_minor": 0,
"consumed_minor": 0,
"available_minor": 4000
}
},
{
"scenario": "same_commit",
"passed": true,
"observed_lock_waits": 2,
"balance": {
"approved_total_minor": 10000,
"reinforced_minor": 0,
"reserved_minor": 0,
"committed_minor": 6000,
"consumed_minor": 0,
"available_minor": 4000
}
},
{
"scenario": "same_release",
"passed": true,
"observed_lock_waits": 2,
"balance": {
"approved_total_minor": 10000,
"reinforced_minor": 0,
"reserved_minor": 0,
"committed_minor": 0,
"consumed_minor": 0,
"available_minor": 10000
}
}
],
"checks": [
"independent_approval",
"partial_consumption",
"same_command_replay",
"changed_replay_rejected",
"committed_release_refused",
"reinforcement_pending_and_approved",
"tenant_isolation",
"release_once",
"net_tax_basis",
"audit_rollback_and_retry",
"revoked_reviewer_replay"
],
"sgf_context_checks": [
"foreign_source_refused",
"reserved_unit_refused",
"stale_context_refused"
],
"visual_review": false
}
],
"equivalent": true,
"disposable_databases_dropped": true
}