specs/functions: payment-ai-server-process -- claim-invoice before crediting

[gHashTag]

Closes #4115

Money loop, plan section 6 item 3 (999-multibots-telegraf docs/audit/inngest-improvement-plan-2026-09-13.md). STEPS gains claim-invoice between get-bot-config and update-user-balance; NOTE records the compare-and-set on PENDING, the amount == rounded IncSum check, the already_claimed return, the retriable db-error, what was wrong before and what is not verified (the event sender is outside the repo). SERVICE line corrected 64 -> 66.

• docs/now/2026-09-17-the-invoice-is-claimed-before-it-is-credited.md.
• Compiler verdict clean: typecheckOk, 0 errors, hirOk. ASCII only. No test blocks added; the pre-existing published_figures drift on master is untouched.

Code: 999-multibots-telegraf branch payment-claim-invoice.

[github-actions]

PR Dashboard

Generated at: 2026-09-17 09:17:14 UTC

• Run the correctness oracle nightly in CI, and split what 'pass' means #4234 Run the correctness oracle nightly in CI, and split what 'pass' means | Created: 2026-09-17 | Updated: 2026-09-17 | 23 failing / 26 total
• Port part 2 of 2 of tools/check_vector_data.py to specs/port/tools/check_vector_data.t27 (2 function #4233 Port part 2 of 2 of tools/check_vector_data.py to specs/port/tools/check_vector_data.t27 (2 function | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Port part 2 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (1 fu #4232 Port part 2 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (1 fu | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/server/sse.t27 #4231 Implement the 1 empty function body in specs/server/sse.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/physics/chimera_best_gamma.t27 #4230 Implement the 1 empty function body in specs/physics/chimera_best_gamma.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/ml/transformer/positional_encoding.t27 #4229 Implement the 1 empty function body in specs/ml/transformer/positional_encoding.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/ml/transformer/multi_head_attention.t27 #4228 Implement the 1 empty function body in specs/ml/transformer/multi_head_attention.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/ml/transformer/feed_forward_network.t27 #4227 Implement the 1 empty function body in specs/ml/transformer/feed_forward_network.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/ml/recurrent/self_attention.t27 #4226 Implement the 1 empty function body in specs/ml/recurrent/self_attention.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/ml/optimizer/rmsprop.t27 #4225 Implement the 1 empty function body in specs/ml/optimizer/rmsprop.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/ml/optimizer/adam.t27 #4224 Implement the 1 empty function body in specs/ml/optimizer/adam.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/ml/loss/mse_loss.t27 #4223 Implement the 1 empty function body in specs/ml/loss/mse_loss.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/ml/loss/kl_divergence.t27 #4222 Implement the 1 empty function body in specs/ml/loss/kl_divergence.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/ml/loss/huber_loss.t27 #4221 Implement the 1 empty function body in specs/ml/loss/huber_loss.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/ml/loss/contrastive_loss.t27 #4220 Implement the 1 empty function body in specs/ml/loss/contrastive_loss.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/ml/layers/residual_connection.t27 #4219 Implement the 1 empty function body in specs/ml/layers/residual_connection.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/ml/layers/layernorm_layer.t27 #4218 Implement the 1 empty function body in specs/ml/layers/layernorm_layer.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/math/phi_split_optimality.t27 #4217 Implement the 1 empty function body in specs/math/phi_split_optimality.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/isa/ternary_control_flow.t27 #4216 Implement the 1 empty function body in specs/isa/ternary_control_flow.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/igla/race/ternary_inference.t27 #4215 Implement the 1 empty function body in specs/igla/race/ternary_inference.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/igla/coder/training.t27 #4214 Implement the 1 empty function body in specs/igla/coder/training.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/fpga/top_level.t27 #4213 Implement the 1 empty function body in specs/fpga/top_level.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 25 failing / 29 total
• Implement the 1 empty function body in specs/fpga/testbench/vcd_conformance_compare_tb.t27 #4212 Implement the 1 empty function body in specs/fpga/testbench/vcd_conformance_compare_tb.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 25 failing / 29 total
• Implement the 1 empty function body in specs/fpga/testbench/timing_tb.t27 #4211 Implement the 1 empty function body in specs/fpga/testbench/timing_tb.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 25 failing / 29 total
• Implement the 1 empty function body in specs/fpga/testbench/ternary_isa_tb.t27 #4210 Implement the 1 empty function body in specs/fpga/testbench/ternary_isa_tb.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 25 failing / 29 total
• Implement part 1 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (8 functions) #4209 Implement part 1 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (8 functions) | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement part 1 of 2 of the empty bodies in specs/vsa/sequence_hdc.t27 (8 functions) #4208 Implement part 1 of 2 of the empty bodies in specs/vsa/sequence_hdc.t27 (8 functions) | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement part 1 of 2 of the empty bodies in specs/numeric/bigint.t27 (8 functions) #4207 Implement part 1 of 2 of the empty bodies in specs/numeric/bigint.t27 (8 functions) | Created: 2026-09-17 | Updated: 2026-09-17 | 25 failing / 29 total
• Implement part 1 of 2 of the empty bodies in specs/graph/knowledge_graph.t27 (8 functions) #4206 Implement part 1 of 2 of the empty bodies in specs/graph/knowledge_graph.t27 (8 functions) | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/config/schema.t27 #4205 Implement the 1 empty function body in specs/config/schema.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/compiler/linker.t27 #4204 Implement the 1 empty function body in specs/compiler/linker.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/automation/crm-client-workspace.t27 #4203 Implement the 1 empty function body in specs/automation/crm-client-workspace.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/ar/composition.t27 #4202 Implement the 1 empty function body in specs/ar/composition.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement part 3 of 3 of the empty bodies in specs/tools/registry.t27 (7 functions) #4201 Implement part 3 of 3 of the empty bodies in specs/tools/registry.t27 (7 functions) | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement part 2 of 3 of the empty bodies in specs/tools/registry.t27 (8 functions) #4200 Implement part 2 of 3 of the empty bodies in specs/tools/registry.t27 (8 functions) | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 2 empty function bodies in specs/tri/utils/template.t27 #4199 Implement the 2 empty function bodies in specs/tri/utils/template.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 4 empty function bodies in specs/tri/utils/args.t27 #4198 Implement the 4 empty function bodies in specs/tri/utils/args.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 3 empty function bodies in specs/tri/search/match.t27 #4197 Implement the 3 empty function bodies in specs/tri/search/match.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 4 empty function bodies in specs/tri/io/writer.t27 #4196 Implement the 4 empty function bodies in specs/tri/io/writer.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 2 empty function bodies in specs/tri/encoding/xml.t27 #4195 Implement the 2 empty function bodies in specs/tri/encoding/xml.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 2 empty function bodies in specs/tri/encoding/html.t27 #4194 Implement the 2 empty function bodies in specs/tri/encoding/html.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 11 empty function bodies in specs/storage/migrate.t27 #4193 Implement the 11 empty function bodies in specs/storage/migrate.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 9 empty function bodies in specs/ml/optimizer/sgd_momentum.t27 #4192 Implement the 9 empty function bodies in specs/ml/optimizer/sgd_momentum.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 3 empty function bodies in specs/igla/training/scale_up.t27 #4191 Implement the 3 empty function bodies in specs/igla/training/scale_up.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 3 empty function bodies in specs/igla/training/roadmap.t27 #4190 Implement the 3 empty function bodies in specs/igla/training/roadmap.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 4 empty function bodies in specs/igla/training/pilot_pretraining.t27 #4189 Implement the 4 empty function bodies in specs/igla/training/pilot_pretraining.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 3 empty function bodies in specs/igla/training/low_bit_ternary.t27 #4188 Implement the 3 empty function bodies in specs/igla/training/low_bit_ternary.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 3 empty function bodies in specs/igla/integration/publication.t27 #4187 Implement the 3 empty function bodies in specs/igla/integration/publication.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 4 empty function bodies in specs/igla/evaluation/multi_lang_harness.t27 #4186 Implement the 4 empty function bodies in specs/igla/evaluation/multi_lang_harness.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• BLOCKER: specs/queen/lotus.t27 lowers to Zig that fails AstGen on 6 errors — its 26 tests, 18 invari #4185 BLOCKER: specs/queen/lotus.t27 lowers to Zig that fails AstGen on 6 errors — its 26 tests, 18 invari | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	0
PRs with All Checks Green	50
READY	0
FAILING	0
PENDING	0
NO CHECKS YET	0

These columns do not partition: 0 + 0 + 0 + 0 = 0, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=8932aae0c5a9 != manifest seal=87e5cbd3ad94.
  The committed NMSE numbers were certified against an older compiler.rs.
  Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

[github-actions]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.