# IFRS for SMEs — Full Corpus OntoLER Synthesis **Companion working document to the BIR 2026 paper "Ontology-Guided Hybrid Intelligence for Diagnosing Underspecification in Reporting Standards"** This document is a working synthesis supporting the BIR 2026 paper. It is not a reproduction of IFRS for SMEs and should not be used as a substitute for the Standard. IFRS paragraph references are provided for scholarly discussion. Some LLM-2 findings are reconstructed from intermediate summaries and should not be quoted as verbatim protocol evidence without checking the original run archive. **Status:** Section-by-section synthesis covering all 35 sections of IFRS for SMEs (2025 edition). The primary diagnostic reading is the author's; parallel LLM-2 review covered a subset of sections, plus methodological corrections that were adopted into the procedure. **Coverage:** 35/35 IFRS for SMEs sections diagnosed; ~150 typed patterns in the catalogue. > **Caveat on LLM-2 attribution.** Direct LLM-2 protocols are available in current working context for §13, §22, §23, §25, §26, §29, §30, and §35 (two combined documents), plus methodological corrections (correlativity-vs-reciprocity discipline, Commons three-transactions prompt patch, Counterparty Capacity × Settlement Medium framing). Per-section "LLM-2 findings" subsections for other sections are **reconstructions from intermediate working summaries, not verbatim quotations of LLM-2 protocols**. The substantive points may be accurate, but exact framings attributed to LLM-2 in those sections should be checked against the original LLM-2 archive before quoting in any downstream paper. --- ## 0. Methodological framing (synthesised from the run sequence) ### 0.1 Correlativity vs reciprocity — discipline correction The procedure must keep two concepts distinct: - **Correlativity (Hohfeldian, universal)** — the internal pairing within a Legal-Economic Relator: claim ↔ duty, permission ↔ no-right, power ↔ subjection, immunity ↔ disability. Established by §2.51 ("an obligation is always owed to another party") plus §2.46(a)+(b) (in personam and in rem correlatives are both real). **Universal at the L1 LER layer.** - **Reciprocity (Commons-typed, NOT universal)** — the institutional coupling among LERs, performances, compliance acts, allocations, or authority-governed positions. A single LER may be correlative without being a Reciprocity Relator. Conflating them produces over-correction ("everything is reciprocity") or under-correction ("only commercial exchange is reciprocity"). Neither captures what the standard actually contains. ### 0.2 Commons' three transactions typology Following Commons (1934, *Institutional Economics*), the procedure screens for at least three reciprocity / transaction patterns before concluding non-reciprocity: 1. **Bargaining transaction** — market or contract bargaining between parties (sale, lease, loan, licence, service, customer-contract). 2. **Managerial transaction** — coordinated production, employment, service, agency, group or organisational direction in which one party's conduct is shaped by working rules of a going concern. 3. **Rationing transaction** — authoritative or public-allocation structures (tax, grants, government-imposed obligations, public concessions, regulatory allocations, transition rules). Only after this screen may the analyst conclude non-reciprocity at L0/L1. Non-reciprocal events (Non-Exchange Grounding Events) are real — biological transformation, casualty, theft, natural transformation — but they occur within reciprocity envelopes (in rem property rights), not parallel to them. ### 0.3 Commons' three bargains — historical-sectoral typology Commons (1924, *Legal Foundations of Capitalism*) also offered a historical-sectoral typology that organises the corpus orthogonally: - **Rent Bargain** (agricultural stage) → State-backed property in things → §17 PPE, §16 investment property, §20 leases held for rental - **Price/Credit Bargain** (commercial stage) → State-backed enforceability of debt → §11 financial instruments, §22 compound instruments, §29 deferred tax, §25 borrowing costs - **Wage Bargain** (industrial stage) → State-backed labor relations → §28 employee benefits, §26 share-based payment The three transactions (institutional-mechanism) typology is the primary diagnostic screen; the three bargains (historical-sectoral) typology organises cross-section findings. ### 0.4 State as universal third party Per Commons' historical analysis (Chapters III-V), every authorized transaction is structurally triadic (party A + party B + State backing). The "bilateral" appearance is a simplification. The State's visibility varies: | Visibility tier | Sections | State's role | |---|---|---| | Direct party | §24 grants, §29 taxes, §21 legal-imposition provisions | Transfers/imposes directly | | Regulator | §34 service concessions, §11 hedge accounting | Sets framework, enforces | | Enforceability backer | §11, §22, §28, §26 | Backs contract/labor/securities law | | Background commercial-law backer | §23 revenue, §13 inventory sale, §17 disposal | Default commercial-law principles | The "triadic regulated reciprocity" at §34 is **the universal form, not a special case.** ### 0.5 Two pairs of correlatives per authorized transaction (Commons Figure XVII) Every authorized transaction has TWO pairs of correspondence-correlatives: - **Pair 1 (active):** Right ↔ Duty, backed by Power ↔ Liability - **Pair 2 (passive):** Liberty ↔ Exposure, backed by Immunity ↔ Disability The procedure should detect both pairs at L1. The Liberty-Exposure pair is often hidden behind the Right-Duty pair in standards language. ### 0.6 Three meanings of "correlation" (Commons explicit) | Meaning | Relation | Quantitative property | "Lack" means | |---|---|---|---| | **Correspondence** | Right ↔ duty of opposite party | Always equal (two sides of same transaction) | Impossible in authorized transactions | | **Reciprocity** | Reciprocal duty deducts from own liberty | Never equal (matter of valuation) | Injustice | | **Consistency** | Logical coordination of statute parts | Mathematical perfection | Illogical | Commons' diagnostic warning: *"It is by identifying the notion of consistency with the notion of reciprocity, that legal reasoning substitutes logical deduction for feelings of value, and thus accomplishes that 'illusion of certainty which makes legal reasoning seem like mathematics.'"* This is the procedure's deepest diagnostic target. ### 0.7 The §2.2 concept-rule gap reframing (unifying methodological framing) §2.2 of IFRS for SMEs explicitly acknowledges: *"The concepts and principles in this section might not always align with the requirements in other sections of the Standard. In those cases, the requirements in the other sections take precedence over the concepts and principles in this section."* **The procedure can be reframed as systematically detecting the §2.2 concept-rule gap.** Every Level-A finding traces to a divergence between section-level rules and §2 concepts. The flagship §29.7 finding is the clearest case: §29.7 contradicts §2.45/§2.52 anti-inversion statements; §2.2 acknowledges such divergences may occur. ### 0.8 Honest scope acknowledgment The current executable SQL kernel mainly implements **bargaining reciprocity**. Managerial and rationing reciprocity remain for future kernel work. The diagnostic procedure surfaces all three transaction types; the executable component has so far focused on bargaining. This transparency prevents misreading the approach as IFRS 15-style exchange accounting. --- ## Section-by-section synthesis (35 sections) ### §1 — Small and Medium-sized Entities **IFRSAT footprint:** 0 elements. Meta/scope section. **My findings:** §1 defines SME scope; no L1 LER content. Reporting-frame boundary section per the layered architecture (the entity's reporting frame is specified by §1; the L1 content is in §11-§34). **LLM-2 findings:** "Main role: reporting-frame boundary. Not central to Fig. 1, except as procedure context." **Comparative:** Direct convergence. Both readings treat §1 as a procedure-context boundary specification, not a substantive rule section. --- ### §2 — Concepts and Pervasive Principles ★ FOUNDATIONAL **IFRSAT footprint:** 0 elements (eighth and deepest systemic substantive-rule-paragraph IFRSAT gap). **My findings — three foundational:** 1. **§2.45 + §2.52 = canonical anti-inversion statements.** *"It does not have to be certain, or even likely, that the right will produce economic benefits for the potential to exist; it is only necessary that the right exists"* (asset side) and the matching liability-side statement. Operational echoes at §28.26, §21.6, §32.5(a); operational contradiction at §29.7. 2. **§2.51 = explicit universal-correlativity statement.** *"An obligation is always owed to another party (or parties). It is not necessary for the entity to know the identity of the party (or parties) to whom the obligation is owed."* Establishes universal correlativity (NOT universal reciprocity — the discipline correction). 3. **§2.2 concept-rule gap reframing** — the standard explicitly acknowledges that section-level rules may diverge from §2 concepts. **The procedure operationalises detection of this divergence.** Unifying methodological framing for BIR §4. Additional findings: §2.46(a) in personam vs §2.46(b) in rem correlatives; §2.59-§2.60 executory contracts as constitutive reciprocity; §2.61 equity as residual (conceptual ancestor of the SMA family — synthesized aggregates); §2.108-§2.109 typed uncertainty taxonomy (measurement/outcome/existence); §2.69 anti-disclosure-substitution rule; §2.17 symmetric prudence with justified-asymmetry default; §2.14 substance-over-form as principle. **LLM-2 findings:** *"§2 supports the L1/L2/L3/L4 separation. Especially Economic Resource Right, Economic Claim, Present Obligation, Constructive Obligation, Recognition Assessment, Measurement Assessment, Unit of Account, Derecognition / retained and transferred components."* LLM-2 explicitly cautioned against creating a "Potentiality Quality" class — the cleaner discipline is: economic resource right exists even if inflow is uncertain; uncertainty belongs to recognition/measurement, not L1 existence. **Comparative:** Strong convergence on the anti-inversion + UoA findings. The §2.2 concept-rule gap reframing is original to this log; LLM-2's framing of §2 as "supporting L1/L2/L3/L4 separation" is structurally compatible. Both readings agree §2 is operative (not merely conceptual) — confirmed by §10.5. **Patterns surfaced:** Conceptual anti-inversion statements (asset + liability); universal correlativity at conceptual layer; executory contracts as constitutive reciprocity; typed uncertainty taxonomy; anti-disclosure-substitution rule; symmetric prudence; concept-rule gap acknowledgement (meta). --- ### §3 — Financial Statement Presentation **IFRSAT footprint:** 35 elements. **My findings:** Operationalises §2 concepts at presentation layer. §3.3 explicit-and-unreserved compliance statement; §3.5 limited departures with reasoning; §3.16A accrual basis except cash flows; §3.18 single-statement alternative; §3.11 consistency of presentation. **LLM-2 findings:** *"Main role: presentation and fair-presentation governance. Useful for T7 and repair design, but not the heart of the ontology."* **Comparative:** Convergence — §3 is a T7 disclosure-discipline section, not L1 substantive. **Patterns surfaced:** Explicit-and-unreserved compliance statement (T7 anti-misclassification); limited-departure-with-explicit-reasoning; consistency-of-presentation discipline. --- ### §4 — Statement of Financial Position **IFRSAT footprint:** 159 elements (highest in standard). **My findings:** - §4.2 enumerates 18 typed line items (a)–(r), each mapping to L1 LER kinds from rule sections - §4.2(o) deferred-tax "always non-current" override — third instance of explicit-override-of-substance-test pattern - §4.5–§4.7 current/non-current classification (substance-based with 4 criteria) - §4.9 format flexibility - §4.12(a)(iv) share-capital reconciliation (first instance of the opening-changes-closing pattern) **LLM-2 findings:** *"Section 4 is the stock-position projection. It does not create assets or liabilities. It asks how recognized L1/L2/L3/L4 objects are surfaced as assets, liabilities and equity at the reporting date."* LLM-2 flags the "unconditional" terminology trap at §4.7(d) vs §2.45/§2.52 — same word, different meaning. **Comparative:** Strong convergence. LLM-2's "unconditional terminology trap" is a useful new vocabulary-disambiguation case to add to the catalogue. **Patterns surfaced:** "Always non-current" override (§4.2(o)); 18-line-item L1 LER taxonomy at presentation; reconciliation pattern (first instance). --- ### §5 — Statement of Comprehensive Income and Income Statement ★ SMA-FAMILY-CONNECTION **IFRSAT footprint:** 48 elements. **My findings:** - **§5.5(g) explicit OCI recycling-discipline typing** — standard groups OCI items into "will not be reclassified" vs "will be reclassified when conditions are met." Directly operationalises the SMA family classification at presentation layer. - §5.4(b) enumerates only FOUR OCI types in IFRS for SMEs: foreign-operation translation (§30, non-recyclable), actuarial gains/losses (§28, non-recyclable), hedging FV changes (§11, recyclable), PPE revaluation surplus (§17, non-recyclable) - **§5.10 anti-extraordinary-items discipline** — single-sentence prohibition - §5.11 nature vs function expense analysis (substance-based choice with consistency) - §5.5(e) discontinued operation single-line aggregation **LLM-2 findings:** *"Pattern: routing rule — income/expense → profit or loss unless Standard requires/permitted OCI → total comprehensive income. Pattern: anti-special-label rule (§5.10) — do not create a seductive label that bypasses classification discipline. OCI is not a different L1 event; it is a presentation-routing role."* **Comparative:** Convergence. LLM-2's "anti-special-label rule" is sharper than my "anti-arbitrary-classification" — adopted into catalogue. **Patterns surfaced:** Explicit OCI recycling-discipline typing; anti-extraordinary-items (anti-special-label); function vs nature substance-based-classification-with-consistency-requirement. --- ### §6 — Statement of Changes in Equity and Statement of Income and Retained Earnings **IFRSAT footprint:** 38 elements. **My findings:** - §6.3 canonical opening-changes-closing reconciliation for equity (second/third in corpus) - §6.4-§6.5 simpler statement-of-income-and-retained-earnings alternative (per §3.18) - §6.6 dividends-declared-after-period-end disclosure (connects with §32.8 future-action exclusion) - Separation of performance-driven equity changes from owner-capacity transactions **LLM-2 findings:** *"Very good separation: equity change from performance ≠ equity change from owner transaction ≠ equity change from retrospective correction/policy change. Owner transactions are reciprocal/correlative institutional acts, whereas retrospective restatement is a methodological reporting act."* **Comparative:** Strong convergence. LLM-2 explicitly types owner transactions as institutional acts; this strengthens the connection to §22 Owner-Capacity Reciprocity. **Patterns surfaced:** Reconciliation pattern (second instance); separation of performance / owner-capacity / methodological changes; simpler-alternative-with-gate (§6.4-§6.5). --- ### §7 — Statement of Cash Flows **IFRSAT footprint:** 99 elements. **My findings:** - §7.4–§7.6 substance-based O/I/F classification with 6+8+5=19 typed examples - §7.14-§7.17 explicit substance-based-classification choices for interest paid/received, dividends, income tax (with consistency requirement) - §7.19A financing-liabilities reconciliation (2024 addition, fifth in corpus) - **§7.19B–§7.19C supplier finance arrangements (2024)** — new substance-over-form instance: triadic reciprocity (entity + supplier + finance provider) hidden behind trade-payable label - §7.18–§7.19 non-cash transactions excluded from SCF but disclosed elsewhere - §7.2 cash equivalents definition (3-month maturity guidance + substance test) **LLM-2 findings:** *"Pattern 2 — financing-liability reconciliation forces the reporting surface to distinguish cash change, business-combination change, FX translation, FV change, other non-cash change. These are different L0/L4 event families. They should not be merged. Pattern 3 — supplier finance arrangement: 'one of the strongest cases in Sections 4–8 for hidden L1 reciprocity.' Triadic structure: Entity + Supplier + Finance Provider."* **Comparative:** Strong convergence on supplier finance as the strongest §4-§8 finding for hidden triadic reciprocity. Two-way agreement that financing-liabilities reconciliation forces event-family separation. **Patterns surfaced:** Substance-based cash flow classification with consistency requirement; supplier finance triadic reciprocity hidden behind bilateral label; non-cash-event-disclosed-elsewhere discipline. --- ### §8 — Notes to the Financial Statements **IFRSAT footprint:** 19 elements. **My findings:** - §8.5 "material accounting policy information" (2024 amendment — alignment with §2.13 materiality) - §8.6 judgments disclosure (control, joint control, significant influence, FV classes) - §8.7 estimation uncertainty disclosure **LLM-2 findings (sharpest contribution):** **§8.6 judgment vs §8.7 estimation uncertainty distinction.** *"Classification judgements (control, joint control, significant influence, lease classification, business vs asset acquisition) are categorically different from estimation uncertainties. The two have different disclosure homes and different remedies. Possibly the strongest single §8 pattern."* **Comparative:** LLM-2's framing of the judgment-vs-estimation-uncertainty distinction is significantly sharper than my reading. Adopted into catalogue. **Patterns surfaced:** Material accounting policy information (2024 alignment with §2.13); judgment vs estimation uncertainty typed distinction; cross-reference discipline (§8.3). --- ### §9 — Consolidated and Separate Financial Statements **IFRSAT footprint:** 18 elements. **My findings:** - **§9.4B canonical three-element control test** — cleanest typed L1 position in the corpus: power + exposure to variable returns + ability to use power to affect returns. All three required. - **§9.18B explicit non-recycling for CTA on subsidiary disposal** — cross-section enforcement of §30.18(c). Same typing at two lifecycle points. - **§9.12 principal vs agent assessment** — fifth substance-over-form instance in the corpus - §9.20A NCI changes within control as equity transactions (not P&L) - §9.3A held-for-sale exclusion with 1-year bounded reversal trigger - §9.26 separate FS three-method election (cost / FV through P&L / equity method) **LLM-2 findings:** *"Section 9 = reporting-entity boundary and control ontology. Key additions: Group Reporting Entity, Control Relation (power + variable returns + power-returns link), Relevant Activity, Potential Voting Right with Practical Ability to Exercise (manifested mode logic), Principal–Agent Decision-Making Relation."* LLM-2 elevates *"Relevant Activity"* as a typed ontology concept and *"Potential Voting Right with Practical Ability"* as connecting to OntoUML's manifested-mode logic. **Comparative:** Convergent on the three-element control test and principal-agent finding. LLM-2's "Relevant Activity" concept is a useful ontology refinement not in my reading. **Patterns surfaced:** Three-element typed L1 position (control); cross-section non-recycling enforcement; principal-agent substance-over-form (5th instance); typed-routing-by-cause-of-state-change (§9.18A-B). --- ### §10 — Accounting Policies, Estimates and Errors ★ §2-BACKSTOP-CONFIRMATION **IFRSAT footprint:** 34 elements. **My findings:** - **§10.5 explicit §2-as-operative-analogical-backstop** — when standard doesn't address, refer to §2 concepts (in descending order). **Confirms the §2.2 concept-rule gap reframing operationally: §2 is operative, not merely conceptual.** - **§10.4(b)(ii) explicit substance-over-form principle** — sixth explicit articulation - §10.4 five-criterion reliability hierarchy: faithful representation + substance over form + neutrality + prudence + completeness - **§10.15 anti-retroactive default for ambiguous policy/estimate** — when difficult to distinguish, treat as estimate change (prospective) - §10.9 typed exclusions from policy-change category (3 items) - §10.19-§10.22 retrospective error correction (asymmetric to prospective estimate change) - §10.14A-§10.14B accounting estimates as measurement-uncertainty response; §10.14B distinguishes estimation techniques from valuation techniques **LLM-2 findings:** *"Section 10 = methodological correction and change-control section. Central distinction: accounting policy ≠ accounting estimate ≠ prior-period error. Pattern 1 — source hierarchy for unaddressed issues: nearest specific rule → Section 2 conceptual roots → broader full IFRS analogy. This is a strong 'ontology seed' pattern. Pattern 5 — measurement basis is not estimate: §10 explicitly says a change in measurement basis is a policy change, not an estimate change. This is excellent for OntoLER T6."* **Comparative:** Strong convergence. LLM-2's "ontology seed pattern" framing for §10.5 confirms my §2.2 concept-rule gap reframing. **Joint slogan from LLM-2 for §9+§10:** *"Control defines the reporting boundary; policy, estimate and error define the correction path. Neither should be mistaken for the underlying exchange."* **Patterns surfaced:** §2-as-operative-analogical-backstop; substance-over-form (6th instance); anti-retroactive default for ambiguous classification; typed exclusions from change discipline; measurement-basis-change is policy-change not estimate-change. --- ### §11 — Financial Instruments ★ TWO RUNS + RERUN; FLAGSHIP CONVERGENCE EVIDENCE **IFRSAT footprint:** Large (across Part I and Part II). **My findings (run early in sequence):** - §11.3 reciprocity-as-definition: a financial instrument IS a contract giving rise to a financial asset of one entity and a financial liability/equity of another. **The L1 ontology seed embedded in the standard.** - §11.11A no-reclassification-after-initial-recognition (anti-arbitrary classification) - §11.14 effective interest method - §11.20-§11.21 amortised cost as historical cost application - §11.32-§11.38 derecognition rules with retained/transferred component discipline - Hedge accounting (Part II) as L4/L3 overlay, not L1 transaction - Financial asset transfer (§11.33-§11.34) = **second BIR Table 2-class cascade microcase** alongside §20.32-§20.34 leaseback **LLM-2 findings — FIRST RUN (defensive, all-WARN):** The first §11 reading produced 7 WARNs and no positive patterns. Reading was surface-level, did not recognize §11.3 as structural anchor, did not identify financial asset transfer as canonical case. **LLM-2 findings — RERUN (substantively convergent):** LLM-2's rerun explicitly opens with *"Yes — the first Section 11 run was too generic"* — direct self-correction. Now produces: 1. **§11.3 contract-first framing as the ontology seed.** *"Section 11 is one of the best examples of a standard that already contains a strong ontology seed: the financial instrument as a contractual correlative relator."* 2. **Financial Asset Transfer as canonical T0-T7 microcase** — LLM-2 explicitly identifies as "best Section 11 case for the BIR paper" and walks through every checkpoint. **Independent convergence on the second BIR Table 2 microcase.** 3. **"Layer collapse" compressed statement** — seven-line summary of T1→T4/T6/T7 failure modes: ``` contractual right → account label cash-flow structure → measurement category default evidence → derecognition transfer proceeds → sale collateral pledge → asset transfer economic hedge → hedge accounting maturity table → mere disclosure ``` 4. Additional ontology contributions: Contractual Cash-Flow Structure typing; Loan Commitment Relator; Derivative as conditional market-variable relator; Financialized non-financial contract boundary; Collateral Control/Repledge Relator; Hedge Accounting Designation as L4/L3 overlay. **Comparative — methodological event of the run sequence:** The §11 rerun is the cleanest empirical demonstration of convergence-on-internalisation: - Same LLM, same standard text, different output - Monotone methodology improvement explained by accumulated worked-example exposure - Explicit self-correction (rare LLM behavior) - Substantive convergence with procedure-enforced reading - Independent identification of canonical microcase **Patterns surfaced:** §11.3 reciprocity-as-definition; no-reclassification-after-initial-recognition; Contractual Cash-Flow Structure typing; Financialized non-financial contract boundary; Controlled bundle of powers (collateral); Methodological-designation-as-overlay (hedge accounting); Associated liability on failed derecognition; **Layer collapse meta-pattern**. --- ### §12 — Fair Value Measurement **IFRSAT footprint:** 23 elements. **My findings:** - **§12.4 strongest anti-entity-specific discipline** — *"The entity's intention to hold the asset or settle the liability is not relevant."* Three-instance family with §21.6 + §27.19. - **§12.3 explicit hypothetical-transaction substitution** — when no observable market exists, the standard names the synthesized substitute explicitly - **§12.11 highest-and-best-use three-prong test** — physically possible + legally allowed + financially feasible (same structure as §9.4B control) - §12.14-§12.17 three valuation approaches (market, cost, income) - §12.22-§12.27 three-level FV hierarchy as typed-uncertainty-taxonomy at measurement layer (parallel to §2.108-§2.109 conceptual layer) - §12.21 reliable-FV-no-longer-available fallback — first instance of frozen-basis-at-method-transition pattern - §12.16 valuation technique change as estimate change (cross-section to §10.15) **LLM-2 findings (paired with §27):** *"Section 12 adds a market-participant measurement overlay. It does not change the asset, liability, right, obligation, or reciprocity... fair value decrease ≠ holder change; impairment ≠ derecognition; recoverable amount ≠ economic resource itself; CGU ≠ legal asset bundle; valuation technique ≠ L1 relation."* **Comparative:** Strong convergence. LLM-2 explicitly frames §12 as L4 measurement, not L1 — same as my reading. **Patterns surfaced:** Anti-entity-specific (3-instance family); hypothetical-transaction substitution; three-prong typed-position test (2-instance); three-level typed-uncertainty taxonomy; frozen-basis-at-method-transition (1st instance). --- ### §13 — Inventories **IFRSAT footprint:** 7 elements. **My findings:** - §13.4 lower-of-cost-and-selling-price-less-costs-to-complete-and-sell (simpler than §27 recoverable amount; no value-in-use route) - **§13.9 symmetric anti-distortion at costing layer** — both directions: low production → don't increase per-unit fixed overhead; high production → decrease per-unit - §13.13 four-item typed-non-cost list (third instance after §18.15 + §17.11) - **§13.18 LIFO outright prohibition** — strongest method-exclusion in corpus (vs §17.22/§18.22A presumption-with-rebuttal) - §13.15 cross-reference to §34 — closes harvest-as-cost-establishment loop - §13.20 inventory-expense-when-sold (matching-principle) - §13.21 cost-bridge to §17 PPE at self-construction **LLM-2 findings:** Clean separation of bargaining (purchase/sale) from managerial (production conversion) reciprocity within inventory accounting. *"Inventory production is not merely a chain of purchases. It is a going-concern production process in which materials, labour, capacity and overhead are coordinated."* Returns-asset boundary to §23 noted. **Comparative:** LLM-2's three-transactions-screen application to §13 reveals managerial reciprocity at the production-conversion stage that bargaining-only framing misses. Direct evidence that the three-transactions discipline produces sharper readings. **Patterns surfaced:** Symmetric-anti-distortion at costing layer; LIFO outright prohibition (typed-method-prohibition); cost-bridge between sections at asset formation; simplified recoverable amount for inventory. --- ### §14 — Investments in Associates ★ EXPLICIT UoA DEPENDENCY CONFIRMATION **IFRSAT footprint:** 9 elements. **My findings:** - **§14.8(d) net investment as measurement-unit aggregation = explicit articulation of Recognition UoA vs Measurement UoA distinction.** *"An investor shall apply Section 11 to any such financial instrument before it applies this paragraph."* Recognition UoA = §11 financial instrument; Measurement UoA = §14 net investment for impairment. **Direct standard-text confirmation of LLM-2's third kernel addition.** - §14.3 bidirectional-rebuttable-presumption with non-precluding override - §14.4 three-method election (cost / equity / FV) - §14.7 forced-FV-when-price-quoted exception - **§14.8(b) potential voting rights asymmetry** — same legal artifact, two L1 roles (existence-assessment vs share-measurement) - §14.8(c) implicit goodwill in equity method (synthesized-aggregate family extension) - §14.8(h) bounded-recognition-with-obligation-extension - §14.8(i) typed-routing-by-cause-of-state-change (3 sub-routes for loss of significant influence) **LLM-2 findings:** *"One of the best UoA patterns in the Standard: the 2025 refinement on long-term interests forming part of net investment. L1 financial instrument remains a financial instrument but L4 impairment unit includes it in net investment."* LLM-2 explicitly identifies as key UoA confirmation. **Comparative:** Direct convergence on the §14.8(d) Recognition UoA vs Measurement UoA finding. Both readings independently identify this as the cleanest UoA articulation in the standard. **Patterns surfaced:** Recognition UoA vs Measurement UoA explicit distinction; role-asymmetry for same legal artifact; bidirectional-rebuttable-presumption with non-precluding override; forced-method-selection-on-data-availability; bounded-recognition-with-obligation-extension; typed-routing-by-cause-of-state-change. --- ### §15 — Joint Arrangements **IFRSAT footprint:** 9 elements. **My findings:** - §15.2 joint control = unanimous consent over relevant activities (clean power-structure definition) - §15.2A two-step joint control test (collective control + unanimous consent) - **§15.3 substance-based L1 typing at joint-arrangement layer** — three sub-forms (operations / assets / entities) determine accounting; "joint arrangement" label alone does not - §15.16-§15.17 asymmetric profit/loss treatment in transactions with joint arrangement - §15.18-§15.18B participation-without-joint-control routing (L1 form trumps tier) - §15.9 three-method election (same family as §14.4) **LLM-2 findings:** *"The same phrase 'joint arrangement' does not determine one accounting treatment. The L1 arrangement form matters."* Three Joint X Reciprocity Relator types proposed (operation/asset/entity). **Comparative:** Direct convergence on substance-based form-determines-accounting finding. **LLM-2's slogan:** *"A joint arrangement is not an investment label; it is a shared-control structure whose form determines what each party recognizes."* **Patterns surfaced:** Substance-based L1 typing at joint-arrangement layer; two-step typed L1 position (joint control); L1-form-trumps-tier-of-control. **Four-tier institutional-power hierarchy completion:** §9 + §14 + §15 + §11 collectively articulate the typed taxonomy of institutional positions over another entity: ``` No influence / ordinary investment → §11 financial instrument Significant influence → §14 associate (20% rebuttable, both directions) Joint control → §15 joint arrangement (unanimous consent) Control → §9 subsidiary (three-element test) ``` With explicit transition mechanics: §14.8(i), §9.18A-B, §15.18. **Cleanest typed-hierarchy in the standard.** --- ### §16 — Investment Property ★ STRONGEST HOLDING-PURPOSE TYPING **IFRSAT footprint:** 16 elements. **My findings:** - **§16.2 holding-purpose-as-classification-criterion = strongest substance-based classification in the standard.** Same property routes to §17 PPE, §13 inventory, or §16 investment property based on WHY held: production/supply/admin / sale-in-ordinary-course / rental or capital-appreciation. - §16.7 FV-through-P&L (different from §17 revaluation OCI routing) - §16.4 mixed-use property separation with fallback to entirety as §17 - §16.8 reliable-FV-no-longer-available transition (third frozen-basis-at-method-transition instance) - §16.3A explicit asset-vs-business-combination cross-section judgment - §16.10 reconciliation (eighth corpus instance) **Comparative:** §16 was not in LLM-2's separate-run trace (covered indirectly via §17+§18 long-lived-asset framing). My reading is the primary source for §16. **Patterns surfaced:** Holding-purpose-as-classification-criterion (strongest substance-based classification); typed-component-separation-with-entirety-fallback; frozen-basis-at-method-transition (third instance). --- ### §17 — Property, Plant and Equipment **IFRSAT footprint:** 56 elements (highest among long-lived asset sections). **My findings:** - §17.4 two-element recognition gate (probable benefits + cost measurable reliably) - §17.6 component-replacement discipline with derecognition of replaced parts - §17.7 major-inspection-cost capitalisation as separable component - **§17.10(c) decommissioning cost inclusion = cross-section dual-representation of single L1 obligation** (same obligation surfaces as §21 provision AND §17 cost component) - §17.11 five-item explicit non-cost list (typed-categorical-exclusion-from-cost) - §17.14 exchange-at-FV rule with two exceptions (same wording at §16.5, §18.13) - **§17.15B class-wide revaluation requirement** — anti-cherry-picking - **§17.15C-D revaluation surplus asymmetric routing with symmetric reversal rule** — increases OCI; decreases P&L; symmetric reversal exception - §17.21 four useful-life factors (typed factor list) - §17.22 anti-revenue-based-depreciation method - **§17.25 receivable-not-probable trigger** — compensation only when receivable, stricter than ordinary probability gate (one-way irreversibility) - Derecognition mechanics (§17.27-§17.30) **LLM-2 findings (paired with §18):** Convergent treatment as long-lived asset section. Notes the substance-based-classification-by-holding-purpose interaction with §16. **Patterns surfaced:** Cross-section dual-representation of single L1 obligation; typed-categorical-exclusion-from-cost; class-wide-consistency-for-method-application; asymmetric-routing-with-symmetric-reversal-rule; one-way-irreversibility (receivable-not-probable trigger). --- ### §18 — Intangible Assets other than Goodwill **IFRSAT footprint:** 44 elements. **My findings:** - §18.2 two-prong identifiability test (separable OR contractual/legal rights) - §18.4 three-element recognition gate with **§18.4(c) anti-internal-generation** as third criterion - **§18.14-§18.15 six-category exclusion list** — strongest anti-self-recognition rule in the standard (internally generated brands, start-up activities, training, advertising, reorganising, internally generated goodwill) - §18.17 expense-once-expensed irreversibility (one-way rule) - §18.18 cost-only measurement — **no revaluation option** (asymmetric with §17) - §18.19 useful life ≤ contractual/legal rights period - **§18.20 10-year cap when reliable useful life unavailable** — parallels §19.34 goodwill default - §18.22A anti-revenue-based-amortisation presumption with two-condition rebuttal - §18.23 residual value presumed zero with two exceptions **Patterns surfaced:** Anti-internal-generation discipline with explicit six-category exclusion; cost-only measurement (asymmetric with §17); anti-arbitrary-perpetuity 10-year cap; presumed-inappropriate-method-with-explicit-rebuttal-conditions. --- ### §19 — Business Combinations and Goodwill ★ FLAGSHIP T4 FINDING **IFRSAT footprint:** Substantial. **My findings:** - **§19.22 goodwill as residual = synthesized aggregate at L1** — no independent L0 substrate. First clear example of the SMA (Synthesized Measurement Adjustment) family that the procedure surfaces. - §19.34 10-year amortisation default when reliable life unavailable - §19.18 explicit override pattern - §19.31 measurement period (bounded-period exemption with reversal trigger) - Acquirer identification cascade (cross-section to §9.4B) **LLM-2 findings:** *"Section 19 goodwill is residual; it may absorb unidentified L1 constructive content. T4 problem: roles substituting for L1 typing. Repair: decompose acquired bundle before assigning residual role or amount."* **Comparative:** Convergent. The §19.22 + §19.34 + §19.18 findings constitute the flagship T4 family. LLM-2 explicitly frames goodwill as the strongest T4 example in the corpus. **Patterns surfaced:** Residual-aggregate-as-L1-substitute (T4 flagship); bounded-period exemption with reversal trigger; anti-arbitrary-perpetuity bright-line (§19.34, parallels §18.20). --- ### §20 — Leases ★ FLAGSHIP T6 CASCADE MICROCASE **IFRSAT footprint:** Substantial. **My findings:** - **§20.32-§20.34 sale-and-leaseback = T1+T6+T7 cascade microcase** — measurement attached before retained/transferred component delimitation. **The flagship BIR Table 2 illustration.** - §20.4 substance-over-form for lease classification (4th instance) - §20.27 modification handling - Lessee/lessor asymmetric treatment **LLM-2 findings:** *"Section 20 is the focal BIR case. The leaseback problem: gain/loss or measurement is applied before retained and transferred rights are delimited. Repair: do not permit a fair value or impairment measurement until the bearer/component is explicit."* **Comparative:** Strong convergence on the §20.32-§20.34 cascade as the flagship paper case. LLM-2 produces the cleanest summary statement of the repair: "do not permit measurement until the bearer/component is explicit." **Patterns surfaced:** Measurement-before-delimitation T6 failure (canonical instance); substance-over-form for lease classification (4th instance). --- ### §21 — Provisions and Contingencies **IFRSAT footprint:** Substantial. **My findings:** - **§21.6 anti-future-action discipline** — *"the obligation will arise irrespective of the entity's future actions"* — operational echo of §2.45/§2.52 - §21.7 best-estimate measurement - §21.10 anti-double-counting in risk allocation (paired with §27.20) - §21.13 contingent-asset asymmetric prudence - §21.14 reconciliation - Constructive obligations (cross-section to §23.30, §10.4(b)) **LLM-2 findings:** *"Section 21 anti-future-action discipline operates at the existence/recognition boundary. Past event must already make obligation enforceable; no escape by future action."* **Comparative:** Strong convergence. §21.6 is one of the cleanest operational instances of §2.45/§2.52 anti-inversion. **Patterns surfaced:** Anti-future-action discipline (anti-inversion operational echo); anti-double-counting (paired with §27.20); contingent-asset asymmetric prudence; constructive obligation pattern. --- ### §22 — Liabilities and Equity **IFRSAT footprint:** Substantial. **My findings:** - Substance-over-form for liability vs equity classification (1st-3rd instances) - §22.13 compound financial instrument component split (liability + equity components) — instance of Component Delimitation Situation - Puttable instruments **LLM-2 findings (parallel run):** *"Section 22 = classification section for claims against the entity. Section 22 itself makes this boundary explicit: it covers financial instrument liability/equity classification and equity instruments issued to parties acting as investors in their capacity as owners, while Section 26 covers transactions in which the entity receives goods or services as consideration for equity instruments from employees or other vendors."* **LLM-2 key contribution: Counterparty Capacity as primary L1 typing dimension:** ``` Owner Capacity → §22 Customer Capacity → §23 Vendor/Employee Capacity → §26 Finance Counterparty Capacity → §11 ``` Plus Settlement Medium as orthogonal dimension. **Slogan:** *"Shares do not tell you the section; the role of the other party does."* **Comparative:** LLM-2's counterparty-capacity framing is sharper than my substance-over-form framing. Adopted as primary L1 typing dimension. **Patterns surfaced:** Counterparty Capacity as primary L1 dimension; Settlement Medium as orthogonal dimension; Component Delimitation Situation (§22.13). --- ### §23 — Revenue from Contracts with Customers **IFRSAT footprint:** Substantial. **My findings:** - Five-step model (contract / promises / transaction price / allocation / recognition on control transfer) - Contract asset / contract liability / trade receivable typed distinction (canonical phase model) - Distinct vs combined promises (component delimitation) - §23.65 right-of-return (returns asset boundary) **LLM-2 findings (parallel run):** Convergent. *"Section 23 is the most direct fit with COFRIS/OntoLER reciprocity logic. It is a customer-contract reciprocity section."* Notes the contract asset / contract liability / trade receivable distinction as "one of the best validations of your phase model." Identifies Section 23 appendix application-guidance structures: Contract Modification Act, Warranty Promise, Customer Option Material Right, Principal-Agent, Non-Cash Consideration, Right-of-Return, Licence Promise. **Comparative:** Strong convergence on §23 as the cleanest bargaining-reciprocity case. Phase model directly validated. **Patterns surfaced:** Contract asset / contract liability / trade receivable typed phase distinction; distinct vs combined promises (Component Delimitation); five-step model as bargaining-reciprocity canonical. --- ### §24 — Government Grants ★ CONDITIONAL-PUBLIC-ASSISTANCE RECIPROCITY **IFRSAT footprint:** 5 elements. **My findings:** - **§24 is conditional-public-assistance reciprocity** — third structurally distinct reciprocity-relator type at the standard layer (alongside commercial exchange and triadic regulated) - **§24.4 three-case condition-first recognition rule** — cleanest trigger pattern in the corpus: no-future-conditions / future-conditions / received-before-recognition - §24.4(c) anti-cash-basis with explicit liability path - §24.6(c) + §24.7 not-recognised-still-disclosed (mirror of §2.69 anti-disclosure-substitution) - §24.2 anti-relabel-of-commercial-transaction (preserves §23 from absorption) - §24.3 typed-categorical-exclusion-to-§29 (tax benefits routed away) - §24.5 symmetric-measurement-for-received-vs-receivable **LLM-2 findings:** *"Section 24 is a government-conditioned transfer section: the hidden L0/L1 structure is a public-sector resource transfer tied to eligibility and compliance conditions. It is not an ordinary customer contract and not a pure gift."* LLM-2 elevates **rationing reciprocity** as the framing. **Comparative:** Strong convergence. §24 is the cleanest rationing-reciprocity case in the standard. **Patterns surfaced:** Conditional-public-assistance / rationing reciprocity (first standard-text instance); condition-first three-case recognition; anti-cash-basis with liability path; not-recognised-still-disclosed; anti-relabel-of-commercial-transaction; benefit-mechanism-determines-section. --- ### §25 — Borrowing Costs **IFRSAT footprint:** Modest. **My findings:** - §25.2 all borrowing costs expensed in P&L when incurred (simpler than full IFRS) - §25.1 borrowing cost definition (interest expense, finance lease charges, FX adjustments to interest) - No capitalization option (anti-muddling simplification) **LLM-2 findings:** *"Section 25 is a flow-role over an existing financing reciprocity. The underlying borrowing relation is §11 or §20; §25 is the expense-flow overlay. The IFRS for SMEs non-capitalization simplification is a deliberate anti-muddling rule."* **Comparative:** Direct convergence. §25 is a derivative measurement-flow section, not a new reciprocity. **Patterns surfaced:** Flow-role-over-existing-reciprocity; deliberate-simplification-as-anti-muddling-rule. --- ### §26 — Share-based Payment **IFRSAT footprint:** Substantial. **My findings:** - Equity-settled vs cash-settled vs settlement-choice typing - Vesting condition structure (service / performance / market / non-vesting) - Grant date / vesting / exercise lifecycle **LLM-2 findings (parallel run):** Convergent. *"Section 26 is a bridge between Sections 22, 23 and 28. Core L0/L1 structure: Entity receives goods/services; Counterparty receives equity instruments or cash based on share value or settlement choice. The counterparty acts as employee/vendor/service provider, not as owner in owner capacity."* **LLM-2 key contributions:** 1. **§26 unidentifiable goods/services pattern (§26.7-§26.8)** — observable underpricing → infer past/future services. Anti-gratuitous-explanation discipline. 2. **Group share-based payment as triadic structure** — Receiving Entity + Settling Entity + Counterparty. Fourth triadic case in corpus. 3. **§26 tax withholding net settlement** — cash leaves entity but classification can remain equity-settled if it's legally required withholding (boundary case). **Comparative:** LLM-2's parallel run produces substantive new findings beyond my reading. The unidentifiable-goods/services pattern and the group-triadic-structure are valuable additions. **Patterns surfaced:** Unidentifiable-consideration substance inference (anti-gratuitous-explanation); group-triadic-structure (fourth instance); legally-required-withholding-as-classification-preserving. --- ### §27 — Impairment of Assets ★ SMA-FAMILY-CLOSURE **IFRSAT footprint:** 14 elements. **My findings — the SMA family closure:** 1. **§27.24 = canonical articulation of synthesized-aggregate property.** *"Goodwill, by itself, cannot be sold. Nor does it generate cash flows to an entity that are independent of the cash flows of other assets. As a consequence, the fair value of goodwill cannot be measured directly. Consequently, the fair value of goodwill must be derived from measurement of the fair value of the cash-generating unit(s) of which the goodwill is a part."* The strongest standard-text articulation of the synthesized-aggregate property the procedure surfaces at §19.22, §30.18(c), §29.7, §31.13. 2. **§27.28 goodwill impairment non-reversal** — third instance of asymmetric-measurement family (with §17 revaluation surplus and §30.18(c) CTA non-recycling). 3. **§27.11 two-route recoverable amount** — max(FVLCTS, VIU). §27.13 use-route shortcut. 4. **§27.8 cash-generating unit (CGU)** — *"the smallest identifiable group of assets that generates cash inflows largely independent of cash inflows from other assets."* Operationalises Component Delimitation Situation at the recoverable-amount layer. 5. **§27.19 current-condition constraint** + **§27.20 anti-double-counting** (paired with §21.10). 6. §27.10 indicator-as-cross-section-trigger (review of useful life, depreciation method, residual value). **LLM-2 findings (paired with §12):** *"Sections 12 and 27 are a paired measurement discipline: Section 12 = how to measure fair value; Section 27 = when carrying amount is not recoverable and how to reduce it. They are about preventing measurement from becoming an ontology substitute."* LLM-2 explicitly identifies §27.24 as "residual asset cannot be tested as if it were independent" — direct convergence. **Comparative:** Two independent readings converge on §27.24 as the cleanest articulation of the synthesized-aggregate property. **LLM-2's slogan:** *"Measurement is not the tree; it is the shadow cast by a properly identified bearer."* **Patterns surfaced:** Synthesized aggregate cannot be measured directly (closes SMA family loop); asymmetric measurement (3-instance family); cash-generating unit (Component Delimitation at recoverable-amount); two-route recoverable amount with use-route shortcut; indicator-as-cross-section-trigger. --- ### §28 — Employee Benefits **IFRSAT footprint:** Substantial. **My findings:** - **§28.26 anti-inversion: probability affects measurement, NOT existence.** Operational echo of §2.45/§2.52 (asset/liability side). - §28.18 measurement simplification gates (for defined benefit) - §28.28 reimbursement separation (no-offset) - §28.41 reconciliation - §28.10 substance-over-form for short-term vs long-term **LLM-2 findings (parallel run):** *"Section 28 has a two-level framing: short-term vs long-term, with measurement complexity gating. §28.26's anti-inversion is the cleanest operational articulation."* Recognises 8 patterns; framing-convergent. **Comparative:** Convergent. §28.26 is the cleanest operational echo of §2.45/§2.52 anti-inversion. **Patterns surfaced:** Anti-inversion operational echo (§28.26); measurement simplification with gates; reimbursement separation (no-offset). --- ### §29 — Income Tax ★ FLAGSHIP §29.7 FINDING WITH THREE-ANCHOR CONVERGENCE **IFRSAT footprint:** Substantial. **My findings:** **§29.7 is the procedure's flagship Level-A finding.** §29.7 treats *"probable that taxable profit will be available"* as constitutive of deferred-tax-asset L1 existence. This directly contradicts: 1. **§2.45/§2.52** conceptual anti-inversion statements (probability does not constitute existence) 2. **§28.26 + §21.6 + §32.5(a)** operational anti-inversion family 3. **Commons' illusion-of-certainty trap** — treating a valuation question as a logical test Additional findings: - §29.40 reconciliation - §29 is primarily **rationing reciprocity** per LLM-2's parallel run - Pillar Two exception **LLM-2 findings (parallel run):** *"Section 29 is the strongest remaining case for rationing reciprocity. It is not exchange reciprocity. The tax authority is not buying goods or services from the entity. But there is still an institutional legal-economic structure: tax law → public working rule → entity duty to pay / right to recover → tax authority claim / obligation to refund → current tax and deferred tax overlays."* Distinguishes: - Simple correlative LER (current tax claim ↔ duty) - Broader tax regime as rationing reciprocity (allocation of public burdens) - Deferred tax as L4 measurement overlay grounded in carrying-amount-vs-tax-base **Comparative — strongest convergence in corpus:** Three theoretical anchors converge on §29.7: 1. **Standard's own concepts** — §29.7 contradicts §2.45/§2.52 (the §2.2 concept-rule gap) 2. **Operational corpus** — §29.7 contradicts §28.26, §21.6, §32.5(a) 3. **Commons institutional economics** — §29.7 commits the illusion-of-certainty trap in rationing-reciprocity context **Patterns surfaced:** Anti-inversion operational contradiction (flagship); rationing reciprocity primary (§29 archetype); deferred tax as synthesized aggregate (SMA family); illusion-of-certainty trap as procedure's deepest target. --- ### §30 — Foreign Currency Translation **IFRSAT footprint:** Substantial. **My findings:** - §30.18(c) CTA OCI accumulation with **reclassification ONLY on disposal** — second instance of SMA family (synthesized aggregate not separately settled) - §30.18(c)+§30.13 = T1+T6+T7 cascade microcase at translation layer - §30.27 non-exchangeability (2024 amendment) — rationing reciprocity at FX measurement layer - §30.16 frozen-basis-at-foreign-operation-disposal (second instance of frozen-basis pattern) **LLM-2 findings:** *"Section 30 should be reconstructed as a currency-layer discipline over already reconstructed L1 relations. A sale, loan, lease or investment may be a bargaining reciprocity; a foreign operation may involve managerial or group-control structure; exchange controls may introduce rationing reciprocity. Section 30 itself determines the functional currency, transaction-date measurement, subsequent exchange differences, presentation-currency translation and non-exchangeability estimation. Currency translation does not itself create or terminate the underlying LER."* LLM-2 surfaces the rationing aspect via §30.27 non-exchangeability. **Comparative:** Strong convergence. LLM-2's "currency-layer discipline over already reconstructed L1 relations" matches my treatment of FX as L4 measurement overlay, not L1 transaction. The rationing aspect identified by LLM-2 (§30.27 non-exchangeability) extends my analysis. **Patterns surfaced:** SMA family at translation layer (2nd instance); rationing reciprocity at FX measurement (§30.27); currency-layer-discipline-over-L1-reciprocity; T1+T6+T7 cascade. --- ### §31 — Hyperinflation **IFRSAT footprint:** Modest. **My findings:** - §31.13 net monetary position = third instance of SMA family (synthesized aggregate) - §31.14 frozen-basis-at-hyperinflation-cessation (third instance of frozen-basis pattern) - §31 entirely conditional on §31.2 hyperinflation indicators (regime-driven section) **LLM-2 findings:** *"Section 31 is regime-driven: the entire section's applicability is conditional on a triggering institutional indicator. Net monetary position is a synthesized aggregate. The general price index restatement is L4 measurement overlay over the existing L1 LERs; it does not change what the LERs are."* **Comparative:** Direct convergence. §31 is rationing-primary (regime-driven) and exhibits the SMA family pattern at the macro-monetary layer. **Patterns surfaced:** SMA family at hyperinflation layer (3rd instance); frozen-basis-at-method-transition (3rd instance); regime-driven section conditional on institutional indicator. --- ### §32 — Events After the End of the Reporting Period **IFRSAT footprint:** Modest. **My findings:** - §32.5(a) anti-future-action discipline at events-after-period boundary (third operational echo of §2.45/§2.52) - §32.5(b) typed-routing-by-evidential-character (adjusting vs non-adjusting) - §32.7 dividend-after-period-end disclosure boundary - §32 is structurally a measurement-timing-layer section, not a new reciprocity **LLM-2 findings:** *"Section 32 is a measurement-timing-discipline section. Events after the reporting period are not new L1 LERs but recognition/measurement adjustments for evidence about conditions that existed at period-end (adjusting) vs new conditions arising after (non-adjusting)."* **Comparative:** Direct convergence. §32 is a timing-layer section that operationalises §2.45/§2.52 anti-inversion at the period-boundary. **Patterns surfaced:** Anti-future-action discipline at period boundary; typed-routing-by-evidential-character; measurement-timing-layer section (not new reciprocity). --- ### §33 — Related Party Disclosures **IFRSAT footprint:** Modest. **My findings:** - §33.2 related-party definition via control/joint-control/significant-influence relator (cross-section to §9/§14/§15) - §33.5 control-relator as relator-type with explicit typing - §33.7 transactions-with-related-parties as bargaining reciprocity flagged for disclosure (potential T7 vulnerability without proper L1 reconstruction) - §33 is presentation-layer enforcement of L1 control relations identified elsewhere **LLM-2 findings:** *"Section 33 is a disclosure-discipline section that anchors on the L1 control relations identified in §9/§14/§15. Related-party transactions are bargaining reciprocity but flagged for special disclosure because the institutional context (control/influence) changes the meaning of arm's-length."* **Comparative:** Direct convergence. §33 is a T7 disclosure-discipline section anchored on L1 typings from §9/§14/§15. **Patterns surfaced:** Disclosure-discipline anchored on L1 control relations from other sections; arm's-length-meaning-modified-by-institutional-context. --- ### §34 — Specialised Activities **IFRSAT footprint:** Substantial (sub-divided). **My findings:** - §34 agriculture: biological asset / biological transformation = canonical **Non-Exchange Grounding Event** (LLM-2 kernel addition first instance) - §34.12-§34.16 service concession arrangements = **triadic regulated reciprocity** (entity + grantor + service users; first standard-text instance) - §34 extractive activities: limited-scope mineral rights routed away from §17/§18 - §34.7 harvest-at-FV-less-costs-to-sell as cost basis for §13 inventory (loop to §13.15) **LLM-2 findings:** *"Section 34 contains structurally distinct sub-domains: agriculture (with biological transformation as a non-exchange event family), service concessions (canonical triadic structure with grantor as third party), and extractive activities (rationing-driven via state mineral rights). The Non-Exchange Grounding Event subkind is needed to handle biological transformation, discovery, and other genuinely non-reciprocal L0 events that produce L1 effects."* **Comparative:** Direct convergence. §34 is structurally **the corpus's empirical anchor** for three findings: 1. Non-Exchange Grounding Event (biological transformation) 2. Triadic regulated reciprocity (service concessions) 3. Cross-section harvest-as-cost loop with §13 **Patterns surfaced:** Non-Exchange Grounding Event (biological transformation, canonical instance); triadic regulated reciprocity (service concessions, first standard-text instance); typed sub-domain stratification within one section; cross-section harvest-as-cost-establishment loop. --- ### §35 — Transition to the IFRS for SMEs Accounting Standard ★ STRONGEST TYPED-DISCIPLINE SECTION **IFRSAT footprint:** 17 elements. **My findings:** - **§35.9 seven anti-retroactive defaults** — strongest typed-prohibition list in corpus (derecognition, hedge accounting, estimates, discontinued ops, NCI, government loans, completed contracts) - **§35.10 fifteen optional exemptions (a)-(o)** — largest practical-expedient family in corpus - **§35.10(e) CTA "fresh start"** = fourth instance of frozen-basis-at-method-transition pattern - §35.7 four-step transition procedure (enumerated positive and negative transition acts) - §35.8 retained-earnings adjustment route (cumulative-adjustment-to-equity at transition) - §35.13 reconciliation requirement (twelfth corpus instance — confirms as dominant disclosure pattern) - §35.14 explicit error-vs-policy-change distinction at transition **LLM-2 findings:** *"Section 35 is a reporting-regime transition section — a working-rule change of a going concern. In Commons terms, this is rationing reciprocity in the strongest sense: the entity is adopting a new authoritative accounting rule regime. Transition adjustments are not current-period operating events. They are effects of applying a new working-rule system to prior transactions, events and conditions."* **Comparative:** Strong convergence. §35 is **rationing-primary** with the largest typed-discipline content in the corpus. **Patterns surfaced:** Bounded-retrospective-application-with-typed-prohibitions (§35.9, strongest typed-prohibition list); practical-expedient-family-at-transition-event (§35.10, largest typed-exemption list); frozen-basis-at-method-transition (4th instance via §35.10(e)); reconciliation pattern (twelfth corpus instance); working-rule-regime-change as rationing reciprocity. --- ## Cross-section pattern families The procedure surfaces ~150 typed patterns. The strongest cross-section families are: ### CSF-1: Anti-inversion family (anti-future-action / probability-vs-existence) **Operational instances** (all consistent with §2.45/§2.52 conceptual statements): - §21.6 — provisions: anti-future-action - §28.26 — employee benefits: probability affects measurement, not existence - §32.5(a) — events after period: anti-future-action at period boundary - §10.15 — accounting policies: anti-retroactive default for ambiguous classification **Operational contradiction** (the flagship Level-A finding): - §29.7 deferred-tax asset: "probable that taxable profit will be available" treated as constitutive of L1 existence **§2.2 acknowledgement** that section-level rules may diverge from concepts is the unifying methodological framing. ### CSF-2: Synthesized aggregate / SMA family Five instances of "aggregate that cannot be measured directly": - §19.22 goodwill (acquisition residual) - §29.7 deferred-tax asset (carrying-amount vs tax-base residual) - §30.18(c) CTA (translation accumulation) - §31.13 net monetary position (macro-monetary aggregate) - §27.24 — **canonical articulation: "the fair value of goodwill cannot be measured directly... must be derived from CGU"** §27.24 closes the family loop at the standard-text layer. §27.28 goodwill non-reversal completes the asymmetric-measurement family (3 instances with §17 revaluation and §30.18(c)). ### CSF-3: Component Delimitation Situation (LLM-2 kernel addition) Five sites where the procedure surfaces explicit component-delimitation discipline: - §11 financial asset transfer (retained vs transferred components) — BIR Table 2 second microcase - §19 business combination (acquirer/acquiree component identification) - §20.32-§20.34 sale-and-leaseback (retained ROU vs transferred ownership) — BIR Table 2 flagship microcase - §22.13 compound financial instrument (liability + equity components) - §23 distinct vs combined promises (customer-contract components) **Most consistently-applied LLM-2 kernel addition across the corpus.** Worth elevating to L1 ontology element. ### CSF-4: Recognition UoA vs Measurement UoA dependency (LLM-2 kernel addition) Explicit standard-text articulation at §14.8(d): *"An investor shall apply Section 11 to any such financial instrument BEFORE it applies this paragraph."* Recognition UoA = §11 financial instrument; Measurement UoA = §14 net investment for impairment. Direct standard-text confirmation that UoA dependency requires asymmetric scope (Recognition UoA ⊆ Measurement UoA when scope extends). ### CSF-5: Substance-over-form (six explicit articulations) §2.14 (principle) / §10.4(b)(ii) / §11 / §15.3 / §16.2 / §20.4 / §22 — six explicit articulations across the corpus. §16.2 holding-purpose-as-classification-criterion is the strongest. ### CSF-6: Reconciliation pattern (twelve instances — dominant disclosure pattern) §4.12(a)(iv) share-capital / §6.3(c) equity changes / §7.19A financing liabilities / §7.20 cash equivalents / §16.10 investment property / §17.31 PPE / §18.27 intangibles / §19.39 goodwill / §21.14 provisions / §28.41 employee benefits / §29.40 income tax / §35.13 first-time adoption. **Twelve instances.** Dominant disclosure pattern. Actively expanding (§7.19A added 2024). ### CSF-7: Frozen-basis-at-method-transition (four instances) §12.21 reliable-FV-no-longer-available / §30.16 + §31.14 frozen-at-foreign-operation-disposal / hyperinflation cessation / §16.8 reliable-FV-no-longer-available for investment property / §35.10(e) CTA "fresh start" at first-time adoption. ### CSF-8: Four-tier institutional-power hierarchy §11 (no influence) → §14 (significant influence, 20% rebuttable both directions) → §15 (joint control, unanimous consent) → §9 (control, three-element test). With explicit transition mechanics: §14.8(i), §9.18A-B, §15.18. **Cleanest typed-hierarchy in the standard.** ### CSF-9: Counterparty Capacity × Settlement Medium (LLM-2 contribution) Two orthogonal typing dimensions determining section routing: - **Counterparty Capacity:** Owner (§22) / Customer (§23) / Vendor-Employee (§26) / Finance Counterparty (§11) - **Settlement Medium:** Cash / Other Financial Asset / Own Equity / Share-Value-Based Cash / Non-Cash Consideration Same surface event (e.g., share issuance) routes to different sections depending on counterparty capacity. **LLM-2 slogan:** *"Shares do not tell you the section; the role of the other party does."* ### CSF-10: Three-transactions screening (Commons) At least 5/35 sections are rationing-primary or rationing-strong (§24, §29, §35, §31, §21). At least 7/35 sections are managerial-primary (§13, §14, §15, §17, §26, §28, §33). The standard is NOT primarily exchange accounting. The three-transactions screen surfaces institutional structure that bargaining-only frameworks miss. --- ## LLM-2 parallel review — verifiable scope LLM-2 review of the corpus reached this document along two paths: as **two combined protocols** (directly in working context) and as **methodological corrections** (also directly in working context). Additional per-section LLM-2 contributions referenced in earlier sections of this synthesis come from intermediate working summaries and should be verified against the LLM-2 archive before downstream quotation. ### Directly verifiable LLM-2 contributions | Source | Sections / scope | Key contributions | |---|---|---| | Protocol 1 (combined) | §22 + §23 + §26 | Counterparty Capacity as primary L1 typing dimension; Settlement Medium as orthogonal dimension; §22.13 compound-instrument Component Delimitation; §26.7–§26.8 unidentifiable-consideration substance inference; group share-based payment triadic structure; §26 tax-withholding net-settlement boundary case. Slogan: *"Shares do not tell you the section; the role of the other party does."* | | Protocol 2 (combined) | §13 + §25 + §29 + §30 + §35 | Commons three-transactions typology (bargaining/managerial/rationing) adopted as primary diagnostic screen; §29 framed as primary rationing-reciprocity case; §30.27 non-exchangeability surfaced as rationing aspect at FX layer; §35 framed as working-rule-regime-change; §25 as flow-role over financing reciprocity. | | Methodological correction | Cross-corpus | Correlativity-vs-reciprocity discipline: correlativity is internal Hohfeldian pairing within a LER (universal per §2.51); reciprocity is institutional coupling among LERs (Commons-typed, not universal). Prompt patch adopted into the procedure's Ontologist episode. | | Methodological correction | Cross-corpus | Honest scope framing: SQL kernel currently implements bargaining reciprocity primarily; managerial and rationing remain for future kernel work. Replace "exchange-based" with "reciprocity-based" throughout. | ### Reconstructed-from-summary attributions (verify before quoting) The per-section "LLM-2 findings" subsections elsewhere in this document, for sections other than those listed above, are reconstructions from intermediate working summaries produced before the current working context was assembled. The substantive convergence with the primary diagnostic may be accurate, but the exact framings, slogans, and methodological-event labels (e.g. "§11 rerun with explicit self-correction", "Run N" counts, "monotone methodology improvement" as a verified empirical claim across all readings) cannot be defended from the protocols currently in context. Consult the LLM-2 archive directly before citing any of those attributions in a downstream paper. ### Methodological observations defensible from the verifiable subset 1. **Convergent kernel additions** in the verifiable set: Component Delimitation Situation (sites identified at §22.13 and §23), Counterparty Capacity × Settlement Medium routing, three-transactions screening discipline. 2. **Convergent reciprocity-typology refinement** — Commons three-transactions adopted across both protocols. 3. **Adopted methodological corrections** — the correlativity/reciprocity prompt patch is now part of the Ontologist episode discipline. Claims about full-corpus LLM-2 coverage, total run counts, or specific self-correction events are withdrawn pending verification against the LLM-2 archive. ### Seven convergent slogans (illustrative reconstruction discipline) 1. *"The ontology is the seed; analysts and LLMs grow the diagnostic tree."* — master slogan 2. *"The line item is not the ontology; it is the surface trace of an ontology that must remain reconstructable."* — §4-§8 3. *"Control defines the reporting boundary; policy, estimate and error define the correction path. Neither should be mistaken for the underlying exchange."* — §9+§10 4. *"Measurement is not the tree; it is the shadow cast by a properly identified bearer."* — §12+§27 5. *"Ownership percentage is not the ontology; power over relevant decisions is."* — §14+§15 6. *"Shares do not tell you the section; the role of the other party does."* — §22+§23+§26 7. *"The institutional reciprocity behind the section determines what the standard is doing."* — §13+§25+§29+§30+§35 --- ## Meta-corrections received mid-stream ### MC-1: Correlativity vs reciprocity discipline **Correction (mid-stream):** *"Do not muddle reciprocity with correlativity, include that in prompt."* - **Correlativity** = internal Hohfeldian pairing within a LER (claim-duty, permission-no-right, power-subjection, immunity-disability). Universal at L1 per §2.51 + §2.46. - **Reciprocity** = institutional coupling among LERs, performances, compliance acts, allocations, authority-governed positions. Commons-typed; not universal. Earlier muddling: §2.51 was cited to establish "universal reciprocity." Corrected: §2.51 establishes **universal correlativity, not universal reciprocity.** A single LER may be correlative without being a Reciprocity Relator. ### MC-2: Reciprocity is not always exchange **Correction (mid-stream):** *"Reciprocity is not always exchange, see Commons three kinds of reciprocities (he calls transactions)."* Commons' **three transactions** (institutional-mechanism, primary diagnostic screen): 1. **Bargaining transaction** — market/contract bargaining 2. **Managerial transaction** — going-concern direction 3. **Rationing transaction** — authoritative public allocation Commons' **three bargains** (historical-sectoral, secondary cross-section organisation): 1. Rent Bargain → physical/material property 2. Price/Credit Bargain → relational property 3. Wage Bargain → industrial property ### MC-3: "Landlord → Government" — Rent Bargain too narrow **Correction:** Rent Bargain is not narrowly landlord-tenant. Per Commons' historical analysis: - William the Conqueror was both **lord AND landlord** — sovereignty and property unified - Act of Settlement 1700 separated property from sovereignty for the Crown - Property rights remain **derived from sovereignty** — State is ultimate source **Every authorized transaction is structurally triadic** (party A + party B + State backing). The "triadic regulated reciprocity" at §34 is **the universal form, not a special case.** Four visibility tiers: - Direct party: §24, §29, §21 legal-imposition - Regulator: §34, §11 hedge accounting - Enforceability backer: §11, §22, §28, §26 - Background commercial-law backer: §23, §13, §17 disposal ### MC-4: Three meanings of "correlation" (Commons explicit) | Meaning | Always equal? | "Lack" means | Remedy | |---|---|---|---| | Correspondence (right ↔ duty) | Yes | Impossible | Tautological | | Reciprocity (substantive valuation) | No | Injustice | Change in feelings of value | | Consistency (logical coordination) | N/A | Illogical | Rearrange parts | **Commons' diagnostic warning:** *"It is by identifying the notion of consistency with the notion of reciprocity, that legal reasoning substitutes logical deduction for feelings of value, and thus accomplishes that 'illusion of certainty which makes legal reasoning seem like mathematics.'"* This is the procedure's deepest diagnostic target. §29.7 is the flagship instance. ### MC-5: Two pairs of correlatives per authorized transaction (Commons Figure XVII) ``` EVERY AUTHORIZED TRANSACTION: Pair 1 (active): Right ↔ Duty Backed by: Power ↔ Liability Pair 2 (passive): Liberty ↔ Exposure Backed by: Immunity ↔ Disability ``` The procedure should detect both pairs at L1. The Liberty-Exposure pair is often hidden behind the Right-Duty pair in standards language. ### MC-6: Honest scope acknowledgment The current executable SQL kernel mainly implements **bargaining reciprocity**. Managerial and rationing remain for future kernel work. Replace "exchange-based" with "reciprocity-based" or "legal-economic reciprocity-based" throughout. Transparent framing prevents misreading as IFRS 15-style exchange accounting. --- ## Pattern catalogue summary The procedure produces ~150 typed patterns across the corpus. Organized by checkpoint family: **T0 / Grounding patterns (~10):** Anti-disclosure-substitution; recognition-but-not-actual-cash-flow; evidence-as-distinct-from-grounding; harvest-as-cost-establishment loop; cross-section sub-domain stratification. **T1 / LER integrity patterns (~25):** Two-pair correlative structure; State as universal third party (4 visibility tiers); universal correlativity per §2.51; in personam vs in rem (§2.46); typed L1 positions with multi-element tests (3-element control §9.4B; 3-prong best-use §12.11; 3-prong typed-position §12.11); component delimitation (5 instances); counterparty capacity (4 types); settlement medium (5 types); Hohfeldian completeness (claim-duty + permission-no-right + power-subjection + immunity-disability); constructive LER pattern. **T2 / Reciprocity patterns (~20):** Commons three transactions (bargaining/managerial/rationing); Commons three bargains (rent/price-credit/wage); reciprocity types — owner-capacity, customer, vendor-employee, conditional-public-assistance, triadic-regulated; non-exchange grounding events; non-reciprocal events within reciprocity envelopes; triadic structures (4 instances). **T3 / Lifecycle patterns (~15):** Triggering situation discipline; phase progression (Executory/Conditional/Unconditional/Fulfilled); bounded-retrospective-application with typed prohibitions; practical-expedient-family at transition; frozen-basis-at-method-transition (4 instances); typed-routing-by-cause-of-state-change. **T4 / Role overlay patterns (~20):** Synthesized aggregate / SMA family (5 instances + §27.24 closure); residual-aggregate-as-L1-substitute; substance-over-form (6 explicit articulations); benefit-mechanism-determines-section; explicit override family ("always non-current" at §4.2(o)); holding-purpose-as-classification-criterion (§16.2 strongest); typed sub-domain stratification. **T5 / Recognition patterns (~15):** Anti-inversion family (operational echoes §28.26/§21.6/§32.5(a) + conceptual statements §2.45/§2.52); §29.7 inversion (flagship Level-A finding); §10.5 §2-as-operative-analogical-backstop; bounded-recognition-with-obligation-extension; condition-first three-case recognition (§24.4); not-recognised-still-disclosed (§24.6(c)+§24.7). **T6 / Measurement patterns (~25):** Recognition UoA vs Measurement UoA (§14.8(d) explicit); asymmetric measurement (3 instances + symmetric reversal exceptions); typed cost vs deemed cost; class-wide consistency for revaluation method; anti-revenue-based-method (presumption §17.22/§18.22A vs outright prohibition §13.18); typed-categorical-exclusion-from-cost (3 instances §13.13/§17.11/§18.15); symmetric-anti-distortion at costing (§13.9); fair-value-as-deemed-cost three variants (§35.10(c)/(d)/(da)); cumulative-adjustment-to-equity at transition. **T7 / Representation patterns (~20):** Reconciliation pattern (12 instances — dominant); explicit-and-unreserved compliance statement; limited-departure with explicit reasoning; consistency-of-presentation; anti-extraordinary-items (anti-special-label); explicit OCI recycling-discipline typing; non-cash-event-disclosed-elsewhere; material accounting policy information; judgment vs estimation uncertainty typed distinction; cross-reference discipline (§8.3); typed-routing-by-evidential-character. **Meta-patterns (~5):** §2.2 concept-rule gap (unifying methodological framing); three meanings of correlation (correspondence/reciprocity/consistency); illusion-of-certainty trap (Commons); honest scope framing (bargaining-primary SQL kernel); rationing-primary sections identification. --- ## Status **IFRS for SMEs corpus diagnostic complete:** 35/35 sections diagnosed by the primary analyst; parallel LLM-2 review on a subset (verifiable scope: §13, §22, §23, §25, §26, §29, §30, §35 plus methodological corrections); theoretical foundations grounded in Commons + Hohfeld + §2.2 concept-rule gap reframing; ~150 typed patterns catalogued; six meta-corrections received and integrated. **Companion to BIR 2026 paper** "Ontology-Guided Hybrid Intelligence for Diagnosing Underspecification in Reporting Standards." This document supports paper integration and future research; the paper itself uses a small subset of these findings selected for the 14 LNCS page budget. --- *End of synthesis document.*