Actual Economics engine · 2026-09-18 19:05 UTC

Report on ledger_pair_example.csv

Recognition Economics derives arrangements from the physical structure of morality and ethics. This report retains both parties' records and each proposed rewrite's effects. A numerical minimum is not by itself a moral recommendation. Physical moral harm requires the identified J-cost relation; consent requires the person's own authorization. Actual obligations require the underlying history and evidence.

2 claim(s) are recorded differently by the two parties. A who-owes-whom table carries one figure for each; the books carry two, and the model's balanced entries, cross postings and payments preserve their difference.

2 standing relationship(s) carry nothing and do not appear in a who-owes-whom table.

In this example, they change who a rewrite at fixed positions reaches: with them, Acme, Cole, Dunn are drawn in through a relationship that carried nothing; without them, nobody. The same table can therefore describe two networks whose rewrites affect different parties.

The two records of every claim

2 relationship(s) disagree. No sequence of legal moves (balanced entries, cross postings, payments) closes a gap in this bookkeeping model. Revaluation adjustments that close it sum to the gap; the interval retains both recorded amounts. Determining what is actually owed requires the accepted terms, performance and evidence. Matching records can both be mistaken.

claimcreditorcreditor's recorddebtordebtor's recordgapstatusdispute interval
INV-1001Acme1,200Birch1,2000matched
INV-2002Birch500Cole45050disagree[450, 500]
INV-3003Cole800Acme8000matched
INV-4004Cole0Dunn00matched
INV-5005Dunn0Acme00matched
INV-6006Birch300Dunn3000matched
INV-7007Eton150Acme0150one-sided record[0, 150]

Rests on: Gap conservation under the model's balanced entries, cross postings and payments; closing revaluation adjustments sum to the gap. PremiseLedger gap conservation

The books

5 parties, 7 relationships. The books are not consistent.

partybalancenet positionfree accountsfree totalbuffer identity
Acmebalanced400equity-400holds
Birchbalanced-400equity400holds
Colebalanced350equity-350holds
Dunnbalanced-300equity300holds
Etonbalanced150equity-150holds

Rests on: Buffer identity: a balanced party's free total is minus its net. Genesis.freeTotal_eq_neg_ownNet

Minimum quadratic cost at fixed net positions

Computed on creditor records (proj); 2 relationship(s) disagree, so the debtor's records give a different network. Selected objective quadratic, amount reading, cycle space of dimension 3. The numerical proposal at fixed positions changes relationships above the reporting threshold. The solver reports convergence. Cost before 1,221,250, after 73,750. Circulation at the booked position: -954.5942, 1,165.6545, 158.1129.

claimbookedafter rewrite
INV-10011,200200moved
INV-2002500-175moved
INV-3003800-25moved
INV-40040150drawn in: carried nothing, now carries
INV-50050-175drawn in: carried nothing, now carries
INV-6006300-25moved
INV-7007150150

Allocated incident charge at creditor share 0.5, and who the rewrite reaches through a previously resting relationship:

partycharge
Acme23,437.5reached
Birch17,812.5
Cole13,437.5reached
Dunn13,437.5reached
Eton5,625

Open lines (standing relationships carrying nothing): INV-4004, INV-5005. A who-owes-whom table omits these lines. Delete the open lines and the table is unchanged; the rewrite then reaches nobody through an open line instead of Acme, Cole, Dunn.

Rests on: A relationship carrying nothing is drawn in exactly when marginal costs circulate around a cycle it closes. PremiseLedger.exact_rewrite_charges_bystander

What the who-owes-whom table sees

This table retains the recorded exposures while omitting standing lines with zero amounts and differences between the two records. It drops 2 open line(s) and every gap.

creditordebtoramount
AcmeBirch1,200
BirchCole500
ColeAcme800
BirchDunn300
EtonAcme150

Rests on: An exposure functional takes the same value on two networks differing on who a rewrite reaches. Projection

Closure and money

Chart open over goods (free accounts present). Issuers detected: none. Sum of gaps: 200. Frozen parties: none.

Rests on: Closed over cash: payments are the only move; gaps sum to zero; an issuer with no free account has net zero. ClosedChart; CashClosed.issuer_net_zero