{"typed_entities_and_identifiers":[{"name":"BankChangeLog","identifier_status":"source_supported","fields":[{"name":"operator_id","type":"string","source_units":["B02","B06"]},{"name":"approver_id","type":"string","source_units":["B01","B02","B06"]}],"source_units":["B01","B02","B06"]},{"name":"SupplierBankChange","identifier_status":"proposed_design","fields":[{"name":"bank_change_id","type":"string","source_units":["B01","B06"]},{"name":"destination","type":"string","source_units":["B01","B04","B05"]},{"name":"treasury_verification","type":"boolean","source_units":["B01","B03","B05"]},{"name":"email_confirmation_alone","type":"boolean","source_units":["B03"]},{"name":"independent_approval","type":"boolean","source_units":["B01","B02","B05"]},{"name":"is_usable","type":"boolean","source_units":["B01","B05"]}],"source_units":["B01","B02","B03","B04","B05","B06"]},{"name":"OutagePaymentAuthorization","identifier_status":"proposed_design","fields":[{"name":"declared_outage","type":"boolean","source_units":["B04","B05"]},{"name":"authorising_actor","type":"string","source_units":["B04"]},{"name":"target_account_status","type":"string","source_units":["B04","B05"]}],"source_units":["B04","B05"]},{"name":"RoleTenureRequirement","identifier_status":"not_established","fields":[{"name":"department_tenure_requirement","type":"string","source_units":["B06"]}],"source_units":["B06"]}],"decision_predicates":[{"id":"P1","decision":"use_new_destination","actor":"Treasury","scope":"supplier bank change","condition":"Treasury verification has been completed and is not based on email confirmation alone","units":"not applicable","comparison":"treasury_verification == true AND email_confirmation_alone == false","source_units":["B01","B03","B05"]},{"id":"P2","decision":"use_new_destination","actor":"independent approver","scope":"supplier bank change","condition":"Independent approval is completed by a person who did not enter the bank change (operator_id != approver_id), which is not waived during an outage","units":"not applicable","comparison":"independent_approval == true AND operator_id != approver_id","source_units":["B01","B02","B05","B06"]},{"id":"P3","decision":"use_new_destination","actor":"not specified","scope":"declared payment-system outage","condition":"The outage procedure does not authorise use of new unverified bank details and does not waive separation of entry and approval","units":"not applicable","comparison":"declared_outage == true AND destination == new_bank_details AND treasury_verification == false","source_units":["B01","B05"]},{"id":"P4","decision":"payment_to_previously_verified_account_by_treasury_lead","actor":"treasury lead","scope":"declared payment-system outage","condition":"During a declared payment-system outage, the treasury lead may authorise payment to the previously verified bank account","units":"not applicable","comparison":"declared_outage == true AND target_destination == previously_verified_bank_account","source_units":["B04"]},{"id":"P5","decision":"mandatory_emergency_payment","actor":"treasury lead","scope":"declared payment-system outage","condition":"Source rules grant discretionary permission ('may authorise') to the treasury lead for previously verified accounts and state no rule mandating an emergency payment","units":"not applicable","comparison":"not specified","source_units":["B04","B05"]}],"process_transitions":[{"from_state":"ChangeEntered","to_state":"TreasuryVerified","event":"verify_bank_change","guard":"Treasury verification is completed using evidence beyond email confirmation alone","predicate_ids":["P1"],"source_units":["B01","B03"]},{"from_state":"TreasuryVerified","to_state":"NewDestinationUsable","event":"approve_bank_change","guard":"Treasury verification is true and independent approval is completed by an approver whose approver_id differs from operator_id","predicate_ids":["P1","P2"],"source_units":["B01","B02","B05","B06"]},{"from_state":"ChangeEntered","to_state":"NewDestinationProhibited","event":"attempt_use_new_destination","guard":"Treasury verification is false or independent approval is false, including during a declared payment-system outage","predicate_ids":["P1","P2","P3"],"source_units":["B01","B02","B05"]},{"from_state":"OutageDeclared","to_state":"PreviouslyVerifiedAccountPaymentAuthorised","event":"authorise_outage_payment_to_previous_account","guard":"A payment-system outage is declared and the treasury lead exercises discretionary authority to authorise payment to the previously verified bank account","predicate_ids":["P4","P5"],"source_units":["B04","B05"]}],"scenario_decisions":[{"decision":"use_new_destination","disposition":"prohibited","predicate_ids":["P1","P2","P3"],"source_units":["B01","B02","B05"],"rationale":"B01 states a complete prerequisite rule ('becomes usable only after Treasury verification and independent approval by a person who did not enter the change'). In the scenario input, destination is new_bank_details and independent_approval is true, but treasury_verification is false. B05 further explicitly establishes that during an outage, the outage procedure does not authorise use of new unverified bank details and does not waive separation of entry and approval. Because the mandatory Treasury verification prerequisite is false, using the new destination is prohibited."},{"decision":"payment_to_previously_verified_account_by_treasury_lead","disposition":"permitted","predicate_ids":["P4"],"source_units":["B04","B05"],"rationale":"B04 explicitly states that during a declared payment-system outage, the treasury lead 'may authorise payment to the previously verified bank account.' Because declared_outage is true in the scenario input, this action by the treasury lead is permitted under B04. Scope assumption: this permission applies strictly to a previously verified bank account (assuming one exists on record, which cannot be inferred from the input alone) and does not permit paying the scenario's unverified new_bank_details (prohibited under B01 and B05)."},{"decision":"mandatory_emergency_payment","disposition":"not_established","predicate_ids":["P4","P5"],"source_units":["B04","B05"],"rationale":"B04 uses permissive wording ('the treasury lead may authorise payment to the previously verified bank account'), establishing discretionary authority/permission rather than a mandatory obligation. No unit in B01-B06 establishes a rule requiring a mandatory emergency payment during a declared outage, nor do the documents state whether other unmentioned policies mandate emergency payments. Under the scope note that decisions are limited to named rules and unmentioned prerequisites cannot be inferred, a mandatory emergency payment is not_established (and is not required by B04)."}],"unresolved_questions":["What specific verification methods or evidence satisfy Treasury verification, given B03 only states that email confirmation alone is insufficient?","Does a previously verified bank account exist for the supplier in the scenario so that the treasury lead can exercise the B04 permission?","How did independent_approval occur in the scenario, and is operator_id confirmed to be distinct from approver_id in the bank-change log per B01, B02, and B06?","Who has authority to declare a payment-system outage under B04, and what criteria govern whether an emergency payment should be executed when permitted?","Are there external role-qualification requirements for operators or approvers outside these documents, given B06 notes that the documents do not define a department-tenure requirement for either role?"]}