Governed BankOps · live inspector

A supplier claim is checkable only against what the supplier delivered

The survey holds what was said. The inventory stock register holds what arrived. They sit in two systems and are almost never joined, which is exactly how a self declared answer survives for years without once being tested. This page joins them in front of you, refuses what fails, and shows what the refusal was worth.

· read only, always · no request leaves this page · deterministic, no model · the close of business stays the authority
1 · the survey test

Five parts. No discussion.

Type into any field or empty one. The verdict moves as you do it. There is no score, no maturity band and nothing to negotiate: the answer is complete and consistent with the register, or it goes back to whoever wrote it.

-
-
Completeness is decided first. An answer missing its method never reaches the register at all. You cannot call a claim contradicted when it does not yet say what it measured, and checking that costs nothing.
2 · impact in the stock register

Where the answer meets what arrived

Accounts payable knows who was paid. The inventory stock register knows what was received, valued and impaired. Join them on the supplier key and a declaration becomes testable evidence.

3 · DarwinX · identifying the loop

Catching agent loops running on nobody's mandate

The survey is sent by an agent. The posting is made by a maker. The extract is moved by a job. All three are acts, all three need a mandate, and each one drops a different part of the same five. Not one looks like a failure from inside its own system, which is the whole reason it survives.

4 · studio box · browser execution

What the unwatched loop emits

An agent loop does not cost N. Every step re-sends its whole context, so it costs a growing context summed N times, and the carbon follows the same curve. Set your own numbers. Every input below is yours; nothing is assumed from anyone else's estate.

green borne
risk borne
0-
CO2e at the catch
-
gCO2e, step -
CO2e if never caught
-
gCO2e, step -
Emitted for nobody
-
gCO2e above the mandate
Crosses risk borne at
-
step
Spent before the catch
-
at your price
Spent if never caught
-
at your price
Energy, uncaught
-
Wh
Tokens, uncaught
-
billed
StepContextBilledWh gCO2eCumulative gCO2eCostState

The method, declared, because this page has to survive its own rule.
figure · the gCO2e above.
method · billed tokens × Wh per 1k tokens × grid intensity. Cached tokens billed at a quarter, which is the common published ratio.
boundary · inference only. Excludes model training, device manufacture, network transport and the cooling water. It is a floor, not a footprint.
year · the grid intensity is the one you typed, for the year you mean.
issuer · nobody. These are your inputs, computed in your browser. Attach your own provider figure and grid factor before this number leaves the room.
the boundary of the core

Transact handles the transaction. It does not account for the mandate.

The core answers when it happened, what type it was, which accounts moved, which value date applied and under which product condition. It answers those completely and better than anything in the market. It does not answer on whose mandate the act ran, until when that mandate was valid or who witnessed it. That is not a gap in the product: recording the authority of an autonomous actor was never in its design scope, because when it was designed the actor was a person at a terminal with a maker-checker identity attached.

the consequence

A loop with no mandate is well formed

It produces transactions the core accepts, accounts for and reconciles correctly, forever, because they are valid transactions. The core cannot tell you nobody authorised the loop that produced them, and it is not supposed to.

the answer

Read only, outside, in orbit

The satellite does not audit the core. It audits the act that reached it. Agents in orbit, never hands inside the ledger, and the close of business stays the single authority.

one surface

Payroll and payables are the same five

hr_Access lands on the same operational data store. Payroll withholding and supplier withholding are the same five elements with different counterparties. One inspection surface, not two.

Banks do not get a second chance at this, so this page shows the refusals rather than the pass rate. Deterministic by construction: no model, no network, no clock branch, no random. The same inputs produce the same verdicts and the same table on any machine, which is the only property that makes an inspection admissible. Reference extracts are authored here, so no figure on this page belongs to any real counterparty.