credit_FIN · 入账 / 打入 (rùzhàng / dǎrù)

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 Recipient / Domain-of-increment, and Reason is high / outer.

0.3 ETH = 0.3 个 ETH / 零点三 ETH = one MeasureP. Orthography / measure-word morphology is not extra arity. Amount and Denomination are both inner arguments of that object. Composition is V(QP), not V(n)(U). Hom(e, ⟨n,U⟩): the increment is measured by degree n on scale U.

Working hierarchy: Allocator > MeasureP ⟨Amount, Denomination⟩_{把 / post-V} > Recipient / Account_{给 / 向 / 到 / 把-object} (> outer Reason). Weather still fails Allocator. Payout is still not entailed. Account and MeasureP flip surface prominence by Case cloth — same TO dual of deduct’s FROM Domain.

Mandarin frames · Case clothes

No English DOC flip into two Themes. MeasureP stays one QP — often 把-fronted as a whole (Group A: 把 0.3 ETH 打入每个钱包). Account wears 给 / 向 / 到, or becomes the 把-object under 记入金额 / 入账 packaging. Asp 了 suffixes V. Neg is 没 / 没有 over the Case object (Group A). Do not conflate with MERIT’s 把…归功于 clothes (Charge vs Target) — keep the split.

1. ✓ 理事会把 0.3 ETH 打入了每个钱包。 canonical Group A · 把-MeasureP · 打入 · Account post-V
2. ✓ 理事会把 0.3 ETH 给每个账户入账了。 入账 primary · 给-Account
3. ✓ 银行向每个账户贷记了 0.3 ETH。 贷记 companion · 向-Account · scout productivity
4. ✓ 银行把每个账户记入了 0.3 ETH。 记入 · Account as 把-object + 金额 · scout
5. ✓ 智能合约给每个钱包打入了 0.3 ETH。 Allocator = code / institution
6. ✓ 理事会为了 T3 门槛把 0.3 ETH 打入了每个钱包。 outer Reason · 为了
7. ✓ 0.3 ETH 被打入了每个钱包。 passive-ish · MeasureP promotes
8. ✓ 每个账户都入账了 0.3 ETH。 Account-prominent packaging
9. ✓ Companion scout: 银行往每个账户存入了 0.3 ETH。 存入 · banker ingress · scout
10. ✓ Companion scout: 0.3 ETH 到账了。 到账 · arrival · may lack overt Allocator
11. ✓ Companion scout: 给每个钱包充值了 0.3 ETH。 充值 · top-up/ingress · geometry may differ
12. ✓ MERIT pointer only: 投资人把提前完工归功于承包商。 MERIT · 把-Charge · 归功于 · no live ZH MERIT page
13. * 理事会打入了每个钱包 0.3 ETH。 no productive bare DOC
14. * 天气把 0.3 ETH 打入了每个钱包。 weather ≠ Allocator
15. * 银行从每个账户打入了 0.3 ETH。 从-Account = deduct not TO
16. * 投资人把承包商归功于 0.3 ETH。 MERIT cloth + FIN MeasureP hybrid

MeasureP WH / NegQ · LBC and 把

Unlike MERIT, credit_FIN has a verbal MeasureP. Amount and Denomination compose one Case object. Whole-QP pied-piping / in-situ WH 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 deduct / sell / charge_FEE / English·Japanese·Romance credit_FIN record. 把 takes the whole MeasureP; it does not split the QP.

1. ✓ 理事会把多少 ETH 打入了每个钱包？ whole MeasureP · 把-frame
2. ✓ 理事会打入了多少？ degree WH · U bound
3. ✓ 给谁 / 向哪个账户打入了 0.3 ETH？ WH = Account
4. ✓ 谁把 0.3 ETH 打入了每个钱包？ WH = Allocator
5. ✓ 理事会没把多少 ETH 打入每个钱包？ NegQ · MeasureP under 没
6. ✓ 没给哪个钱包打入 0.3 ETH？ NegQ · Account
7. * 把多少打入了 ETH 每个钱包？ LBC · U stranded
8. * 把什么打入了 0.3 每个钱包？ what hijacks object · stranded n
9. ✓ MERIT pointer: 把什么归功于承包商了？ WH = Charge · not MeasureP
10. * 把多少归功于承包商了？ unless Charge recoded as share

Superiority ranks Allocator > MeasureP > Account (to-frame order of the shared metalanguage). Cheap NegQ association tracks the Case object: MeasureP under the canonical 把-frame.

Geometry · 入账 ≠ 归功于 ≠ 扣除 ≠ 收费 ≠ 付

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.

• ≠ 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. No live ZH MERIT page yet — pointer only. English / JA / Romance MERIT twins already live.
• ≠ deduct / 扣除. Deduct writes MeasureP FROM a Domain. credit_FIN writes MeasureP TO a Domain. Same MeasureP object; opposite Appl polarity. English twin: deduct; JA: deduct-ja.html. ZH deduct not this tick.
• ≠ 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-zh.html.
• ≠ 付 / pay_GIVE. Pay writes MeasureP with Recipient HAVE. FIN’s HAS_ON_BOOKS is weaker; payout is a later verb (付 / 转账 / 提现). No productive DOC on FIN as listed cloth. Live twin: pay-give-zh.html.
• ≠ 卖 / sell · ≠ SWAP. Sell: Recipient HAS goods; Price stays inside 以/用/多少钱. Neither FIN cloth is SWAP. Live twin: sell-zh.html.
• Missing defaults. Payout and spendability are not entailed. 没打入 is compatible with the ETH never becoming spendable — INCREMENT updates the book only. HAS_ON_BOOKS ≠ physical HAVE ≠ RESTRICTED_FOR.
• Companion ingress trap. 充值 / 到账 / 存入 can name top-up or arrival events whose Allocator / MeasureP / Account ranking may differ from primary 打入/入账 — flagged scout, not collapsed into one root inventively.

