credit_FIN · acreditar / abonar

Hierarchy

Same inventory as English credit_FIN. Not five-place. Not four sisters of one V. Surface count can name the bank, 0,3, ETH, each account, 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 = one MeasureP. Orthography is not extra arity (Spanish decimal comma). Amount and Denomination are both inner arguments of that object. Composition is V(MeasureP), not V(n)(U). Hom(e, ⟨n,U⟩): the increment is measured by degree n on scale U.

Working hierarchy: Allocator > MeasureP ⟨Amount, Denomination⟩ > Recipient / Account > Reason. a-frame Case ranking is Allocator > MeasureP > Account; con-frame flips ACC to Account (Allocator > Account > MeasureP). Weather still fails Allocator. Payout is still not entailed. Account and MeasureP flip rank only by Case cloth — same TO dual of deduct’s FROM Domain.

Spanish frames · Case clothes

Three clothes on INCREMENT. a-frame: MeasureP ACC + a-Account. con-frame: Account ACC + con-MeasureP. en-Account packaging: MeasureP ACC + en-Account (productive banker English analogue of acreditar en cuenta). Companion abonar wears the same geometry. No productive bare DOC. Do not conflate with MERIT’s a/de/con clothes (Charge vs Target) — keep the split at credit-merit-es.html.

1. ✓ El banco acreditó 0,3 ETH a cada cuenta. canonical · a-frame · MeasureP ACC · a-Account
2. ✓ El banco acreditó cada cuenta con 0,3 ETH. con-frame · Account ACC · con-MeasureP
3. ✓ El banco acreditó 0,3 ETH en cada cuenta. en-Account packaging · productive banker
4. ✓ El banco abonó 0,3 ETH a cada cuenta. companion abonar · same a-frame geometry
5. ✓ El banco abonó cada cuenta con 0,3 ETH. abonar · con-frame
6. ✓ El consejo acreditó 0,3 ETH a cada billetera por el umbral del T3. outer Reason · por
7. ✓ El contrato inteligente acreditó 0,3 ETH a cada billetera. Allocator = code / institution
8. ✓ Se acreditaron 0,3 ETH a cada cuenta. se demotion / impersonal · MeasureP
9. ✓ Cada cuenta fue acreditada con 0,3 ETH. passive · Account promotes (con-frame)
10. ✓ 0,3 ETH fueron acreditados a cada cuenta. passive · MeasureP promotes (a-frame)
11. ✓ Le acreditaron 0,3 ETH a la cuenta. le = Account · DAT doubling
12. ✓ Companion scout: Ingresaron 0,3 ETH en cada cuenta. ingresar · banker's ingress · scout where geometry differs
13. ✓ Companion scout: Cargaron 0,3 ETH al haber de cada cuenta. cargar al haber · ledger credit side
14. ✓ MERIT pointer only: Los inversores acreditaron el mérito al contratista. MERIT · do not deepen · credit-merit-es.html
15. * El banco acreditó a cada cuenta 0,3 ETH. no productive bare DOC
16. * El mal tiempo acreditó 0,3 ETH a cada cuenta. weather ≠ Allocator
17. * El banco acreditó 0,3 ETH de / desde cada cuenta. de/desde Account = deduct not TO
18. * Los inversores acreditaron al contratista con 0,3 ETH. MERIT with-cloth + FIN MeasureP hybrid

MeasureP WH / NegQ · LBC and a/con/en

Unlike credit_MERIT, credit_FIN has a verbal MeasureP. Amount and Denomination compose one Case object. Whole-QP 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 deduct / sell / charge_FEE / English credit_FIN record. The con-frame does not split the QP either: con takes the whole MeasureP. Romance en resumes FIN quantity / Account packaging — chat 23: en resumes FIN quantity, not MERIT Charge.

