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 127afdc9
built 5h 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 ca8feb79
built 2h 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 127afdc9
built 5h 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), T3 (worktree divergence detection), T2 (cascade safety) and T4 (adopted-spec promotion discipline + its breach dual, over the index→commit substrate) proved by the /dao coding-v.-testing lane over extracted repo snapshots. The second operational target (axiomatize-llm-ops, the LLM session substrate) has begun: S-T2 (memory-index bijection, plus its reachability refinement), S-T3 (provenance authority / anti-poison — the value proof, ratifying the 3 §2d injection-channel [SEED] classifications), the § 10 git↔session decomposition bridge (/open → /close → S-T5 → S-T7 → /lift), and S-T4 (cross-repo ownership totality — the last ranked invariant) all proved over structurally-synthetic snapshots.

Diagrams pending
version leanprov
built 2h 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 2h 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 5h 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 2h ago
OK
Rendering
rendering

In-house render engine + brand source of truth. Headless-Chromium image engine (manifest-driven, supersampled, offline-deterministic); video engine scaffolded (manifest-driven ProRes cues over @qagents/remotion, operator-run). Inputs in rendering/, deliverables in data/renders/<consumer>/.

Render pipeline Design sources (JSX + manifest) flow through the engines to deliverables in data/renders/<consumer>/. Brand kit (self-hosted fonts; tokens at P2) feeds every harness. Acceptance: SSIM for raster, byte-stable golden for resolve-at-emit vector. designs/ brand/ image engine video engine data/renders/
version renderin
built 17 min 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 opus (top tier) checker opus · checks/.md planner opus · tasks/.md reporter opus · reports/.md verifier Haiku 4.5 · pending.json managing// committed .md
version 127afdc9
built 5h 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 5h 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 d42970be
built 2h 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. The axiomatize-trading program strip reads the committed universe rollup — encoded S&P 500 symbols tiered A/B/C and their share of the GICS universe.

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 18 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 financial/parquet/ analyzing ext TS (Node16) lightweight-charts v5 webview
version 127afdc9
built 5h 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 5h ago
OK