@fougere/core 0.1.0-alpha.0

package/dist/verify.js

@@ -0,0 +1,147 @@
+import { repositoryKeyOf } from './repository.js';
+import { ormKeyOf } from './orm.js';
+import { presenterKeyOf } from './presenter.js';
+import { collectorKeyOf } from './collector.js';
+/**
+ * The container keys a frond registers in its own scope, keyed as a handler's
+ * `deps` spell them — DI resolves by type name, so both sides are PascalCase.
+ *
+ * Every key comes from the function that states it, never from a derivation
+ * respelled here: a second reader that spells one differently finds nothing and
+ * reports nothing wrong, which is the failure mode a checker must not have.
+ */
+function registrationsOf(frond) {
+    const out = new Map();
+    const put = (key, kind) => out.set(key, { frond: frond.name, kind });
+    for (const p of frond.providers)
+        put(p.ctor.name, 'provider');
+    for (const p of frond.presenters)
+        put(presenterKeyOf(p.entityName), 'presenter');
+    for (const c of frond.collectors)
+        put(collectorKeyOf(c.entityName), 'collector');
+    for (const e of frond.entities) {
+        put(ormKeyOf(e.name), 'ORM');
+        put(repositoryKeyOf(e.name), 'repository');
+    }
+    return out;
+}
+/**
+ * Everything in a frond that is constructed by DI, so carries `deps`.
+ * Handlers, presenters and collectors are all built from a constructor whose
+ * argument types the scan read; each one can therefore reach across.
+ */
+function injectablesOf(frond) {
+    return [
+        ...frond.handlers.map((h) => ({ name: h.ctor.name, deps: h.deps, filePath: h.filePath })),
+        ...frond.presenters.map((p) => ({ name: p.ctor.name, deps: p.deps, filePath: p.filePath })),
+        ...frond.collectors.map((c) => ({ name: c.ctor.name, deps: c.deps, filePath: c.filePath })),
+    ];
+}
+/**
+ * Does this app survive being split?
+ *
+ * A frond runs in-process or in its own process behind JSON-RPC with identical
+ * user code — that is the whole claim. What the claim does not say is that
+ * *every* app survives the move: a dependency that crosses a frond boundary
+ * resolves today because both scopes live in one container, and resolves to
+ * nothing the day the other frond answers over the wire.
+ *
+ * The gradient is the one question no other framework can ask. Nest has nothing
+ * to check — every inter-module call is already remote, so nothing changes when
+ * you split. Spring Modulith has nothing to check either — it plans no exit.
+ * Here the question means something, and until now it had no answer.
+ *
+ * Pure over `app.fronds`: no mount, no process, no file. Call it from a test.
+ */
+export function verify(app) {
+    const index = new Map();
+    for (const frond of app.fronds) {
+        for (const [key, reg] of registrationsOf(frond))
+            index.set(key, reg);
+    }
+    // Which frond declares a collector for which entity. Collectors are the one
+    // thing a handler asks for by OPERATION PARAMETER, never by constructor, so
+    // they need their own index and their own rule.
+    const collectorFronds = new Map();
+    for (const frond of app.fronds) {
+        for (const c of frond.collectors)
+            collectorFronds.set(c.entityName, frond.name);
+    }
+    const violations = [];
+    for (const frond of app.fronds) {
+        // Rule 1 — a constructor dependency declared in another frond's scope.
+        // Façade keys are exempt by construction, not by omission: a `Facade<X>`
+        // dependency is spelled camelCase (`articleHandler`) while every type key
+        // here is PascalCase, so the two namespaces cannot collide. The façade IS
+        // the sanctioned crossing — see tests/cross-frond.test.ts.
+        for (const subject of injectablesOf(frond)) {
+            for (const dep of subject.deps) {
+                const declared = index.get(dep);
+                // Not in the index at all = a builtin (Logger, Config), a
+                // façade key, or an unresolved name. None is a boundary crossing, and
+                // an unresolved dependency is the container's complaint, not this rule's.
+                if (!declared || declared.frond === frond.name)
+                    continue;
+                violations.push({
+                    rule: 'cross-frond-dependency',
+                    frond: frond.name,
+                    subject: subject.name,
+                    filePath: subject.filePath,
+                    dependsOn: { key: dep, frond: declared.frond, kind: declared.kind },
+                    message: `${subject.name} depends on ${dep}, the ${declared.kind} of frond '${declared.frond}'. ` +
+                        `Each frond registers into its own scope, so this does not resolve here. ` +
+                        `Declare ${dep} in '${frond.name}', or reach '${declared.frond}' through its ` +
+                        `façade — the one sanctioned crossing.`,
+                });
+            }
+        }
+        // Rule 2 — an operation parameter that wanted a collector this frond has not
+        // got. `computeBindingPlan` gates the collector branch on the frond's OWN
+        // collector set (bootstrap.ts:167), then falls through to branch 4,
+        // "Everything else — body" (binding.ts:90). So the parameter does not go
+        // missing: it carries what the caller sent. Measured in
+        // tests/collector-frond.test.ts.
+        const own = new Set(frond.collectors.map((c) => c.entityName));
+        for (const handler of frond.handlers) {
+            for (const [opName, op] of handler.operations) {
+                for (const param of op.signature?.params ?? []) {
+                    const wanted = param.type.name.toLowerCase();
+                    if (own.has(wanted))
+                        continue;
+                    const elsewhere = collectorFronds.get(wanted);
+                    // No collector anywhere for that type = an ordinary body parameter,
+                    // which is what branch 4 is FOR. Only a collector that exists in the
+                    // wrong place makes the fall-through a lie.
+                    if (!elsewhere)
+                        continue;
+                    violations.push({
+                        rule: 'collector-in-another-frond',
+                        frond: frond.name,
+                        subject: `${handler.ctor.name}.${opName}(${param.name})`,
+                        filePath: handler.filePath,
+                        dependsOn: { key: collectorKeyOf(wanted), frond: elsewhere, kind: 'collector' },
+                        message: `'${param.name}' is typed ${param.type.name}, and the collector that produces one ` +
+                            `is declared in frond '${elsewhere}'. A binding plan only sees its own frond's ` +
+                            `collectors, so this parameter falls through to the request body — it receives ` +
+                            `what the CALLER sent. An op that judges it (\`if (${param.name}.role !== 'admin') throw\`) ` +
+                            `is judging the caller's own claim about themselves. ` +
+                            `Move the collector into '${frond.name}'.`,
+                    });
+                }
+            }
+        }
+    }
+    return violations;
+}
+/**
+ * The same verdict, as an assertion. Throws naming every rule that failed, so a
+ * test is one line and its output is the sentence — not a diff of two objects.
+ */
+export function assertSplittable(app) {
+    const violations = verify(app);
+    if (violations.length === 0)
+        return;
+    const lines = violations.map((v) => `  [${v.rule}] ${v.frond}/${v.subject}\n    ${v.message}\n    ${v.filePath}`);
+    throw new Error(`${violations.length} violation(s) — this app does not survive a split:\n${lines.join('\n')}`);
+}
+//# sourceMappingURL=verify.js.map