1. ✓ ¿Cuánto ETH acreditó el banco a cada cuenta? whole MeasureP · a-frame
2. ✓ ¿Cuánto acreditó el banco a cada cuenta? degree WH · U bound
3. ✓ ¿Cuánto de qué acreditó el banco a quién? n and U inside host · de rescue
4. ✓ ¿A quién acreditó el banco 0,3 ETH? WH = Account
5. ✓ ¿Quién acreditó cuánto ETH a quién? Alloc > MeasureP > Rec
6. ✓ ¿Con cuánto ETH acreditó el banco cada cuenta? con-frame · whole MeasureP
7. ✓ ¿Con qué acreditó el banco cada cuenta? whole MeasureP out of con
8. ✓ ¿En qué cuenta acreditaron 0,3 ETH? en-Account WH
9. ✓ ¿Quién acreditó a quién con cuánto ETH? Alloc > Account > MeasureP
10. * ¿Cuánto acreditó el banco ETH a cada cuenta? LBC · U stranded
11. * ¿Qué acreditó el banco 0,3 a cada cuenta? what hijacks object · stranded n
12. * ¿Con qué acreditó el banco cada cuenta 0,3? unit stranded inside con
13. ✓ MERIT pointer: ¿Qué acreditaron al contratista? WH = Charge · not MeasureP
14. * ¿Cuánto acreditaron al contratista? unless Charge recoded as share

Superiority ranks Allocator > ACC object > oblique K-DP > outer Reason. Amount and Denomination never compete as two verbal WH-items. Cheap NegQ association tracks the Case object: MeasureP under the a/en-frames; Account under the con-frame.

Geometry · credit_FIN ≠ credit_MERIT ≠ deduct ≠ charge_FEE ≠ pagar

In El banco acreditó 0,3 ETH a cada cuenta, the bank writes 0,3 ETH onto each account’s book. That is ledger INCREMENT, not ascription and not HAVE of goods. The account is Account. 0,3 ETH is MeasureP. HAS_ON_BOOKS holds after the event; spendability / payout is not entailed.

• ≠ credit_MERIT / acreditar el mérito. Same surface family of “acreditar” talk; different root. MERIT ascribes Charge TO a Target (acreditaron la finalización temprana al contratista / reconocieron el mérito al contratista). FIN has MeasureP and Account; MERIT has neither (unless Charge is quantified as a share — hybrid §5.4, still ASCRIBE). Collapsing them because both can sit next to Spanish acreditar is the error the lexical entry was written to block. MERIT twin: credit-merit-es.html.
• ≠ deduct. Shared MeasureP. Opposite polarity: deduct = FROM_SET decrement; credit_FIN = TO_SET increment. Spanish de/desde on Account yields deduct, not TO (*acreditó 0,3 ETH de cada cuenta). Live twin: deduct.html.
• ≠ charge_FEE / cobrar. FEE is FROM (Appl_FROM Payer DAT + MeasureP ACC). FIN is TO (Appl_TO Account + MeasureP). Shared MeasureP object; opposite Source/Goal polarity. Live twin: charge-fee-es.html.
• ≠ pagar / pay_GIVE. Pay writes MeasureP with Recipient HAVE. FIN’s HAVE_ON_BOOKS is weaker; payout is a later verb (cobrar / retirar / pagar / debitar). No productive DOC on FIN as listed cloth.
• ≠ attribute_XFER. Shared CREDIT_LEDGER family and a-Account cloth; attribute_XFER lacks the productive con-frame credit_FIN advertises.
• ≠ vender / sell · ≠ SWAP. Sell: Recipient HAS goods; Price stays inside por. Neither FIN cloth is SWAP. Earmark’s para/por Purpose ≠ FIN’s outer Reason.
• Missing defaults. Payout and spendability are not entailed. A later debit can reverse the book without making the original credit event false. HAS_ON_BOOKS ≠ physical HAVE ≠ RESTRICTED_FOR.
• Hybrid trap (§5.4). acreditaron al contratista con el 30% del ahorro can look MeasureP-shaped and still be MERIT (quantified Charge). Diagnostics: replaceable by ascribe/praise (atribuir / reconocer); not by wire/deposit (ingresar / abonar); weather can sit as MERIT Target but not as FIN Account (*acreditaron al mal tiempo con 0,3 ETH as FIN).

Shells, ApplP, and Case

VoiceP  [ Allocator = el banco
  (ReasonP)  [ por el umbral del T3 ]   // optional, outer
  ApplP_TO / book-Rec  [ a [ cada cuenta ]
    VP  [ √CREDIT_LEDGER   [ MeasureP  [ Amount 0,3 ] [ N ETH ] ] ] ]
]

VoiceP  [ Allocator = el banco
  ApplP_TO  [ ACC Account = cada cuenta
    VP  [ √CREDIT_LEDGER   [ con [ MeasureP ⟨0,3, ETH⟩ ] ] ] ]
]
— same INCREMENT / HAS_ON_BOOKS; Account promotes in passive

