credit_FIN · 入金する (nyūkin-suru)

Hierarchy

Same inventory as English credit_FIN. Not five-place. Not four sisters of one V. Surface count can name the board, 0.3, ETH, each wallet, and a Q3 threshold — but Amount and Denomination share one Case object, Account is one ni-DP, and Reason is high / outer.

0.3 ETH = one MeasureP. Orthography / #P morphology is not extra arity. Amount and Denomination are both inner arguments of that object. Composition is V(#P), not V(n)(U). Hom(e, ⟨n,U⟩): the increment is measured by degree n on scale U. Floating counters under negation still split N from Num+# — they do not split Amount from unit as two verbal sisters (MeasureP_Japanese_Counters).

What Group A Japanese changes is particle cloth and the already-split MERIT vs FIN roots. What it does not change is the inventory. Weather still fails Allocator. Payout is still not entailed. Account and MeasureP still flip rank only by Case cloth (English to/with; Japanese default keeps MeasureP ACC and Account ni). Double-o is unused by Domain or Account on either root.

Japanese frames · Case clothes

Japanese already splits the roots in the lexicon: MERIT 功績を認める / 〜の手柄にする / 帰する versus FIN 入金する / 計上する / 付与する. NegQ under -nakatta ka keeps ACC on MeasureP (FIN) or Charge (MERIT) and ni on Recipient (FIN) or Target (MERIT). This tick deepens FIN only; MERIT strings are pointer contrast (already live at credit-merit-ja.html).

Primary lemma for the page: 入金する / nyūkin-suru. Companions 計上する / keijō-suru and 付与する / fuyo-suru are packaging variants of one FIN geometry — not three roots invented here. Scout-leaning: relative frequency / productivity of the companions vs 入金する is not ranked in the extract.

1. ✓ 理事会は各ウォレットに 0.3 ETH を入金した。 canonical · ACC MeasureP · ni Account
2. ✓ 理事会は各ウォレットに 0.3 ETH を入金しなかったのか。 attested NegQ FIN (§12)
3. ✓ 0.3 ETH を各ウォレットに計上した。 keijō companion · same geometry
4. ✓ 各ウォレットに 0.3 ETH を付与した。 fuyo companion · scout-leaning productivity
5. ✓ スマートコントラクトが各ウォレットに 0.3 ETH を入金した。 Allocator = institution / contract · fine
6. ✓ MERIT pointer only: 投資家は早期完成を請負業者に功績として認めなかったのか。 MERIT NegQ · do not deepen
7. * 天気は各ウォレットに 0.3 ETH を入金しなかったのか。 weather as Allocator
8. * 理事会は各ウォレットを 0.3 ETH を入金した。 no productive Double-o DOC
9. * 理事会は請負業者に早期完成を入金しなかったのか。 MERIT Charge ≠ FIN MeasureP

A bare negative answer on the canonical NegQ most readily challenges the increment event or the ACC MeasureP. Challenging the Account wants that book already under discussion. Negation does not grow a double-object and does not create a Charge on FIN. INCREMENT updates the book; it does not entail payout.

MeasureP WH / NegQ · LBC and floating counters

Unlike credit_MERIT, credit_FIN has a verbal MeasureP. Amount and Denomination compose one Case object. Whole-#P pied-piping is free under Neg. Amount-only is free when the unit is bound. Left-branch extraction of Amount leaving the unit next to V is still out — same LBC the English FIN map and the deduct / sell notes record. Bare 何 cannot take the unit and leave the degree in situ without Abney-side rescue.

1. ✓ 何を各ウォレットに入金しなかったのか。 WH = MeasureP whole
2. ✓ いくら各ウォレットに入金しなかったのか。 degree WH · U bound / recoverable
3. ✓ どれだけの ETH を各ウォレットに入金しなかったのか。 Amount+unit as one #P
4. ✓ どこに 0.3 ETH を入金しなかったのか。 WH = Account
5. ✓ 誰が各ウォレットに 0.3 ETH を入金しなかったのか。 WH = Allocator
6. * いくら ETH を各ウォレットに入金しなかったのか。 LBC-style strand · Amount leaving unit · English *How much … ETH; JA float confirmation open
7. * 天気は各ウォレットに 0.3 ETH を入金しなかったのか。 weather ≠ Allocator
8. ✓ MERIT pointer: 何を請負業者に功績として認めなかったのか。 WH = Charge · not MeasureP

Superiority ranks Allocator > MeasureP > Account (to-frame order of the shared metalanguage; English with-frame flips ACC to Account — Japanese default keeps MeasureP ACC). Cheap NegQ association tracks the Case object: ACC MeasureP under 入金する.

Geometry · nyūkin ≠ mitomeru ≠ kōjo ≠ uru

In 理事会は各ウォレットに 0.3 ETH を入金した, the board writes 0.3 ETH onto each wallet’s book. That is ledger INCREMENT, not ascription and not HAVE of goods. The wallet is Account. 0.3 ETH is MeasureP. HAS_ON_BOOKS holds after the event; spendability / payout is not entailed.

