Civil-rights work, trivially verifiable.

Three promises

1. 1

   Open-sourced redacted qagents framework

   Public repos under github.com/quantapix/* carrying redacted slices of qagents — code, CLAUDE.md conventions, and redacted Claude Code session memory. Refreshed weekly.

   Owners: data/quantapix/ · every subproject (redaction inherited)

2. 2

   Federal + Massachusetts code axiomatized

   Lean4 theorems with LLM-evaluated predicates covering the USC sections in scope and a started Mass. General Laws set. Every theorem cites legal/uscode/index.json or the MA equivalent.

   Owners: proving/ · accounting/ · legal/uscode/ · legal/macode/ (new)

3. 3

   Running AWS-hosted verification service

   Live HTTPS endpoints qnarre.quantapix.com + qresev.quantapix.com accepting redacted complaints / portfolios and streaming verification events over SSE. Redacted input only — no PII ever reaches the servers or any LLM.

   Owners: serving/ · verifying/ · evaluating/

Four buckets

Carryover within a bucket across months is allowed and disclosed. Cross-bucket movement is not allowed. Excess flows into buckets 3 and 4.

Nominal tiers

$5–$50/month range; no major-donor tier. Tiers are nominal — any amount is welcomed via either channel.

Accountability

A weekly digest every Friday plus a monthly ledger within 5 calendar days of month-end. Inflow by channel, four-bucket outflow with receipts, carryover, and one paragraph of progress per promise.

Monthly ledger: donating/ledger/YYYY-MM.md · Weekly digest: donating/weekly/YYYY-WW.md · Public mirror: github.com/quantapix/qdonating-public

Two consecutive missed weekly digests OR any missed monthly ledger breaks the *trivially verifiable* contract by its own terms; recovery requires a same-day disclosure note explaining what broke.

Privacy floor

Service accepts only redacted documents.

No real names, dockets, addresses, financial account numbers, or other PII ever flow to the server side or to any LLM. Redaction pipeline inherits from legal/public/ staging.

On the federal record

1. U.S. Court of Appeals, First Circuit

   No. 26-1346

   Kifor v. Commonwealth of Massachusetts, et al.

   Principal brief Doc 00118432189; 4/27/2026 Status Affidavit Doc 00118437697 / Entry ID 6804893; 4/28/2026 chain-of-custody Doc 00118438630; fresh-harm record Doc 00118439659 (5/11/2026); 11-volume Record Appendix

2. U.S. District Court, District of Massachusetts

   1:25-cv-11831-AK

   Kifor v. Commonwealth of Massachusetts, et al. (Kelley, D.J.)

   IFP Order 3/25/2026; mailing-address affidavit Dkt. 28-9; shelter-address acceptance Dkt. 36 (4/27/2026)

3. Supreme Court of the United States

   No. 25-6878

   Kifor v. Massachusetts

   Rule 39.8 dismissal 4/27/2026; address line of dismissed petition is itself part of the documented Mass. no-PO-Box pattern

4. Mass. Appeals Court

   (J-docket TBD)

   Petition for Interlocutory Relief, G.L. c. 231 § 118 ¶ 1

   Filed 2026-05-12 from Middlesex Probate and Family Court's implicit denial of homeless-shelter PO Box as valid address of record

5. Probate and Family Court, Middlesex Division

   07D-3172-DV1; 11W-0787-WD / 11W-1147-WD

   Renewed Complaints for Modification + cross-filed Affidavit on Public-Service Efforts and the Public Donation Drive

   Same affidavit body, three captions: federal § 1746 wrapper supports the USCA1 Emergency Motion for Injunction Pending Appeal

Anchors are document IDs on the named dockets — not outbound links. Verify against the public record at the respective clerk's office.

Contact

Drive questions: quantapix@gmail.com. Litigation questions are out of scope — see the dockets and the relevant clerk's office.