Status

Every subproject,
wired up.

Architecture diagrams baked at build time from each subproject's self-emitted slot in data/status/. Live-state strip shows version, last build, and a status pill. The pill is color and icon both — color-blind safe.

Quantapix

Cloud-base, outreach, production-assistance, and observe-only watchers.

Serving
serving

AWS cloud-base, Phases 1–5 closed: 4 OAC-fronted static sites + 1 t4g.small EC2 hosting 2 FastAPI apps (Caddy + SSE), GuardDuty subscribed, qagents-deploy at managed-policy v5. v0.1 ~$22/mo.

Static sites — R53 → CloudFront → S3 (OAC) One stamp per site. Identical in shape; differs only in bucket name, hostname, ACM ARN, Route 53 zone. Four stamps live as of Phase 4 (femfas.net, quantapix.com, qnarre.quantapix.com, qresev.quantapix.com). TLS Browser ikifor.dev Route 53 alias record CloudFront PriceClass_100 CloudFront Fn URI rewrite S3 (OAC) origin access ctl static dist/ astro build ACM cert us-east-1
version 3d6e72fb
built 3 min ago
OK
Designing
designing

quantapix.com — Astro + React islands, S3 + CloudFront. The site you are reading. Status page rides this same pipeline.

quantapix.com — repo → astro build → S3 → CloudFront Sibling stamp to documenting. Same deploy.sh shape; different bucket + distribution; Status page itself ships from this pipeline. sync --delete verify designing/web Astro 5 astro build pnpm build S3 quantapix.com us-east-1 · OAC CloudFront E27NQG9Y1ZPLGH Playwright e2e PW_BASE_URL = live
version 3d6e72fb
built 3 min ago
OK
Documenting
documenting

femfas.net v2 — Astro + React islands fronted by S3 + CloudFront. Public dockets, redacted filings, the long-form record.

femfas.net — repo → astro build → S3 → CloudFront Static-sites stamp from serving/. Two-pass aws s3 sync with --delete; CloudFront /* invalidation; live e2e gate before declaring deploy done. sync --delete verify documenting/web Astro 5 astro build pnpm build S3 femfas.net us-east-1 · OAC CloudFront E1HSASY4B6ODER Playwright e2e PW_BASE_URL = live
version 3d6e72fb
built 3 min ago
OK
Studying
studying

Lean4 expert-track study + open-source contribution roadmap. 10 ranked focus areas in studying/focus-areas.md; toolchain-aligned to whatever proving/ + accounting/ pin. Active study work resumes once the qagents framework is staged on AWS-based infrastructure.

Diagrams pending
version leanprov
built 3 min ago
NOT YET LIVE
Explaining
explaining

5 topics × 10 subjects video-explainer arc. Janet narrates animated cards + D3.js / Cytoscape.js graphics over a HeyGen → Remotion → DaVinci Resolve pipeline. Scripts only here; rendering downstream.

Stage 1–6 pipeline Script (here) → Claude Design bundle → HeyGen narration → Remotion B-roll → DaVinci Resolve composition → S3 publish. Script explaining Claude Design explaining HeyGen Remotion explaining DaVinci Resolve resolving S3 / CloudFront serving
version outline-
built 3 min ago
NOT YET LIVE
Donating
donating

6-month public donation drive (2026-06-01 → 2026-12-01) backing the qagents open-source framework and the pro se federal/state litigation work it supports. Four cost buckets, monthly public ledger.

Diagrams pending
version drive-v1
built 3 min ago
NOT YET LIVE
Managing
managing

Daily watcher over the qagents constellation. 06:00 cron-fires an Opus coordinator that spawns three Opus subagents (checker / planner / reporter) plus one Haiku verifier in parallel. Observe-only — outputs are dated .md under checks/ / tasks/ / reports/.

managing/ — 06:00 cron-fired coordinator + 4 subagents Opus coordinator spawns three Opus subagents + one Haiku verifier in parallel; each writes one dated .md (verifier writes two). Outputs land under managing/{checks,tasks,reports}/ on the canonical tree. fire pass-list launchd 06:00 com.qagents.managing-daily coordinator Opus 4.7 checker Opus · checks/.md planner Opus · tasks/.md reporter Opus · reports/.md verifier Haiku 4.5 · pending.json managing// committed .md
version 3d6e72fb
built 3 min ago
OK
Shorting
shorting

Adversarial sibling of managing/. On-demand /open shorting; one Opus subagent per target produces 10 numbered "shorting positions" under shorting/positions/<target>/<date>.md. Observe-only; findings route to managing/.

Diagrams pending
version
built 3 min ago
NOT YET LIVE

Qnarre

Legal-complaint verifier — UI shell + Lean4 kernel + pro se drafting.

depends on: Quantapix › serving

Qresev

Portfolio evaluator — UI shell + Lean4 kernel + data feeds + paper PMs.

depends on: Quantapix › serving

Qresev
qresev · evaluating

Axiomatic evaluator for stocks and portfolios. Same shape as Qnarre, different OHLCV. Defined-risk options only — six-strategy allow-list enforced at both the UI and the kernel. Early-beta 6/1/2026.

Qresev app shell — Astro + React island + FastAPI + SSE Three-zone /app island streams predicate events from accounting/ via SSE. UI hard-refuses any options leg outside the six-strategy allow-list. subscribe type-level Astro shell qresev.quantapix.com React /app island 3 zones SSE channel /events FastAPI uvicorn :8788 lake build subprocess accounting kernel TREND · MOMENTUM · … Defined-risk gate 6 strategies
version 3d6e72fb
built 3 min ago
OK
Accounting
accounting

Lean4 axiomatic kernel for the financial domain. TREND + MOMENTUM + OPTIONS-RISK + SECTOR + DRAWDOWN over portfolios. Defined-risk options only — six strategies enforced at the Strategy enum type level and re-checked by the OPTIONS-RISK predicates. 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.

Frameworks — module readiness Five frameworks. OPTIONS-RISK enforces the defined-risk allow-list at the type level (6 strategies). Focused = predicates + axioms compile under the current toolchain. TREND MA cross · slope · R² MOMENTUM RSI · MACD · ROC OPTIONS-RISK defined-risk allow-list (6) SECTOR GICS concentration cap DRAWDOWN max-DD · time-under-water
version bf1f5257
built 3 min ago
OK
Analyzing
analyzing

VSCode extension. DuckDB+Parquet OHLCV store, lightweight-charts v5, yfinance/Stooq ingest, Alpaca IEX live feed. Symbols / Sectors / Portfolios trees feed the chart + aggregate panels.

analyzing — VSCode extension data + render pipeline Two ingest sources land in a DuckDB-over-Parquet store; the VSCode extension drives lightweight-charts v5 panels off the same store. TA-Lib parity validated out-of-band via ta_reference.py. ingest.py live DuckDB views yfinance / Stooq batch ingest Alpaca IEX live REST + WS DuckDB + Parquet data/parquet/ analyzing ext TS (Node16) lightweight-charts v5 webview
version 3d6e72f
built 3 min ago
BUILDING
Trading
trading

Three competing PMs (aggressive / moderate / conservative) on Alpaca paper. Holding periods are days to months — not day-trading. Defined-risk options only; non-allow-listed strategies hard-refused.

Three PMs against SPY Each PM holds its own Alpaca paper account, portfolio.json, strategy doc, and journal tree. Capital never crosses; trades clear through risk-analyzer (+ options-risk-analyzer for options) before trade-executor places the order. options only options only options only Aggressive PM Moderate PM Conservative PM risk-analyzer options-risk-analyzer trade-executor Alpaca paper
version 3 PMs
built 3 min ago
OK