testeranto 0.134.0 → 0.135.0

package/README.md

@@ -73,6 +73,66 @@ yarn t-build rectangle.test.ts dev
 yarn t-run rectangle.test.ts dev
 ```
 
+### Development Workflow
+
+```mermaid
+
+flowchart LR
+
+    subgraph hh["humans"]
+        direction LR
+        Human[🧑💻 ]
+    end
+
+    subgraph bb["AI"]
+        direction LR
+        Bot[🤖🧠 aider]
+    end
+
+
+    tests ---> L
+    subgraph tests
+        direction LR
+        A[Test Specification]
+        B[Test Interface]
+        C[Test Implementation]
+        K[application code]
+    end
+
+    subgraph buildSystem
+        direction TB
+        L["t-build"]
+        M[t-run]
+        L ---> M
+
+        M ---> N
+        M --->O
+        M --->P
+        N["BDD tests"]
+        O["Static analysis"]
+        P["Type checking"]
+
+        Q["reports"]
+        N ---> Q
+        O ---> Q
+        P ---> Q
+    end
+
+    Q ---> bb
+
+    buildSystem ---> bb
+    bb ---> tests
+    hh ---> tests
+
+    %% Styling
+    style Human fill:#268bd2,stroke:#586e75,color:#fdf6e3
+    style Bot fill:#d33682,stroke:#586e75,color:#fdf6e3
+
+    %% Layout tweaks
+    classDef column margin-right:20px
+
+```
+
 ## Architecture Overview
 
 ```mermaid
