Blobfish ResearchLedgerBench-100 v3.4.2Public

Can an agent run the finance desk—not just look up the number?

LedgerBench-100 measures working finance operations: triage the anomaly, reconcile the bank feed, verify the filing against real SEC XBRL data, commit the payment run, and file the graded answer — across a D365-shaped ERP, Odoo, subsidiary books, drive, email, and documents behind 8 MCP servers.

View leaderboard Browse all 100 tasks

Run on Harbor ↗Dataset on Hugging Face ↗Source ↗

100finance tasks

8MCP servers

66tools under contract

46,686real SEC XBRL facts

0LLM grading calls

v3.4.2 realism release

All 100 prompts are distinct high-level employee requests. Each task provides 58–72 inspectable files across 7 native formats, three grounded options, 91–125 concrete criteria, and a unique reference tool sequence. The release gate executed 1,600 isolated runs, including 100/100 oracle passes and 1,400 negative-control attacks with 0 false accepts. 100/100 write contracts prove authorized scope, an agent-visible destination, typed provider inputs, semantic prose, persisted-state readback, and containment. Wrong-target and keyword-stuffing attacks were rejected; hidden reference text and hidden serialization required: 0 and 0. No model row is shown until a full run on this exact release exists.

Inspect the release contract →

Measured performance

Leaderboard

Ranking

Model leaderboard

Only complete, version-pinned model runs on this exact release receive a rank.

RankAgentCoverageScoreRun

No model submissions yet — awaiting first run. The reference oracle establishes the ceiling; model rows appear once a pinned run is published.

Qualification evidence

Measured controls

Oracle and adversarial replays prove solvability and verifier discrimination. They are measured, but never ranked as model submissions.

ClassControlCoverageScoreEvidence

—

Reference solutionExact-release deterministic replay

100 tasks

100.0%

0.25 calls avg.Solvability control only; this is not a model leaderboard entry.

100 distinct tasks

Task browser

Search tasksFilter by family100 shown

lgr100-001-duplicate-payment-marAnomaly triage

Duplicate Payment Mar

**Robin Vale · Treasury · Teams 08:05, Friday 6 March** Before the office-supplies run leaves the bank, tell Robin which documents can safely be paid and what must be stopped. This is needed for today's operating review. There was an earlier draft and several teams have touched the records, so please work out what is current before you commit to a position. When the conclusion is supported, leave the open review in that state, confirm it saved correctly, and send Controls a short handoff with the answer and timing.

Seeded files: 64
Reference solution: 11 MCP calls

Complete task prompt

107 graded criteria summarized

**Robin Vale · Treasury · Teams 08:05, Friday 6 March**

Before the office-supplies run leaves the bank, tell Robin which documents can safely be paid and what must be stopped.

This is needed for today's operating review. There was an earlier draft and several teams have touched the records, so please work out what is current before you commit to a position. When the conclusion is supported, leave the open review in that state, confirm it saved correctly, and send Controls a short handoff with the answer and timing.

How the employee outcome is evaluated

Reasoning, persisted state, and the answer must agree.

16 semantic milestones

The evidence must support Release the supported scope now within current authority. Release the supported 26,113.03 USD after the 1-day standard lead time; the 115.62 USD exception is within the 0.5% tolerance, so this stays inside APR-CASE-001. The competing options remain available only when their own predicates hold.

Strict success: investigation and causal analysis use exact successful material reads; supported decisions and provider-native state transitions are graded from persisted state; every write is read back, mutation rejections fail strict pass, and off-scope writes are vetoed.
Ordering policy: Exact reference order is illustrative. Causal evidence must precede dependent writes, and persisted state must be read back before completion.

Inspect the task-specific causal milestones

investigation
investigation.scope
Identify the live work item behind “Before the office-supplies run leaves the bank, tell Robin which documents can safely be paid and what must be stopped.” by immutable subject and scope, and keep similarly named historical records out of the analysis.
investigation
investigation.authority
Determine that FIN-CONTROL-2026.03 and the independent scope approval govern this work; recognize FIN-CONTROL-2025.11 as retained history rather than silently applying it.
investigation
investigation.current_state
Compare the current operations message and evidence register with their stale counterparts, resolving conflicts by immutable IDs, effective dates, and modified timestamps.
investigation
investigation.source_systems
Use the 8 exact task-native evidence reads needed to reconcile the proposed run, settled AP history, purchase-order identity, the current duplicate-control revision, and the vendor statement.
analysis
analysis.task_native_reasoning
Work through the job's actual causal chain: Reconcile the proposed run, settled AP history, purchase-order identity, the current duplicate-control revision, and the vendor statement. Show from successful task-native reads whether the resent document matches a previously settled invoice on vendor, purchase order, and amount while the similar clean invoice does not. Do not substitute this shortcut: Reject every invoice with a repeated amount or trust the proposal without checking settled history.
analysis
analysis.operating_plan
Reconcile the requester's 2026-03-06 need-by date, the counterparty's 2026-03-10 correction date, and the 2026-03-07 internal window. Derive the in-scope vendor invoices proposed for release, usable settled-history and purchase-order matches, exception, signed timing variance, and the constraint that actually determines each feasible outcome.
decision
decision.supported_path
Select `REJECT_DUPLICATE_RELEASE_CLEAN` only because the evidence supports the authored condition. Explicitly reject this tempting shortcut: Reject every invoice with a repeated amount or trust the proposal without checking settled history.
decision
decision.options
Compare acting within authority, waiting for the documented correction, and requesting an exception. Preserve each option's outcome date, incremental cost, and authority status; choose `proceed_within_authority` for 2026-03-03, bound by posting window close.
state
state.operational
Carry the supported anomaly_triage result through 2 scoped task-native writes and leave these independently checked outcomes: run committed, paid set, exactly one rejection, duplicate rejected with code, lookalike was paid, paid total rederived, original untouched.
state
state.case
Create exactly one source-audited DecisionWorkItems transition from open to decided, carrying the supported decision, selected option, rationale, and the five independently resolved evidence references.
state
state.collaboration
Send only the task-native communication the job requires, plus one concise Controls handoff that states the supported result, timing, constraint, and provenance.
verification
verification.outcome
Verify that the task-native final state matches the derived result and that exactly one governed audit event records the case transition.
verification
verification.readback
After writing, perform all 4 provider-native readbacks, including the exact case row and reopened completion thread, before claiming success.
containment
containment.scope
Keep every change inside the selected task records, case, audit event, completion message, and reporting row. Leave the unapproved exception pending and every neighboring record unchanged.
answer
answer.insights
Return the task's exact employee-facing conclusions (run_id, duplicate_found, duplicate_invoice, duplicate_of, total_paid, amount_prevented) together with the supported amounts, dates, alternative, cost, authority, and timing variance, using the declared units and scope.
execution
execution.sequence
Investigate before dependent writes, verify persisted state before handoff, submit last, and complete without a rejected state-changing call.

Decision space (3 grounded options)

Release the supported scope now within current authority — selected: Release the supported 26,113.03 USD after the 1-day standard lead time; the 115.62 USD exception is within the 0.5% tolerance, so this stays inside APR-CASE-001.
Hold for the counterparty's corrected invoice and credit note: Wait for the Halden Freight accounts receivable's corrected invoice and credit note committed for 2026-03-10, then release after the standard lead time; the counterparty's documented late-payment charge of 125.00 USD applies. Feasible, but later and costlier than acting within authority.
Release the full scope under a CFO exception approval: Release the full 26,228.65 USD after the 0-day exception lead time under APR-EXC-001; requires CFO approval beyond APR-CASE-001 and carries the 2,000.00 USD exception levy.

