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 for every Quantapix surface. Four CloudFront-fronted static sites, one t4g.small EC2 fronting two FastAPI apps, GitHub OIDC for CI, KMS-CMK-backed SecureStrings.

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 d981ece4
built 1d 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 519f7e6b
built 2d 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 4f02a945
built 1d ago
OK
Studying
studying

Operational-axis Lean4 kernel + cross-axis representation research. Axiomatizes qagents operations (git first) with the same kernel + LLM-facts + lake-build architecture as proving/ and accounting/; owns the hub/ guide-rails. T1 (branch-lock exclusion) and T3 (worktree divergence detection) proved by the /dao coding-v.-testing lane over extracted repo snapshots.

Diagrams pending
version leanprov
built 4h ago
OK
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 4h 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 1d ago
OK
Publishing
publishing

Open-source release subproject. Owns publishing/quantapix/ + the /publish pipeline (sweep → redact → compile → push to github.com/quantapix/*).

/publish pipeline Five stages, left to right. The redaction gate (verify) is a hard gate before compile/push — a non-empty check_redactions.py result aborts the run. Push is operator-confirmed and GitHub-public-only. sweep collect verify compile push
version publish-
built 6h ago
OK
Managing
managing

Daily watcher over the qagents constellation. 06:00 cron-fires a top-tier-model coordinator that spawns three top-tier 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 Top-tier coordinator spawns three top-tier 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 fable (top tier) checker fable · checks/.md planner fable · tasks/.md reporter fable · reports/.md verifier Haiku 4.5 · pending.json managing// committed .md
version 1c6f317d
built 2d ago
OK
Shorting
shorting

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

Diagrams pending
version
built 2d ago
NOT YET LIVE

Qnarre

Legal-complaint verifier — UI shell + Lean4 kernel.

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 38007739
built 1d 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 2d 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 financial/parquet/ analyzing ext TS (Node16) lightweight-charts v5 webview
version 8b3a8bbf
built 2d 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 2d ago
OK