← All status

Proving

Proving

Lean4 axiomatic kernel for the legal domain. RICO + Title VI + §§ 1981/1983/1985(3). Predicates return ⟨bool, evidence, citation⟩; the kernel does no I/O. Each verifier run produces a per-predicate report.json + proof-DAG graph.json + intro-rule loci.json — surfaced here as the recent-runs table + latest-run diagram + predicate roster.

version 623bc019a1f2
source proving/lake-manifest.json@623bc019a1f2
built 2026-06-11T21:54:44Z
OK

Frameworks — module readiness

One node per Lean module. Focused = predicates + axioms compile under the current toolchain.

Frameworks — module readiness One node per Lean module. Focused = predicates + axioms compile under the current toolchain. civil RICO 18 U.S.C. §§ 1961–1968 Title VI 42 U.S.C. §§ 2000d et seq. § 1981 42 U.S.C. § 1981 § 1983 42 U.S.C. § 1983 § 1985(3) 42 U.S.C. § 1985(3)

Verifier-run statistics

Aggregate over all examples/<id>/report.json artefacts.

Verifier runs

14

Complaints elaborated against the kernel.

Accepted

OK
9

Kernel verdict: ACCEPTED — the validity theorem elaborates.

Rejected

DEGRADED
5

Kernel verdict: REJECTED — at least one element disproved.

Latest run

3.0d ago

H.V. v. Lakeside Workforce Development Program — toy Age Act sample

Recent verifier runs One row per complaint elaborated against the kernel. Verdict pill reflects whether the validity theorem type-checks; the expand row enumerates each kernel rejection's locus.
IDComplaintFrameworkPredicatesVerdictFailuresRun at
ageact_sampleH.V. v. Lakeside Workforce Development Program — toy Age Act sampleageact § 6102 (intentional / impact / retaliation)21 / 21 TrueACCEPTED02026-06-08T20:52:50Z
rehab504_sampleM.D. v. Riverside Community College — toy § 504 samplerehab504 § 794 (intentional / failure-to-accommodate / impact / retaliation)21 / 21 TrueACCEPTED02026-06-08T20:52:50Z
titleix_sampleR.K. v. Northgate University — toy Title IX sampletitleix § 1681 (intentional / impact / retaliation / deliberate indifference)25 / 25 TrueACCEPTED02026-06-07T18:21:06Z
titlevii_fedsector_sampleOkafor v. Secretary of Veterans Affairs — toy Title VII § 2000e-16(c) sampletitlevii § 2000e-16(c)5 / 5 TrueACCEPTED02026-06-07T18:04:47Z
titlevii_patternpractice_sampleEEOC v. Borealis Logistics — toy Title VII § 2000e-6(a) sampletitlevii § 2000e-6(a)5 / 5 TrueACCEPTED02026-06-07T18:04:47Z
titlevii_sampleReyes v. Acme Corp — toy Title VII § 2000e-5(f)(1) sampletitlevii § 2000e-5(f)(1)9 / 9 TrueACCEPTED02026-06-07T17:38:05Z
kifor_civilrights_amendedKifor v. Commonwealth — First Amended Class Action Complaint, Count III (§§ 1981/1983/1985) (1:25-cv-11831-AK)civilrights § 1981 / § 1983 / § 1985(3)11 / 14 TrueREJECTED22026-06-04T16:52:57Z
kifor_rico_amendedKifor v. Commonwealth — First Amended Class Action Complaint, Count IV (Civil RICO § 1962(d)) (1:25-cv-11831-AK)rico § 1962(d)2 / 7 TrueREJECTED22026-06-04T16:38:46Z
kifor_titleviKifor v. Commonwealth — First Amended Class Action Complaint, Count I (Title VI) (1:25-cv-11831-AK)titlevi § 601 intentional / retaliation13 / 13 TrueACCEPTED02026-06-04T16:30:04Z
kifor_civilrightsKifor v. Commonwealth — Federal Civil-Rights Complaint (D. Mass. 1:26-mc-91166-DJC) (1:26-mc-91166-DJC)civilrights § 1981 / § 1983 / § 1985(3)12 / 14 TrueREJECTED12026-06-04T16:22:11Z
Sorted by runFinishedAt, descending.

§ 1981 / § 1983 / § 1985(3) intro-rule shape — no roster

No loci roster mapped for this framework/subsection yet.

