File size: 2,209 Bytes
a6a5d8e
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
# AGI Forecast Proxy Status — 2026-05-29

## Directive source

- `.github#75``CURSOR_AGI_FORECAST_OPERATIONAL.md`
- Goal: make the FG-S1→S4 pipeline, DSSE-shaped receipts, and benchmark-to-FG wiring real without score inflation.

## What Cursor implemented locally

Patch file:

- `coordination/proxy-patches/agi-forecast-fg-pipeline.patch`

Target repo:

- `szl-holdings/agi-forecast`

Patch contents:

- `runtime/src/dsse.ts` — DSSE v1 PAE, deterministic dev HMAC signature, canonical JSON, SHA-256 helpers.
- `runtime/src/benchmark_to_fg_wiring.ts` — maps the honest competition-math `score01` to FG-04 advisory-only evidence.
- `runtime/src/pipeline.ts` — FG-S1→S4 production TypeScript pipeline with S1 intake, S2 evaluate, S3 judge, S4 DSSE-shaped receipt.
- `runtime/src/receipt.ts` — public receipt/pipeline exports.
- `runtime/src/pipeline.test.ts` — tests for DSSE, benchmark wiring, pass/fail gate behavior, validation errors, hash linkage, deterministic receipts.
- `runtime/tsconfig.json` — adds Node types so existing server/dsse code builds.
- `.github/workflows/tests.yml` — replaces echo stub with real runtime install/test.
- `runtime/package-lock.json` — lockfile generated by `npm install`.

## Local validation in agi-forecast checkout

```bash
cd /workspace/.repos/szl-holdings/agi-forecast/runtime
npm install
npm test
npm run build
```

Result:

- Vitest: 2 files passed, 38 tests passed.
- TypeScript build: passed.

## Honesty boundary

- This does not claim Lean FG theorems are complete.
- This does not create UDS v0.3.0 signed assets.
- The competition-math benchmark remains the honest recorded raw-score (`1/12 = 8.3%`) baseline and is advisory-only.
- Cursor cannot push directly to `agi-forecast` from this runtime (`403`), so Perplexity should proxy the patch into the target repo.

## Proxy command

From a writable `agi-forecast` checkout:

```bash
git checkout -b cursor/agi-forecast-fg-pipeline-2f18 origin/main
git apply /path/to/agi-forecast-fg-pipeline.patch
cd runtime
npm install
npm test
npm run build
git add -A
git commit -s -m "feat(runtime): add FG-S1-S4 receipt pipeline"
git push -u origin cursor/agi-forecast-fg-pipeline-2f18
```