Reconcile SR007 contracts, free SDK terms and provider reach

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, 1232);
-    assert.equal(initial.evidence.length, 4797);
-    assert.equal(initial.observations.length, 475);
+    assert.equal(initial.companies.length, 1238);
+    assert.equal(initial.evidence.length, 4816);
+    assert.equal(initial.observations.length, 480);
     const businessReviews = initial.reviews.filter((review) => review.type === businessModelReviewType);
     assert.equal(businessReviews.length, 6);
     assert.deepEqual(businessReviews, seed.reviews.filter((review) => review.type === businessModelReviewType)
@@ -169,7 +169,7 @@ 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, 234);
+  assert.equal(snapshot.reviews.filter((r) => r.scope === "companies").length, 237);
   assert.equal(snapshot.reviews.filter((r) => r.scope === "dataset").length, 145);
   assert.equal(snapshot.reviews.filter((r) => r.scope === "excluded-candidate").length, 53);
   const review = snapshot.reviews.find((r) => r.id === "R4")!;
@@ -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), 1232);
+  assert.equal(summary.reduce((n, c) => n + c.count, 0), 1238);
   assert.equal(summary.reduce((n, c) => n + c.self, 0), 62);
   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), 1149);
+  assert.equal(summary.reduce((n, c) => n + c.unknown, 0), 1155);
   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, 217);
+  assert.equal(snapshot.companies.filter((c) => c.technicalReview).length, 223);
   assert.equal(snapshot.companies.filter((c) => c.technicalReview?.level === "public-artifact").length, 28);
   assert.equal(snapshot.companies.filter((c) => c.technicalReview?.level === "independent-test").length, 1);
   assert.equal(snapshot.companies.find((c) => c.id === "AI051")?.revenueStatus, "unknown");
@@ -567,6 +567,14 @@ test("the public SR007 roster preserves unique entries and Alven's older operato
     "annualized professional-service revenue is not recurring subscription ARR");
   assert.equal(snapshot.companies.find((item) => item.id === "AI137")!.technicalReview!.level, "description",
     "a preliminary external ranking with unresolved methodology is not complete independent verification");
+  const contractFollowup = snapshot.observations.filter((item) => item.id.startsWith("SR007F7-"));
+  assert.equal(contractFollowup.filter((item) => item.selection === "excluded").length, 4);
+  assert.equal(contractFollowup.filter((item) => item.selection === "adoption").length, 1);
+  assert.ok(contractFollowup.every((item) => !item.metric && !item.observedAt));
+  assert.ok(!arrDisclosures(snapshot).some(({ observation }) => observation.id.startsWith("SR007F7-")),
+    "contracted revenue and potential customers' active users cannot become realized ARR");
+  assert.equal(snapshot.companies.find((item) => item.id === "AI144")!.revenueStatus, "unknown",
+    "free current SDK terms and a contracted ARR claim need reconciliation before labeling realized revenue");
 });
 
 test("annual launch archives exclude older companies only with evidence and reuse existing records", () => {
@@ -596,7 +604,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, 153);
+  assert.equal(snapshot.candidateBatches!.flatMap((b) => b.records).filter((r) => r.status === "pending-year").length, 147);
 });
 
 test("product pivots and founder histories do not become new company years or current revenue", () => {