Reconcile SR007 AI scope and separate travel revenue from ARR claims

apps/docs/tests/research.test.ts

@@ -123,9 +123,9 @@ 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, 1218);
-    assert.equal(initial.evidence.length, 4742);
-    assert.equal(initial.observations.length, 463);
+    assert.equal(initial.companies.length, 1222);
+    assert.equal(initial.evidence.length, 4759);
+    assert.equal(initial.observations.length, 467);
     const businessReviews = initial.reviews.filter((review) => review.type === businessModelReviewType);
     assert.equal(businessReviews.length, 4);
     assert.deepEqual(businessReviews, seed.reviews.filter((review) => review.type === businessModelReviewType)
@@ -169,9 +169,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, 226);
+  assert.equal(snapshot.reviews.filter((r) => r.scope === "companies").length, 228);
   assert.equal(snapshot.reviews.filter((r) => r.scope === "dataset").length, 145);
-  assert.equal(snapshot.reviews.filter((r) => r.scope === "excluded-candidate").length, 49);
+  assert.equal(snapshot.reviews.filter((r) => r.scope === "excluded-candidate").length, 51);
   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")!), []);
@@ -190,11 +190,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), 1218);
-  assert.equal(summary.reduce((n, c) => n + c.self, 0), 58);
+  assert.equal(summary.reduce((n, c) => n + c.count, 0), 1222);
+  assert.equal(summary.reduce((n, c) => n + c.self, 0), 59);
   assert.equal(summary.reduce((n, c) => n + c.estimate, 0), 2);
   assert.equal(summary.reduce((n, c) => n + c.platform, 0), 19);
-  assert.equal(summary.reduce((n, c) => n + c.unknown, 0), 1139);
+  assert.equal(summary.reduce((n, c) => n + c.unknown, 0), 1142);
   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 === "公司整体"));
@@ -229,7 +229,7 @@ test("service run rates, legacy freight revenue and paid adoption do not become
 
 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, 203);
+  assert.equal(snapshot.companies.filter((c) => c.technicalReview).length, 207);
   assert.equal(snapshot.companies.filter((c) => c.technicalReview?.level === "public-artifact").length, 27);
   assert.equal(snapshot.companies.filter((c) => c.technicalReview?.level === "independent-test").length, 1);
   assert.equal(snapshot.companies.find((c) => c.id === "AI051")?.revenueStatus, "unknown");
@@ -523,6 +523,23 @@ test("the public SR007 roster preserves unique entries and Alven's older operato
   assert.equal(embrasure.technicalReview!.level, "public-artifact");
   assert.ok(embrasure.technicalReview!.evidenceIds.includes("SR007F3-EMBRASURE-FLOW"),
     "the public connector supports artifact availability, not independently reproduced warehouse performance");
+  for (const name of ["KIRA", "Leonidas"]) {
+    const candidate = batch.records.find((row) => row.name === name)!;
+    assert.equal(candidate.status, "pending-ai",
+      "serving AI customers or using software controls is not evidence of an AI business");
+    assert.equal(candidate.companyId, undefined);
+  }
+  const maestroClaims = arrDisclosures(snapshot).filter(({ company }) => company.id === "AI130");
+  assert.equal(maestroClaims.length, 2, "keep the two original ARR milestones in the evidence ledger");
+  assert.ok(maestroClaims.every(({ observation }) => observation.selection === "historical" &&
+    arrFieldGaps(observation, snapshot.asOf).includes("date") &&
+    arrFieldGaps(observation, snapshot.asOf).includes("currency")));
+  const cumulative = snapshot.observations.find((item) => item.id === "SR007F4-O-MAESTRO-CUMULATIVE")!;
+  assert.equal(cumulative.selection, "historical");
+  assert.equal(cumulative.metric, undefined, "nine-month cumulative revenue cannot become ARR");
+  const contracted = snapshot.observations.find((item) => item.id === "SR007F4-O-HOID-CONTRACT")!;
+  assert.equal(contracted.selection, "excluded");
+  assert.equal(contracted.metric, undefined, "contracted run rate is not realized ARR");
 });
 
 test("annual launch archives exclude older companies only with evidence and reuse existing records", () => {
@@ -552,7 +569,7 @@ test("unreconciled directory financials remain source reviews instead of income
   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, 171);
+  assert.equal(snapshot.candidateBatches!.flatMap((b) => b.records).filter((r) => r.status === "pending-year").length, 165);
 });
 
 test("product pivots and founder histories do not become new company years or current revenue", () => {