@classytic/ca-tax 0.0.5 → 0.0.12

package/dist/index3.d.mts

@@ -312,29 +312,48 @@ declare function computeLossCarryback(input: LossCarrybackInput): LossCarrybackR
 /**
  * Loss-pool continuity — the jurisdiction-agnostic running balance of a loss
  * carryforward pool (non-capital or net-capital), federal T2 Schedule 4 and
- * Alberta AT1 Schedule 21 alike:
+ * Alberta AT1 Schedule 21 alike.
  *
- *   closing balance = opening (c/f from prior year)
- *                   + current-year loss created
- *                   − carried back to prior years
- *                   − applied against current-year income
- *                   − expired  (non-capital losses from 2006+ expire after 20 years)
+ * AT1 Schedule 21's own formula (§3.2.3.21, verified against the spec text,
+ * non-capital pool numbering — every pool follows the same shape):
+ *
+ *   033 (balance at beginning of year) = 031 (carried forward) − 032 (expired)
+ *   049 (closing)  = 033 + 035 (wind-up transfer) + 037 (current-year loss)
+ *                    − 041 (applied against income) − 043 (s.80 adjustment)
+ *                    − 045 (other adjustments) − 047 (carried back)
+ *
+ * i.e., in this module's field names:
+ *
+ *   balanceAtBeginningOfYear = openingBalance − expired
+ *   closingBalance = balanceAtBeginningOfYear + windUpTransfer + currentYearLoss
+ *                    − appliedCurrentYear − section80Adjustment − otherAdjustments
+ *                    − carriedBack
  *
  * The closing balance is what carries forward to next year — the spine of
  * multi-year continuity. Pure, integer whole dollars. Lives in the federal/base
  * layer; AT1 re-exports it so a provincial pool uses the exact same mechanic.
+ * `windUpTransfer`/`section80Adjustment`/`otherAdjustments` are AT1-only in
+ * practice today (federal Schedule 4 has no equivalent concept and never
+ * supplies them) — kept here rather than duplicating the whole formula in the
+ * AT1 layer for three extra terms.
  */
 interface LossContinuityInput {
-  /** Balance carried forward from the prior year. */
+  /** Balance carried forward from the prior year (031). */
   openingBalance: number;
-  /** Loss created in the current year. */
+  /** Loss created in the current year (037). */
   currentYearLoss?: number;
-  /** Total carried back to prior years (federal S3 / AT1 Schedule 10). */
+  /** Total carried back to prior years (federal S3 / AT1 Schedule 10) (047). */
   carriedBack?: number;
-  /** Applied against current-year income. */
+  /** Applied against current-year income (041). */
   appliedCurrentYear?: number;
-  /** Expired this year (20-year limit for non-capital losses from 2006+). */
+  /** Expired this year (20-year limit for non-capital losses from 2006+) (032). */
   expired?: number;
+  /** Transfer on a wind-up or amalgamation — ADDS to the pool (035). */
+  windUpTransfer?: number;
+  /** Adjustment under ITA section 80 — DEDUCTS (043). AT1-only; no federal source. */
+  section80Adjustment?: number;
+  /** Other adjustments — DEDUCTS (045). AT1-only; no federal source. */
+  otherAdjustments?: number;
 }
 interface LossContinuityResult {
   openingBalance: number;
@@ -342,6 +361,11 @@ interface LossContinuityResult {
   carriedBack: number;
   appliedCurrentYear: number;
   expired: number;
+  windUpTransfer: number;
+  section80Adjustment: number;
+  otherAdjustments: number;
+  /** 033 — opening balance net of this year's expiry. */
+  balanceAtBeginningOfYear: number;
   /** Available to carry forward — never negative. */
   closingBalance: number;
 }
@@ -809,7 +833,7 @@ type Schedule8Entry = {
   method: 'limited-life';
   class: Class14Input;
 };
-interface Schedule8Result {
+interface Schedule8Result$1 {
   decliningBalance: CcaClassResult[];
   leasehold: Class13Result[];
   limitedLife: Class14Result[];
@@ -835,9 +859,9 @@ interface Schedule8Result {
  * proceeds reach its capital cost, and the class caps at its own undepreciated
  * capital cost — so neither produces a recapture inclusion here.
  */
-declare function computeSchedule8(entries: readonly Schedule8Entry[], rates?: CcaRateTable, /** Short-tax-year proration (days ÷ 365) for the declining-balance rows. */
+declare function computeSchedule8$1(entries: readonly Schedule8Entry[], rates?: CcaRateTable, /** Short-tax-year proration (days ÷ 365) for the declining-balance rows. */
 
-prorationFactor?: number): Schedule8Result;
+prorationFactor?: number): Schedule8Result$1;
 //#endregion
 //#region src/t2/at1/schedules/schedule13-cca.d.ts
 /**
@@ -869,11 +893,40 @@ interface AlbertaCcaOverride {
   /** The class holds no assets at year-end (drives 013017 terminal loss). */
   classEmptied?: boolean;
 }
+/**
+ * Class 13 (leasehold interests), a NEW layer added this year — the full
+ * Reg 1100(1)(b)/Schedule III mechanic, not the opening-balance-only shortcut
+ * `AlbertaCcaOverride` gives the declining-balance classes. Federal and
+ * Alberta share the SAME layers/opening UCC (Alberta has no basis to lease a
+ * DIFFERENT term on the same property) — only the CLAIM can diverge, same
+ * "defaults to federal" semantics as every other AT1 column here.
+ */
+interface AlbertaClass13Input {
+  layers: readonly LeaseholdLayer[];
+  openingUCC: number;
+  applyHalfYearRule?: boolean;
+  /** Federal's claim (0..max). Omit to claim federal's maximum. */
+  federalClaim?: number;
+  /** Alberta's claim (0..max). Omit to default to federal's ACTUAL claimed amount, not federal's maximum. */
+  albertaClaim?: number;
+}
+/** Class 14 (limited-life intangibles), a NEW property added this year — same sharing rule as {@link AlbertaClass13Input}. */
+interface AlbertaClass14Input {
+  properties: readonly Class14Property[];
+  openingUCC: number;
+  daysInTaxYear?: number;
+  federalClaim?: number;
+  albertaClaim?: number;
+}
 interface AlbertaSchedule13Input {
   /** The federal Schedule 8 rows. Alberta figures default to these. */
   federalClasses: readonly FederalCcaClass[];
   /** Alberta overrides, keyed by class. Classes with no override match federal. */
   albertaOverrides?: readonly AlbertaCcaOverride[];
+  /** A Class 13 leasehold layer added THIS year (federal claims nil ⇒ omit `federalClaim`). */
+  class13?: AlbertaClass13Input;
+  /** A Class 14 property added THIS year. */
+  class14?: AlbertaClass14Input;
   /**
    * 000060 — is the corporation reporting different Alberta taxable income?
    * Defaults to false.
@@ -1533,6 +1586,178 @@ interface DonationMaximumResult {
 }
 declare function computeDonationMaximum(input: DonationMaximumInput): DonationMaximumResult;
 //#endregion
+//#region src/t2/at1/schedules/schedule21-limited-partnership.d.ts
+/**
+ * AT1 Schedule 21 — Continuity of Limited Partnership Losses.
+ *
+ * A sixth section the schedule's own form has, separate from the five pools
+ * in `schedule21-loss-continuity.ts` — one row PER PARTNERSHIP, not per
+ * jurisdiction. Verified against the spec text (§3.2.3.21):
+ *
+ *   141 (closing) = 133 (preceding-year balance) + 135 (wind-up transfer)
+ *                   + 137 (current-year LP loss) − 139 (applied)
+ *
+ *   139 (applied) is capped: "cannot exceed 021133 + 021135" — a partnership
+ *   cannot apply more than it actually has on hand (its preceding balance
+ *   plus whatever was transferred to it this year).
+ *
+ * The TOTAL of column 139 carries forward to Schedule 12 line 072 (stated
+ * on the form itself: "Carry forward the total of column 139 to Schedule 12,
+ * line 072").
+ *
+ * Whole dollars, pure.
+ */
+interface LimitedPartnershipLossRow {
+  /** 131 — partnership identifier, if known. No amount is filed for occurrence 0. */
+  identifier?: string;
+  /** 133 — limited partnership losses at the end of the preceding taxation year. */
+  precedingYearBalance: number;
+  /** 135 — transferred from an amalgamation or wind-up of a subsidiary. */
+  transferredOnWindUp?: number;
+  /** 137 — the limited partnership loss created this year. */
+  currentYearLoss?: number;
+  /** 139 — applied this year. Capped at 133 + 135; omit for nothing applied. */
+  applied?: number;
+}
+interface LimitedPartnershipLossRowResult {
+  identifier?: string;
+  precedingYearBalance: number;
+  transferredOnWindUp: number;
+  currentYearLoss: number;
+  /** 139 — the LESSER of what was requested and 133 + 135. */
+  applied: number;
+  /** 141 — 133 + 135 + 137 − 139. */
+  closingBalance: number;
+  issues: string[];
+}
+declare function computeLimitedPartnershipLossRow(row: LimitedPartnershipLossRow): LimitedPartnershipLossRowResult;
+interface LimitedPartnershipLossesResult {
+  rows: LimitedPartnershipLossRowResult[];
+  /** Σ 139 — carries forward to Schedule 12 line 072. */
+  totalApplied: number;
+  totalClosingBalance: number;
+  issues: string[];
+}
+declare function computeLimitedPartnershipLosses(rows: readonly LimitedPartnershipLossRow[]): LimitedPartnershipLossesResult;
+//#endregion
+//#region src/t2/at1/schedules/schedule21-year-of-origin.d.ts
+/**
+ * AT1 Schedule 21 — Analysis of Losses by Year of Origin.
+ *
+ * TWO more sections the live form has (pages 3-4 of
+ * `research/sources/tra-forms/pdf/AT1SCH21-loss-continuity-TRA11741.pdf`),
+ * both entirely separate from the five jurisdiction pools and the limited
+ * partnership grid already modelled elsewhere in this directory:
+ *
+ *   ANCL — non-capital losses, one row per vintage year (0 = current, 1-20 =
+ *          preceding taxation years — the 20-year expiry limit), SIX columns.
+ *   AOL  — farm / restricted-farm / listed-personal-property losses, same
+ *          21 rows, but just ONE balance figure per type per year (no
+ *          sub-formula) — listed personal property expires after 7 years,
+ *          not 20, so it has NO occurrences 8-20.
+ *
+ * Verified against the spec's own field-by-field business rules
+ * (§3.2.3.21). Two constraints matter enough to be load-bearing here:
+ *
+ *   - ANCL row 0 (current year) is NOT separately entered: 021157 "must
+ *     equal 021021" (the schedule's own top-level current-year loss) and
+ *     021165 "must equal 021047" (the pool's total carried-back). Both are
+ *     already computed elsewhere in this module — row 0 is DERIVED, not
+ *     asked for twice.
+ *   - AOL's `listedPersonalPropertyLosses` is REFUSED for `yearIndex` 8-20
+ *     ("There should be no amount for occurrences 8 to 20") — a 7-year
+ *     expiry limit, distinct from farm/restricted-farm's 20-year one.
+ *
+ * `Continuity of Restricted Interest and Financing Expenses` (RIFE, page 5
+ * of the same PDF, lines 200-250/310-350) is the live form's NINTH section
+ * and is deliberately NOT modelled here: an exhaustive search of the entire
+ * NetFile transmission spec (§3.2.3.1 through the schedule index) turns up
+ * no `021200`-`021350` field anywhere — it is not part of the electronic
+ * filing schema this engine targets, only the paper form. Flagged, not
+ * silently dropped.
+ *
+ * Whole dollars, pure.
+ */
+/** One PRECEDING year's vintage (1-20) — cannot be derived, the caller's own multi-year continuity record. */
+interface LossVintageEntry {
+  /** 151 — 1 = the immediately preceding taxation year, up to 20. */
+  yearsAgo: number;
+  /** 153 — that year's tax year end, ISO `YYYY-MM-DD`. */
+  taxYearEnd?: string;
+  /** 155 — balance at the beginning of THIS vintage's year. */
+  balanceAtBeginning?: number;
+  /** 159 — adjustments and transfers for this vintage this year. Signed. */
+  adjustments?: number;
+  /** 167 — applied to reduce taxable income this year, from THIS vintage specifically. */
+  applied?: number;
+}
+interface LossVintageRowResult {
+  /** 151 — 0 = current year, 1-20 = preceding taxation years. */
+  yearIndex: number;
+  /** 153 */
+  taxYearEnd?: string;
+  /** 155 — nil for the current year (row 0); nothing is "at the beginning" of the year it's created in. */
+  balanceAtBeginning: number;
+  /** 157 — nil for every row except the current year (row 0 only). */
+  lossIncurred: number;
+  /** 159 */
+  adjustments: number;
+  /** 165 — nil for every row except the current year (row 0 only; a loss can only be carried back in its own year). */
+  carriedBack: number;
+  /** 167 — nil for the current year (row 0); nothing has been "applied" yet to a loss not yet closed out. */
+  applied: number;
+  /** 169 — 155 + 157 + 159 − 165 − 167. */
+  balanceAtEnd: number;
+}
+interface NonCapitalLossByYearOfOriginInput {
+  /** → row 0's 157. Must equal Schedule 21's own current-year non-capital loss (line 021). */
+  currentYearLoss: number;
+  /** → row 0's 165. Must equal the non-capital pool's total carried back (line 047). */
+  currentYearCarriedBack: number;
+  /** Rows 1-20 — the corporation's own prior-year vintage history. */
+  priorVintages?: readonly LossVintageEntry[];
+}
+interface NonCapitalLossByYearOfOriginResult {
+  rows: LossVintageRowResult[];
+  totals: {
+    balanceAtBeginning: number;
+    lossIncurred: number;
+    adjustments: number;
+    carriedBack: number;
+    applied: number;
+    balanceAtEnd: number;
+  };
+  issues: string[];
+}
+declare function computeNonCapitalLossByYearOfOrigin(input: NonCapitalLossByYearOfOriginInput): NonCapitalLossByYearOfOriginResult;
+/** One year's balance across the three simple pools — no sub-formula, a raw figure per pool per vintage. */
+interface OtherLossVintageEntry {
+  /** 181 — 0 = current year, 1-20 = preceding taxation years. */
+  yearIndex: number;
+  /** 183 */
+  farmLosses?: number;
+  /** 185 */
+  restrictedFarmLosses?: number;
+  /** 187 — REFUSED for yearIndex 8-20 (listed personal property expires after 7 years, not 20). */
+  listedPersonalPropertyLosses?: number;
+}
+interface OtherLossVintageRowResult {
+  yearIndex: number;
+  farmLosses: number;
+  restrictedFarmLosses: number;
+  listedPersonalPropertyLosses: number;
+}
+interface OtherLossByYearOfOriginResult {
+  rows: OtherLossVintageRowResult[];
+  totals: {
+    farmLosses: number;
+    restrictedFarmLosses: number;
+    listedPersonalPropertyLosses: number;
+  };
+  issues: string[];
+}
+declare function computeOtherLossByYearOfOrigin(rows: readonly OtherLossVintageEntry[]): OtherLossByYearOfOriginResult;
+//#endregion
 //#region src/t2/at1/schedules/schedule29-eligible-expenditures.d.ts
 /**
  * AT1 Schedule 29 page 1 — Eligible Expenditures for IEG Purposes (lines
@@ -2278,9 +2503,12 @@ declare function schedule12Values(input: Schedule12FilingInput): At1ScheduleData
  * cross-schedule links are not modelled here — this builder emits Schedule 21's
  * own lines, and the caller supplies Schedule 12's figures directly.
  *
- * Only the lines the engine computes are emitted. The section 80 and
- * other-adjustment lines in between are conditional rather than mandatory, so an
- * absent one is left off rather than zeroed.
+ * Every line the pool's own form entry (`AT1_SCHEDULE_21_POOLS`, the same
+ * table the FORM definition uses — imported directly, not re-transcribed, so
+ * the two cannot drift) names is emitted from the matching `LossContinuityResult`
+ * field. A pool that has no line for a given concept (e.g. capital has no
+ * "expired" row) simply has no key there, so nothing is emitted for it — not
+ * a gap, the form genuinely has no box for it.
  */
 interface Schedule21FilingInput {
   /** 021021 — the current year non-capital loss, from the first part. */
@@ -2290,6 +2518,17 @@ interface Schedule21FilingInput {
   farm?: LossContinuityResult;
   restrictedFarm?: LossContinuityResult;
   listedPersonalProperty?: LossContinuityResult;
+  /**
+   * The sixth section the live form has — one occurrence per partnership
+   * (131-141), NOT a sixth jurisdiction pool. Merged into the SAME
+   * `Schedule Number="021"` block as the five pools above, not a separate
+   * schedule object — the payload has one `021` block, not two.
+   */
+  limitedPartnershipLosses?: LimitedPartnershipLossesResult;
+  /** The SEVENTH section — analysis of non-capital losses by year of origin (151-169), 21 occurrences. */
+  nonCapitalByYearOfOrigin?: NonCapitalLossByYearOfOriginResult;
+  /** The EIGHTH section — farm/restricted-farm/LPP by year of origin (181-187), 21 occurrences. */
+  otherLossesByYearOfOrigin?: OtherLossByYearOfOriginResult;
 }
 declare function schedule21Values(input: Schedule21FilingInput): At1ScheduleData;
 /**
@@ -2419,6 +2658,2719 @@ interface AllocationFactorInput {
 declare const SINGLE_JURISDICTION_ALBERTA_FACTOR = 1;
 declare function computeAllocationFactor(input: AllocationFactorInput): number;
 //#endregion
+//#region src/t2/at1/schedules/schedule3-other-deductions-credits.d.ts
+/**
+ * Alberta AT1 Schedule 3 — Alberta Other Tax Deductions and Credits.
+ *
+ * NOT one calculation. The spec (TRA spec §3.2.3.4, "3B3B3.2.3.4 Schedule 3 -
+ * Alberta Other Tax Deductions and Credits", `AT1-Chapter3-2025.2-full.txt`
+ * lines 4127-4898) groups THREE independent non-refundable investment tax
+ * credit continuities under one shared ceiling:
+ *
+ *   ITC    Investor Tax Credit                    (lines 100-108, 120-130)
+ *   CITC   Capital Investment Tax Credit           (lines 200-208, 220-230)
+ *   APITC  Agri-Processing Investment Tax Credit   (lines 300-316, 330-340)
+ *   MAD    Maximum Allowable Deduction — the shared ceiling (lines 600-604)
+ *
+ * No matching form PDF exists under `research/sources/tra-forms/pdf/` (searched
+ * for `AT1SCH03*` — nothing found, unlike every other schedule this package
+ * models). The specification TEXT is therefore the only source for this
+ * schedule's shape; there is no live-form layout to cross-check it against.
+ *
+ * ── The shared ceiling (lines 600-604) ───────────────────────────────────────
+ *
+ *   600 = 003104 + 003204 + 003312          (ITC + CITC + APITC applied)
+ *   602 = 000068 − (000070+000071+000072+000074)   (AT1 page 2 room)
+ *   604 = lesser of 600 and 602             ("Total Deduction")
+ *
+ * `000068`/`000070`/`000071`/`000072`/`000074` are AT1 page-2 jacket lines this
+ * engine does not compute here (out of this module's scope per the task's scope
+ * rule) — they are plain numeric inputs (`MaximumAllowableDeductionInput`).
+ *
+ * ── Three pools, one room, in a STATED precedence ────────────────────────────
+ *
+ * ITC is applied first, capped only by 602 itself:
+ *   104 ≤ 000068 − (000070+000071+000072+000074)
+ *
+ * CITC is gated behind ITC: "If 003108 > 0 [ITC still has an unused carryforward
+ * balance after this year's application], then [204] must equal zero." Only once
+ * the ITC pool is fully drawn down may CITC be claimed, capped at what room ITC
+ * left behind:
+ *   204 ≤ 602 − 104   (when 108 = 0; otherwise 204 = 0)
+ *
+ * APITC draws on what both leave behind, but against a DIFFERENT room formula —
+ * the spec's four "cannot exceed" clauses for 304/306/308/310 all subtract only
+ * `(000070+000072)`, NOT `000071`/`000074` the way 104/204/602 do. That asymmetry
+ * is transcribed exactly as written, not corrected, because it repeats
+ * identically across all five APITC business-rule cells (304, 306, 308, 310, 312)
+ * — consistent enough to be deliberate rather than a transcription slip:
+ *   312 ≤ 000068 − (000070+000072) − (104+204)
+ *
+ * ── APITC: per-vintage percentage caps ───────────────────────────────────────
+ *
+ * The four "cannot exceed" clauses for 304/306/308/310, read together, are
+ * algebraically just ONE combined-total constraint stated four times from four
+ * different partial-sum vantage points (each says "this line ≤ R − the lines
+ * listed", and the lines listed are exactly the OTHER three) — they collapse to
+ * `304+306+308+310 ≤ R`, which is exactly what 312's own business rule states
+ * directly. So the four clauses add nothing beyond that one shared-room ceiling;
+ * what makes each vintage different is its OWN percentage cap from AAPITC
+ * (330-340):
+ *
+ *   occurrence 0 (current year, 334/336 occ 0)   ≤ 20% of that vintage's receipt
+ *   occurrence 1 (1st preceding, occ 1)          ≤ 30% of that vintage's receipt
+ *   occurrence 2 (2nd preceding, occ 2)          ≤ 50% of that vintage's receipt
+ *   occurrences 3-10 (3rd-10th preceding)        no percentage cap, own balance only
+ *
+ * `computeSchedule3` claims each vintage's OWN cap first, then allocates the
+ * shared room OLDEST-VINTAGE-FIRST when the total requested exceeds it — APITC
+ * is a 10-year-preceding, use-it-or-lose-it credit and the spec states no
+ * application order, so this engine flags that choice in `issues` rather than
+ * silently guessing at NetFile's actual tie-break. Supply `amountApplied` on
+ * each vintage directly for exact filing parity.
+ *
+ * ── What is deliberately NOT modelled ────────────────────────────────────────
+ *
+ * The AITC/ACITC year-of-origin analysis tables (120-130, 220-230) are
+ * supplementary detail TRA requires when a corporation carries ITC or CITC.
+ * Unlike AAPITC, the spec gives them no percentage cap or application order of
+ * their own — every business rule on those lines is a reconciliation back to the
+ * aggregate 104/106/204/206 this module already computes (e.g. "126 … Value must
+ * be less than or equal to 124+125", "130 … calculate 124+125-126-128"). Adding a
+ * per-vintage array for ITC/CITC would only re-derive numbers this module
+ * already produces without a spec-given rule to allocate them across years, so
+ * it is left out; a caller filing the AITC/ACITC detail pages supplies that
+ * per-vintage split itself.
+ *
+ * Whole dollars, pure.
+ */
+interface MaximumAllowableDeductionInput {
+  /** AT1 page 2, line 068 — Alberta tax payable before this deduction. */
+  taxPayableBeforeDeduction?: number;
+  /** AT1 page 2, line 070. */
+  line070?: number;
+  /** AT1 page 2, line 071. */
+  line071?: number;
+  /** AT1 page 2, line 072. */
+  line072?: number;
+  /** AT1 page 2, line 074. */
+  line074?: number;
+}
+interface InvestorTaxCreditInput {
+  /** 003100 — total shown on all ITC certificates issued during the year. */
+  certificatesIssued?: number;
+  /** 003102 — total ITC carried forward from prior year(s) (= prior year's 108). */
+  carryforwardFromPriorYear?: number;
+  /** 003106 — total ITC expired during the year. */
+  expired?: number;
+  /**
+   * 003104 — amount applied to the current taxation year. Omit to claim the
+   * maximum the shared room (602) and the available pool (100+102) both allow.
+   */
+  amountApplied?: number;
+}
+interface InvestorTaxCreditResult {
+  certificatesIssued: number;
+  carryforwardFromPriorYear: number;
+  /** 100 + 102 — the pool before this year's claim. */
+  availableBeforeClaim: number;
+  /** 003104 — capped at the pool and at the 602 room (ITC has first call on it). */
+  amountApplied: number;
+  expired: number;
+  /** 003108 = 100 + 102 − 104 − 106. Driving CITC's gate below. */
+  carryforwardToNextYear: number;
+}
+interface CapitalInvestmentTaxCreditInput {
+  /** 003200 — total shown on all CITC certificates issued during the year. */
+  certificatesIssued?: number;
+  /** 003202 — total CITC carried forward from prior year(s) (= prior year's 208). */
+  carryforwardFromPriorYear?: number;
+  /** 003206 — total CITC expired during the year. */
+  expired?: number;
+  /**
+   * 003204 — amount applied to the current taxation year. Ignored (forced to
+   * zero) whenever the ITC pool still has an unused carryforward balance —
+   * see the module docstring.
+   */
+  amountApplied?: number;
+}
+interface CapitalInvestmentTaxCreditResult {
+  certificatesIssued: number;
+  carryforwardFromPriorYear: number;
+  availableBeforeClaim: number;
+  /** 003204 — zero whenever ITC's 108 > 0, otherwise capped at 602 − 104. */
+  amountApplied: number;
+  expired: number;
+  /** 003208 = 200 + 202 − 204 − 206. */
+  carryforwardToNextYear: number;
+}
+interface AgriProcessingCurrentYearInput {
+  /** 003334 occurrence 0 (= 003300) — total on APITC certificates issued this year. */
+  received?: number;
+  /** 003336 occurrence 0 (= 003304) — applied from the current year's receipt, ≤ 20%. */
+  amountApplied?: number;
+}
+/**
+ * A single preceding-year vintage (occurrence 1 or 2). `availableAtBeginning`
+ * (003335) is the original receipt LESS whatever was applied in prior years —
+ * multi-year history this pure function does not carry, so the caller supplies
+ * the already-reduced balance directly rather than the original 003334 receipt.
+ */
+interface AgriProcessingVintageInput {
+  /** 003335 for this occurrence — balance available at the start of this year. */
+  availableAtBeginning?: number;
+  /** 003336 for this occurrence — applied this year, capped at this vintage's own %. */
+  amountApplied?: number;
+}
+/** Occurrences 3 through 10, combined — the spec caps this block as one group. */
+interface AgriProcessingCombinedVintageInput {
+  /** Sum of 003335 across occurrences 3-10. */
+  availableAtBeginning?: number;
+  /** Sum of 003336 across occurrences 3-10 (= 003310). No percentage cap. */
+  amountApplied?: number;
+}
+interface AgriProcessingTaxCreditInput {
+  current?: AgriProcessingCurrentYearInput;
+  /** 1st preceding taxation year, occurrence 1 — 30% cap. */
+  firstPreceding?: AgriProcessingVintageInput;
+  /** 2nd preceding taxation year, occurrence 2 — 50% cap. */
+  secondPreceding?: AgriProcessingVintageInput;
+  /** 3rd-10th preceding taxation years, occurrences 3-10 — no % cap. */
+  thirdToTenthPreceding?: AgriProcessingCombinedVintageInput;
+  /** 003314 — total APITC expired during the year (= 003338 occurrence 10). */
+  expiredThisYear?: number;
+}
+interface AgriProcessingVintageResult {
+  available: number;
+  /** This vintage's own percentage ceiling (Infinity-free — already in dollars). */
+  ownCap: number;
+  amountApplied: number;
+}
+interface AgriProcessingTaxCreditResult {
+  current: AgriProcessingVintageResult;
+  firstPreceding: AgriProcessingVintageResult;
+  secondPreceding: AgriProcessingVintageResult;
+  thirdToTenthPreceding: Omit<AgriProcessingVintageResult, 'ownCap'>;
+  /** 003300 — total received on certificates issued this year (= current.available). */
+  totalReceived: number;
+  /** 003302 — sum of 003335 across occurrences 1-10. */
+  carryforwardFromPriorYear: number;
+  /** 003304+306+308+310 requested, before the shared-room allocation below. */
+  totalRequested: number;
+  /** 003312 = 304+306+308+310, after the shared-room allocation. */
+  totalApplied: number;
+  expired: number;
+  /** 003316 = 300 + 302 − 312 − 314. */
+  availableForCarryforward: number;
+}
+interface Schedule3Input {
+  mad?: MaximumAllowableDeductionInput;
+  itc?: InvestorTaxCreditInput;
+  citc?: CapitalInvestmentTaxCreditInput;
+  apitc?: AgriProcessingTaxCreditInput;
+}
+interface MaximumAllowableDeductionResult {
+  /** 003600 = 104 + 204 + 312. */
+  creditsApplied: number;
+  /** 003602 = 000068 − (000070+000071+000072+000074). May be negative; not floored. */
+  room: number;
+}
+interface Schedule3Result {
+  mad: MaximumAllowableDeductionResult;
+  itc: InvestorTaxCreditResult;
+  citc: CapitalInvestmentTaxCreditResult;
+  apitc: AgriProcessingTaxCreditResult;
+  /** 003604 — lesser of mad.creditsApplied and mad.room, floored at nil. */
+  totalDeduction: number;
+  issues: string[];
+}
+declare function computeSchedule3(input: Schedule3Input): Schedule3Result;
+/**
+ * `scheduleNNValues` for Schedule 3, following the `at1-schedule-line-items.ts`
+ * builder pattern (see `schedule20Values`, `schedule16Values`). Kept in THIS
+ * file rather than the shared filing module per the task instructions — other
+ * agents are editing `at1-schedule-line-items.ts` concurrently.
+ */
+interface At1ScheduleValueLike$6 {
+  lineItemId: string;
+  value: string | number;
+}
+interface At1ScheduleDataLike$6 {
+  scheduleId: string;
+  values: At1ScheduleValueLike$6[];
+}
+/**
+ * Field ids per the spec transcription above: 100-108 (ITC), 200-208 (CITC),
+ * 300-316 (APITC), 600-604 (MAD). The by-year-of-origin detail pages
+ * (120-130/220-230/330-340) are NOT emitted — this module does not compute a
+ * per-vintage split for ITC/CITC (see the module docstring), and the APITC
+ * per-vintage figures this DOES compute (304/306/308/310) are filed on the
+ * 300-series rollup, not re-emitted as an AAPITC occurrence table.
+ */
+declare function schedule3Values(result: Schedule3Result): At1ScheduleDataLike$6;
+//#endregion
+//#region src/t2/at1/schedules/schedule4-foreign-investment-tax-credit.d.ts
+/**
+ * Alberta AT1 Schedule 4 — Alberta Foreign Investment Income Tax Credit.
+ *
+ * One "FIC" occurrence per foreign country in which the corporation earned
+ * foreign non-business income (TRA spec §3.2.3.5, lines 4899-5082). AB form
+ * 004 exists only if federal Schedule 21 (form 021) exists, and the
+ * spec directs the field occurrences be sorted "in the same order as on the
+ * federal form":
+ *
+ *   004002  country                                    = fed 021100
+ *   004004  net foreign investment income               = fed 021110
+ *   004006  foreign tax paid, net of the ITA 20(12)/ACTA 8(2.2) deduction
+ *   004008  federal non-business foreign tax credit      = fed 021180
+ *   004012  allowable credit = lesser of D or G
+ *
+ * **004006** has a conditional business rule: if the ITA subsection 20(12)
+ * deduction was computed DIFFERENTLY for Alberta (the ACTA 8(2.2) amount),
+ * the value is `fed 021120 − greater(Alberta 8(2.2) amount, fed 021130)`;
+ * otherwise it is `fed 021120 − fed 021130`. Both branches collapse to the
+ * SAME expression: `max(albertaDeduction, fed021130)` equals `fed021130`
+ * exactly when the two amounts don't differ, so this module always computes
+ * the max, with the Alberta figure defaulting to the federal one. No separate
+ * "differs" flag is needed — it falls out of the algebra.
+ *
+ * **004012** is the lesser of two amounts, D and G, transcribed exactly:
+ *
+ *   D = 004004 × 000065 × [000068 / ((000062 − 000064) × 000065)]
+ *   G = (004006 − 004008) × 000065
+ *   012 = lesser of D or G (calculate to 3 decimal places, rounding up at 5)
+ *
+ * 000062 (Alberta taxable income), 000064 (royalty tax deduction), 000065
+ * (allocation factor) and 000068 (basic Alberta tax payable) are AT1 JACKET
+ * lines this engine computes elsewhere (see `at1-line-items.ts`), not part of
+ * this schedule — they are taken here as plain numeric inputs, named to match
+ * the jacket's own field names (`albertaTaxableIncome`, `royaltyTaxDeduction`,
+ * `allocationFactor`, `basicAlbertaTax`) so a caller can wire the two
+ * together without renaming anything.
+ *
+ * D's ratio is degenerate on paper: 000068 is ITSELF DEFINED, elsewhere on the
+ * jacket (line 068), as `(000062 − 000064) × 000065` — so the bracket
+ * `000068 / ((000062−000064)×000065)` is exactly 1 whenever the two figures
+ * agree, and D collapses to `004004 × 000065`. The spec still writes the
+ * general form (it is not pre-simplified in the source) and this module
+ * reproduces it literally rather than assuming the identity always holds — a
+ * caller's `basicAlbertaTax` may be a filed or overridden figure that does
+ * not exactly match the jacket's own formula. If the denominator is nil, D
+ * cannot be computed; the module falls back to nil for that occurrence and
+ * flags an issue rather than dividing by zero.
+ *
+ * "Calculate to 3 decimal places rounding up at 5" is applied to D and G
+ * before the lesser is taken; the final 004012 amount is then rounded to the
+ * nearest whole dollar, matching this repo's whole-dollar-integer convention
+ * for every other field.
+ *
+ * The jacket total (000072, "Alberta Foreign Investment Income Tax Credit")
+ * is the lesser of the SUM of all 004012 occurrences and
+ * `000068 − (000070 + 000071)` — that comparison lives on the jacket, not
+ * here (000070/000071 are the small business and M&P deductions, schedules
+ * this module doesn't reach). This module sums the occurrences as
+ * `totalAllowableCredit` for a caller to feed into that jacket comparison.
+ *
+ * Whole dollars, pure.
+ */
+interface ForeignInvestmentCountryInput {
+  /** 004002 — two-character country code. Must equal fed 021100 for the occurrence. */
+  country: string;
+  /** 004004 — net foreign investment income. Must equal fed 021110. */
+  netForeignInvestmentIncome?: number;
+  /** fed 021120 — foreign investment income tax paid, gross (before any 20(12)/8(2.2) deduction). */
+  fedForeignTaxPaid?: number;
+  /** fed 021130 — the ITA subsection 20(12) deduction claimed federally for the occurrence. */
+  fedIta2012Deduction?: number;
+  /**
+   * The Alberta ACTA 8(2.2) deduction, where it was computed DIFFERENTLY than
+   * the federal ITA 20(12) figure. Defaults to `fedIta2012Deduction` — the two
+   * business-rule branches collapse to the same `max()` expression, so no
+   * separate "differs" flag is needed.
+   */
+  albertaActa82Deduction?: number;
+  /** 004008 — federal non-business foreign tax credit. Must equal fed 021180. */
+  fedNonBusinessForeignTaxCredit?: number;
+}
+interface ForeignInvestmentCountryResult {
+  country: string;
+  /** 004004. */
+  netForeignInvestmentIncome: number;
+  /** 004006 — foreign tax paid, net of the 20(12)/8(2.2) deduction. */
+  taxPaidNetOfDeduction: number;
+  /** 004008. */
+  federalNonBusinessForeignTaxCredit: number;
+  /** D — see module doc. Rounded to 3 decimal places. */
+  incomeProrationAmount: number;
+  /** G — see module doc. Rounded to 3 decimal places. */
+  taxPaidLessFederalCredit: number;
+  /** 004012 — the lesser of D and G, floored at nil and rounded to the whole dollar. */
+  allowableCredit: number;
+}
+interface Schedule4Input$1 {
+  /** One occurrence per country, in the same order as the federal form. */
+  countries: ForeignInvestmentCountryInput[];
+  /** 000062 — AT1 jacket line: Alberta taxable income. */
+  albertaTaxableIncome?: number;
+  /** 000064 — AT1 jacket line: royalty tax deduction (Schedule 5). */
+  royaltyTaxDeduction?: number;
+  /** 000065 — AT1 jacket line: allocation factor. */
+  allocationFactor?: number;
+  /** 000068 — AT1 jacket line: basic Alberta tax payable. */
+  basicAlbertaTax?: number;
+}
+interface Schedule4Result$1 {
+  countries: ForeignInvestmentCountryResult[];
+  /** Sum of all 004012 occurrences — feeds jacket line 000072 (capped there, not here). */
+  totalAllowableCredit: number;
+  issues: string[];
+}
+declare function computeSchedule4(input: Schedule4Input$1): Schedule4Result$1;
+/**
+ * Net File line items for AT1 Schedule 4 — one FIC occurrence per country.
+ * Field ids from the spec (§3.2.3.5): 002 country, 004 net foreign investment
+ * income, 006 foreign tax paid net of deduction, 008 federal non-business
+ * foreign tax credit, 012 allowable credit.
+ *
+ * Does NOT emit jacket line 000072 (the sum-vs-remaining-tax comparison) —
+ * that is a jacket line, not a Schedule 4 line, and belongs to whichever
+ * module builds the jacket. Use `result.totalAllowableCredit` for that.
+ */
+declare function schedule4Values(result: Schedule4Result$1): At1ScheduleData;
+//#endregion
+//#region src/t2/at1/schedules/schedule5-royalty-tax-deduction.d.ts
+/**
+ * Alberta AT1 Schedule 5 — Alberta Royalty Tax Deduction.
+ *
+ * TRA spec §3.2.3.6 (Chapter 3, lines 5083-6291). The Alberta Royalty Tax
+ * Deduction (RTD) shelters "Attributed Canadian Royalty Income" — Crown
+ * charges net of the resource allowance and reimbursements — against Alberta
+ * taxable income. Form 005 (this schedule) is required whenever the
+ * corporation has Attributed Canadian Royalty Income, and **Form 007 (AT1
+ * Schedule 7 — Royalty Tax Credit/Deduction Supplemental Information) must be
+ * completed before Form 005** (line 5133-5138): "IF FORM 007 IS NOT INCLUDED
+ * WITH FORMS 005 AND/OR 006, THEN THE CLIENT'S RTC ENTITLEMENT WILL BE
+ * DISALLOWED."
+ *
+ * ── Structure ────────────────────────────────────────────────────────────
+ *
+ * The schedule has two independent pool systems that both feed AT1 core line
+ * 064 (Royalty Tax Deduction):
+ *
+ *   1. **CRTD** ("Calculation of the Royalty Tax Deduction", 005001-005027) —
+ *      the corporation's OWN unsuccessored royalty pool. A single running
+ *      pool with a discretionary claim (line 016), capped by what remains
+ *      available.
+ *   2. **Successored pools** (Area C/D, 005101-005140) — per-vendor pools
+ *      acquired on a change in control or the acquisition of substantially
+ *      all Canadian resource properties, split into "second successored"
+ *      (SSPI, 005101-005115) and "first successored" (FSPI, 005121-005135)
+ *      generations. Unlike the CRTD, each occurrence's claim is MANDATORY
+ *      arithmetic (marked "M" in the spec), not discretionary: it is exactly
+ *      `min(pool base, property income)`.
+ *
+ * AT1 core line 064 = `005016 + 005140`, capped at AT1 core line 062 (Alberta
+ * Taxable Income before the deduction). This engine cannot see line 062 (it
+ * belongs to the AT1 jacket, not this schedule) so it is accepted as a plain
+ * numeric input, `albertaTaxableIncomeBeforeDeduction`.
+ *
+ * ── Cross-references accepted as plain inputs (NOT re-derived here) ────────
+ *
+ *   • **005001** (Crown charges, line 001) is "the amount from [AT1] Schedule
+ *     7, line 061" — a nine-term sum over Schedule 7's own Crown-payment,
+ *     partnership-share and prior-year-adjustment sections (007003 + 007005 +
+ *     007007 + 007009 + 007011 + 007013 + 007017 + 007025 + 007029 + Σ007077
+ *     + Σ007079 + Σ007081 − 007051). AT1 Schedule 7 is a separate schedule
+ *     with its own filing requirement (see above) built independently of this
+ *     module. This engine accepts the finished Schedule 7 line 061 figure —
+ *     `crownChargesNetOfReimbursements` — and applies only the final "if
+ *     negative, default to zero" step that line 001 itself specifies.
+ *   • **005005** (resource allowance, line 005): "Value = 012024 if it
+ *     exists, otherwise default to fed 001346." AT1 Schedule 12
+ *     (income/loss reconciliation) and federal Schedule 1 are both external
+ *     to this module; the two candidate figures are accepted as plain inputs
+ *     and this schedule applies only the stated precedence.
+ *
+ * ── A literal-spec asymmetry worth flagging (not "fixed") ──────────────────
+ *
+ * Line 013 (the pool available before the current year's claim, used to
+ * build lines 016 and 017) is `005001 − 005005 − 005007 + 005011` — it nets
+ * out **reimbursements (005007)**. Line 025 (the Attributed Royalty Income
+ * carried forward to NEXT year) is defined by the spec as `005001 − 005005 +
+ * 005011 − 000064 − 005023` (or, when `005001 − 005005 < 0`, `005011 − 000064
+ * − 005023`) — with **no 005007 term at all**. That is exactly what TRA's
+ * EFILE business rule states (lines 5379-5386 of the spec); this module
+ * implements it literally rather than assuming the omission is a transcription
+ * error and "fixing" it to match line 013's shape.
+ *
+ * Also note line 025 subtracts **000064**, the COMBINED royalty tax deduction
+ * (CRTD claim + successored total, capped at Alberta taxable income) — not
+ * just the CRTD's own claim (005016). That is likewise the literal EFILE
+ * mapping, not a simplification made here.
+ *
+ * Whole dollars, pure.
+ */
+/** One predecessor's transfer into the corporation's unsuccessored pool (Area B, 005031-005037). */
+interface At1Schedule5PredecessorTransfer {
+  /** 005031 — predecessor's legal name. */
+  predecessorName: string;
+  /** 005033 — Alberta Corporate Account Number, if the predecessor was Alberta-registered. */
+  albertaCorporateAccountNumber?: string;
+  /** 005035 — date of the transfer event (ISO `YYYY-MM-DD`), within the corporation's taxation year. */
+  dateOfEvent: string;
+  /** 005037 — carry-forward amount transferred to this corporation. */
+  amountTransferred: number;
+}
+/**
+ * One occurrence in a successored-pool section (SSPI 005101-005115 or FSPI
+ * 005121-005135). `poolBroughtForward` and `acquisitionAmount` are mutually
+ * exclusive per the spec ("only one field can exist" for 105/107 and for
+ * 125/127) — supply exactly one.
+ */
+interface At1Schedule5SuccessoredPoolEntry {
+  /** 005101 / 005121 — legal name of the vendor, predecessor, or the corporation itself on a change in control. */
+  vendorName: string;
+  /** 005103 / 005123 — date of the event (ISO `YYYY-MM-DD`), oldest to newest across occurrences. */
+  dateOfEvent: string;
+  /**
+   * 005105 / 005125 — pool amount available for carry-forward at the end of
+   * the preceding year (continuing an existing successored pool). Mutually
+   * exclusive with `acquisitionAmount` for the same occurrence.
+   */
+  poolBroughtForward?: number;
+  /**
+   * 005107 / 005127 — cost on acquisition of all/substantially all Canadian
+   * resource properties, or on a change in control, under s.20(8) or 20(14)
+   * (a NEW successored pool this year). Mutually exclusive with
+   * `poolBroughtForward` for the same occurrence.
+   */
+  acquisitionAmount?: number;
+  /** 005109 / 005129 — property income under s.20(1)(c). A loss (negative) is treated as nil. */
+  propertyIncome: number;
+}
+/** Result for one successored-pool occurrence (005111/005113 or 005131/005133). */
+interface At1Schedule5SuccessoredPoolEntryResult {
+  vendorName: string;
+  dateOfEvent: string;
+  /** (105 or 107) / (125 or 127) — the pool base for this occurrence. */
+  base: number;
+  /**
+   * Which mutually-exclusive field `base` came from — 105/125 for
+   * `'broughtForward'`, 107/127 for `'acquired'`, or `'unspecified'` when
+   * neither was supplied (base is nil; see the `issues` entry for the
+   * occurrence). Drives which line `schedule5Values` files `base` under.
+   */
+  baseKind: 'broughtForward' | 'acquired' | 'unspecified';
+  /** Property income, floored at zero. */
+  propertyIncome: number;
+  /** 005111 / 005131 — mandatory arithmetic: min(base, propertyIncome). */
+  claim: number;
+  /** 005113 / 005133 — base minus claim. */
+  carryForwardBeforeTransfer: number;
+}
+/** 005026/005027 — whether the resource pools were transferred during the year. */
+interface At1Schedule5PoolTransfer {
+  /**
+   * 005026 — 1: transfer due to disposition of all/substantially all Canadian
+   * resource properties (s.20(8)); 2: transfer due to a change in control or
+   * ceasing to be exempt under s.20(14); 3: no transfer occurred.
+   */
+  type: 1 | 2 | 3;
+  /** 005027 — legal name of the acquiring corporation. Required when `type` is 1 or 2; must be absent when 3. */
+  acquirerName?: string;
+}
+interface AlbertaSchedule5Input {
+  /**
+   * 005001 — Crown charges under s.20(6)(a)-(e), with reference to s.20(13):
+   * AT1 Schedule 7, line 061. See the module docstring — this is Schedule 7's
+   * finished output, not re-derived here. Floored at zero per the spec's
+   * final step on line 001.
+   */
+  crownChargesNetOfReimbursements?: number;
+  /**
+   * 005005 — resource allowance claimed under s.20(6)(g). Prefer
+   * `albertaResourceAllowance` (AT1 Schedule 12, line 024); falls back to
+   * `federalResourceAllowance` (federal Schedule 1, line 346) when absent,
+   * per the spec's stated precedence.
+   */
+  albertaResourceAllowance?: number;
+  /** 005005 fallback — federal Schedule 1, line 346. Used only when `albertaResourceAllowance` is not supplied. */
+  federalResourceAllowance?: number;
+  /**
+   * 005007 — reimbursements received under a contract in respect of amounts
+   * on line 001, under s.20(6)(f). Must not already be netted into
+   * `crownChargesNetOfReimbursements`. Excludes ARTC and other government
+   * rebates or credits (per the spec note).
+   */
+  reimbursementsForCrownCharges?: number;
+  /** 005043 — corporation's own unsuccessored pool C/F from the preceding year (normally last year's 005017; enter manually if unavailable). */
+  openingUnsuccessoredPoolBalance?: number;
+  /** 005031-005037 — predecessor transfers into the unsuccessored pool (amalgamation under s.20(10), or wind-up of a wholly-owned subsidiary under s.20(11)). */
+  predecessorTransfers?: readonly At1Schedule5PredecessorTransfer[];
+  /**
+   * 005016 — the CRTD claim actually made against the unsuccessored pool.
+   * Discretionary (spec marks it "X", not "M"): omit to claim the maximum
+   * available (lesser of the pool balance and remaining Alberta taxable
+   * income capacity).
+   */
+  crtdAmountClaimed?: number;
+  /** 005023 — Attributed Royalty Income transferred to another corporation during the year on disposal of substantially all Canadian resource properties. */
+  transferredOnDisposal?: number;
+  /** 005200 — whether the corporation has any successored pools to report. When false, `secondSuccessoredPools`/`firstSuccessoredPools` must be empty (spec: 005101-005140 "must not exist"). */
+  hasSuccessoredPools?: boolean;
+  /** SSPI, 005101-005115 — second successored pool occurrences, oldest date of event first. */
+  secondSuccessoredPools?: readonly At1Schedule5SuccessoredPoolEntry[];
+  /** FSPI, 005121-005135 — first successored pool occurrences, oldest date of event first. */
+  firstSuccessoredPools?: readonly At1Schedule5SuccessoredPoolEntry[];
+  /** 005026/005027 — pool transfer during the year, if any. */
+  poolTransfer?: At1Schedule5PoolTransfer;
+  /**
+   * 005100 — was there a change in control that created the immediately
+   * preceding taxation year end? Informational; cross-checked against the
+   * AT1 core fields below when both are supplied.
+   */
+  changeInControlEndedPrecedingYear?: boolean;
+  /** AT1 core 000038 — tax year end changed since the last return filed. For the 005100 cross-check only. */
+  at1TaxYearEndChanged?: boolean;
+  /** AT1 core 000039 — reason for the tax year end change (2 = change in control). For the 005100 cross-check only. */
+  at1TaxYearEndChangeReason?: 1 | 2 | 3;
+  /**
+   * AT1 core 000062 — Alberta Taxable Income (Loss) before this deduction.
+   * Owned by the AT1 jacket, not this schedule; caps both the CRTD claim
+   * (line 016) and the combined total (line 064).
+   */
+  albertaTaxableIncomeBeforeDeduction?: number;
+}
+interface AlbertaSchedule5Result {
+  /** 005001, floored at zero. */
+  crownCharges: number;
+  /** 005005. */
+  resourceAllowance: number;
+  /** 005007. */
+  reimbursements: number;
+  /** Sum of 005037 across predecessor transfers. */
+  predecessorTransfersTotal: number;
+  /** 005011 = 005043 + Σ005037. */
+  attributedRoyaltyIncomeCarryForwardIn: number;
+  /** Line 013 (unlabeled internal subtotal) = 005001 − 005005 − 005007 + 005011. */
+  unsuccessoredPoolAvailable: number;
+  /** The maximum line 016 could claim: max(0, min(unsuccessoredPoolAvailable, 000062 − 005140)). */
+  crtdMaxClaimable: number;
+  /** 005016 — the CRTD claim actually made. */
+  crtdClaim: number;
+  /** 005017 = unsuccessoredPoolAvailable − crtdClaim. */
+  poolAvailableCarryForward: number;
+  /** 005023, passed through. */
+  transferredOnDisposal: number;
+  /** SSPI results, in input order. */
+  secondSuccessoredPools: At1Schedule5SuccessoredPoolEntryResult[];
+  /** FSPI results, in input order. */
+  firstSuccessoredPools: At1Schedule5SuccessoredPoolEntryResult[];
+  /** 005115 = Σ SSPI carryForwardBeforeTransfer. */
+  secondSuccessoredSubtotal: number;
+  /** 005135 = Σ FSPI carryForwardBeforeTransfer. */
+  firstSuccessoredSubtotal: number;
+  /** 005140 = Σ SSPI claims + Σ FSPI claims. */
+  successoredTotal: number;
+  /** AT1 core 000064 = min(005016 + 005140, 000062), floored at zero (see `issues` when this floor binds). */
+  totalRoyaltyTaxDeduction: number;
+  /** 005025, floored at zero. */
+  attributedRoyaltyIncomeCarryForwardOut: number;
+  /** 005026/005027, passed through from input for filing — see `schedule5Values`. */
+  poolTransfer?: At1Schedule5PoolTransfer;
+  /** 005100, passed through from input for filing — see `schedule5Values`. */
+  changeInControlEndedPrecedingYear?: boolean;
+  /** True once there is Attributed Canadian Royalty Income (per the spec, this is when Form 005 must be filed). */
+  formRequired: boolean;
+  issues: string[];
+}
+declare function computeAlbertaSchedule5(input: AlbertaSchedule5Input): AlbertaSchedule5Result;
+/**
+ * `scheduleNNValues` for Schedule 5, following the `at1-schedule-line-items.ts`
+ * builder pattern (see `schedule17Values`, `schedule18Values`, and the sibling
+ * `schedule3Values` in `schedule3-other-deductions-credits.ts`). Kept in THIS
+ * file rather than the shared filing module per the task instructions — other
+ * agents are wiring their own schedules into `at1-schedule-line-items.ts`
+ * concurrently.
+ *
+ * Emits every line `AlbertaSchedule5Result` carries a value for:
+ *   005001, 005005, 005007, 005011, 005016, 005017, 005023, 005025, 005026,
+ *   005027, 005100, and the successored-pool occurrences 005101-005140.
+ *
+ * NOT emitted, because the result does not retain them distinctly:
+ *   005031-005043 (Area B predecessor-transfer detail and the opening pool
+ *   balance) — the module aggregates both into 005011
+ *   (`attributedRoyaltyIncomeCarryForwardIn`) and does not carry the
+ *   per-predecessor breakdown or the raw opening balance forward into the
+ *   result; and 005200, which gates whether the successored sections are
+ *   processed at all but is not itself a filed dollar/detail line.
+ */
+interface At1ScheduleValueLike$5 {
+  lineItemId: string;
+  value: string | number;
+}
+interface At1ScheduleDataLike$5 {
+  scheduleId: string;
+  values: At1ScheduleValueLike$5[];
+}
+declare function schedule5Values(result: AlbertaSchedule5Result): At1ScheduleDataLike$5;
+//#endregion
+//#region src/t2/at1/schedules/schedule6-royalty-tax-credit.d.ts
+/**
+ * Alberta AT1 Schedule 6 — Alberta Royalty Tax Credit.
+ *
+ * TRA spec §3.2.3.7 (Chapter 3, lines 6292-6653). Required "If the corp, for
+ * the taxation year, has incurred Alberta Crown Royalty in respect of a
+ * royalty receivable by or payable to Alberta under a lease or licence
+ * granting petroleum rights, natural gas rights or petroleum and natural gas
+ * rights" (spec lines 6342-6361). Two filing preconditions worth carrying
+ * into any caller, neither of which this pure module can enforce itself:
+ * **AT1 Schedule 7 must be completed before Schedule 6** ("IF FORM 007 IS NOT
+ * INCLUDED WITH FORMS 005 AND/OR 006, THEN THE CLIENT'S RTC ENTITLEMENT WILL
+ * BE DISALLOWED" — spec lines 6710-6715), and the completed form "must be
+ * submitted to Treasury Board and Finance within three years of the taxation
+ * year end in which the Alberta Crown Royalty was incurred" (spec lines
+ * 6354-6360).
+ *
+ * ── The four fields this schedule's own MAPPINGS table actually defines ────
+ *
+ *   006002  ARTC  Is the corp associated with one or more corporations that
+ *                 have incurred Alberta Crown Royalty in the year? 1 = Yes,
+ *                 default 2 = No. (spec lines 6363-6373)
+ *   006004        Alberta Crown Royalty incurred in the taxation year:
+ *                 007003 + Σ007077 − Σ007087 + Σ007089. (spec lines 6375-6384)
+ *   006006        Crown Royalty Shelter — see below. (spec lines 6443-6448)
+ *   006008        Weighted Average Rate — see below. (spec lines 6450-6464)
+ *
+ * plus two sections that exist ONLY when 006002 = 1 (associated):
+ *
+ *   ACRS   (006022-006028) — the ASSOCIATED corporation with the longest
+ *          taxation year: its Corporate Account Number, tax year dates, and
+ *          the number of days in that year (max 365). (spec lines 6466-6558)
+ *   AACRS  (006030-006034) — the $2,000,000 shelter pool, sized by the
+ *          longest associated year (006028), ALLOCATED among the associated
+ *          group. Sort such that the FIRST occurrence (006030001) is the
+ *          corporation filing this return — 006006 (this filer's own
+ *          shelter) then equals 006034001 exactly. Each allocation, and the
+ *          sum of all allocations, is capped at $2,000,000 ×
+ *          (006028 / 365). (spec lines 6559-6652)
+ *
+ * ── 006004 is accepted as a plain input, not re-derived here ───────────────
+ *
+ * Every term of 006004's formula (007003, 007077, 007087, 007089) lives on
+ * AT1 Schedule 7, which this package also implements
+ * (`schedule7-royalty-supplemental.ts`). Rather than re-import Schedule 7's
+ * internals here, `albertaCrownRoyaltyIncurred` is taken as a plain numeric
+ * input — pass `computeAlbertaSchedule7(...).albertaCrownRoyaltyForSchedule6`,
+ * which computes that exact formula. This mirrors how AT1 Schedule 20 takes
+ * its Schedule 12 income ceiling as a plain input rather than importing
+ * Schedule 12: the two schedules stay independently testable, and the wiring
+ * between them is the caller's job (`alberta-return.ts`), not this module's.
+ *
+ * ── 006006 Crown Royalty Shelter — two mutually exclusive paths ────────────
+ *
+ *   associated (006002 = 1):     006006 = 006034001 (this filer's own
+ *                                 allocation from the AACRS pool below)
+ *   not associated (006002 = 2): 006006 = $2,000,000 × (days in this corp's
+ *                                 own taxation year, max 365) / 365
+ *
+ * ── 006008 Weighted Average Rate — an EXTERNAL rate table, not computed ─────
+ *
+ * "For each calendar quarter that the taxation year spans, enter the sum of
+ * the number of days in the taxation year that fall within the calendar
+ * quarter / total number of days in the taxation year X RTC quarterly rate
+ * ... Note that the rate can be found on website:
+ * http://www.finance.alberta.ca/publications/tax_rebates/rates/rtc1.html"
+ * (spec lines 6450-6464). The RTC quarterly rate itself is a published
+ * external figure this engine has no source for; `quarters` therefore takes
+ * BOTH the day-count weight and the already-looked-up rate per quarter, and
+ * this module only does the weighting arithmetic the spec states, to 4
+ * decimal places (e.g. `.7500`, `.6667`).
+ *
+ * ── CONFIRMED: there is no "credit" dollar amount to compute here ──────────
+ *
+ * The transcribed range for this schedule (spec lines 6292-6653) ends after
+ * 006034 with no field that multiplies the weighted average rate (006008) by
+ * the royalty incurred (006004) or the shelter (006006) into a claimable
+ * credit — and this is not a transcription gap. Traced through the AT1
+ * jacket's own MAPPINGS (spec §3.2.3.1): the balance-owing reconciliation is
+ * `090 = 080 − (081 + 082 + 085 + 086 + 087)`, where 080 is Alberta Tax
+ * Payable, 081 is the SR&ED credit (form 009), 082 is "Instalments and other
+ * payments **and ARTC instalments** credited to income tax account for this
+ * taxation year" — a single, plain, preparer-entered figure — and 086/087 are
+ * the capital gains refund and other credits. No line in that sequence reads
+ * "if form 006 exists, value = ...", unlike every other schedule's credit
+ * (see 072 = form 004, 074 = form 008, 081 = form 009).
+ *
+ * The Alberta Royalty Tax Credit is administered as an INSTALMENT PROGRAM,
+ * not an annual claimed credit: TRA pays or credits ARTC instalments to the
+ * corporation during the year based on estimated entitlement, and the
+ * corporation simply reports what it already received at line 082 (already
+ * collected in this app's shared "Payments & Instalments" schedule) — it
+ * does not compute a fresh credit from Schedule 6/7's own figures on this
+ * return. Schedule 6/7 exist to establish the royalty amount, shelter and
+ * rate TRA uses to determine those instalments (and to support TRA's own
+ * assessment), not to produce a number the corporation deducts here. So this
+ * module correctly stops at the three components (006004, 006006, 006008)
+ * — that is the schedule's whole job.
+ *
+ * Whole dollars, pure.
+ */
+/** ACRS (006022-006028) — the associated corporation with the longest taxation year. */
+interface RoyaltyTaxCreditLongestAssociatedYear {
+  /** 006022 — Alberta Corporate Account Number of that corporation. */
+  albertaCan?: string;
+  /** 006024 — that corporation's taxation year beginning, ISO `YYYY-MM-DD`. */
+  taxationYearBeginning?: string;
+  /** 006026 — that corporation's taxation year ending, ISO `YYYY-MM-DD`. */
+  taxationYearEnding?: string;
+  /** 006028 — number of days in that taxation year, capped at 365 on the form. */
+  days: number;
+}
+/** One row of the AACRS allocation table (006030-006034). */
+interface RoyaltyTaxCreditShelterAllocation {
+  /** 006030 — name of the corporation. Sort so the FIRST row is the corporation filing this return. */
+  name: string;
+  /** 006032 — Alberta Corporate Account Number, if this row is not the filer. */
+  albertaCan?: string;
+  /** 006034 — amount of the $2,000,000 shelter pool allocated to this corporation. */
+  allocatedAmount: number;
+}
+/** One resolved allocation row, after the per-row and aggregate caps are applied. */
+interface RoyaltyTaxCreditShelterAllocationResult {
+  name: string;
+  albertaCan?: string;
+  /** 006034, capped at the pool per row. See `AlbertaSchedule6Result.issues` if capping occurred. */
+  allocatedAmount: number;
+  /** What was actually requested before capping, for the audit trail. */
+  requestedAmount: number;
+}
+/** One quarter the taxation year spans, for the 006008 weighted-average-rate calculation. */
+interface RoyaltyTaxCreditQuarter {
+  /** Number of days in the taxation year that fall within this calendar quarter. */
+  days: number;
+  /** The published RTC quarterly rate for this calendar quarter, as a decimal (e.g. 0.0473). */
+  rate: number;
+}
+interface AlbertaSchedule6Input {
+  /** 006002 — is the corp associated with one or more corporations that incurred Alberta Crown Royalty in the year? Defaults to No. */
+  associatedWithCrownRoyaltyCorporations?: boolean;
+  /**
+   * 006004 — Alberta Crown Royalty incurred in the taxation year. Pass
+   * `computeAlbertaSchedule7(...).albertaCrownRoyaltyForSchedule6`; see the
+   * module docstring for why this is a plain input rather than re-derived.
+   */
+  albertaCrownRoyaltyIncurred?: number;
+  /**
+   * Days in THIS corporation's own taxation year — used only on the
+   * NOT-associated shelter path (006002 = 2). Defaults to 365 (a full year)
+   * and is capped at 365, per the form's own "(max 365)".
+   */
+  taxationYearDays?: number;
+  /** ACRS — required when `associatedWithCrownRoyaltyCorporations` is true. */
+  longestAssociatedYear?: RoyaltyTaxCreditLongestAssociatedYear;
+  /**
+   * AACRS — required when `associatedWithCrownRoyaltyCorporations` is true.
+   * The FIRST entry must be the corporation filing this return — its
+   * (possibly capped) `allocatedAmount` becomes 006006.
+   */
+  allocations?: readonly RoyaltyTaxCreditShelterAllocation[];
+  /** 006008 — one entry per calendar quarter the taxation year spans. */
+  quarters?: readonly RoyaltyTaxCreditQuarter[];
+}
+interface AlbertaSchedule6Result {
+  /** 006002. */
+  associatedWithCrownRoyaltyCorporations: boolean;
+  /** 006004. */
+  albertaCrownRoyaltyIncurred: number;
+  /** 006006. */
+  crownRoyaltyShelter: number;
+  /** 006008, to 4 decimal places. */
+  weightedAverageRate: number;
+  /** ACRS, echoed through with `days` resolved — present only when associated. */
+  longestAssociatedYear?: RoyaltyTaxCreditLongestAssociatedYear;
+  /** The $2,000,000 × (006028 / 365) pool being allocated — present only when associated. */
+  aggregateShelterPool: number;
+  /** AACRS, after per-row and aggregate capping. */
+  allocations: RoyaltyTaxCreditShelterAllocationResult[];
+  /** Σ allocated (post-cap). Cannot exceed `aggregateShelterPool`. */
+  totalAllocated: number;
+  /** Whether Alberta Crown Royalty was incurred at all — the form's own trigger condition (spec lines 6342-6361), evaluated from `albertaCrownRoyaltyIncurred` alone. */
+  formRequired: boolean;
+  issues: string[];
+}
+/**
+ * `scheduleNNValues` for Schedule 6, following the `at1-schedule-line-items.ts`
+ * builder pattern (see `schedule3Values` in `schedule3-other-deductions-credits.ts`
+ * for the identical local-type convention). Kept in THIS file rather than the
+ * shared filing module — other agents edit `at1-schedule-line-items.ts`
+ * concurrently.
+ */
+interface At1ScheduleValueLike$4 {
+  lineItemId: string;
+  value: string | number;
+}
+interface At1ScheduleDataLike$4 {
+  scheduleId: string;
+  values: At1ScheduleValueLike$4[];
+}
+/**
+ * Emits every field this module's own MAPPINGS transcription actually defines
+ * a number for: 006002/004/006/008, and — only when the corporation is
+ * associated — the ACRS section (006022-028) and the AACRS allocation table
+ * (006030-034, one occurrence per row).
+ *
+ * ── No credit amount is filed here, because none exists on this schedule ────
+ *
+ * See the module docstring's "CONFIRMED: there is no 'credit' dollar amount
+ * to compute here" section — the Alberta Royalty Tax Credit is an instalment
+ * program (AT1 jacket line 000082, the shared "Payments & Instalments"
+ * schedule), not a value Schedule 6 computes and files. This builder emits
+ * exactly the three components the schedule DOES define (006004, 006006,
+ * 006008) plus the ACRS/AACRS detail when associated — matching
+ * `schedule3Values`'s `At1ScheduleDataLike` shape exactly: `{ scheduleId,
+ * values }`.
+ */
+declare function schedule6Values(result: AlbertaSchedule6Result): At1ScheduleDataLike$4;
+declare function computeAlbertaSchedule6(input: AlbertaSchedule6Input): AlbertaSchedule6Result;
+//#endregion
+//#region src/t2/at1/schedules/schedule7-royalty-supplemental.d.ts
+/**
+ * Alberta AT1 Schedule 7 — Alberta Royalty Tax Credit/Deduction Supplemental
+ * Information.
+ *
+ * TRA spec §3.2.3.8 (Chapter 3, lines 6654-7251). Schedule 7 is not itself a
+ * claim — it is the disclosure schedule that supports BOTH AT1 Schedule 5
+ * (Royalty Tax Deduction) and AT1 Schedule 6 (Royalty Tax Credit): "If there
+ * is a requirement for forms 005 and/or form 006, then form 007 must be
+ * completed. IF FORM 007 IS NOT INCLUDED WITH FORMS 005 AND/OR 006, THEN THE
+ * CLIENT'S RTC ENTITLEMENT WILL BE DISALLOWED" (spec lines 6704-6715).
+ * Schedule 5 is built independently by another module in this package; this
+ * one only produces the figures Schedule 5 and Schedule 6 each cite as coming
+ * "from Schedule 7".
+ *
+ * ── Structure ────────────────────────────────────────────────────────────
+ *
+ *   CPI  (Crown Payment Information, 007003-007029)  — the corporation's own
+ *        crown charges, transcribed line by line from the income statement
+ *        (fed form 125) and balance sheet (fed form 100).
+ *   PITI (Partnership Income Tax Information, 007071-007081) — one row per
+ *        partnership the corporation is a member of, repeating.
+ *   ACRA (Adjustments to ACR Reported in the Current year but Relating to
+ *        prior taxation years, 007083-007091) — one row per prior-year
+ *        correction, repeating.
+ *
+ * ── Two totals with NO defining row of their own in this MAPPINGS table ────
+ *
+ * Both totals below are cited BY NAME from other schedules' own field
+ * definitions elsewhere in the same spec document, but neither has its own
+ * row inside Schedule 7's MAPPINGS block (spec lines 6654-7251, the full
+ * extent of Schedule 7 in this document) — the field numbering jumps
+ * 007051 → 007071 with no 007061 row ever printed, even though line 061 is
+ * referenced as an existing, fully-defined line. Both are modelled here
+ * because their formulas are stated explicitly elsewhere in the spec, not
+ * guessed:
+ *
+ *   **007051** ("Total Adjustments to current year Alberta Crown Royalty due
+ *   to adjustments from Prior Production Years") DOES have its own row
+ *   (spec lines 6939-6947):
+ *     051 = Σ (007087 − 007089 + 007091), default zero if no ACRA rows.
+ *
+ *   **007061** has no row in 6654-7251, but AT1 Schedule 5's own field 005001
+ *   ("Crown charges") cites it verbatim, formula included in full (spec
+ *   lines 5237-5248, inside Schedule 5's own MAPPINGS block, not Schedule
+ *   7's):
+ *     "Enter the amount from Schedule 7, line 061.
+ *      007003 + 007005 + 007007 + 007009 + 007011 + 007013 + 007017 +
+ *      007025 + 007029 + (sum of all 007077) + (sum of all 007079) +
+ *      (sum of all 007081) − 007051
+ *      if negative, default to zero."
+ *   The "if negative, default to zero" step is Schedule 5's own 005001 rule
+ *   (confirmed against the Schedule 5 module in this package, which applies
+ *   that floor itself), so `crownChargesNetOfReimbursements` here is left
+ *   SIGNED — un-floored — and the floor is Schedule 5's job, not this
+ *   module's.
+ *
+ * ── A sign asymmetry between 007051 and 006004, not resolved here ──────────
+ *
+ * AT1 Schedule 6's own field 006004 ("Alberta Crown Royalty incurred in the
+ * taxation year") is defined, also elsewhere in the spec (Schedule 6's own
+ * block, lines 6375-6384), as:
+ *
+ *     006004 = 007003 + (sum of all 007077) − (sum of all 007087)
+ *                      + (sum of all 007089)
+ *
+ * That is the OPPOSITE sign treatment of 007087/007089 from 007051 above
+ * (which adds 087 and subtracts 089). Both formulas are transcribed exactly
+ * as printed — this module does not "correct" the apparent inversion, and
+ * `albertaCrownRoyaltyForSchedule6` and `totalAdjustments` are computed
+ * independently, each per its own literal spec text. Flagged for the filer
+ * to confirm against the live form rather than silently normalized.
+ *
+ * ── Cross-reference to Schedule 5 (built independently, out of scope here) ──
+ *
+ * `totalPartnershipShareOtherCrownCharges` (Σ007081, "corporation's share of
+ * other Crown charges eligible for Royalty Tax Deduction") feeds Schedule 5,
+ * not this schedule — it is exposed here purely as data collected on this
+ * form, computed and passed through, never consumed by Schedule 6 or by any
+ * calculation inside this module.
+ *
+ * Whole dollars, pure.
+ */
+/** One partnership the corporation is a member of (PITI, 007071-007081). */
+interface RoyaltySupplementalPartnership {
+  /** 007071 — legal name of the partnership. */
+  name: string;
+  /** 007073 — corporation's percentage interest, as a decimal (0.75, not 75). Expressed to 4 decimal places on the form. */
+  interestPercent: number;
+  /** 007075 — partnership fiscal period end, ISO `YYYY-MM-DD`. */
+  fiscalPeriodEnd?: string;
+  /** 007077 — corporation's share of Alberta Crown Royalties eligible for the Royalty Tax Credit. */
+  shareEligibleForCredit?: number;
+  /** 007079 — corporation's share of other royalties paid to Alberta not eligible for the Royalty Tax Credit. */
+  shareOtherRoyaltiesNotEligible?: number;
+  /**
+   * 007081 — corporation's share of other Crown charges eligible for the
+   * Royalty Tax Deduction. Feeds AT1 Schedule 5 (built independently); not
+   * used anywhere in this module's own arithmetic beyond being summed and
+   * passed through.
+   */
+  shareOtherCrownChargesEligibleForDeduction?: number;
+}
+/** One resolved partnership row. */
+interface RoyaltySupplementalPartnershipResult {
+  name: string;
+  interestPercent: number;
+  fiscalPeriodEnd?: string;
+  shareEligibleForCredit: number;
+  shareOtherRoyaltiesNotEligible: number;
+  shareOtherCrownChargesEligibleForDeduction: number;
+}
+/**
+ * One prior-year Alberta Crown Royalty adjustment reported in the current
+ * accounting period (ACRA, 007083-007091).
+ */
+interface RoyaltySupplementalPriorYearAdjustment {
+  /** 007083 — the prior production period (taxation year end) the adjustment relates to, ISO `YYYY-MM-DD`. */
+  priorProductionPeriodEnd?: string;
+  /** 007085 — 1 = Department of Resource Development (formerly Energy), 2 = Operator. */
+  sourceOfAdjustment?: 1 | 2;
+  /** 007087 — amount of INCREASE to eligible crown royalties for that prior year (positive magnitude). */
+  increase?: number;
+  /** 007089 — amount of DECREASE to eligible crown royalties for that prior year (positive magnitude). */
+  decrease?: number;
+  /** 007091 — signed adjustment to the amount NOT eligible for the Royalty Tax Credit for that prior year. */
+  adjustmentNotEligibleForCredit?: number;
+}
+/** One resolved prior-year adjustment row. */
+interface RoyaltySupplementalPriorYearAdjustmentResult {
+  priorProductionPeriodEnd?: string;
+  sourceOfAdjustment?: 1 | 2;
+  increase: number;
+  decrease: number;
+  adjustmentNotEligibleForCredit: number;
+}
+interface AlbertaSchedule7Input {
+  /** 007003 — Alberta crown royalty eligible for the Royalty Tax Credit, from the income statement (fed form 125). */
+  eligibleCrownRoyalty?: number;
+  /** 007005 — other royalties paid to Alberta not eligible for the Royalty Tax Credit (fed form 125). */
+  otherRoyaltiesNotEligible?: number;
+  /** 007007 — crown royalty paid to other provincial or federal jurisdictions (fed form 125). */
+  royaltyPaidToOtherJurisdictions?: number;
+  /** 007009 — non-deductible crown lease rentals (fed form 125). */
+  nonDeductibleCrownLeaseRentals?: number;
+  /** 007011 — mineral taxes (fed form 125). */
+  mineralTaxes?: number;
+  /** 007013 — Saskatchewan resources surcharge, non-deductible portion only (fed form 125). */
+  saskatchewanResourcesSurcharge?: number;
+  /** 007014 / 007015 / 007016 — up to three names of other non-deductible crown charge types (fed form 125). */
+  otherNonDeductibleCrownChargeTypes?: readonly string[];
+  /**
+   * 007017 — total dollar amount of the other non-deductible crown charges
+   * named above. The spec sums the underlying source-document amounts for
+   * whichever types are named; those per-type amounts are not themselves
+   * separate transmitted fields, so the total is taken as a pass-through
+   * input. Defaults to zero when no types are named, per spec.
+   */
+  otherNonDeductibleCrownCharges?: number;
+  /** 007025 — crown lease rentals capitalized during the year on non-producing properties, non-deductible portion (balance sheet, fed form 100). */
+  crownLeaseRentalsCapitalized?: number;
+  /** 007027 — name of another balance sheet (fed form 100) eligible deduction. */
+  otherBalanceSheetDeductionName?: string;
+  /** 007029 — dollar amount of the deduction named at 007027. Defaults to zero when no name is given, per spec. */
+  otherBalanceSheetDeduction?: number;
+  /** PITI — one row per partnership the corporation is a member of. */
+  partnerships?: readonly RoyaltySupplementalPartnership[];
+  /** ACRA — one row per prior-year Alberta Crown Royalty adjustment reported in the current year. */
+  priorYearAdjustments?: readonly RoyaltySupplementalPriorYearAdjustment[];
+}
+interface AlbertaSchedule7Result {
+  eligibleCrownRoyalty: number;
+  otherRoyaltiesNotEligible: number;
+  royaltyPaidToOtherJurisdictions: number;
+  nonDeductibleCrownLeaseRentals: number;
+  mineralTaxes: number;
+  saskatchewanResourcesSurcharge: number;
+  otherNonDeductibleCrownChargeTypes: string[];
+  /** 007017. */
+  otherNonDeductibleCrownCharges: number;
+  crownLeaseRentalsCapitalized: number;
+  otherBalanceSheetDeductionName?: string;
+  /** 007029. */
+  otherBalanceSheetDeduction: number;
+  partnerships: RoyaltySupplementalPartnershipResult[];
+  /** Σ 007077 across all partnerships. */
+  totalPartnershipShareEligibleForCredit: number;
+  /** Σ 007079 across all partnerships. */
+  totalPartnershipShareOtherRoyaltiesNotEligible: number;
+  /** Σ 007081 across all partnerships — feeds AT1 Schedule 5, not used here. */
+  totalPartnershipShareOtherCrownCharges: number;
+  priorYearAdjustments: RoyaltySupplementalPriorYearAdjustmentResult[];
+  /** 007051 = Σ (087 − 089 + 091). */
+  totalAdjustments: number;
+  /**
+   * 007061 — no defining row in this schedule's own MAPPINGS block; formula
+   * transcribed from AT1 Schedule 5's field 005001 definition, which cites it
+   * as "Schedule 7, line 061" in full. Left SIGNED — Schedule 5 applies its
+   * own floor at zero.
+   */
+  crownChargesNetOfReimbursements: number;
+  /**
+   * AT1 Schedule 6's 006004 ("Alberta Crown Royalty incurred in the taxation
+   * year"): 007003 + Σ077 − Σ087 + Σ089. Pass this into
+   * `computeAlbertaSchedule6`'s `albertaCrownRoyaltyIncurred` input.
+   */
+  albertaCrownRoyaltyForSchedule6: number;
+  issues: string[];
+}
+/**
+ * `scheduleNNValues` for Schedule 7, following the `at1-schedule-line-items.ts`
+ * builder pattern (see `schedule3Values` in `schedule3-other-deductions-credits.ts`
+ * for the identical local-type convention this file reuses). Kept in THIS
+ * file rather than the shared filing module — other agents edit
+ * `at1-schedule-line-items.ts` concurrently.
+ */
+interface At1ScheduleValueLike$3 {
+  lineItemId: string;
+  value: string | number;
+}
+interface At1ScheduleDataLike$3 {
+  scheduleId: string;
+  values: At1ScheduleValueLike$3[];
+}
+/**
+ * Emits CPI (007003-029), the computed totals 007051 and 007061, and the two
+ * repeating sections — PITI (007071-081, one occurrence per partnership) and
+ * ACRA (007083-091, one occurrence per prior-year adjustment).
+ *
+ * 007061 is filed even though it has no defining row of its own anywhere in
+ * this schedule's MAPPINGS block (spec lines 6654-7251) — see the module
+ * docstring's "Two totals with NO defining row of their own in this MAPPINGS
+ * table" section. It is a real Schedule 7 output line: AT1 Schedule 5's own
+ * field 005001 definition (spec lines 5237-5248) names it explicitly as
+ * "Schedule 7, line 061" and gives its formula in full, so it is filed here
+ * under that citation rather than omitted for lack of a home row.
+ */
+declare function schedule7Values(result: AlbertaSchedule7Result): At1ScheduleDataLike$3;
+declare function computeAlbertaSchedule7(input: AlbertaSchedule7Input): AlbertaSchedule7Result;
+//#endregion
+//#region src/t2/at1/schedules/schedule8-political-contributions.d.ts
+/**
+ * Alberta AT1 Schedule 8 — Alberta Political Contributions Tax Credit.
+ *
+ * Schedule 8 itself (TRA spec §3.2.3.9, lines 7252-7450, form "008") is a
+ * detail schedule, not a calculation: it collects one PCD occurrence per
+ * receipted contribution —
+ *
+ *   008002  name of party / constituency association / candidate   M
+ *   008004  official receipt number                                 M
+ *   008006  date of donation (the spec: "do not let ... blank")     M
+ *   008008  donation amount                                          M
+ *
+ * — plus two APC (Alberta Political Contributions) totals for contributions
+ * made THROUGH A PARTNERSHIP, sourced from federal form T5013 and not
+ * derivable from anything else in this schedule:
+ *
+ *   008012  partnership contributions made in 2003 or earlier (T5013 box 37)
+ *   008013  partnership contributions made in 2004 or later (T5013)
+ *
+ * The actual TIERED CREDIT FORMULA that turns those totals into a dollar
+ * credit is not on Schedule 8's own line map at all — it lives on the AT1
+ * JACKET, line 000074 (§3.2.3.1, "AT1 - Alberta Corporate Income Tax Return"),
+ * which consumes Schedule 8's own totals (008008, 008012, 008013). Because it
+ * is entirely built from Schedule 8's own numbers and the module's name is
+ * "the Alberta Political Contributions Tax Credit", it is reproduced here —
+ * transcribed exactly, three rate periods:
+ *
+ * **All contributions made in 2003 or earlier:**
+ *   A = (sum of 008008) + 008012
+ *   B = A ≤ $150 → A×.75 | A ≤ $825 → $112.50 + (A−150)×.50 | else $450 + (A−825)×.333
+ *   credit = least of B, $750, `000068 − (000070 + 000071 + 000072)`
+ *
+ * **All contributions made in 2004 or later:**
+ *   A = (sum of 008008) + 008013
+ *   B = A ≤ $200 → A×.75 | A ≤ $900 → $150 + (A−200)×.50 | else $600 + (A−900)×.333
+ *   credit = least of B, $1000, `000068 − (000070 + 000071 + 000072)`
+ *
+ * **Contributions made in BOTH 2003 and 2004, AND the tax year itself begins
+ * in 2003 and ends in 2004** (a straddling fiscal year-end, not just mixed
+ * donation dates):
+ *   X = (sum of 008008 dated in 2004 only) + 008013
+ *   Y = (sum of 008008) + 008012 + 008013
+ *   A = min(Y, 150);  B = min(X−A, 50);  C = min(Y−(A+B), 675)
+ *   D = min(X−(A+B+C), 225);  E = min(Y−(A+B+C+D), 900);  F = min(X−(A+B+C+D+E), 300)
+ *   credit = .75A + .75B + .50C + .50D + ⅓E + ⅓F
+ *   — the spec states NO $750/$1000/remaining-tax ceiling for this branch,
+ *   unlike the other two. Reproduced literally: this module does not invent
+ *   one. (Jacket line 080, "Alberta Tax Payable", cannot go negative, and
+ *   that reconciliation is enforced elsewhere, e.g. `at1-line-items.ts`'s
+ *   `At1TaxPayableMismatchError` — not this module's job.)
+ *
+ * If contributions span both periods WITHOUT the tax year itself straddling
+ * 2003/2004, the spec defines no formula for that combination; this module
+ * computes nothing and raises an issue rather than guessing which branch to
+ * apply.
+ *
+ * `000068 − (000070 + 000071 + 000072)` (basic Alberta tax minus the small
+ * business deduction, M&P profits deduction and foreign investment tax
+ * credit) is an AT1 JACKET figure built from schedules this module doesn't
+ * reach — taken here as a single `remainingBasicTax` input, following the
+ * same fail-closed convention as `schedule20-donations.ts`'s `incomeLimit`:
+ * absent means no claim for the two capped rate periods.
+ *
+ * Whole dollars, pure.
+ */
+interface PoliticalContributionInput {
+  /** 008002 — name of the party, constituency association or candidate. */
+  name: string;
+  /** 008004 — official receipt number. */
+  receiptNumber: string;
+  /** 008006 — date of the official receipt, ISO `YYYY-MM-DD`. Mandatory per spec. */
+  dateOfDonation: string;
+  /** 008008 — donation amount. */
+  amount: number;
+}
+interface Schedule8Input {
+  /** One PCD occurrence per receipted contribution. */
+  contributions: PoliticalContributionInput[];
+  /**
+   * 008012 — Alberta political contributions from a partnership made in 2003
+   * or earlier, sourced from federal T5013 box 37. Defaults to nil.
+   */
+  partnershipContributionsTo2003?: number;
+  /**
+   * 008013 — Alberta political contributions from a partnership made in 2004
+   * or later, sourced from federal T5013. Defaults to nil.
+   */
+  partnershipContributionsFrom2004?: number;
+  /**
+   * The corporation's tax year start/end, ISO `YYYY-MM-DD`. Needed ONLY to
+   * confirm the third (straddling) rate-period formula applies — it
+   * additionally requires the tax year itself to begin in 2003 and end in
+   * 2004, not just that contribution dates span both years.
+   */
+  taxYearBegin?: string;
+  taxYearEnd?: string;
+  /**
+   * `000068 − (000070 + 000071 + 000072)` — remaining basic Alberta tax after
+   * the small business deduction, M&P profits deduction and foreign
+   * investment tax credit. Required for the 2003-or-earlier and
+   * 2004-or-later rate periods, which the spec caps against it; absent means
+   * no claim for those periods (fail closed). NOT applied to the straddling
+   * period, which the spec states no ceiling for.
+   */
+  remainingBasicTax?: number;
+}
+interface Schedule8Result {
+  contributions: PoliticalContributionInput[];
+  partnershipContributionsTo2003: number;
+  partnershipContributionsFrom2004: number;
+  /** Which of the three rate-period formulas applied, or 'none'. */
+  period: 'to-2003' | 'from-2004' | 'straddle-2003-2004' | 'none';
+  /** B in the to-2003/from-2004 branches, or the weighted A..F sum in the straddle branch — before any ceiling. */
+  creditBeforeCeiling: number;
+  /** 000074 (jacket) — the Alberta Political Contributions Tax Credit, after whatever ceiling applies. */
+  credit: number;
+  issues: string[];
+}
+declare function computeSchedule8(input: Schedule8Input): Schedule8Result;
+/**
+ * Net File line items for AT1 Schedule 8: one PCD occurrence per contribution
+ * (002 name, 004 receipt number, 006 date, 008 amount), plus the two APC
+ * partnership totals (012, 013).
+ *
+ * Does NOT emit jacket line 000074 (the actual tax credit) — that is a
+ * jacket line, not a Schedule 8 line. Use `result.credit` for that.
+ */
+declare function schedule8Values(result: Schedule8Result): At1ScheduleData;
+//#endregion
+//#region src/t2/at1/schedules/schedule9-sred-tax-credit.d.ts
+/**
+ * AT1 Schedule 9 — Alberta Scientific Research & Experimental Development Tax
+ * Credit.
+ *
+ * Alberta's OWN investment tax credit on SR&ED spending — not the same thing as
+ * either of the two SR&ED-adjacent modules already in this package:
+ *
+ *   • AT1 Schedule 16 (`schedule16-sred.ts`) — the Alberta SR&ED expenditure
+ *     **pool**, a deduction against income; and
+ *   • federal Schedule 31 (`t2/schedules/schedule31-sred-itc.ts`) — the FEDERAL
+ *     investment tax credit, computed under s.127/127.1 at 35%/15%.
+ *
+ * This module is Alberta's PARALLEL investment tax credit, at a flat 10% (line
+ * 120, "lesser of line 009031 and 009108 X 10%") — an entirely separate credit
+ * mechanism from the federal one, not a top-up or a share of it.
+ *
+ * **The credit is WOUND DOWN.** Per the spec's own framing text (TRA spec
+ * §3.2.3.10, page 3-84): "eligible expenditures" are federal-expenditure amounts
+ * "carried out in Alberta before January 1, 2020, [and] the SR&ED Tax Credit may
+ * not be claimed in respect of any such expenditures carried out in Alberta after
+ * that date." This module does not filter expenditures by date itself — the
+ * `albertaPortionOfExpenditures` (005) input must already exclude anything
+ * incurred after 2019-12-31. `taxationYearEnd` is accepted purely to raise a
+ * reminder issue when the return's own year end falls after that cut-off, since
+ * a straddling year is exactly where a preparer is most likely to include an
+ * ineligible period by mistake.
+ *
+ * Line map (TRA spec §3.2.3.10, "Schedule 9 - Alberta Scientific Research &
+ * Experimental Development Tax Credit", pp. 3-84 to 3-90):
+ *
+ *   009003  federal total qualified SR&ED expenditures (fed T661 line 559)   M
+ *   009005  portion of 003 incurred in Alberta                              X
+ *   009007  deduct: federal prescribed proxy amount in the Alberta portion   X
+ *   009009  add: Alberta proxy amount                                       X
+ *   009011  add: Alberta SR&ED credit that reduced the federal expense       X
+ *           on fed T661 line 559 in the taxation year
+ *   009015  federal ITC received in the immediately preceding year          X
+ *           (fed T661 line 435)
+ *   009017  total Alberta-eligible expenditures for years in which the      X
+ *           expenditure was incurred (009031 from all relevant years)
+ *   009019  total federal expenditures for those same years (fed T661       X
+ *           line 570 from all relevant years)
+ *   009023  deduct: Alberta portion of the prior-year federal ITC           X
+ *           = 009015 x 009017 / 009019
+ *   009025  add: Alberta portion of any repayment of assistance and         X
+ *           contract payments relating to amounts in 009005
+ *   009040  primary field of science or technology (1-4)                    M
+ *   009100  associated with one or more corporations for SR&ED purposes?    M
+ *   009102  if associated: allocated amount from line 240 (page 3)          X
+ *   009104  if not associated: maximum expenditure limit = $4,000,000 x     X
+ *           (days in the corporation's tax year / 365, max 365 or 366)
+ *   009106  eligible expenditures for Alberta purposes = 009031             X
+ *   009108  maximum expenditure limit for the year (102 or 104)             M
+ *   009112  recapture on disposal of Alberta SR&ED property                 O
+ *   009116  less: Alberta portion of prior-year federal ITC (Schedule 9     X
+ *           Supplemental line 428 — only where the year end is on or
+ *           before 2012-03-31)
+ *   009120  NET ALBERTA SR&ED TAX CREDIT (REPAYMENT), to AT1 page 2 line    M
+ *           081 = (lesser of 009031 and 009108 x 10%) - 009112 - 009116
+ *
+ *   Allocation of the Maximum Expenditure Limit (page 3, required when 100 = 1):
+ *   009200  CAN of the associated corporation with the longest tax year      X
+ *   009202  / 009204  that corporation's own tax year begin / end           M
+ *   009206  days in the longest year (max 365, or 366 across Feb 29)        M
+ *   009220  name of each associated corporation (row 1 = the filer)         M
+ *   009230  Alberta Corporate Account Number of each                        X
+ *   009240  allocated amount — each occurrence AND the sum of all           M
+ *           occurrences must not exceed $4,000,000 x (009206 / 365)
+ *
+ * ── Line 009031 has no formula in the spec text ─────────────────────────────
+ *
+ * Lines 009003-009025 and 009106/009017 all reference "009031" ("Total eligible
+ * expenditures for Alberta purposes") as the figure they equal or feed into, but
+ * the mapping tables jump straight from 009025 to 009040 — 009027, 009029 and
+ * 009031 themselves are never defined in the spec's MAPPINGS chapter, most
+ * likely because they are calculated-on-paper subtotals that are not, unlike
+ * every field above them, separately transmitted EFILE data elements. Rather
+ * than invent a number, this module DERIVES 031 from the six lines the spec DOES
+ * define and caption unambiguously as "Deduct" or "Add" against the Alberta
+ * expenditure pool (005, 007, 009, 011, 023, 025):
+ *
+ *   031 = 005 − 007 + 009 + 011 − 023 + 025
+ *
+ * That derivation is used only when `eligibleExpenditures` is not supplied
+ * directly, and an issue is always raised when it is, so a preparer with the
+ * authoritative figure (e.g. from the Guide to Claiming the Alberta SR&ED Tax
+ * Credit) knows to override it via `eligibleExpenditures`.
+ *
+ * ── Line 009011 cites a line that does not exist ────────────────────────────
+ *
+ * The spec's own business rule for 011 reads "Value = 009110. See Guide to
+ * Claiming The Alberta SR&ED Tax Credit for calculation" — but no line 009110 is
+ * defined anywhere in this schedule (the lines run ...009108, 009112...). It is
+ * most likely a transposed "009011" (self-reference) or a Guide-only figure with
+ * no corresponding transmitted line at all. Either way its actual calculation is
+ * explicitly deferred to an external guide this package does not model, so
+ * `albertaCreditReducingFederalExpense` is accepted as a plain numeric INPUT.
+ *
+ * ── Line 009116 is a legacy, pre-2012 field ─────────────────────────────────
+ *
+ * "If the taxation year end is on or before March 31, 2012, value = line 428 of
+ * Schedule 9 Supplemental." The Schedule 9 Supplemental and its own line 428 are
+ * not modelled — `priorYearFederalItcAdjustment` is a plain numeric input,
+ * expected to be nil for any current return.
+ *
+ * Whole dollars, pure.
+ */
+/** Valid codes for line 009040 — "Primary field of science or technology". */
+type Schedule9FieldOfScience = 1 | 2 | 3 | 4;
+interface AlbertaSchedule9Input {
+  /** 009003 — federal total qualified SR&ED expenditures. Must equal fed T661 line 559. */
+  federalQualifiedExpenditures?: number;
+  /** 009005 — the portion of 003 incurred in Alberta. Must not exceed 003. */
+  albertaPortionOfExpenditures?: number;
+  /** 009007 — deduct: federal prescribed proxy amount included in the Alberta portion. */
+  federalProxyAmountInAlbertaPortion?: number;
+  /** 009009 — add: Alberta proxy amount. */
+  albertaProxyAmount?: number;
+  /**
+   * 009011 — add: Alberta SR&ED credit that reduced the federal expense on fed
+   * T661 line 559 in the taxation year. Its calculation is deferred by the spec
+   * to the Guide to Claiming the Alberta SR&ED Tax Credit — see the module
+   * docstring. Plain input.
+   */
+  albertaCreditReducingFederalExpense?: number;
+  /** 009015 — federal ITC received in the immediately preceding year (fed T661 line 435). */
+  priorYearFederalItcReceived?: number;
+  /** 009017 — total Alberta-eligible expenditures for years in which incurred (009031, all years). */
+  totalAlbertaExpendituresAllYears?: number;
+  /** 009019 — total federal expenditures for those same years (fed T661 line 570, all years). */
+  totalFederalExpendituresAllYears?: number;
+  /** 009025 — add: Alberta portion of any repayment of assistance relating to 005. */
+  albertaPortionOfRepayments?: number;
+  /**
+   * 009031 / 009106 — "Total eligible expenditures for Alberta purposes."
+   * Overrides the derived figure (005 − 007 + 009 + 011 − 023 + 025) when the
+   * authoritative amount is known. See the module docstring for why this is
+   * derived rather than read directly off the spec.
+   */
+  eligibleExpenditures?: number;
+  /** 009040 — primary field of science or technology. Mandatory on the live form. */
+  fieldOfScience?: Schedule9FieldOfScience;
+  /** 009100 — associated with one or more corporations for SR&ED purposes? Defaults to false (line default = 2/No). */
+  isAssociated?: boolean;
+  /** 009102 — required when associated: this corporation's allocated share of line 240. */
+  allocatedExpenditureLimit?: number;
+  /**
+   * Days in the corporation's own taxation year, for the non-associated 009104
+   * proration. Defaults to 365 (a full year); clamped to [0, 366]. Per the
+   * spec, days before 2009-01-01 (when the Alberta SR&ED program began) must
+   * already be excluded by the caller — day-of-year proration from real
+   * calendar dates is not modelled here, matching this package's convention
+   * elsewhere (e.g. the AT1 Schedule 29 group allocation).
+   */
+  daysInTaxYear?: number;
+  /** 009112 — recapture on disposal (or deemed disposal) of Alberta SR&ED property. */
+  disposalRecapture?: number;
+  /**
+   * 009116 — legacy pre-2012 adjustment from the Schedule 9 Supplemental line
+   * 428. See the module docstring; expected nil for a current return.
+   */
+  priorYearFederalItcAdjustment?: number;
+  /**
+   * The return's taxation year end (ISO `YYYY-MM-DD`), used only to flag a
+   * reminder when it falls after the 2019-12-31 wind-down date — see the
+   * module docstring's "WOUND DOWN" note.
+   */
+  taxationYearEnd?: string;
+}
+interface AlbertaSchedule9Result {
+  federalQualifiedExpenditures: number;
+  albertaPortionOfExpenditures: number;
+  federalProxyAmountInAlbertaPortion: number;
+  albertaProxyAmount: number;
+  albertaCreditReducingFederalExpense: number;
+  priorYearFederalItcReceived: number;
+  totalAlbertaExpendituresAllYears: number;
+  totalFederalExpendituresAllYears: number;
+  /** 009023 = 009015 x 009017 / 009019. */
+  priorYearItcAlbertaPortion: number;
+  albertaPortionOfRepayments: number;
+  /**
+   * 009031 / 009106 — the figure actually used at 009108's lesser-of test.
+   * Equal to `eligibleExpenditures` when supplied, otherwise the derived
+   * figure (see `derivedEligibleExpenditures` and the module docstring).
+   */
+  eligibleExpenditures: number;
+  /** The derived cross-check: 005 − 007 + 009 + 011 − 023 + 025, always computed. */
+  derivedEligibleExpenditures: number;
+  fieldOfScience: Schedule9FieldOfScience | undefined;
+  isAssociated: boolean;
+  /** 009104 — the non-associated day-prorated $4,000,000 limit (0 when associated). */
+  nonAssociatedMaximumExpenditureLimit: number;
+  /** 009108 — the maximum expenditure limit actually in effect (102 or 104). */
+  maximumExpenditureLimit: number;
+  disposalRecapture: number;
+  priorYearFederalItcAdjustment: number;
+  /** 009120 — signed; may be negative (a repayment). To AT1 page 2, line 081. */
+  netCredit: number;
+  issues: string[];
+}
+/** 009120's flat rate — "lesser of line 009031 and 009108 X 10%". */
+declare const ALBERTA_SRED_TAX_CREDIT_RATE = 0.1;
+/** Alberta's SR&ED program did not exist before this date (line 009104's note). */
+declare const ALBERTA_SRED_PROGRAM_START = "2009-01-01";
+/** Alberta SR&ED expenditures carried out after this date are not eligible (module docstring). */
+declare const ALBERTA_SRED_EXPENDITURE_CUTOFF = "2019-12-31";
+/**
+ * 009104 / 009206's day-prorated $4,000,000 expenditure limit. Days are clamped
+ * to [0, 366] — 366 only for a year genuinely spanning a February 29, per the
+ * spec's own note.
+ */
+declare function computeSchedule9MaximumExpenditureLimit(daysInTaxYear?: number): number;
+declare function computeAlbertaSchedule9(input: AlbertaSchedule9Input): AlbertaSchedule9Result;
+/** One row of the page-3 allocation table. Row 1 must be the filing corporation. */
+interface Schedule9AllocationMember {
+  /** 009220 — name of the associated corporation. */
+  name: string;
+  /** 009230 — Alberta Corporate Account Number. */
+  albertaCan?: string;
+  /** 009240 — this member's agreed share of the expenditure limit. */
+  allocated: number;
+}
+interface Schedule9AllocationMemberResult {
+  name: string;
+  albertaCan?: string;
+  allocated: number;
+}
+interface Schedule9AllocationResult {
+  /** 009206 — days in the longest associated taxation year (clamped to [0, 366]). */
+  daysInLongestYear: number;
+  /** The shared $4,000,000-based ceiling every occurrence AND their sum must respect. */
+  maximumExpenditureLimit: number;
+  members: Schedule9AllocationMemberResult[];
+  /** Σ 009240. Must not exceed maximumExpenditureLimit. */
+  totalAllocated: number;
+  /** The filing corporation's own allocated share (row 1) — feeds 009102. */
+  claimantAllocatedAmount: number;
+  unallocated: number;
+  issues: string[];
+}
+/**
+ * Allocate the day-prorated $4,000,000 maximum expenditure limit among an
+ * associated group (page 3). Per the spec, EACH occurrence of 009240 and the
+ * SUM of all occurrences are independently capped at the limit — unlike a
+ * running-remainder split, one member requesting more than the limit does not
+ * consume another member's room; it is simply capped and flagged.
+ */
+declare function allocateSchedule9ExpenditureLimit(daysInLongestYear: number, requested: readonly Schedule9AllocationMember[]): Schedule9AllocationResult;
+/**
+ * `scheduleNNValues` for Schedule 9, following the `at1-schedule-line-items.ts`
+ * builder pattern (see `schedule3Values` in `schedule3-other-deductions-credits.ts`,
+ * `schedule16Values`, `schedule20Values`). Kept in THIS file rather than the
+ * shared filing module per the task instructions — other agents are editing
+ * `at1-schedule-line-items.ts` concurrently.
+ */
+interface At1ScheduleValueLike$2 {
+  lineItemId: string;
+  value: string | number;
+}
+interface At1ScheduleDataLike$2 {
+  scheduleId: string;
+  values: At1ScheduleValueLike$2[];
+}
+/**
+ * The page-3 "Allocation of the Maximum Expenditure Limit" context that has no
+ * home on `AlbertaSchedule9Result` itself — the CAN and tax-year dates of the
+ * associated corporation with the longest year (009200/009202/009204), plus
+ * the `allocateSchedule9ExpenditureLimit` result supplying 009206 and the
+ * per-member 009220/009230/009240 rows. Supplied only when the corporation is
+ * associated and a group was actually entered.
+ */
+interface Schedule9GroupFilingInput {
+  /** 009200 — Alberta CAN of the associated corporation with the longest tax year. */
+  longestYearCan?: string;
+  /** 009202 — that corporation's own tax year begin, ISO `YYYY-MM-DD`. */
+  longestYearBegin?: string;
+  /** 009204 — that corporation's own tax year end, ISO `YYYY-MM-DD`. */
+  longestYearEnd?: string;
+  /** The result of `allocateSchedule9ExpenditureLimit` — supplies 009206/220/230/240. */
+  allocation: Schedule9AllocationResult;
+}
+/**
+ * Field ids per the spec transcription in the module docstring: 003-025 (the
+ * expenditure buildup), 040 (field of science), 100-120 (the credit
+ * calculation), and — when `group` is supplied — 200-240 (page 3's
+ * allocation). Line 031 has no confirmed transmitted status of its own (see
+ * the module docstring's "line 009031 has no formula in the spec text"), but
+ * is filed anyway alongside 106 since both carry the identical "Total
+ * eligible expenditures for Alberta purposes" figure per the spec's own
+ * cross-reference ("106 ... Value must equal 009031").
+ */
+declare function schedule9Values(result: AlbertaSchedule9Result, group?: Schedule9GroupFilingInput): At1ScheduleDataLike$2;
+//#endregion
+//#region src/t2/at1/schedules/schedule11-manufacturing-processing.d.ts
+/**
+ * Alberta AT1 Schedule 11 — Alberta Manufacturing and Processing Profits Deduction.
+ *
+ * ── This form is HISTORICAL: it stopped applying 2001-03-31 ────────────────
+ *
+ * The spec's own business rule for the form-required flag (line 011) says so
+ * directly: *"If the corp's tax year beginning is prior to April 1, 2001 and
+ * the corp derives at least 10% of its gross revenue for the year from
+ * manufacturing or processing of goods for sale or lease, then form 011
+ * should be completed. NOTE: The M&P Deduction is only applicable up to
+ * March 31, 2001."* (TRA spec §3.2.3.12, lines 9135-9146). `computeSchedule11`
+ * enforces both halves of that test — the tax-year date AND the 10%
+ * gross-revenue ratio — and forces line 042 to nil whenever either fails,
+ * regardless of what the capital/labour workings below would otherwise
+ * produce.
+ *
+ * ── What this module does NOT compute ───────────────────────────────────
+ *
+ * The transcribed section (TRA spec §3.2.3.12, lines 9082-9397) stops at line
+ * 042, "Alberta Manufacturing and Processing Profits" — an INCOME figure, not
+ * a tax saving. No rate or deduction-dollar calculation appears in that
+ * range, so none is invented here; `albertaManufacturingProcessingProfits` is
+ * exactly line 042 as specified, nothing further.
+ *
+ * ADJUBI (line 001 / AMPPD), Cost of Capital (031) and Cost of Labour (037)
+ * are the SAME figures federal Schedule 27 Part 2 computes — confirmed
+ * against `packages/ca-tax/src/t2/forms/generated/schedule27.captions.ts`,
+ * where line 130 is "Adjusted business income (ADJUBI)", line 140 is "Cost of
+ * capital (C)" and line 160 is "Cost of labour (L)" (matching the AT1 spec's
+ * "fed 027130" / "fed 027140" / "fed 027160" references exactly: `027` +
+ * the three-digit federal line number). This codebase has no module that
+ * COMPUTES those figures, though: `schedule27-mp.ts` starts from Part 2's
+ * OUTPUT (`manufacturingAndProcessingProfits`, fed line 200 = CMPP), never
+ * from ADJUBI or the capital/labour cost bases that produce it. Per the task
+ * scope instruction, this module takes `federalAdjubi`, `costOfCapital` and
+ * `costOfLabour` as plain numeric INPUTS the caller supplies from the
+ * federal Schedule 27 Part 2 workings, rather than reimplementing Part 2.
+ *
+ * ── Line map (TRA spec §3.2.3.12) ───────────────────────────────────────
+ *
+ *   011001  AMPPD  ADJUBI for Alberta purposes                (line 9152-9165)
+ *   011013         CCPC-only: aggregate investment income     (line 9167-9179)
+ *   011031         Cost of Capital (= fed 027140)              (line 9248-9256)
+ *   011033         Alberta Cost of Manufacturing & Processing
+ *                  Capital (≤ 011031)                          (line 9257-9273)
+ *   011037         Cost of Labour (= fed 027160)                (line 9274-9282)
+ *   011039         Alberta Cost of Manufacturing & Processing
+ *                  Labour (≤ 011037)                            (line 9283-9294)
+ *   011042  AMPP   Alberta Manufacturing and Processing Profits (line 9295-9390)
+ *
+ * ── Line 001 (AMPPD): a discrepancy in the source document ─────────────────
+ *
+ * The line CAPTION reads *"If the ADJUBI is calculated differently for
+ * Alberta purposes, then enter the amount from Schedule 12, line 116"*, but
+ * the BUSINESS RULE beside it gives a different, fully-specified formula:
+ * *"value = 012112 + 012114. If negative, default = 0. Otherwise, if form 012
+ * does not exist, set value = fed 027130."* There is no Schedule 12 line 116
+ * anywhere else in this spec. This module follows the business rule's stated
+ * arithmetic (012112 + 012114) rather than the caption's single, unverifiable
+ * line reference, because a formula that is actually computable beats a
+ * citation that cannot be checked. Flagged here rather than silently resolved
+ * either way, per the task's instruction not to guess at spec ambiguity.
+ *
+ * ── Line 042: the four-case formula collapses to two `min`s ────────────────
+ *
+ * The spec states line 042 as four cases keyed by whether 011031 < 011033 ×
+ * 100/85 and whether 011037 < 011039 × 100/75. Each case selects, per
+ * dimension, either the RAW cost (031 or 037) or the grossed-up ALBERTA
+ * portion (033 × 100/85 or 039 × 100/75) — precisely a `Math.min`, matching
+ * the shape federal Schedule 27 lines 150/170 already use for the analogous
+ * "cost of manufacturing and processing capital/labour" figures:
+ *
+ *   042 = 001 × [min(033×100/85, 031) + min(039×100/75, 037)] / (031 + 037)
+ *
+ * Verified against all four spec cases: whichever side of "031 < 033×100/85"
+ * holds, `min(033×100/85, 031)` reduces to exactly the value that case's
+ * formula uses (031 itself, or the grossed-up 033), and likewise for the
+ * labour term — so the single expression above reproduces all four cases
+ * without branching on them explicitly.
+ *
+ * ── Small manufacturing corporations: out of scope by the spec itself ──────
+ *
+ * The AMPP business rule (line 9180-9184) says lines 011031-011042 "must be
+ * completed" for a corp OTHER than a small manufacturing corp, and "must not
+ * exist" otherwise — but gives no alternative formula for a small
+ * manufacturer's line 042 anywhere in the transcribed range (the "AT1 Guide"
+ * it defers to is a separate document not sourced here). `computeSchedule11`
+ * does not guess one: pass `smallManufacturerAmpp` directly when
+ * `isSmallManufacturingCorp` is true, or an issue is raised and line 042
+ * reports nil.
+ *
+ * Whole dollars, pure.
+ */
+interface Schedule11Input {
+  /**
+   * The corporation's tax year START date, ISO `YYYY-MM-DD`. The deduction
+   * applies only where this is before 2001-04-01 (TRA-spec lines 9135-9146).
+   */
+  taxYearStart: string;
+  /**
+   * Gross revenue from manufacturing or processing of goods for sale or
+   * lease, for the 10% test (TRA-spec lines 9138-9142).
+   */
+  manufacturingGrossRevenue?: number;
+  /** Total gross revenue for the year, for the 10% test. */
+  totalGrossRevenue?: number;
+  /**
+   * Whether the corp qualifies as a "small manufacturing corp" per the AT1
+   * Guide criteria (business rule beside line "AMPP", 9180-9184). Gates
+   * whether 011031-011042 apply at all.
+   */
+  isSmallManufacturingCorp?: boolean;
+  /**
+   * 011042 supplied directly for a small manufacturing corp. The transcribed
+   * spec range states only that 011031-011042 "must not exist" in this case
+   * — it does not give the alternative formula, so none is derived here.
+   */
+  smallManufacturerAmpp?: number;
+  /** 027130 — federal Schedule 27 ADJUBI. Used unless the Alberta figure differs. */
+  federalAdjubi?: number;
+  /**
+   * When the corp elects to calculate ADJUBI differently for Alberta
+   * purposes (Schedule 12 exists): the two Schedule 12 lines the AT1
+   * business rule sums, 012112 + 012114. Supplying this OVERRIDES
+   * `federalAdjubi` for line 011001 — presence of this field IS the "chooses
+   * to calculate ADJUBI differently, and form 012 exists" signal.
+   */
+  albertaAdjubiFromSchedule12?: {
+    line112: number;
+    line114: number;
+  };
+  /**
+   * 000029 = 1 or 2 — Canadian-controlled private corporation, gating line
+   * 011013 (CCPC-only aggregate investment income). This figure is a
+   * disclosure item: the transcribed spec range (9082-9397) does not use it
+   * anywhere in the line 042 formula.
+   */
+  isCcpc?: boolean;
+  /** Whether an Alberta Schedule 12 exists for this return. */
+  schedule12Exists?: boolean;
+  /** Alberta-specific aggregate investment income, used when Schedule 12 exists. */
+  albertaAggregateInvestmentIncome?: number;
+  /** 200440 — federal aggregate investment income, used when Schedule 12 does not exist. */
+  federalAggregateInvestmentIncome?: number;
+  /** 011031 — Cost of Capital. Must equal fed 027140 for a non-small-manufacturer. */
+  costOfCapital?: number;
+  /** 011033 — the Alberta portion of Cost of Capital. Clamped to ≤ costOfCapital. */
+  albertaCostOfCapital?: number;
+  /** 011037 — Cost of Labour. Must equal fed 027160 for a non-small-manufacturer. */
+  costOfLabour?: number;
+  /** 011039 — the Alberta portion of Cost of Labour. Clamped to ≤ costOfLabour. */
+  albertaCostOfLabour?: number;
+}
+interface Schedule11Result {
+  /** Whether the deduction applies this year at all (date test AND 10% gross-revenue test). */
+  eligible: boolean;
+  isSmallManufacturingCorp: boolean;
+  /** 011001 (AMPPD) — resolved ADJUBI base for the line 042 formula. */
+  albertaAdjubi: number;
+  /** 011013 — CCPC aggregate investment income. Undefined when the corp is not a CCPC. */
+  aggregateInvestmentIncome?: number;
+  /** 011031. */
+  costOfCapital: number;
+  /** 011033. */
+  albertaCostOfCapital: number;
+  /** 011037. */
+  costOfLabour: number;
+  /** 011039. */
+  albertaCostOfLabour: number;
+  /** 011042 — Alberta Manufacturing and Processing Profits. Nil unless `eligible`. */
+  albertaManufacturingProcessingProfits: number;
+  /** Manufacturing gross revenue ÷ total gross revenue, when both figures were given. */
+  grossRevenueRatio?: number;
+  issues: string[];
+}
+declare function computeSchedule11(input: Schedule11Input): Schedule11Result;
+/**
+ * `scheduleNNValues` for Schedule 11, following the `at1-schedule-line-items.ts`
+ * builder pattern (see `schedule20Values`, `schedule16Values`). Kept in THIS
+ * file rather than the shared filing module per the task instructions — other
+ * agents are editing `at1-schedule-line-items.ts` concurrently.
+ */
+interface At1ScheduleValueLike$1 {
+  lineItemId: string;
+  value: string | number;
+}
+interface At1ScheduleDataLike$1 {
+  scheduleId: string;
+  values: At1ScheduleValueLike$1[];
+}
+/**
+ * Field ids per the spec transcription above: 001 (AMPPD/ADJUBI), 013 (CCPC
+ * aggregate investment income), 031/033/037/039 (cost of capital/labour, both
+ * jurisdictions) and 042 (Alberta M&P Profits).
+ *
+ * Line 042 is ALWAYS emitted, including when the historical-eligibility gate
+ * (pre-2001-04-01 tax year AND the 10% gross-revenue test) has forced it to
+ * nil — an ineligible year still has a line 011042 on the form, and it reads
+ * nil, so this files nil rather than omitting the line entirely. The REASON
+ * it is nil (a `Schedule 11: … applies only where the tax year begins before
+ * 2001-04-01 …` / `… below the 10% threshold …` entry) lives on
+ * `result.issues`, which this builder does not carry onto the wire itself —
+ * the caller already has `result` (this function's own input) and so already
+ * has `result.issues` sitting beside whatever this returns; duplicating it
+ * onto `At1ScheduleDataLike`, which has no field for prose, would only be
+ * losing information conversion by not adding any.
+ *
+ * Line 013 (CCPC aggregate investment income) is the one line legitimately
+ * OMITTED rather than filed as nil: it is undefined, not zero, for a non-CCPC
+ * corporation — the spec's own business rule gates it on `000029 = 1 or 2`,
+ * so a non-CCPC has no box to fill here at all, unlike line 042's "nil is a
+ * real answer" case above.
+ */
+declare function schedule11Values(result: Schedule11Result): At1ScheduleDataLike$1;
+//#endregion
+//#region src/t2/at1/schedules/schedule15-resource-related-deductions.d.ts
+/**
+ * Alberta AT1 Schedule 15 — Alberta Resource Related Deductions.
+ *
+ * Source: `research/sources/tra-spec/AT1-Chapter3-2025.2-full.txt`, lines
+ * 12394-15937 (§3.2.3.16 "Schedule 15 - Alberta Resource Related Deductions").
+ * There is NO standalone AT1SCH15 PDF under `research/sources/tra-forms/pdf/`
+ * (unlike schedules 1, 2, 10, 12, 13, 16, 17, 18, 20, 21, 29, which all have
+ * one) — the NetFile mapping spec above is the ONLY source available for this
+ * schedule, so every field below is cited to that text file alone and cannot
+ * be cross-checked against a rendered form layout.
+ *
+ * Like AT1 Schedule 18 (dispositions) and Schedule 13 (CCA), this is a
+ * RECONCILIATION overlay, not a second engine: for most lines, the Alberta
+ * figure defaults to the corresponding FEDERAL pool figure, and only the
+ * lines where Alberta actually diverges are entered. The form is forbidden
+ * when the return declares no Alberta/federal divergence (000060 AND 000061
+ * both 2) and required when the opening balance or the claim for Alberta
+ * purposes differs from federal (line 015 gating text, source lines
+ * 12444-12456).
+ *
+ * Despite the task brief's expectation of a "resource allowance" pool, THERE
+ * IS NO resource-allowance computation on this schedule — the federal
+ * resource allowance deduction was repealed for taxation years after 1989
+ * (phased out through the mid-1990s) and this schedule is entirely about the
+ * EIGHT resource-expense CONTINUITY pools that survive it:
+ *
+ *   EDA    — Continuity of Earned Depletion Base (grandfathered; regular +
+ *            successor expenses), lines 001-021.
+ *   CMEDB  — Continuity of Mining Exploration Depletion Base, lines 023-033.
+ *   CEE    — Cumulative Canadian Exploration Expenses (regular + successor),
+ *            lines 041-083.
+ *   CDE    — Cumulative Canadian Development Expenses (regular + successor),
+ *            lines 091-143.
+ *   CCOGPE — Cumulative Canadian Oil and Gas Property Expenses (regular +
+ *            successor), lines 151-191.
+ *   FEDE   — Foreign Exploration and Development Expenses (regular +
+ *            successor), lines 201-233.
+ *   SFEDE  — Specified Foreign Exploration and Development Expenses, PER
+ *            COUNTRY (regular + successor), lines 241-277.
+ *   CFRE   — Cumulative Foreign Resource Expenses, PER COUNTRY (regular +
+ *            successor), lines 281-317.
+ *
+ * Each pool is modelled as its own `Input`/`Result` pair and its own pure
+ * `computeXxx` function, per this directory's convention (see
+ * `schedule18-dispositions.ts`, `schedule21-year-of-origin.ts`). A single
+ * `computeAlbertaSchedule15` at the bottom composes all eight (accepting the
+ * already-computed CCOGPE results where CDE needs them — see "CCOGPE ↔ CDE
+ * cross-linkage" below) and applies the schedule-level 000060/000061 gate.
+ *
+ * ── Two proration conventions, NOT interchangeable ──────────────────────────
+ *
+ * The current-year-claim caps use TWO different short-tax-year formulas, and
+ * the spec is explicit that they differ:
+ *
+ *   - CDE (lines 115, 141) and CCOGPE (lines 169, 189) use a STEP function:
+ *     "if days in tax year ≥ 357, cap = rate × pool; if < 357, cap = rate ×
+ *     (days/365) × pool" — i.e. the proration is skipped entirely for a
+ *     near-full year.
+ *   - FEDE (line 209), SFEDE (line 253) and CFRE (lines 293, 313) use a
+ *     PLAIN `days/365` multiplier with no 357-day step.
+ *
+ * `stepYearFactor` implements the first; `linearYearFactor` the second. CEE
+ * (lines 061, 081) and EDA/CMEDB have no day-proration at all — CEE is fully
+ * claimable up to the pool balance in one year, no percentage rate applies.
+ *
+ * ── CCOGPE ↔ CDE cross-linkage (FLAGGED, not fully auto-wired) ──────────────
+ *
+ * When a CCOGPE pool's pre-claim subtotal is NEGATIVE, three things in the
+ * spec text interact in a way this module resolves only PARTIALLY:
+ *
+ *   1. CDE line 105 ("Deduct: credit balance in the cumulative Canadian oil
+ *      and gas property expense pool", source lines 13604-13622) has its OWN
+ *      self-contained formula: `A = 015151+015153+015155+015157-015159-
+ *      015161-015165-015167; if A < 0, value = A; otherwise enter fed
+ *      012330`. This is unconditional — it does not mention the designation
+ *      election. This module implements 105 EXACTLY this way, computed from
+ *      the already-computed CCOGPE-regular pool subtotal (see
+ *      `computeCdeRegular`'s `ccogpeRegular` parameter).
+ *   2. CCOGPE line 169 ("Deduct: current year claim...", source lines
+ *      14281-14370) separately says that when that SAME subtotal A is
+ *      negative, it "must be carried forward to 015105" ONLY if the
+ *      corporation "has made a designation pursuant to subparagraph
+ *      66.7(4)(a)(iii)" — and to 015133 (CDE SUCCESSOR, not 105) if it has
+ *      NOT. This CONTRADICTS (1)'s unconditional reading. Line 189 (source
+ *      lines 14646-14661) makes the analogous claim for the CCOGPE-successor
+ *      pool: negative → 015133 if designated, or "included in 015167"
+ *      (CCOGPE's OWN regular-pool deduction line, not a CDE line) if not.
+ *
+ * This module resolves (1) literally (105 is auto-computed, unconditionally,
+ * from the CCOGPE-regular subtotal) because that is the more specific,
+ * self-contained rule attached directly to line 105 itself. It does NOT
+ * auto-route a negative CCOGPE-successor subtotal into CDE line 133 or back
+ * into CCOGPE-regular line 167, because (a) line 133 has no unconditional
+ * formula of its own — only the ambiguous "value may not exceed amount A"
+ * (source lines 13945-13962), and (b) whether it should land on 133 or 167
+ * hinges on the 66.7(4)(a)(iii) designation, which this schedule has no
+ * source for and no sibling schedule to pull it from. Whenever the CCOGPE-
+ * successor subtotal goes negative, `computeCcogpeSuccessor` raises an issue
+ * naming lines 133/167/189 so a preparer resolves the routing by hand; the
+ * pool's own claim and closing balance are zeroed per the schedule's
+ * unconditional instruction ("enter zero at 015189 and 015191").
+ *
+ * A second, independent anomaly: CCOGPE-successor's own closing balance
+ * formula (line 191, source lines 14731-14740) reads literally as "value =
+ * 015173+015175+015177-015181-015185-015187-015189 **-015167-015169**" when
+ * the pre-subtraction total is positive — i.e. it appears to subtract the
+ * CCOGPE-REGULAR pool's OWN deduction (167) and claim (169) from the
+ * SUCCESSOR pool's closing balance. No other continuity balance on this
+ * schedule mixes fields across the regular/successor split this way, and
+ * nothing else in the 000-series explains why a successor balance would
+ * absorb the regular pool's claim. This module computes 191 with the clean,
+ * schedule-consistent formula (additions − deductions − claim, floored at
+ * zero) and raises an issue quoting the literal spec text whenever 167 or
+ * 169 is non-zero (the only case where the two readings diverge), so a
+ * reviewer can check it against the real form — which, again, has no PDF in
+ * this engine's sources to check against.
+ *
+ * ── Other flagged items ─────────────────────────────────────────────────────
+ *
+ *   - CDE line 107 ("Deduct: other deductions or transfers", source lines
+ *     13681-13691) carries a parenthetical "(Note: If 015139 is negative,
+ *     include the amount at 015107 as a positive value.)" — there is NO line
+ *     139 anywhere else in this schedule's field list (CDE regular runs
+ *     091-117 with no 108/109/113/114/116/139 gaps that resolve to it, and
+ *     no other pool numbers into the 130s except CDE-successor's own 133-137,
+ *     which are a different pool entirely). This looks like either an OCR
+ *     artifact or a reference to a paper-form-only field outside the NetFile
+ *     schema (the same category as Schedule 21's RIFE section). Not modelled;
+ *     flagged verbatim whenever the schedule is computed.
+ *   - Negative-pool amounts on FEDE, SFEDE and CFRE (claim lines 209, 221,
+ *     253, 273, 293, 313) are, per the spec, "include[d] in 012040" — a
+ *     FEDERAL T2 line, entirely outside this schedule and this engine's
+ *     stated scope for Schedule 15. This module zeroes the claim/closing per
+ *     the schedule's own instruction and raises an issue noting the federal
+ *     inclusion is the caller's responsibility elsewhere.
+ *   - CFRE line 293's "B" component is capped at "the global foreign
+ *     resource limit for the year designated for that country" (source lines
+ *     15703-15711) — a quantity with no definition or source anywhere in
+ *     this spec excerpt. Modelled as an optional plain-number INPUT per
+ *     country (`globalForeignResourceLimit`); omitting it makes B = 0 (the
+ *     conservative, under-claim direction) and raises an issue rather than
+ *     inventing a limit.
+ *
+ * Whole dollars, pure functions, no I/O.
+ */
+interface EdaRegularFederal {
+  /** 012101 — balance at end of preceding taxation year. */
+  openingBalance?: number;
+  /** 012105 — transferred on amalgamation or wind-up of subsidiary. */
+  amalgamationTransfer?: number;
+  /** 012110 — transferred on sale of resource property to successor. */
+  saleTransfer?: number;
+  /** 012115 — claim for the year per federal Regulation 1201. */
+  regulation1201Claim?: number;
+}
+interface EdaRegularInput {
+  federal: EdaRegularFederal;
+  /** Entered ONLY where the Alberta figure differs from federal. */
+  albertaOverride?: Partial<EdaRegularFederal>;
+}
+interface EdaRegularResult {
+  /** 015001 */
+  openingBalance: number;
+  /** 015003 */
+  amalgamationTransfer: number;
+  /** 015005 */
+  saleTransfer: number;
+  /** Pool before the year's claim: 015001 + 015003 − 015005. */
+  poolBeforeClaim: number;
+  /** 015007 */
+  claim: number;
+  /** 015009 */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+declare function computeEdaRegular(input: EdaRegularInput): EdaRegularResult;
+interface EdaSuccessorFederal {
+  /** 012126 */
+  openingBalance?: number;
+  /** 012130 */
+  amalgamationTransfer?: number;
+  /** 012132 — transferred other than on amalgamation or wind-up of subsidiary. */
+  otherTransfer?: number;
+  /** 012135 — transferred on sale of resource property. */
+  saleTransfer?: number;
+  /** 012140 — claim for the year per federal Regulation 1202(2). */
+  regulation1202Claim?: number;
+}
+interface EdaSuccessorInput {
+  federal: EdaSuccessorFederal;
+  albertaOverride?: Partial<EdaSuccessorFederal>;
+}
+interface EdaSuccessorResult {
+  /** 015011 */
+  openingBalance: number;
+  /** 015013 */
+  amalgamationTransfer: number;
+  /** 015015 */
+  otherTransfer: number;
+  /** 015017 */
+  saleTransfer: number;
+  /** Pool before claim: 015011 + 015013 + 015015 − 015017. */
+  poolBeforeClaim: number;
+  /** 015019 */
+  claim: number;
+  /** 015021 */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+declare function computeEdaSuccessor(input: EdaSuccessorInput): EdaSuccessorResult;
+interface CmedbFederal {
+  /** 012150 */
+  openingBalance?: number;
+  /** 012155 */
+  amalgamationTransfer?: number;
+  /** 012160 — transferred other than on amalgamation or wind-up of subsidiary. */
+  otherTransfer?: number;
+  /** 012165 — transferred on disposal of resource property to successor. */
+  disposalTransfer?: number;
+}
+interface CmedbInput {
+  federal: CmedbFederal;
+  albertaOverride?: Partial<CmedbFederal>;
+  /**
+   * 015031 — claim for the year per federal Regulation 1203(1). The spec
+   * gives NO federal default line for this field (unlike the EDA claims,
+   * which default to fed 012115/012140) — it is a genuinely discretionary
+   * Alberta claim, capped at the positive pool balance. Omit to claim the
+   * maximum.
+   */
+  claimed?: number;
+}
+interface CmedbResult {
+  /** 015023 */
+  openingBalance: number;
+  /** 015025 */
+  amalgamationTransfer: number;
+  /** 015027 */
+  otherTransfer: number;
+  /** 015029 */
+  disposalTransfer: number;
+  /** Pool before claim: 015023 + 015025 + 015027 − 015029. */
+  poolBeforeClaim: number;
+  /** 015031 */
+  claim: number;
+  /** 015033 */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+declare function computeCmedb(input: CmedbInput): CmedbResult;
+interface CeeRegularFederal {
+  /** 012200 */
+  openingBalance?: number;
+  /** 012205 — current year expenses excluding look-back. MUST equal federal (no AB override). */
+  currentYearExpenses: number;
+  /** 012206 — current year expenses under the look-back rule, s.66(12.66). MUST equal federal. */
+  lookBackExpenses?: number;
+  /** 012210 — reclassified from CDE, ss.66.1(9)/66.7(9). MUST equal federal. */
+  reclassifiedFromCde?: number;
+  /** 012215 — transferred on amalgamation or wind-up of subsidiary. */
+  amalgamationTransfer?: number;
+  /** 012217 — Canadian renewable and conservation expenses. MUST equal federal. */
+  renewableConservationExpenses?: number;
+  /** 012220 — other additions. */
+  otherAdditions?: number;
+  /** 012225 — government assistance and grants. MUST equal federal. */
+  governmentAssistance?: number;
+  /** 012230 — other deductions or transfers. */
+  otherDeductions?: number;
+  /** 012243 — CEE renounced under a flow-through share agreement. MUST equal federal. */
+  renouncedFlowThrough?: number;
+  /** 012240 — transferred on disposition of resource property to successor. */
+  transferredToSuccessor?: number;
+  /** 012244 — expenses renounced under the look-back rule, s.66(12.66). MUST equal federal. */
+  renouncedLookBack?: number;
+}
+/** Only the fields the spec permits an Alberta override for (the rest "must equal" federal). */
+type CeeRegularOverride = Partial<Pick<CeeRegularFederal, 'openingBalance' | 'amalgamationTransfer' | 'otherAdditions' | 'otherDeductions' | 'transferredToSuccessor'>>;
+interface CeeRegularInput {
+  federal: CeeRegularFederal;
+  albertaOverride?: CeeRegularOverride;
+  /** 015061 — discretionary claim when the pool subtotal is positive. Omit to claim the maximum. */
+  claimed?: number;
+}
+interface CeeRegularResult {
+  openingBalance: number;
+  currentYearExpenses: number;
+  lookBackExpenses: number;
+  reclassifiedFromCde: number;
+  amalgamationTransfer: number;
+  renewableConservationExpenses: number;
+  otherAdditions: number;
+  governmentAssistance: number;
+  otherDeductions: number;
+  renouncedFlowThrough: number;
+  transferredToSuccessor: number;
+  renouncedLookBack: number;
+  /** Pool subtotal before the claim (015041+043+044+045+047+049+051-053-055-058-059-060). */
+  subtotal: number;
+  /** 015061 — claim, or income inclusion if the subtotal is ≤ 0. */
+  claim: number;
+  /** 015063 */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+declare function computeCeeRegular(input: CeeRegularInput): CeeRegularResult;
+interface CeeSuccessorFederal {
+  /** 012250 */
+  openingBalance?: number;
+  /** 012255 — reclassified from CDE. MUST equal federal. */
+  reclassifiedFromCde?: number;
+  /** 012260 — transferred on amalgamation or wind-up of subsidiary. */
+  amalgamationTransfer?: number;
+  /** 012265 — transferred other than on amalgamation or wind-up of subsidiary. */
+  otherTransfer?: number;
+  /** 012280 — other deductions or transfers. */
+  otherDeductions?: number;
+  /** 012290 — transferred on disposition of resource property to successor. */
+  transferredToSuccessor?: number;
+}
+type CeeSuccessorOverride = Partial<Pick<CeeSuccessorFederal, 'openingBalance' | 'amalgamationTransfer' | 'otherTransfer' | 'otherDeductions' | 'transferredToSuccessor'>>;
+interface CeeSuccessorInput {
+  federal: CeeSuccessorFederal;
+  albertaOverride?: CeeSuccessorOverride;
+  /** 015081 */
+  claimed?: number;
+}
+interface CeeSuccessorResult {
+  openingBalance: number;
+  reclassifiedFromCde: number;
+  amalgamationTransfer: number;
+  otherTransfer: number;
+  otherDeductions: number;
+  transferredToSuccessor: number;
+  /** Subtotal before claim: 015064+065+067+069-077-079. */
+  subtotal: number;
+  /** 015081 */
+  claim: number;
+  /** 015083 */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+declare function computeCeeSuccessor(input: CeeSuccessorInput): CeeSuccessorResult;
+interface CdeRegularFederal {
+  /** 012300 */
+  openingBalance?: number;
+  /** 012303 — current year expenses excluding look-back. MUST equal federal. */
+  currentYearExpenses?: number;
+  /** 012304 — current year expenses under the look-back rule. MUST equal federal. */
+  lookBackExpenses?: number;
+  /** 012305 — transferred on amalgamation or wind-up of subsidiary. */
+  amalgamationTransfer?: number;
+  /** 012310 — other additions. */
+  otherAdditions?: number;
+  /** 012315 — reclassified Canadian exploration expenses. MUST equal federal. */
+  reclassifiedFromCee?: number;
+  /** 012320 — government assistance and grants. MUST equal federal. */
+  governmentAssistance?: number;
+  /** 012325 — receivable on disposition of underground oil/gas storage rights or mining property. */
+  receivableOnDisposition?: number;
+  /**
+   * 012335 — other deductions or transfers (015107). The spec's own text for
+   * this field adds "(Note: If 015139 is negative, include the amount at
+   * 015107 as a positive value.)" — line 015139 does not exist anywhere else
+   * in this schedule's field list. NOT modelled; see the module doc comment.
+   * This input is the federal 012335 figure only.
+   */
+  otherDeductions?: number;
+  /** 012343 — renounced under a flow-through share agreement. MUST equal federal. */
+  renouncedFlowThrough?: number;
+  /** 012340 — transferred on disposition of resource property to successor. */
+  transferredToSuccessor?: number;
+  /** 012344 — expenses renounced under the look-back rule. MUST equal federal. */
+  renouncedLookBack?: number;
+  /**
+   * 012330 — the federal default for line 015105 when the CCOGPE-regular
+   * pool subtotal is NOT negative (see `computeCdeRegular`'s `ccogpeRegular`
+   * parameter for the negative-subtotal case, which overrides this).
+   */
+  creditBalanceInCogpePool?: number;
+}
+type CdeRegularOverride = Partial<Pick<CdeRegularFederal, 'openingBalance' | 'amalgamationTransfer' | 'otherAdditions' | 'receivableOnDisposition' | 'otherDeductions' | 'transferredToSuccessor' | 'creditBalanceInCogpePool'>>;
+interface CdeRegularInput {
+  federal: CdeRegularFederal;
+  albertaOverride?: CdeRegularOverride;
+  /** 015115 */
+  claimed?: number;
+  /** Days in the tax year, for the ≥357-day step proration. Default 365. */
+  daysInTaxYear?: number;
+}
+interface CdeRegularResult {
+  openingBalance: number;
+  currentYearExpenses: number;
+  lookBackExpenses: number;
+  amalgamationTransfer: number;
+  otherAdditions: number;
+  reclassifiedFromCee: number;
+  governmentAssistance: number;
+  receivableOnDisposition: number;
+  /** 015105 — see module doc comment for the CCOGPE ↔ CDE cross-linkage this implements. */
+  creditBalanceInCogpePool: number;
+  otherDeductions: number;
+  renouncedFlowThrough: number;
+  transferredToSuccessor: number;
+  renouncedLookBack: number;
+  /** Subtotal before claim (additions − deductions, excluding the claim itself). */
+  subtotal: number;
+  /** 015115 */
+  claim: number;
+  /** 015117 */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+declare function computeCdeRegular(input: CdeRegularInput, /** The already-computed CCOGPE-regular pool, for line 015105's cross-pool formula. */
+
+ccogpeRegular: {
+  subtotal: number;
+}): CdeRegularResult;
+interface CdeSuccessorFederal {
+  /** 012350 */
+  openingBalance?: number;
+  /** 012355 — transferred on amalgamation or wind-up of subsidiary. */
+  amalgamationTransfer?: number;
+  /** 012357 — transferred other than on amalgamation or wind-up of subsidiary. */
+  otherTransfer?: number;
+  /** 012365 — reclassified Canadian exploration expenses. MUST equal federal. */
+  reclassifiedFromCee?: number;
+  /**
+   * 015133 — "Deduct: credit balance in the cumulative Canadian oil and gas
+   * property expense pool". Unlike 015105, the spec gives NO federal default
+   * line for this field, and its own formula text ("value may not exceed
+   * amount A" when A is negative) is ambiguous about whether it means "value
+   * = A" (as 015105 states unconditionally) or something looser. This module
+   * treats it the same way as 015105 — auto-set to the negative CCOGPE-
+   * successor subtotal when negative — and flags the ambiguity. See module
+   * doc comment.
+   */
+  creditBalanceInCogpePool?: number;
+  /** 012385 — other deductions or transfers. */
+  otherDeductions?: number;
+  /** 012390 — transferred on disposition of resource property. */
+  transferredToSuccessor?: number;
+}
+type CdeSuccessorOverride = Partial<Pick<CdeSuccessorFederal, 'openingBalance' | 'amalgamationTransfer' | 'otherTransfer' | 'creditBalanceInCogpePool' | 'otherDeductions' | 'transferredToSuccessor'>>;
+interface CdeSuccessorInput {
+  federal: CdeSuccessorFederal;
+  albertaOverride?: CdeSuccessorOverride;
+  /** 015141 */
+  claimed?: number;
+  /** Days in the tax year, for the ≥357-day step proration. Default 365. */
+  daysInTaxYear?: number;
+}
+interface CdeSuccessorResult {
+  openingBalance: number;
+  amalgamationTransfer: number;
+  otherTransfer: number;
+  reclassifiedFromCee: number;
+  /** 015133 — see module doc comment. */
+  creditBalanceInCogpePool: number;
+  otherDeductions: number;
+  transferredToSuccessor: number;
+  subtotal: number;
+  /** 015141 */
+  claim: number;
+  /** 015143 */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+declare function computeCdeSuccessor(input: CdeSuccessorInput, /** The already-computed CCOGPE-successor pool, for line 015133's cross-pool formula. */
+
+ccogpeSuccessor: {
+  subtotal: number;
+}): CdeSuccessorResult;
+interface CcogpeRegularFederal {
+  /** 012400 */
+  openingBalance?: number;
+  /** 012405 — current year expenses. MUST equal federal. */
+  currentYearExpenses?: number;
+  /** 012410 — transferred on amalgamation or wind-up of subsidiary. */
+  amalgamationTransfer?: number;
+  /** 012415 — other additions. */
+  otherAdditions?: number;
+  /** 012420 — received or receivable on disposition of Canadian oil and gas property. */
+  receivableOnDisposition?: number;
+  /** 012425 — government assistance and grants. MUST equal federal. */
+  governmentAssistance?: number;
+  /** 012435 — transferred on disposition of resource property to successor. */
+  transferredToSuccessor?: number;
+  /**
+   * 012440 — other deductions or transfers (015167). May ALSO receive a
+   * carryover from the CCOGPE-successor pool per line 189(b) when that pool
+   * is negative and no s.66.7(4)(a)(iii) designation was made — NOT
+   * auto-applied here; see module doc comment and `computeCcogpeSuccessor`'s
+   * issues.
+   */
+  otherDeductions?: number;
+}
+type CcogpeRegularOverride = Partial<Pick<CcogpeRegularFederal, 'openingBalance' | 'amalgamationTransfer' | 'otherAdditions' | 'receivableOnDisposition' | 'transferredToSuccessor' | 'otherDeductions'>>;
+interface CcogpeRegularInput {
+  federal: CcogpeRegularFederal;
+  albertaOverride?: CcogpeRegularOverride;
+  /** 015169 */
+  claimed?: number;
+  /** Days in the tax year, for the ≥357-day step proration. Default 365. */
+  daysInTaxYear?: number;
+}
+interface CcogpeRegularResult {
+  openingBalance: number;
+  currentYearExpenses: number;
+  amalgamationTransfer: number;
+  otherAdditions: number;
+  receivableOnDisposition: number;
+  governmentAssistance: number;
+  transferredToSuccessor: number;
+  otherDeductions: number;
+  /** Subtotal before claim ("A" at source lines 14281-14283): 015151+153+155+157-159-161-165-167. */
+  subtotal: number;
+  /** 015169 */
+  claim: number;
+  /** 015171 */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+declare function computeCcogpeRegular(input: CcogpeRegularInput): CcogpeRegularResult;
+interface CcogpeSuccessorFederal {
+  /** 012450 */
+  openingBalance?: number;
+  /** 012455 — transferred on amalgamation or wind-up of subsidiary. */
+  amalgamationTransfer?: number;
+  /** 012460 — transferred other than on amalgamation or wind-up of subsidiary. */
+  otherTransfer?: number;
+  /** 012470 — received or receivable on disposition of Canadian oil and gas property. */
+  receivableOnDisposition?: number;
+  /** 012485 — transferred on disposition of resource property. */
+  transferredToSuccessor?: number;
+  /** 012490 — other deductions or transfers. */
+  otherDeductions?: number;
+}
+type CcogpeSuccessorOverride = Partial<Pick<CcogpeSuccessorFederal, 'openingBalance' | 'amalgamationTransfer' | 'otherTransfer' | 'receivableOnDisposition' | 'transferredToSuccessor' | 'otherDeductions'>>;
+interface CcogpeSuccessorInput {
+  federal: CcogpeSuccessorFederal;
+  albertaOverride?: CcogpeSuccessorOverride;
+  /** 015189 */
+  claimed?: number;
+  /** Days in the tax year, for the ≥357-day step proration. Default 365. */
+  daysInTaxYear?: number;
+}
+interface CcogpeSuccessorResult {
+  openingBalance: number;
+  amalgamationTransfer: number;
+  otherTransfer: number;
+  receivableOnDisposition: number;
+  transferredToSuccessor: number;
+  otherDeductions: number;
+  /** Subtotal before claim ("A" at source lines 14643-14645): 015173+175+177-181-185-187. */
+  subtotal: number;
+  /** 015189 */
+  claim: number;
+  /**
+   * 015191 — computed with the clean additions−deductions−claim formula
+   * (floored at 0), NOT the literal spec text's apparent "−015167−015169"
+   * cross-pool subtraction. See module doc comment ("A second, independent
+   * anomaly").
+   */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+declare function computeCcogpeSuccessor(input: CcogpeSuccessorInput): CcogpeSuccessorResult;
+interface FedeRegularFederal {
+  /** 012500 */
+  openingBalance?: number;
+  /** 012510 — transferred on amalgamation or wind-up of subsidiary. */
+  amalgamationTransfer?: number;
+  /**
+   * 012515 — "other deductions or transfers" per the field caption; the
+   * spec's own rule TEXT for this line instead describes "transferred on
+   * disposition of resource property" (source lines 14829-14839), a
+   * caption/rule-text mismatch. The federal line reference (012515) is
+   * unambiguous either way, so this is a minor note, not a computation risk.
+   */
+  otherDeductions?: number;
+  /** 012530 — foreign-source resource income. MUST equal federal. Used as the claim's income cap. */
+  foreignResourceIncome?: number;
+}
+type FedeRegularOverride = Partial<Pick<FedeRegularFederal, 'openingBalance' | 'amalgamationTransfer' | 'otherDeductions'>>;
+interface FedeRegularInput {
+  federal: FedeRegularFederal;
+  albertaOverride?: FedeRegularOverride;
+  /** 015209 */
+  claimed?: number;
+  /** Days in the tax year, for the linear days/365 proration. Default 365. */
+  daysInTaxYear?: number;
+}
+interface FedeRegularResult {
+  openingBalance: number;
+  amalgamationTransfer: number;
+  otherDeductions: number;
+  foreignResourceIncome: number;
+  /** Pool: 015201+205-207. */
+  pool: number;
+  /** 015209 */
+  claim: number;
+  /** 015211 */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+declare function computeFedeRegular(input: FedeRegularInput): FedeRegularResult;
+interface FedeSuccessorFederal {
+  /** 012550 */
+  openingBalance?: number;
+  /** 012555 — transferred on amalgamation or wind-up of subsidiary. */
+  amalgamationTransfer?: number;
+  /** 012560 — transferred other than on amalgamation or wind-up of subsidiary. */
+  otherTransfer?: number;
+  /** 012565 — other deductions or transfers (same caption/rule-text mismatch as 015207; see FedeRegularFederal.otherDeductions). */
+  otherDeductions?: number;
+  /** 012580 — foreign-source resource income. MUST equal federal. */
+  foreignResourceIncome?: number;
+}
+type FedeSuccessorOverride = Partial<Pick<FedeSuccessorFederal, 'openingBalance' | 'amalgamationTransfer' | 'otherTransfer' | 'otherDeductions'>>;
+interface FedeSuccessorInput {
+  federal: FedeSuccessorFederal;
+  albertaOverride?: FedeSuccessorOverride;
+  /** 015221 */
+  claimed?: number;
+}
+interface FedeSuccessorResult {
+  openingBalance: number;
+  amalgamationTransfer: number;
+  otherTransfer: number;
+  otherDeductions: number;
+  foreignResourceIncome: number;
+  /** Pool: 015213+215+217-219. */
+  pool: number;
+  /** 015221 — NO percentage rate, unlike the regular pool: capped only by pool and income. */
+  claim: number;
+  /** 015223 */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+declare function computeFedeSuccessor(input: FedeSuccessorInput): FedeSuccessorResult;
+interface SfedeCountryRegularFederal {
+  /** 012601 — 2-letter country code. MUST equal federal. */
+  countryCode: string;
+  /** 012600 */
+  openingBalance?: number;
+  /** 012610 — transferred on amalgamation or wind-up of subsidiary. */
+  amalgamationTransfer?: number;
+  /** 012611 — other additions. */
+  otherAdditions?: number;
+  /** 012615 — other deductions or transfers. */
+  otherDeductions?: number;
+  /** 012630 — foreign resource income for THIS country. MUST equal federal. */
+  foreignResourceIncome?: number;
+}
+type SfedeCountryRegularOverride = Partial<Pick<SfedeCountryRegularFederal, 'openingBalance' | 'amalgamationTransfer' | 'otherAdditions' | 'otherDeductions'>>;
+interface SfedeCountryRegularInput {
+  federal: SfedeCountryRegularFederal;
+  albertaOverride?: SfedeCountryRegularOverride;
+  /** 015253 */
+  claimed?: number;
+  /** Days in the tax year, for the linear days/365 proration. Default 365. */
+  daysInTaxYear?: number;
+}
+interface SfedeCountryRegularResult {
+  countryCode: string;
+  openingBalance: number;
+  amalgamationTransfer: number;
+  otherAdditions: number;
+  otherDeductions: number;
+  foreignResourceIncome: number;
+  /** Pool: 015243+247+249-251. */
+  pool: number;
+  /** 015253 */
+  claim: number;
+  /** 015255 */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+declare function computeSfedeCountryRegular(input: SfedeCountryRegularInput): SfedeCountryRegularResult;
+interface SfedeCountrySuccessorFederal {
+  /** 012651 — 2-letter country code. MUST equal federal. */
+  countryCode: string;
+  /** 012650 */
+  openingBalance?: number;
+  /** 012655 — transferred on amalgamation or wind-up of subsidiary. */
+  amalgamationTransfer?: number;
+  /** 012660 — transferred other than on amalgamation or wind-up of subsidiary. */
+  otherTransfer?: number;
+  /** 012665 — other deductions or transfers. */
+  otherDeductions?: number;
+  /** 012680 — foreign resource income for THIS country. MUST equal federal. */
+  foreignResourceIncome?: number;
+}
+type SfedeCountrySuccessorOverride = Partial<Pick<SfedeCountrySuccessorFederal, 'openingBalance' | 'amalgamationTransfer' | 'otherTransfer' | 'otherDeductions'>>;
+interface SfedeCountrySuccessorInput {
+  federal: SfedeCountrySuccessorFederal;
+  albertaOverride?: SfedeCountrySuccessorOverride;
+  /** 015273 */
+  claimed?: number;
+}
+interface SfedeCountrySuccessorResult {
+  countryCode: string;
+  openingBalance: number;
+  amalgamationTransfer: number;
+  otherTransfer: number;
+  otherDeductions: number;
+  foreignResourceIncome: number;
+  /** Pool: 015263+265+267-269. */
+  pool: number;
+  /** 015273 — NO percentage rate, capped only by pool and this country's income. */
+  claim: number;
+  /** 015275 */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+declare function computeSfedeCountrySuccessor(input: SfedeCountrySuccessorInput): SfedeCountrySuccessorResult;
+interface CfreCountryRegularFederal {
+  /** 012701 — 2-letter country code. MUST equal federal. */
+  countryCode: string;
+  /** 012700 */
+  openingBalance?: number;
+  /** 012705 — current year expenses. MUST equal federal. */
+  currentYearExpenses?: number;
+  /** 012710 — transferred on amalgamation or wind-up of subsidiary. */
+  amalgamationTransfer?: number;
+  /** 012711 — other additions. */
+  otherAdditions?: number;
+  /** 012715 — other deductions or transfers. */
+  otherDeductions?: number;
+  /** 012730 — foreign resource income (loss) for THIS country. MUST equal federal. */
+  foreignResourceIncome?: number;
+}
+type CfreCountryRegularOverride = Partial<Pick<CfreCountryRegularFederal, 'openingBalance' | 'amalgamationTransfer' | 'otherAdditions' | 'otherDeductions'>>;
+interface CfreCountryRegularInput {
+  federal: CfreCountryRegularFederal;
+  albertaOverride?: CfreCountryRegularOverride;
+  /** 015293 */
+  claimed?: number;
+  /** Days in the tax year, for the linear days/365 proration. Default 365. */
+  daysInTaxYear?: number;
+  /**
+   * "The global foreign resource limit for the year designated for that
+   * country" (source lines 15703-15711) — an undefined external quantity in
+   * this spec excerpt. Omitting it makes the B-component of the claim zero
+   * (the conservative, under-claim direction) and raises an issue. See
+   * module doc comment.
+   */
+  globalForeignResourceLimit?: number;
+}
+interface CfreCountryRegularResult {
+  countryCode: string;
+  openingBalance: number;
+  currentYearExpenses: number;
+  amalgamationTransfer: number;
+  otherAdditions: number;
+  otherDeductions: number;
+  foreignResourceIncome: number;
+  /** Pool: 015283+285+287+289-291. */
+  pool: number;
+  /** 015293 = A + B, see module doc comment. */
+  claim: number;
+  /** 015295 */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+/**
+ * CFRE regular claims need a second pass across all countries (line 015293's
+ * "A" component caps at "total of all occurrences of 015297"), so this takes
+ * the whole array and the pre-summed `sumForeignResourceIncome` across every
+ * country's own 015297 rather than being called per-entry like the other
+ * per-country pools.
+ */
+declare function computeCfreRegular(entries: readonly CfreCountryRegularInput[]): {
+  entries: CfreCountryRegularResult[];
+  issues: string[];
+};
+interface AlbertaSchedule15Input {
+  eda?: {
+    regular: EdaRegularInput;
+    successor: EdaSuccessorInput;
+  };
+  cmedb?: CmedbInput;
+  cee?: {
+    regular: CeeRegularInput;
+    successor: CeeSuccessorInput;
+  };
+  cde?: {
+    regular: CdeRegularInput;
+    successor: CdeSuccessorInput;
+  };
+  ccogpe?: {
+    regular: CcogpeRegularInput;
+    successor: CcogpeSuccessorInput;
+  };
+  fede?: {
+    regular: FedeRegularInput;
+    successor: FedeSuccessorInput;
+  };
+  sfede?: {
+    regular: readonly SfedeCountryRegularInput[];
+    successor: readonly SfedeCountrySuccessorInput[];
+  };
+  cfre?: {
+    regular: readonly CfreCountryRegularInput[];
+    successor: readonly CfreCountrySuccessorInput[];
+  };
+  /** 000060 — is the corporation reporting different Alberta taxable income? Defaults to false. */
+  reportsDifferentAlbertaIncome?: boolean;
+  /**
+   * 000061 — has the corporation elected different discretionary amounts, or
+   * do opening balances differ? Defaults to false. The spec forces this to
+   * true whenever 000060 is true.
+   */
+  electsDifferentDiscretionaryAmounts?: boolean;
+}
+interface AlbertaSchedule15Result {
+  eda?: {
+    regular: EdaRegularResult;
+    successor: EdaSuccessorResult;
+  };
+  cmedb?: CmedbResult;
+  cee?: {
+    regular: CeeRegularResult;
+    successor: CeeSuccessorResult;
+  };
+  cde?: {
+    regular: CdeRegularResult;
+    successor: CdeSuccessorResult;
+  };
+  ccogpe?: {
+    regular: CcogpeRegularResult;
+    successor: CcogpeSuccessorResult;
+  };
+  fede?: {
+    regular: FedeRegularResult;
+    successor: FedeSuccessorResult;
+  };
+  sfede?: {
+    regular: SfedeCountryRegularResult[];
+    successor: SfedeCountrySuccessorResult[];
+  };
+  cfre?: {
+    regular: CfreCountryRegularResult[];
+    successor: CfreCountrySuccessorResult[];
+  };
+  /** Whether the TRA requires form 015 to be filed. */
+  formRequired: boolean;
+  /** Whether form 015 may be filed at all — false when both 000060 and 000061 are 2. */
+  formPermitted: boolean;
+  issues: string[];
+}
+declare function computeAlbertaSchedule15(input: AlbertaSchedule15Input): AlbertaSchedule15Result;
+interface CfreCountrySuccessorFederal {
+  /** 012751 — 2-letter country code. MUST equal federal. */
+  countryCode: string;
+  /** 012750 */
+  openingBalance?: number;
+  /** 012755 — transferred on amalgamation or wind-up of subsidiary. */
+  amalgamationTransfer?: number;
+  /** 012760 — transferred other than on amalgamation or wind-up of subsidiary. */
+  otherTransfer?: number;
+  /** 012765 — other deductions or transfers. */
+  otherDeductions?: number;
+  /** 012780 — foreign resource income (loss) for THIS country. MUST equal federal. */
+  foreignResourceIncome?: number;
+}
+type CfreCountrySuccessorOverride = Partial<Pick<CfreCountrySuccessorFederal, 'openingBalance' | 'amalgamationTransfer' | 'otherTransfer' | 'otherDeductions'>>;
+interface CfreCountrySuccessorInput {
+  federal: CfreCountrySuccessorFederal;
+  albertaOverride?: CfreCountrySuccessorOverride;
+  /** 015313 */
+  claimed?: number;
+  /** Days in the tax year, for the linear days/365 proration. Default 365. */
+  daysInTaxYear?: number;
+}
+interface CfreCountrySuccessorResult {
+  countryCode: string;
+  openingBalance: number;
+  amalgamationTransfer: number;
+  otherTransfer: number;
+  otherDeductions: number;
+  foreignResourceIncome: number;
+  /** Pool: 015303+305+307-309. */
+  pool: number;
+  /** 015313, capped at 30%-prorated pool OR the sum of every country's 015317. */
+  claim: number;
+  /** 015315 */
+  closingBalance: number;
+  differsFromFederal: boolean;
+  issues: string[];
+}
+/** Line 015313 caps at "total of all occurrence of 015317", so this also processes the whole array. */
+declare function computeCfreSuccessor(entries: readonly CfreCountrySuccessorInput[]): {
+  entries: CfreCountrySuccessorResult[];
+  issues: string[];
+};
+/**
+ * `scheduleNNValues` for Schedule 15, following the `at1-schedule-line-items.ts`
+ * builder pattern (see `schedule3Values` in `schedule3-other-deductions-credits.ts`
+ * for the exact convention this copies). Kept in THIS file rather than the
+ * shared filing module per the task instructions — other agents are editing
+ * `at1-schedule-line-items.ts` concurrently.
+ */
+interface At1ScheduleValueLike {
+  lineItemId: string;
+  value: string | number;
+}
+interface At1ScheduleDataLike {
+  scheduleId: string;
+  values: At1ScheduleValueLike[];
+}
+/**
+ * `computeAlbertaSchedule15`'s `issues` documents every ambiguous formula this
+ * module resolved a judgment call on (the 015105/015133/015167 CCOGPE↔CDE
+ * routing, the 015191 anomaly, the unresolved 015139 reference — see the
+ * module doc comment). `schedule15Values` files whatever number the engine
+ * actually resolved each of those lines to — it does NOT drop a line because
+ * its formula was ambiguous — but a `{ scheduleId, values }` pair has nowhere
+ * to carry the ambiguity flags themselves. `Schedule15FilingResult` adds
+ * `issues` alongside the standard shape so a caller (or a reviewer) can see
+ * both the filed numbers and the exact judgment calls behind them in one
+ * place; it remains a valid `At1ScheduleDataLike` wherever only that narrower
+ * shape is expected, since every required field is still present.
+ */
+interface Schedule15FilingResult extends At1ScheduleDataLike {
+  issues: string[];
+}
+/**
+ * Field ids per the spec transcription in the module doc comment:
+ *   EDA    001-021   CMEDB  023-033   CEE    041-083   CDE    091-143
+ *   CCOGPE 151-191   FEDE   201-233   SFEDE  241-277 (per country)
+ *   CFRE   281-317 (per country)
+ * A pool absent from `result` (never supplied to `computeAlbertaSchedule15`)
+ * emits NOTHING — there is no zero-filled line for a pool the corporation
+ * does not carry, matching every other reconciliation-style AT1 schedule
+ * builder in this package (e.g. `schedule18Values` only emits categories that
+ * were actually computed).
+ */
+declare function schedule15Values(result: AlbertaSchedule15Result): Schedule15FilingResult;
+//#endregion
 //#region src/t2/at1/engine/alberta-return.d.ts
 interface AlbertaReturnInput {
   /** Federal taxable income (from the T2). */
@@ -2447,10 +5399,28 @@ interface AlbertaReturnInput {
    */
   schedules?: {
     smallBusinessDeduction?: Schedule1FilingInput;
-    allocation?: Schedule2FilingInput;
-    lossCarryback?: Schedule10FilingInput;
+    allocation?: Schedule2FilingInput; /** Alberta other tax deductions and credits — ITC / CITC / APITC (Sch 3). */
+    otherDeductionsCredits?: Schedule3Result; /** Alberta foreign investment income tax credit (Sch 4). */
+    foreignInvestmentTaxCredit?: Schedule4Result$1; /** Alberta royalty tax deduction — Crown Royalty Tax Deduction pools (Sch 5). */
+    royaltyTaxDeduction?: AlbertaSchedule5Result; /** Alberta royalty tax credit (Sch 6). */
+    royaltyTaxCredit?: AlbertaSchedule6Result; /** Alberta royalty tax credit / deduction supplemental information (Sch 7). */
+    royaltySupplemental?: AlbertaSchedule7Result; /** Alberta political contributions tax credit (Sch 8). */
+    politicalContributions?: Schedule8Result;
+    /**
+     * Alberta SR&ED tax credit — the CREDIT, distinct from Sch 16's deduction
+     * pool (Sch 9). `group` is the page-3 associated-group allocation detail;
+     * supplied only when `AlbertaSchedule9Result` came from an associated
+     * corporation with a group actually entered.
+     */
+    sredTaxCredit?: {
+      result: AlbertaSchedule9Result;
+      group?: Schedule9GroupFilingInput;
+    };
+    lossCarryback?: Schedule10FilingInput; /** Alberta manufacturing and processing profits deduction — historical, pre-2001-04-01 only (Sch 11). */
+    manufacturingProcessing?: Schedule11Result;
     reconciliation?: Schedule12FilingInput;
-    cca?: AlbertaSchedule13Result;
+    cca?: AlbertaSchedule13Result; /** Alberta resource related deductions — eight expense-pool continuities (Sch 15). */
+    resourceDeductions?: AlbertaSchedule15Result;
     scientificResearch?: AlbertaSchedule16Result;
     reserves?: AlbertaSchedule17Result;
     dispositions?: AlbertaSchedule18Result;
@@ -4991,6 +7961,18 @@ interface FederalT2Input {
   schedule1Deductions?: readonly Schedule1Line[];
   /** Schedule 8 CCA class inputs — engine computes the deduction + recapture + terminal loss. */
   ccaClasses?: readonly CcaClassInput[];
+  /**
+   * Class 13 (leasehold interests), the FULL Reg 1100(1)(b)/Schedule III
+   * mechanic — per-layer capital cost and lease term, the 5-to-40-year period
+   * floor, all of it. Separate from `ccaClasses`: a class-13/14 row THERE
+   * only ever represents an EXISTING opening-UCC pool with no current-year
+   * addition (see `schedule8.ts`'s `computeStraightLineOpeningBalanceClass`)
+   * and refuses one. Supply a NEW layer here instead — this is the entry
+   * point that has the lease-term data to amortise it correctly.
+   */
+  class13?: Class13Input;
+  /** Class 14 (limited-life intangibles), the full per-property Reg 1100(1)(c) mechanic. */
+  class14?: Class14Input;
   /**
    * Schedule 6 capital-property dispositions — engine computes the taxable capital
    * gain (added to income) and any current-year net capital loss (→ Schedule 4).
@@ -5224,6 +8206,10 @@ interface FederalT2Result {
   lossCarryback?: LossCarrybackResult;
   /** Schedule 8 — CCA by class + closing UCC to carry forward (when ccaClasses given). */
   cca?: CcaScheduleResult;
+  /** Schedule 8 — Class 13 leasehold layers (when `class13` given). */
+  class13?: Class13Result;
+  /** Schedule 8 — Class 14 limited-life properties (when `class14` given). */
+  class14?: Class14Result;
   /** Schedule 6 — capital dispositions, taxable capital gain, net capital loss (when given). */
   capitalGains?: Schedule6Result;
   /** Schedule 5 — provincial/territorial tax (when a single Schedule-5 province is set). */
@@ -6225,4 +9211,4 @@ interface MpDeductionResult {
 }
 declare function computeMpDeduction(input: MpDeductionInput, rates?: MpDeductionRates): MpDeductionResult;
 //#endregion
-export { QuebecTaxResult as $, AlbertaSchedule18Result as $a, At1ScheduleValue as $i, mealsAndEntertainmentAddBack as $n, leaseholdPeriods as $o, Schedule12Adjustment as $r, ItcRecaptureItem as $t, T2CifGifi as A, computeIegAgreement as Aa, At1CriticalFieldMissingError as Ai, Schedule4Input as An, Schedule8Entry as Ao, PartITaxResult as Ar, computeDayWeightedGeneralTax as As, computeSchedule55 as At, Co17Certification as B, computeIegEligibleExpenditures as Ba, at1YesNo as Bi, computeSchedule2 as Bn, Class141AdditionalAllowanceInput as Bo, CORP_TAX_RATE_BOOK as Br, latestRateYear as Bs, computeGrip as Bt, FOREIGN_TAX_CREDIT_GROSS_UP as C, IegAgreementResult as Ca, formatRsiDate as Ci, Schedule5Result as Cn, AlbertaSchedule13Input as Co, computeTaxableIncome as Cr, AlbertaCorporationStatus as Cs, computeSchedule101 as Ct, computeT2Settlement as D, IegLimitAllocation as Da, renderRsiLineItem as Di, ProvincialAllocationInput as Dn, CcaClassInput as Do, CcpcActiveBusinessTaxInput as Dr, AB_GENERAL_RATE_BANDS as Ds, normalizeSchedule88 as Dt, T2SettlementResult as E, IegGroupResult as Ea, renderRsiHeader as Ei, PermanentEstablishment as En, computeAlbertaSchedule13 as Eo, nonCapitalLossApplied as Er, computeAlbertaSbd as Es, Schedule88Result as Et, T2GifiLine as F, computeIeg as Fa, albertaBalanceUnpaid as Fi, Part4RdtohResult as Fn, computeSchedule8 as Fo, SbdInput as Fr, RateBook as Fs, Schedule54Input as Ft, co17Engine as G, DonationMaximumResult as Ga, AlbertaReturnResult as Gi, Schedule1Result as Gn, Class14Result as Go, computeLossSchedule as Gr, LARGE_CORPORATION_THRESHOLD as Gt, Co17ReturnData as H, AT1_DONATION_GAIN_RATE as Ha, At1ReturnInput as Hi, Schedule1Line as Hn, Class14Input as Ho, resolveCorpTaxRates as Hr, Schedule43Rates as Ht, renderT2DraftReturn as I, computeIegBaseAmount as Ia, assertAt1MandatoryComplete as Ii, REFUNDABLE_PART_I_RATE as In, CLASS_14_1_MINIMUM_DEDUCTION as Io, SbdResult as Ir, RateBookEntry as Is, Schedule54Result as It, computeQuebecReturn as J, Schedule20Input as Ja, SINGLE_JURISDICTION_ALBERTA_FACTOR as Ji, ccaDeduction as Jn, MAX_LEASEHOLD_PERIODS as Jo, CEC_DEDUCTION_RATE as Jr, computeTaxableCapital as Jt, QuebecReturnInput as K, computeDonationMaximum as Ka, computeAlbertaReturn as Ki, amortizationAddBack as Kn, LeaseholdLayer as Ko, AlbertaSchedule14Input as Kr, TaxableCapitalInput as Kt, T2ReturnInput as L, computeIegReductionFactor as La, assertAt1TaxPayableReconciles as Li, computePart4Rdtoh as Ln, CLASS_14_1_TRANSITIONAL_RATE as Lo, computeBusinessLimit as Lr, earliestRateYear as Ls, computeSchedule54 as Lt, T2CifQuestionnaire as M, IEG_2024 as Ma, At1MandatoryFieldMissingError as Mi, computeSchedule4Losses as Mn, UnsupportedCcaClassError as Mo, computePartITax as Mr, AB_TAX_RATE_BOOK as Ms, LRIP_INVESTMENT_INCOME_FACTOR as Mt, T2CifSettlement as N, IegInput as Na, At1TaxPayableMismatchError as Ni, PART_IV_RATE as Nn, computeCcaClass as No, BusinessLimitInput as Nr, AlbertaTaxRates as Ns, LripDividendEvent as Nt, T2CifAddress as O, allocateIegEvenly as Oa, renderAt1NetFile as Oi, ProvincialAllocationResult as On, CcaClassResult as Oo, CcpcActiveBusinessTaxResult as Or, DayWeightedRateResult as Os, Schedule55Input as Ot, T2CifShareholder as P, IegResult as Pa, At1TransmitterInfo as Pi, Part4RdtohInput as Pn, computeCcaSchedule as Po, BusinessLimitResult as Pr, resolveAlbertaTaxRates as Ps, LripEventResult as Pt, QuebecTaxInput as Q, AlbertaSchedule18Input as Qa, At1ScheduleData as Qi, incomeTaxProvisionAddBack as Qn, computeClass141AdditionalAllowance as Qo, computeAlbertaSchedule14 as Qr, ITC_RECAPTURE_PERIOD_YEARS as Qt, t2Engine as R, IegEligibleExpendituresInput as Ra, assertCriticalFields as Ri, Schedule2Input as Rn, Class13Input as Ro, computeSBD as Rr, extendRateBook as Rs, GripInput as Rt, AdjustedTaxableIncomeResult as S, IegAgreementMemberResult as Sa, formatRsiAmount as Si, Schedule5Input as Sn, AlbertaSchedule13ClassResult as So, charitableDonationsDeduction as Sr, computeAlbertaTax as Ss, Schedule101Result as St, T2SettlementInput as T, IegGroupMember as Ta, renderAt1Rsi as Ti, AllocatedProvince as Tn, FederalCcaClass as To, netCapitalLossApplied as Tr, AlbertaSbdResult as Ts, Schedule88Input as Tt, renderCo17DraftReturn as U, AT1_DONATION_INCOME_RATE as Ua, at1Engine as Ui, Schedule1LineDefect as Un, Class14Property as Uo, LossScheduleInput as Ur, Schedule43Result as Ut, Co17Identity as V, iegT661SourceLine as Va, xmlEscape as Vi, Schedule1Input as Vn, Class141AdditionalAllowanceResult as Vo, CorpTaxRates as Vr, resolveRates as Vs, Schedule43Input as Vt, Co17ReturnInput as W, DonationMaximumInput as Wa, AlbertaReturnInput as Wi, Schedule1NotFileableError as Wn, Class14PropertyResult as Wo, LossScheduleResult as Wr, computeSchedule43 as Wt, QuebecEstablishment as X, computeSchedule20 as Xa, AT1_SCHEDULES_WITHOUT_BUILDERS as Xi, deferredIncomeTaxProvisionAddBack as Xn, computeClass13 as Xo, CecIncomeInclusionDetail as Xr, Schedule31Result as Xt, QuebecAllocationResult as Y, Schedule20Result as Ya, computeAllocationFactor as Yi, computeSchedule1 as Yn, MIN_LEASEHOLD_PERIODS as Yo, CEC_INCLUSION_RATE as Yr, Schedule31Input as Yt, computeQuebecAllocationFactor as Z, AT1_DISPOSITION_CATEGORIES as Za, AT1_SCHEDULES_WITH_BUILDERS as Zi, findSchedule1LineDefects as Zn, computeClass14 as Zo, cecScheduleAppliesToTaxYear as Zr, computeSchedule31 as Zt, EifelLimitationInput as _, schedule29Values as _a, RSI_WORD_GAP as _i, computeSchedule13 as _n, AlbertaSchedule16Input as _o, isSchedule5Province as _r, LossCarrybackResult as _s, FederalT2Input as _t, MpDeductionRates as a, Schedule2FilingInput as aa, albertaCcaDifference as ai, computeZetm as an, SECTION_34_2_GROSS_UP as ao, EifelResult as ar, At4970Input as as, T2_CERTIFICATION_FIXTURES as at, ratioOfPermissibleExpenses as b, IegAgreementInput as ba, RsiLineItemError as bi, Schedule6Result as bn, computeAlbertaSchedule16 as bo, TaxableIncomeLine as br, AlbertaTaxInput as bs, FirstReturnEvent as bt, PART_VI_1_DEDUCTION_BANDS as c, schedule12LossDeductions as ca, albertaDispositionAdjustments as ci, BusinessLimitAllocationInput as cn, AT1_RESERVE_LINES as co, ProvincialRateChange as cr, At4970ProjectRowResult as cs, ConformanceSummary as ct, computePartVI1Deduction as d, schedule16Values as da, albertaTerminalLossDifference as di, computeBusinessLimitAllocation as dn, AlbertaSchedule17Result as do, dayWeightedRate as dr, computeAt4970 as ds, T2LineKey as dt, Schedule10FilingInput as ea, Schedule12Input as ei, ItcRecaptureItemResult as en, At1AbilEntry as eo, recaptureAddBack as er, CCA_DECLINING_BALANCE_RATES_2024 as es, computeQuebecTax as et, partVI1DeductionMultiple as f, schedule17Values as fa, computeSchedule12 as fi, Schedule21Input as fn, At1ReserveBalances as fo, PROVINCE_RATES_2024 as fr, LossContinuityInput as fs, T2_LINE_META as ft, EIFEL_TRANSITIONAL_RATIO as g, schedule21Values as ga, RSI_NEGATIVE_PREFIX as gi, ReserveContinuityRow as gn, computeAlbertaSchedule17 as go, ProvincialRate as gr, LossCarrybackInput as gs, runConformanceSuite as gt, EIFEL_STANDARD_RATIO_FROM as h, schedule20Values as ha, RSI_DELIMITER as hi, ReserveContinuityResult as hn, At1ReserveTable as ho, ProvinceRateTable as hr, LossCarrybackError as hs, runConformance as ht, MpDeductionInput as i, Schedule21FilingInput as ia, albertaCapitalGainDifference as ii, ZetmResult as in, At1DispositionCategory as io, EifelInput as ir, resolveCcaRates as is, resolveQuebecTaxRates as it, T2CifPartI as j, computeIegGroupFigures as ja, At1FilingData as ji, Schedule4Result as jn, Schedule8Result as jo, computeCcpcActiveBusinessTax as jr, AB_TAX_2024 as js, LRIP_INVESTMENT_CORPORATION_MULTIPLE as jt, T2CifData as k, allocateIegExpenditureLimit as ka, AT1_CRITICAL_MANDATORY_FIELDS as ki, computeProvincialAllocation as kn, CcaScheduleResult as ko, PartITaxInput as kr, GeneralRateBand as ks, Schedule55Result as kt, PartVI1DeductionBand as l, schedule12Values as la, albertaRecaptureDifference as li, BusinessLimitAllocationResult as ln, AT1_RESERVE_TOTAL_LINES as lo, ProvincialRateChanges as lr, At4970Result as ls, ExpectedSource as lt, EIFEL_STANDARD_RATIO as m, schedule1Values as ma, RSI_COLUMN_GAP as mi, computeSchedule21 as mn, At1ReserveRowResult as mo, ProvinceCode as mr, computeLossContinuity as ms, formatConformanceReport as mt, MP_GROSS_REVENUE_THRESHOLD as n, Schedule1FilingInput as na, Schedule12Result as ni, computeItcRecapture as nn, At1CategoryResult as no, EIFEL_EFFECTIVE_FROM as nr, CcaRateTable as ns, QC_TAX_RATE_BOOK as nt, MpDeductionResult as o, at1LineItemId as oa, albertaCcaScheduleAdjustments as oi, AssociatedMemberInput as on, computeAlbertaSchedule18 as oo, EifelThresholds as or, At4970JurisdictionAmount as os, CertificationFixture as ot, EIFEL_FIRST_YEAR_START as p, schedule18Values as pa, reconcileAlbertaNetIncome as pi, Schedule21Result as pn, At1ReserveKind as po, PROVINCE_RATE_BOOK as pr, LossContinuityResult as ps, foldT2Lines as pt, QuebecReturnResult as q, AlbertaGiftCarryforward as qa, AllocationFactorInput as qi, assertSchedule1Fileable as qn, LeaseholdLayerResult as qo, AlbertaSchedule14Result as qr, TaxableCapitalResult as qt, MP_RATES_2024 as r, Schedule20FilingInput as ra, albertaAbilDifference as ri, ZetmInput as rn, At1CategoryTotals as ro, EifelExemption as rr, isDecliningBalanceClass as rs, QuebecTaxRates as rt, computeMpDeduction as s, schedule10Values as sa, albertaCurrentYearLoss as si, AssociatedMemberResult as sn, AT1_RESERVE_KINDS as so, assessEifel as sr, At4970ProjectRow as ss, ConformanceResult as st, MP_EXCLUDED_ACTIVITIES as t, Schedule12FilingInput as ta, Schedule12Line as ti, ItcRecaptureResult as tn, At1AbilResult as to, terminalLossDeduction as tr, CCA_RATE_BOOK as ts, QC_TAX_2024 as tt, PartVI1DeductionResult as u, schedule13Values as ua, albertaReserveDifference as ui, allocateEvenly as un, AlbertaSchedule17Input as uo, blendProvinceRateTable as ur, At4970Totals as us, LineCheck as ut, EifelLimitationResult as v, schedule2Values as va, RsiHeaderInput as vi, CapitalDisposition as vn, AlbertaSchedule16Result as vo, resolveProvinceRates as vr, LossCarrybackYear as vs, FederalT2Result as vt, computeAdjustedTaxableIncome as w, IegAllocationResult as wa, formatRsiText as wi, computeSchedule5 as wn, AlbertaSchedule13Result as wo, dividendsDeductibleS112 as wr, AlbertaSbdInput as ws, SCHEDULE_88_MAX_URLS as wt, AdjustedTaxableIncomeInput as x, IegAgreementMember as xa, RsiScheduleInput as xi, computeSchedule6 as xn, AlbertaCcaOverride as xo, TaxableIncomeResult as xr, AlbertaTaxResult as xs, Schedule101Input as xt, computeEifelLimitation as y, schedule4970Values as ya, RsiLineItem as yi, DispositionResult as yn, assistanceFrom as yo, TaxableIncomeInput as yr, computeLossCarryback as ys, computeFederalT2 as yt, Co17Address as z, IegEligibleExpendituresResult as za, at1TaxPayableDeductions as zi, Schedule2Result as zn, Class13Result as zo, CORP_TAX_2024 as zr, hasExactRateYear as zs, GripResult as zt };
+export { QuebecTaxResult as $, computeAlbertaSchedule15 as $a, AlbertaSchedule18Result as $c, CcogpeSuccessorFederal as $i, leaseholdPeriods as $l, mealsAndEntertainmentAddBack as $n, computeAlbertaSchedule6 as $o, Schedule12Adjustment as $r, schedule18Values as $s, ItcRecaptureItem as $t, T2CifGifi as A, EdaRegularFederal as Aa, NonCapitalLossByYearOfOriginInput as Ac, At1CriticalFieldMissingError as Ai, Schedule8Entry as Al, Schedule4Input as An, allocateSchedule9ExpenditureLimit as Ao, PartITaxResult as Ar, Schedule3Result as As, computeSchedule55 as At, computeDayWeightedGeneralTax as Au, Co17Certification as B, FedeSuccessorFederal as Ba, computeLimitedPartnershipLossRow as Bc, at1YesNo as Bi, Class141AdditionalAllowanceInput as Bl, computeSchedule2 as Bn, AlbertaSchedule7Result as Bo, CORP_TAX_RATE_BOOK as Br, Schedule10FilingInput as Bs, computeGrip as Bt, latestRateYear as Bu, FOREIGN_TAX_CREDIT_GROSS_UP as C, CfreCountrySuccessorFederal as Ca, computeIegReductionFactor as Cc, formatRsiDate as Ci, AlbertaSchedule13Input as Cl, Schedule5Result as Cn, AlbertaSchedule9Input as Co, computeTaxableIncome as Cr, CapitalInvestmentTaxCreditInput as Cs, computeSchedule101 as Ct, AlbertaCorporationStatus as Cu, computeT2Settlement as D, CmedbFederal as Da, iegT661SourceLine as Dc, renderRsiLineItem as Di, CcaClassInput as Dl, ProvincialAllocationInput as Dn, Schedule9AllocationResult as Do, CcpcActiveBusinessTaxInput as Dr, MaximumAllowableDeductionInput as Ds, normalizeSchedule88 as Dt, AB_GENERAL_RATE_BANDS as Du, T2SettlementResult as E, CfreCountrySuccessorResult as Ea, computeIegEligibleExpenditures as Ec, renderRsiHeader as Ei, computeAlbertaSchedule13 as El, PermanentEstablishment as En, Schedule9AllocationMemberResult as Eo, nonCapitalLossApplied as Er, InvestorTaxCreditResult as Es, Schedule88Result as Et, computeAlbertaSbd as Eu, T2GifiLine as F, EdaSuccessorResult as Fa, computeNonCapitalLossByYearOfOrigin as Fc, albertaBalanceUnpaid as Fi, computeSchedule8$1 as Fl, Part4RdtohResult as Fn, Schedule8Input as Fo, SbdInput as Fr, computeAllocationFactor as Fs, Schedule54Input as Ft, RateBook as Fu, co17Engine as G, SfedeCountryRegularFederal as Ga, DonationMaximumResult as Gc, AlbertaReturnResult as Gi, Class14Result as Gl, Schedule1Result as Gn, computeAlbertaSchedule7 as Go, computeLossSchedule as Gr, Schedule2FilingInput as Gs, LARGE_CORPORATION_THRESHOLD as Gt, Co17ReturnData as H, FedeSuccessorOverride as Ha, AT1_DONATION_GAIN_RATE as Hc, At1ReturnInput as Hi, Class14Input as Hl, Schedule1Line as Hn, RoyaltySupplementalPartnershipResult as Ho, resolveCorpTaxRates as Hr, Schedule1FilingInput as Hs, Schedule43Rates as Ht, renderT2DraftReturn as I, FedeRegularFederal as Ia, computeOtherLossByYearOfOrigin as Ic, assertAt1MandatoryComplete as Ii, CLASS_14_1_MINIMUM_DEDUCTION as Il, REFUNDABLE_PART_I_RATE as In, Schedule8Result as Io, SbdResult as Ir, AT1_SCHEDULES_WITHOUT_BUILDERS as Is, Schedule54Result as It, RateBookEntry as Iu, computeQuebecReturn as J, SfedeCountryRegularResult as Ja, Schedule20Input as Jc, AlbertaSchedule15Result as Ji, MAX_LEASEHOLD_PERIODS as Jl, ccaDeduction as Jn, AlbertaSchedule6Result as Jo, CEC_DEDUCTION_RATE as Jr, schedule12LossDeductions as Js, computeTaxableCapital as Jt, QuebecReturnInput as K, SfedeCountryRegularInput as Ka, computeDonationMaximum as Kc, computeAlbertaReturn as Ki, LeaseholdLayer as Kl, amortizationAddBack as Kn, schedule7Values as Ko, AlbertaSchedule14Input as Kr, at1LineItemId as Ks, TaxableCapitalInput as Kt, T2ReturnInput as L, FedeRegularInput as La, LimitedPartnershipLossRow as Lc, assertAt1TaxPayableReconciles as Li, CLASS_14_1_TRANSITIONAL_RATE as Ll, computePart4Rdtoh as Ln, computeSchedule8 as Lo, computeBusinessLimit as Lr, AT1_SCHEDULES_WITH_BUILDERS as Ls, computeSchedule54 as Lt, earliestRateYear as Lu, T2CifQuestionnaire as M, EdaRegularResult as Ma, OtherLossByYearOfOriginResult as Mc, At1MandatoryFieldMissingError as Mi, UnsupportedCcaClassError as Ml, computeSchedule4Losses as Mn, computeSchedule9MaximumExpenditureLimit as Mo, computePartITax as Mr, schedule3Values as Ms, LRIP_INVESTMENT_INCOME_FACTOR as Mt, AB_TAX_RATE_BOOK as Mu, T2CifSettlement as N, EdaSuccessorFederal as Na, OtherLossVintageEntry as Nc, At1TaxPayableMismatchError as Ni, computeCcaClass as Nl, PART_IV_RATE as Nn, schedule9Values as No, BusinessLimitInput as Nr, AllocationFactorInput as Ns, LripDividendEvent as Nt, AlbertaTaxRates as Nu, T2CifAddress as O, CmedbInput as Oa, LossVintageEntry as Oc, renderAt1NetFile as Oi, CcaClassResult as Ol, ProvincialAllocationResult as On, Schedule9FieldOfScience as Oo, CcpcActiveBusinessTaxResult as Or, MaximumAllowableDeductionResult as Os, Schedule55Input as Ot, DayWeightedRateResult as Ou, T2CifShareholder as P, EdaSuccessorInput as Pa, OtherLossVintageRowResult as Pc, At1TransmitterInfo as Pi, computeCcaSchedule as Pl, Part4RdtohInput as Pn, PoliticalContributionInput as Po, BusinessLimitResult as Pr, SINGLE_JURISDICTION_ALBERTA_FACTOR as Ps, LripEventResult as Pt, resolveAlbertaTaxRates as Pu, QuebecTaxInput as Q, SfedeCountrySuccessorResult as Qa, AlbertaSchedule18Input as Qc, CcogpeRegularResult as Qi, computeClass141AdditionalAllowance as Ql, incomeTaxProvisionAddBack as Qn, RoyaltyTaxCreditShelterAllocationResult as Qo, computeAlbertaSchedule14 as Qr, schedule17Values as Qs, ITC_RECAPTURE_PERIOD_YEARS as Qt, t2Engine as R, FedeRegularOverride as Ra, LimitedPartnershipLossRowResult as Rc, assertCriticalFields as Ri, Class13Input as Rl, Schedule2Input as Rn, schedule8Values as Ro, computeSBD as Rr, At1ScheduleData as Rs, GripInput as Rt, extendRateBook as Ru, AdjustedTaxableIncomeResult as S, CfreCountryRegularResult as Sa, computeIegBaseAmount as Sc, formatRsiAmount as Si, AlbertaSchedule13ClassResult as Sl, Schedule5Input as Sn, ALBERTA_SRED_TAX_CREDIT_RATE as So, charitableDonationsDeduction as Sr, At1ScheduleValueLike$6 as Ss, Schedule101Result as St, computeAlbertaTax as Su, T2SettlementInput as T, CfreCountrySuccessorOverride as Ta, IegEligibleExpendituresResult as Tc, renderAt1Rsi as Ti, FederalCcaClass as Tl, AllocatedProvince as Tn, Schedule9AllocationMember as To, netCapitalLossApplied as Tr, InvestorTaxCreditInput as Ts, Schedule88Input as Tt, AlbertaSbdResult as Tu, renderCo17DraftReturn as U, FedeSuccessorResult as Ua, AT1_DONATION_INCOME_RATE as Uc, at1Engine as Ui, Class14Property as Ul, Schedule1LineDefect as Un, RoyaltySupplementalPriorYearAdjustment as Uo, LossScheduleInput as Ur, Schedule20FilingInput as Us, Schedule43Result as Ut, Co17Identity as V, FedeSuccessorInput as Va, computeLimitedPartnershipLosses as Vc, xmlEscape as Vi, Class141AdditionalAllowanceResult as Vl, Schedule1Input as Vn, RoyaltySupplementalPartnership as Vo, CorpTaxRates as Vr, Schedule12FilingInput as Vs, Schedule43Input as Vt, resolveRates as Vu, Co17ReturnInput as W, Schedule15FilingResult as Wa, DonationMaximumInput as Wc, AlbertaReturnInput as Wi, Class14PropertyResult as Wl, Schedule1NotFileableError as Wn, RoyaltySupplementalPriorYearAdjustmentResult as Wo, LossScheduleResult as Wr, Schedule21FilingInput as Ws, computeSchedule43 as Wt, QuebecEstablishment as X, SfedeCountrySuccessorInput as Xa, computeSchedule20 as Xc, CcogpeRegularInput as Xi, computeClass13 as Xl, deferredIncomeTaxProvisionAddBack as Xn, RoyaltyTaxCreditQuarter as Xo, CecIncomeInclusionDetail as Xr, schedule13Values as Xs, Schedule31Result as Xt, QuebecAllocationResult as Y, SfedeCountrySuccessorFederal as Ya, Schedule20Result as Yc, CcogpeRegularFederal as Yi, MIN_LEASEHOLD_PERIODS as Yl, computeSchedule1 as Yn, RoyaltyTaxCreditLongestAssociatedYear as Yo, CEC_INCLUSION_RATE as Yr, schedule12Values as Ys, Schedule31Input as Yt, computeQuebecAllocationFactor as Z, SfedeCountrySuccessorOverride as Za, AT1_DISPOSITION_CATEGORIES as Zc, CcogpeRegularOverride as Zi, computeClass14 as Zl, findSchedule1LineDefects as Zn, RoyaltyTaxCreditShelterAllocation as Zo, cecScheduleAppliesToTaxYear as Zr, schedule16Values as Zs, computeSchedule31 as Zt, EifelLimitationInput as _, CeeSuccessorOverride as _a, computeIegGroupFigures as _c, RSI_WORD_GAP as _i, AlbertaSchedule16Input as _l, computeSchedule13 as _n, Schedule11Result as _o, isSchedule5Province as _r, AgriProcessingTaxCreditInput as _s, FederalT2Input as _t, LossCarrybackResult as _u, MpDeductionRates as a, CdeRegularOverride as aa, schedule4970Values as ac, albertaCcaDifference as ai, SECTION_34_2_GROSS_UP as al, computeZetm as an, computeCeeSuccessor as ao, EifelResult as ar, At1Schedule5SuccessoredPoolEntry as as, T2_CERTIFICATION_FIXTURES as at, At4970Input as au, ratioOfPermissibleExpenses as b, CfreCountryRegularInput as ba, IegResult as bc, RsiLineItemError as bi, computeAlbertaSchedule16 as bl, Schedule6Result as bn, ALBERTA_SRED_EXPENDITURE_CUTOFF as bo, TaxableIncomeLine as br, AgriProcessingVintageResult as bs, FirstReturnEvent as bt, AlbertaTaxInput as bu, PART_VI_1_DEDUCTION_BANDS as c, CdeSuccessorInput as ca, IegAgreementMemberResult as cc, albertaDispositionAdjustments as ci, AT1_RESERVE_LINES as cl, BusinessLimitAllocationInput as cn, computeCmedb as co, ProvincialRateChange as cr, schedule5Values as cs, ConformanceSummary as ct, At4970ProjectRowResult as cu, computePartVI1Deduction as d, CeeRegularFederal as da, IegGroupMember as dc, albertaTerminalLossDifference as di, AlbertaSchedule17Result as dl, computeBusinessLimitAllocation as dn, computeFedeRegular as do, dayWeightedRate as dr, Schedule4Input$1 as ds, T2LineKey as dt, computeAt4970 as du, CcogpeSuccessorInput as ea, schedule1Values as ec, Schedule12Input as ei, At1AbilEntry as el, ItcRecaptureItemResult as en, computeCcogpeRegular as eo, recaptureAddBack as er, schedule6Values as es, computeQuebecTax as et, CCA_DECLINING_BALANCE_RATES_2024 as eu, partVI1DeductionMultiple as f, CeeRegularInput as fa, IegGroupResult as fc, computeSchedule12 as fi, At1ReserveBalances as fl, Schedule21Input as fn, computeFedeSuccessor as fo, PROVINCE_RATES_2024 as fr, Schedule4Result$1 as fs, T2_LINE_META as ft, LossContinuityInput as fu, EIFEL_TRANSITIONAL_RATIO as g, CeeSuccessorInput as ga, computeIegAgreement as gc, RSI_NEGATIVE_PREFIX as gi, computeAlbertaSchedule17 as gl, ReserveContinuityRow as gn, Schedule11Input as go, ProvincialRate as gr, AgriProcessingCurrentYearInput as gs, runConformanceSuite as gt, LossCarrybackInput as gu, EIFEL_STANDARD_RATIO_FROM as h, CeeSuccessorFederal as ha, allocateIegExpenditureLimit as hc, RSI_DELIMITER as hi, At1ReserveTable as hl, ReserveContinuityResult as hn, schedule15Values as ho, ProvinceRateTable as hr, AgriProcessingCombinedVintageInput as hs, runConformance as ht, LossCarrybackError as hu, MpDeductionInput as i, CdeRegularInput as ia, schedule2Values as ic, albertaCapitalGainDifference as ii, At1DispositionCategory as il, ZetmResult as in, computeCeeRegular as io, EifelInput as ir, At1Schedule5PredecessorTransfer as is, resolveQuebecTaxRates as it, resolveCcaRates as iu, T2CifPartI as j, EdaRegularInput as ja, NonCapitalLossByYearOfOriginResult as jc, At1FilingData as ji, Schedule8Result$1 as jl, Schedule4Result as jn, computeAlbertaSchedule9 as jo, computeCcpcActiveBusinessTax as jr, computeSchedule3 as js, LRIP_INVESTMENT_CORPORATION_MULTIPLE as jt, AB_TAX_2024 as ju, T2CifData as k, CmedbResult as ka, LossVintageRowResult as kc, AT1_CRITICAL_MANDATORY_FIELDS as ki, CcaScheduleResult as kl, computeProvincialAllocation as kn, Schedule9GroupFilingInput as ko, PartITaxInput as kr, Schedule3Input as ks, Schedule55Result as kt, GeneralRateBand as ku, PartVI1DeductionBand as l, CdeSuccessorOverride as la, IegAgreementResult as lc, albertaRecaptureDifference as li, AT1_RESERVE_TOTAL_LINES as ll, BusinessLimitAllocationResult as ln, computeEdaRegular as lo, ProvincialRateChanges as lr, ForeignInvestmentCountryInput as ls, ExpectedSource as lt, At4970Result as lu, EIFEL_STANDARD_RATIO as m, CeeRegularResult as ma, allocateIegEvenly as mc, RSI_COLUMN_GAP as mi, At1ReserveRowResult as ml, computeSchedule21 as mn, computeSfedeCountrySuccessor as mo, ProvinceCode as mr, schedule4Values as ms, formatConformanceReport as mt, computeLossContinuity as mu, MP_GROSS_REVENUE_THRESHOLD as n, CcogpeSuccessorResult as na, schedule21Values as nc, Schedule12Result as ni, At1CategoryResult as nl, computeItcRecapture as nn, computeCdeRegular as no, EIFEL_EFFECTIVE_FROM as nr, AlbertaSchedule5Result as ns, QC_TAX_RATE_BOOK as nt, CcaRateTable as nu, MpDeductionResult as o, CdeRegularResult as oa, IegAgreementInput as oc, albertaCcaScheduleAdjustments as oi, computeAlbertaSchedule18 as ol, AssociatedMemberInput as on, computeCfreRegular as oo, EifelThresholds as or, At1Schedule5SuccessoredPoolEntryResult as os, CertificationFixture as ot, At4970JurisdictionAmount as ou, EIFEL_FIRST_YEAR_START as p, CeeRegularOverride as pa, IegLimitAllocation as pc, reconcileAlbertaNetIncome as pi, At1ReserveKind as pl, Schedule21Result as pn, computeSfedeCountryRegular as po, PROVINCE_RATE_BOOK as pr, computeSchedule4 as ps, foldT2Lines as pt, LossContinuityResult as pu, QuebecReturnResult as q, SfedeCountryRegularOverride as qa, AlbertaGiftCarryforward as qc, AlbertaSchedule15Input as qi, LeaseholdLayerResult as ql, assertSchedule1Fileable as qn, AlbertaSchedule6Input as qo, AlbertaSchedule14Result as qr, schedule10Values as qs, TaxableCapitalResult as qt, MP_RATES_2024 as r, CdeRegularFederal as ra, schedule29Values as rc, albertaAbilDifference as ri, At1CategoryTotals as rl, ZetmInput as rn, computeCdeSuccessor as ro, EifelExemption as rr, At1Schedule5PoolTransfer as rs, QuebecTaxRates as rt, isDecliningBalanceClass as ru, computeMpDeduction as s, CdeSuccessorFederal as sa, IegAgreementMember as sc, albertaCurrentYearLoss as si, AT1_RESERVE_KINDS as sl, AssociatedMemberResult as sn, computeCfreSuccessor as so, assessEifel as sr, computeAlbertaSchedule5 as ss, ConformanceResult as st, At4970ProjectRow as su, MP_EXCLUDED_ACTIVITIES as t, CcogpeSuccessorOverride as ta, schedule20Values as tc, Schedule12Line as ti, At1AbilResult as tl, ItcRecaptureResult as tn, computeCcogpeSuccessor as to, terminalLossDeduction as tr, AlbertaSchedule5Input as ts, QC_TAX_2024 as tt, CCA_RATE_BOOK as tu, PartVI1DeductionResult as u, CdeSuccessorResult as ua, IegAllocationResult as uc, albertaReserveDifference as ui, AlbertaSchedule17Input as ul, allocateEvenly as un, computeEdaSuccessor as uo, blendProvinceRateTable as ur, ForeignInvestmentCountryResult as us, LineCheck as ut, At4970Totals as uu, EifelLimitationResult as v, CeeSuccessorResult as va, IEG_2024 as vc, RsiHeaderInput as vi, AlbertaSchedule16Result as vl, CapitalDisposition as vn, computeSchedule11 as vo, resolveProvinceRates as vr, AgriProcessingTaxCreditResult as vs, FederalT2Result as vt, LossCarrybackYear as vu, computeAdjustedTaxableIncome as w, CfreCountrySuccessorInput as wa, IegEligibleExpendituresInput as wc, formatRsiText as wi, AlbertaSchedule13Result as wl, computeSchedule5 as wn, AlbertaSchedule9Result as wo, dividendsDeductibleS112 as wr, CapitalInvestmentTaxCreditResult as ws, SCHEDULE_88_MAX_URLS as wt, AlbertaSbdInput as wu, AdjustedTaxableIncomeInput as x, CfreCountryRegularOverride as xa, computeIeg as xc, RsiScheduleInput as xi, AlbertaCcaOverride as xl, computeSchedule6 as xn, ALBERTA_SRED_PROGRAM_START as xo, TaxableIncomeResult as xr, At1ScheduleDataLike$6 as xs, Schedule101Input as xt, AlbertaTaxResult as xu, computeEifelLimitation as y, CfreCountryRegularFederal as ya, IegInput as yc, RsiLineItem as yi, assistanceFrom as yl, DispositionResult as yn, schedule11Values as yo, TaxableIncomeInput as yr, AgriProcessingVintageInput as ys, computeFederalT2 as yt, computeLossCarryback as yu, Co17Address as z, FedeRegularResult as za, LimitedPartnershipLossesResult as zc, at1TaxPayableDeductions as zi, Class13Result as zl, Schedule2Result as zn, AlbertaSchedule7Input as zo, CORP_TAX_2024 as zr, At1ScheduleValue as zs, GripResult as zt, hasExactRateYear as zu };