← All status

Explaining

Explaining

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

version outline-v1
source explaining/outline.md
built 2026-08-16T09:25:08.309Z
NOT YET LIVE

Stage 1–6 pipeline

Script (here) → Claude Design bundle → Remotion B-roll → HeyGen narration → DaVinci Resolve composition → S3 publish.

Stage 1–6 pipeline Script (here) → Claude Design bundle → Remotion B-roll → HeyGen narration → DaVinci Resolve composition → S3 publish. Script explaining Claude Design explaining HeyGen Remotion explaining DaVinci Resolve resolving S3 / CloudFront serving

5 × 10 video arc — progress

Pipeline-stage counts over the 50-subject arc, with per-topic filtering of the artifact-presence matrix below.

Scripted

19 / 50

Designed

19 / 50

Recorded

11 / 50

Rendered

10 / 50

Topics

IDSubjectProfileScriptDesignRecordRender
Topic 1 — Why theorem provers… instead of semantic searches
1.1The Hallucination Tax — Where LLMs Lose at High StakesP1✓✓✓✓
1.2What Semantic Search Actually Does — and What It Can'tP1, P5✓✓✓✓
1.3The Lean4 Kernel — a 10kloc Oracle for Proof CorrectnessP1✓✓✓✓
1.4Predicates — Where Judgment Lives Between LLM and KernelP1✓✓——
1.5Negative Verification — When the Kernel Says "Not Proven"P1, P2✓✓✓✓
1.6Axioms vs. Evidence — What We Don't Trust the LLM WithP1————
1.7Civil RICO, End to End — Predicate, Sub-Axioms, § 1962 ElementsP1, P2✓✓✓✓
1.8Title VI — Discriminatory Intent Has StructureP1, P2————
1.9Same Kernel, Different Axioms — Scaling to Financial ContractsP1, P3————
1.10The Cost — Latency, Surface Area, and Auditability as a FeatureP1, P5————
Topic 2 — Why narrative analysis… or Qnarre
2.1When a Docket and Its Record Disagree — Why I Built QnarreP2✓✓✓✓
2.2What a "Narrative" Is, Formally — Predicates Over Named EntitiesP1, P2✓✓——
2.3Three-Zone Qnarre — Input, Kernel, WitnessP2, P5✓✓✓✓
2.4Watching a Proof Elaborate Live — SSE Event StreamingP2, P5✓✓——
2.5From DOCX to Lean — How a Complaint Becomes a Claim ObjectP2————
2.6When the Appendix Is the Source of Truth — RAv:p Record CitationsP2————
2.7Pro Se on Appeal — Encoding the Procedural Traps as PredicatesP2————
2.8Counterfactual Narratives — What a Defense Story Has to DenyP1, P2————
2.9Stacking Predicates — Civil RICO and § 1983 Over One Fact FileP1, P2————
2.10What Qnarre Never Does — Write Your Brief for YouP2, P5————
Topic 3 — Why result evaluations… or Qresev
3.1Backtests Lie — the Survivorship and Look-Ahead ProblemP3✓✓✓✓
3.2Six Defined-Risk Strategies — and a Hard Refusal of the RestP3✓✓——
3.3Five Frameworks — TREND, MOMENTUM, OPTIONS-RISK, SECTOR, DRAWDOWNP3, P1✓✓——
3.4Why a Sector Cap Needs a Kernel, Not a SpreadsheetP3————
3.5One Bar Schema, Ten Consumers — the OHLCV Parquet HubP3, P4————
3.6Portfolio In, Verdict and Witness Out — Qresev LiveP3✓✓✓—
3.7Drawdown as a Theorem — the Conservative Mandate as a PropP3————
3.8Where the LLM Lives — Predicate Judgments Over Price ActionP1, P3————
3.9Three PMs Disagree, the Kernel Doesn't — Per-PM AxiomsP3————
3.10What Qresev Refuses — Naked Options, Leverage, Look-AheadP3————
Topic 4 — Why rigorous debates about… technical analysis
4.1The TA Bestiary — 117 Indicators, Mostly RedundantP4✓✓✓✓
4.2TA-Lib as Ground Truth — the MACD EMA-Realignment QuirkP4✓✓✓✓
4.3DuckDB and Parquet — Why Columnar Beats Row-Store for BarsP4, P5✓✓——
4.4Lightweight-Charts v5 — 10 Years of Bars at 60fpsP4————
4.5Aggregators — Small-Multiples, Heatmaps, Three.js SurfacesP4————
4.6Three PMs on One Feed — Where the Disagreements LiveP3, P4————
4.7Even the Chart Viewer Refuses Naked Legs — the Options FloorP3, P4————
4.8The Bar You Saw vs. the Bar You Traded On — Data SourcingP4————
4.9"Tech" Is Not a Sector — GICS as the Only ReferentP3, P4————
4.10What an Indicator Is, Formally — TA as Testable PredicatesP1, P4————
Topic 5 — About Quantapix… the two-teammate practice (one engineer + an AI assistant)
5.1Two People, One Repo — What "Jack and Janet" MeansP5✓✓——
5.2The qagents Monorepo — 20 Subprojects, One Venv, One WorkspaceP5✓✓——
5.3Claude Code as the Third Teammate — Agents You Can FireP5————
5.4CLAUDE.md — Instructions for the Colleague Who Never Reads TwiceP5————
5.5memsearch — Remembering What Was Said Last TuesdayP5————
5.6The 5×10 Plan — Made by Claude, for Claude to MakeP5————
5.7Two Products From One Kernel — Qnarre and QresevP1, P5————
5.8The Legal Arc — From Pro-Se Filings to a Verifier ProductP2, P5————
5.9The Financial Arc — From Analyzing TA to Evaluating PortfoliosP3, P5————
5.10What Quantapix Is Betting On — Kernels Under EverythingP1, P5————
19/50 scripted · 19/50 designed · 11/50 recorded · 10/50 rendered

Metrics

topicCount
5
subjectsPerTopic
10
totalScripts
50
scripted
19
designed
19
recorded
11
rendered
10