What the kernel proved, what the evidence shows, and how far the encodings are from 95% accuracy.

Reading this report

Every rule carries a trust status and, beside it, the audit state of its population. Audit state never changes a status: a rule that passed automated verification reads promoted (automated verification) whether or not anyone has sampled it.

bounded: Random audit samples bound the population's error at 10% or less (one-sided 95%).
degraded: Audited errors push that bound above 10%; the label stays until fixed.
unaudited: No counted random sample yet, or too few to bound. A declared corpus reads unaudited corpus and never borrows a tier's bound.

Each answer names the law version it used, that version's in-force interval, and its edition's legal status. Not legal advice. Rules are machine-proposed encodings of legal text; check the source before relying on any answer.

Accuracy against the 95% target

The target is published every cycle, met or not. Accuracy counts every scorable gold item, so withheld or unknown answers count against it; promoted fraction and unknown rate sit beside it.

Post-verification accuracy on official and external-benchmark gold, against the 95% target
Model	Accuracy against target	Promoted	Unknown
mn-504b
claude:claude-sonnet-5-5	12.5% Below target82.5 points short	25.0%	90.6%
codex:gpt-6.1-sol	12.5% Below target82.5 points short	28.1%	90.6%
tila-1026-18
claude:claude-sonnet-5-5	46.2% Below target48.8 points short	53.8%	51.9%
codex:gpt-6.1-sol	1.9% Below target93.1 points short	15.4%	98.1%

Scores by stage, model, and gold label

Raw proposer scores what an encoding answers whether or not it was promoted; post-verification scores promoted answers only. Model-authored gold never enters the headline and never scores its own vendor.

Raw proposer
Model	Gold	Accuracy	Promoted	Unknown	Items
claude:claude-sonnet-5-5claude	headline (official and external-benchmark)	63.1%53/84	33.3%1/3	41.7%5/12	84
	official	63.1%53/84	33.3%1/3	41.7%5/12	84
	external-benchmark	no items	no items	no items	0
	model-authored	no items	no items	no items	0
codex:gpt-6.1-solcodex	headline (official and external-benchmark)	25.0%1/4	13.1%11/84	82.1%23/28	84
	official	25.0%1/4	13.1%11/84	82.1%23/28	84
	external-benchmark	no items	no items	no items	0
	model-authored	no items	no items	no items	0

Post-verification
Model	Gold	Accuracy	Promoted	Unknown	Items
claude:claude-sonnet-5-5claude	headline (official and external-benchmark)	33.3%1/3	42.9%3/7	66.7%2/3	84
	official	33.3%1/3	42.9%3/7	66.7%2/3	84
	external-benchmark	no items	no items	no items	0
	model-authored	no items	no items	no items	0
codex:gpt-6.1-solcodex	headline (official and external-benchmark)	6.0%5/84	20.2%17/84	95.2%20/21	84
	official	6.0%5/84	20.2%17/84	95.2%20/21	84
	external-benchmark	no items	no items	no items	0
	model-authored	no items	no items	no items	0

Per tier: mn-504b, tila-1026-18.

Raw proposer accuracy, cycle by cycle

Each model's unverified output, scored on headline gold across cycles. There is no pass mark here: the curve shows what newer models and better prompts buy on their own.

Vertical scale runs from 20.2% to 63.1%. claude:claude-sonnet-5-5codex:gpt-6.1-sol

Cycle	claude:claude-sonnet-5-5	codex:gpt-6.1-sol
v0.1-statutory-20261030T202342Z	20.2%17/84	20.2%17/84
v0.1-statutory-20261030T212159Z	36.9%31/84	23.8%5/21
v0.1-statutory-20261030T215313Z	57.1%4/7	33.3%1/3
v0.1-statutory-20261030T230358Z	42.9%3/7	29.8%25/84
v0.1-statutory-20261031T003328Z	56.0%47/84	53.6%15/28
v0.1-statutory-20261031T023534Z	63.1%53/84	25.0%1/4

Hidden holdout

The holdout's items stay in a private store. Only its commitment and its scores appear here; anyone can check a future reveal against the hash.

Commitment: 60bdd5ea222112c43b8277bbfb15b2299a03b6e410b43449210c837b922ddf1f
Items committed: 19

Model	Accuracy	Promoted	Unknown	Items
claude:claude-sonnet-5-5 (post-verification)	21.1%4/19	31.6%6/19	78.9%15/19	19
claude:claude-sonnet-5-5 (raw)	47.4%9/19	21.1%4/19	52.6%10/19	19
codex:gpt-6.1-sol (post-verification)	5.3%1/19	36.8%7/19	94.7%18/19	19
codex:gpt-6.1-sol (raw)	5.3%1/19	21.1%4/19	94.7%18/19	19

Changes since the last cycle

From v0.1-statutory-20261031T003328Z to v0.1-statutory-20261031T023534Z.

Trusted base changed: d587ab666bf9 to de8787d07fbe. Overseers were notified.
Gold set changed.

Stage	Model	Before	After
Raw proposer	claude:claude-sonnet-5-5	56.0%	63.1%
Raw proposer	codex:gpt-6.1-sol	53.6%	25.0%
Post-verification	claude:claude-sonnet-5-5	35.7%	33.3%
Post-verification	codex:gpt-6.1-sol	32.1%	6.0%

Raw proposer, claude:claude-sonnet-5-5: now correct: mn-504b-177-cap-eight-percent, mn-504b-177-no-written-agreement, mn-504b-178-subd3-no-address, mn-504b-441-burden-within-90-days, tila-1026-18-c1-loan-total-sale-price, tila-1026-18-f-c1-delinquency-only, tila-1026-18-f-c1-shared-equity, tila-1026-18-h-c4-demand-obligation, tila-1026-18-j-c3-i-lien-first, tila-1026-18-j-c3-ii-lien-first, tila-1026-18-l-c1-acceleration, tila-1026-18-l-c1-collection-cost, tila-1026-18-l-c1-deferral, tila-1026-18-l-c1-rate-increase, tila-1026-18-l-c1-simple-interest, tila-1026-18-r-c4-five-percent, tila-1026-18-r-c5-morris-plan, tila-1026-18-r-escrow, tila-1026-18-s7-c1-seasonal-income. now wrong: mn-504b-161-heat-68-in-season, mn-504b-161-heat-utility-reduction, mn-504b-175-no-written-agreement, mn-504b-178-kaeding-punitive-cap, mn-504b-178-kaeding-waiver, mn-504b-178-kaeding-withholding, mn-504b-178-subd11-pre-1973-tenancy, mn-504b-178-subd3-condemnation, mn-504b-178-subd3-termination, mn-504b-178-subd7-one-deposit, mn-504b-178-subd7-returned-within-two-weeks, mn-504b-285-subd5-additional-time, tila-1026-18-s5-exactly-double.