VoiceP  [ Allocator = el banco
  ApplP_TO / book-Rec  [ en [ cada cuenta ]
    VP  [ √CREDIT_LEDGER   [ MeasureP ⟨0,3, ETH⟩ ] ] ]
]
— MeasureP ACC; Account wears wrapper-K en; productive acreditar en cuenta

Spanish assigns one structural ACC per frame. a/en-frames: ACC = MeasureP; Account wears wrapper-K a or en. con-frame: ACC = Account; MeasureP wears wrapper-K con. Composition is V(DP), not V(a(DP)) and not V(con(DP)) — same wrapper-K point as the attribute entry (§6.4) and Spanish MERIT. No low Appl_HAVE of goods. No low Appl_SWAP. No √ASCRIBE. High Appl / Affectee / outer Reason is extra when present. Each account is a DP-internal container on the Recipient — Abney restrictor, not a fourth verbal Location. Clitic le can resume Account; lo/los can resume MeasureP.

∃e [ INCREMENT(e)
  ∧ INIT(e, banco)
  ∧ 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 (Spanish FIN)

1. * El mal tiempo acreditó 0,3 ETH a cada cuenta. weather / inanimate as Allocator
2. * Lo que hizo el mal tiempo fue acreditar cada cuenta con 0,3 ETH. do-test · Voice filter
3. * ¿Cuánto acreditó el banco ETH a cada cuenta? LBC · U stranded
4. * ¿Qué acreditó el banco 0,3 a cada cuenta? LBC · stranded n
5. * ¿Con qué acreditó el banco cada cuenta 0,3? unit stranded inside con
6. * El banco acreditó 0,3 ETH de / desde cada cuenta. de/desde ≠ TO · use deduct
7. * El banco acreditó a la suerte / al mal tiempo con 0,3 ETH. Account ≠ inanimate cause
8. * El banco acreditó 0,3 ETH a la suerte. Rec must be account-holder
9. * Los inversores acreditaron al contratista con 0,3 ETH. MERIT cloth + FIN MeasureP hybrid
10. * El contrato inteligente acreditó la finalización temprana al contratista. system Allocator ≠ MERIT Judge (coerced)
11. * El banco acreditó a cada cuenta 0,3 ETH. no productive bare DOC
12. ✓ institution / contract as Allocator: El contrato inteligente acreditó 0,3 ETH a cada billetera. book-keeper fine

NegQ pointer · association sites

Negative questions on credit_FIN keep the FIN map; they do not invent a fifth theta name and do not create a Charge. Neg sits high and associates downward. Cheap inner associate = the Case object (MeasureP in the a/en-frames; Account in the con-frame). Reason stays outer. Payout / spendability is systematically missing as a default Neg target — same moral as bet’s missing settlement.

Open items

• Italian FIN micro-entry. Live at credit-fin-it.html (accreditare); French live at credit-fin-fr.html — cleaner morphology split than Spanish overlapping acreditar. Keep FIN/MERIT split.
• Mandarin / Navajo micro-entries. Same Group A geometry; 把 / BOOK packaging. Deferred — do not invent depth this tick. spec
• ingresar / cargar al haber productivity. Listed as companions; relative naturalness vs acreditar / abonar needs controlled elicitation — flagged scout-leaning, not closed.
• en-Account vs a-Account ranking. Both productive banker cloths; relative preference by register / region — open speaker check.
• Spanish deduct packaging. FROM dual still English-primary at deduct; JA live at deduct-ja.html. Romance deduct not this tick.
• Debit as named dual. NegQ Credit open item: does NegQ on debitar / cargar (debit reading) copy the FIN map with polarity flipped? Prediction: no MERIT debit.
• Outer CAUSE NegQ. hacer acreditar — Type A wrap; outer Neg denies causing; weather still fails as causee Allocator.
• Hybrid QP Charge (§5.4). Controlled discrimination of acreditaron a X con el 30% del ahorro (MERIT share) vs true FIN MeasureP — speaker check recommended in the lexical entry.

Corpus filenames

Primary extract for this micro-entry is the FIN half of Lexical_Entry_Credit_Argument_Structure (frames §3.2, Voice §4.1, MeasureP WH §5.2, shells §7.2) plus FIN NegQ association from Negative_Questions_Credit (Romance morphology split; en resumes FIN quantity). Spanish MERIT twin already live from Group B Romance. Decrement dual: Lexical_Entry_Deduct_Argument_Structure. Chat packaging: Tritransitive chats 23 (NegQ on credit · two-root · Romance en), 25 (credit attitude vs transfer), and 35 (credit argument-structure acceptability).