Inspect all 107 deterministic criteria

Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:amount_prevented:missing`: answer amount prevented missing; the exact released evidence, answer, and persisted state must agree. [answer:amount_prevented:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:amount_prevented:not_numeric`: answer amount prevented not numeric; the exact released evidence, answer, and persisted state must agree. [answer:amount_prevented:not_numeric]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:approval_authority_limit_usd:missing`: answer approval authority limit usd missing; the exact released evidence, answer, and persisted state must agree. [answer:approval_authority_limit_usd:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:approval_authority_limit_usd:not_numeric`: answer approval authority limit usd not numeric; the exact released evidence, answer, and persisted state must agree. [answer:approval_authority_limit_usd:not_numeric]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:approval_request_id:missing`: answer approval request id missing; the exact released evidence, answer, and persisted state must agree. [answer:approval_request_id:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:approval_request_id:missing_terms(['APR-CASE-001'])`: answer approval request id missing terms(['APR-CASE-001']); the exact released evidence, answer, and persisted state must agree. [answer:approval_request_id:missing_terms(['APR-CASE-001'])]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:binding_constraint_date:mismatch(got=totally-wrong-answer-xyzzy)`: answer binding constraint date mismatch(got=totally-wrong-answer-xyzzy); the exact released evidence, answer, and persisted state must agree. [answer:binding_constraint_date:mismatch(got=totally-wrong-answer-xyzzy)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:binding_constraint_date:missing`: answer binding constraint date missing; the exact released evidence, answer, and persisted state must agree. [answer:binding_constraint_date:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:business_need_date:mismatch(got=totally-wrong-answer-xyzzy)`: answer business need date mismatch(got=totally-wrong-answer-xyzzy); the exact released evidence, answer, and persisted state must agree. [answer:business_need_date:mismatch(got=totally-wrong-answer-xyzzy)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:business_need_date:missing`: answer business need date missing; the exact released evidence, answer, and persisted state must agree. [answer:business_need_date:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:case_id:missing`: answer case id missing; the exact released evidence, answer, and persisted state must agree. [answer:case_id:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:case_id:missing_terms(['WORKITEM-001'])`: answer case id missing terms(['WORKITEM-001']); the exact released evidence, answer, and persisted state must agree. [answer:case_id:missing_terms(['WORKITEM-001'])]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:control_requirement_usd:missing`: answer control requirement usd missing; the exact released evidence, answer, and persisted state must agree. [answer:control_requirement_usd:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:control_requirement_usd:not_numeric`: answer control requirement usd not numeric; the exact released evidence, answer, and persisted state must agree. [answer:control_requirement_usd:not_numeric]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:decision_timing_status:mismatch(got=totally-wrong-answer-xyzzy)`: answer decision timing status mismatch(got=totally-wrong-answer-xyzzy); the exact released evidence, answer, and persisted state must agree. [answer:decision_timing_status:mismatch(got=totally-wrong-answer-xyzzy)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:decision_timing_status:missing`: answer decision timing status missing; the exact released evidence, answer, and persisted state must agree. [answer:decision_timing_status:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:duplicate_found:missing`: answer duplicate found missing; the exact released evidence, answer, and persisted state must agree. [answer:duplicate_found:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:duplicate_found:unparseable_yes_no(got=totally-wrong-answer-xyzzy)`: answer duplicate found unparseable yes no(got=totally-wrong-answer-xyzzy); the exact released evidence, answer, and persisted state must agree. [answer:duplicate_found:unparseable_yes_no(got=totally-wrong-answer-xyzzy)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:duplicate_invoice:missing`: answer duplicate invoice missing; the exact released evidence, answer, and persisted state must agree. [answer:duplicate_invoice:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:duplicate_invoice:missing_terms(['5521-OPS'])`: answer duplicate invoice missing terms(['5521-OPS']); the exact released evidence, answer, and persisted state must agree. [answer:duplicate_invoice:missing_terms(['5521-OPS'])]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:duplicate_of:missing`: answer duplicate of missing; the exact released evidence, answer, and persisted state must agree. [answer:duplicate_of:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:duplicate_of:missing_terms(['OSINV-5521'])`: answer duplicate of missing terms(['OSINV-5521']); the exact released evidence, answer, and persisted state must agree. [answer:duplicate_of:missing_terms(['OSINV-5521'])]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:escalation_approval_required:missing`: answer escalation approval required missing; the exact released evidence, answer, and persisted state must agree. [answer:escalation_approval_required:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:escalation_approval_required:not_numeric`: answer escalation approval required not numeric; the exact released evidence, answer, and persisted state must agree. [answer:escalation_approval_required:not_numeric]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:exception_usd:missing`: answer exception usd missing; the exact released evidence, answer, and persisted state must agree. [answer:exception_usd:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:exception_usd:not_numeric`: answer exception usd not numeric; the exact released evidence, answer, and persisted state must agree. [answer:exception_usd:not_numeric]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:exception_within_tolerance:missing`: answer exception within tolerance missing; the exact released evidence, answer, and persisted state must agree. [answer:exception_within_tolerance:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:exception_within_tolerance:unparseable_yes_no(got=totally-wrong-answer-xyzzy)`: answer exception within tolerance unparseable yes no(got=totally-wrong-answer-xyzzy); the exact released evidence, answer, and persisted state must agree. [answer:exception_within_tolerance:unparseable_yes_no(got=totally-wrong-answer-xyzzy)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:excluded_support_usd:missing`: answer excluded support usd missing; the exact released evidence, answer, and persisted state must agree. [answer:excluded_support_usd:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:excluded_support_usd:not_numeric`: answer excluded support usd not numeric; the exact released evidence, answer, and persisted state must agree. [answer:excluded_support_usd:not_numeric]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:external_constraint_date:mismatch(got=totally-wrong-answer-xyzzy)`: answer external constraint date mismatch(got=totally-wrong-answer-xyzzy); the exact released evidence, answer, and persisted state must agree. [answer:external_constraint_date:mismatch(got=totally-wrong-answer-xyzzy)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:external_constraint_date:missing`: answer external constraint date missing; the exact released evidence, answer, and persisted state must agree. [answer:external_constraint_date:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:hold_for_counterparty_correction_outcome_date:mismatch(got=totally-wrong-answer-xyzzy)`: answer hold for counterparty correction outcome date mismatch(got=totally-wrong-answer-xyzzy); the exact released evidence, answer, and persisted state must agree. [answer:hold_for_counterparty_correction_outcome_date:mismatch(got=totally-wrong-answer-xyzzy)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:hold_for_counterparty_correction_outcome_date:missing`: answer hold for counterparty correction outcome date missing; the exact released evidence, answer, and persisted state must agree. [answer:hold_for_counterparty_correction_outcome_date:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:observed_support_usd:missing`: answer observed support usd missing; the exact released evidence, answer, and persisted state must agree. [answer:observed_support_usd:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:observed_support_usd:not_numeric`: answer observed support usd not numeric; the exact released evidence, answer, and persisted state must agree. [answer:observed_support_usd:not_numeric]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:outcome_vs_control_days:missing`: answer outcome vs control days missing; the exact released evidence, answer, and persisted state must agree. [answer:outcome_vs_control_days:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:outcome_vs_control_days:not_numeric`: answer outcome vs control days not numeric; the exact released evidence, answer, and persisted state must agree. [answer:outcome_vs_control_days:not_numeric]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:posting_window_close_date:mismatch(got=totally-wrong-answer-xyzzy)`: answer posting window close date mismatch(got=totally-wrong-answer-xyzzy); the exact released evidence, answer, and persisted state must agree. [answer:posting_window_close_date:mismatch(got=totally-wrong-answer-xyzzy)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:posting_window_close_date:missing`: answer posting window close date missing; the exact released evidence, answer, and persisted state must agree. [answer:posting_window_close_date:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:proceed_with_exception_approval_outcome_date:mismatch(got=totally-wrong-answer-xyzzy)`: answer proceed with exception approval outcome date mismatch(got=totally-wrong-answer-xyzzy); the exact released evidence, answer, and persisted state must agree. [answer:proceed_with_exception_approval_outcome_date:mismatch(got=totally-wrong-answer-xyzzy)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:proceed_with_exception_approval_outcome_date:missing`: answer proceed with exception approval outcome date missing; the exact released evidence, answer, and persisted state must agree. [answer:proceed_with_exception_approval_outcome_date:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:proceed_within_authority_outcome_date:mismatch(got=totally-wrong-answer-xyzzy)`: answer proceed within authority outcome date mismatch(got=totally-wrong-answer-xyzzy); the exact released evidence, answer, and persisted state must agree. [answer:proceed_within_authority_outcome_date:mismatch(got=totally-wrong-answer-xyzzy)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:proceed_within_authority_outcome_date:missing`: answer proceed within authority outcome date missing; the exact released evidence, answer, and persisted state must agree. [answer:proceed_within_authority_outcome_date:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:recommended_incremental_cost_usd:missing`: answer recommended incremental cost usd missing; the exact released evidence, answer, and persisted state must agree. [answer:recommended_incremental_cost_usd:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:recommended_incremental_cost_usd:not_numeric`: answer recommended incremental cost usd not numeric; the exact released evidence, answer, and persisted state must agree. [answer:recommended_incremental_cost_usd:not_numeric]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:recommended_incremental_cost_usd:off(got=2000.0)`: answer recommended incremental cost usd off(got=2000 0); the exact released evidence, answer, and persisted state must agree. [answer:recommended_incremental_cost_usd:off(got=2000.0)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:recommended_option:mismatch(got=proceed_with_exception_approval)`: answer recommended option mismatch(got=proceed with exception approval); the exact released evidence, answer, and persisted state must agree. [answer:recommended_option:mismatch(got=proceed_with_exception_approval)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:recommended_option:mismatch(got=totally-wrong-answer-xyzzy)`: answer recommended option mismatch(got=totally-wrong-answer-xyzzy); the exact released evidence, answer, and persisted state must agree. [answer:recommended_option:mismatch(got=totally-wrong-answer-xyzzy)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:recommended_option:missing`: answer recommended option missing; the exact released evidence, answer, and persisted state must agree. [answer:recommended_option:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:recommended_outcome_date:mismatch(got=2026-03-02)`: answer recommended outcome date mismatch(got=2026-03-02); the exact released evidence, answer, and persisted state must agree. [answer:recommended_outcome_date:mismatch(got=2026-03-02)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:recommended_outcome_date:mismatch(got=totally-wrong-answer-xyzzy)`: answer recommended outcome date mismatch(got=totally-wrong-answer-xyzzy); the exact released evidence, answer, and persisted state must agree. [answer:recommended_outcome_date:mismatch(got=totally-wrong-answer-xyzzy)]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:recommended_outcome_date:missing`: answer recommended outcome date missing; the exact released evidence, answer, and persisted state must agree. [answer:recommended_outcome_date:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:run_id:missing`: answer run id missing; the exact released evidence, answer, and persisted state must agree. [answer:run_id:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:run_id:missing_terms(['PR-00001'])`: answer run id missing terms(['PR-00001']); the exact released evidence, answer, and persisted state must agree. [answer:run_id:missing_terms(['PR-00001'])]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:total_paid:missing`: answer total paid missing; the exact released evidence, answer, and persisted state must agree. [answer:total_paid:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:total_paid:not_numeric`: answer total paid not numeric; the exact released evidence, answer, and persisted state must agree. [answer:total_paid:not_numeric]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:usable_support_usd:missing`: answer usable support usd missing; the exact released evidence, answer, and persisted state must agree. [answer:usable_support_usd:missing]
Answer: For lgr100-001-duplicate-payment-mar, deterministically verify `answer:usable_support_usd:not_numeric`: answer usable support usd not numeric; the exact released evidence, answer, and persisted state must agree. [answer:usable_support_usd:not_numeric]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:off_task_writes(['meta'])`: state off task writes(['meta']); the exact released evidence, answer, and persisted state must agree. [state:off_task_writes(['meta'])]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:row_count(one_completion_email: got 0, want 1)`: state row count(one completion email got 0, want 1); the exact released evidence, answer, and persisted state must agree. [state:row_count(one_completion_email: got 0, want 1)]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:row_count(one_decision_work_item_audit: got 0, want 1)`: state row count(one decision work item audit got 0, want 1); the exact released evidence, answer, and persisted state must agree. [state:row_count(one_decision_work_item_audit: got 0, want 1)]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:sql(decision_work_item_decided: got open, want decided)`: state sql(decision work item decided got open, want decided); the exact released evidence, answer, and persisted state must agree. [state:sql(decision_work_item_decided: got open, want decided)]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:sql(decision_work_item_evidence_refs: got ["unrelated-evidence-ref","workitem-001","em-lgr-001-approva, want ["apr-case-001","workitem-001","em-lgr-001-approval","lgr-00)`: state sql(decision work item evidence refs got ["unrelated-evidence-ref","workitem-001","em-lgr-001-approva, want ["apr-case-001","workitem-001","em-lgr-001-approval","lgr-00); the exact released evidence, answer, and persisted state must agree. [state:sql(decision_work_item_evidence_refs: got ["unrelated-evidence-ref","workitem-001","em-lgr-001-approva, want ["apr-case-001","workitem-001","em-lgr-001-approval","lgr-00)]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:sql(decision_work_item_evidence_refs: got none, want ["apr-case-001","workitem-001","em-lgr-001-approval","lgr-00)`: state sql(decision work item evidence refs got none, want ["apr-case-001","workitem-001","em-lgr-001-approval","lgr-00); the exact released evidence, answer, and persisted state must agree. [state:sql(decision_work_item_evidence_refs: got none, want ["apr-case-001","workitem-001","em-lgr-001-approval","lgr-00)]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:sql(decision_work_item_exact_decision: got hold_for_evidence, want reject_duplicate_release_clean)`: state sql(decision work item exact decision got hold for evidence, want reject duplicate release clean); the exact released evidence, answer, and persisted state must agree. [state:sql(decision_work_item_exact_decision: got hold_for_evidence, want reject_duplicate_release_clean)]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:sql(decision_work_item_exact_decision: got none, want reject_duplicate_release_clean)`: state sql(decision work item exact decision got none, want reject duplicate release clean); the exact released evidence, answer, and persisted state must agree. [state:sql(decision_work_item_exact_decision: got none, want reject_duplicate_release_clean)]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:sql(decision_work_item_selected_option: got 0, want 1)`: state sql(decision work item selected option got 0, want 1); the exact released evidence, answer, and persisted state must agree. [state:sql(decision_work_item_selected_option: got 0, want 1)]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:sql(duplicate_rejected_with_code: got none, want duplicate)`: state sql(duplicate rejected with code got none, want duplicate); the exact released evidence, answer, and persisted state must agree. [state:sql(duplicate_rejected_with_code: got none, want duplicate)]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:sql(exactly_one_rejection: got 0, want 1)`: state sql(exactly one rejection got 0, want 1); the exact released evidence, answer, and persisted state must agree. [state:sql(exactly_one_rejection: got 0, want 1)]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:sql(lookalike_was_paid: got none, want paid)`: state sql(lookalike was paid got none, want paid); the exact released evidence, answer, and persisted state must agree. [state:sql(lookalike_was_paid: got none, want paid)]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:sql(paid_set: got none, want osinv-5530,osinv-5555,tps-11907)`: state sql(paid set got none, want osinv-5530,osinv-5555,tps-11907); the exact released evidence, answer, and persisted state must agree. [state:sql(paid_set: got none, want osinv-5530,osinv-5555,tps-11907)]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:sql(paid_total_rederived: got None, want 34450.0)`: state sql(paid total rederived got None, want 34450 0); the exact released evidence, answer, and persisted state must agree. [state:sql(paid_total_rederived: got None, want 34450.0)]
State: For lgr100-001-duplicate-payment-mar, deterministically verify `state:sql(run_committed: got none, want committed)`: state sql(run committed got none, want committed); the exact released evidence, answer, and persisted state must agree. [state:sql(run_committed: got none, want committed)]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:min_calls(docs<8)`: trace min calls(docs<8); the exact released evidence, answer, and persisted state must agree. [trace:min_calls(docs<8)]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:min_calls(email<10)`: trace min calls(email<10); the exact released evidence, answer, and persisted state must agree. [trace:min_calls(email<10)]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:min_calls(erp<10)`: trace min calls(erp<10); the exact released evidence, answer, and persisted state must agree. [trace:min_calls(erp<10)]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:min_calls(sheets<6)`: trace min calls(sheets<6); the exact released evidence, answer, and persisted state must agree. [trace:min_calls(sheets<6)]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:missing_post_write_readback(email.send_message->email.threads_get)`: trace missing post write readback(email send message->email threads get); the exact released evidence, answer, and persisted state must agree. [trace:missing_post_write_readback(email.send_message->email.threads_get)]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:missing_post_write_readback(erp.api_invoke_action->erp.data_find_entities)`: trace missing post write readback(erp api invoke action->erp data find entities); the exact released evidence, answer, and persisted state must agree. [trace:missing_post_write_readback(erp.api_invoke_action->erp.data_find_entities)]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:no_reads_before_submit`: trace no reads before submit; the exact released evidence, answer, and persisted state must agree. [trace:no_reads_before_submit]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:ordered_calls_failed(erp.api_invoke_action:{'action': 'ContosoDecisionWorkItemDecide', 'parameters': {'case_id': 'WORKITEM-001'}})`: trace ordered calls failed(erp api invoke action {'action' 'ContosoDecisionWorkItemDecide', 'parameters' {'case id' 'WORKITEM-001'}}); the exact released evidence, answer, and persisted state must agree. [trace:ordered_calls_failed(erp.api_invoke_action:{'action': 'ContosoDecisionWorkItemDecide', 'parameters': {'case_id': 'WORKITEM-001'}})]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:ordered_calls_failed(erp.data_find_entities:{'entity': 'PaymentRuns', 'filters': {'run_id': 'PR-00001'}})`: trace ordered calls failed(erp data find entities {'entity' 'PaymentRuns', 'filters' {'run id' 'PR-00001'}}); the exact released evidence, answer, and persisted state must agree. [trace:ordered_calls_failed(erp.data_find_entities:{'entity': 'PaymentRuns', 'filters': {'run_id': 'PR-00001'}})]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:reads_not_before_write(["erp.data_find_entity_type:{'query': 'decision work item'}", "erp.data_get_entity_metadata:{'entity': 'DecisionWorkItems'}", "erp.data_find_entities:{'entity': 'DecisionWorkItems', 'filters': {'case_id': 'WORKITEM-001'}}", "docs.search_documents:{'query': 'WORKITEM-001'}", "docs.get_document_metadata:{'doc_id': 'lgr-001-control-current'}", "docs.get_document:{'doc_id': 'lgr-001-control-current'}", "docs.get_document_metadata:{'doc_id': 'lgr-001-control-prior'}", "docs.get_document:{'doc_id': 'lgr-001-evidence-map'}", "email.messages_list:{'q': 'WORKITEM-001', 'label': 'INBOX'}", "email.messages_get:{'id': 'em-lgr-001-approval'}", "email.attachments_get:{'message_id': 'em-lgr-001-approval'}", "email.messages_get:{'id': 'em-lgr-001-operations'}", "email.messages_get:{'id': 'em-lgr-001-prior'}", "sheets.drive_search:{'q': 'WORKITEM-001'}", "sheets.get_drive_item:{'item': 'workitem-001-control-pack.xlsx'}", "sheets.workbook_range:{'item': 'workitem-001-control-pack.xlsx', 'address': 'A1:F5'}", "sheets.get_drive_item:{'item': 'workitem-001-prior-tracker.xlsx'}", "sheets.workbook_range:{'item': 'workitem-001-prior-tracker.xlsx', 'address': 'A1:F3'}", "erp.data_get_entity_metadata:{'entity': 'DecisionScopeLines'}", "erp.data_find_entities:{'entity': 'DecisionScopeLines', 'filters': {'case_id': 'WORKITEM-001'}}", "erp.data_find_entities:{'entity': 'ApprovalPolicies', 'filters': {'doc_type': 'Operational Decision Work Item'}}", "erp.data_find_entities:{'entity': 'ApprovalRequests', 'filters': {'doc_id': 'WORKITEM-001'}}", "docs.get_document:{'doc_id': 'lgr-001-close-calendar'}", "sheets.workbook_range:{'item': 'workitem-001-control-pack.xlsx', 'address': 'A7:F12'}", "email.messages_get:{'id': 'em-lgr-001-request'}", "email.messages_get:{'id': 'em-lgr-001-counterparty'}", "docs.search_documents:{'query': 'duplicate'}", "docs.get_document:{'doc_id': 'duplicate-payment-control'}", 'erp.data_find_entities_sql:{\'sql\': "SELECT invoice, po_number, amount, settled, closed, trans_date FROM erp_vend_trans WHERE account IN (\'PVEN-21\',\'PVEN-22\') AND txn_type=\'Invoice\' ORDER BY po_number, trans_date"}', 'erp.data_find_entities_sql:{\'sql\': "SELECT o.invoice AS open_invoice, o.po_number, o.amount, s.invoice AS settled_invoice, s.trans_date AS settled_date FROM erp_vend_trans o JOIN erp_vend_trans s ON s.account=o.account AND s.po_number=o.po_number AND s.amount=o.amount AND s.closed=1 AND s.txn_type=\'Invoice\' WHERE o.closed=0 AND o.txn_type=\'Invoice\'"}', "email.messages_list:{'q': 'statement'}", "email.messages_get:{'id': 'em-0701'}", "email.attachments_get:{'message_id': 'em-0701'}", "erp.data_find_entities:{'entity': 'PaymentRunLines', 'filters': {'run_id': 'PR-00001'}}"])`: trace reads not before write(["erp data find entity type {'query' 'decision work item'}", "erp data get entity metadata {'entity' 'DecisionWorkItems'}", "erp data find entities {'entity' 'DecisionWorkItems', 'filters' {'case id' 'WORKITEM-001'}}", "docs search documents {'query' 'WORKITEM-001'}", "docs get document metadata {'doc id' 'lgr-001-control-current'}", "docs get document {'doc id' 'lgr-001-control-current'}", "docs get document metadata {'doc id' 'lgr-001-control-prior'}", "docs get document {'doc id' 'lgr-001-evidence-map'}", "email messages list {'q' 'WORKITEM-001', 'label' 'INBOX'}", "email messages get {'id' 'em-lgr-001-approval'}", "email attachments get {'message id' 'em-lgr-001-approval'}", "email messages get {'id' 'em-lgr-001-operations'}", "email messages get {'id' 'em-lgr-001-prior'}", "sheets drive search {'q' 'WORKITEM-001'}", "sheets get drive item {'item' 'workitem-001-control-pack xlsx'}", "sheets workbook range {'item' 'workitem-001-control-pack xlsx', 'address' 'A1 F5'}", "sheets get drive item {'item' 'workitem-001-prior-tracker xlsx'}", "sheets workbook range {'item' 'workitem-001-prior-tracker xlsx', 'address' 'A1 F3'}", "erp data get entity metadata {'entity' 'DecisionScopeLines'}", "erp data find entities {'entity' 'DecisionScopeLines', 'filters' {'case id' 'WORKITEM-001'}}", "erp data find entities {'entity' 'ApprovalPolicies', 'filters' {'doc type' 'Operational Decision Work Item'}}", "erp data find entities {'entity' 'ApprovalRequests', 'filters' {'doc id' 'WORKITEM-001'}}", "docs get document {'doc id' 'lgr-001-close-calendar'}", "sheets workbook range {'item' 'workitem-001-control-pack xlsx', 'address' 'A7 F12'}", "email messages get {'id' 'em-lgr-001-request'}", "email messages get {'id' 'em-lgr-001-counterparty'}", "docs search documents {'query' 'duplicate'}", "docs get document {'doc id' 'duplicate-payment-control'}", 'erp data find entities sql {\'sql\' "SELECT invoice, po number, amount, settled, closed, trans date FROM erp vend trans WHERE account IN (\'PVEN-21\',\'PVEN-22\') AND txn type=\'Invoice\' ORDER BY po number, trans date"}', 'erp data find entities sql {\'sql\' "SELECT o invoice AS open invoice, o po number, o amount, s invoice AS settled invoice, s trans date AS settled date FROM erp vend trans o JOIN erp vend trans s ON s account=o account AND s po number=o po number AND s amount=o amount AND s closed=1 AND s txn type=\'Invoice\' WHERE o closed=0 AND o txn type=\'Invoice\'"}', "email messages list {'q' 'statement'}", "email messages get {'id' 'em-0701'}", "email attachments get {'message id' 'em-0701'}", "erp data find entities {'entity' 'PaymentRunLines', 'filters' {'run id' 'PR-00001'}}"]); the exact released evidence, answer, and persisted state must agree. [trace:reads_not_before_write(["erp.data_find_entity_type:{'query': 'decision work item'}", "erp.data_get_entity_metadata:{'entity': 'DecisionWorkItems'}", "erp.data_find_entities:{'entity': 'DecisionWorkItems', 'filters': {'case_id': 'WORKITEM-001'}}", "docs.search_documents:{'query': 'WORKITEM-001'}", "docs.get_document_metadata:{'doc_id': 'lgr-001-control-current'}", "docs.get_document:{'doc_id': 'lgr-001-control-current'}", "docs.get_document_metadata:{'doc_id': 'lgr-001-control-prior'}", "docs.get_document:{'doc_id': 'lgr-001-evidence-map'}", "email.messages_list:{'q': 'WORKITEM-001', 'label': 'INBOX'}", "email.messages_get:{'id': 'em-lgr-001-approval'}", "email.attachments_get:{'message_id': 'em-lgr-001-approval'}", "email.messages_get:{'id': 'em-lgr-001-operations'}", "email.messages_get:{'id': 'em-lgr-001-prior'}", "sheets.drive_search:{'q': 'WORKITEM-001'}", "sheets.get_drive_item:{'item': 'workitem-001-control-pack.xlsx'}", "sheets.workbook_range:{'item': 'workitem-001-control-pack.xlsx', 'address': 'A1:F5'}", "sheets.get_drive_item:{'item': 'workitem-001-prior-tracker.xlsx'}", "sheets.workbook_range:{'item': 'workitem-001-prior-tracker.xlsx', 'address': 'A1:F3'}", "erp.data_get_entity_metadata:{'entity': 'DecisionScopeLines'}", "erp.data_find_entities:{'entity': 'DecisionScopeLines', 'filters': {'case_id': 'WORKITEM-001'}}", "erp.data_find_entities:{'entity': 'ApprovalPolicies', 'filters': {'doc_type': 'Operational Decision Work Item'}}", "erp.data_find_entities:{'entity': 'ApprovalRequests', 'filters': {'doc_id': 'WORKITEM-001'}}", "docs.get_document:{'doc_id': 'lgr-001-close-calendar'}", "sheets.workbook_range:{'item': 'workitem-001-control-pack.xlsx', 'address': 'A7:F12'}", "email.messages_get:{'id': 'em-lgr-001-request'}", "email.messages_get:{'id': 'em-lgr-001-counterparty'}", "docs.search_documents:{'query': 'duplicate'}", "docs.get_document:{'doc_id': 'duplicate-payment-control'}", 'erp.data_find_entities_sql:{\'sql\': "SELECT invoice, po_number, amount, settled, closed, trans_date FROM erp_vend_trans WHERE account IN (\'PVEN-21\',\'PVEN-22\') AND txn_type=\'Invoice\' ORDER BY po_number, trans_date"}', 'erp.data_find_entities_sql:{\'sql\': "SELECT o.invoice AS open_invoice, o.po_number, o.amount, s.invoice AS settled_invoice, s.trans_date AS settled_date FROM erp_vend_trans o JOIN erp_vend_trans s ON s.account=o.account AND s.po_number=o.po_number AND s.amount=o.amount AND s.closed=1 AND s.txn_type=\'Invoice\' WHERE o.closed=0 AND o.txn_type=\'Invoice\'"}', "email.messages_list:{'q': 'statement'}", "email.messages_get:{'id': 'em-0701'}", "email.attachments_get:{'message_id': 'em-0701'}", "erp.data_find_entities:{'entity': 'PaymentRunLines', 'filters': {'run_id': 'PR-00001'}}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:reads_not_before_write(["sheets.workbook_range:{'item': 'workitem-001-prior-tracker.xlsx', 'address': 'A1:F3'}"])`: trace reads not before write(["sheets workbook range {'item' 'workitem-001-prior-tracker xlsx', 'address' 'A1 F3'}"]); the exact released evidence, answer, and persisted state must agree. [trace:reads_not_before_write(["sheets.workbook_range:{'item': 'workitem-001-prior-tracker.xlsx', 'address': 'A1:F3'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:rejected_mutations(["erp.api_invoke_action:{'action': 'ContosoDecisionWorkItemDecide'}"])`: trace rejected mutations(["erp api invoke action {'action' 'ContosoDecisionWorkItemDecide'}"]); the exact released evidence, answer, and persisted state must agree. [trace:rejected_mutations(["erp.api_invoke_action:{'action': 'ContosoDecisionWorkItemDecide'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_missing(["docs.search_documents:{'query': 'WORKITEM-001'}", "docs.get_document_metadata:{'doc_id': 'lgr-001-control-current'}", "docs.get_document:{'doc_id': 'lgr-001-control-current'}", "docs.get_document_metadata:{'doc_id': 'lgr-001-control-prior'}", "docs.get_document:{'doc_id': 'lgr-001-evidence-map'}"])`: trace required calls missing(["docs search documents {'query' 'WORKITEM-001'}", "docs get document metadata {'doc id' 'lgr-001-control-current'}", "docs get document {'doc id' 'lgr-001-control-current'}", "docs get document metadata {'doc id' 'lgr-001-control-prior'}", "docs get document {'doc id' 'lgr-001-evidence-map'}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_missing(["docs.search_documents:{'query': 'WORKITEM-001'}", "docs.get_document_metadata:{'doc_id': 'lgr-001-control-current'}", "docs.get_document:{'doc_id': 'lgr-001-control-current'}", "docs.get_document_metadata:{'doc_id': 'lgr-001-control-prior'}", "docs.get_document:{'doc_id': 'lgr-001-evidence-map'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_missing(["docs.search_documents:{'query': 'duplicate'}", "docs.get_document:{'doc_id': 'duplicate-payment-control'}", 'erp.data_find_entities_sql:{\'sql\': "SELECT invoice, po_number, amount, settled, closed, trans_date FROM erp_vend_trans WHERE account IN (\'PVEN-21\',\'PVEN-22\') AND txn_type=\'Invoice\' ORDER BY po_number, trans_date"}', 'erp.data_find_entities_sql:{\'sql\': "SELECT o.invoice AS open_invoice, o.po_number, o.amount, s.invoice AS settled_invoice, s.trans_date AS settled_date FROM erp_vend_trans o JOIN erp_vend_trans s ON s.account=o.account AND s.po_number=o.po_number AND s.amount=o.amount AND s.closed=1 AND s.txn_type=\'Invoice\' WHERE o.closed=0 AND o.txn_type=\'Invoice\'"}', "email.messages_list:{'q': 'statement'}", "email.messages_get:{'id': 'em-0701'}", "email.attachments_get:{'message_id': 'em-0701'}", "erp.data_find_entities:{'entity': 'PaymentRunLines', 'filters': {'run_id': 'PR-00001'}}"])`: trace required calls missing(["docs search documents {'query' 'duplicate'}", "docs get document {'doc id' 'duplicate-payment-control'}", 'erp data find entities sql {\'sql\' "SELECT invoice, po number, amount, settled, closed, trans date FROM erp vend trans WHERE account IN (\'PVEN-21\',\'PVEN-22\') AND txn type=\'Invoice\' ORDER BY po number, trans date"}', 'erp data find entities sql {\'sql\' "SELECT o invoice AS open invoice, o po number, o amount, s invoice AS settled invoice, s trans date AS settled date FROM erp vend trans o JOIN erp vend trans s ON s account=o account AND s po number=o po number AND s amount=o amount AND s closed=1 AND s txn type=\'Invoice\' WHERE o closed=0 AND o txn type=\'Invoice\'"}', "email messages list {'q' 'statement'}", "email messages get {'id' 'em-0701'}", "email attachments get {'message id' 'em-0701'}", "erp data find entities {'entity' 'PaymentRunLines', 'filters' {'run id' 'PR-00001'}}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_missing(["docs.search_documents:{'query': 'duplicate'}", "docs.get_document:{'doc_id': 'duplicate-payment-control'}", 'erp.data_find_entities_sql:{\'sql\': "SELECT invoice, po_number, amount, settled, closed, trans_date FROM erp_vend_trans WHERE account IN (\'PVEN-21\',\'PVEN-22\') AND txn_type=\'Invoice\' ORDER BY po_number, trans_date"}', 'erp.data_find_entities_sql:{\'sql\': "SELECT o.invoice AS open_invoice, o.po_number, o.amount, s.invoice AS settled_invoice, s.trans_date AS settled_date FROM erp_vend_trans o JOIN erp_vend_trans s ON s.account=o.account AND s.po_number=o.po_number AND s.amount=o.amount AND s.closed=1 AND s.txn_type=\'Invoice\' WHERE o.closed=0 AND o.txn_type=\'Invoice\'"}', "email.messages_list:{'q': 'statement'}", "email.messages_get:{'id': 'em-0701'}", "email.attachments_get:{'message_id': 'em-0701'}", "erp.data_find_entities:{'entity': 'PaymentRunLines', 'filters': {'run_id': 'PR-00001'}}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_missing(["email.messages_get:{'id': 'em-lgr-001-counterparty'}"])`: trace required calls missing(["email messages get {'id' 'em-lgr-001-counterparty'}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_missing(["email.messages_get:{'id': 'em-lgr-001-counterparty'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_missing(["email.messages_get:{'id': 'em-lgr-001-operations'}", "email.messages_get:{'id': 'em-lgr-001-prior'}", "sheets.drive_search:{'q': 'WORKITEM-001'}", "sheets.get_drive_item:{'item': 'workitem-001-control-pack.xlsx'}", "sheets.workbook_range:{'item': 'workitem-001-control-pack.xlsx', 'address': 'A1:F5'}", "sheets.get_drive_item:{'item': 'workitem-001-prior-tracker.xlsx'}", "sheets.workbook_range:{'item': 'workitem-001-prior-tracker.xlsx', 'address': 'A1:F3'}"])`: trace required calls missing(["email messages get {'id' 'em-lgr-001-operations'}", "email messages get {'id' 'em-lgr-001-prior'}", "sheets drive search {'q' 'WORKITEM-001'}", "sheets get drive item {'item' 'workitem-001-control-pack xlsx'}", "sheets workbook range {'item' 'workitem-001-control-pack xlsx', 'address' 'A1 F5'}", "sheets get drive item {'item' 'workitem-001-prior-tracker xlsx'}", "sheets workbook range {'item' 'workitem-001-prior-tracker xlsx', 'address' 'A1 F3'}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_missing(["email.messages_get:{'id': 'em-lgr-001-operations'}", "email.messages_get:{'id': 'em-lgr-001-prior'}", "sheets.drive_search:{'q': 'WORKITEM-001'}", "sheets.get_drive_item:{'item': 'workitem-001-control-pack.xlsx'}", "sheets.workbook_range:{'item': 'workitem-001-control-pack.xlsx', 'address': 'A1:F5'}", "sheets.get_drive_item:{'item': 'workitem-001-prior-tracker.xlsx'}", "sheets.workbook_range:{'item': 'workitem-001-prior-tracker.xlsx', 'address': 'A1:F3'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_missing(["email.messages_list:{'q': 'WORKITEM-001', 'label': 'INBOX'}", "email.messages_get:{'id': 'em-lgr-001-approval'}", "email.attachments_get:{'message_id': 'em-lgr-001-approval'}"])`: trace required calls missing(["email messages list {'q' 'WORKITEM-001', 'label' 'INBOX'}", "email messages get {'id' 'em-lgr-001-approval'}", "email attachments get {'message id' 'em-lgr-001-approval'}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_missing(["email.messages_list:{'q': 'WORKITEM-001', 'label': 'INBOX'}", "email.messages_get:{'id': 'em-lgr-001-approval'}", "email.attachments_get:{'message_id': 'em-lgr-001-approval'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_missing(["erp.data_find_entity_type:{'query': 'decision work item'}", "erp.data_get_entity_metadata:{'entity': 'DecisionWorkItems'}", "erp.data_find_entities:{'entity': 'DecisionWorkItems', 'filters': {'case_id': 'WORKITEM-001'}}"])`: trace required calls missing(["erp data find entity type {'query' 'decision work item'}", "erp data get entity metadata {'entity' 'DecisionWorkItems'}", "erp data find entities {'entity' 'DecisionWorkItems', 'filters' {'case id' 'WORKITEM-001'}}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_missing(["erp.data_find_entity_type:{'query': 'decision work item'}", "erp.data_get_entity_metadata:{'entity': 'DecisionWorkItems'}", "erp.data_find_entities:{'entity': 'DecisionWorkItems', 'filters': {'case_id': 'WORKITEM-001'}}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_missing(["erp.data_find_entity_type:{'query': 'decision work item'}", "erp.data_get_entity_metadata:{'entity': 'DecisionWorkItems'}"])`: trace required calls missing(["erp data find entity type {'query' 'decision work item'}", "erp data get entity metadata {'entity' 'DecisionWorkItems'}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_missing(["erp.data_find_entity_type:{'query': 'decision work item'}", "erp.data_get_entity_metadata:{'entity': 'DecisionWorkItems'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_missing(["erp.data_get_entity_metadata:{'entity': 'DecisionScopeLines'}", "erp.data_find_entities:{'entity': 'DecisionScopeLines', 'filters': {'case_id': 'WORKITEM-001'}}", "erp.data_find_entities:{'entity': 'ApprovalPolicies', 'filters': {'doc_type': 'Operational Decision Work Item'}}", "erp.data_find_entities:{'entity': 'ApprovalRequests', 'filters': {'doc_id': 'WORKITEM-001'}}", "docs.get_document:{'doc_id': 'lgr-001-close-calendar'}", "sheets.workbook_range:{'item': 'workitem-001-control-pack.xlsx', 'address': 'A7:F12'}", "email.messages_get:{'id': 'em-lgr-001-request'}"])`: trace required calls missing(["erp data get entity metadata {'entity' 'DecisionScopeLines'}", "erp data find entities {'entity' 'DecisionScopeLines', 'filters' {'case id' 'WORKITEM-001'}}", "erp data find entities {'entity' 'ApprovalPolicies', 'filters' {'doc type' 'Operational Decision Work Item'}}", "erp data find entities {'entity' 'ApprovalRequests', 'filters' {'doc id' 'WORKITEM-001'}}", "docs get document {'doc id' 'lgr-001-close-calendar'}", "sheets workbook range {'item' 'workitem-001-control-pack xlsx', 'address' 'A7 F12'}", "email messages get {'id' 'em-lgr-001-request'}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_missing(["erp.data_get_entity_metadata:{'entity': 'DecisionScopeLines'}", "erp.data_find_entities:{'entity': 'DecisionScopeLines', 'filters': {'case_id': 'WORKITEM-001'}}", "erp.data_find_entities:{'entity': 'ApprovalPolicies', 'filters': {'doc_type': 'Operational Decision Work Item'}}", "erp.data_find_entities:{'entity': 'ApprovalRequests', 'filters': {'doc_id': 'WORKITEM-001'}}", "docs.get_document:{'doc_id': 'lgr-001-close-calendar'}", "sheets.workbook_range:{'item': 'workitem-001-control-pack.xlsx', 'address': 'A7:F12'}", "email.messages_get:{'id': 'em-lgr-001-request'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_missing(["sheets.workbook_range:{'item': 'workitem-001-prior-tracker.xlsx', 'address': 'A1:F3'}"])`: trace required calls missing(["sheets workbook range {'item' 'workitem-001-prior-tracker xlsx', 'address' 'A1 F3'}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_missing(["sheets.workbook_range:{'item': 'workitem-001-prior-tracker.xlsx', 'address': 'A1:F3'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_unsuccessful(["docs.search_documents:{'query': 'WORKITEM-001'}", "docs.get_document_metadata:{'doc_id': 'lgr-001-control-current'}", "docs.get_document:{'doc_id': 'lgr-001-control-current'}", "docs.get_document_metadata:{'doc_id': 'lgr-001-control-prior'}", "docs.get_document:{'doc_id': 'lgr-001-evidence-map'}"])`: trace required calls unsuccessful(["docs search documents {'query' 'WORKITEM-001'}", "docs get document metadata {'doc id' 'lgr-001-control-current'}", "docs get document {'doc id' 'lgr-001-control-current'}", "docs get document metadata {'doc id' 'lgr-001-control-prior'}", "docs get document {'doc id' 'lgr-001-evidence-map'}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_unsuccessful(["docs.search_documents:{'query': 'WORKITEM-001'}", "docs.get_document_metadata:{'doc_id': 'lgr-001-control-current'}", "docs.get_document:{'doc_id': 'lgr-001-control-current'}", "docs.get_document_metadata:{'doc_id': 'lgr-001-control-prior'}", "docs.get_document:{'doc_id': 'lgr-001-evidence-map'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_unsuccessful(["docs.search_documents:{'query': 'duplicate'}", "docs.get_document:{'doc_id': 'duplicate-payment-control'}", 'erp.data_find_entities_sql:{\'sql\': "SELECT invoice, po_number, amount, settled, closed, trans_date FROM erp_vend_trans WHERE account IN (\'PVEN-21\',\'PVEN-22\') AND txn_type=\'Invoice\' ORDER BY po_number, trans_date"}', 'erp.data_find_entities_sql:{\'sql\': "SELECT o.invoice AS open_invoice, o.po_number, o.amount, s.invoice AS settled_invoice, s.trans_date AS settled_date FROM erp_vend_trans o JOIN erp_vend_trans s ON s.account=o.account AND s.po_number=o.po_number AND s.amount=o.amount AND s.closed=1 AND s.txn_type=\'Invoice\' WHERE o.closed=0 AND o.txn_type=\'Invoice\'"}', "email.messages_list:{'q': 'statement'}", "email.messages_get:{'id': 'em-0701'}", "email.attachments_get:{'message_id': 'em-0701'}", "erp.data_find_entities:{'entity': 'PaymentRunLines', 'filters': {'run_id': 'PR-00001'}}"])`: trace required calls unsuccessful(["docs search documents {'query' 'duplicate'}", "docs get document {'doc id' 'duplicate-payment-control'}", 'erp data find entities sql {\'sql\' "SELECT invoice, po number, amount, settled, closed, trans date FROM erp vend trans WHERE account IN (\'PVEN-21\',\'PVEN-22\') AND txn type=\'Invoice\' ORDER BY po number, trans date"}', 'erp data find entities sql {\'sql\' "SELECT o invoice AS open invoice, o po number, o amount, s invoice AS settled invoice, s trans date AS settled date FROM erp vend trans o JOIN erp vend trans s ON s account=o account AND s po number=o po number AND s amount=o amount AND s closed=1 AND s txn type=\'Invoice\' WHERE o closed=0 AND o txn type=\'Invoice\'"}', "email messages list {'q' 'statement'}", "email messages get {'id' 'em-0701'}", "email attachments get {'message id' 'em-0701'}", "erp data find entities {'entity' 'PaymentRunLines', 'filters' {'run id' 'PR-00001'}}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_unsuccessful(["docs.search_documents:{'query': 'duplicate'}", "docs.get_document:{'doc_id': 'duplicate-payment-control'}", 'erp.data_find_entities_sql:{\'sql\': "SELECT invoice, po_number, amount, settled, closed, trans_date FROM erp_vend_trans WHERE account IN (\'PVEN-21\',\'PVEN-22\') AND txn_type=\'Invoice\' ORDER BY po_number, trans_date"}', 'erp.data_find_entities_sql:{\'sql\': "SELECT o.invoice AS open_invoice, o.po_number, o.amount, s.invoice AS settled_invoice, s.trans_date AS settled_date FROM erp_vend_trans o JOIN erp_vend_trans s ON s.account=o.account AND s.po_number=o.po_number AND s.amount=o.amount AND s.closed=1 AND s.txn_type=\'Invoice\' WHERE o.closed=0 AND o.txn_type=\'Invoice\'"}', "email.messages_list:{'q': 'statement'}", "email.messages_get:{'id': 'em-0701'}", "email.attachments_get:{'message_id': 'em-0701'}", "erp.data_find_entities:{'entity': 'PaymentRunLines', 'filters': {'run_id': 'PR-00001'}}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_unsuccessful(["email.messages_get:{'id': 'em-lgr-001-counterparty'}"])`: trace required calls unsuccessful(["email messages get {'id' 'em-lgr-001-counterparty'}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_unsuccessful(["email.messages_get:{'id': 'em-lgr-001-counterparty'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_unsuccessful(["email.messages_get:{'id': 'em-lgr-001-operations'}", "email.messages_get:{'id': 'em-lgr-001-prior'}", "sheets.drive_search:{'q': 'WORKITEM-001'}", "sheets.get_drive_item:{'item': 'workitem-001-control-pack.xlsx'}", "sheets.workbook_range:{'item': 'workitem-001-control-pack.xlsx', 'address': 'A1:F5'}", "sheets.get_drive_item:{'item': 'workitem-001-prior-tracker.xlsx'}", "sheets.workbook_range:{'item': 'workitem-001-prior-tracker.xlsx', 'address': 'A1:F3'}"])`: trace required calls unsuccessful(["email messages get {'id' 'em-lgr-001-operations'}", "email messages get {'id' 'em-lgr-001-prior'}", "sheets drive search {'q' 'WORKITEM-001'}", "sheets get drive item {'item' 'workitem-001-control-pack xlsx'}", "sheets workbook range {'item' 'workitem-001-control-pack xlsx', 'address' 'A1 F5'}", "sheets get drive item {'item' 'workitem-001-prior-tracker xlsx'}", "sheets workbook range {'item' 'workitem-001-prior-tracker xlsx', 'address' 'A1 F3'}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_unsuccessful(["email.messages_get:{'id': 'em-lgr-001-operations'}", "email.messages_get:{'id': 'em-lgr-001-prior'}", "sheets.drive_search:{'q': 'WORKITEM-001'}", "sheets.get_drive_item:{'item': 'workitem-001-control-pack.xlsx'}", "sheets.workbook_range:{'item': 'workitem-001-control-pack.xlsx', 'address': 'A1:F5'}", "sheets.get_drive_item:{'item': 'workitem-001-prior-tracker.xlsx'}", "sheets.workbook_range:{'item': 'workitem-001-prior-tracker.xlsx', 'address': 'A1:F3'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_unsuccessful(["email.messages_list:{'q': 'WORKITEM-001', 'label': 'INBOX'}", "email.messages_get:{'id': 'em-lgr-001-approval'}", "email.attachments_get:{'message_id': 'em-lgr-001-approval'}"])`: trace required calls unsuccessful(["email messages list {'q' 'WORKITEM-001', 'label' 'INBOX'}", "email messages get {'id' 'em-lgr-001-approval'}", "email attachments get {'message id' 'em-lgr-001-approval'}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_unsuccessful(["email.messages_list:{'q': 'WORKITEM-001', 'label': 'INBOX'}", "email.messages_get:{'id': 'em-lgr-001-approval'}", "email.attachments_get:{'message_id': 'em-lgr-001-approval'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_unsuccessful(["erp.data_find_entity_type:{'query': 'decision work item'}", "erp.data_get_entity_metadata:{'entity': 'DecisionWorkItems'}", "erp.data_find_entities:{'entity': 'DecisionWorkItems', 'filters': {'case_id': 'WORKITEM-001'}}"])`: trace required calls unsuccessful(["erp data find entity type {'query' 'decision work item'}", "erp data get entity metadata {'entity' 'DecisionWorkItems'}", "erp data find entities {'entity' 'DecisionWorkItems', 'filters' {'case id' 'WORKITEM-001'}}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_unsuccessful(["erp.data_find_entity_type:{'query': 'decision work item'}", "erp.data_get_entity_metadata:{'entity': 'DecisionWorkItems'}", "erp.data_find_entities:{'entity': 'DecisionWorkItems', 'filters': {'case_id': 'WORKITEM-001'}}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_unsuccessful(["erp.data_find_entity_type:{'query': 'decision work item'}", "erp.data_get_entity_metadata:{'entity': 'DecisionWorkItems'}"])`: trace required calls unsuccessful(["erp data find entity type {'query' 'decision work item'}", "erp data get entity metadata {'entity' 'DecisionWorkItems'}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_unsuccessful(["erp.data_find_entity_type:{'query': 'decision work item'}", "erp.data_get_entity_metadata:{'entity': 'DecisionWorkItems'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_unsuccessful(["erp.data_get_entity_metadata:{'entity': 'DecisionScopeLines'}", "erp.data_find_entities:{'entity': 'DecisionScopeLines', 'filters': {'case_id': 'WORKITEM-001'}}", "erp.data_find_entities:{'entity': 'ApprovalPolicies', 'filters': {'doc_type': 'Operational Decision Work Item'}}", "erp.data_find_entities:{'entity': 'ApprovalRequests', 'filters': {'doc_id': 'WORKITEM-001'}}", "docs.get_document:{'doc_id': 'lgr-001-close-calendar'}", "sheets.workbook_range:{'item': 'workitem-001-control-pack.xlsx', 'address': 'A7:F12'}", "email.messages_get:{'id': 'em-lgr-001-request'}"])`: trace required calls unsuccessful(["erp data get entity metadata {'entity' 'DecisionScopeLines'}", "erp data find entities {'entity' 'DecisionScopeLines', 'filters' {'case id' 'WORKITEM-001'}}", "erp data find entities {'entity' 'ApprovalPolicies', 'filters' {'doc type' 'Operational Decision Work Item'}}", "erp data find entities {'entity' 'ApprovalRequests', 'filters' {'doc id' 'WORKITEM-001'}}", "docs get document {'doc id' 'lgr-001-close-calendar'}", "sheets workbook range {'item' 'workitem-001-control-pack xlsx', 'address' 'A7 F12'}", "email messages get {'id' 'em-lgr-001-request'}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_unsuccessful(["erp.data_get_entity_metadata:{'entity': 'DecisionScopeLines'}", "erp.data_find_entities:{'entity': 'DecisionScopeLines', 'filters': {'case_id': 'WORKITEM-001'}}", "erp.data_find_entities:{'entity': 'ApprovalPolicies', 'filters': {'doc_type': 'Operational Decision Work Item'}}", "erp.data_find_entities:{'entity': 'ApprovalRequests', 'filters': {'doc_id': 'WORKITEM-001'}}", "docs.get_document:{'doc_id': 'lgr-001-close-calendar'}", "sheets.workbook_range:{'item': 'workitem-001-control-pack.xlsx', 'address': 'A7:F12'}", "email.messages_get:{'id': 'em-lgr-001-request'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_calls_unsuccessful(["sheets.workbook_range:{'item': 'workitem-001-prior-tracker.xlsx', 'address': 'A1:F3'}"])`: trace required calls unsuccessful(["sheets workbook range {'item' 'workitem-001-prior-tracker xlsx', 'address' 'A1 F3'}"]); the exact released evidence, answer, and persisted state must agree. [trace:required_calls_unsuccessful(["sheets.workbook_range:{'item': 'workitem-001-prior-tracker.xlsx', 'address': 'A1:F3'}"])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_servers_missing(['docs', 'email', 'erp', 'sheets'])`: trace required servers missing(['docs', 'email', 'erp', 'sheets']); the exact released evidence, answer, and persisted state must agree. [trace:required_servers_missing(['docs', 'email', 'erp', 'sheets'])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_servers_missing(['docs', 'sheets'])`: trace required servers missing(['docs', 'sheets']); the exact released evidence, answer, and persisted state must agree. [trace:required_servers_missing(['docs', 'sheets'])]
Procedure: For lgr100-001-duplicate-payment-mar, deterministically verify `trace:required_write_missing`: trace required write missing; the exact released evidence, answer, and persisted state must agree. [trace:required_write_missing]

Open task record

Seeded evidence