Compare commits

..

16 Commits

Author SHA1 Message Date
codex-bot 9686648360 记录 AI 公司研究的行业基准与适用边界 2026-11-05 00:21:16 +08:00
codex-bot c37c585a1e Clarify outcome pricing and undated recruitment ARR claims 2026-10-30 16:46:47 +08:00
codex-bot 74af205b29 Add Wabi company case with attributed founding and free-service limits 2026-10-30 16:40:38 +08:00
codex-bot 864a30356d Record bounded TechCrunch candidates and original-source checks 2026-10-30 16:35:52 +08:00
codex-bot 9a026a08a5 登记中文来源线索并补Agent与基础设施公司个案 2026-10-30 16:22:55 +08:00
codex-bot 62d3d498bb 复核EveryApp入表并保留原候选初筛审计 2026-10-30 16:09:43 +08:00
codex-bot 62c015fa9b 核对产品运营主体并补Lightfield转型对照 2026-10-30 16:00:13 +08:00
codex-bot 744e3314b8 核对七项候选年份并隔离第三方财务字段异常 2026-10-30 15:44:50 +08:00
codex-bot 79a6a8dbd7 补2025产品候选并核对成立年与Trace主体 2026-10-30 15:21:28 +08:00
codex-bot dca7c81889 登记Product Hunt候选并补充Kilo公司个案 2026-10-30 15:11:59 +08:00
codex-bot f27b82b6a5 登记AI研究来源边界并列明覆盖缺项 2026-10-30 14:24:12 +08:00
Zayden-Jung 25c5e83d08 Merge pull request '新增 Smalltalk-80 现代化研究导读与源码研究入口' (#13) from codex/smalltalk-guide into main
Verify and deploy Tabularium / verify-and-deploy (push) Successful in 6m56s
Reviewed-on: #13
2026-10-30 06:19:43 +00:00
codex-bot 798c6d17d0 docs: add modern Smalltalk-80 study guide 2026-10-30 14:17:39 +08:00
Zayden-Jung c2ea0900e6 Merge pull request '补充AI公司收入、合同与业务规模口径核查' (#12) from codex/ai-research-revenue-scope into main
Verify and deploy Tabularium / verify-and-deploy (push) Successful in 6m30s
Reviewed-on: #12
2026-10-30 06:04:36 +00:00
codex-bot 1cc2c9f97f 补充6家AI公司合同与交易支出口径核查 2026-10-30 13:53:00 +08:00
Zayden-Jung 62bba8d320 Merge pull request '新增AI公司收入分布、证据核查与研究报告' (#11) from codex/ai-research-income into main
Verify and deploy Tabularium / verify-and-deploy (push) Successful in 7m48s
Reviewed-on: #11
2026-10-30 05:48:56 +00:00
24 changed files with 4625 additions and 142 deletions
+14 -6
View File
@@ -98,12 +98,19 @@ AUTH_CONFIG_FILE=/private/tmp/tabularium-auth/config.json AUTH_COOKIE_SECURE=fal
同一版本内容变化会拒绝导入,避免静默读取旧数据。回退代码时继续读取对应旧版本。
所有修改都经过工作分支和 PR,部署仍等待人工合并主线。
当前资料包含 1,015 条公司/产品记录、10 类业务及待分类组、1,086 条证据记录和 170 条经营与技术观测。
其中保留 80 家个案资料、919 条目录基础资料,并新增 16 个平台产品/业务样本;目录项不等于完成财务和技术核验。
当前资料包含 1,021 条公司/产品记录、10 类业务及待分类组、1,209 条证据记录和 189 条经营与技术观测。
其中保留 93 家个案资料、912 条目录基础资料,并新增 16 个平台产品/业务样本;目录项不等于完成财务和技术核验。
Product Hunt两年档案各首批19张、合计38张发布/推广卡片以`candidateBatches`保存;公司成立年待核者不自动新增公司。其中18条仍待核成立年;排除依据区分正式成立字段与2025前已运营证据,精确注册日期未核者明确标注。候选元数据与其他研究记录同库持久化,覆盖报告逐条展示状态、缺项和公司关联。Kilo Code与KiloClaw两项映射一个已被收购的2025公司个案,采用规模、token吞吐及同名健康公司的收入不作为其ARR。
机器之心首批4条公司线索以独立候选批次记录:直达正文未读,经公司公开主页、官方代码或发起方公告补核PrismShadow与Stargate;SSI用2024官方历史更新排除,Utopai仍待核。不是两年中文来源全量。
TechCrunch栏目首批3条公司候选已追溯原始材料;Wabi据两个公开名录2025年份入表,精确注册日未核。官方条款称当前免费,收入仍未知,不填零。DreamHQ及Thrive Holdings成立年仍待核,后者2025公开发布公告另存。DreamHQ与名录同名摄像头公司区分,ADT拟收购尚待交割,融资、估值和目标公司业绩不当新AI公司的ARR。分类接口与RSS访问403及两年档案缺项保留。
Eloquent补按结果/用量混合收费与工作流自述;Peec补品牌套餐、招聘中的ARR里程碑和团队下界。招聘发布日期不当业务截止日,报价与客户降本不当供应商收入。Gojiberry报价保留原文$,未见币种代码不强转美元。平台MRR样本与统计不变。
Bessemer、Menlo、Stripe年度信与SaaS Capital的已核方法和访问限制另存为背景基准适用性表;不将高增长选样、采购支出、平台商户或增长率摘要当新AI公司ARR分布。SaaS Capital完整报告及各来源底表未取得者继续留缺。
补充ThinkWheel与中国NaiveAI;MiroMind成立年未核,公开研发年份单列。保留灵初智能成立年排除、深度原理日期待核和Naive近名实体复核记录。
新增7条Speedrun个案,保留标题/正文冲突、七位数数量级、币种不明、合同管线与履历归属排除记录;相对日期不充当同期收入时点。核查页优先按人工确认的公司ID关联明细,旧版本保留按证据归属回退;48条核查中37条指向具体公司、3条属于全局方法、8条是未纳入候选。明细反向列出关联核查;币种不明的声明保留原值,不绘制美元收入长度条。
新增7条Speedrun个案,保留标题/正文冲突、七位数数量级、币种不明、合同管线与履历归属排除记录;相对日期不充当同期收入时点。核查页优先按人工确认的公司ID关联明细,旧版本保留按证据归属回退;74条核查中54条指向具体公司、8条属于全局方法、12条是未纳入候选。明细反向列出关联核查;币种不明的声明保留原值,不绘制美元收入长度条。
Lightfield按Magical Tome主体与2025前历史业务列为CRM转型对照,成立年未知,不计新成立公司;Fundraisly成立年待核,其客户融资和创始人历史ARR不转移为公司收入。
Bud保留为2025成立且YC标记已收购的案例;Rocket.new按前身2021成立、2025产品上线的转型对照记录,历史ARR不混入新成立公司同期统计。
它是定向试样,收入披露不足且统计时点不统一,不代表全部 AI 公司。
原候选36088 EveryApp从AI不明经补证入表,`directoryRechecks`保存后续复核,原1,428条台账及928条原始新增计数不改。OpenSEO与EveryApp不重复计公司;定价、星标、客户数和数据成本加价均不转为ARR。
验收按2026-10-30确认的公开来源清单边界逐条核对并标明缺项;YC候选池有完整读取台账,其他来源目前为定向补充,不能把来源出现次数当作覆盖完成。收入披露不足且统计时点不统一,不代表全部 AI 公司。
界面将公司自述、第三方估算、融资、客户收入和履历收入分开,未知收入不记为零。
保留被撤回的声明作为核查记录,并排除收入比较;并购后业务、管理层预测与历史里程碑单列。
团队规模下界在列表中显示比较符,商业成熟度展示公开交付证据,不等于技术能力排名。
@@ -131,19 +138,20 @@ MRR×12仅作为显示单位转换,不改写为公司ARR;公司ARR、估算
逐条读取对应 YC 官方公开页面,以页面中的成立年份、团队字段和业务描述筛选。
962 条初筛匹配,其中 34 条与原表 URL 重合,实际新增 928 条;268 条年份不符或缺失、
192 条 AI 业务待确认、6 条成立年份晚于批次年份未纳入本批新增。
`content/research/ai-companies.sources.json` 保留最初12项来源与后续补充渠道、用途、覆盖边界及下一步;覆盖报告逐渠道复算证据、公司及观测数量。背景报告、入口可读和候选池逐条读取分别标记,零计数不表示没有公司。
`content/research/ai-companies.coverage.json` 保留逐条筛选结果、来源与响应摘要,
数据快照中的 `coverage` 也随版本进入同一 SQLite 数据库。只覆盖该候选池,不能称全球全量。
新增业务分类优先匹配主营简介,再参考目录标签;未匹配者进入待分类组。
初分规则位于 `scripts/classify-ai-profiles.py`,只生成待评审标签,不执行抓取或构建。
目录基础项保留 `classificationBasis` 和 `directoryTags` 供复核。
当前目录基础项中160条已人工复核主营与买家,Contrario及8条收入声明/排除案例已深化为个案。`directoryOrigin`保留原发现来源,`profileOnly`只表示当前资料深度;深化不改变原候选池新增928条的审计分母。
当前目录基础项中160条已人工复核主营与买家,Contrario及14条收入声明/排除案例已深化为个案。`directoryOrigin`保留原发现来源,`profileOnly`只表示当前资料深度;深化不改变原候选池新增928条的审计分母。
分类按主要工作任务和买家判断,例如Paragon归客户与收入运营,Oki归消费者应用,Lucidic归Agent设施。市场支出、采用规模、性能主张及客户收益均不作为公司收入。
其中121条原待分类记录已按YC官方业务介绍人工复核主营业务,分类理由保存在公司字段与对应证据摘要中;
仍有3条因简介不足保留待分类。人工复核分类不代表独立验证技术水平、客户效果或财务数据。
AI 关键词可能出现在业务背景中,收入、买家和交付状态仍须逐家深查,不能把目录项的未知收入当作未披露。
技术专项评审用独立字段记录层级、日期、摘要与证据:未评审、已读技术自述、公开代码/模型材料可访问、有第三方独立评测记录。
当前6条完成该字段的专项记录,其中2条确认材料可访问、1条记录第三方已发表评测(Gradium TTS Sep 2026);本轮未自行运行模型测试。缺字段不表示无技术能力,代码或模型卡可读不证明性能。
当前14条完成该字段的专项记录,其中6条确认材料可访问、1条记录第三方已发表评测(Gradium TTS Sep 2026);本轮未自行运行模型测试。缺字段不表示无技术能力,代码或模型卡可读不证明性能。
界面支持按资料深度、记录团队规模和技术验证证据筛选;证据列表每页 30 条,避免一次渲染全部来源。
`pnpm test:research` 在远程 Runner 上验证同库持久化、重复读取、版本导入与回退、
+3 -3
View File
@@ -185,10 +185,10 @@ async function main() {
assert.equal(researchResponse.status, 200, "authenticated research API");
assert.ok(researchResponse.headers.get("cache-control")?.includes("no-store"));
const research = await researchResponse.json();
assert.equal(research.companies.length, 1015);
assert.equal(research.companies.length, 1021);
assert.equal(research.categories.length, 11);
assert.equal(research.evidence.length, 1086);
assert.equal(research.observations.length, 170);
assert.equal(research.evidence.length, 1209);
assert.equal(research.observations.length, 189);
assert.equal((await request("/api/research/ai-companies", { method: "POST", headers })).status, 405);
const researchPage = await request("/docs/other-research/ai-company-research/overview", { headers });
assert.equal(researchPage.status, 200);
+47 -1
View File
@@ -43,11 +43,24 @@ export type ResearchCoverage = {
otherOrMissingYear: number; unclearAI: number; dateConflicts: number; failedProfiles: number;
discoverySha256: string;
};
export type ResearchCandidateBatch = {
id: string; sourceId: string; url: string; accessedAt: string; scope: string; complete: boolean;
records: {
id: string; name: string; url: string | null; categoryId: string;
kind: "product" | "company" | "promotion"; profileStatus: "readable" | "unavailable" | "archive-only";
status: "pending-year" | "linked" | "existing-outside-cohort" | "outside-cohort" | "promotion";
companyId?: string; evidenceIds?: string[]; note: string;
}[];
};
export type ResearchSnapshot = {
version: string; asOf: string; scope: string; limitations: string[];
categories: ResearchCategory[]; companies: ResearchCompany[];
observations: ResearchObservation[]; evidence: ResearchEvidence[];
reviews: ResearchReview[]; coverage?: ResearchCoverage;
reviews: ResearchReview[]; coverage?: ResearchCoverage; candidateBatches?: ResearchCandidateBatch[];
directoryRechecks?: {
ycId: number; originalStatus: "ai-unclear" | "year-outside-or-missing" | "date-conflict";
companyId: string; reviewedAt: string; evidenceIds: string[]; reason: string;
}[];
};
export function evidenceUrl(value: string): string | undefined {
@@ -98,7 +111,40 @@ export function validateResearch(snapshot: ResearchSnapshot) {
!Number.isFinite(o.value))
throw new Error(`Invalid research observation: ${o.id}`);
}
unique((snapshot.candidateBatches ?? []).map((b) => b.id), "candidate batches");
unique((snapshot.candidateBatches ?? []).flatMap((b) => b.records.map((r) => r.id)), "candidates");
for (const batch of snapshot.candidateBatches ?? []) {
if (!/^S\d{2}$/.test(batch.sourceId) || !evidenceUrl(batch.url) || !batch.scope.trim() ||
typeof batch.complete !== "boolean" || !/^\d{4}-\d{2}-\d{2}$/.test(batch.accessedAt) ||
Number.isNaN(Date.parse(batch.accessedAt)) ||
new Date(batch.accessedAt).toISOString().slice(0, 10) !== batch.accessedAt ||
batch.accessedAt > snapshot.asOf)
throw new Error(`Invalid research candidate batch: ${batch.id}`);
for (const row of batch.records) {
const linked = ["linked", "existing-outside-cohort"].includes(row.status);
if (!row.name.trim() || !row.note.trim() || !categories.has(row.categoryId) ||
!["product", "company", "promotion"].includes(row.kind) ||
!["readable", "unavailable", "archive-only"].includes(row.profileStatus) ||
!["pending-year", "linked", "existing-outside-cohort", "outside-cohort", "promotion"].includes(row.status) ||
(row.kind !== "promotion" && (!row.url || !evidenceUrl(row.url))) ||
(row.url !== null && !evidenceUrl(row.url)) ||
linked !== !!row.companyId || (row.companyId && !companies.has(row.companyId)) ||
(row.kind === "promotion") !== (row.status === "promotion") ||
(row.evidenceIds ?? []).some((id) => !evidence.has(id)) ||
(row.status === "outside-cohort" && !row.evidenceIds?.length))
throw new Error(`Invalid research candidate: ${row.id}`);
}
}
const coverage = snapshot.coverage;
unique((snapshot.directoryRechecks ?? []).map((row) => String(row.ycId)), "directory rechecks");
for (const row of snapshot.directoryRechecks ?? []) {
if (!Number.isSafeInteger(row.ycId) || row.ycId <= 0 || !companies.has(row.companyId) ||
!["ai-unclear", "year-outside-or-missing", "date-conflict"].includes(row.originalStatus) ||
!/^\d{4}-\d{2}-\d{2}$/.test(row.reviewedAt) || Number.isNaN(Date.parse(row.reviewedAt)) ||
new Date(row.reviewedAt).toISOString().slice(0, 10) !== row.reviewedAt || row.reviewedAt > snapshot.asOf ||
!row.reason.trim() || !row.evidenceIds.length || row.evidenceIds.some((id) => !evidence.has(id)))
throw new Error(`Invalid directory recheck: ${row.ycId}`);
}
if (coverage && (coverage.profilesRead + coverage.failedProfiles !== coverage.candidateRecords ||
coverage.matchingProfiles !== coverage.existingProfiles + coverage.newProfiles ||
coverage.matchingProfiles + coverage.otherOrMissingYear + coverage.unclearAI + coverage.dateConflicts !== coverage.profilesRead ||
+98 -11
View File
@@ -23,9 +23,11 @@ test("research revisions share the authentication database and preserve replay l
for (let i = 0; i < 20; i++) consumeCode(config, "invalid");
assert.equal(consumeCode(config, "invalid"), "limited");
const initial = readResearchSnapshot();
assert.equal(initial.companies.length, 1015);
assert.equal(initial.evidence.length, 1086);
assert.equal(initial.observations.length, 170);
assert.equal(initial.companies.length, 1021);
assert.equal(initial.evidence.length, 1209);
assert.equal(initial.observations.length, 189);
assert.deepEqual(initial.candidateBatches, seed.candidateBatches, "candidate gaps persist in the same database metadata");
assert.deepEqual(initial.directoryRechecks, seed.directoryRechecks, "follow-up classifications persist without rewriting the discovery audit");
assert.deepEqual(readResearchSnapshot(), initial, "reopening does not duplicate records");
const db = openSiteDatabase();
const tables = db.prepare("SELECT name FROM sqlite_master WHERE type='table'").all() as { name: string }[];
@@ -62,9 +64,9 @@ test("research validation rejects broken evidence and unsafe source links", () =
test("reviews link explicit companies without turning global or excluded cases into companies", () => {
const snapshot = structuredClone(seed) as ResearchSnapshot;
assert.equal(snapshot.reviews.filter((r) => r.scope === "companies").length, 37);
assert.equal(snapshot.reviews.filter((r) => r.scope === "dataset").length, 3);
assert.equal(snapshot.reviews.filter((r) => r.scope === "excluded-candidate").length, 8);
assert.equal(snapshot.reviews.filter((r) => r.scope === "companies").length, 54);
assert.equal(snapshot.reviews.filter((r) => r.scope === "dataset").length, 8);
assert.equal(snapshot.reviews.filter((r) => r.scope === "excluded-candidate").length, 12);
const review = snapshot.reviews.find((r) => r.id === "R4")!;
assert.deepEqual(reviewCompanyIds(snapshot, review), ["AI007", "AI013", "AI021", "AI034"]);
assert.deepEqual(reviewCompanyIds(snapshot, snapshot.reviews.find((r) => r.id === "CN-R-PSI")!), []);
@@ -83,11 +85,11 @@ test("reviews link explicit companies without turning global or excluded cases i
test("disclosure counts exclude client income, biographies, targets and duplicate milestones", () => {
const snapshot = seed as ResearchSnapshot;
const summary = categorySummary(snapshot);
assert.equal(summary.reduce((n, c) => n + c.count, 0), 1015);
assert.equal(summary.reduce((n, c) => n + c.self, 0), 24);
assert.equal(summary.reduce((n, c) => n + c.count, 0), 1021);
assert.equal(summary.reduce((n, c) => n + c.self, 0), 26);
assert.equal(summary.reduce((n, c) => n + c.estimate, 0), 1);
assert.equal(summary.reduce((n, c) => n + c.platform, 0), 16);
assert.equal(summary.reduce((n, c) => n + c.unknown, 0), 974);
assert.equal(summary.reduce((n, c) => n + c.unknown, 0), 978);
assert.equal(snapshot.companies.find((c) => c.name === "Rork")?.revenueStatus, "unknown");
assert.equal(snapshot.companies.find((c) => c.name === "Result")?.revenueStatus, "unknown");
assert.ok(snapshot.observations.filter((o) => o.selection === "signal").every((o) => o.scope === "公司整体"));
@@ -95,8 +97,8 @@ test("disclosure counts exclude client income, biographies, targets and duplicat
test("technical reviews keep accessible materials separate from tested capabilities", () => {
const snapshot = structuredClone(seed) as ResearchSnapshot;
assert.equal(snapshot.companies.filter((c) => c.technicalReview).length, 6);
assert.equal(snapshot.companies.filter((c) => c.technicalReview?.level === "public-artifact").length, 2);
assert.equal(snapshot.companies.filter((c) => c.technicalReview).length, 14);
assert.equal(snapshot.companies.filter((c) => c.technicalReview?.level === "public-artifact").length, 6);
assert.equal(snapshot.companies.filter((c) => c.technicalReview?.level === "independent-test").length, 1);
assert.equal(snapshot.companies.find((c) => c.id === "AI051")?.revenueStatus, "unknown");
assert.match(snapshot.companies.find((c) => c.id === "AI051")!.technicalReview!.testScope!, /Sep 2026/);
@@ -255,3 +257,88 @@ test("distribution statistics match independently calculated snapshot references
}
}
});
test("product launch candidates preserve unresolved years and many launches per company", () => {
const snapshot = structuredClone(seed) as ResearchSnapshot;
const batch = snapshot.candidateBatches![0];
assert.equal(batch.complete, false);
assert.equal(batch.records.length, 19);
const kilo = batch.records.filter((r) => r.companyId === "AI072");
assert.equal(kilo.length, 2, "IDE and hosted products resolve to one company");
assert.equal(snapshot.companies.filter((c) => c.id === "AI072").length, 1);
assert.ok(batch.records.some((r) => r.status === "pending-year" && !r.companyId));
assert.ok(batch.records.some((r) => r.status === "existing-outside-cohort" && r.companyId === "AI054"));
kilo[0].companyId = "missing-company";
assert.throws(() => validateResearch(snapshot), /research candidate/);
});
test("annual launch archives exclude older companies only with evidence and reuse existing records", () => {
const snapshot = structuredClone(seed) as ResearchSnapshot;
const batch = snapshot.candidateBatches!.find((b) => b.id === "PH-2025-visible-1")!;
assert.equal(batch.complete, false);
assert.equal(batch.records.length, 19);
const older = batch.records.filter((r) => r.status === "outside-cohort");
assert.equal(older.length, 7);
assert.ok(older.every((r) => !r.companyId && r.evidenceIds?.length));
assert.equal(batch.records.find((r) => r.name === "Trace")?.companyId, "YC30687");
const trace = snapshot.companies.find((c) => c.id === "YC30687")!;
assert.equal(trace.profileOnly, false);
assert.equal(trace.directoryOrigin, "yc-2025-2026");
assert.equal(trace.revenueStatus, "unknown");
assert.ok(!snapshot.observations.some((o) => o.evidence === "TRACE-HOME"), "demo metrics must not become reported results");
older[0].evidenceIds = [];
assert.throws(() => validateResearch(snapshot), /research candidate/);
older[0].evidenceIds = ["missing-proof"];
assert.throws(() => validateResearch(snapshot), /research candidate/);
});
test("unreconciled directory financials remain source reviews instead of income observations", () => {
const snapshot = seed as ResearchSnapshot;
const review = snapshot.reviews.find((r) => r.id === "PH-R-SOURCE-QUALITY")!;
assert.equal(review.scope, "dataset");
assert.ok(review.evidenceIds.includes("PH-TANA-DR"));
assert.equal(reviewCompanyIds(snapshot, review).length, 0);
assert.ok(!snapshot.observations.some((o) => o.evidence === "PH-TANA-DR"));
assert.equal(snapshot.candidateBatches!.flatMap((b) => b.records).filter((r) => r.status === "pending-year").length, 21);
});
test("product pivots and founder histories do not become new company years or current revenue", () => {
const snapshot = seed as ResearchSnapshot;
const pivot = snapshot.companies.find((c) => c.id === "AI073")!;
assert.equal(pivot.year, null, "CRM launch is not a verified company founding year");
assert.equal(pivot.revenueStatus, "unknown");
const candidate = snapshot.candidateBatches!.flatMap((b) => b.records).find((r) => r.id === "PH26-11")!;
assert.equal(candidate.status, "existing-outside-cohort");
assert.equal(candidate.companyId, pivot.id);
assert.ok(!platformIncomeSample(snapshot, { windowDays: null }).points.some((point) => point.company.id === pivot.id));
assert.ok(!snapshot.observations.some((o) => ["PH-FUNDRAISLY-ABOUT", "LF-PIVOT", "LF-HISTORY"].includes(o.evidence)), "other ventures' ARR, users and funding must not transfer");
});
test("follow-up evidence can admit an uncertain directory candidate without rewriting its original status", () => {
const snapshot = structuredClone(seed) as ResearchSnapshot;
const followup = snapshot.directoryRechecks!.find((row) => row.ycId === 36088)!;
const original = coverageAudit.records.find((row) => row.ycId === followup.ycId)!;
assert.equal(original.status, "ai-unclear");
assert.equal(followup.originalStatus, original.status);
assert.equal(snapshot.companies.find((c) => c.id === followup.companyId)?.year, 2026);
assert.equal(snapshot.candidateBatches!.flatMap((b) => b.records).find((r) => r.name === "OpenSEO")?.companyId, followup.companyId);
assert.ok(!snapshot.observations.some((o) => ["SEO-PRICE", "UP-YC", "PAZI-PRICE"].includes(o.evidence)), "pricing, other ventures' ARR and prepaid balances stay outside income observations");
followup.companyId = "missing-company";
assert.throws(() => validateResearch(snapshot), /directory recheck/);
});
test("Chinese discovery entries preserve unread articles and use separate primary evidence", () => {
const snapshot = structuredClone(seed) as ResearchSnapshot;
const batch = snapshot.candidateBatches!.find((b) => b.id === "JQ-2026-targeted-1")!;
assert.equal(batch.complete, false);
assert.equal(batch.records.length, 4);
assert.ok(batch.records.every((row) => row.kind === "company" && row.profileStatus === "unavailable"));
assert.equal(batch.records.filter((row) => row.status === "linked").length, 2);
assert.equal(batch.records.find((row) => row.name === "Utopai")?.status, "pending-year");
assert.ok(!snapshot.observations.some((o) => ["PS-CODE", "SG-START", "SG-APR", "SSI-HISTORY"].includes(o.evidence)), "task costs, investment, capacity and financing are not revenue");
const prism = snapshot.companies.find((c) => c.id === "AI075")!;
assert.equal(prism.team, null, "a team range or linked employees must not become exact headcount");
batch.records[0].url = null;
assert.throws(() => validateResearch(snapshot), /research candidate/);
});
+77
View File
@@ -1,5 +1,10 @@
{
"collections": [
{
"path": "smalltalk",
"title": "Smalltalk-80 研究导读",
"description": "从消息、类与集合到图形、开发工具和经典 MVC。"
},
{
"path": "pretext",
"title": "Pretext 源码教程",
@@ -233,6 +238,78 @@
"description": "核对候选池、来源偏差、分类与验证完成度,区分全量读取和定向补充。",
"slug": "other-research/ai-company-research/coverage",
"category": "其他研究"
},
"smalltalk/00-overview": {
"slug": "source-studies/smalltalk/overview",
"category": "源码研究",
"group": "阅读地图",
"description": "Smalltalk-80:从消息到交互系统;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/01-messages": {
"slug": "source-studies/smalltalk/messages",
"category": "源码研究",
"group": "语言核心",
"description": "消息与对象:理解执行模型;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/02-syntax-and-blocks": {
"slug": "source-studies/smalltalk/syntax-and-blocks",
"category": "源码研究",
"group": "语言核心",
"description": "语法与块:读懂一段 Smalltalk;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/03-classes-and-methods": {
"slug": "source-studies/smalltalk/classes-and-methods",
"category": "源码研究",
"group": "语言核心",
"description": "类、方法与元类:行为放在哪里;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/04-object-protocol": {
"slug": "source-studies/smalltalk/object-protocol",
"category": "源码研究",
"group": "对象模型",
"description": "对象协议:身份、复制与依赖;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/05-reflection": {
"slug": "source-studies/smalltalk/reflection",
"category": "源码研究",
"group": "对象模型",
"description": "类的架构与反射:系统怎样描述自己;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/06-collections-and-streams": {
"slug": "source-studies/smalltalk/collections-and-streams",
"category": "源码研究",
"group": "类库与执行",
"description": "基础类库:数值、集合与流;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/07-processes": {
"slug": "source-studies/smalltalk/processes",
"category": "源码研究",
"group": "类库与执行",
"description": "进程与同步:协作执行的对象;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/08-graphics": {
"slug": "source-studies/smalltalk/graphics",
"category": "源码研究",
"group": "交互系统",
"description": "图形系统:坐标、位图与绘制;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/09-live-environment": {
"slug": "source-studies/smalltalk/live-environment",
"category": "源码研究",
"group": "交互系统",
"description": "开发环境:浏览、检查与调试;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/10-mvc": {
"slug": "source-studies/smalltalk/mvc",
"category": "源码研究",
"group": "交互系统",
"description": "MVC 与曲线案例:连接数据和界面;依据原书章节整理,区分历史机制与补充说明。"
},
"smalltalk/11-reference": {
"slug": "source-studies/smalltalk/reference",
"category": "源码研究",
"group": "阅读地图",
"description": "术语、练习与原书对照;依据原书章节整理,区分历史机制与补充说明。"
}
}
}
@@ -8,6 +8,8 @@
[资料覆盖与缺项](/docs/other-research/ai-company-research/coverage)区分候选池读取、定向样本、人工复核及尚未核验的字段。
行业报告只作为假设依据:[背景基准适用性与缺项](/docs/other-research/ai-company-research/coverage)分别列明选样、调查对象、时间、指标与未取得的底表。企业采购支出、增长率和支付商户分组不替代公司ARR。
## 商业模式初评:截至 2026-10-30
以下为研究假设,用于设计付费试验,尚不足以给行业排收益名次。规模、交付证据和收入来源必须一起看;目录条目数量不是市场需求,平台样本也存在自愿公开与幸存者偏差。
@@ -19,6 +21,15 @@
| 创意软件与制作服务 | Speel.co、Laper、GetEbook AI、White Glove Content | 软件订阅和交付服务必须分组 | 合格交付的计算与人工成本、返工率、重复购买 | 项目收入占比、人工工时、产能 |
| 小企业综合Agent | Runable(AI059) | 公司披露历史ARR里程碑;[官方公告](https://runable.com/blogs/runable-grow) | 限定一个任务,测完整成功率、收费与执行成本 | 当前付费客户、续费、推理成本、人工接管 |
| 行业专业Agent与服务 | LunaBill、Plena Health、Bizmark | 有合同ARR、数量级或ARR自述,日历截止日和交付拆分不完整 | 采购周期、上线工时、失败处理与验收标准 | 合同、经常性与实施费拆分、使用深度 |
| 复杂任务按结果、简单任务按用量 | [Eloquent AI](/docs/other-research/ai-company-research/overview?company=AI015#research-company-detail) | 官方描述混合收费;旧ARR缺截止日和经常性定义 | 成功验收标准、失败与重试成本、人工接管及单位成功任务毛利 | 单价、最低承诺、结果争议和现金回款;客户降本不作供应商收入 |
| AI搜索可见度与行动平台 | [Peec AI](/docs/other-research/ai-company-research/overview?company=AI055#research-company-detail) | 品牌套餐按提示词、模型、项目和Agent额度;席位不限 | 监测成本、Agent额度消耗、品牌续费和代理客户的真实付费归属 | 招聘ARR里程碑缺业务时点/币种;采用品牌数不作ARPA分母,报价不作实际收入 |
| AI辅助工程与研究服务 | Marengo、Harbor | 有首月收入、待交付或多年服务合同;不直接当ARR | 已验收项目毛利、专业人员工时、返工和责任成本 | 合同收入确认、软件/服务拆分、应收账款和交付集中度 |
| 开源编程工具与企业治理 | [Kilo Code](/docs/other-research/ai-company-research/overview?company=AI072#research-company-detail) | 官方定价区分席位、推理、充值处理费和云算力;已被收购,收入未知 | 企业付费转换、平台净收入、推理转付与补贴、支持成本 | 付费客户、留存、收入确认及并表边界;不能从token吞吐推ARR |
| 开源工具、Agent网关与数据服务 | [EveryApp / OpenSEO](/docs/other-research/ai-company-research/overview?company=AI074#research-company-detail) | 官方代码可读;OpenSEO有订阅额度及数据成本加价,EveryApp托管收费仍为计划 | 自托管到付费转化、数据转付与净收入、实际用量、支持成本及供应商依赖 | 真实付费和续费、收入确认、加价与毛利的差异;28%成本加价不等于公司毛利率 |
| Agent构建与优化框架 | [PrismShadow](/docs/other-research/ai-company-research/overview?company=AI075#research-company-detail) | PenguinHarness源码及许可证可读,企业收费与收入未知 | 企业持续使用、任务成功率、评估维护及实施支持成本 | 独立复测、付费合同与留存;厂商任务成本不等于收费、毛利或收入 |
| 算力基础设施合资 | [Stargate](/docs/other-research/ai-company-research/overview?company=AI076#research-company-detail) | 发起方公告与分期设施进度;投资计划和容量不是收入 | 资本到位、投运进度、利用率、能源成本及长期合同回款 | 注册与并表边界、合同收入确认、实际负载、折旧与资本成本;不套轻资产软件ARR比较 |
| 消费者共享助手与个人软件 | [Wabi](/docs/other-research/ai-company-research/overview?company=AI077#research-company-detail) | 官方条款称当前免费;2025成立据公开名录,精确注册未核 | 群组协作留存、任务完成率、每活跃群组推理成本与付费转换 | 未来订阅条款不代表已有收入;融资和创始人此前Replika业绩不归本公司 |
| 企业CRM与组织上下文 | [Lightfield转型对照](/docs/other-research/ai-company-research/overview?company=AI073#research-company-detail) | 有席位及工作区套餐,部分含实施、专人支持;2025是产品上线,既有公司历史单列 | 数据接入成本、记录与行动准确率、销售团队留存、实施和人工支持毛利 | 付费采用、用量额度、续费及真实ARPA;不把Tome历史用户当CRM客户 |
| 模型、算力与机器人 | Wafer、Induction Labs、Congruent | 可确定产品方向;团队小或融资多不证明单位经济 | 客户真实负载、性能成本、交付与售后成本 | 同口径收入、资本开支、独立性能测试 |
**对我们商业试验的推论:** 先选择能接触真实买家、结果可验收、成本可计量的工作流,比较软件订阅与服务交付的实际毛利,再评估是否扩成综合Agent。当前证据不足以断定某类必然更赚钱;平台数据更适合帮助选择访谈与试验对象。
@@ -35,8 +46,18 @@
| ARR与近30日收款差距大 | 查年付、季付、退款、试用、币种及平台计算方法 | 不同指标不应机械相等 |
| 用户很多,付费数缺失 | 取得付费客户、套餐与账期数据,再核ARPA | 不能用注册人数直接反推真实性 |
| 公司、投资方与媒体重复一个数字 | 追到首发声明及独立底账 | 多篇转述不等于独立证据 |
| 品牌改名、业务转型或主体名不同 | 对照服务条款、历史公告、合同主体和原始日期 | 产品上线不是公司成立,历史用户与其他业务收入不自动继承 |
| 第三方目录的概览、收入、利润和利润率不能互相核对 | 查原始凭证、字段映射、单位、时期与业务范围 | 先记录来源质量问题,不直接归因为公司造假 |
| 声明撤回、口径变更或含并购业务 | 保留历史版本,拆分边界并核对更正原因 | 单个异常无法生成可靠造假概率 |
2026-10-30读取的[Tana第三方目录](https://dealroom.co/companies/tana/)是一个来源核查实例:可读文本响应的概览与财务表口径不同,若按“利润÷收入”理解,其列值不能与利润率互相核对。尚未取得原始财报,也未确认是否涉及页面占位、文本采集、字段、单位或时期差异,因此这些数字未进入收入观测或图表。该业务本身也早于2025年,保留在候选排除台账;来源异常不能作为公司的造假结论。
[Fundraisly创始人介绍](https://fundraisly.com/about-us)还展示了履历与客户融资的归属问题:此前Gett业务的ARR、创始人融资经历以及客户筹资,均不等于Fundraisly收入。[现行条款](https://fundraisly.com/terms-of-service)列运营者为Accumulator Fundraising LLC,并提到月订阅和按通话收费;条款生效日不当成立日,固定或经常性费用也需查实际合同、交付与续费,才能讨论可比ARR。该项目目前仍在成立年待核候选中。
[Pazi官方目录](https://www.ycombinator.com/companies/pazi)中的Founded 2026、Winter 2024和2023 Pythagora历史叙述尚未对齐;[条款](https://pazi.ai/terms)仍列Pythagora Technologies Incorporated运营。其定价页所称业务funding与余额可用于任务及广告,不能直接当软件ARR。项目保持年份待核,避免以一个成立字段覆盖主体和产品历史。
中文报道的发现与验证也分开处理:机器之心首批四条直达记录均未读到正文,不能把检索摘录当已读全文。PrismShadow的成立和代码材料、Stargate的公司公告另由原始来源补证;SSI以2024官方历史更新排除,Utopai继续待核。具体访问状态与证据见[覆盖台账](/docs/other-research/ai-company-research/coverage)。
### 从原文到可比较收入:新增核查实例
以下均为2026-10-30读取的公司自述,读取日不代表收入业务截止日。点击公司可查看分项观测、核查和原始来源。原文仅有美元符号时保留币种待核;未给币种的数字不补成美元。
@@ -51,6 +72,12 @@
| [Brickwise](/docs/other-research/ai-company-research/overview?company=YC30847#research-company-detail) | 销售管线中有超过100万cARR的企业合同,原文$ | 不确认成已签或已实现ARR;融资及前公司业绩排除 | 大合同集中度和签约到上线的转化需要单独核查 |
| [Radley](/docs/other-research/ai-company-research/overview?company=YC33020#research-company-detail) | 收购诊所带来460万年化收入,另有220万合同,原文$ | 收购、交割与并表边界未核,不当纯软件ARR,不把两项相加 | 医疗服务收入需结合医生工时、收购成本与经营毛利,不能直接与SaaS比较 |
| [Misprint](/docs/other-research/ai-company-research/overview?company=YC30302#research-company-detail) | 创始人此前卖卡50万ARR,原文$ | 发布帖明确早于平台构想,排除平台收入 | 卡牌销售额、交易额、平台佣金与软件订阅是不同口径 |
| [Harbor](/docs/other-research/ai-company-research/overview?company=YC31445#research-company-detail) | 未来十二个月18.7万软件合同、月软件收入1.56万、三年193万CRO合同,原文$ | 软件与服务分开,重叠声明不相加;多年合同不均摊为ARR | 从软件扩至服务后,需核项目履约、人员成本和回款周期 |
| [Marengo](/docs/other-research/ai-company-research/overview?company=YC32981#research-company-detail) | 首月7万收入、400万待交付合同,原文$ | 单月收入不自动年化,待交付合同不当确认收入 | 数据中心设计是专业工程服务,需核工程师审核、返工与验收成本 |
| [Tsenta](/docs/other-research/ai-company-research/overview?company=YC31259#research-company-detail) | 三个月达到约300万Annualized,原文$ | 指标没有展开定义,暂不补成ARR | 按申请额度收费,求职结束后的留存与持续付费需单独测量 |
| [Arbital](/docs/other-research/ai-company-research/overview?company=YC32749#research-company-detail) | 累计13.5亿、月约4.35亿交易量,原文$ | 交易量不当收入;没有费率不反推佣金 | 交易量可能包含重复换手,平台抽成、激励和净收入才决定经济性 |
| [Jcode](/docs/other-research/ai-company-research/overview?company=YC32172#research-company-detail) | 每月100万推理支出吞吐,原文$ | 推理支出不当MRR;源码公开与厂商基准分开标记 | 需核工具收费、推理成本承担方和开发者留存 |
| [NebuSec](/docs/other-research/ai-company-research/overview?company=YC32138#research-company-detail) | 40万漏洞奖金,原文$ | 团队与Agent归属、获奖期及收款主体待核,不当ARR | 奖金与安全服务订阅不同;独立漏洞记录及持续合同需分别验证 |
这批记录补充了收入定义差异,尚未增加同日同币种的可比ARR样本。合同承诺、并购业务或履历混入会使领域均值失真;资料有这些差异本身不证明财务造假。
@@ -2,7 +2,7 @@
截至 2026-10-30,7日窗口内有 14 个产品的美元平台MRR可纳入分组描述。创意软件订阅组的样本均值较高、CV也较大;营销软件组与消费者个人应用组的CV接近。各组只有1至5个产品,尚不足以估计行业总体或造假概率。
这是已采集资料的固定快照。[动态工作台](/docs/other-research/ai-company-research/overview)提供筛选与原始证据。窗口按最后同步日计算,不保证所有点同日,也不是1,015条公司/产品记录的收入普查。
这是已采集资料的固定快照。[动态工作台](/docs/other-research/ai-company-research/overview)提供筛选与原始证据。窗口按最后同步日计算,不保证所有点同日,也不是1,021条公司/产品记录的收入普查。
## 7日窗口的分组结果
@@ -1,6 +1,8 @@
# AI 公司资料覆盖与缺项
截至 2026-10-30,研究表含1,015条公司或产品记录。YC候选池有逐条读取审计;其他来源为定向补充。清单尚不能作为全球AI公司普查,也不能将收入未知解释为零。
截至 2026-10-30,研究表含1,021条公司或产品记录。YC候选池有逐条读取审计;其他来源为定向补充。清单尚不能作为全球AI公司普查,也不能将收入未知解释为零。
验收范围已于2026-10-30确认为:以确认的公开来源清单为边界,逐条核对并标明缺项。下方区分已逐条审计的候选池与定向补充来源;已使用某来源不代表该来源已被完整覆盖。
[分类和数据工作台](/docs/other-research/ai-company-research/overview)链接原始证据,[收入样本快照](/docs/other-research/ai-company-research/income-snapshot)展示当前可计算的MRR样本。
@@ -17,23 +19,23 @@
| AI业务待确认 | 192 | 不强行把背景关键词当主营 |
| 成立年与批次冲突 | 6 | 另保留核查记录 |
全表由919条目录基础项和96条个案或平台记录组成。候选池已匹配项之外另有53条记录,包含其他来源及发布/转型对照;其中已有9条原目录记录深化为个案,仍保留目录来源。两种统计边界不同。候选池数字只是该镜像快照的覆盖,Bud等后续定向补充不回填为原候选池已覆盖。
全表由912条目录基础项和109条个案或平台记录组成。候选池已匹配项之外另有59条记录,包含其他来源及发布/转型对照;其中已有16条原目录记录深化为个案,仍保留目录来源。两种统计边界不同。候选池数字只是该镜像快照的覆盖,Bud等后续定向补充不回填为原候选池已覆盖。
## 成立年与证据深度
| 维度 | 当前记录 | 解读 |
| --- | --- | --- |
| 记录为2025年成立 | 619 | 成立来源和精度见公司明细 |
| 记录为2026年成立 | 391 | 不将产品发布日期代替成立日 |
| 成立年未知或范围外 | 5 | 发布/转型对照单列,不进入两年成立分组 |
| 记录为2025年成立 | 623 | 成立来源和精度见公司明细 |
| 记录为2026年成立 | 392 | 不将产品发布日期代替成立日 |
| 成立年未知或范围外 | 6 | 发布/转型对照单列,不进入两年成立分组 |
| 目录业务分类人工复核 | 160 | 仅复核主营分类,不代表技术或财务审计 |
| 其他目录基础项 | 759 | 规则初分或资料不足,继续待复核 |
| 有团队数字 | 945 | 多为自报Team Size或Employees,时点与口径不统一 |
| 专项技术证据记录 | 6 | 其中3条自述、2条公开材料、1条第三方评测 |
| 公司披露收入线索 | 24 | 含历史、下界、币种不明及产品业务声明,不等于可比ARR |
| 其他目录基础项 | 752 | 规则初分或资料不足,继续待复核 |
| 有团队数字 | 946 | 多为自报Team Size或Employees,时点与口径不统一 |
| 专项技术证据记录 | 14 | 其中7条自述、6条公开材料、1条第三方评测 |
| 公司披露收入线索 | 26 | 含历史、下界、币种不明及产品业务声明,不等于可比ARR |
| 仅平台收入线索 | 16 | 同时有公司披露者计入上一行,不重复计数 |
| 仅第三方估算 | 1 | 不与直接披露混合 |
| 暂无可用收入数字 | 974 | 包含尚未逐家搜索的目录项,不代表没有收入 |
| 暂无可用收入数字 | 978 | 包含尚未逐家搜索的目录项,不代表没有收入 |
## 业务分类与数据入口
@@ -41,28 +43,174 @@
| --- | --- |
| [基础模型](/docs/other-research/ai-company-research/overview?category=C01) | 29 |
| [算力与模型基础设施](/docs/other-research/ai-company-research/overview?category=C02) | 103 |
| [Agent 开发与运行设施](/docs/other-research/ai-company-research/overview?category=C03) | 51 |
| [软件开发](/docs/other-research/ai-company-research/overview?category=C04) | 109 |
| [Agent 开发与运行设施](/docs/other-research/ai-company-research/overview?category=C03) | 53 |
| [软件开发](/docs/other-research/ai-company-research/overview?category=C04) | 110 |
| [企业通用工作](/docs/other-research/ai-company-research/overview?category=C05) | 176 |
| [客户与收入运营](/docs/other-research/ai-company-research/overview?category=C06) | 52 |
| [客户与收入运营](/docs/other-research/ai-company-research/overview?category=C06) | 53 |
| [行业专业应用](/docs/other-research/ai-company-research/overview?category=C07) | 321 |
| [内容与创意](/docs/other-research/ai-company-research/overview?category=C08) | 45 |
| [消费者个人应用](/docs/other-research/ai-company-research/overview?category=C09) | 45 |
| [消费者个人应用](/docs/other-research/ai-company-research/overview?category=C09) | 47 |
| [机器人及实体产业](/docs/other-research/ai-company-research/overview?category=C10) | 81 |
| [业务待分类](/docs/other-research/ai-company-research/overview?category=C00) | 3 |
## 已使用来源的分布
1,086条证据记录对应1,072个不同URL。不同URL不自动构成独立验证;同一声明可能由公司、投资方和媒体重复转述。
1,209条证据记录对应1,195个不同URL。不同URL不自动构成独立验证;同一声明可能由公司、投资方和媒体重复转述。
| 来源 | 证据记录 | 不同URL | 用途及限制 |
| --- | --- | --- | --- |
| YC官方目录 | 984 | 975 | 公司自述的成立、团队与业务;英文及加速器样本偏多 |
| YC官方目录 | 989 | 980 | 公司自述的成立、团队与业务;英文及加速器样本偏多 |
| TrustMRR | 18 | 18 | 支付平台重建指标及方法;公开者存在选择偏差,非财务审计 |
| a16z Speedrun | 11 | 10 | 投资机构中的公司介绍及收入声明;存在利益关系 |
| TechCrunch | 3 | 3 | 原始采访或报道;转述公司数字不等于查账 |
| TechCrunch | 7 | 7 | 原始采访或报道;转述公司数字不等于查账 |
| Sacra | 3 | 3 | 第三方估算;与直接披露分开 |
| 其他官网、评测及公开资料 | 67 | 63 | 按每条来源限制理解,不能统一当作独立证据 |
| 其他官网、评测及公开资料 | 181 | 177 | 按每条来源限制理解,不能统一当作独立证据 |
## 原候选池的后续复核
原始1,428条读取快照与初筛计数保持不变;下表记录当时未入表、后续补足证据后进入公司表的项目。初筛未通过不是永久排除。后续入表不回写为当时已匹配,也不重复计入928条原始新增目录项。
| 原候选 | 原始状态 | 后续公司记录 | 复核证据 | 处理与限制 |
| --- | --- | --- | --- | --- |
| [EveryApp · YC36088](https://www.ycombinator.com/companies/everyapp) | ai-unclear | [EveryApp(含OpenSEO)](/docs/other-research/ai-company-research/overview?company=AI074#research-company-detail) | [EA-YC](https://www.ycombinator.com/companies/everyapp)、[EA-HOME](https://everyapp.com/)、[SEO-HOME](https://openseo.so/) | 2026-10-30:原快照规则初筛未确认AI主营;本次确认Agent应用托管、MCP及OpenSEO产品关联后入表。保留2026成立来源及法律主体待核限制,不更改原初筛状态或928条发现计数。 |
已记录1条后续复核入表;其余未入表候选仍按原状态保留缺项,不能把这一批复核视为完成全部模糊项。
## 来源清单与验收边界
S01—S12恢复自已提交用户的《AI公司研究_来源与分类模板》来源清单;S13—S16单列后续已使用的补充证据渠道,不将使用次数当作全量覆盖。
每条证据在下表只计入一个渠道:先按所列域名归属,再将类型明确标为官方/公司自述/公司披露的剩余项计入S12,其余计入S16。公司可跨渠道出现,所以公司数不可跨行相加。零条证据表示尚未进入研究表,不表示该来源没有相关公司。背景报告不承担公司发现全集的角色。
| 来源 | 当前状态 | 证据 / 公司 / 观测数 | 已核对范围 | 剩余核查 |
| --- | --- | --- | --- | --- |
| S01 [Y Combinator](https://www.ycombinator.com/companies) | 候选池逐条已读 | 989 / 970 / 82 | 已读取八个2025—2026批次镜像候选池1428条,再核YC官方页面;不声称覆盖全部YC历年或未公开公司。 | 继续复核规则初分和缺项;候选明细见逐条台账。 |
| S02 [TechCrunch AI](https://techcrunch.com/category/artificial-intelligence/) | 定向使用,未穷尽 | 7 / 3 / 1 | 栏目首页选择的3条公司线索已追溯原始资料:Wabi据公开名录2025年份关联公司;DreamHQ与Thrive Holdings成立年待核,后者2025发布公告另存。不是首页全部条目或两年档案;公开分类接口与RSS普通HTTP请求返回403。 | 补可公开取得的2025、2026档案及剩余分页;核DreamHQ、Thrive Holdings成立依据及Wabi精确注册、团队和付费口径。 |
| S03 [Dealroom](https://dealroom.co/) | 定向使用,未穷尽 | 2 / 1 / 0 | 已读Tana与Wabi公开公司档案:前者财务字段不一致留缺,后者2025成立字段与官方业务关联入表;尚未取得两年成立筛选结果集,两个个案不等于目录全量。 | 确认公开可取得的两年成立筛选清单;逐项追溯财务原始凭证及字段口径,受权限限制保留缺项。 |
| S04 [Product Hunt](https://www.producthunt.com/) | 定向使用,未穷尽 | 25 / 3 / 0 | 2026与2025年度档案各登记首个公开响应19条,共38条候选/推广;2025另有一个仅图片位置未解析。已逐条保留关联、范围外与年份待核状态,未穷尽两年档案。 | 继续补两年其余分页/日期、仅图片位置及18条年份待核候选;保留Pazi日期冲突,核清品牌与主体,避免转移历史业绩。 |
| S05 [Sacra](https://sacra.com/) | 定向使用,未穷尽 | 3 / 1 / 3 | 已用于定向估算及日期口径交叉核查;无全站公司名录读取台账。 | 保留估算与公司披露差异,核实历史截至日。 |
| S06 [Bessemer](https://www.bvp.com/atlas/the-state-of-ai-2025) | 背景研究 | 1 / 0 / 0 | 主动选取20家高增长AI企业,含组合内外公司;非随机普查;已核方法与增长/毛利基准段;未取得20家逐公司底表。仅背景基准,不构成两年新公司名录。 | 高增长选样和投资机构利益关系;不能把头部样本均值当各领域平均或新成立公司总体;需要公开可核底表时另补,不把缺项当已完成。 |
| S07 [Menlo Ventures](https://menlovc.com/perspective/2025-the-state-of-generative-ai-in-the-enterprise/) | 背景研究 | 1 / 0 / 0 | 495名美国企业AI采购/开发决策者,企业已主动使用AI;已核公开方法、范围及限制;受访个体与公司估算底表未取得。仅背景基准,不构成两年新公司名录。 | 仅美国企业;排除芯片、推理/模型服务及既有软件内嵌AI功能,不能与包含这些项目的总量直接比较或分摊为单家公司ARR;需要公开可核底表时另补,不把缺项当已完成。 |
| S08 [Stripe](https://stripe.com/annual-updates/2025) | 背景研究 | 2 / 0 / 0 | 2025年开始使用Stripe的商户分组,另有Atlas注册企业分组;已读并视觉核对PDF第1、3页;未取得商户明细与完整分组计算底表。仅背景基准,不构成两年新公司名录。 | 开始使用平台不等成立年,也非AI公司专属样本;交易量不等Stripe收入,门槛数量翻倍不等ARR均值翻倍;不与TrustMRR公开者样本混算;需要公开可核底表时另补,不把缺项当已完成。 |
| S09 [SaaS Capital](https://www.saas-capital.com/research/) | 背景研究 | 1 / 0 / 0 | 第15次年度调查,超过1000家私营B2B SaaS公司;仅读公开摘要;完整下载需填写表单,未提交表单或取得完整底表。仅背景基准,不构成两年新公司名录。 | 样本不是两年新AI公司;增长率中位数不能当ARR中位数;完整抽样与指标细节仍缺,不外推至硬件、项目服务或所有AI模式;需要公开可核底表时另补,不把缺项当已完成。 |
| S10 [机器之心](https://www.jiqizhixin.com/) | 定向使用,未穷尽 | 5 / 2 / 0 | 已登记4篇定向检索线索;三篇直达仅登录外壳,一篇读取失败。2项经公开原始资料补证关联公司,1项范围外,1项仍待核;未阅读全文或穷尽两年档案。 | 补公开可读文章、2025档案及Utopai原始成立材料;受限正文留缺,不以搜索摘录代全文。 |
| S11 [36氪](https://www.36kr.com/) | 访问受限 | 0 / 0 / 0 | 2026-10-30仍返回安全检测页面,未把首页作为已读文章。 | 使用可公开读取的具体文章或其他原始来源;不绕过访问保护。 |
| S12 公司官网与官方博客 | 随公司逐条核对 | 91 / 24 / 15 | 公司官网和官方材料逐条绑定证据;不是可预先列尽的全站候选池。 | 核定价、主体、交付与收入定义,自述与独立验证分开。 |
| S13 [TrustMRR](https://trustmrr.com/) | 定向使用,未穷尽 | 18 / 17 / 51 | 已采集产品与支付快照;公开者自选,不是全部商户或独立财务审计。 | 核同步日、连接失效、支付平台公式及产品/法人归属。 |
| S14 [a16z Speedrun](https://speedrun.a16z.com/) | 定向使用,未穷尽 | 11 / 10 / 19 | 投资机构公司介绍定向样本,收入数字仍多来自公司。 | 核币种、相对时间及管线/履历;未读取的页面保持缺项。 |
| S15 [Artificial Analysis](https://artificialanalysis.ai/) | 定向使用,未穷尽 | 2 / 1 / 3 | 第三方已发表技术评测,仅覆盖所列模型版本和任务。 | 核榜单版本、测评方法及置信区间,不将排名变成企业整体能力。 |
| S16 其他公开补充资料 | 定向使用,未穷尽 | 51 / 24 / 15 | 未归入上述来源的公开材料按原始证据链接逐条保留;不视为新增已批准的完整候选池。 | 逐项核来源归属、可靠性及可读正文,不能将搜索摘要当全文。 |
Dealroom、Product Hunt、机器之心与36氪入口于2026-10-30重新访问。官网首页可读不证明已取得完整筛选结果;安全检测页面不作为文章内容。候选池之外的来源边界尚需建立可回查条目,完成前不宣布来源清单已全部覆盖。
## 背景基准适用性与缺项
以下核对背景资料的方法及适用范围,不是公司名录的完整覆盖。原始方法记录与全局核查随研究版本进入同一数据库;没有把行业汇总值新增为任何公司的收入观测。
| 来源与证据 | 样本与统计单位 | 时间 | 本次读取范围 | 可用于什么 | 主要限制 |
| --- | --- | --- | --- | --- | --- |
| S06 Bessemer:[CTX-BVP](https://www.bvp.com/atlas/the-state-of-ai-2025) | 主动选取20家高增长AI企业,含组合内外公司;非随机普查;企业增长与毛利基准,按商业化后的第几年比较 | 2025-08-13报告;商业化年数不等法律成立年 | 已核方法与增长/毛利基准段;未取得20家逐公司底表 | 用于提出留存、毛利、资本效率假设及分类线索 | 高增长选样和投资机构利益关系;不能把头部样本均值当各领域平均或新成立公司总体 |
| S07 Menlo Ventures:[CTX-MENLO](https://menlovc.com/perspective/2025-the-state-of-generative-ai-in-the-enterprise/) | 495名美国企业AI采购/开发决策者,企业已主动使用AI;采购调查与自下而上的市场支出估算,非公司逐项ARR | 2025-11-07至11-25调查,市场判断截至2025-12 | 已核公开方法、范围及限制;受访个体与公司估算底表未取得 | 用于买家、采购方式和任务方向假设 | 仅美国企业;排除芯片、推理/模型服务及既有软件内嵌AI功能,不能与包含这些项目的总量直接比较或分摊为单家公司ARR |
| S08 Stripe:[CTX-STRIPE](https://assets.stripeassets.com/fzn2n1nzq965/3LlGw839Q6kUwxZlLZDtH6/75ddcbada4aa7743dd8ec7d0f9ca497e/Stripe-annual-letter-2025-desktop.pdf) | 2025年开始使用Stripe的商户分组,另有Atlas注册企业分组;平台交易量、商户增长及达到收入门槛的数量;分母不同 | 2025年度;2026-02-24年度信 | 已读并视觉核对PDF第1、3页;未取得商户明细与完整分组计算底表 | 用于支付、全球市场及首次收费速度假设 | 开始使用平台不等成立年,也非AI公司专属样本;交易量不等Stripe收入,门槛数量翻倍不等ARR均值翻倍;不与TrustMRR公开者样本混算 |
| S09 SaaS Capital:[CTX-SAASCAP](https://www.saas-capital.com/research/private-saas-company-growth-rate-benchmarks/) | 第15次年度调查,超过1000家私营B2B SaaS公司;2025年度增长率与留存等公开摘要;非ARR金额分布 | 2026报告回顾2025增长;不把报告年当公司成立年 | 仅读公开摘要;完整下载需填写表单,未提交表单或取得完整底表 | 用于B2B订阅软件的规模、融资和留存分层假设 | 样本不是两年新AI公司;增长率中位数不能当ARR中位数;完整抽样与指标细节仍缺,不外推至硬件、项目服务或所有AI模式 |
本表的应用解释属于研究判断。选样、分母、时间或指标不同会造成表观差异;这些差异不单独证明财务造假,也不能作为给未知公司填补收入的依据。
## S04 候选核对(PH-2026-visible-1)
[发现页面](https://www.producthunt.com/leaderboard/yearly/2026),读取于2026-10-30。年度榜单首次公开响应中可见的19张产品或推广卡片;不含分页或后续动态加载,不是2026全年、更不是2025—2026全量。
本批19条:3条关联公司、2条关联范围外对照、5条范围外不新增公司、8条成立年待核、1条推广活动。完整来源覆盖标记:未完成。主营或产品任务的初分类不计入主公司表数量,只有已关联的公司记录进入对应公司明细。候选与缺项随研究版本保存在文档站同一SQLite的研究元数据中。
| 发现条目 | 主营或产品任务初分 | 核对状态 | 关联公司 | 核对证据 | 限制 |
| --- | --- | --- | --- | --- | --- |
| [Fundraisly](https://www.producthunt.com/products/fundraisly) | [行业专业应用](/docs/other-research/ai-company-research/overview?category=C07) | 成立年待核 | — | [PH-FUNDRAISLY-ABOUT](https://fundraisly.com/about-us)、[PH-FUNDRAISLY-ENTITY](https://fundraisly.com/terms-of-service)、[PH-FUNDRAISLY-PLAN](https://fundraisly.com/service-plan) | 运营主体Accumulator Fundraising LLC;成立年待核。固定/经常性或按通话的服务收费需拆分;Gett历史ARR、创始人及客户筹资不作Fundraisly收入。 |
| [Rork Max](https://www.producthunt.com/products/rork-app-for-ios) | [软件开发](/docs/other-research/ai-company-research/overview?category=C04) | 已有关联,年份范围外 | [Rork](/docs/other-research/ai-company-research/overview?company=AI054#research-company-detail) | [E054](https://speedrun.a16z.com/companies/rork) | 映射现有Rork对照记录;2024成立,不因Rork Max发布重新算2026新公司。 |
| [Brila](https://www.producthunt.com/products/brila-2) | [软件开发](/docs/other-research/ai-company-research/overview?category=C04) | 成立年待核 | — | [PH-BRILA-ENTITY](https://brila.ai/about)、[PH-BRILA-TERMS](https://brila.ai/terms-and-conditions) | 官网及条款列Generated Media, Inc.运营;注册号不代表日期,母公司成立年待核。网站生成与托管订阅为产品业务,不因2026发布新增独立公司。 |
| [happycapy](https://www.producthunt.com/products/happycapy) | [消费者个人应用](/docs/other-research/ai-company-research/overview?category=C09) | 成立年待核 | — | [PH25-E-19](https://www.producthunt.com/products/happycapy)、[PH-HAPPYCAPY-ABOUT](https://happycapy.ai/about)、[PH-HAPPYCAPY-PRIVACY](https://happycapy.ai/privacy) | Trickle历史发布与Happycapy当前产品页相关联;官网功能及政策可读,但法人成立与股权沿革未核。政策生效日不作成立日,仍保留候选,不重复新增公司。 |
| [Cowork](https://www.producthunt.com/products/claude) | [企业通用工作](/docs/other-research/ai-company-research/overview?category=C05) | 成立年范围外,不新增公司 | — | [PH-COWORK-OWNER](https://www.anthropic.com/news/introducing-anthropic-labs)、[PH-ANTHROPIC-FOUND](https://www.anthropic.com/events/builder-summit-bengaluru) | Cowork是Anthropic产品,官方称母公司2021成立;2026研究预览不新增公司,也不转移其他Claude产品收入。 |
| [Upstream](https://www.producthunt.com/products/upstream-3) | [企业通用工作](/docs/other-research/ai-company-research/overview?category=C05) | 成立年范围外,不新增公司 | — | [UP-YC](https://www.ycombinator.com/companies/upstream)、[UP-HOME](https://www.upstream.do/)、[PH-UP](https://www.producthunt.com/products/upstream-3) | YC官方列2023成立、S23批次,2026发布不重算公司年;创始人此前Asana、Algolia的ARR不归Upstream。 |
| [Goldfish](https://www.producthunt.com/products/goldfish-early-access) | [消费者个人应用](/docs/other-research/ai-company-research/overview?category=C09) | 成立年待核 | — | [GOLD-HOME](https://goldfish.sh/)、[GOLD-TERMS](https://goldfish.sh/tos)、[GOLD-PRIVACY](https://goldfish.sh/privacy)、[PH-GOLD](https://www.producthunt.com/products/goldfish-early-access) | 运营者Goldfish AI Inc.,成立年未核;政策生效日不当成立日。测试期间免费不说明收入为零,点击计数不等于客户数或MRR。 |
| [Framer 3.0](https://www.producthunt.com/products/framer) | [软件开发](/docs/other-research/ai-company-research/overview?category=C04) | 成立年范围外,不新增公司 | — | [PH-FRAMER-ABOUT](https://www.framer.com/about) | Framer官网列2014成立;3.0及AI新产品不作2026新公司,未新增公司。 |
| [OpenSEO](https://www.producthunt.com/products/openseo) | [客户与收入运营](/docs/other-research/ai-company-research/overview?category=C06) | 已关联公司 | [EveryApp(含OpenSEO)](/docs/other-research/ai-company-research/overview?company=AI074#research-company-detail) | [EA-YC](https://www.ycombinator.com/companies/everyapp)、[SEO-HOME](https://openseo.so/)、[PH-SEO](https://www.producthunt.com/products/openseo) | OpenSEO归EveryApp;官方目录列EveryApp 2026成立,两者只计一个公司。原候选36088从AI不明复核入表,原台账计数不回写。 |
| [Clarify](https://www.producthunt.com/products/clarify-6) | [客户与收入运营](/docs/other-research/ai-company-research/overview?category=C06) | 成立年范围外,不新增公司 | — | [PH-CLARIFY-LINKEDIN](https://www.linkedin.com/company/getclarify)、[PH-CLARIFY-MANIFESTO](https://www.clarify.ai/blog/manifesto) | Clarify CRM公司主页列2024成立,2024创始人宣言佐证已有业务;不与医疗及其他同名Clarify混淆。 |
| [Lightfield](https://www.producthunt.com/products/lightfield) | [客户与收入运营](/docs/other-research/ai-company-research/overview?category=C06) | 已有关联,年份范围外 | [Lightfield(Tome转型对照)](/docs/other-research/ai-company-research/overview?company=AI073#research-company-detail) | [LF-ENTITY](https://lightfield.com/privacy)、[LF-PIVOT](https://lightfield.com/blog/venturebeat-tome-s-founders-ditch-viral-presentation-app-with-20m-users-to-build-ai-native-crm)、[LF-HISTORY](https://greylock.com/blog/persuasion-through-stories/) | 映射Magical Tome, Inc.转型对照;2025是CRM上线,2022已有Tome业务,精确注册年未核,不计2026新公司。 |
| [Pazi](https://www.producthunt.com/products/pazi) | [企业通用工作](/docs/other-research/ai-company-research/overview?category=C05) | 成立年待核 | — | [PAZI-YC](https://www.ycombinator.com/companies/pazi)、[PAZI-TERMS](https://pazi.ai/terms)、[PAZI-PRICE](https://pazi.ai/pricing)、[PH-PAZI](https://www.producthunt.com/products/pazi) | Founded 2026与W24及2023 Pythagora历史同页冲突;条款运营者为Pythagora Technologies Incorporated,法律沿革未核,保留年份待核。业务余额与广告支出不当ARR。 |
| [SuperX](https://www.producthunt.com/products/superx) | [客户与收入运营](/docs/other-research/ai-company-research/overview?category=C06) | 成立年待核 | — | 成立证据待补,产品页读取状态见候选记录 | 候选分类按发布定位初分;公司成立年、主体及收入待核,不能因2026榜单就加入成立年样本。 |
| [Kilo Code for VS Code](https://www.producthunt.com/products/kilocode) | [软件开发](/docs/other-research/ai-company-research/overview?category=C04) | 已关联公司 | [Kilo Code(已被Anaconda收购)](/docs/other-research/ai-company-research/overview?company=AI072#research-company-detail) | [KILO-START](https://www.anaconda.com/blog/kilo-code-joins-anaconda-what-builders-should-know)、[KILO-PH](https://www.producthunt.com/products/kilocode) | 映射同一Kilo Code个案,不因插件与托管产品分别发布重复新增公司。 |
| [Brew](https://www.producthunt.com/products/brew-5) | [客户与收入运营](/docs/other-research/ai-company-research/overview?category=C06) | 成立年待核 | — | 成立证据待补,产品页读取状态见候选记录 | 产品页读取超时,保留榜单发现;主体、成立年和收入待核。 |
| Render startup credits | [算力与模型基础设施](/docs/other-research/ai-company-research/overview?category=C02) | 推广活动,非公司新增 | — | [PH-2026-PAGE](https://www.producthunt.com/leaderboard/yearly/2026) | 推广创业额度活动,链接回榜单,不把额度当公司收入或新成立公司。 |
| [DataFast](https://www.producthunt.com/products/datafast) | [企业通用工作](/docs/other-research/ai-company-research/overview?category=C05) | 成立年待核 | — | 成立证据待补,产品页读取状态见候选记录 | 候选分类按发布定位初分;公司成立年、主体及收入待核,不能因2026榜单就加入成立年样本。 |
| [KiloClaw](https://www.producthunt.com/products/kiloclaw) | [Agent 开发与运行设施](/docs/other-research/ai-company-research/overview?category=C03) | 已关联公司 | [Kilo Code(已被Anaconda收购)](/docs/other-research/ai-company-research/overview?company=AI072#research-company-detail) | [KILO-START](https://www.anaconda.com/blog/kilo-code-joins-anaconda-what-builders-should-know)、[KILO-PH](https://www.producthunt.com/products/kilocode) | 映射同一Kilo Code个案,不因插件与托管产品分别发布重复新增公司。 |
| [Stitch 2.0 by Google](https://www.producthunt.com/products/stitch-2-0-by-google-2) | [内容与创意](/docs/other-research/ai-company-research/overview?category=C08) | 成立年范围外,不新增公司 | — | [PH-STITCH-OWNER](https://blog.google/innovation-and-ai/products/google-io-2025-all-our-announcements/)、[PH-GOOGLE-FOUND](https://about.google/company-info/our-story/) | Google的Stitch产品及新版本,不是独立2026创业公司;Google公司沿革始于1998,不转移集团收入。 |
产品页可读只表示有可访问的资料;本批未将所有产品页完成公司、技术或财务深查。既有直接HTTP采集返回403,当前采用可读的公开页面响应,不声称取得底层全量列表;后续公开档案与未读页面继续保留缺项。
## S04 候选核对(PH-2025-visible-1)
[发现页面](https://www.producthunt.com/leaderboard/yearly/2025),读取于2026-10-30。当前年度档案首个公开响应中19张有文字链接的产品/推广卡片;另有一张仅图片的Framer 3.0位置,未解析为独立产品,保留缺项。未穷尽分页或全年;当前推广位不等于2025发布。
本批19条:1条关联公司、0条关联范围外对照、7条范围外不新增公司、10条成立年待核、1条推广活动。完整来源覆盖标记:未完成。主营或产品任务的初分类不计入主公司表数量,只有已关联的公司记录进入对应公司明细。候选与缺项随研究版本保存在文档站同一SQLite的研究元数据中。
| 发现条目 | 主营或产品任务初分 | 核对状态 | 关联公司 | 核对证据 | 限制 |
| --- | --- | --- | --- | --- | --- |
| [Screen Studio 3.0](https://www.producthunt.com/products/screen-studio) | [内容与创意](/docs/other-research/ai-company-research/overview?category=C08) | 成立年待核 | — | [PH25-E-01](https://www.producthunt.com/products/screen-studio) | 产品页还列2022年首次发布;公司成立年和AI主营仍待核,不因3.0版本重新算新公司。 |
| [Tana](https://www.producthunt.com/products/tana) | [企业通用工作](/docs/other-research/ai-company-research/overview?category=C05) | 成立年范围外,不新增公司 | — | [PH-TANA-DR](https://dealroom.co/companies/tana/)、[PH-TANA-INV](https://tolacapital.com/2025/02/04/my-productivity-quest-and-tanas-series-a)、[PH-TANA-HOME](https://tana.inc/) | Dealroom列2020成立;投资人回忆2025前已与团队合作。按2025前已有业务排除,法律注册年未核;现行会议平台不另算新公司。 |
| [Trace](https://www.producthunt.com/products/trace) | [企业通用工作](/docs/other-research/ai-company-research/overview?category=C05) | 已关联公司 | [Trace](/docs/other-research/ai-company-research/overview?company=YC30687#research-company-detail) | [PH25-E-03](https://www.producthunt.com/products/trace)、[YC-E-30687](https://www.ycombinator.com/companies/trace-so)、[TRACE-HOME](https://www.trace.so/) | 产品页指向trace.so,与现有YC30687对应,不新增近名公司。 |
| [Tanka](https://www.producthunt.com/products/tanka) | [企业通用工作](/docs/other-research/ai-company-research/overview?category=C05) | 成立年范围外,不新增公司 | — | [PH-TANKA-RELEASE](https://www.prnewswire.com/news-releases/tankaai-launches-in-japan-bringing-team-memory-to-everyday-work-302891558.html)、[PH-TANKA-LINKEDIN](https://www.linkedin.com/company/tankaai) | 公司新闻稿及公开主页均列2024成立;2025产品榜单及2026日本上线不改变公司成立年。 |
| [Sider 5.0](https://www.producthunt.com/products/chatgpt-sidebar-chrome-extension) | [消费者个人应用](/docs/other-research/ai-company-research/overview?category=C09) | 成立年待核 | — | [PH25-E-05](https://www.producthunt.com/products/chatgpt-sidebar-chrome-extension) | AI研究与浏览器工具;版本更新不等于公司创立,成立年待核。 |
| [Guideflow](https://www.producthunt.com/products/guideflow) | [客户与收入运营](/docs/other-research/ai-company-research/overview?category=C06) | 成立年范围外,不新增公司 | — | [PH-GUIDEFLOW-ABOUT](https://www.guideflow.com/company/about-us) | Guideflow官网列2023成立;2025榜单为既有公司产品,不加入新成立公司样本。 |
| [Clueso](https://www.producthunt.com/products/clueso) | [内容与创意](/docs/other-research/ai-company-research/overview?category=C08) | 成立年范围外,不新增公司 | — | [PH25-E-07](https://www.producthunt.com/products/clueso)、[PH25-CLUESO-YC](https://www.ycombinator.com/companies/clueso) | YC官方列Founded 2023;2025是产品平台发布时间,不纳入2025—2026新公司。 |
| [YouMind](https://www.producthunt.com/products/youmind) | [内容与创意](/docs/other-research/ai-company-research/overview?category=C08) | 成立年范围外,不新增公司 | — | [PH-YOUMIND-FOUNDER](https://www.caicai.me/zh/product/youmind)、[PH-YOUMIND-SEED](https://www.caicai.me/zh/blogs/youmind-startup-journey-2) | 联合创始人自述2024创业、获得种子投资并开发产品;按2025前已开展业务排除,精确法人成立日仍未核。 |
| [MGX(现Atoms)](https://www.producthunt.com/products/metagpt-x) | [软件开发](/docs/other-research/ai-company-research/overview?category=C04) | 成立年待核 | — | [PH-ATOMS-ABOUT](https://atoms.dev/about)、[PH-ATOMS-TIMELINE](https://atoms.dev/metagpt)、[PH-ATOMS-ENTITY](https://atoms.dev/terms-of-service) | MetaGPT研究→MGX→Atoms为产品沿革;官网产品化年份有2024与2024—2025口径,技术服务方列MetaGPT LLC。公司成立年和跨主体关系待核,不因更名新增公司。 |
| Cloudflare Workers推广 | [算力与模型基础设施](/docs/other-research/ai-company-research/overview?category=C02) | 推广活动,非公司新增 | — | [PH-2025-PAGE](https://www.producthunt.com/leaderboard/yearly/2025) | 当前榜单推广位链接回年度榜单;不作为2025新公司或收入。 |
| [Tool Finder](https://www.producthunt.com/products/tool-finder) | [企业通用工作](/docs/other-research/ai-company-research/overview?category=C05) | 成立年待核 | — | [PH25-E-11](https://www.producthunt.com/products/tool-finder) | 资料显示较早产品发布;公司成立年与是否AI主营待核,不能把软件目录直接当AI公司。 |
| [Chronicle: Cursor for Slides](https://www.producthunt.com/products/chronicle-6) | [内容与创意](/docs/other-research/ai-company-research/overview?category=C08) | 成立年待核 | — | [PH25-E-12](https://www.producthunt.com/products/chronicle-6)、[PH-CHRONICLE-ACCESS](https://blog.chroniclehq.com/2023/02/14/chronicle-raises-7-5m-seed-round-from-accel-and-square-peg-to-reimagine-presentations/) | 演示文稿产品,与Chronicle Labs不同;历史公告正文两次超时,不能据搜索摘要确定成立年,继续待核。 |
| [21st.dev](https://www.producthunt.com/products/21st-dev-the-npm-for-design-engineers) | [软件开发](/docs/other-research/ai-company-research/overview?category=C04) | 成立年范围外,不新增公司 | — | [PH25-E-13](https://www.producthunt.com/products/21st-dev-the-npm-for-design-engineers)、[PH25-21ST-YC](https://www.ycombinator.com/companies/21st) | YC官方列Founded 2024、W26批次;发布年与加速器批次不改变成立年,不归新公司样本。 |
| [Aha](https://www.producthunt.com/products/aha-3) | [客户与收入运营](/docs/other-research/ai-company-research/overview?category=C06) | 成立年待核 | — | [PH25-E-14](https://www.producthunt.com/products/aha-3) | 网红营销Agent;当前品牌AhaCreator,主体、成立年待核。 |
| [Basalt](https://www.producthunt.com/products/basalt) | [Agent 开发与运行设施](/docs/other-research/ai-company-research/overview?category=C03) | 成立年待核 | — | [PH25-E-15](https://www.producthunt.com/products/basalt) | AI评估、监控及部署工具;仅有2025发布信息,成立年待核,质量宣传未独立测试。 |
| [Framer AI Agents](https://www.producthunt.com/products/framer) | [软件开发](/docs/other-research/ai-company-research/overview?category=C04) | 成立年范围外,不新增公司 | — | [PH25-E-16](https://www.producthunt.com/products/framer)、[PH-FRAMER-ABOUT](https://www.framer.com/about) | 当前推广卡片指向Framer;官网列2014成立,不作2025新公司或2025发布证据。 |
| [Tapflow 2.0](https://www.producthunt.com/products/tapflow) | [企业通用工作](/docs/other-research/ai-company-research/overview?category=C05) | 成立年待核 | — | [PH25-E-17](https://www.producthunt.com/products/tapflow) | 将知识与文档打包出售;公司成立年、AI主营与收入归属待核。 |
| [Musa](https://www.producthunt.com/products/musa-2) | [消费者个人应用](/docs/other-research/ai-company-research/overview?category=C09) | 成立年待核 | — | [PH25-E-18](https://www.producthunt.com/products/musa-2) | 个人健康与自我照护产品;公司成立年及AI是否主营待核。 |
| [Trickle - Magic Canvas](https://www.producthunt.com/products/happycapy) | [软件开发](/docs/other-research/ai-company-research/overview?category=C04) | 成立年待核 | — | [PH25-E-19](https://www.producthunt.com/products/happycapy)、[PH-HAPPYCAPY-ABOUT](https://happycapy.ai/about)、[PH-HAPPYCAPY-PRIVACY](https://happycapy.ai/privacy) | Trickle历史发布与Happycapy当前产品页相关联;官网功能及政策可读,但法人成立与股权沿革未核。政策生效日不作成立日,仍保留候选,不重复新增公司。 |
产品页可读只表示有可访问的资料;本批未将所有产品页完成公司、技术或财务深查。既有直接HTTP采集返回403,当前采用可读的公开页面响应,不声称取得底层全量列表;后续公开档案与未读页面继续保留缺项。
## S10 候选核对(JQ-2026-targeted-1)
[发现页面](https://www.jiqizhixin.com/),读取于2026-10-30。成立年关键词定向检索中选择的4篇2026 URL公司线索;三篇直达仅登录外壳,一篇读取失败。搜索摘录与已读全文分开,关联公司另用原始材料核对;非全部检索结果、非2025—2026全站档案。
本批4条:2条关联公司、0条关联范围外对照、1条范围外不新增公司、1条成立年待核、0条推广活动。完整来源覆盖标记:未完成。主营或产品任务的初分类不计入主公司表数量,只有已关联的公司记录进入对应公司明细。候选与缺项随研究版本保存在文档站同一SQLite的研究元数据中。
| 发现条目 | 主营或产品任务初分 | 核对状态 | 关联公司 | 核对证据 | 限制 |
| --- | --- | --- | --- | --- | --- |
| [PrismShadow / PenguinHarness](https://www.jiqizhixin.com/articles/2026-08-03-9) | [Agent 开发与运行设施](/docs/other-research/ai-company-research/overview?category=C03) | 已关联公司 | [PrismShadow(PenguinHarness)](/docs/other-research/ai-company-research/overview?company=AI075#research-company-detail) | [JQ-PRISM](https://www.jiqizhixin.com/articles/2026-08-03-9)、[PS-PROFILE](https://sg.linkedin.com/company/prismshadow)、[PS-CODE](https://github.com/Prism-Shadow/penguin-harness) | 直达仅登录外壳;2025成立由公司公开主页补证,代码材料可读;成本和性能宣传未独立验证。 |
| [Stargate](https://www.jiqizhixin.com/articles/2026-04-11-2) | [算力与模型基础设施](/docs/other-research/ai-company-research/overview?category=C02) | 已关联公司 | [Stargate(基础设施合资项目)](/docs/other-research/ai-company-research/overview?company=AI076#research-company-detail) | [JQ-STARGATE](https://www.jiqizhixin.com/articles/2026-04-11-2)、[SG-START](https://openai.com/index/announcing-the-stargate-project/)、[SG-JAN](https://openai.com/index/stargate-community/)、[SG-APR](https://openai.com/index/building-the-compute-infrastructure-for-the-intelligence-age/) | 媒体直达读取失败;发起方2025公告称新公司,官方后续进度另列。合资与项目边界待核,投资及容量不当ARR。 |
| [Safe Superintelligence(SSI)](https://www.jiqizhixin.com/articles/2026-08-25-12) | [基础模型](/docs/other-research/ai-company-research/overview?category=C01) | 成立年范围外,不新增公司 | — | [JQ-SSI](https://www.jiqizhixin.com/articles/2026-08-25-12)、[SSI-HISTORY](https://ssi.inc/updates) | 媒体直达仅登录外壳;官方2024已有融资更新,按2025前已存在业务排除,精确注册日未核;融资不当收入。 |
| [Utopai](https://www.jiqizhixin.com/articles/2026-10-06-4) | [内容与创意](/docs/other-research/ai-company-research/overview?category=C08) | 成立年待核 | — | [JQ-UTOPAI](https://www.jiqizhixin.com/articles/2026-10-06-4) | 搜索摘录有公司与成立线索,但直达仅登录外壳,原始成立、主体和业务材料未补齐,不把估值、片单或模型排名作为公司收入或独立技术验证。 |
发现条目和可读正文分开记录;登录外壳、读取失败或搜索摘录不充当已阅读全文。关联公司以列出的原始材料补证,仍保留技术、主体与收入未核事项。
## S02 候选核对(TC-2026-targeted-1)
[发现页面](https://techcrunch.com/category/artificial-intelligence/),读取于2026-10-30。2026-10-30可读栏目首页中选取的3条公司线索;报道正文可读并追溯官方及当事方资料。Wabi由名录年份补证关联公司,DreamHQ与Thrive Holdings成立年仍待核;发布时点与注册年分开。非首页全部报道、全部分页或2025—2026完整档案。公开分类接口与RSS普通请求返回403,保留档案获取缺项。
本批3条:1条关联公司、0条关联范围外对照、0条范围外不新增公司、2条成立年待核、0条推广活动。完整来源覆盖标记:未完成。主营或产品任务的初分类不计入主公司表数量,只有已关联的公司记录进入对应公司明细。候选与缺项随研究版本保存在文档站同一SQLite的研究元数据中。
| 发现条目 | 主营或产品任务初分 | 核对状态 | 关联公司 | 核对证据 | 限制 |
| --- | --- | --- | --- | --- | --- |
| [Dream(dreamhq.com建筑设计业务)](https://techcrunch.com/2026/10/29/ex-palantir-execs-launch-dream-with-17m-from-a16z-to-build-ai-world-models-for-construction/) | [行业专业应用](/docs/other-research/ai-company-research/overview?category=C07) | 成立年待核 | — | [TC-DREAM](https://techcrunch.com/2026/10/29/ex-palantir-execs-launch-dream-with-17m-from-a16z-to-build-ai-world-models-for-construction/)、[DH-HOME](https://www.dreamhq.com/)、[DH-COMPANY](https://www.dreamhq.com/company)、[YC-E-31258](https://www.ycombinator.com/companies/dream) | 建筑设计及工程交付初分C07;媒体给成立线索,但官方本次未明确年份,保持待核。DreamHQ创始人与域名不同于公司表YC31258的摄像头业务,禁止按Dream名称去重或转移数据。 |
| [Wabi](https://techcrunch.com/2026/10/29/wabi-the-ai-agent-that-builds-mini-apps-now-valued-at-1-25b-after-latest-round/) | [消费者个人应用](/docs/other-research/ai-company-research/overview?category=C09) | 已关联公司 | [Wabi](/docs/other-research/ai-company-research/overview?company=AI077#research-company-detail) | [TC-WABI](https://techcrunch.com/2026/10/29/wabi-the-ai-agent-that-builds-mini-apps-now-valued-at-1-25b-after-latest-round/)、[WABI-HOME](https://wabi.ai/)、[WABI-INVESTOR](https://a16z.com/announcement/investing-in-wabi/)、[WABI-PROFILE](https://www.linkedin.com/company/joinwabi/)、[WABI-DEALROOM](https://dealroom.co/companies/wabi/)、[WABI-BUILTIN](https://builtin.com/company/wabi-inc)、[WABI-TERMS](https://wabi.ai/terms) | 两个第三方公开名录均列2025成立并关联同一官方业务,按归因年份入表,精确注册日未核。官方条款当前免费,收入未知;订阅模板、融资及Replika历史业绩不当收入,团队口径差异保留。 |
| [Thrive Holdings](https://techcrunch.com/2026/10/29/openai-backed-thrive-holdings-acquires-adt/) | [行业专业应用](/docs/other-research/ai-company-research/overview?category=C07) | 成立年待核 | — | [TC-THRIVE](https://techcrunch.com/2026/10/29/openai-backed-thrive-holdings-acquires-adt/)、[TH-ABOUT](https://www.thriveholdings.com/about)、[TH-OPENAI](https://openai.com/index/thrive-holdings/)、[TH-ADT](https://investor.adt.com/News--Events/news/news-details/2026/ADT-to-be-Acquired-by-Thrive-Holdings-in-15-3-Billion-Transaction/default.aspx)、[TH-LAUNCH](https://www.thriveholdings.com/thrive-holdings-launch) | 官方2025-04-29公告证明平台公开发布,不能单独填精确成立年,继续待核。按专业服务收购运营初分C07,控股模式单列;ADT预计2027一季度交割,不记已完成,不将目标历史收入当有机AI收入。 |
发现条目和可读正文分开记录;登录外壳、读取失败或搜索摘录不充当已阅读全文。关联公司以列出的原始材料补证,仍保留技术、主体与收入未核事项。
## 尚未满足的研究条件
+51
View File
@@ -0,0 +1,51 @@
# Smalltalk-80:从消息到交互系统
Smalltalk 把语言、类库和开发工具放进同一个可探索的对象世界。本教程以“消息怎样找到行为”为起点,逐步走到集合、进程、图形与 MVC,帮助你阅读经典系统中的类与方法。
**资料范围**:A. Mével、T. Guéguen 著《Smalltalk-80》,Macmillan Education,1987;英文版编辑 Mario Wolczko,翻译 M. J. Stewart。书中说明以 Xerox Version 2 Virtual Image 为基础。用户提供的扫描 PDF 共 190 页,正文印刷页 1–174 对应 PDF 页 12–185;印刷页 p 的 PDF 页为 p + 11。
这里是按学习任务重组的中文研究导读,覆盖原书 21 章的主要主题,保留章节与页码定位,不是逐页译本或完整 API 手册。补充示例为本文编写,预期值来自语义推演,未在 Smalltalk 镜像运行。本文没有对某个 Smalltalk 实现仓库做逐文件源码核验;“源码研究”是站点分类,阅读原书后仍需进入对应镜像浏览实际方法。
## 选择阅读路线
| 目标 | 路线 | 读完能做什么 |
| --- | --- | --- |
| 初次接触 | 消息 → 语法 → 类与方法 → 集合 | 读懂表达式,分清返回值与接收者 |
| 研究语言机制 | 类与方法 → 对象协议 → 反射 | 追踪查找起点、对象身份和类侧行为 |
| 研究交互系统 | 开发环境 → 图形 → MVC | 追踪一次选择如何改变模型并刷新视图 |
| 对照原书 | 下方映射表 → 各篇来源说明 | 找到对应章、印刷页和扫描页 |
## 教程目录
1. [消息与对象:理解执行模型](/docs/source-studies/smalltalk/messages)
2. [语法与块:读懂一段 Smalltalk](/docs/source-studies/smalltalk/syntax-and-blocks)
3. [类、方法与元类:行为放在哪里](/docs/source-studies/smalltalk/classes-and-methods)
4. [对象协议:身份、复制与依赖](/docs/source-studies/smalltalk/object-protocol)
5. [类的架构与反射:系统怎样描述自己](/docs/source-studies/smalltalk/reflection)
6. [基础类库:数值、集合与流](/docs/source-studies/smalltalk/collections-and-streams)
7. [进程与同步:协作执行的对象](/docs/source-studies/smalltalk/processes)
8. [图形系统:坐标、位图与绘制](/docs/source-studies/smalltalk/graphics)
9. [开发环境:浏览、检查与调试](/docs/source-studies/smalltalk/live-environment)
10. [MVC 与曲线案例:连接数据和界面](/docs/source-studies/smalltalk/mvc)
11. [术语、练习与原书对照](/docs/source-studies/smalltalk/reference)
## 原书与新结构
| 原章 | 印刷页 | PDF 页 | 本教程 |
| --- | --- | --- | --- |
| 1 Introduction;2 Principles | 1–8 | 12–19 | 消息与对象 |
| 3 Classes;5 Methods | 9–12;21–25 | 20–23;32–36 | 类、方法与元类 |
| 4 Syntax | 13–20 | 24–31 | 语法与块 |
| 7 Object | 31–39 | 42–50 | 对象协议 |
| 8 Architecture of Classes | 40–52 | 51–63 | 类的架构与反射 |
| 9 Magnitude;10 Numeric;11 Collection;12 Stream | 53–90 | 64–101 | 基础类库 |
| 13 Processes | 91–95 | 102–106 | 进程与同步 |
| 14 Point/Rectangle;15 Graphics | 96–117 | 107–128 | 图形系统 |
| 6 Interface;16–19 Windows/Browsers | 26–30;118–149 | 37–41;129–160 | 开发环境 |
| 20 User Events;21 MVC | 150–174 | 161–185 | MVC 与曲线案例 |
## 阅读约定
代码使用 `:=` 表示赋值、`^` 表示方法返回,替代扫描版的箭头符号;字符串用单引号,注释用双引号。`smalltalk` 代码块可复制,但页面不执行它们。历史类名与选择子保留原样,所有平台相关操作均以原书镜像为范围。
“现代化”体现在清晰的阅读路线、可搜索文本、代码块、对照表、语义链接与练习。本文不把 1987 年的鼠标操作、字符集、进程调度或 MVC API 当作所有今天实现的共同规范。
+53
View File
@@ -0,0 +1,53 @@
# 消息与对象:理解执行模型
> 原书依据:第 1–2 章,印刷页 1–8,PDF 页 12–19。
Smalltalk 的基本动作是:向一个接收者发送消息,由接收者的类决定执行哪个方法。数字、字符串、集合、类和块都能成为接收者。程序由相互发送消息的对象组成。
## 把表达式拆成三个部分
```smalltalk
8 + 5
'hello' size
#(10 20 30) at: 2
```
| 表达式 | 接收者 | 选择子 | 参数 | 推演结果 |
| --- | --- | --- | --- | --- |
| `8 + 5` | 整数 8 | `+` | 5 | 13 |
| `'hello' size` | 字符串 | `size` | 无 | 5 |
| `#(10 20 30) at: 2` | 数组 | `at:` | 2 | 20 |
消息是请求;方法是为响应请求而执行的实现。选择子标识这次请求的名称。不同类可以实现同一个选择子,因此同一条消息能够触发不同的行为。
## 变量保存引用
```smalltalk
| first second |
first := OrderedCollection new.
second := first.
first add: 8.
second size
```
预期最后得到 1:两个变量指向同一个集合。赋值没有自动复制集合。理解引用关系,是之后理解浅复制、模型共享和对象检查器的基础。
对象的状态与它支持的消息要分开看。调用方通过协议与对象协作;读取某个内部槽位的调试能力,不等于应用程序应依赖那个槽位。
## 表达式可以继续发送消息
```smalltalk
(8 + 5) printString
```
先得到 13,再向结果发送 `printString`。与之不同,`collection add: item` 的结果不一定是集合;链式发送前必须确认方法返回值。[语法篇](/docs/source-studies/smalltalk/syntax-and-blocks)解释如何用级联表达“始终向原接收者发送”。
## 镜像为什么重要
原书描述的 virtual image 是包含对象和类的系统世界。开发时可以浏览类、编译方法、检查运行对象并继续执行。语言工具和应用共享对象体系,使重用既有类库成为日常开发方式。
这是历史系统的组织方式;不能据此推断任意镜像的持久化、发布或隔离策略。研究时要同时记录类的定义和当前镜像状态,避免把一次手工修改当成可复现的工程成果。
## 自检
为何两个对象都能接收 `size`,却不需要有相同的数据布局?因为调用方依赖消息协议,各自的类提供方法。下一篇从词法和优先级说明如何读出真正发送的消息。
@@ -0,0 +1,81 @@
# 语法与块:读懂一段 Smalltalk
> 原书依据:第 4 章,印刷页 13–20,PDF 页 24–31。赋值和返回符号按导读约定规范化。
## 先识别字面量
| 写法 | 含义 |
| --- | --- |
| `42`、`16rFF`、`2.5` | 整数、十六进制整数、浮点数 |
| `$A` | 字符 |
| `'Ada'` | 字符串 |
| `'it''s'` | 包含单引号的字符串 |
| `#size`、`#at:put:` | 符号,常用于表示选择子 |
| `#(2 4 6)` | 字面量数组 |
| `[ :x | x + 1 ]` | 接受参数的块 |
`nil`、`true`、`false`、`self`、`super` 是具有特殊语义的伪变量,不能按普通局部变量赋值。不要把字符串 `'size'` 与符号 `#size` 混用。
## 三种消息与优先级
一元消息没有参数;二元消息接受一个参数;关键词消息通过带冒号的片段标出参数位置。`at:put:` 是一个选择子。
优先级为:**括号内表达式 → 一元消息 → 二元消息 → 关键词消息**。同级按从左到右处理,二元选择子没有传统乘除优先的规则。
```smalltalk
2 + 3 * 4 "推演为 20"
2 + (3 * 4) "推演为 14"
10 raisedTo: 2 + 3 "等价于 10 raisedTo: (2 + 3)"
```
`a at: 1 put: 9` 是一条消息。两个关键词调用连续出现时,用括号明确哪一个结果作为另一个的参数。
## 句点与分号
句点分隔表达式;分号让消息继续发给同一个接收者。
```smalltalk
| values |
values := OrderedCollection new.
values add: 4; add: 9; add: 16.
values size
```
这里三次 `add:` 的接收者都是 `values`。若要在一段级联表达式末尾取得集合本身,可发送 `yourself`:
```smalltalk
OrderedCollection new
add: 4;
add: 9;
yourself
```
## 块把计算推迟
```smalltalk
| square |
square := [ :n | n * n ].
square value: 6
```
创建块不执行块体;`value:` 传入参数并求值,预期结果是 36。无参数块接收 `value`,两个参数可用 `value:value:`。
控制流也可以用消息与块组织:
```smalltalk
| count total |
count := 1.
total := 0.
[count <= 4] whileTrue: [
total := total + count.
count := count + 1].
total
```
推演结果为 10。条件块每轮重新求值;把条件提前算成单个布尔对象,会失去更新后的判断。`ifTrue:ifFalse:` 则把两段待执行的分支交给布尔对象选择。
## 返回的边界
块通常返回最后一个表达式的值。方法若没有 `^` 显式返回,则默认返回接收者。块中的 `^` 涉及从其所属方法返回,不能简单理解成普通函数局部 return。本文示例避免把含非局部返回的块保存到方法退出之后;需要这样的用法时,应核对目标镜像的块实现。
练习:`3 + 4 factorial` 先执行哪条消息?先向 4 发送 `factorial`,再向 3 发送 `+`;按数学结果推演为 27。
@@ -0,0 +1,76 @@
# 类、方法与元类:行为放在哪里
> 原书依据:第 3 章和第 5 章,印刷页 9–12、21–25,PDF 页 20–23、32–36。
## 状态的可见范围
| 名称 | 用途 | 阅读时应问 |
| --- | --- | --- |
| 实例变量 | 每个实例自己的状态槽位 | 是否继承自父类? |
| 类变量 | 由类及相关子类共享的绑定 | 是否存在跨实例影响? |
| 全局变量 | 经系统字典访问的绑定 | 是否形成隐含依赖? |
| 池变量 | 多个类共享的变量集合 | 类定义引用了哪个池? |
| 参数、临时变量 | 一次方法或块计算的局部名称 | 生命周期与可赋值规则是什么? |
原书第 5 章明确限制对方法参数再赋值。本教程沿用不修改参数的写法,不把其他实现的语法扩展套回原书。
## 用一个小类串起语法
以下为本文编写的历史风格定义。类定义在 Browser 或相应定义工具中提交;后续方法分别安装在实例侧,不是把整段当作 Workspace 表达式执行。
```smalltalk
Object subclass: #StudyCounter
instanceVariableNames: 'count'
classVariableNames: ''
poolDictionaries: ''
category: 'Study-Examples'
```
实例侧方法:
```smalltalk
initialize
count := 0
```
```smalltalk
increment
count := count + 1
```
```smalltalk
value
^count
```
工作区中的使用示意:
```smalltalk
| counter |
counter := StudyCounter new.
counter initialize.
counter increment.
counter value
```
这里显式初始化,不依赖 `new` 是否自动发送 `initialize`。这些安装步骤和类定义消息需要在目标镜像核对。`increment` 没有显式返回,所以返回 `counter`;`value` 返回槽位保存的数值。
## 方法查找
普通消息从接收者的类开始找选择子,找不到就沿父类向上查找。原书的根类为 `Object`。整个链中没有对应方法时,进入 `doesNotUnderstand:` 协议。
重写方法只改变行为的选择,不把接收者换成父类对象。`self` 始终指向当前接收者。
## super 改变查找起点
假设 B 继承 A,C 继承 B;方法 `describe` 定义在 B 中。如果该方法发送 `super name`,查找从 A 开始,即便当前接收者是 C 的实例。若发送 `self name`,查找从接收者实际的类 C 开始。
因此 `super` 不是“父对象”。它保留同一接收者,按方法定义位置确定查找起点。
## 实例侧与类侧
`StudyCounter new` 的接收者是类对象;`counter increment` 的接收者是它的实例。类自身也是对象,类侧方法由元类组织。
读类侧构造方法时,要检查它究竟分配实例、初始化状态还是返回缓存对象。`new` 只是发给类对象的消息,不能把它视为所有类都必须遵循的固定语法。
原书的 primitive 方法把部分操作交给虚拟机。追踪执行路径时,需区分 Smalltalk 方法体与 VM 提供的原语;本教程没有验证任何 VM 的原语源码。
@@ -0,0 +1,51 @@
# 对象协议:身份、复制与依赖
> 原书依据:第 7 章,印刷页 31–39,PDF 页 42–50。
`Object` 提供许多基础协议。阅读子类时,既要看它新增了什么,也要看它重写了什么。
## 身份与相等
`==` 判断是否为同一对象;`=` 表达由类定义的相等关系。两个内容相同的集合可以是两个不同对象。修改其中一个是否影响另一个,还取决于它们内部引用是否共享。
`class` 返回所属类。`isMemberOf:` 针对确切的类;`isKindOf:` 包含继承关系。检查 `nil` 通常使用 `isNil` 或 `notNil`。面向协议设计时,不必为了发送每条消息都先做具体类判断。
## 浅复制复制的是哪一层
```text
原容器 ──→ 可变子对象
副本 ──→ 同一个可变子对象
```
浅复制产生新的外层对象,内部引用仍可指向相同子对象。给副本的某个槽位重新赋值,与修改该槽位所指子对象,是两种不同操作:前者改变副本自己的引用,后者可能被原对象观察到。
原书还讨论 `deepCopy` 和可被子类重写的 `copy`。深复制不应简单等同于“任意对象图都可以安全递归复制”:循环、共享关系和外部资源需要实现策略。本文没有对这些情况做运行验证。
## 表示与动态发送
| 消息 | 主要意图 |
| --- | --- |
| `printString` | 得到便于人阅读的表示 |
| `storeString` | 得到用于重建对象的源文本表示 |
| `perform:` | 用符号指定要发送的消息 |
| `perform:with:` | 动态发送带一个参数的消息 |
可读表示不等于持久化格式。动态发送也不是解析任意源代码:`perform:` 选择一个消息,而编译器求值会解释完整表达式。
## 用依赖通知连接对象
原书的依赖协议包含 `addDependent:`、`removeDependent:`、`changed:` 和 `update:`。模型改变后通知依赖者,让视图自行读取需要显示的状态。
```text
视图注册到模型
↓
模型状态修改 → changed: 某方面
↓
依赖者收到 update: → 重新读取模型 → 更新显示
```
通知描述“需要更新”,并不天然携带完整的新状态。实现时要明确通知粒度、订阅解除和是否可能形成递归更新。原书的键盘互斥示例说明对象之间可以靠依赖关系协调状态;最后的 MVC 案例继续使用这套机制。
## 阅读检查点
对一个复制操作,画出复制前后的引用箭头;对一次通知,列出谁订阅、谁修改、谁通知、谁重绘。这两张简图往往比逐个记忆方法名更能暴露误解。
+44
View File
@@ -0,0 +1,44 @@
# 类的架构与反射:系统怎样描述自己
> 原书依据:第 8 章,印刷页 40–52,PDF 页 51–63;结合第 3 章元类介绍。
类既组织实例行为,又作为对象接受消息。把“谁是谁的实例”与“谁继承谁”分成两条关系,才能读懂元类。
## 三个层次的责任
| 类 | 原书讨论的主要责任 |
| --- | --- |
| `Behavior` | 方法字典、实例创建和类层级操作 |
| `ClassDescription` | 变量名、分类、源码组织与编译相关描述 |
| `Class` | 表示通常使用的类对象 |
| `Metaclass` | 表示类对象所对应的元类 |
`Class` 和 `Metaclass` 都属于 `ClassDescription` 的子类体系。对于具体类对象,可以用 `class` 访问其元类;实例侧与类侧的方法分别组织在相应行为对象中。
原书元类部分文字较简略。不能据此把所有具体元类都画成直接继承 `Class` 的平面结构;具体元类的父类关系应在目标镜像中检查。
## 研究一次消息查找
```smalltalk
Integer superclass
Number subclasses
Number allSubclasses
```
这是向类对象发消息,查询系统结构。阅读结果时区分“直接子类”和“全部后代”;枚举顺序不应成为应用逻辑依赖。
方法字典把选择子映射到方法。查找协议从当前类的字典开始,再沿 superclass 关系继续。Browser 的实现者查询、类层级浏览和方法安装,都建立在这类可访问的描述结构上。
## 编译是系统服务
原书把方法编译、分类管理、变量名访问和类的文件导出放进类描述协议。由此可以理解:Browser 中接受一段方法文本,是向运行中的系统安装行为。
应分别记录:源文本、编译后方法、当前类结构,以及镜像中的对象状态。只导出源文本,并不一定包含恢复某个实验状态所需的全部数据。
## 多重继承的边界
第 8 章最后讨论多重继承。阅读时将“讨论的组织方案”与前面实际使用的单一父类查找链分开,不能因为书中出现这一节就宣称标准 Smalltalk-80 类定义普遍支持多重继承。
## 可复现的探索记录
在镜像中选择一个类,记录其父类、实例变量、实例侧选择子与类侧选择子;再选择一个继承而来的方法,注明实际定义类。这个小表可以验证你是否把类对象、实例和元类混在了一起。本文只给出检查路线,尚未在镜像执行。
@@ -0,0 +1,58 @@
# 基础类库:数值、集合与流
> 原书依据:第 9–12 章,印刷页 53–90,PDF 页 64–101。
这些章节适合按“要保存什么、如何比较、如何遍历”阅读。具体消息是否存在仍以书中 Version 2 镜像为范围。
## 有序值与数值
`Magnitude` 抽象可比较对象;原书讨论其下的 `Date`、`Time`、`Character` 与数值体系。日期和时间章节的构造协议具有历史性,不能直接当作时区或国际化指南。字符章节基于当时的有限字符集合,不能扩展成 Unicode 结论。
`Number` 的主要子类包含 `Integer`、`Fraction` 和 `Float`。整数层级还区分小整数与大整数。算术消息的结果可以由不同数值类表示,不能仅根据左操作数认定返回类型。
```smalltalk
1 / 3
7 // 2
7 \\ 2
```
在原书数值模型中,第一条可以表示精确分数,后两条分别体现整除和余数协议。这里的余数选择子写作两个反斜杠;使用其他方言时务必核对拼写和负数规则。浮点计算则要区分显示值和实际精度。
## 选择集合
| 集合 | 关注点 | 典型选择理由 |
| --- | --- | --- |
| `Array` | 固定长度、按位置访问 | 已知元素数量 |
| `OrderedCollection` | 保留顺序、可增删 | 动态列表 |
| `SortedCollection` | 根据排序关系组织 | 持续维护顺序 |
| `Set` | 去重 | 关心是否出现 |
| `Bag` | 保留重复次数 | 计数、频次 |
| `Dictionary` | 键到值的映射 | 命名索引 |
| `IdentityDictionary` | 以身份区分键 | 相等值仍需视为不同键 |
| `Interval` | 规则数列 | 数字范围遍历 |
| `LinkedList` | 链式组织 | 研究链节点协议 |
有索引不代表所有集合都使用相同索引语义;数组和序列类的常见索引从 1 开始。
## 四种遍历意图
```smalltalk
#(2 3 4) do: [ :n | n squared ].
#(2 3 4) collect: [ :n | n squared ].
#(2 3 4) select: [ :n | n > 2 ].
#(2 3 4) inject: 0 into: [ :sum :n | sum + n ]
```
`do:` 强调逐个执行,不收集块结果;`collect:` 映射结果;`select:` 保留满足条件的元素;`inject:into:` 累积一个值。依次推演,后三条分别表达平方序列、筛出 3 和 4、求和 9。结果容器类型取决于接收者协议,不能一概写为 Array。
`add:` 的返回值可能是加入的元素;对 Dictionary,`at:put:` 表示设置键值;对固定数组则是替换槽位。共享选择子并不抹平各类的约束。
## 流把位置与内容分开
`ReadStream`、`WriteStream` 和 `ReadWriteStream` 在底层集合之上维护读取或写入位置。`next`、`nextPut:`、`atEnd` 表达逐项读、逐项写和结束判断。`contents` 用于取得流的内容,`position` 与 `reset` 处理位置。
文件流把同一思路扩展到外部文件;原书还介绍 `FileDirectory`。不要把内存流的生命周期直接套给文件:外部资源需关闭,并明确失败与部分写入的处理方式。本文没有运行文件写入示例。
## 练习
对“保留输入顺序并允许重复”“按名称找对象”“统计同一值出现几次”,依次考虑 OrderedCollection、Dictionary、Bag。再问一层:键相等采用什么语义,修改键会不会破坏查找?带着这些问题去浏览实际类的方法,能比背类名得到更多信息。
+35
View File
@@ -0,0 +1,35 @@
# 进程与同步:协作执行的对象
> 原书依据:第 13 章,印刷页 91–95,PDF 页 102–106。
原书的 `Process` 是 Smalltalk 镜像中的执行活动。不能把这个名字直接解释为操作系统进程,也不能据此推断多核并行。
## 四类对象的分工
| 类 | 作用 |
| --- | --- |
| `Process` | 表示可恢复、可挂起的执行活动 |
| `ProcessorScheduler` | 按调度策略管理执行活动 |
| `Delay` | 表示一定时间的等待 |
| `Semaphore` | 协调活动之间的等待与信号 |
块可以作为执行活动的计算内容。是否立即运行、以什么优先级运行,要看创建和启动协议;不要把“创建 Process”和“已经执行完成”混为一谈。
## 等待不是空转
Delay 表达经过一段时间后再继续。Semaphore 的 `wait` 与 `signal` 表达同步关系。等待活动暂停后,其他可运行活动可以继续推进;反复检查共享变量的循环则可能消耗执行时间。
```text
消费者:等待信号 → 检查共享状态 → 取出结果
生产者:准备结果 → 更新共享状态 → 发出信号
```
这是一张概念顺序图,不是可直接运行的队列实现。仅有信号量不代表共享集合访问自动安全,还要定义互斥、空队列、重复信号和退出条件。
## 阅读调度代码的顺序
先找创建与启动位置,再找可能挂起的位置,最后沿恢复路径检查共享状态。重点记录“此处继续执行时,其他活动可能改过什么”。原书的优先级说明属于该系统调度模型,不是跨实现的性能保证。
## 思考题
如果发送信号后才写入结果,消费者恢复时能否看见完整状态?这取决于调度与同步保证;设计时应先完成状态转换,再通过约定的同步协议通知。研究时也要核对目标 VM 的具体行为。本教程未运行并发或调度测试。
+49
View File
@@ -0,0 +1,49 @@
# 图形系统:坐标、位图与绘制
> 原书依据:第 14–15 章,印刷页 96–117,PDF 页 107–128。
图形对象不是外接的独立语言。坐标、矩形、位图、光标和绘图动作都通过消息协议组织。
## Point 与 Rectangle
```smalltalk
12 @ 18
(12 @ 18) x
(12 @ 18) y
```
`@` 是向数字发送的二元消息,产生一个 Point。后两条分别取 x 与 y。因为 `@` 和 `+` 同为二元消息,混用时最好加括号。
Rectangle 表示矩形区域。阅读构造调用时要分清传入的是角点还是尺寸;阅读几何操作时要区分包含、相交、平移和缩放。边界点是否包含应核对具体方法,不能只凭图形直觉。
## 坐标系必须写在图旁
原书图形环境的屏幕坐标通常从左上向右下增加;数学曲线常要求 y 轴向上。因此绘制之前要说明对象坐标与显示坐标之间的转换。
```text
模型坐标 → 视图变换 → 显示坐标 → 裁剪 → 像素绘制
```
相同点在不同视图中可以对应不同屏幕位置。移动视口时只改变显示映射,不应顺便改变领域模型中的坐标。
## 从存储到绘制
| 对象 | 阅读重点 |
| --- | --- |
| `Bitmap` | 像素位信息的底层存储 |
| `DisplayObject` | 可显示对象的公共概念 |
| `DisplayText` | 文本的图形表示 |
| `Form` | 位图图像、尺寸与显示属性 |
| `Cursor` | 光标图形 |
| `DisplayScreen` | 屏幕显示对象 |
| `Path` | 图形路径 |
| `BitBlt` | 源区域到目标区域的位图传输与组合 |
| `Pen` | 以位置和移动描述绘图 |
研究 BitBlt 时记录源、目标、传输区域、裁剪范围和组合规则。它涉及像素组合,不只是语言层面的对象复制。Form 的副本若共享底层位图,修改像素仍可能影响原图;这与对象协议篇的浅复制问题相连。
## 曲线绘制的最小思路
把函数保存为块,对一系列 x 求 y,转换成显示点,再用线段连接。采样步长越大,细节越容易丢失。固定采样不是精度保证;异常值、坐标越界和不连续曲线都需要额外策略。
这是对原书曲线案例的阅读提示,不是新增的绘图运行时。下一篇先介绍如何借助系统工具观察这些对象,再进入 MVC 的连接过程。
@@ -0,0 +1,47 @@
# 开发环境:浏览、检查与调试
> 原书依据:第 6 章、第 16–19 章,印刷页 26–30、118–149,PDF 页 37–41、129–160。
原书使用三键鼠标与特定窗口菜单。现代阅读时,保留动作的目的:求值、查找行为、检查对象、定位调用现场。具体菜单位置和快捷键以使用的镜像为准。
## 从工作区开始
Workspace 是编辑和求值表达式的空间。原书区分执行选中文本的 `do it` 与执行后显示返回值的 `print it`。检查器则让你观察得到的对象。
```smalltalk
OrderedCollection new inspect
```
这段表达式会请求打开对象检查器;它不是网页中的交互按钮。运行前应准备具有相应 GUI 工具的镜像。
## Browser 看行为,Inspector 看状态
| 工具 | 主要问题 | 需要记录 |
| --- | --- | --- |
| Browser | 方法定义在哪里? | 类侧或实例侧、协议分类、定义类 |
| Inspector | 这个对象现在引用了什么? | 对象身份、槽位、子对象 |
| Debugger | 执行为什么到这里? | 调用链、接收者、参数、临时变量 |
| 文件浏览工具 | 源码怎样导入导出? | 文件内容、导入动作与当前镜像变化 |
| Form/Bit Editor | 图形数据怎样变化? | 图像对象与像素编辑结果 |
Browser 常按类分类、类、协议、方法逐层选择。协议分类是组织方法的标签,不应与消息选择子或语言类型系统混同。
## 沿选择子阅读源码
1. 在 Browser 中找到一个方法,确认实例侧还是类侧。
2. 查看 implementors,比较相同选择子在不同类中的实现。
3. 查看 senders,找出哪些方法发送这条消息。
4. 查实例变量引用,理解状态由谁读写。
5. 对具体对象求值并 inspect,核对静态阅读与实际状态是否一致。
senders 反映可被工具识别的引用;使用 `perform:` 的动态调用可能需要另外追踪。只看到一个实现者,也不能直接推断所有调用都落到它。
## 调试的四个视角
原书 Debugger 把调用链、代码、接收者检查器和局部变量检查器放在一起。某个对象不理解消息时,先检查接收者实际是什么,再检查参数,最后追踪调用者为何给它发送这个选择子。
修改运行系统中的方法可能影响其他窗口。为了复现,单独记录实验类、方法文本、镜像版本和预期结果,不把手工修复后的镜像当作原始系统状态。
## 一个建议实验
创建本教程的 StudyCounter,求值并 inspect;调用 increment 后再看 count;随后在 Browser 中查 value 的实现。实验将“表达式结果、对象状态、方法定义”连成一条路线。此实验尚未在本次任务执行。
+61
View File
@@ -0,0 +1,61 @@
# MVC 与曲线案例:连接数据和界面
> 原书依据:第 20–21 章,印刷页 150–174,PDF 页 161–185。曲线应用位于印刷页 167–174。
Smalltalk-80 的 MVC 是桌面交互对象之间的协作。不要直接把 View、Controller 与 Web 请求处理器或某个现代框架组件一一等同。
## 输入与职责
原书先介绍 `InputState` 与 `InputSensor`,再讨论 View、Controller 和 ControlManager。输入状态、输入读取和交互控制是相邻但不同的责任。
| 角色 | 保存或处理什么 | 对曲线应用的意义 |
| --- | --- | --- |
| Model | 应用数据与状态转换 | 曲线文本列表及当前选择 |
| View | 读取模型并显示,管理视图几何 | 列表显示、曲线图形 |
| Controller | 输入处理与操作协调 | 选择、菜单、编辑动作 |
| ControlManager | 活动控制器的管理 | 协调窗口交互 |
一个模型可以有多个视图。视图和控制器组成显示与交互的配对关系;模型不需要直接包含像素绘制代码。
## window 与 viewport
原书的 View 既有自身坐标范围,也有放到上层视图中的区域。曲线区域将数学坐标映射到窗口子区域,以便 y 轴向上,而屏幕坐标保持其约定。
调试错误显示时,先核对数据,再核对 window、viewport 和显示变换。模型数值正确不等于变换正确。
## 曲线案例的对象结构
原书以 `CurveList` 继承 `OrderedCollection`,增加当前曲线选择;以 `CurveListView` 继承 `View`,重定义绘制行为。列表视图复用 SelectionInListView,并用选择子告诉它如何访问列表、读取选择、改变选择和取得菜单。
```text
窗口 StandardSystemView
├─ 列表子视图 ──读写──→ CurveList
└─ 曲线子视图 ──读取──→ 同一个 CurveList
│
状态变化通知
↓
更新依赖视图
```
类名在扫描 OCR 中存在大小写混淆,本文按语义统一写作 CurveList 和 CurveListView;安装原版代码前应以页面图像与镜像类名复核。
## 追踪一次选择
1. 用户在列表中选择一条曲线。
2. 交互对象通过配置的选择子更新模型的当前选择。
3. 模型发送改变通知。
4. 依赖视图接收更新并重新读取模型。
5. 曲线视图清理绘制区域,将选择的文本求值为块。
6. 对采样点执行块,通过显示变换绘出折线。
这里“文本 → 块”是编译求值,不是普通数据解析。原书在可信镜像中演示原型编程;把这一机制用于接收外部输入的服务,需要另行设计输入语言与隔离策略。本文页面不执行用户代码。
## 增删改也是模型转换
添加曲线会收集文本、追加列表、重置选择并通知;删除会移除当前项、清空选择并通知;修改会替换列表中的相应文本,再使显示更新。无选择时的菜单与有选择时不同。
这说明通知应该位于状态转换之后,让所有视图看到一致状态。曲线文本、当前选择与显示结果应作为三个不同层次检查。
## 迁移设计思想
可以借鉴的组织方式是:将领域状态集中在模型,让输入动作调用明确的状态转换,由订阅者负责刷新显示。原书具体的窗口类、编译器调用和采样算法仍属于历史实现。本教程没有复原完整 GUI 程序或声称它已在当代实现中运行。
+68
View File
@@ -0,0 +1,68 @@
# 术语、练习与原书对照
> 来源范围:全书主要章节;各主题的精确印刷页与 PDF 页见[总览](/docs/source-studies/smalltalk/overview)。本篇练习和术语释义为整理者编写。
## 术语速查
| 原词 | 本文译法 | 区分要点 |
| --- | --- | --- |
| object | 对象 | 有身份、状态和行为的实体 |
| receiver | 接收者 | 本次消息发给谁 |
| message | 消息 | 对接收者的行为请求 |
| selector | 选择子 | 消息的名称,如 at:put: |
| method | 方法 | 某类提供的响应实现 |
| class / instance | 类 / 实例 | 行为组织与由其描述的对象 |
| metaclass | 元类 | 类对象所属的类 |
| protocol | 协议 | 一组协作消息;Browser 中也用于分类 |
| block | 块 | 延迟求值的计算对象 |
| cascade | 级联 | 以分号向同一接收者继续发送 |
| primitive | 原语 | 由虚拟机支持的底层操作 |
| identity / equality | 身份 / 相等 | 同一对象与值意义上的相等 |
| shallow copy | 浅复制 | 复制外层但可能共享内部对象 |
| dependent | 依赖者 | 注册后接收模型变化通知的对象 |
| image | 镜像 | 保存并运行对象系统的状态载体 |
| workspace | 工作区 | 编辑与求值表达式的工具 |
| browser | 类浏览器 | 查看、编辑类与方法的工具 |
| inspector | 对象检查器 | 查看具体对象状态的工具 |
| window / viewport | 坐标窗口 / 视口 | 自身坐标范围与显示映射区域 |
## 预测结果
以下是语义练习,答案为推演,未运行。
| 问题 | 答案与原因 |
| --- | --- |
| `2 + 3 * 4` | 20,二元消息从左到右 |
| `2 + (3 * 4)` | 14,括号改变次序 |
| `[ :x | x + 2 ] value: 5` | 7,value: 触发块求值 |
| 方法只有 `count := 9` 时返回什么? | 接收者,方法无显式返回 |
| B 中的方法对 C 实例发送 super 消息,从哪查找? | 从 B 的父类开始,接收者仍是 C 实例 |
| 浅复制后替换副本某个槽位,是否替换原件槽位? | 不会;修改共享子对象才可能双方可见 |
| do: 能否代替 collect: 收集块结果? | 不能直接代替,两者协议目的不同 |
| 给模型发送 changed: 是否自动修改模型数据? | 不应这样理解;先完成修改,再通知依赖者 |
## 三次源码阅读练习
**消息路线**:选择一个集合的 `size`,找实际定义类,再查看一个发送者;记录“接收者类 → 继承链 → 方法”。
**状态路线**:创建两个指向同一集合的变量,画引用图;再复制外层容器,比较替换槽位与修改子对象的差别。
**界面路线**:对原书曲线案例画出选择、修改模型、通知、重绘与显示变换,注明每一步所在对象。
完成实验时另记镜像名称、版本、源代码、实际输出和差异。本次任务只完成文档整理,没有运行这些实验。
## 扫描校勘与适用边界
| 扫描问题 | 本文处理 |
| --- | --- |
| 箭头被识别成 `<-`、字母或感叹号 | 赋值统一为 :=,返回统一为 ^ |
| Smalltalk-80 被识别成 Smalltalk-SO | 依据书名与语境规范化 |
| 选择子被拆开、类名大小写混淆 | 行文合并;具体 API 安装前再核对原页 |
| 第 4 章个别科学计数法示例数位不一致 | 不沿用异常数值作为例题 |
| 后部 GUI 源码嵌在截图中 | 解释调用结构,不将 OCR 文本冒充可运行源码 |
原书是学习 Smalltalk-80 系统的资料,不是本文对所有 Smalltalk 方言兼容性的承诺。全文以语义重述和新增短例组织;没有把原始扫描件、OCR 全文或本机下载路径发布到网站。
## 后续核验清单
准备目标镜像后,可分别验证类定义消息、初始化约定、块返回边界、数值除法、集合返回类型、信号量时序,以及 MVC 选择子与坐标变换。核验结果应与本文的语义推演分别记录,避免把“读过”写成“运行通过”。
File diff suppressed because it is too large Load Diff
+295
View File
@@ -0,0 +1,295 @@
{
"version": "2026-10-30-10",
"scopeConfirmedAt": "2026-10-30",
"acceptance": "以确认的公开来源清单为边界,逐条核对并标明缺项。",
"provenance": "S01—S12恢复自已提交用户的《AI公司研究_来源与分类模板》来源清单;S13—S16单列后续已使用的补充证据渠道,不将使用次数当作全量覆盖。",
"sources": [
{
"id": "S01",
"name": "Y Combinator",
"url": "https://www.ycombinator.com/companies",
"role": "discovery",
"status": "candidate-audit",
"hosts": [
"www.ycombinator.com"
],
"initialAccess": "官网目录可访问",
"boundary": "已读取八个2025—2026批次镜像候选池1428条,再核YC官方页面;不声称覆盖全部YC历年或未公开公司。",
"nextCheck": "继续复核规则初分和缺项;候选明细见逐条台账。",
"limitation": "批次不等于成立年;不代表全部公司"
},
{
"id": "S02",
"name": "TechCrunch AI",
"url": "https://techcrunch.com/category/artificial-intelligence/",
"role": "reporting",
"status": "targeted",
"hosts": [
"techcrunch.com"
],
"initialAccess": "AI栏目可读取",
"boundary": "栏目首页选择的3条公司线索已追溯原始资料:Wabi据公开名录2025年份关联公司;DreamHQ与Thrive Holdings成立年待核,后者2025发布公告另存。不是首页全部条目或两年档案;公开分类接口与RSS普通HTTP请求返回403。",
"nextCheck": "补可公开取得的2025、2026档案及剩余分页;核DreamHQ、Thrive Holdings成立依据及Wabi精确注册、团队和付费口径。",
"limitation": "需追溯原始披露,部分文章受访问限制",
"accessRecheckedAt": "2026-10-30"
},
{
"id": "S03",
"name": "Dealroom",
"url": "https://dealroom.co/",
"role": "discovery",
"status": "targeted",
"hosts": [
"dealroom.co",
"app.dealroom.co"
],
"initialAccess": "官网可读取",
"boundary": "已读Tana与Wabi公开公司档案:前者财务字段不一致留缺,后者2025成立字段与官方业务关联入表;尚未取得两年成立筛选结果集,两个个案不等于目录全量。",
"nextCheck": "确认公开可取得的两年成立筛选清单;逐项追溯财务原始凭证及字段口径,受权限限制保留缺项。",
"limitation": "完整档案需权限;概览及财务表不能未经勾稽直接导入ARR",
"accessRecheckedAt": "2026-10-30"
},
{
"id": "S04",
"name": "Product Hunt",
"url": "https://www.producthunt.com/",
"role": "discovery",
"status": "targeted",
"hosts": [
"www.producthunt.com",
"producthunt.com"
],
"initialAccess": "官网可读取",
"boundary": "2026与2025年度档案各登记首个公开响应19条,共38条候选/推广;2025另有一个仅图片位置未解析。已逐条保留关联、范围外与年份待核状态,未穷尽两年档案。",
"nextCheck": "继续补两年其余分页/日期、仅图片位置及18条年份待核候选;保留Pazi日期冲突,核清品牌与主体,避免转移历史业绩。",
"limitation": "上线时间不等于成立时间",
"accessRecheckedAt": "2026-10-30"
},
{
"id": "S05",
"name": "Sacra",
"url": "https://sacra.com/",
"role": "estimation",
"status": "targeted",
"hosts": [
"sacra.com"
],
"initialAccess": "官网可读取",
"boundary": "已用于定向估算及日期口径交叉核查;无全站公司名录读取台账。",
"nextCheck": "保留估算与公司披露差异,核实历史截至日。",
"limitation": "部分付费;不能把估算当审计数"
},
{
"id": "S06",
"name": "Bessemer",
"url": "https://www.bvp.com/atlas/the-state-of-ai-2025",
"role": "context",
"status": "context",
"hosts": [
"www.bvp.com",
"bvp.com"
],
"initialAccess": "报告页面可读取",
"boundary": "主动选取20家高增长AI企业,含组合内外公司;非随机普查;已核方法与增长/毛利基准段;未取得20家逐公司底表。仅背景基准,不构成两年新公司名录。",
"nextCheck": "高增长选样和投资机构利益关系;不能把头部样本均值当各领域平均或新成立公司总体;需要公开可核底表时另补,不把缺项当已完成。",
"limitation": "投资机构选样偏差",
"accessRecheckedAt": "2026-10-30",
"methodology": {
"sample": "主动选取20家高增长AI企业,含组合内外公司;非随机普查",
"unit": "企业增长与毛利基准,按商业化后的第几年比较",
"period": "2025-08-13报告;商业化年数不等法律成立年",
"access": "已核方法与增长/毛利基准段;未取得20家逐公司底表",
"use": "用于提出留存、毛利、资本效率假设及分类线索",
"limit": "高增长选样和投资机构利益关系;不能把头部样本均值当各领域平均或新成立公司总体",
"evidenceIds": [
"CTX-BVP"
],
"checkedAt": "2026-10-30"
}
},
{
"id": "S07",
"name": "Menlo Ventures",
"url": "https://menlovc.com/perspective/2025-the-state-of-generative-ai-in-the-enterprise/",
"role": "context",
"status": "context",
"hosts": [
"menlovc.com",
"www.menlovc.com"
],
"initialAccess": "报告页面可读取",
"boundary": "495名美国企业AI采购/开发决策者,企业已主动使用AI;已核公开方法、范围及限制;受访个体与公司估算底表未取得。仅背景基准,不构成两年新公司名录。",
"nextCheck": "仅美国企业;排除芯片、推理/模型服务及既有软件内嵌AI功能,不能与包含这些项目的总量直接比较或分摊为单家公司ARR;需要公开可核底表时另补,不把缺项当已完成。",
"limitation": "口径与样本需查看方法说明",
"accessRecheckedAt": "2026-10-30",
"methodology": {
"sample": "495名美国企业AI采购/开发决策者,企业已主动使用AI",
"unit": "采购调查与自下而上的市场支出估算,非公司逐项ARR",
"period": "2025-11-07至11-25调查,市场判断截至2025-12",
"access": "已核公开方法、范围及限制;受访个体与公司估算底表未取得",
"use": "用于买家、采购方式和任务方向假设",
"limit": "仅美国企业;排除芯片、推理/模型服务及既有软件内嵌AI功能,不能与包含这些项目的总量直接比较或分摊为单家公司ARR",
"evidenceIds": [
"CTX-MENLO"
],
"checkedAt": "2026-10-30"
}
},
{
"id": "S08",
"name": "Stripe",
"url": "https://stripe.com/annual-updates/2025",
"role": "context",
"status": "context",
"hosts": [
"stripe.com",
"www.stripe.com",
"assets.stripeassets.com"
],
"initialAccess": "年度信可读取",
"boundary": "2025年开始使用Stripe的商户分组,另有Atlas注册企业分组;已读并视觉核对PDF第1、3页;未取得商户明细与完整分组计算底表。仅背景基准,不构成两年新公司名录。",
"nextCheck": "开始使用平台不等成立年,也非AI公司专属样本;交易量不等Stripe收入,门槛数量翻倍不等ARR均值翻倍;不与TrustMRR公开者样本混算;需要公开可核底表时另补,不把缺项当已完成。",
"limitation": "平台样本不能代表全部AI公司",
"accessRecheckedAt": "2026-10-30",
"methodology": {
"sample": "2025年开始使用Stripe的商户分组,另有Atlas注册企业分组",
"unit": "平台交易量、商户增长及达到收入门槛的数量;分母不同",
"period": "2025年度;2026-02-24年度信",
"access": "已读并视觉核对PDF第1、3页;未取得商户明细与完整分组计算底表",
"use": "用于支付、全球市场及首次收费速度假设",
"limit": "开始使用平台不等成立年,也非AI公司专属样本;交易量不等Stripe收入,门槛数量翻倍不等ARR均值翻倍;不与TrustMRR公开者样本混算",
"evidenceIds": [
"CTX-STRIPE"
],
"checkedAt": "2026-10-30"
}
},
{
"id": "S09",
"name": "SaaS Capital",
"url": "https://www.saas-capital.com/research/",
"role": "context",
"status": "context",
"hosts": [
"www.saas-capital.com",
"saas-capital.com"
],
"initialAccess": "研究页可读取",
"boundary": "第15次年度调查,超过1000家私营B2B SaaS公司;仅读公开摘要;完整下载需填写表单,未提交表单或取得完整底表。仅背景基准,不构成两年新公司名录。",
"nextCheck": "样本不是两年新AI公司;增长率中位数不能当ARR中位数;完整抽样与指标细节仍缺,不外推至硬件、项目服务或所有AI模式;需要公开可核底表时另补,不把缺项当已完成。",
"limitation": "不直接套用硬件与项目制业务",
"accessRecheckedAt": "2026-10-30",
"methodology": {
"sample": "第15次年度调查,超过1000家私营B2B SaaS公司",
"unit": "2025年度增长率与留存等公开摘要;非ARR金额分布",
"period": "2026报告回顾2025增长;不把报告年当公司成立年",
"access": "仅读公开摘要;完整下载需填写表单,未提交表单或取得完整底表",
"use": "用于B2B订阅软件的规模、融资和留存分层假设",
"limit": "样本不是两年新AI公司;增长率中位数不能当ARR中位数;完整抽样与指标细节仍缺,不外推至硬件、项目服务或所有AI模式",
"evidenceIds": [
"CTX-SAASCAP"
],
"checkedAt": "2026-10-30"
}
},
{
"id": "S10",
"name": "机器之心",
"url": "https://www.jiqizhixin.com/",
"role": "reporting",
"status": "targeted",
"hosts": [
"www.jiqizhixin.com",
"jiqizhixin.com",
"pro.jiqizhixin.com"
],
"initialAccess": "首页可读取",
"boundary": "已登记4篇定向检索线索;三篇直达仅登录外壳,一篇读取失败。2项经公开原始资料补证关联公司,1项范围外,1项仍待核;未阅读全文或穷尽两年档案。",
"nextCheck": "补公开可读文章、2025档案及Utopai原始成立材料;受限正文留缺,不以搜索摘录代全文。",
"limitation": "全文访问受限;仅作发现时明确标识,技术和财务另追原始资料",
"accessRecheckedAt": "2026-10-30"
},
{
"id": "S11",
"name": "36氪",
"url": "https://www.36kr.com/",
"role": "reporting",
"status": "access-limited",
"hosts": [
"www.36kr.com",
"36kr.com"
],
"initialAccess": "安全检测,内容未核验",
"boundary": "2026-10-30仍返回安全检测页面,未把首页作为已读文章。",
"nextCheck": "使用可公开读取的具体文章或其他原始来源;不绕过访问保护。",
"limitation": "暂不作为已读取内容证据",
"accessRecheckedAt": "2026-10-30"
},
{
"id": "S12",
"name": "公司官网与官方博客",
"url": null,
"role": "primary",
"status": "per-company",
"hosts": [],
"initialAccess": "按公司逐一核验",
"boundary": "公司官网和官方材料逐条绑定证据;不是可预先列尽的全站候选池。",
"nextCheck": "核定价、主体、交付与收入定义,自述与独立验证分开。",
"limitation": "自述不等于独立审计"
},
{
"id": "S13",
"name": "TrustMRR",
"url": "https://trustmrr.com/",
"role": "platform",
"status": "targeted",
"hosts": [
"trustmrr.com"
],
"initialAccess": "见具体证据访问记录",
"boundary": "已采集产品与支付快照;公开者自选,不是全部商户或独立财务审计。",
"nextCheck": "核同步日、连接失效、支付平台公式及产品/法人归属。",
"limitation": "来源可读不等于声明已独立验证。"
},
{
"id": "S14",
"name": "a16z Speedrun",
"url": "https://speedrun.a16z.com/",
"role": "investor",
"status": "targeted",
"hosts": [
"speedrun.a16z.com"
],
"initialAccess": "见具体证据访问记录",
"boundary": "投资机构公司介绍定向样本,收入数字仍多来自公司。",
"nextCheck": "核币种、相对时间及管线/履历;未读取的页面保持缺项。",
"limitation": "来源可读不等于声明已独立验证。"
},
{
"id": "S15",
"name": "Artificial Analysis",
"url": "https://artificialanalysis.ai/",
"role": "technical",
"status": "targeted",
"hosts": [
"artificialanalysis.ai"
],
"initialAccess": "见具体证据访问记录",
"boundary": "第三方已发表技术评测,仅覆盖所列模型版本和任务。",
"nextCheck": "核榜单版本、测评方法及置信区间,不将排名变成企业整体能力。",
"limitation": "来源可读不等于声明已独立验证。"
},
{
"id": "S16",
"name": "其他公开补充资料",
"url": null,
"role": "supplement",
"status": "targeted",
"hosts": [],
"initialAccess": "见具体证据访问记录",
"boundary": "未归入上述来源的公开材料按原始证据链接逐条保留;不视为新增已批准的完整候选池。",
"nextCheck": "逐项核来源归属、可靠性及可读正文,不能将搜索摘要当全文。",
"limitation": "来源可读不等于声明已独立验证。"
}
]
}
+1 -1
View File
@@ -1,5 +1,5 @@
{
"sourceVersion": "2026-10-30-depth-3",
"sourceVersion": "2026-10-30-context-1",
"asOf": "2026-10-30",
"metric": "platform-mrr-usd",
"sampleUnit": "product-or-business",
+135
View File
@@ -9,10 +9,140 @@ from urllib.parse import urlsplit
ROOT = Path(__file__).resolve().parents[1]
DATA = json.loads((ROOT / 'content/research/ai-companies.seed.json').read_text())
AUDIT = json.loads((ROOT / 'content/research/ai-companies.coverage.json').read_text())
SOURCES = json.loads((ROOT / 'content/research/ai-companies.sources.json').read_text())
TARGET = ROOT / 'content/docs/ai-company-research/02-coverage-and-gaps.md'
BASE = '/docs/other-research/ai-company-research/overview'
def source_register():
sources = SOURCES['sources']
ids = {s['id'] for s in sources}
assert len(ids) == len(sources) and ids == {f'S{i:02}' for i in range(1, 17)}
assert SOURCES['scopeConfirmedAt'] <= DATA['asOf']
host_map = {}
for source in sources:
assert source['status'] in {'candidate-audit', 'targeted', 'pending', 'context', 'access-limited', 'per-company'}
assert source['boundary'] and source['nextCheck']
if source['url']:
assert urlsplit(source['url']).scheme in {'http', 'https'} and urlsplit(source['url']).netloc
for host in source['hosts']:
assert host not in host_map, f'Duplicate source host: {host}'
host_map[host] = source['id']
assigned = {key: [] for key in ids}
for evidence in DATA['evidence']:
owner = host_map.get(urlsplit(evidence['url']).netloc)
if owner is None:
owner = 'S12' if any(word in evidence['kind'] for word in ('官方', '公司自述', '公司披露')) else 'S16'
assigned[owner].append(evidence)
assert sum(len(v) for v in assigned.values()) == len(DATA['evidence'])
statuses = {'candidate-audit': '候选池逐条已读', 'targeted': '定向使用,未穷尽', 'pending': '候选台账待建',
'context': '背景研究', 'access-limited': '访问受限', 'per-company': '随公司逐条核对'}
lines = ['', '## 来源清单与验收边界', '', SOURCES['provenance'], '',
'每条证据在下表只计入一个渠道:先按所列域名归属,再将类型明确标为官方/公司自述/公司披露的剩余项计入S12,其余计入S16。公司可跨渠道出现,所以公司数不可跨行相加。零条证据表示尚未进入研究表,不表示该来源没有相关公司。背景报告不承担公司发现全集的角色。', '',
'| 来源 | 当前状态 | 证据 / 公司 / 观测数 | 已核对范围 | 剩余核查 |', '| --- | --- | --- | --- | --- |']
for source in sources:
evidence = assigned[source['id']]
evidence_ids = {e['id'] for e in evidence}
company_ids = {e['companyId'] for e in evidence if e['companyId']}
observations = sum(o['evidence'] in evidence_ids for o in DATA['observations'])
name = f"[{source['name']}]({source['url']})" if source['url'] else source['name']
lines.append(f"| {source['id']} {name} | {statuses[source['status']]} | {len(evidence)} / {len(company_ids)} / {observations} | {source['boundary']} | {source['nextCheck']} |")
lines += ['', 'Dealroom、Product Hunt、机器之心与36氪入口于2026-10-30重新访问。官网首页可读不证明已取得完整筛选结果;安全检测页面不作为文章内容。候选池之外的来源边界尚需建立可回查条目,完成前不宣布来源清单已全部覆盖。', '']
return lines
def context_methods():
evidence = {e['id']: e for e in DATA['evidence']}
rows = [s for s in SOURCES['sources'] if s.get('methodology')]
assert {s['id'] for s in rows} == {'S06', 'S07', 'S08', 'S09'}
lines = ['', '## 背景基准适用性与缺项', '',
'以下核对背景资料的方法及适用范围,不是公司名录的完整覆盖。原始方法记录与全局核查随研究版本进入同一数据库;没有把行业汇总值新增为任何公司的收入观测。', '',
'| 来源与证据 | 样本与统计单位 | 时间 | 本次读取范围 | 可用于什么 | 主要限制 |',
'| --- | --- | --- | --- | --- | --- |']
for source in rows:
m = source['methodology']
assert m['checkedAt'] <= DATA['asOf']
assert all(m.get(key) for key in ('sample', 'unit', 'period', 'access', 'use', 'limit', 'evidenceIds'))
assert all(eid in evidence and evidence[eid]['companyId'] is None for eid in m['evidenceIds'])
assert not any(o['evidence'] in m['evidenceIds'] for o in DATA['observations'])
proof = '、'.join(f"[{eid}]({evidence[eid]['url']})" for eid in m['evidenceIds'])
lines.append(f"| {source['id']} {source['name']}:{proof} | {m['sample']};{m['unit']} | {m['period']} | {m['access']} | {m['use']} | {m['limit']} |")
lines += ['', '本表的应用解释属于研究判断。选样、分母、时间或指标不同会造成表观差异;这些差异不单独证明财务造假,也不能作为给未知公司填补收入的依据。', '']
return lines
def candidate_register():
batches = DATA.get('candidateBatches', [])
companies = {c['id']: c for c in DATA['companies']}
categories = {c['id']: c['name'] for c in DATA['categories']}
known_sources = {s['id'] for s in SOURCES['sources']}
evidence = {e['id']: e for e in DATA['evidence']}
assert len({b['id'] for b in batches}) == len(batches)
all_ids = [r['id'] for b in batches for r in b['records']]
assert len(set(all_ids)) == len(all_ids)
lines = []
statuses = {'pending-year': '成立年待核', 'linked': '已关联公司',
'existing-outside-cohort': '已有关联,年份范围外',
'outside-cohort': '成立年范围外,不新增公司', 'promotion': '推广活动,非公司新增'}
for batch in batches:
assert batch['sourceId'] in known_sources
assert batch['accessedAt'] <= DATA['asOf']
assert any(e['url'] == batch['url'] for e in DATA['evidence'])
rows = batch['records']
counts = Counter(r['status'] for r in rows)
assert sum(counts.values()) == len(rows)
lines += ['', f"## {batch['sourceId']} 候选核对({batch['id']})", '',
f"[发现页面]({batch['url']}),读取于{batch['accessedAt']}。{batch['scope']}", '',
f"本批{len(rows)}条:{counts['linked']}条关联公司、{counts['existing-outside-cohort']}条关联范围外对照、{counts['outside-cohort']}条范围外不新增公司、{counts['pending-year']}条成立年待核、{counts['promotion']}条推广活动。完整来源覆盖标记:{'已完成' if batch['complete'] else '未完成'}。主营或产品任务的初分类不计入主公司表数量,只有已关联的公司记录进入对应公司明细。候选与缺项随研究版本保存在文档站同一SQLite的研究元数据中。", '',
'| 发现条目 | 主营或产品任务初分 | 核对状态 | 关联公司 | 核对证据 | 限制 |', '| --- | --- | --- | --- | --- | --- |']
for row in rows:
assert row['categoryId'] in categories
assert row['status'] in statuses
assert all(eid in evidence for eid in row.get('evidenceIds', []))
if row['status'] == 'outside-cohort':
assert row.get('evidenceIds') and not row.get('companyId')
name = f"[{row['name']}]({row['url']})" if row['url'] else row['name']
company = '—'
if row.get('companyId'):
assert row['companyId'] in companies
c = companies[row['companyId']]
company = f"[{c['name']}]({BASE}?company={c['id']}#research-company-detail)"
proof = '、'.join(f"[{eid}]({evidence[eid]['url']})" for eid in row.get('evidenceIds', [])) or '成立证据待补,产品页读取状态见候选记录'
category = f"[{categories[row['categoryId']]}]({BASE}?category={row['categoryId']})"
lines.append(f"| {name} | {category} | {statuses[row['status']]} | {company} | {proof} | {row['note']} |")
if batch['sourceId'] == 'S04':
lines += ['', '产品页可读只表示有可访问的资料;本批未将所有产品页完成公司、技术或财务深查。既有直接HTTP采集返回403,当前采用可读的公开页面响应,不声称取得底层全量列表;后续公开档案与未读页面继续保留缺项。', '']
else:
lines += ['', '发现条目和可读正文分开记录;登录外壳、读取失败或搜索摘录不充当已阅读全文。关联公司以列出的原始材料补证,仍保留技术、主体与收入未核事项。', '']
return lines
def directory_rechecks():
rows = DATA.get('directoryRechecks', [])
if not rows:
return []
original = {row['ycId']: row for row in AUDIT['records']}
companies = {c['id']: c for c in DATA['companies']}
evidence = {e['id']: e for e in DATA['evidence']}
assert len({row['ycId'] for row in rows}) == len(rows)
lines = ['', '## 原候选池的后续复核', '',
'原始1,428条读取快照与初筛计数保持不变;下表记录当时未入表、后续补足证据后进入公司表的项目。初筛未通过不是永久排除。后续入表不回写为当时已匹配,也不重复计入928条原始新增目录项。', '',
'| 原候选 | 原始状态 | 后续公司记录 | 复核证据 | 处理与限制 |', '| --- | --- | --- | --- | --- |']
for row in rows:
baseline = original[row['ycId']]
assert baseline['status'] == row['originalStatus']
assert row['reviewedAt'] <= DATA['asOf'] and row['reason']
assert row['originalStatus'] in {'ai-unclear', 'year-outside-or-missing', 'date-conflict'}
company = companies[row['companyId']]
assert row['evidenceIds'] and all(eid in evidence for eid in row['evidenceIds'])
proof = '、'.join(f"[{eid}]({evidence[eid]['url']})" for eid in row['evidenceIds'])
lines.append(f"| [{baseline['name']} · YC{row['ycId']}]({baseline['source']}) | {row['originalStatus']} | [{company['name']}]({BASE}?company={company['id']}#research-company-detail) | {proof} | {row['reviewedAt']}:{row['reason']} |")
lines += ['', f"已记录{len(rows)}条后续复核入表;其余未入表候选仍按原状态保留缺项,不能把这一批复核视为完成全部模糊项。", '']
return lines
def render():
cov = DATA['coverage']
companies = DATA['companies']
@@ -37,6 +167,7 @@ def render():
assert len({x['ycId'] for x in AUDIT['records']}) == len(AUDIT['records'])
lines = ['# AI 公司资料覆盖与缺项', '',
f"截至 {DATA['asOf']},研究表含{len(companies):,}条公司或产品记录。YC候选池有逐条读取审计;其他来源为定向补充。清单尚不能作为全球AI公司普查,也不能将收入未知解释为零。", '',
'验收范围已于2026-10-30确认为:以确认的公开来源清单为边界,逐条核对并标明缺项。下方区分已逐条审计的候选池与定向补充来源;已使用某来源不代表该来源已被完整覆盖。', '',
f"[分类和数据工作台]({BASE})链接原始证据,[收入样本快照](/docs/other-research/ai-company-research/income-snapshot)展示当前可计算的MRR样本。", '',
'## 候选池与公司表的关系', '',
'| 环节 | 记录数 | 含义 |', '| --- | --- | --- |',
@@ -84,6 +215,10 @@ def render():
lines.append(f"| {name} | {len(entries)} | {len({e['url'] for e in entries})} | {note} |")
others = [e for e in DATA['evidence'] if urlsplit(e['url']).netloc not in included]
lines.append(f"| 其他官网、评测及公开资料 | {len(others)} | {len({e['url'] for e in others})} | 按每条来源限制理解,不能统一当作独立证据 |")
lines += directory_rechecks()
lines += source_register()
lines += context_methods()
lines += candidate_register()
lines += ['', '## 尚未满足的研究条件', '',
'行业ARR比较仍缺统一业务截止日、币种、经常性定义和业务边界。现有平台MRR可描述已采集产品,不足以代表全部新公司。技术评测只覆盖所列版本与任务,不宜跨领域汇总为统一强弱分数。', '',
'下一轮优先补收入线索的日期及合同定义、非YC和非英文来源、规则初分的人工复核,以及停止服务或被收购案例。这样能减少“只见赢家”和“只见融资公司”的偏差。公开来源池之外的未披露公司仍无法证明已被穷尽。', '',