V48 Gate 3 (implementation-only): Align deposit tests with formal absolutes and source-safe inventory

Neediness validation now fails closed without Validation-phase formal absolutes,
and pipeline:input projects inventory without full sources. Update pins so Gate
Quality package tests match the G3 deposit law already shipped on this branch.

Author: geraldarthurdavis

packages/pipelines/asset-pack/src/__tests__/deposit-preprocess.test.ts

@@ -135,9 +135,19 @@ describe('deposit-mode preprocess context assembly', () => {
     expect(execution.get('deposit', 'obfuscations')).toEqual(input.obfuscations);
     expect(execution.get('deposit', 'forcedExclusions')).toEqual(['src/secret/**']);
     expect(execution.get('deposit', 'demandContext')).toEqual([{ topic: 'terminal reads', demand: 'high' }]);
+    // Full inventory stays on the deposit data plane for measurement tools.
     expect(execution.get('deposit', 'inventory')).toEqual({ assetCount: 2 });
     expect(execution.get('pipeline', 'synthesizeMode')).toBe('deposit');
-    expect(execution.get('pipeline', 'input')).toBe(input);
+    // pipeline:input is telemetried — inventory is projected without sources
+    // (path/sample counts only). Full sources live only on deposit:inventory.
+    expect(execution.get('pipeline', 'input')).toMatchObject({
+      mode: 'deposit',
+      inventory: {
+        sourceFileCount: 0,
+      },
+    });
+    expect(execution.get('pipeline', 'input').inventory).not.toHaveProperty('sources');
+    expect(execution.get('pipeline', 'input').inventory).not.toHaveProperty('assetCount');
     // Consumer resolution from a phase sibling's subtree.
     expect(execution.child('probe').findUp('deposit', 'inventory')).toEqual({ assetCount: 2 });
 

packages/pipelines/asset-pack/src/__tests__/neediness.test.ts

@@ -37,6 +37,25 @@ describe('neediness (deposit preview of read Need-fit, v0)', () => {
   });
 
   it('attaches neediness to deposit candidates and omits it for read', () => {
+    // Gate 3 Validation attaches formal absolutes; the validator fails closed without them.
+    const formalAbsolutes = [
+      {
+        measurementKind: 'function-count',
+        label: 'Functions',
+        weight: 0.12,
+        volume: 0.7,
+        category: 'absolute' as const,
+        magnitude: 4,
+        unit: 'functions',
+      },
+      {
+        measurementKind: 'correctness-estimate',
+        label: 'Correctness',
+        weight: 0.18,
+        volume: 0.8,
+        category: 'absolute' as const,
+      },
+    ];
     const raw = [
       {
         kind: 'capability-slice',
@@ -46,6 +65,7 @@ describe('neediness (deposit preview of read Need-fit, v0)', () => {
         measurements: { 'source-coverage': 0.7, 'demand-alignment': 0.6, 'reuse-likelihood': 0.5 },
         measurementRationale: 'Covers the auth module thoroughly.',
         confidence: 0.8,
+        absolutes: formalAbsolutes,
         needinessSignal: { demand: 0.9, saturation: 0.2, rationale: 'High demand, few existing suppliers.' },
       },
     ];
@@ -63,6 +83,10 @@ describe('neediness (deposit preview of read Need-fit, v0)', () => {
     expect(deposit.candidates[0].measurements.map((m) => m.measurementKind)).not.toContain(
       DEPOSIT_NEEDINESS_MEASUREMENT.measurementKind,
     );
+    // Formal absolutes project onto the candidate measurements array.
+    expect(deposit.candidates[0].measurements.map((m) => m.measurementKind)).toEqual(
+      expect.arrayContaining(['function-count', 'correctness-estimate']),
+    );
 
     const read = validateDepositSynthesisOptions(raw, { ...context, lens: 'read' });
     expect(read.candidates[0].neediness).toBeUndefined();