Shells, ApplP, and Case

VoiceP  [ Allocator = 理事会
  (ReasonP)  [ 为了 T3 门槛 ]   // optional, outer
  ApplP_TO / book-Rec  [ 给/向/到 [ 每个钱包 ]
    VP  [ √CREDIT_LEDGER   [ 把 [ MeasureP ⟨0.3, ETH⟩ ] ] ] ]
]
— 打入 / 入账 packaging; 把 fronts whole MeasureP

VoiceP  [ Allocator = 银行
  ApplP_TO  [ 把 Account = 每个账户
    VP  [ √CREDIT_LEDGER   [ 记入 [ MeasureP ⟨0.3, ETH⟩ ] ] ] ]
]
— same INCREMENT / HAS_ON_BOOKS; Account surfaces as 把-object

Mandarin FIN does not assign English-style double ACC Themes. MeasureP is one QP (often 把-fronted). Account wears wrapper-K 给 / 向 / 到, or is the 把-object under 记入 packaging. Composition is V(QP), not V(把(QP)) as a separate theta — same wrapper point as Mandarin FEE / GIVE. No low Appl_HAVE of goods. No low Appl_SWAP. No √ASCRIBE. High Appl / Affectee / outer Reason is extra when present. Each wallet is a DP-internal container on the Recipient — Abney restrictor, not a fourth verbal Location.

∃e [ INCREMENT(e)
  ∧ INIT(e, 理事会)
  ∧ DEGREE(e, 0.3) ∧ UNIT(e, ETH)
  ∧ TO_SET(e, R) ∧ Hom(e, ⟨0.3, ETH⟩)
  ∧ JUSTIFIED_BY(e, Q3) ]   // Reason optional
result: ∀y ∈ R. HAS_ON_BOOKS(y, ⟨0.3, ETH⟩) after e

Underivables (Mandarin FIN)

1. * 天气把 0.3 ETH 打入了每个钱包。 weather / inanimate as Allocator
2. * 上司没让天气把 0.3 ETH 打入每个钱包吗？ causative does not wash Voice filter
3. * 把多少打入了 ETH 每个钱包？ LBC · U stranded
4. * 理事会打入了每个钱包 0.3 ETH。 no productive bare DOC
5. * 银行从每个账户打入了 0.3 ETH。 从 ≠ TO · use deduct
6. * 银行把运气 / 天气记入了 0.3 ETH。 Account ≠ inanimate cause
7. * 投资人把承包商归功于 0.3 ETH。 MERIT cloth + FIN MeasureP hybrid
8. * 智能合约把提前完工归功于承包商。 system Allocator ≠ MERIT Judge (coerced)
9. ✓ institution / contract as Allocator: 智能合约把 0.3 ETH 打入了每个钱包。 book-keeper fine

Group A packaging · this tick Mandarin 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. This tick is Mandarin FIN only. Japanese FIN already live at credit-fin-ja.html. Navajo BOOK / HANDLE packaging shares the DOCX and remains deferred — do not invent depth this tick. MERIT Mandarin (归功于 / 功劳) is pointer contrast only; no ZH MERIT micro-entry yet. English and Romance credit_FIN twins already deepened as separate sense×language ticks.

Open items

• Navajo micro-entries. Same Group A geometry; BOOK / HANDLE packaging. Deferred — do not invent depth this tick. spec
• Mandarin MERIT micro-entry. 归功于 / 功劳 pointed from Group A; no live ZH MERIT page yet. Keep FIN/MERIT split when queued. spec
• 贷记 / 记入 / 存入 / 到账 / 充值 productivity. Listed as companions; relative naturalness vs primary 打入 / 入账 needs controlled elicitation — flagged scout-leaning, not closed. 充值 ingress may differ.
• 给 vs 向 vs 到 Account ranking. All productive TO cloths; relative preference by register — open speaker check.
• Mandarin deduct packaging. FROM dual still English-primary at deduct; JA live at deduct-ja.html. ZH deduct not this tick.
• Chinese 没 vs 不是 vs 没有. NegQ Credit open item: contrast on 归功于 vs 打入 / 入账, with 把 held constant — logged as open, not closed this tick.
• Outer CAUSE NegQ. 让…打入 — Type A wrap; outer Neg denies causing; weather still fails as causee Allocator.

Corpus filenames

Primary extract for this micro-entry is Group A remainder NegQ on credit (§12 Chinese FIN string 把 0.3 ETH 打入每个钱包; 没 / 没有 over that object) plus the FIN half of Lexical_Entry_Credit_Argument_Structure (§10.1 Chinese 把 note). Geometry is shared with the English lexical entry. Chat packaging: Tritransitive chats 23 (NegQ on credit · two-root), 25 (credit attitude vs transfer), and 35 (credit argument-structure acceptability). Decrement dual: Lexical_Entry_Deduct_Argument_Structure. Abney / 的: Abney_DP_Chinese_Scout_de_WH.