Raw proposer, codex:gpt-6.1-sol: now correct: mn-504b-161-heat-below-68-in-season, mn-504b-161-waiver, mn-504b-175-liability-plus-half, mn-504b-175-no-written-agreement, mn-504b-175-rental-agreement-applied, mn-504b-175-return-deadline, mn-504b-177-cap-eight-percent, mn-504b-177-no-written-agreement, mn-504b-178-kaeding-governed, mn-504b-178-subd3-no-address, mn-504b-441-burden-within-90-days. now wrong: mn-504b-161-heat-68-in-season, mn-504b-161-heat-utility-reduction, mn-504b-285-central-housing-breach-of-lease, mn-504b-285-skoglund, mn-504b-285-subd5-additional-time, tila-1026-18-b3-c1-i-a, tila-1026-18-b3-c1-ii-b, tila-1026-18-b3-c1-iii-a, tila-1026-18-b3-c1-iii-b, tila-1026-18-b3-c2-i, tila-1026-18-b3-c2-ii, tila-1026-18-b3-c2-iii, tila-1026-18-d1-overstated, tila-1026-18-d1-understated-100, tila-1026-18-d2-large-within-10, tila-1026-18-d2-small-within-5, tila-1026-18-e-exempt-5-on-75, tila-1026-18-e-required-over-5-on-75, tila-1026-18-e-required-over-7-50, tila-1026-18-f-principal-dwelling-long-term, tila-1026-18-f-principal-dwelling-short-term, tila-1026-18-f-unsecured, tila-1026-18-h-c3-principal-with-periodic-interest, tila-1026-18-h-single-payment, tila-1026-18-i-c1-converts-after-period, tila-1026-18-i-c2-default-only, tila-1026-18-i-c2-due-on-sale, tila-1026-18-l-c1-acceleration, tila-1026-18-l-c1-collection-cost, tila-1026-18-l-c1-deferral, tila-1026-18-l-c1-simple-interest, tila-1026-18-r-c4-five-percent, tila-1026-18-r-c5-morris-plan, tila-1026-18-r-escrow, tila-1026-18-s5-exactly-double.

Post-verification, claude:claude-sonnet-5-5: now correct: mn-504b-178-kaeding-governed, mn-504b-285-skoglund, mn-504b-441-burden-after-90-days, mn-504b-441-burden-within-90-days, tila-1026-18-c1-loan-total-sale-price, tila-1026-18-c1i-c1-asset-account-required-deposit-no, tila-1026-18-c1i-c1-asset-account-required-deposit-yes, tila-1026-18-h-c3-principal-with-periodic-interest, tila-1026-18-h-single-payment. now wrong: mn-504b-161-waiver, mn-504b-285-burden-within-90-days, mn-504b-285-subd5-additional-time, tila-1026-18-e-exempt-5-on-75, tila-1026-18-e-required-over-5-on-75, tila-1026-18-e-required-over-7-50, tila-1026-18-f-principal-dwelling-long-term, tila-1026-18-f-principal-dwelling-short-term, tila-1026-18-f-unsecured, tila-1026-18-i-c1-converts-after-period, tila-1026-18-s5-exactly-double.

Post-verification, codex:gpt-6.1-sol: now correct: mn-504b-178-kaeding-governed, mn-504b-285-burden-within-90-days, mn-504b-441-burden-within-90-days. now wrong: tila-1026-18-b3-c1-i-a, tila-1026-18-b3-c1-ii-b, tila-1026-18-b3-c1-iii-a, tila-1026-18-b3-c1-iii-b, tila-1026-18-b3-c2-i, tila-1026-18-b3-c2-ii, tila-1026-18-b3-c2-iii, tila-1026-18-e-exempt-5-on-75, tila-1026-18-e-required-over-5-on-75, tila-1026-18-e-required-over-7-50, tila-1026-18-f-principal-dwelling-long-term, tila-1026-18-f-principal-dwelling-short-term, tila-1026-18-f-unsecured, tila-1026-18-h-c3-principal-with-periodic-interest, tila-1026-18-h-single-payment, tila-1026-18-j-c3-i-lien-first, tila-1026-18-j-c3-ii-downpayment, tila-1026-18-j-c3-ii-lien-first, tila-1026-18-l-c1-acceleration, tila-1026-18-l-c1-collection-cost, tila-1026-18-l-c1-deferral, tila-1026-18-l-c1-simple-interest, tila-1026-18-r-c4-five-percent, tila-1026-18-r-c5-morris-plan, tila-1026-18-r-escrow.

Audit states by population

Each exemplar tier and each declared corpus is its own audit population. Overseers sample promoted rules at random when they can; no release waits on a sample.

Population	Kind	State	Evidence
mn-504b	tier	unaudited	No counted random sample yet
tila-1026-18	tier	unaudited	No counted random sample yet

Sample rules beside their source

The quoted span is the text the rule claims to encode. Read them side by side.

us-mn-stat-504b.285-codex-additional_rent_payment_period

Source: /us-mn/stat/504B.285/subd5/b#s1 characters 10597 to 10820

(b) If the landlord does not prevail in proving material violation of the lease, and the landlord has also alleged that rent is due, the tenant shall be permitted to present defenses to the court that the rent is not owing.

Rule