@@ -207,353 +267,6 @@ test0: Given.Default(
 
 ```
 
-## Core Concepts
-
-Testeranto's type system provides a rigorous framework for Behavior-Driven Development (BDD) testing. Let's break down the key components using a Rectangle class example.
-
-### 1. Test Subject
-
-First, define the class you want to test:
-
-```typescript
-class Rectangle {
-  constructor(public width: number, public height: number) {}
-
-  setWidth(w: number) {
-    this.width = w;
-  }
-  setHeight(h: number) {
-    this.height = h;
-  }
-  getArea() {
-    return this.width * this.height;
-  }
-}
-```
-
-### 2. Test Interface Types
-
-Testeranto uses a powerful type system to ensure your tests match your implementation:
-
-```typescript
-type IRectangle = Ibdd_in<
-  null, // No special initialization needed
-  null, // No special cleanup needed
-  Rectangle, // The test subject type
-  Rectangle, // State type between test steps
-  Rectangle, // Final state type
-  (n: number) => (r: Rectangle) => void, // When functions signature
-  (r: Rectangle) => number // Then functions signature
->;
-```
-
-This type definition ensures:
-
-- Type safety throughout the test lifecycle
-- Clear separation of test phases (setup, execution, verification)
-- Proper function signatures for test steps
-
-### 3. Test Specification
-
-Define your BDD-style tests with full type checking:
-
-```typescript
-const RectangleSpec: ITestSpecification<IRectangle> = (
-  Suite,
-  Given,
-  When,
-  Then
-) => [
-  Suite.Default("Rectangle Operations", {
-    // Test case 1: Basic dimension setting
-    basicDimensions: Given.Default(
-      ["Validate basic rectangle operations"],
-      [When.setWidth(5), When.setHeight(10)], // Actions
-      [Then.getWidth(5), Then.getHeight(10)] // Assertions
-    ),
-
-    // Test case 2: Area calculation
-    areaCalculation: Given.Default(
-      ["Validate area calculation"],
-      [When.setWidth(3), When.setHeight(4)],
-      [(r) => r.getArea() === 12] // Custom assertion
-    ),
-  }),
-];
-```
-
-### Development Workflow
-
-```mermaid
-
-
-
-
-flowchart LR
-
-    subgraph hh["humans"]
-        direction LR
-        Human[🧑💻 ]
-    end
-
-    subgraph bb["AI"]
-        direction LR
-        Bot[🤖🧠 aider]
-    end
-
-
-    tests ---> L
-    subgraph tests
-        direction LR
-        A[Test Specification]
-        B[Test Interface]
-        C[Test Implementation]
-        K[application code]
-    end
-
-    subgraph buildSystem
-        direction TB
-        L["t-build"]
-        M[t-run]
-        L ---> M
-
-        M ---> N
-        M --->O
-        M --->P
-        N["BDD tests"]
-        O["Static analysis"]
-        P["Type checking"]
-
-        Q["reports"]
-        N ---> Q
-        O ---> Q
-        P ---> Q
-
-
-
-    end
-
-    Q ---> bb
-
-    buildSystem ---> bb
-    bb ---> tests
-    hh ---> tests
-
-
-
-
-
-
-    %% Styling
-    style Human fill:#268bd2,stroke:#586e75,color:#fdf6e3
-    style Bot fill:#d33682,stroke:#586e75,color:#fdf6e3
-
-    %% Layout tweaks
-    classDef column margin-right:20px
-
-```
-
-**Key Components:**
-
-1. **Specification** - BDD test definitions (Given/When/Then)
-2. **Implementation** - Concrete test logic and assertions
-3. **Interface** - Test lifecycle hooks (before/after each)
-
-**Rapid Development Loop:**
-
-1. `t-build` continuously type-checks and bundles tests
-2. `t-run` executes tests as they change
-3. Aider analyzes failures and suggests fixes
-4. Developer iterates based on feedback
-
-The workflow creates a tight feedback loop where:
-
-- Type errors are caught immediately during build
-- Test failures trigger AI-assisted fixes
-- Changes propagate instantly through the system
-
-2. **Autocomplete** - IDE support for test steps
-3. **Refactoring safety** - Changes to implementation trigger type errors in tests
-4. **Documentation** - Types serve as living documentation
-
-### The Testing Lifecycle
-
-1. **Given** - Set up initial state
-2. **When** - Perform actions on the subject
-3. **Then** - Verify outcomes
-4. **Check** - Imperative-style validations (optional)
-
-Each phase is type-checked against your interface definition, ensuring tests remain valid as your code evolves.
-
-```js
-export default async <I extends IT, O extends OT, M>(
-
-  // the thing that is being tested.
-  input: I["iinput"],
-
-  testSpecification: ITestSpecification<I, O>,
-  testImplementation: ITestImplementation<I, O, M>,
-  testInterface: Partial<IWebTestInterface<I>>,
-  testResourceRequirement: ITTestResourceRequest = defaultTestResourceRequirement
-) => {
-
-  // or WebTesteranto<I, O, M> or PureTesteranto<I, O, M>
-  return new NodeTesteranto<I, O, M>(
-    input,
-    testSpecification,
-    testImplementation,
-    testResourceRequirement,
-    testInterface
-  );
-};
-
-```
-
-Practically speaking, for each thing you test, you will need to implement 3 types and 4 objects.
-
-#### type I
-
-this type describes the shape of the BDD test
-
-```ts
-export type I = Ibdd_in<
-  null,
-  null,
-  Rectangle,
-  Rectangle,
-  Rectangle,
-  (...x) => (rectangle: Rectangle, utils: IPM) => Rectangle,
-  (rectangle: Rectangle, utils: IPM) => Rectangle
->;
-```
-
-#### type O
-
-this type describes the shape of the "interface"
-
-```ts
-export type O = Ibdd_out<
-  // Suite
-  {
-    Default: [string];
-  },
-  // "Given" are initial states
-  {
-    Default;
-    WidthOfOneAndHeightOfOne;
-    WidthAndHeightOf: [number, number];
-  },
-  // "Whens" are steps which change the state of the test subject
-  {
-    HeightIsPubliclySetTo: [number];
-    WidthIsPubliclySetTo: [number];
-    setWidth: [number];
-    setHeight: [number];
-  },
-  // "Thens" are steps which make assertions of the test subject
-  {
-    AreaPlusCircumference: [number];
-    circumference: [number];
-    getWidth: [number];
-    getHeight: [number];
-    area: [number];
-    prototype: [];
-  },
-  // "Checks" are similar to "Givens"
-  {
-    Default;
-    WidthOfOneAndHeightOfOne;
-    WidthAndHeightOf: [number, number];
-  }
->;
-```
-
-#### type M (optional)
-
-this type describes the modifications to the shape of the "specification". It can be used to make your BDD tests DRYer but is not necessary
-
-```ts
-export type M = {
-  givens: {
-    [K in keyof O["givens"]]: (...Iw: O["givens"][K]) => Rectangle;
-  };
-  whens: {
-    [K in keyof O["whens"]]: (
-      ...Iw: O["whens"][K]
-    ) => (rectangle: Rectangle, utils: PM) => Rectangle;
-  };
-  thens: {
-    [K in keyof O["thens"]]: (
-      ...Iw: O["thens"][K]
-    ) => (rectangle: Rectangle, utils: PM) => Rectangle;
-  };
-};
-```
-
-#### the "specification" aka ITestSpecification<I, O>
-
-The test specification is the BDD tests logic. The specification implements BDD directives "Given", "When", and Then"
-
-```ts
-export const RectangleTesterantoBaseTestSpecification: ITestSpecification<
-  I,
-  O
-> = (Suite, Given, When, Then, Check) => {
-  return [
-    Suite.Default(
-      "Testing the Rectangle class",
-      {
-        // A "given" is a strict BDD test. It starts with an initial state, then executes the "whens" which update the test subject, and then executes the "thens" as a assertions.
-        test0: Given.Default(
-          // a list of features
-          ["https://api.github.com/repos/adamwong246/testeranto/issues/8"],
-          // a list of "whens"
-          [When.setWidth(4), When.setHeight(19)],
-          // a list of "thens"
-          [Then.getWidth(4), Then.getHeight(19)]
-        ),
-      },
-
-      [
-        // a "check" is a less strict style of test. Instead of lists of whens and thens, you get a function callback.
-        Check.Default("imperative style?!", [], async (rectangle) => {
-          Then.getWidth(2).thenCB(rectangle);
-          Then.getHeight(2).thenCB(rectangle);
-          When.setHeight(22).whenCB(rectangle);
-          Then.getHeight(232).thenCB(rectangle);
-        }),
-      ]
-    ),
-  ];
-};
-```
-
-#### the "interface" aka testInterface: Partial<IWebTestInterface<I>>
-
-The test interface is code which is NOT BDD steps. The interface implements "before all", "after all", "before each", and "after each", all of which are optional. f
-
-```ts
-export const RectangleTesterantoBaseInterface: IPartialInterface<I> = {
-  beforeEach: async (subject, i) => {
-    return i();
-  },
-  andWhen: async function (s, whenCB, tr, utils) {
-    return whenCB(s)(s, utils);
-  },
-  butThen: async (s, t, tr, pm) => {
-    return t(s, pm);
-  },
-};
-```
-
-#### the "test resource requirement" aka ITTestResourceRequest (optional)
-
-The test resource requirement describes things that the test needs to run, namely network ports. It is optional, but you should add this argument if your test needs to rely upon network ports
-
-```ts
-// TODO add example of test resource requirement
-```
-
 ## Sidecars (COMING SOON)
 
 Along side your test, you can include a number of "sidecars" which are other bundled javascript assets upon which your test depends. For example, suppose you have an app with a frontend and backend component. You could run a react test in the web and include the node http server as a sidecar.

package/dist/common/src/CoreTypes.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/dist/common/src/PM/PM_WithEslintAndTsc.js

@@ -72,8 +72,12 @@ class PM_WithEslintAndTsc extends base_js_1.PM_Base {
         this.makePrompt = async (entryPoint, addableFiles, platform) => {
             this.summary[entryPoint].prompt = "?";
             const promptPath = (0, utils_1.promptPather)(entryPoint, platform, this.name);
-            const testPaths = path_1.default.join("testeranto", "reports", this.name, platform, entryPoint.split(".").slice(0, -1).join("."), `tests.json`);
+            const testPaths = path_1.default.join("testeranto", "reports", this.name, entryPoint.split(".").slice(0, -1).join("."), platform, `tests.json`);
             const featuresPath = path_1.default.join("testeranto", "reports", this.name, platform, entryPoint.split(".").slice(0, -1).join("."), `featurePrompt.txt`);
+            const logPath = path_1.default.join("testeranto", "reports", this.name, entryPoint.split(".").slice(0, -1).join("."), platform, `console_log.txt`);
+            const lintPath = path_1.default.join("testeranto", "reports", this.name, entryPoint.split(".").slice(0, -1).join("."), platform, `lint_errors.json`);
+            const typePath = path_1.default.join("testeranto", "reports", this.name, entryPoint.split(".").slice(0, -1).join("."), platform, `type_errors.txt`);
+            const messagePath = path_1.default.join("testeranto", "reports", this.name, entryPoint.split(".").slice(0, -1).join("."), platform, `message`);
             fs_1.default.writeFileSync(promptPath, `
 ${addableFiles
                 .map((x) => {
@@ -81,14 +85,12 @@ ${addableFiles
             })
                 .join("\n")}
 
-/read ${(0, utils_1.lintPather)(entryPoint, platform, this.name)}
-/read ${(0, utils_1.tscPather)(entryPoint, platform, this.name)}
 /read ${testPaths}
-
-/load ${featuresPath}
-
-/code Fix the failing tests described in ${testPaths}. Correct any type signature errors described in the files ${(0, utils_1.tscPather)(entryPoint, platform, this.name)}. Implement any method which throws "Function not implemented. Resolve the lint errors described in ${(0, utils_1.lintPather)(entryPoint, platform, this.name)}"
-          `);
+/read ${logPath}
+/read ${typePath}
+/read ${lintPath}
+`);
+            fs_1.default.writeFileSync(messagePath, `Fix the failing tests described in ${testPaths} and ${logPath}. DO NOT refactor beyond what is necessary. Always prefer minimal changes, focusing mostly on keeping the BDD tests passing`);
             this.summary[entryPoint].prompt = `aider --model deepseek/deepseek-chat --load testeranto/${this.name}/reports/${platform}/${entryPoint
                 .split(".")
                 .slice(0, -1)

package/dist/common/src/PM/main.js

@@ -312,7 +312,9 @@ class PM_Main extends PM_WithEslintAndTsc_js_1.PM_WithEslintAndTsc {
             const builtfile = dest;
             let haltReturns = false;
             const ipcfile = "/tmp/tpipe_" + Math.random();
-            const child = (0, node_child_process_1.spawn)("node", [builtfile, testResources, ipcfile], {
+            const child = (0, node_child_process_1.spawn)("node", 
+            // "node --inspect-brk ",
+            [builtfile, testResources, ipcfile], {
                 stdio: ["pipe", "pipe", "pipe", "ipc"],
             });
             let buffer = new Buffer("");
@@ -367,7 +369,6 @@ class PM_Main extends PM_WithEslintAndTsc_js_1.PM_WithEslintAndTsc {
                     oStream.write(`stdout > ${data}`);
                 });
                 child.on("close", (code) => {
-                    console.log("close");
                     oStream.close();
                     server.close();
                     // this.receiveFeaturesV2(reportDest, src, "node");
@@ -386,14 +387,12 @@ class PM_Main extends PM_WithEslintAndTsc_js_1.PM_WithEslintAndTsc {
                     haltReturns = true;
                 });
                 child.on("exit", (code) => {
-                    console.log("exit");
                     haltReturns = true;
                     for (let i = 0; i <= portsToUse.length; i++) {
                         if (portsToUse[i]) {
                             this.ports[portsToUse[i]] = true; //port is open again
                         }
                     }
-                    console.log("exitthis.ports", this.ports);
                 });
                 child.on("error", (e) => {
                     console.log("error");
@@ -429,7 +428,10 @@ class PM_Main extends PM_WithEslintAndTsc_js_1.PM_WithEslintAndTsc {
                             files[src] = new Set();
                         }
                         // files[t].add(filepath);
-                        fs_1.default.writeFileSync(destFolder + "/manifest.json", JSON.stringify(Array.from(files[src])));
+                        // fs.writeFileSync(
+                        //   destFolder + "/manifest.json",
+                        //   JSON.stringify(Array.from(files[src]))
+                        // );
                         delete files[src];
                         Promise.all(screenshots[src] || []).then(() => {
                             delete screenshots[src];
@@ -749,7 +751,10 @@ class PM_Main extends PM_WithEslintAndTsc_js_1.PM_WithEslintAndTsc {
                         files[src] = new Set();
                     }
                     // files[t].add(filepath);
-                    fs_1.default.writeFileSync(destFolder + "/manifest.json", JSON.stringify(Array.from(files[src])));
+                    // fs.writeFileSync(
+                    //   destFolder + "/manifest.json",
+                    //   JSON.stringify(Array.from(files[src]))
+                    // );
                     delete files[src];
                     Promise.all(screenshots[src] || []).then(() => {
                         delete screenshots[src];
@@ -970,7 +975,7 @@ class PM_Main extends PM_WithEslintAndTsc_js_1.PM_WithEslintAndTsc {
                 slowMo: 1,
                 waitForInitialPage: false,
                 executablePath,
-                headless: false,
+                headless: true,
                 dumpio: false,
                 devtools: false,
                 args: [

package/dist/common/src/PM/node.js

@@ -150,9 +150,16 @@ class PM_Node extends _1.PM {
                     if (error) {
                         console.error(`❗️testArtiFactory failed`, targetDir, error);
                     }
-                    fs_1.default.writeFileSync(path_1.default.resolve(targetDir.split("/").slice(0, -1).join("/"), "manifest"), fPaths.join(`\n`), {
-                        encoding: "utf-8",
-                    });
+                    // fs.writeFileSync(
+                    //   path.resolve(
+                    //     targetDir.split("/").slice(0, -1).join("/"),
+                    //     "manifest"
+                    //   ),
+                    //   fPaths.join(`\n`),
+                    //   {
+                    //     encoding: "utf-8",
+                    //   }
+                    // );
                     if (Buffer.isBuffer(value)) {
                         fs_1.default.writeFileSync(fPath, value, "binary");
                         res();

package/dist/common/src/build.js

@@ -179,13 +179,14 @@ Promise.resolve(`${process.cwd() + "/" + "testeranto.config.ts"}`).then(s => __i
     <title>${pckge.name} - testeranto</title>
     <meta name="viewport" content="width=device-width, initial-scale=1" />
     <meta name="author" content="" />
+    <base href="https://adamwong246.github.io/spacetrash_v8" target="_blank">
 
     <script type="application/json" id="bigConfig">
       ${JSON.stringify(Object.keys(bigConfig.projects))}
     </script>
 
-    <link rel="stylesheet" href="Project.css" />
-    <script type="module" src="Project.js"></script>
+    <link rel="stylesheet" href="/reports/Project.css" />
+    <script type="module" src="/reports/Project.js"></script>
 
   </head>
 

package/dist/common/src/esbuildConfigs/eslint-formatter-testeranto.js

@@ -2,5 +2,20 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.default = default_1;
 function default_1(results) {
-    return JSON.stringify(results, null, 2);
+    return results
+        .filter((r) => r.messages.length)
+        .map((r) => {
+        const path = r.filePath.replace(process.cwd() + "/", "");
+        return [
+            path,
+            ...r.messages.map((m) => {
+                var _a;
+                return [
+                    `${m.line}:${m.column} ${m.message} (${m.ruleId || ""})`,
+                    ...(((_a = m.suggestions) === null || _a === void 0 ? void 0 : _a.map((s) => `- ${s.message}${s.fix ? " (fix)" : ""}`)) || []),
+                ].join("\n");
+            }),
+        ].join("\n");
+    })
+        .join("\n\n");
 }

package/dist/common/src/esbuildConfigs/node.js

@@ -6,6 +6,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 const index_js_1 = __importDefault(require("./index.js"));
 const inputFilesPlugin_js_1 = __importDefault(require("./inputFilesPlugin.js"));
 const featuresPlugin_1 = __importDefault(require("./featuresPlugin"));
+const rebuildPlugin_js_1 = __importDefault(require("./rebuildPlugin.js"));
 exports.default = (config, entryPoints, testName) => {
     const { inputFilesPluginFactory, register } = (0, inputFilesPlugin_js_1.default)("node", testName);
     return Object.assign(Object.assign({}, (0, index_js_1.default)(config)), { splitting: true, outdir: `testeranto/bundles/node/${testName}/`, 
@@ -19,22 +20,7 @@ exports.default = (config, entryPoints, testName) => {
         }, platform: "node", external: ["react", ...config.externals], entryPoints: [...entryPoints], plugins: [
             featuresPlugin_1.default,
             inputFilesPluginFactory,
-            {
-                name: "rebuild-notify",
-                setup: (build) => {
-                    build.onStart(() => {
-                        console.log(`> node build starting...`);
-                    });
-                    build.onEnd((result) => {
-                        console.log(`> node build ended with ${result.errors.length} errors`);
-                        if (result.errors.length > 0) {
-                            console.log(result);
-                        }
-                        // console.log(result);
-                        // result.errors.length !== 0 && process.exit(-1);
-                    });
-                },
-            },
+            (0, rebuildPlugin_js_1.default)("node"),
             ...(config.nodePlugins.map((p) => p(register, entryPoints)) || []),
         ] });
 };

package/dist/common/src/esbuildConfigs/pure.js

@@ -8,6 +8,7 @@ const inputFilesPlugin_js_1 = __importDefault(require("./inputFilesPlugin.js"));
 const featuresPlugin_js_1 = __importDefault(require("./featuresPlugin.js"));
 const node_module_1 = require("node:module");
 const consoleDetectorPlugin_js_1 = require("./consoleDetectorPlugin.js");
+const rebuildPlugin_js_1 = __importDefault(require("./rebuildPlugin.js"));
 exports.default = (config, entryPoints, testName) => {
     const { inputFilesPluginFactory, register } = (0, inputFilesPlugin_js_1.default)("pure", testName);
     return Object.assign(Object.assign({}, (0, index_js_1.default)(config)), { drop: [], splitting: true, outdir: `testeranto/bundles/pure/${testName}/`, 
@@ -33,22 +34,7 @@ exports.default = (config, entryPoints, testName) => {
                     });
                 },
             },
-            {
-                name: "rebuild-notify",
-                setup: (build) => {
-                    build.onStart(() => {
-                        console.log(`> pure build starting...`);
-                    });
-                    build.onEnd((result) => {
-                        console.log(`> pure build ended with ${result.errors.length} errors`);
-                        if (result.errors.length > 0) {
-                            console.log(result);
-                        }
-                        // console.log(result);
-                        // result.errors.length !== 0 && process.exit(-1);
-                    });
-                },
-            },
+            (0, rebuildPlugin_js_1.default)("pure"),
             ...((config.nodePlugins || []).map((p) => p(register, entryPoints)) ||
                 []),
         ] });

package/dist/common/src/esbuildConfigs/rebuildPlugin.js

@@ -0,0 +1,22 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+const fs_1 = __importDefault(require("fs"));
+exports.default = (r) => {
+    return {
+        name: "rebuild-notify",
+        setup: (build) => {
+            build.onStart(() => {
+                console.log(`> web build starting...`);
+            });
+            build.onEnd((result) => {
+                console.log(`> web build ended with ${result.errors.length} errors`);
+                if (result.errors.length > 0) {
+                    fs_1.default.writeFileSync(`./testeranto/reports${r}_build_errors`, JSON.stringify(result, null, 2));
+                }
+            });
+        },
+    };
+};