package/dist/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAmChD;;;;;;;GAOG;AACH,SAAS,eAAe,CAAC,KAAsB;IAC7C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC5C,MAAM,GAAG,GAAG,CAAC,GAAW,EAAE,IAAY,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAErF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS;QAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC9D,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,UAAU;QAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC;IACjF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,UAAU;QAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC;IACjF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC/B,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7B,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,KAAsB;IAC3C,OAAO;QACL,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACzF,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3F,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;KAC5F,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,MAAM,CAAC,GAAwB;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,eAAe,CAAC,KAAK,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACvE,CAAC;IAED,4EAA4E;IAC5E,4EAA4E;IAC5E,gDAAgD;IAChD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,UAAU;YAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC/B,uEAAuE;QACvE,yEAAyE;QACzE,0EAA0E;QAC1E,0EAA0E;QAC1E,2DAA2D;QAC3D,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;gBAC/B,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAChC,0DAA0D;gBAC1D,sEAAsE;gBACtE,0EAA0E;gBAC1E,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI;oBAAE,SAAS;gBACzD,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,wBAAwB;oBAC9B,KAAK,EAAE,KAAK,CAAC,IAAI;oBACjB,OAAO,EAAE,OAAO,CAAC,IAAI;oBACrB,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,SAAS,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;oBACnE,OAAO,EACL,GAAG,OAAO,CAAC,IAAI,eAAe,GAAG,SAAS,QAAQ,CAAC,IAAI,cAAc,QAAQ,CAAC,KAAK,KAAK;wBACxF,0EAA0E;wBAC1E,WAAW,GAAG,QAAQ,KAAK,CAAC,IAAI,gBAAgB,QAAQ,CAAC,KAAK,gBAAgB;wBAC9E,uCAAuC;iBAC1C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,0EAA0E;QAC1E,oEAAoE;QACpE,yEAAyE;QACzE,wDAAwD;QACxD,iCAAiC;QACjC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC/D,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,KAAK,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC9C,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,SAAS,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;oBAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;oBAC7C,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;wBAAE,SAAS;oBAC9B,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAC9C,oEAAoE;oBACpE,qEAAqE;oBACrE,4CAA4C;oBAC5C,IAAI,CAAC,SAAS;wBAAE,SAAS;oBACzB,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,4BAA4B;wBAClC,KAAK,EAAE,KAAK,CAAC,IAAI;wBACjB,OAAO,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,MAAM,IAAI,KAAK,CAAC,IAAI,GAAG;wBACxD,QAAQ,EAAE,OAAO,CAAC,QAAQ;wBAC1B,SAAS,EAAE,EAAE,GAAG,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE;wBAC/E,OAAO,EACL,IAAI,KAAK,CAAC,IAAI,cAAc,KAAK,CAAC,IAAI,CAAC,IAAI,wCAAwC;4BACnF,yBAAyB,SAAS,8CAA8C;4BAChF,gFAAgF;4BAChF,qDAAqD,KAAK,CAAC,IAAI,8BAA8B;4BAC7F,sDAAsD;4BACtD,4BAA4B,KAAK,CAAC,IAAI,IAAI;qBAC7C,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAwB;IACvD,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACpC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,OAAO,SAAS,CAAC,CAAC,OAAO,SAAS,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IAClH,MAAM,IAAI,KAAK,CAAC,GAAG,UAAU,CAAC,MAAM,uDAAuD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjH,CAAC"}

package/package.json

@@ -0,0 +1,47 @@
+{
+  "name": "@fougere/core",
+  "version": "0.1.0-alpha.0",
+  "description": "The core — scan, call contract, façades, remote stand-ins.",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/chok/fougere.git",
+    "directory": "packages/core"
+  },
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js",
+      "default": "./dist/index.js"
+    },
+    "./contract": {
+      "types": "./dist/contract.d.ts",
+      "import": "./dist/contract.js",
+      "default": "./dist/contract.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "dependencies": {
+    "typescript": "^5.5.0",
+    "@fougere/container": "0.1.0-alpha.0",
+    "@fougere/schema": "0.1.0-alpha.0"
+  },
+  "devDependencies": {
+    "@types/node": "^22.0.0",
+    "@fougere/container-fougere": "0.1.0-alpha.0"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "rm -rf dist && tsc",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "typecheck": "tsc --noEmit -p tsconfig.test.json"
+  }
+}