rule additional_rent_payment_period @span(/us-mn/stat/504B.285/subd5/b#s1, /us-mn/stat/504B.285/subd5/b#s2)
  when failed_material_violation_with_rent_claim and court_determined_rent_due
  max_additional_time_to_pay_rent = 7 days

codex:gpt-6.1-sol; promoted

Status: promoted
Audit state: unaudited population mn-504b
Version: 2026 (revisor-online) (unofficial compilation), in force 2026-08-01 to present, as of 2026-10-30
Reading: default

us-mn-stat-504b.285-codex-allow_occupancy_through_lease_term

Source: /us-mn/stat/504B.285/subd1a/b#s1 characters 2654 to 3634

(b) With respect to residential real property or a dwelling where the term of a bona fide lease extends more than 90 days beyond the date of the expiration of the time for redemption, the immediate successor in interest must allow the tenant to occupy the premises until the end of the remaining term of the lease, and provide at least 90 days' written notice to vacate, effective no sooner than the date the lease expires, provided that the tenant pays the rent and abides by all terms of the lease, except if the immediate successor in interest or an immediate subsequent bona fide purchaser will occupy the unit as the primary residence, the immediate successor in interest must provide at least 90 days' written notice to vacate, given no sooner than the date of the expiration of the time for redemption, effective no sooner than 90 days after the date of the expiration of the time for redemption, provided that the tenant pays the rent and abides by all terms of the lease.

Rule

rule allow_occupancy_through_lease_term @span(/us-mn/stat/504B.285/subd1a/b#s1, /us-mn/stat/504B.285/subd1a/c#s1)
  when foreclosed_tenant_scope and remaining_term_protected
  obligation immediate_successor_in_interest -> tenant "allow the tenant to occupy the premises until the end of the remaining term of the lease"

codex:gpt-6.1-sol; promoted

Status: promoted
Audit state: unaudited population mn-504b
Version: 2026 (revisor-online) (unofficial compilation), in force 2026-08-01 to present, as of 2026-10-30
Reading: default

us-mn-stat-504b.285-claude-combine_eviction_allegations

Source: /us-mn/stat/504B.285/subd5/a#s1 characters 10405 to 10596

(a) An action for recovery of the premises may combine the allegation of nonpayment of rent and the allegation of material violation of the lease, which shall be heard as alternative grounds.

Rule

rule combine_eviction_allegations @span(/us-mn/stat/504B.285/subd5/a#s1)
  permission plaintiff -> unnamed_counterparty "combine the allegation of nonpayment of rent and the allegation of material violation of the lease"

claude:claude-sonnet-5-5; promoted

Status: promoted
Audit state: unaudited population mn-504b
Version: 2026 (revisor-online) (unofficial compilation), in force 2026-08-01 to present, as of 2026-10-30
Reading: default

us-mn-stat-504b.285-codex-combine_eviction_allegations

Source: /us-mn/stat/504B.285/subd5/a#s1 characters 10405 to 10596

(a) An action for recovery of the premises may combine the allegation of nonpayment of rent and the allegation of material violation of the lease, which shall be heard as alternative grounds.

Rule

rule combine_eviction_allegations @span(/us-mn/stat/504B.285/subd5/a#s1)
  permission plaintiff -> unnamed_counterparty "combine the allegation of nonpayment of rent and the allegation of material violation of the lease"

codex:gpt-6.1-sol; promoted

Status: promoted
Audit state: unaudited population mn-504b
Version: 2026 (revisor-online) (unofficial compilation), in force 2026-08-01 to present, as of 2026-10-30
Reading: default

us-mn-stat-504b.285-claude-court_may_require_prospective_utility_security

Source: /us-mn/stat/504B.285/subd4/b/3#s1 characters 9522 to 9930

(3) if the tenant has not filed a complaint involving natural gas or electric utility service with the Public Utilities Commission under section 216B.024, and the tenant does not meet the requirements for a court fee waiver under section 563.01, may, in the court's discretion, require the tenant to pay an amount of money or post security as the court deems appropriate for prospective utility charges only.

Rule

rule court_may_require_prospective_utility_security @span(/us-mn/stat/504B.285/subd4/b/3#s1)
  when eviction_for_nonpayment_of_utility_service and shared_metered_residential_building and not utility_complaint_filed_with_commission and not tenant_qualifies_for_court_fee_waiver
  permission court -> tenant "require the tenant to pay money or post security for prospective utility charges"

claude:claude-sonnet-5-5; promoted

Status: promoted
Audit state: unaudited population mn-504b
Version: 2026 (revisor-online) (unofficial compilation), in force 2026-08-01 to present, as of 2026-10-30
Reading: default

us-mn-stat-504b.285-codex-court_may_require_prospective_utility_security

Source: /us-mn/stat/504B.285/subd4/b/3#s1 characters 9522 to 9930

(3) if the tenant has not filed a complaint involving natural gas or electric utility service with the Public Utilities Commission under section 216B.024, and the tenant does not meet the requirements for a court fee waiver under section 563.01, may, in the court's discretion, require the tenant to pay an amount of money or post security as the court deems appropriate for prospective utility charges only.

Rule

rule court_may_require_prospective_utility_security @span(/us-mn/stat/504B.285/subd4/b/3#s1)
  when utility_eviction_scope and not utility_complaint_filed_with_commission and not tenant_qualifies_for_court_fee_waiver
  permission court -> tenant "require the tenant to pay money or post security for prospective utility charges"

codex:gpt-6.1-sol; promoted

Status: promoted
Audit state: unaudited population mn-504b
Version: 2026 (revisor-online) (unofficial compilation), in force 2026-08-01 to present, as of 2026-10-30
Reading: default

us-cfr-t12-p1026-supplement-i-s1026.18-d-claude-disclose_finance_charge

Source: /us/cfr/t12/p1026/supplement-I/s1026.18/d/cmt1#s2 characters 18242 to 18408

The creditor must disclose the finance charge as a dollar amount, using the term finance charge, and must include a brief description similar to that in § 1026.18(d).

Rule

rule disclose_finance_charge @span(/us/cfr/t12/p1026/supplement-I/s1026.18/d/cmt1#s2)
  obligation creditor -> unnamed_counterparty "disclose the finance charge as a dollar amount, using the term finance charge, with a brief description"

claude:claude-sonnet-5-5; promoted

Status: promoted
Audit state: unaudited population tila-1026-18
Version: 2026-03-02 (unofficial-compilation) (unofficial compilation), in force 2026-03-01 to present, as of 2026-10-30
Reading: default

us-cfr-t12-p1026-supplement-i-s1026.18-d-codex-disclose_finance_charge

Source: /us/cfr/t12/p1026/supplement-I/s1026.18/d/cmt1#s2 characters 18242 to 18408

The creditor must disclose the finance charge as a dollar amount, using the term finance charge, and must include a brief description similar to that in § 1026.18(d).

Rule

rule disclose_finance_charge @span(/us/cfr/t12/p1026/supplement-I/s1026.18/d/cmt1#s2)
  obligation creditor -> unnamed_counterparty "disclose the finance charge as a dollar amount, using the term finance charge, with a brief description"

codex:gpt-6.1-sol; promoted

Status: promoted
Audit state: unaudited population tila-1026-18
Version: 2026-03-02 (unofficial-compilation) (unofficial compilation), in force 2026-03-01 to present, as of 2026-10-30
Reading: default

us-cfr-t12-p1026-supplement-i-s1026.18-d-claude-include_finance_charge_description

Source: /us/cfr/t12/p1026/supplement-I/s1026.18/d/cmt1#s2 characters 18242 to 18408

The creditor must disclose the finance charge as a dollar amount, using the term finance charge, and must include a brief description similar to that in § 1026.18(d).

Rule

rule include_finance_charge_description @span(/us/cfr/t12/p1026/supplement-I/s1026.18/d/cmt1#s2)
  obligation creditor -> unnamed_counterparty "include a brief description similar to that in § 1026.18(d)"

claude:claude-sonnet-5-5; promoted

Status: promoted
Audit state: unaudited population tila-1026-18
Version: 2026-03-02 (unofficial-compilation) (unofficial compilation), in force 2026-03-01 to present, as of 2026-10-30
Reading: default

us-cfr-t12-p1026-supplement-i-s1026.18-d-codex-include_finance_charge_description

Source: /us/cfr/t12/p1026/supplement-I/s1026.18/d/cmt1#s2 characters 18242 to 18408

The creditor must disclose the finance charge as a dollar amount, using the term finance charge, and must include a brief description similar to that in § 1026.18(d).

Rule

rule include_finance_charge_description @span(/us/cfr/t12/p1026/supplement-I/s1026.18/d/cmt1#s2)
  obligation creditor -> unnamed_counterparty "include a brief description similar to that in § 1026.18(d)"

codex:gpt-6.1-sol; promoted

Status: promoted
Audit state: unaudited population tila-1026-18
Version: 2026-03-02 (unofficial-compilation) (unofficial compilation), in force 2026-03-01 to present, as of 2026-10-30
Reading: default

us-cfr-t12-p1026-supplement-i-s1026.18-d-claude-itemize_finance_charge_elsewhere

Source: /us/cfr/t12/p1026/supplement-I/s1026.18/d/cmt1#s4 characters 18552 to 18785

The finance charge must be shown on the disclosures only as a total amount; the elements of the finance charge must not be itemized in the segregated disclosures, although the regulation does not prohibit their itemization elsewhere.

Rule

rule itemize_finance_charge_elsewhere @span(/us/cfr/t12/p1026/supplement-I/s1026.18/d/cmt1#s4)
  permission creditor -> unnamed_counterparty "itemize the elements of the finance charge elsewhere"

claude:claude-sonnet-5-5; promoted

Status: promoted
Audit state: unaudited population tila-1026-18
Version: 2026-03-02 (unofficial-compilation) (unofficial compilation), in force 2026-03-01 to present, as of 2026-10-30
Reading: default

us-cfr-t12-p1026-supplement-i-s1026.18-d-codex-itemize_finance_charge_elsewhere

Source: /us/cfr/t12/p1026/supplement-I/s1026.18/d/cmt1#s4 characters 18552 to 18785

The finance charge must be shown on the disclosures only as a total amount; the elements of the finance charge must not be itemized in the segregated disclosures, although the regulation does not prohibit their itemization elsewhere.

Rule

rule itemize_finance_charge_elsewhere @span(/us/cfr/t12/p1026/supplement-I/s1026.18/d/cmt1#s4)
  permission creditor -> unnamed_counterparty "itemize the elements of the finance charge elsewhere"

codex:gpt-6.1-sol; promoted

Status: promoted
Audit state: unaudited population tila-1026-18
Version: 2026-03-02 (unofficial-compilation) (unofficial compilation), in force 2026-03-01 to present, as of 2026-10-30
Reading: default

Law findings

A finding stays a candidate until two independent encodings reproduce it and no open vocabulary gap, coverage error, or documented exclusion touches the provisions involved.

Defect in the law: /us/cfr/t12/p1026/supplement-I/s1026.18/f/cmt1

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::increase_from_delinquency_not_covered names /us/cfr/t12/s1026.18::variable_rate_disclosure_f1, which is not in the program set

Reproduced by 2 encodings.

Defect in the law: /us/cfr/t12/p1026/supplement-I/s1026.18/f/cmt1

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::shared_equity_uses_f1 names /us/cfr/t12/s1026.18::variable_rate_disclosure_f2, which is not in the program set

Reproduced by 2 encodings.

Defect in the law: /us/cfr/t12/p1026/supplement-I/s1026.18/h/cmt3

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::single_principal_with_periodic_interest_not_single_payment names /us/cfr/t12/s1026.18::total_of_payments_not_required_single_payment, which is not in the program set

Reproduced by 2 encodings.

Defect in the law: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt4

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::interest_bearing_no_statement names /us/cfr/t12/s1026.18::required_deposit_statement_flag, which is not in the program set

Reproduced by 2 encodings.

Candidate finding: /us-mn/stat/504B.285/subd1/a, /us-mn/stat/504B.285/subd1/a/1/ii, /us-mn/stat/504B.285/subd1a/a, /us-mn/stat/504B.285/subd1a/b, /us-mn/stat/504B.285/subd1a/c, /us-mn/stat/504B.285/subd1b, /us-mn/stat/504B.285/subd1b/1, /us-mn/stat/504B.285/subd1b/2

contradiction: /us-mn/stat/504B.285::eviction_ground_exists is a Conflict: /us-mn/stat/504B.285::contract_eviction_ground, /us-mn/stat/504B.285::foreclosure_eviction_ground all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us-mn/stat/504B.285/subd1/a, /us-mn/stat/504B.285/subd1/a/1, /us-mn/stat/504B.285/subd1/a/1/i, /us-mn/stat/504B.285/subd1/a/1/ii, /us-mn/stat/504B.285/subd1/a/1/iii, /us-mn/stat/504B.285/subd1/a/2, /us-mn/stat/504B.285/subd1/a/3, /us-mn/stat/504B.285/subd1a/a, /us-mn/stat/504B.285/subd1a/b, /us-mn/stat/504B.285/subd1a/c, /us-mn/stat/504B.285/subd1b, /us-mn/stat/504B.285/subd1b/1, /us-mn/stat/504B.285/subd1b/2

Reproduced by 1 encoding.

Candidate finding: /us-mn/stat/504B.285/subd1/a, /us-mn/stat/504B.285/subd1/a/1, /us-mn/stat/504B.285/subd1/a/1/i, /us-mn/stat/504B.285/subd1/a/1/ii, /us-mn/stat/504B.285/subd1/a/1/iii, /us-mn/stat/504B.285/subd1/a/2, /us-mn/stat/504B.285/subd1/a/3, /us-mn/stat/504B.285/subd1b, /us-mn/stat/504B.285/subd1b/1, /us-mn/stat/504B.285/subd1b/2

contradiction: /us-mn/stat/504B.285::eviction_ground_exists is a Conflict: /us-mn/stat/504B.285::contract_eviction_ground, /us-mn/stat/504B.285::ordinary_eviction_grounds all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us-mn/stat/504B.285/subd1/a, /us-mn/stat/504B.285/subd1/a/1, /us-mn/stat/504B.285/subd1/a/1/i, /us-mn/stat/504B.285/subd1/a/1/ii, /us-mn/stat/504B.285/subd1/a/1/iii, /us-mn/stat/504B.285/subd1/a/2, /us-mn/stat/504B.285/subd1/a/3, /us-mn/stat/504B.285/subd1a/a, /us-mn/stat/504B.285/subd1a/b, /us-mn/stat/504B.285/subd1a/c

contradiction: /us-mn/stat/504B.285::eviction_ground_exists is a Conflict: /us-mn/stat/504B.285::foreclosure_eviction_ground, /us-mn/stat/504B.285::ordinary_eviction_grounds all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us-mn/stat/504B.285/subd2, /us-mn/stat/504B.285/subd2/1, /us-mn/stat/504B.285/subd2/2

contradiction: /us-mn/stat/504B.285::retaliation_defense_available_285 is a Conflict: /us-mn/stat/504B.285::retaliation_defense_proven, /us-mn/stat/504B.285::retaliation_defense_under_shifted_burden all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/s1026.18/s/3/i, /us/cfr/t12/s1026.18/s/3/i/D, /us/cfr/t12/s1026.18/s/3/ii/D

contradiction: /us/cfr/t12/s1026.18::total_estimated_monthly_payment is a Conflict: /us/cfr/t12/s1026.18::total_payment_interest_only, /us/cfr/t12/s1026.18::total_payment_principal_interest all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/s1026.18/s/7/i

gap: with every input known, no rule assigns /us/cfr/t12/s1026.18::adjustable_rate_mortgage

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/s1026.18/s/7/ii, /us/cfr/t12/s1026.18/s/7/iii

gap: with every input known, no rule assigns /us/cfr/t12/s1026.18::fixed_rate_mortgage

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/s1026.18/s/3/i/D, /us/cfr/t12/s1026.18/s/3/ii/D

contradiction: /us/cfr/t12/s1026.18::total_estimated_monthly_payment is a Conflict: /us/cfr/t12/s1026.18::calculate_interest_only_total, /us/cfr/t12/s1026.18::calculate_principal_interest_total all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/cmt3/ii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::payment_disclosure is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::determine_payment_schedule, /us/cfr/t12/p1026/supplement-I/s1026.18::determine_rate_and_payment_table all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt1/i, /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt1/i/A, /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt1/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt1/ii/B, /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt1/iii/B

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::charge_deducted_under_b3 is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_charge_not_deducted, /us/cfr/t12/p1026/supplement-I/s1026.18::separately_paid_charge_deducted all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt1/i, /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt1/i/A, /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt1/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt1/ii/A, /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt1/iii, /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt1/iii/A, /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt2

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::charge_deducted_under_b3 is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::prepaid_charge_deducted, /us/cfr/t12/p1026/supplement-I/s1026.18::separately_paid_charge_deducted all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt1/i, /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt2

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::charge_deducted_under_b3 is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::add_on_prepaid_charge_deduction, /us/cfr/t12/p1026/supplement-I/s1026.18::separately_paid_charge_deduction all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt1/i, /us/cfr/t12/p1026/supplement-I/s1026.18/b/3/cmt1/ii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::charge_deducted_under_b3 is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::included_charge_deduction, /us/cfr/t12/p1026/supplement-I/s1026.18::separately_paid_charge_deduction all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/c/cmt4

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::reverse_mortgage_itemization_carve_out names /us/cfr/t12/s1026.18::required_itemization, which is not in the program set

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/f/cmt1

unresolved_conflicting_defaults: /us/cfr/t12/p1026/supplement-I/s1026.18::variable_rate_disclosure is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::increase_from_delinquency_not_covered, /us/cfr/t12/p1026/supplement-I/s1026.18::shared_equity_uses_f1 all apply, exceptions with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/f/cmt1

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::f1_coverage_not_dwelling_or_short_term names /us/cfr/t12/s1026.18::variable_rate_disclosure_f1, which is not in the program set

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/h/cmt3, /us/cfr/t12/p1026/supplement-I/s1026.18/h/cmt4

unresolved_conflicting_defaults: /us/cfr/t12/p1026/supplement-I/s1026.18::total_of_payments_disclosure_required is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::demand_obligation_total_not_required, /us/cfr/t12/p1026/supplement-I/s1026.18::single_principal_with_periodic_interest_not_single_payment all apply, exceptions with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/h/cmt4

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::demand_obligation_total_not_required names /us/cfr/t12/s1026.18::total_of_payments_not_required_single_payment, which is not in the program set

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/h/cmt4

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::demand_total_disclosure_not_required names /us/cfr/t12/s1026.18::require_total_of_payments_disclosure, which is not in the program set

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/i/cmt2

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::exclude_uncontemplated_demand_feature_duty names /us/cfr/t12/s1026.18::disclose_demand_feature, which is not in the program set

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/j/cmt3/i, /us/cfr/t12/p1026/supplement-I/s1026.18/j/cmt3/ii

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::downpayment_cash_applied_to_lien names /us/cfr/t12/s1026.18::downpayment_reflected, which is not in the program set

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/j/cmt2, /us/cfr/t12/p1026/supplement-I/s1026.18/j/cmt3/i, /us/cfr/t12/p1026/supplement-I/s1026.18/j/cmt3/ii

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::total_sale_price_with_lien names /us/cfr/t12/s1026.18::total_sale_price_sum, which is not in the program set

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1/i, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1/ii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::prepayment_penalty_amount is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::interest_accrual_penalty_amount, /us/cfr/t12/p1026/supplement-I/s1026.18::waived_fee_penalty_amount all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/k/2/cmt1/i, /us/cfr/t12/p1026/supplement-I/s1026.18/k/2/cmt1/i/A, /us/cfr/t12/p1026/supplement-I/s1026.18/k/2/cmt1/i/B

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::finance_charge_subject_to_k2 is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::precomputed_charge_rebate_scope, /us/cfr/t12/p1026/supplement-I/s1026.18::principal_reduction_rebate_scope all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1/i, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt2, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt2/i, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt2/ii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::prepayment_penalty_amount is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::loan_guarantee_fee_not_penalty, /us/cfr/t12/p1026/supplement-I/s1026.18::payoff_document_fee_not_penalty, /us/cfr/t12/p1026/supplement-I/s1026.18::post_payoff_interest_penalty, /us/cfr/t12/p1026/supplement-I/s1026.18::waived_third_party_charge_penalty_portion all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt2, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt2/i, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt2/ii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::prepayment_penalty_amount is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::loan_guarantee_fee_not_penalty, /us/cfr/t12/p1026/supplement-I/s1026.18::payoff_document_fee_not_penalty, /us/cfr/t12/p1026/supplement-I/s1026.18::waived_third_party_charge_penalty_portion all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1/i, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt2/ii

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1/i, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt2/ii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::prepayment_penalty_amount is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::loan_guarantee_fee_not_penalty, /us/cfr/t12/p1026/supplement-I/s1026.18::post_payoff_interest_penalty, /us/cfr/t12/p1026/supplement-I/s1026.18::waived_third_party_charge_penalty_portion all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt2/ii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::prepayment_penalty_amount is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::loan_guarantee_fee_not_penalty, /us/cfr/t12/p1026/supplement-I/s1026.18::waived_third_party_charge_penalty_portion all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt2, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt2/i

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::prepayment_penalty_amount is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::payoff_document_fee_not_penalty, /us/cfr/t12/p1026/supplement-I/s1026.18::waived_third_party_charge_penalty_portion all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1/i, /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1/ii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::prepayment_penalty_amount is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::post_payoff_interest_penalty, /us/cfr/t12/p1026/supplement-I/s1026.18::waived_third_party_charge_penalty_portion all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/k/1/cmt1/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/k/cmt3

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::prepayment_penalty_amount is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::prepaid_charge_not_penalty, /us/cfr/t12/p1026/supplement-I/s1026.18::waived_third_party_charge_penalty_portion all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/l/cmt1

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::exclude_nonongoing_transaction names /us/cfr/t12/s1026.18::identify_late_payment_charge, which is not in the program set

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/l/cmt1/iv

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::include_interest_rate_increase names /us/cfr/t12/s1026.18::identify_late_payment_charge, which is not in the program set

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/m/cmt4

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::after_acquired_property_exclusion names /us/cfr/t12/s1026.18::security_interest_disclosure_required, which is not in the program set

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt1, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt3, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/i

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt1, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt3, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/i, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/v, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vi, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::deposit_excluded_from_required_deposit is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_customer_or_member, /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_escrow_account, /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_funds_disbursed_before_advance, /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_repair_escrow_of_proceeds all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt1, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt3, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/i, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vi, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::deposit_excluded_from_required_deposit is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_customer_or_member, /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_escrow_account, /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_repair_escrow_of_proceeds all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/i, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vi, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vii

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt1, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt3, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/v, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vi, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::deposit_excluded_from_required_deposit is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_escrow_account, /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_funds_disbursed_before_advance, /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_repair_escrow_of_proceeds all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt1, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt3, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vi, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::deposit_excluded_from_required_deposit is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_escrow_account, /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_repair_escrow_of_proceeds all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/v, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vi, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::deposit_excluded_from_required_deposit is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_funds_disbursed_before_advance, /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_repair_escrow_of_proceeds all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vi, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::deposit_excluded_from_required_deposit is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_interest_refund, /us/cfr/t12/p1026/supplement-I/s1026.18::excluded_repair_escrow_of_proceeds all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt3, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt4

unresolved_conflicting_defaults: /us/cfr/t12/p1026/supplement-I/s1026.18::required_deposit_statement_required is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::escrow_no_statement, /us/cfr/t12/p1026/supplement-I/s1026.18::interest_bearing_no_statement all apply, exceptions with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt3, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt4, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt5

unresolved_conflicting_defaults: /us/cfr/t12/p1026/supplement-I/s1026.18::required_deposit_statement_required is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::escrow_no_statement, /us/cfr/t12/p1026/supplement-I/s1026.18::interest_bearing_no_statement, /us/cfr/t12/p1026/supplement-I/s1026.18::morris_plan_no_statement all apply, exceptions with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt3, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt5

unresolved_conflicting_defaults: /us/cfr/t12/p1026/supplement-I/s1026.18::required_deposit_statement_required is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::escrow_no_statement, /us/cfr/t12/p1026/supplement-I/s1026.18::morris_plan_no_statement all apply, exceptions with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt4, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt5

unresolved_conflicting_defaults: /us/cfr/t12/p1026/supplement-I/s1026.18::required_deposit_statement_required is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::interest_bearing_no_statement, /us/cfr/t12/p1026/supplement-I/s1026.18::morris_plan_no_statement all apply, exceptions with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt3

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::escrow_no_statement names /us/cfr/t12/s1026.18::required_deposit_statement_flag, which is not in the program set

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt5

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::morris_plan_no_statement names /us/cfr/t12/s1026.18::required_deposit_statement_flag, which is not in the program set

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt3, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt4, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/i, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iv, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/v, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vi, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::deposit_excluded_from_required_deposit is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::escrow_deposit_exclusion, /us/cfr/t12/p1026/supplement-I/s1026.18::interest_bearing_deposit_exclusion, /us/cfr/t12/p1026/supplement-I/s1026.18::listed_deposit_exclusion all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt3, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt4, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt5, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/i, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iv, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/v, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vi, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vii

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt3, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/i, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iv, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/v, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vi, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vii

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt3, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt5, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/i, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iv, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/v, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vi, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::deposit_excluded_from_required_deposit is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::escrow_deposit_exclusion, /us/cfr/t12/p1026/supplement-I/s1026.18::listed_deposit_exclusion, /us/cfr/t12/p1026/supplement-I/s1026.18::morris_plan_deposit_exclusion all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt4, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/i, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iv, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/v, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vi, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::deposit_excluded_from_required_deposit is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::interest_bearing_deposit_exclusion, /us/cfr/t12/p1026/supplement-I/s1026.18::listed_deposit_exclusion all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt4, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt5, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/i, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iv, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/v, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vi, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vii

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt4, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt5

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::deposit_excluded_from_required_deposit is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::interest_bearing_deposit_exclusion, /us/cfr/t12/p1026/supplement-I/s1026.18::morris_plan_deposit_exclusion all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt5, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/i, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/ii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iii, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/iv, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/v, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vi, /us/cfr/t12/p1026/supplement-I/s1026.18/r/cmt6/vii

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::deposit_excluded_from_required_deposit is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::listed_deposit_exclusion, /us/cfr/t12/p1026/supplement-I/s1026.18::morris_plan_deposit_exclusion all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/s/7/cmt1

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::amortizing_loan is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::amortizing_fixed_payment_carveout, /us/cfr/t12/p1026/supplement-I/s1026.18::amortizing_payment_gap_carveout, /us/cfr/t12/p1026/supplement-I/s1026.18::classify_commentary_amortizing_loans all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/s/7/cmt1, /us/cfr/t12/p1026/supplement-I/s1026.18/s/cmt2

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/s/7/cmt1

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::amortizing_loan is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::amortizing_fixed_payment_carveout, /us/cfr/t12/p1026/supplement-I/s1026.18::classify_commentary_amortizing_loans all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/s/7/cmt1, /us/cfr/t12/p1026/supplement-I/s1026.18/s/cmt2

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::amortizing_loan is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::amortizing_fixed_payment_carveout, /us/cfr/t12/p1026/supplement-I/s1026.18::classify_commentary_amortizing_loans, /us/cfr/t12/p1026/supplement-I/s1026.18::include_interest_only_amortizing_loans all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/s/7/cmt1

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::amortizing_loan is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::amortizing_payment_gap_carveout, /us/cfr/t12/p1026/supplement-I/s1026.18::classify_commentary_amortizing_loans all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/s/7/cmt1, /us/cfr/t12/p1026/supplement-I/s1026.18/s/cmt2

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/s/7/cmt1, /us/cfr/t12/p1026/supplement-I/s1026.18/s/cmt2

contradiction: /us/cfr/t12/p1026/supplement-I/s1026.18::amortizing_loan is a Conflict: /us/cfr/t12/p1026/supplement-I/s1026.18::classify_commentary_amortizing_loans, /us/cfr/t12/p1026/supplement-I/s1026.18::include_interest_only_amortizing_loans all apply, rules with no priority between them

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/s/7/cmt1

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::amortizing_fixed_payment_carveout names /us/cfr/t12/s1026.18::classify_amortizing_loan, which is not in the program set

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/s/7/cmt1

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::amortizing_payment_gap_carveout names /us/cfr/t12/s1026.18::classify_amortizing_loan, which is not in the program set

Reproduced by 1 encoding.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/s/5/cmt1

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::reverse_mortgage_single_payment_carveout names /us/cfr/t12/s1026.18::classify_balloon_payment, which is not in the program set

Reproduced by 1 encoding. Open: coverage_error /us/cfr/t12/p1026/supplement-I/s1026.18/s/5/cmt1.

Candidate finding: /us/cfr/t12/p1026/supplement-I/s1026.18/s/2/i/C/cmt1

dangling_reference: priority edge (Overrides) from /us/cfr/t12/p1026/supplement-I/s1026.18::minor_month_length_variation_carveout names /us/cfr/t12/s1026.18::disclose_first_payment_increase_rate, which is not in the program set

Reproduced by 1 encoding.

Open disagreements

/us-mn/stat/504B.161 opened 2026-10-30

/us-mn/stat/504B.161::common_area_maintenance_release_effective: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "not_addressed"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": false}}

/us-mn/stat/504B.161 opened 2026-10-30

/us-mn/stat/504B.161::covenant_waiver_effective: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "not_addressed"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": false}}

/us-mn/stat/504B.161 opened 2026-10-30

/us-mn/stat/504B.161::covenants_are_additional: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::rental_period_commencement_date"}}

/us-mn/stat/504B.161 opened 2026-10-30

/us-mn/stat/504B.161::deemed_renewal_date: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "date", "value": "1970-01-01"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.161 opened 2026-10-30

/us-mn/stat/504B.161::habitability_covenants_apply: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::rental_period_commencement_date"}}

/us-mn/stat/504B.161 opened 2026-10-30

/us-mn/stat/504B.161::heat_covenant_violated: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.161 opened 2026-10-30

/us-mn/stat/504B.161::inspection_opportunity_defeats_covenants: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::rental_period_commencement_date"}}

/us-mn/stat/504B.161 opened 2026-10-30

/us-mn/stat/504B.161::liberal_construction_required: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::rental_period_commencement_date"}}

/us-mn/stat/504B.161 opened 2026-10-30

obligation licensor -> licensee: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::lease_concluded_or_renewed_date"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us-mn/stat/504B.161 opened 2026-10-30

obligation licensor -> licensee: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::residential_premises"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.161 opened 2026-10-30

obligation landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "conflict", "rules": [{"path": "/us-mn/stat/504B.161", "rule": "lx_obs_obligation_33b88c2f30_landlord_energy_efficiency_0"}, {"path": "/us-mn/stat/504B.161", "rule": "lx_obs_obligation_33b88c2f30_make_energy_efficient_0"}]}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.161 opened 2026-10-30

obligation licensor -> licensee: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::lease_concluded_or_renewed_date"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us-mn/stat/504B.161 opened 2026-10-30

obligation landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::lease_concluded_or_renewed_date"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us-mn/stat/504B.161 opened 2026-10-30

obligation landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::lease_concluded_or_renewed_date"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us-mn/stat/504B.161 opened 2026-10-30

obligation landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::residential_premises"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.161 opened 2026-10-30

obligation licensor -> licensee: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us-mn/stat/504B.161 opened 2026-10-30

obligation licensor -> licensee: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::residential_premises"}}

/us-mn/stat/504B.161 opened 2026-10-30

obligation landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::residential_premises"}}

/us-mn/stat/504B.161 opened 2026-10-30

obligation licensor -> licensee: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::lease_concluded_or_renewed_date"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us-mn/stat/504B.161 opened 2026-10-30

obligation landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us-mn/stat/504B.161 opened 2026-10-30

permission landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::residential_premises"}}

/us-mn/stat/504B.161 opened 2026-10-30

permission licensor -> licensee: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::residential_premises"}}

/us-mn/stat/504B.161 opened 2026-10-30

prohibition landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us-mn/stat/504B.161 opened 2026-10-30

prohibition landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::residential_premises"}}

/us-mn/stat/504B.161 opened 2026-10-30

prohibition licensee -> licensor: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::residential_premises"}}

/us-mn/stat/504B.161 opened 2026-10-30

prohibition licensor -> licensee: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::residential_premises"}}

/us-mn/stat/504B.161 opened 2026-10-30

prohibition tenant -> landlord: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::residential_premises"}}

/us-mn/stat/504B.161 opened 2026-10-30

/us-mn/stat/504B.161::repair_covenant_breached: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::premises_and_common_areas_in_reasonable_repair"}}

/us-mn/stat/504B.161 opened 2026-10-30

/us-mn/stat/504B.161::tenant_maintenance_agreement_permitted: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.161 opened 2026-10-30

/us-mn/stat/504B.161::tenant_maintenance_agreement_valid: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::maintenance_agreement_adequate_consideration"}}

/us-mn/stat/504B.161 opened 2026-10-30

/us-mn/stat/504B.161::third_party_injury_liability_altered: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.161::rental_period_commencement_date"}}

/us-mn/stat/504B.175 opened 2026-10-30

obligation landlord -> payor: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.175::landlord_violated_prelease_section"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.175 opened 2026-10-30

obligation landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.175::residential_dwelling_unit"}}

/us-mn/stat/504B.175 opened 2026-10-30

obligation landlord -> prospective_tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "date", "value": "1969-12-31"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.175::residential_dwelling_unit"}}

/us-mn/stat/504B.175 opened 2026-10-30

permission landlord -> prospective_tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.175::residential_dwelling_unit"}}

/us-mn/stat/504B.175 opened 2026-10-30

permission landlord -> prospective_tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.175::residential_dwelling_unit"}}

/us-mn/stat/504B.175 opened 2026-10-30

/us-mn/stat/504B.175::prelease_deposit_acceptance_permitted: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "not_addressed"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": false}}

/us-mn/stat/504B.175 opened 2026-10-30

/us-mn/stat/504B.175::prelease_deposit_liability: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "money", "value": "1.94"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.175 opened 2026-10-30

/us-mn/stat/504B.175::prelease_deposit_return_deadline: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "date", "value": "1969-12-31"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.177 opened 2026-10-30

/us-mn/stat/504B.177::late_fee_cap: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "money", "value": "-0.01"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.177::federal_late_fee_rule_conflicts"}}

/us-mn/stat/504B.177 opened 2026-10-30

/us-mn/stat/504B.177::late_fee_is_interest: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.177 opened 2026-10-30

/us-mn/stat/504B.177::late_fee_is_liquidated_damages: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.177 opened 2026-10-30

/us-mn/stat/504B.177::late_fee_permitted: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.177::federal_late_fee_rule_conflicts"}}

/us-mn/stat/504B.177 opened 2026-10-30

obligation landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.177::federal_late_fee_rule_conflicts"}}

/us-mn/stat/504B.177 opened 2026-10-30

permission landlord -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.177::late_payment_fee_schedule_complies_with_federal_rule"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us-mn/stat/504B.177 opened 2026-10-30

prohibition landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.177::residential_building"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.177 opened 2026-10-30

prohibition landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.177::federal_late_fee_rule_conflicts"}}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::bad_faith_presumed: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::deposit_action_venue_permitted: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::deposit_as_rent_ground_presumed: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::last_payment_period_of_rental_agreement"}}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::deposit_disposition_deadline: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "date", "value": "1969-12-31"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::effective_tenancy_renewal_date: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "date", "value": "1973-07-01"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::landlord_liable_for_deposit_damages: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::landlord_liable_for_punitive_damages: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::lawful_deductions_amount: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "money", "value": "-999999999999999.99"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::deposit_amount"}}

/us-mn/stat/504B.178 opened 2026-10-30

obligation landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "date", "value": "1970-01-22"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::assessment_date"}}

/us-mn/stat/504B.178 opened 2026-10-30

obligation landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::assessment_date"}}

/us-mn/stat/504B.178 opened 2026-10-30

obligation tenant -> landlord: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::deposit_secures_rental_agreement"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.178 opened 2026-10-30

obligation tenant -> landlord: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::deposit_secures_rental_agreement"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.178 opened 2026-10-30

obligation tenant -> landlord: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::deposit_secures_rental_agreement"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.178 opened 2026-10-30

obligation successor_in_interest -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::deposit_secures_rental_agreement"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.178 opened 2026-10-30

obligation landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::deposit_secures_rental_agreement"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.178 opened 2026-10-30

obligation successor_in_interest -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::deposit_secures_rental_agreement"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.178 opened 2026-10-30

obligation landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "date", "value": "1969-12-31"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::assessment_date"}}

/us-mn/stat/504B.178 opened 2026-10-30

obligation landlord -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::deposit_secures_rental_agreement"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.178 opened 2026-10-30

obligation landlord_agent -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "date", "value": "1969-12-31"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::assessment_date"}}

/us-mn/stat/504B.178 opened 2026-10-30

permission tenant -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::tenancy_commenced_or_renewed_date"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.178 opened 2026-10-30

permission tenant -> landlord: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::deposit_secures_rental_agreement"}}

/us-mn/stat/504B.178 opened 2026-10-30

permission successor_in_interest -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::deposit_exclusively_advance_rent"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.178 opened 2026-10-30

permission landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::deposit_secures_rental_agreement"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.178 opened 2026-10-30

prohibition tenant -> landlord: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::deposit_secures_rental_agreement"}}

/us-mn/stat/504B.178 opened 2026-10-30

prohibition landlord -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us-mn/stat/504B.178 opened 2026-10-30

right successor_in_interest -> tenant: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::deposit_exclusively_advance_rent"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::mailing_satisfies_return_time_requirement: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::punitive_damages_cap: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "money", "value": "-0.01"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::bad_faith_retention_in_violation"}}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::rent_withholding_violates_subd8: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::last_payment_period_of_rental_agreement"}}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::return_deadline: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "date", "value": "1969-12-31"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "date", "value": "1970-01-01"}}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::successor_return_limited_to_notice_amount: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::tenant_rent_withholding_penalty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "money", "value": "0"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us-mn/stat/504B.178 opened 2026-10-30

/us-mn/stat/504B.178::wrongfully_withheld_amount: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "money", "value": "-0.01"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us-mn/stat/504B.178::deposit_amount"}}

/us/cfr/t12/s1026.18/a opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::closed_end_consumer_credit_transaction"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/s1026.18/c opened 2026-10-30

/us/cfr/t12/s1026.18::itemized_prepaid_finance_charge: adjudication neither on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "money", "value": "0"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::mortgage_transaction_subject_to_1026_19_e_and_f"}}

/us/cfr/t12/s1026.18/c opened 2026-10-30

obligation creditor -> consumer: adjudication neither on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/s1026.18/e opened 2026-10-30

/us/cfr/t12/s1026.18::apr_disclosure_required: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::collateral"}}

/us/cfr/t12/s1026.18/e opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::closed_end_consumer_credit_transaction"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/s1026.18/e opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::closed_end_consumer_credit_transaction"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::secured_by_principal_dwelling"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/s1026.18/f opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::secured_by_principal_dwelling"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/s1026.18/f opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::secured_by_principal_dwelling"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::secured_by_principal_dwelling"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::secured_by_principal_dwelling"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::secured_by_principal_dwelling"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/s1026.18/f opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::secured_by_principal_dwelling"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/s1026.18/f opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/s1026.18/f opened 2026-10-30

/us/cfr/t12/s1026.18::variable_rate_disclosure: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::secured_by_principal_dwelling"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "enum", "value": {"enumeration": "variable_rate_rule", "variant": "paragraph_f1"}}}

/us/cfr/t12/s1026.18/g opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::closed_end_consumer_credit_transaction"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::closed_end_consumer_credit_transaction"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::closed_end_consumer_credit_transaction"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/s1026.18/i opened 2026-10-30

/us/cfr/t12/s1026.18::assumed_maturity_disclosure_required: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us/cfr/t12/s1026.18/i opened 2026-10-30

/us/cfr/t12/s1026.18::demand_feature_disclosure_required: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::collateral"}}

/us/cfr/t12/s1026.18/i opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::collateral"}}

/us/cfr/t12/s1026.18/i opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::collateral"}}

/us/cfr/t12/s1026.18/l opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication neither on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::closed_end_consumer_credit_transaction"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/s1026.18/m opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::collateral"}}

/us/cfr/t12/s1026.18/m opened 2026-10-30

/us/cfr/t12/s1026.18::security_interest_disclosed: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::collateral"}}

/us/cfr/t12/s1026.18/o opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::security_interest_charge_excluded_from_finance_charge"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/s1026.18/p opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::closed_end_consumer_credit_transaction"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/s1026.18/p opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::closed_end_consumer_credit_transaction"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/s1026.18/r opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::reverse_mortgage"}}

/us/cfr/t12/s1026.18/r opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::reverse_mortgage"}}

/us/cfr/t12/s1026.18/r opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::collateral"}}

/us/cfr/t12/s1026.18/r opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/s1026.18::reverse_mortgage"}}

/us/cfr/t12/s1026.18/r opened 2026-10-30

/us/cfr/t12/s1026.18::required_deposit_statement_required: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/cmt1 opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication neither on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/p1026/supplement-I/s1026.18/a opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::multiple_creditors"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/a opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::creditor_name_used"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/c opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::itemized_prepaid_finance_charge: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "money", "value": "0.01"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::reverse_mortgage"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/c opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/c opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "date", "value": "1969-12-31"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/c opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::respa_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/c opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::amount_paid_to_others"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/c opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::substitutes_respa_settlement_statement"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/c opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::respa_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/c opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::respa_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/c opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::deducted_prepaid_finance_charges"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/c opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/p1026/supplement-I/s1026.18/c opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "not_addressed"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/c opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::respa_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/c opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/p1026/supplement-I/s1026.18/c opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::mortgage_insurance_figures_deemed_accurate: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::provides_section_1026_19_b_disclosures"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::apr_may_increase_after_consummation"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::apr_may_increase_after_consummation"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::other_rate_component_may_increase"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::rate_may_increase_upon_conversion"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::apr_may_increase_after_consummation"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::term_longer_than_one_year"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::term_longer_than_one_year"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::apr_may_increase_after_consummation"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::apr_may_increase_after_consummation"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::other_rate_component_may_increase"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::increase_only_from_delinquency_or_default"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::apr_may_increase_after_consummation"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::other_rate_component_may_increase"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::provides_section_1026_19_b_disclosures"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::other_rate_component_may_increase"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::other_rate_component_may_increase"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::other_rate_component_may_increase"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

prohibition creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::other_rate_component_may_increase"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::subject_to_section_1026_19_b: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/p1026/supplement-I/s1026.18/f opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::variable_rate_disclosure: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "enum", "value": {"enumeration": "variable_rate_rule", "variant": "paragraph_f1"}}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::collateral"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::payment_level_count"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::payments_vary_due_to_different_principal_and_interest_intervals"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::payment_level_count"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::deferred_downpayment_treated_as_downpayment"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

permission creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

prohibition creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::payment_schedule_disclosure_applies: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "not_addressed"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": false}}

/us/cfr/t12/p1026/supplement-I/s1026.18/g opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::total_number_of_payments_disclosure_required: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/h opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication neither on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/p1026/supplement-I/s1026.18/h opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::total_of_payments_disclosure_required: adjudication neither on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "conflict", "rules": [{"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "demand_obligation_total_not_required"}, {"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "single_principal_with_periodic_interest_not_single_payment"}]}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::collateral"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/i opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::payable_on_demand_from_outset"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/j opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication neither on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/j opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication neither on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/j opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication neither on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/k opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::finance_charge_subject_to_k2: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "conflict", "rules": [{"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "precomputed_charge_rebate_scope"}, {"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "principal_reduction_rebate_scope"}]}

/us/cfr/t12/p1026/supplement-I/s1026.18/k opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::state_law_actuarial_refund"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/k opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::fee_waived_on_condition_of_no_prepayment"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/k opened 2026-10-30

prohibition creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/k opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::prepayment_disclosure_given: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "not_addressed"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/p1026/supplement-I/s1026.18/k opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::prepayment_penalty_amount: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::interest_charged_on_prepayment"}}
codex:gpt-6.1-sol: {"kind": "conflict", "rules": [{"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "loan_guarantee_fee_not_penalty"}, {"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "payoff_document_fee_not_penalty"}, {"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "prepaid_charge_no

/us/cfr/t12/p1026/supplement-I/s1026.18/m opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/p1026/supplement-I/s1026.18/m opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "empty"}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "bool", "value": true}}

/us/cfr/t12/p1026/supplement-I/s1026.18/m opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::mixed_collateral"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::amortizing_loan: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::interest_only_loan"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::balloon_payment: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::disclosed_mortgage_insurance_payment: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "money", "value": "0.00"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::earliest_lifetime_maximum_rate_date: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "not_addressed"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "date", "value": "1800-01-01"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::earliest_maximum_rate_first_five_years_date: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "date", "value": "1969-12-31"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::estimated_escrow_payment: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::item_included_in_escrow_account"}}
codex:gpt-6.1-sol: {"kind": "value", "value": {"type": "money", "value": "0"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::fully_indexed_rate_percent: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "number", "value": "-0.000001"}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "not_addressed"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::introductory_rate: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": false}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::introductory_rate_expiration_place_in_sequence: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::initial_rate_years"}}
codex:gpt-6.1-sol: {"kind": "conflict", "rules": [{"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "classify_commentary_amortizing_loans"}, {"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "include_interest_only_amortizing_loans"}]}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "conflict", "rules": [{"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "lx_obs_obligation_573c30e74c_include_increased_fixed_rate_payment_0"}, {"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "lx_obs_obligation_573c30e74c_show_rate_for_increased_fixed_rate_payment_0"}]
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "conflict", "rules": [{"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "lx_obs_obligation_6a153e22a1_identify_minimum_payment_option_0"}, {"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "lx_obs_obligation_6a153e22a1_include_minimum_payment_heading_statement_0"}]}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::collateral"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::reverse_mortgage_single_payment"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> consumer: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::reverse_mortgage"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::closed_end_consumer_credit_transaction"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::reverse_mortgage"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