§ 1981 / § 1983 / § 1985(3) intro-rule shape — no roster No loci roster mapped for this framework/subsection yet.
Predicate roster — Kifor v. Commonwealth — First Amended Class Action Complaint, Count III (§§ 1981/1983/1985) Per-predicate atomic view of the most recent run. Each row is one Bool the kernel consumed via Facts.lean; expand the row for evidence and uncertainty rationale.
#PredicateArgsValueUncertaintyEvidenceCiteKernel locus
§ 1981 / § 1983 / § 1985(3)
1IsRacialClassPlaintiffkiforFather amendedComplaintTruemedium¶22 — Father and all white, straight male, and mere non-custodial parent members of a "never to be protected class" are fully and silently excluded.
2IntentToDiscriminateOnRacediscriminationScheme familyCourt amendedComplaintFalsemedium¶26(b) — Family Court deliberately discriminated against Father when it "stole" the children from him four years later — only because he was a legal immigrant with a valid U.S. passport.section1981Claim_intro.intentToDiscrim
3ConcernsContractingActivitydiscriminationScheme amendedComplaintTruemedium¶26.m — To prevent Father from testifying in person about receiving government assistance on 3/14/2025, Family Court cancelled the hearings scheduled for 4/28/2025.
4ButForRaceCausationdiscriminationScheme amendedComplaintFalsemedium¶26(e) — deliberate "absolute employability" retaliations based on Father's race, color, sex, and national origin
5ActsUnderColorOfStateLawfamilyCourt discriminationScheme amendedComplaintTruelow¶10 — Each and all of the acts (or threats of acts) alleged herein were committed by the Defendants, and/or their officers, agents, and employees, under the color & pretense of the statutes, rules, and regulations of the Commonwealth.
6DeprivedFederalRightdiscriminationScheme equalProtection kiforFather amendedComplaintTruemedium¶56 (Count III) — the Defendants have deliberately continued to violate the 42 U.S.C. §§ 1981, 1983, and 1985 provisions by specifically colluding and conspiring against — and systemically depriving — Father of his due process and equal …
7IsS1983PersonfamilyCourt amendedComplaintFalsemediumcaption / ¶3 — CHIEF JUSTICE [REDACTED — name] (official capacity, Mass. Probate And Family Court Dept.), CHIEF JUSTICE [REDACTED — name] (official capacity, Mass. Probate And Family Court Dept.)section1983Claim_intro.isPerson
8CausationS1983discriminationScheme equalProtection amendedComplaintTruemedium¶26 — Father has been the direct (and long-term) target of the sustained and systemic statutory ("reverse") discriminations and all the subsequent deliberately targeted retaliations
9NotAbsolutelyImmunefamilyCourt discriminationScheme amendedComplaintTruehigh¶21 — [Father's] claims [of disparate treatment] are barred by absolute judicial or prosecutorial immunity because they arise from: judicial rulings in custody and child support proceedings in the Family Court; the prosecution of those p…
10ExistsConspiracyAmongTwoOrMoreamendedComplaintTruemedium¶1 — sustained and systemic conspiracy to "silence and enslave" ... deprivation of civil rights (42 U.S.C. §§ 1981, 1983, 1985) ... through the exclusively discriminatory ... "RICO Predicate Acts" ... by the State and the knowingly collu…
11ClassBasedDiscriminatoryAnimusdiscriminationScheme amendedComplaintTruemedium¶26(b) — Family Court deliberately discriminated against Father when it "stole" the children from him four years later — only because he was a legal immigrant with a valid U.S. passport.
12ConspiracyToDepriveEqualProtectionkiforFather discriminationScheme amendedComplaintTruemedium¶56 (Count III) — the Defendants have deliberately continued to violate the 42 U.S.C. §§ 1981, 1983, and 1985 provisions by specifically colluding and conspiring against — and systemically depriving — Father of his due process and equal …
13ActInFurtheranceOfConspiracydiscriminationScheme amendedComplaintTruelow¶26(m) — To prevent Father from testifying in person about receiving government assistance on 3/14/2025, Family Court cancelled the hearings scheduled for 4/28/2025.
14InjuryFromConspiracykiforFather discriminationScheme amendedComplaintTruelow¶49 — Father has been forcedly indigent since 2018, and he alleges that his forced indigency has been the direct and foreseeable consequence of the Defendants' deliberate actions and/or decisions substantiated throughout this complaint.
civilrights § 1981 / § 1983 / § 1985(3) — 11 of 14 True.

Metrics

frameworkCount
5
frameworksPresent
2
runsTotal
14
runsAccepted
9
runsRejected
5
latestRunId
kifor_civilrights_amended
latestRunAt
2026-06-04T16:52:57Z
latestVerdict
REJECTED
latestProofGraphUrl
https://qnarre.quantapix.com/proof-graph/run/kifor_civilrights_amended/debug/