• ≠ credit_MERIT / 功績を認める. Same surface family of “credit” talk; different root. MERIT ascribes Charge TO a Target (早期完成を請負業者に功績として認める). FIN has MeasureP and Account; MERIT has neither. Collapsing them because both can sit next to English credit is the error the lexical entry was written to block. MERIT already live at credit-merit-ja.html.
• ≠ deduct / 控除する. Deduct writes MeasureP FROM a Domain. credit_FIN writes MeasureP TO a Domain. Same MeasureP object; opposite Appl polarity. Japanese deduct packaging now live at deduct-ja.html; English deduct is the FROM twin.
• ≠ English DOC / limited person-Recipient. There is no productive *各ウォレットを 0.3 ETH を入金する Double-o. English’s limited ?credited her 50 dollars DOC is not copied as two ACC Themes in Japanese.
• ≠ charge_FEE / 請求する. FEE is FROM (Appl_FROM Payer + MeasureP). FIN is TO (Appl_TO Account + MeasureP). Shared MeasureP object; opposite Source/Goal polarity. Live twin: charge-fee-ja.html.
• ≠ 売る / sell · ≠ 払う / pay_GIVE. No Appl_HAVE of goods; no Consideration as give-geometry Recipient HAVE. Particle overlap (ni) is packaging coincidence, not geometry identity.
• Missing defaults. Payout and spendability are not entailed. 入金しなかったのか is compatible with the ETH never becoming spendable — INCREMENT updates the book only.

English twin pointer only (not deepened this tick): to-frame MeasureP ACC / Account to; with-frame Account ACC / MeasureP with. Weather out as Allocator. Japanese spells the default as MeasureP o + Account ni; there is no productive with-flip of the English FIN type as a second Case object, and no Double-o DOC cloth.

Shells, ApplP, and Case

VoiceP  [ AllocatorNOM / ga
  vP / √CREDIT_LEDGER
    ACC / o-marked    MeasureP ⟨n, U⟩   (0.3 ETH …)
    PP_ni             Account / Rec     (各ウォレットに)
    (high Reason)     outer justification
]

Light-noun companions (same geometry):
  入金する · 計上する · 付与する
  — packaging variants, not three invented roots

Japanese FIN never assigns four structural Cases. MeasureP is o; Account is ni. Low Appl_TO / book-Recipient is available (Account as applied individual). No low Appl_HAVE of goods. No low Appl_SWAP. No √ASCRIBE. High Appl / Affectee / outer Reason is extra when present and is not a listed inner argument of √CREDIT_LEDGER. Each investor’s wallet is a DP-internal container on the Recipient — Abney restrictor, not a fourth verbal Location.

Outer CAUSE_G (〜させる) over the FIN root is Type A wrap: outer Neg denies the causing; the causee, not the weather, is the Allocator. Clitic-climbing analogues under Neg diagnose Type A union only when that outer CAUSE wraps FIN; they do not fuse MERIT Charge with FIN MeasureP.

Omission does not demote MeasureP to a pure adjunct. Selected P-layers are optional in the numeration; they are still arguments when present. The diagnostic is participanthood under Case, binding, and WH — not omitability.

Underivables (Japanese FIN)

1. * 天気は各ウォレットに 0.3 ETH を入金しなかったのか。 weather / inanimate as Allocator
2. * 上司は天気に各ウォレットへ 0.3 ETH を入金させなかったのか。 〜させる does not wash Voice filter
3. * 理事会は各ウォレットを 0.3 ETH を入金した。 no productive Double-o DOC
4. * 理事会は請負業者に早期完成を入金しなかったのか。 MERIT Charge ≠ FIN MeasureP
5. * 理事会は各ウォレットに功績として 0.3 ETH を認めなかったのか。 FIN MeasureP ≠ MERIT Charge cloth
6. * 理事会は 0.3 ETH を各ウォレットと交換しなかったのか。 SWAP cloth ≠ ledger increment
7. ✓ institution / contract as Allocator: スマートコントラクトが各ウォレットに 0.3 ETH を入金した。 book-keeper fine

Group A packaging · this tick Japanese only

Group A remainder (Japanese, Mandarin, Navajo) is the packaging contrast set already used for NegQ on credit (§12). Same hierarchy as English credit_FIN; different host of MeasureP/Account Case and already-split MERIT vs FIN roots in Japanese. This tick is Japanese FIN only. Mandarin 把 0.3 ETH 打入每个钱包 (把 fronts MeasureP of FIN; 没 / 没有 over that object) and Navajo BOOK / HANDLE packaging share the DOCX and may be briefly pointed; full sense×language pages for those languages are later queue ticks. MERIT Japanese (功績を認める / 手柄にする / 帰する) is already live — pointer contrast, not re-deepened this tick. English credit_FIN is now deepened as a separate sense×language tick.

Open items

• Mandarin / Navajo micro-entries. Same Group A geometry; 把 / BOOK packaging. Deferred — do not invent depth this tick.
• English twin. credit-fin.html is now a live EN micro-entry (to/with clothes, MeasureP LBC, Allocator filter, NegQ). Keep FIN/MERIT split.
• 計上する / 付与する productivity. Listed with 入金する as FIN packaging; relative naturalness needs controlled elicitation — flagged scout-leaning, not closed.
• Floating counters under -nakatta. Confirm float still splits N from Num+# rather than Amount from unit on 入金する — open item already listed in NegQ Credit § open questions.
• Japanese deduct packaging. FROM dual now live at deduct-ja.html (kōjo-suru / 控除). English twin: deduct.
• Limited person-Recipient DOC. English’s marginal ?credited her 50 dollars has no Japanese Double-o twin logged here; do not invent one.

Corpus filenames

Primary extract for this micro-entry is Group A remainder NegQ on credit (§12 Japanese FIN string 理事会は各ウォレットに 0.3 ETH を入金しなかったのか). Geometry is shared with the English lexical entry. Chat packaging: Tritransitive chats 23 (NegQ on credit · two-root · “Japanese keeps ACC vs に”), 25 (credit attitude vs transfer), and 35 (credit argument-structure acceptability). MeasureP float: MeasureP_Japanese_Counters. Decrement dual: Lexical_Entry_Deduct_Argument_Structure.