obligation creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::interest_only_loan"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::interest_only_loan"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::adjustable_rate_mortgage"}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

permission creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

prohibition creditor -> unnamed_counterparty: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "empty"}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::mortgage_insurance_or_any_functional_equivalent: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::interest_only_loan"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::substantially_similar_to_model_clause: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "value", "value": {"type": "bool", "value": true}}
codex:gpt-6.1-sol: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::reverse_mortgage"}}

/us/cfr/t12/p1026/supplement-I/s1026.18/s opened 2026-10-30

/us/cfr/t12/p1026/supplement-I/s1026.18::total_estimated_payment: adjudication failed on the solver's fact pattern

claude:claude-sonnet-5-5: {"kind": "unknown", "reason": {"code": "missing_input", "input": "/us/cfr/t12/p1026/supplement-I/s1026.18::mortgage_insurance_payment_amount"}}
codex:gpt-6.1-sol: {"kind": "conflict", "rules": [{"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "amortizing_payment_gap_carveout"}, {"path": "/us/cfr/t12/p1026/supplement-I/s1026.18", "rule": "classify_commentary_amortizing_loans"}]}

Corpus progress

mn-504b audit state unaudited

Version	Provisions	Promoted	Unknown
2026 (revisor-online) (unofficial compilation), in force 2026-08-01 to present, as of 2026-10-30	1	0	1
2026 (revisor-online) (unofficial compilation), in force 2026-08-01 to present, as of 2026-10-30	1	0	1
2026 (revisor-online) (unofficial compilation), in force 2026-08-01 to present, as of 2026-10-30	1	1	0
2026 (revisor-online) (unofficial compilation), in force 2026-08-01 to present, as of 2026-10-30	1	1	0
2026 (revisor-online) (unofficial compilation), in force 2026-08-01 to present, as of 2026-10-30	1	1	0
2026 (revisor-online) (unofficial compilation), in force 2026-08-01 to present, as of 2026-10-30	1	1	0

tila-1026-18 audit state unaudited

Version	Provisions	Promoted	Unknown	Failed	Pending	Excluded
2023-03-29 (unofficial-compilation) (unofficial compilation), in force 2021-03-01 to present, as of 2026-10-30	20	9	11	0	0	0
2026-03-02 (unofficial-compilation) (unofficial compilation), in force 2026-03-01 to present, as of 2026-10-30	22	19	3	0	0	0

Release stages

v0.1 in progress
Statutory tiers (Minn. Stat. 504B, TILA 1026.18), precedent tier, and the 49 C.F.R. chapter V corpus.
v0.2 planned
User-facing extraction.
v0.3 planned
Third committed stage (R44).