Files
SGF/docs/proofs/industrial-budget-concurrency.json

14 lines
462 B
JSON

{
"policy": "INDUSTRIAL-BUDGET-ACTUAL-SIM-v1",
"database": "sgf_tempo_test",
"overlapping_processes_per_case": 2,
"checks": {
"proposal_replay_one_version": true,
"decision_replay_one_effect": true,
"comparison_replay_one_snapshot": true,
"competing_successors_one_winner": true,
"competing_decisions_one_winner": true,
"competing_comparisons_one_revision": true
},
"synthetic_only": true
}