| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562 |
- /**
- * Saved trails (CG-60) — the viewer's only write.
- *
- * Two things are worth a real end-to-end fixture rather than a unit test, and
- * they are the two the feature exists for:
- *
- * 1. **A trail survives a re-index.** The suite indexes a project, saves a
- * trail, then EDITS the files so every node id changes (a symbol shifts down
- * a file, another moves to a different file, a third is deleted), re-indexes,
- * and asserts the trail still opens and says what became of each hop. That
- * cannot be faked: node ids contain a start line, so the ids really do all
- * change.
- * 2. **The write boundary.** `POST` without the marker header, from a foreign
- * `Origin`, or against a `--read-only` server has to be refused — by a real
- * loopback server, because the refusals live in the request handler and not
- * in the endpoint.
- */
- import { describe, it, expect, beforeAll, afterAll } from 'vitest';
- import * as http from 'http';
- import * as fs from 'fs';
- import * as os from 'os';
- import * as path from 'path';
- import CodeGraph from '../src/index';
- import { createGraphApi, startUiServer, type GraphApi, type UiServerHandle } from '../src/ui-server';
- import {
- encodeResolvedRun,
- isTrailId,
- parseTrail,
- slugify,
- TRAILS_RELATIVE_DIR,
- type WireTrailHop,
- } from '../src/ui-server/api';
- interface Res {
- status: number;
- headers: http.IncomingHttpHeaders;
- body: any;
- }
- let tempDir: string;
- let projectRoot: string;
- let viewerDir: string;
- let api: GraphApi;
- let server: UiServerHandle;
- let readOnlyApi: GraphApi;
- let readOnlyServer: UiServerHandle;
- interface CallOptions {
- method?: string;
- body?: unknown;
- /** Send the write marker header. On by default for a write. */
- marker?: boolean;
- contentType?: string | null;
- origin?: string;
- }
- /**
- * One request against a live server.
- *
- * `http.request` rather than `fetch` so `Host` is ours to set — undici treats
- * it as a forbidden header, and the `Host` allowlist is half of what is being
- * tested here.
- */
- function callOn(port: number, requestPath: string, opts: CallOptions = {}): Promise<Res> {
- const method = opts.method ?? 'GET';
- const isWrite = method === 'POST' || method === 'DELETE';
- const payload = opts.body === undefined ? null : Buffer.from(JSON.stringify(opts.body), 'utf-8');
- const headers: Record<string, string> = { Host: `127.0.0.1:${port}` };
- if (isWrite && (opts.marker ?? true)) headers['X-CodeGraph-UI'] = '1';
- if (opts.origin) headers['Origin'] = opts.origin;
- if (payload) {
- const type = opts.contentType === undefined ? 'application/json' : opts.contentType;
- if (type !== null) headers['Content-Type'] = type;
- headers['Content-Length'] = String(payload.length);
- }
- return new Promise((resolve, reject) => {
- const req = http.request(
- { host: '127.0.0.1', port, path: requestPath, method, headers, setHost: false },
- (res) => {
- const chunks: Buffer[] = [];
- res.on('data', (c: Buffer) => chunks.push(c));
- res.on('end', () => {
- const text = Buffer.concat(chunks).toString('utf-8');
- let parsed: unknown = text;
- try {
- parsed = JSON.parse(text);
- } catch {
- /* a text/plain refusal is a legitimate answer on the static side */
- }
- resolve({ status: res.statusCode ?? 0, headers: res.headers, body: parsed });
- });
- }
- );
- req.on('error', reject);
- if (payload) req.write(payload);
- req.end();
- });
- }
- function call(requestPath: string, opts: CallOptions = {}): Promise<Res> {
- return callOn(server.port, requestPath, opts);
- }
- /** The id of a fixture symbol, looked up through the API itself. */
- async function idOf(name: string): Promise<string> {
- const res = await call(`/api/search?q=${encodeURIComponent(name)}`);
- const hit = res.body.results.items.find((r: any) => r.name === name);
- expect(hit, `no symbol named ${name}`).toBeTruthy();
- return hit.id as string;
- }
- function trailsDir(): string {
- return path.join(projectRoot, TRAILS_RELATIVE_DIR);
- }
- /** Re-index in place, the way a `codegraph sync` would after an edit. */
- async function reindex(): Promise<void> {
- const cg = CodeGraph.openSync(projectRoot);
- await cg.sync();
- cg.resolveReferences();
- cg.close();
- }
- const SRC = () => path.join(projectRoot, 'src');
- beforeAll(async () => {
- tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-trails-'));
- projectRoot = path.join(tempDir, 'project');
- fs.mkdirSync(SRC(), { recursive: true });
- fs.writeFileSync(
- path.join(SRC(), 'handler.ts'),
- `import { load } from './service';
- export function handleRequest(key: string): string {
- return load(key);
- }
- `
- );
- fs.writeFileSync(
- path.join(SRC(), 'service.ts'),
- `import { read } from './cache';
- export function load(key: string): string {
- return read(key);
- }
- export function retired(): string {
- return 'nothing calls me after the edit';
- }
- `
- );
- fs.writeFileSync(
- path.join(SRC(), 'cache.ts'),
- `export function read(key: string): string {
- return key;
- }
- `
- );
- const cg = CodeGraph.initSync(projectRoot, {
- config: { include: ['src/**/*.ts'], exclude: [] },
- });
- await cg.indexAll();
- cg.resolveReferences();
- cg.close();
- viewerDir = path.join(tempDir, 'viewer');
- fs.mkdirSync(viewerDir, { recursive: true });
- fs.writeFileSync(path.join(viewerDir, 'index.html'), '<!doctype html><div id="app"></div>');
- api = createGraphApi({ projectRoot });
- server = await startUiServer({ projectRoot, viewerDir, port: 0, api: api.handler });
- readOnlyApi = createGraphApi({
- projectRoot,
- readOnly: true,
- readOnlyReason: 'This viewer was started with --read-only, so trails cannot be saved.',
- });
- readOnlyServer = await startUiServer({
- projectRoot,
- viewerDir,
- port: 0,
- api: readOnlyApi.handler,
- });
- }, 120_000);
- afterAll(async () => {
- api?.close();
- readOnlyApi?.close();
- await server?.close();
- await readOnlyServer?.close();
- if (tempDir && fs.existsSync(tempDir)) fs.rmSync(tempDir, { recursive: true, force: true });
- });
- /* ------------------------------------------------------------- pure bits -- */
- describe('trail ids', () => {
- it('slugs a name into something that is a filename and not a path', () => {
- expect(slugify('How a request reaches the handler')).toBe(
- 'how-a-request-reaches-the-handler'
- );
- expect(slugify(' Spaces and --- dashes ')).toBe('spaces-and-dashes');
- expect(slugify('../../etc/passwd')).toBe('etc-passwd');
- // A name with no ASCII word characters still has to produce a valid id.
- expect(slugify('日本語')).toBe('trail');
- expect(isTrailId(slugify('../../etc/passwd'))).toBe(true);
- });
- it('refuses anything that is not a slug', () => {
- for (const bad of ['..', 'a/b', 'A', 'has.dot', '-leading', '', 'a b']) {
- expect(isTrailId(bad), bad).toBe(false);
- }
- });
- });
- describe('parseTrail', () => {
- it('rejects a file that is not a trail rather than half-reading it', () => {
- expect(parseTrail('x', 'not json')).toBeNull();
- expect(parseTrail('x', '[]')).toBeNull();
- expect(parseTrail('x', '{"name":"a"}')).toBeNull();
- expect(parseTrail('x', '{"name":"a","hops":[]}')).toBeNull();
- expect(parseTrail('x', '{"name":"","hops":[{"qualifiedName":"a"}]}')).toBeNull();
- });
- it('takes its id from the FILE, not from the field inside it', () => {
- const trail = parseTrail('on-disk', '{"name":"a","id":"remembered","hops":[{"name":"f"}]}');
- expect(trail?.id).toBe('on-disk');
- });
- });
- describe('encodeResolvedRun', () => {
- const hop = (id: string | null, dir: 'start' | 'down' | 'up' = 'down'): WireTrailHop => ({
- dir,
- name: id ?? 'gone',
- qualifiedName: id ?? 'gone',
- kind: 'function',
- savedFile: 'src/a.ts',
- savedLine: 1,
- status: id ? 'ok' : 'missing',
- id,
- file: id ? 'src/a.ts' : null,
- line: id ? 1 : null,
- note: null,
- });
- it('never stitches across a hole — it takes the longest consecutive run', () => {
- const run = encodeResolvedRun([hop('a', 'start'), hop(null), hop('c'), hop('d')]);
- expect(run.encoded).toBe('sc,dd');
- expect(run.openFrom).toBe(3);
- expect(run.openCount).toBe(2);
- expect(run.openId).toBe('d');
- });
- it('writes the run’s first hop as a start, whatever it was saved as', () => {
- const run = encodeResolvedRun([hop(null), hop('b', 'up')]);
- expect(run.encoded).toBe('sb');
- });
- it('answers nothing when nothing resolves', () => {
- expect(encodeResolvedRun([hop(null), hop(null)])).toEqual({
- encoded: null,
- openFrom: 0,
- openCount: 0,
- openId: null,
- });
- });
- });
- /* ----------------------------------------------------------- the endpoint -- */
- describe('GET /api/trails', () => {
- it('is an empty list, not an error, before anything is saved', async () => {
- const res = await call('/api/trails');
- expect(res.status).toBe(200);
- expect(res.body.trails).toEqual([]);
- expect(res.body.readOnly).toBe(false);
- expect(res.body.directory).toBe(TRAILS_RELATIVE_DIR);
- });
- it('is listed by GET /api', async () => {
- const res = await call('/api');
- expect(res.body.endpoints.some((e: any) => e.path === '/api/trails')).toBe(true);
- // The old blanket claim is gone: the server writes exactly one thing.
- expect(res.body.readOnly).toBe(false);
- expect(res.body.writes).toContain('POST /api/trails');
- });
- });
- describe('POST /api/trails', () => {
- it('saves the walk and answers with the whole list', async () => {
- const hops = [
- { dir: 'start', id: await idOf('handleRequest') },
- { dir: 'down', id: await idOf('load') },
- { dir: 'down', id: await idOf('read') },
- ];
- const res = await call('/api/trails', {
- method: 'POST',
- body: { name: 'How a request is served', note: 'the whole path', hops },
- });
- expect(res.status).toBe(200);
- expect(res.body.saved).toBe('how-a-request-is-served');
- expect(res.body.replaced).toBe(false);
- expect(res.body.trails).toHaveLength(1);
- const trail = res.body.trails[0];
- expect(trail.name).toBe('How a request is served');
- expect(trail.note).toBe('the whole path');
- expect(trail.intact).toBe(true);
- expect(trail.resolved).toBe(3);
- expect(trail.openCount).toBe(3);
- expect(trail.hops.map((h: any) => h.name)).toEqual(['handleRequest', 'load', 'read']);
- // The identity that survives an edit, recorded beside the id hint.
- expect(trail.hops[1].qualifiedName).toBe('load');
- expect(trail.hops[1].savedFile).toBe('src/service.ts');
- });
- it('writes one readable JSON file into .codegraph/ui/trails', () => {
- const file = path.join(trailsDir(), 'how-a-request-is-served.json');
- expect(fs.existsSync(file)).toBe(true);
- const raw = JSON.parse(fs.readFileSync(file, 'utf-8'));
- expect(raw.version).toBe(1);
- expect(raw.hops).toHaveLength(3);
- expect(raw.hops[0].qualifiedName).toBe('handleRequest');
- expect(typeof raw.createdAt).toBe('string');
- // Nothing but trails lands there — no temp file survives the rename.
- expect(fs.readdirSync(trailsDir())).toEqual(['how-a-request-is-served.json']);
- });
- it('replaces a trail saved under the same name, keeping its createdAt', async () => {
- const before = (await call('/api/trails')).body.trails[0];
- const res = await call('/api/trails', {
- method: 'POST',
- body: {
- name: 'How a request is served',
- hops: [{ dir: 'start', id: await idOf('handleRequest') }],
- },
- });
- expect(res.body.replaced).toBe(true);
- expect(res.body.trails).toHaveLength(1);
- expect(res.body.trails[0].createdAt).toBe(before.createdAt);
- expect(res.body.trails[0].hops).toHaveLength(1);
- expect(res.body.trails[0].note).toBe('');
- });
- it('gives a different name its own file rather than colliding', async () => {
- const res = await call('/api/trails', {
- method: 'POST',
- body: { name: 'How a request is served!', hops: [{ dir: 'start', id: await idOf('load') }] },
- });
- expect(res.body.saved).toBe('how-a-request-is-served-2');
- expect(res.body.trails).toHaveLength(2);
- });
- it('refuses a hop the index does not hold', async () => {
- const res = await call('/api/trails', {
- method: 'POST',
- body: { name: 'invented', hops: [{ dir: 'start', id: 'function:not-a-real-id' }] },
- });
- expect(res.status).toBe(400);
- expect(res.body.error).toContain('Hop 1 is not in the index');
- });
- it('refuses a nameless or hopless trail', async () => {
- const noName = await call('/api/trails', { method: 'POST', body: { name: ' ', hops: [] } });
- expect(noName.status).toBe(400);
- const noHops = await call('/api/trails', { method: 'POST', body: { name: 'x', hops: [] } });
- expect(noHops.status).toBe(400);
- expect(noHops.body.error).toContain('at least one hop');
- });
- });
- describe('DELETE /api/trails/<id>', () => {
- it('removes the file and answers with the list that is left', async () => {
- const res = await call('/api/trails/how-a-request-is-served-2', { method: 'DELETE' });
- expect(res.status).toBe(200);
- expect(res.body.deleted).toBe('how-a-request-is-served-2');
- expect(res.body.trails).toHaveLength(1);
- expect(fs.existsSync(path.join(trailsDir(), 'how-a-request-is-served-2.json'))).toBe(false);
- });
- it('is a 404 for a trail that is not there', async () => {
- const res = await call('/api/trails/never-existed', { method: 'DELETE' });
- expect(res.status).toBe(404);
- });
- it('refuses an id shaped like a path before it is joined to anything', async () => {
- const res = await call('/api/trails/..%2f..%2fetc%2fpasswd', { method: 'DELETE' });
- // The `..` segments are caught on the RAW url, before WHATWG parsing folds
- // them away — a traversal attempt is a 404, never the app shell.
- expect([400, 404]).toContain(res.status);
- expect(res.headers['content-type']).toContain('application/json');
- });
- });
- /* ------------------------------------------------------- the write boundary */
- describe('the write boundary', () => {
- it('refuses a POST without the marker header', async () => {
- const res = await call('/api/trails', {
- method: 'POST',
- marker: false,
- body: { name: 'forged', hops: [] },
- });
- expect(res.status).toBe(403);
- expect(res.body.code).toBe('refused');
- expect(String(res.body.error)).toContain('x-codegraph-ui');
- });
- it('refuses a POST whose body claims to be a form', async () => {
- const res = await call('/api/trails', {
- method: 'POST',
- contentType: 'application/x-www-form-urlencoded',
- body: { name: 'forged', hops: [] },
- });
- expect(res.status).toBe(403);
- expect(String(res.body.error)).toContain('application/json');
- });
- it('refuses a POST from a foreign origin even with the marker', async () => {
- const res = await call('/api/trails', {
- method: 'POST',
- origin: 'https://evil.example',
- body: { name: 'forged', hops: [] },
- });
- expect(res.status).toBe(403);
- });
- it('refuses a write anywhere but /api/, and still serves the asset on GET', async () => {
- const post = await call('/index.html', { method: 'POST', body: { a: 1 } });
- expect(post.status).toBe(405);
- expect(post.headers.allow).toBe('GET, HEAD');
- const get = await call('/index.html');
- expect(get.status).toBe(200);
- });
- it('still refuses a method it has never answered', async () => {
- const res = await call('/api/trails', { method: 'PUT' });
- expect(res.status).toBe(405);
- });
- it('refuses every write under --read-only, but still lists what is there', async () => {
- const list = await callOn(readOnlyServer.port, '/api/trails');
- expect(list.status).toBe(200);
- expect(list.body.readOnly).toBe(true);
- expect(list.body.readOnlyReason).toContain('--read-only');
- expect(list.body.trails.length).toBeGreaterThan(0);
- const save = await callOn(readOnlyServer.port, '/api/trails', {
- method: 'POST',
- body: { name: 'nope', hops: [{ dir: 'start', id: 'x' }] },
- });
- expect(save.status).toBe(403);
- expect(save.body.code).toBe('refused');
- const remove = await callOn(readOnlyServer.port, '/api/trails/how-a-request-is-served', {
- method: 'DELETE',
- });
- expect(remove.status).toBe(403);
- });
- });
- /* ------------------------------------------------- surviving a re-index --- */
- describe('a saved trail survives a re-index', () => {
- it('re-resolves hops by qualified name once every node id has changed', async () => {
- // Save the three-hop walk again, plus a fourth hop that is about to be
- // deleted outright, so one trail exercises every outcome at once.
- const saved = await call('/api/trails', {
- method: 'POST',
- body: {
- name: 'The whole walk',
- hops: [
- { dir: 'start', id: await idOf('handleRequest') },
- { dir: 'down', id: await idOf('load') },
- { dir: 'down', id: await idOf('read') },
- { dir: 'down', id: await idOf('retired') },
- ],
- },
- });
- const before = saved.body.trails.find((t: any) => t.id === 'the-whole-walk');
- expect(before.intact).toBe(true);
- const idsBefore = before.hops.map((h: any) => h.id);
- // Now move the world underneath it:
- // - `handleRequest` shifts down its file (a node id contains its start
- // line, so its id changes while it is the same symbol);
- // - `read` moves to a different file entirely;
- // - `retired` is deleted.
- fs.writeFileSync(
- path.join(SRC(), 'handler.ts'),
- `import { load } from './service';
- // A comment inserted above the symbol. This alone renames it.
- // Another line.
- // And another.
- export function handleRequest(key: string): string {
- return load(key);
- }
- `
- );
- fs.writeFileSync(
- path.join(SRC(), 'service.ts'),
- `import { read } from './store';
- export function load(key: string): string {
- return read(key);
- }
- `
- );
- fs.writeFileSync(path.join(SRC(), 'cache.ts'), `export const unused = 1;\n`);
- fs.writeFileSync(
- path.join(SRC(), 'store.ts'),
- `export function read(key: string): string {
- return key;
- }
- `
- );
- await reindex();
- const after = (await call('/api/trails')).body.trails.find(
- (t: any) => t.id === 'the-whole-walk'
- );
- // Every id really did change — otherwise this test proves nothing.
- const idsAfter = after.hops.map((h: any) => h.id);
- expect(idsAfter[0]).not.toBe(idsBefore[0]);
- expect(idsAfter[0]).toBeTruthy();
- const [handle, load, read, retired] = after.hops;
- expect(handle.status).toBe('ok');
- expect(handle.file).toBe('src/handler.ts');
- expect(handle.line).toBeGreaterThan(handle.savedLine);
- expect(load.status).toBe('ok');
- // Moved to another file: still resolved, and the row says where from.
- expect(read.status).toBe('moved');
- expect(read.savedFile).toBe('src/cache.ts');
- expect(read.file).toBe('src/store.ts');
- expect(read.note).toContain('src/cache.ts');
- expect(read.note).toContain('src/store.ts');
- // Deleted: named honestly, with no invented target.
- expect(retired.status).toBe('missing');
- expect(retired.id).toBeNull();
- expect(retired.note).toContain('moved or renamed');
- // And it still opens — the first three hops, not the fourth.
- expect(after.intact).toBe(false);
- expect(after.resolved).toBe(3);
- expect(after.openFrom).toBe(1);
- expect(after.openCount).toBe(3);
- expect(after.openId).toBe(idsAfter[2]);
- expect(after.encoded?.split(',')).toHaveLength(3);
- expect(after.encoded?.startsWith('s')).toBe(true);
- }, 120_000);
- });
|