@polymorphism-tech/morph-spec 9.1.0 → 9.3.0

package/framework/standards/frontend/nextjs/testing.md

@@ -17,7 +17,7 @@ Vitest + React Testing Library for component tests. MSW for API mocking. Co-loca
 - ALWAYS use `@testing-library/user-event` for interactions — not `fireEvent`
 - ALWAYS mock the API layer with MSW — never mock `fetch` directly
 - NEVER test implementation details — test what the user sees
-- ALWAYS test the happy path + one error path per component
+- ONLY test a component when a plan scenario with `risco:` lives in it — a component is not a unit of the budget
 
 ## Test File Co-location
 
@@ -103,9 +103,13 @@ export function QueryClientWrapper({ children }: { children: React.ReactNode })
 
 ## Test Budget
 
-The plan (`morph-plan`) gives each task a budget: **one test per postcondition, plus one
-regression test per bug fixed**. Going above it takes a one-line justification in the task. The
-happy path + one error path per component above is that budget applied to a component.
+Tests are paid for by **risk, not by new code**. The plan (`morph-plan`) marks each scenario
+with `prova:` and, for a test, a `risco:` (business rule, money, external contract, concurrency,
+data integrity, regression). The budget is **one test per risky scenario, plus the regression test of
+the bug being fixed**; going above it takes a one-line justification on the scenario. A scenario
+without risk — CRUD, DTO, mapping, wiring, constants, layout — is `prova: leitura`: the Gate 3
+verifier proves it by reading the code, and it gets no test. Rendering, layout and copy are
+`leitura` or `e2e`, never a unit test per component.
 
 - **Table before copy.** Scenarios of the same behavior — edge cases included — are rows of one
   `it.each`/`test.each`, never N `it()` blocks that differ by one value.
@@ -116,8 +120,8 @@ happy path + one error path per component above is that budget applied to a comp
 - **Shared helpers by default.** Reuse the existing wrappers (`test/helpers.tsx`), MSW handlers and
   factories. Before writing a new one, look for it (`morph-spec graph explain <Name>`; fallback
   without a graph: `grep -rn`).
-- **Order is free, proof is not the implementer's:** a bug gets a regression test, and pure logic
-  (formatters, reducers, schema) gets its tests, in whatever order the code comes out. The
+- **Order is free, proof is not the implementer's:** a bug gets a regression test, and a risky
+  scenario (a formatter of money, a reducer with rules, a schema) gets its test, in whatever order the code comes out. The
   implementer does not run red→green cycles nor mutate production code to watch a test fail; it
   runs its own filter once before the report, and the Gate 3 mutation proof shows the test bites.
 

package/framework/standards/integration/mcp/mcp-tools.md

@@ -5,7 +5,7 @@
 > **Keywords:** mcp, model-context-protocol, mcp-tools, context7, playwright, mcp-client
 > **Load When:** an MCP tool is used in any morph-spec phase
 
-**Verified against:** Claude Code 2.1.282 MCP tooling — context7, Playwright (as plugin and as a project MCP server); GitHub via `gh` CLI; Neon via its MCP or `neonctl`. Last-verified: 2026-09-24.
+**Verified against:** Claude Code 2.1.282 MCP tooling — context7, Playwright (as plugin and as a project MCP server); GitHub via `gh` CLI; Neon via its MCP or `neonctl`; Microsoft Learn MCP (`https://learn.microsoft.com/api/mcp`, tools listed by `tools/list` on 2026-10-17). Last-verified: 2026-10-17.
 
 ---
 
@@ -138,6 +138,7 @@ Fallback: manual image creation, stock photos, or placeholder divs.
 |------|----------|---------|
 | **Neon CLI (`neonctl`) / psql** | Database schema, tables, relationships, RLS | `psql <DB_URL> -c "SELECT ..."` |
 | **Context7** | Library docs for architecture decisions | `mcp__context7__query-docs()` |
+| **Microsoft Learn** (stack .NET) | Official docs for a .NET/EF Core/MAF decision (limits, what is new, migration) | `mcp__microsoft-learn__microsoft_docs_search({ query })` |
 | **GitHub CLI (`gh`)** | Check existing code patterns, PRs | `gh search code` (Bash) |
 
 ```bash
@@ -213,6 +214,7 @@ gh issue create --title "F1: Create Entity Lead" \
 | **Neon CLI (`neonctl`) / psql** | Run migrations, create RLS policies | `dotnet ef database update` |
 | **GitHub CLI (`gh`)** | Create PR, push branches | `gh pr create` (Bash) |
 | **Context7** | Look up API usage during coding | `mcp__context7__query-docs()` |
+| **Microsoft Learn** (stack .NET) | Current .NET 10 / EF Core / ASP.NET Core / MAF API: search, then fetch the page when the excerpt is cut | `mcp__microsoft-learn__microsoft_docs_search({ query })` → `microsoft_docs_fetch({ url })`; `microsoft_code_sample_search` for snippets |
 | **Playwright** | Smoke test deployed features, verify UI | `mcp__playwright__browser_navigate()` |
 | **Vercel** | Deploy, check logs, manage env vars | `mcp__vercel__list_projects()` |
 | **Azure CLI** | Resource management, deployments | `az` commands |

package/framework/templates/.idea/morph-templates.xml

@@ -0,0 +1,92 @@
+<templateSet group="MORPH Templates">
+  <template name="morph-pascal" value="{{pascalCase $FEATURE_NAME$}}" description="Convert to PascalCase (UserAuth)" toReformat="false" toShortenFQNames="true">
+    <variable name="FEATURE_NAME" expression="" defaultValue="&quot;FEATURE_NAME&quot;" alwaysStopAt="true" />
+    <context>
+      <option name="OTHER" value="true" />
+    </context>
+  </template>
+
+  <template name="morph-camel" value="{{camelCase $FEATURE_NAME$}}" description="Convert to camelCase (userAuth)" toReformat="false" toShortenFQNames="true">
+    <variable name="FEATURE_NAME" expression="" defaultValue="&quot;FEATURE_NAME&quot;" alwaysStopAt="true" />
+    <context>
+      <option name="OTHER" value="true" />
+    </context>
+  </template>
+
+  <template name="morph-snake" value="{{snakeCase $FEATURE_NAME$}}" description="Convert to snake_case (user_auth)" toReformat="false" toShortenFQNames="true">
+    <variable name="FEATURE_NAME" expression="" defaultValue="&quot;FEATURE_NAME&quot;" alwaysStopAt="true" />
+    <context>
+      <option name="OTHER" value="true" />
+    </context>
+  </template>
+
+  <template name="morph-title" value="{{titleCase $FEATURE_NAME$}}" description="Convert to Title Case (User Auth)" toReformat="false" toShortenFQNames="true">
+    <variable name="FEATURE_NAME" expression="" defaultValue="&quot;FEATURE_NAME&quot;" alwaysStopAt="true" />
+    <context>
+      <option name="OTHER" value="true" />
+    </context>
+  </template>
+
+  <template name="morph-kebab" value="{{kebabCase $FEATURE_NAME$}}" description="Convert to kebab-case (user-auth)" toReformat="false" toShortenFQNames="true">
+    <variable name="FEATURE_NAME" expression="" defaultValue="&quot;FEATURE_NAME&quot;" alwaysStopAt="true" />
+    <context>
+      <option name="OTHER" value="true" />
+    </context>
+  </template>
+
+  <template name="morph-if" value="{{#if $CONDITION$}}&#10;  $END$&#10;{{/if}}" description="Handlebars if block" toReformat="false" toShortenFQNames="true">
+    <variable name="CONDITION" expression="" defaultValue="&quot;condition&quot;" alwaysStopAt="true" />
+    <context>
+      <option name="OTHER" value="true" />
+    </context>
+  </template>
+
+  <template name="morph-if-else" value="{{#if $CONDITION$}}&#10;  $TRUE_BRANCH$&#10;{{else}}&#10;  $FALSE_BRANCH$&#10;{{/if}}" description="Handlebars if-else block" toReformat="false" toShortenFQNames="true">
+    <variable name="CONDITION" expression="" defaultValue="&quot;condition&quot;" alwaysStopAt="true" />
+    <variable name="TRUE_BRANCH" expression="" defaultValue="&quot;&quot;" alwaysStopAt="true" />
+    <variable name="FALSE_BRANCH" expression="" defaultValue="&quot;&quot;" alwaysStopAt="true" />
+    <context>
+      <option name="OTHER" value="true" />
+    </context>
+  </template>
+
+  <template name="morph-each" value="{{#each $ITEMS$}}&#10;  {{this.$PROPERTY$}}&#10;{{/each}}" description="Handlebars each loop" toReformat="false" toShortenFQNames="true">
+    <variable name="ITEMS" expression="" defaultValue="&quot;items&quot;" alwaysStopAt="true" />
+    <variable name="PROPERTY" expression="" defaultValue="&quot;name&quot;" alwaysStopAt="true" />
+    <context>
+      <option name="OTHER" value="true" />
+    </context>
+  </template>
+
+  <template name="morph-service" value="namespace {{NAMESPACE}}.Application.Features.{{pascalCase FEATURE_NAME}}.Services;&#10;&#10;public class {{pascalCase FEATURE_NAME}}Service(&#10;    I{{pascalCase FEATURE_NAME}}Repository repository,&#10;    ILogger&lt;{{pascalCase FEATURE_NAME}}Service&gt; logger) : I{{pascalCase FEATURE_NAME}}Service&#10;{&#10;    public async Task&lt;{{pascalCase FEATURE_NAME}}Dto?&gt; GetByIdAsync(int id, CancellationToken cancellationToken = default)&#10;    {&#10;        $END$&#10;    }&#10;}" description="MORPH .NET Service class template" toReformat="false" toShortenFQNames="true">
+    <context>
+      <option name="C_SHARP" value="true" />
+    </context>
+  </template>
+
+  <template name="morph-repository" value="public class {{pascalCase FEATURE_NAME}}Repository(AppDbContext context) : I{{pascalCase FEATURE_NAME}}Repository&#10;{&#10;    private readonly DbSet&lt;{{pascalCase FEATURE_NAME}}&gt; _dbSet = context.Set&lt;{{pascalCase FEATURE_NAME}}&gt;();&#10;&#10;    public async Task&lt;{{pascalCase FEATURE_NAME}}?&gt; GetByIdAsync(int id, CancellationToken cancellationToken = default)&#10;    {&#10;        $END$&#10;    }&#10;}" description="MORPH .NET Repository class template" toReformat="false" toShortenFQNames="true">
+    <context>
+      <option name="C_SHARP" value="true" />
+    </context>
+  </template>
+
+  <template name="morph-component" value="@page &quot;/{{kebabCase FEATURE_NAME}}&quot;&#10;@inject I{{pascalCase FEATURE_NAME}}Service {{pascalCase FEATURE_NAME}}Service&#10;@inject ILogger&lt;{{pascalCase FEATURE_NAME}}Page&gt; Logger&#10;&#10;&lt;PageTitle&gt;{{pascalCase FEATURE_NAME}}&lt;/PageTitle&gt;&#10;&#10;&lt;div class=&quot;container-fluid&quot;&gt;&#10;    $END$&#10;&lt;/div&gt;&#10;&#10;@code {&#10;&#10;}" description="MORPH Blazor component template" toReformat="false" toShortenFQNames="true">
+    <context>
+      <option name="HTML" value="true" />
+    </context>
+  </template>
+
+  <template name="morph-migration" value="public partial class Add{{pascalCase FEATURE_NAME}} : Migration&#10;{&#10;    protected override void Up(MigrationBuilder migrationBuilder)&#10;    {&#10;        migrationBuilder.CreateTable(&#10;            name: &quot;{{pascalCase FEATURE_NAME}}s&quot;,&#10;            columns: table =&gt; new&#10;            {&#10;                Id = table.Column&lt;int&gt;(type: &quot;int&quot;, nullable: false)&#10;                    .Annotation(&quot;SqlServer:Identity&quot;, &quot;1, 1&quot;),&#10;                $END$&#10;            },&#10;            constraints: table =&gt;&#10;            {&#10;                table.PrimaryKey(&quot;PK_{{pascalCase FEATURE_NAME}}s&quot;, x =&gt; x.Id);&#10;            });&#10;    }&#10;&#10;    protected override void Down(MigrationBuilder migrationBuilder)&#10;    {&#10;        migrationBuilder.DropTable(name: &quot;{{pascalCase FEATURE_NAME}}s&quot;);&#10;    }&#10;}" description="MORPH EF Core migration template" toReformat="false" toShortenFQNames="true">
+    <context>
+      <option name="C_SHARP" value="true" />
+    </context>
+  </template>
+
+  <template name="morph-ts-contract" value="export interface {{pascalCase FEATURE_NAME}} {&#10;  id: number;&#10;  $FIELD1$&#10;}&#10;&#10;export interface Create{{pascalCase FEATURE_NAME}}Request {&#10;  $FIELD2$&#10;}&#10;&#10;export interface Update{{pascalCase FEATURE_NAME}}Request {&#10;  $END$&#10;}" description="MORPH TypeScript contract template" toReformat="false" toShortenFQNames="true">
+    <variable name="FIELD1" expression="" defaultValue="&quot;&quot;" alwaysStopAt="true" />
+    <variable name="FIELD2" expression="" defaultValue="&quot;&quot;" alwaysStopAt="true" />
+    <context>
+      <option name="TypeScript" value="true" />
+    </context>
+  </template>
+</templateSet>

package/framework/templates/.vscode/morph-templates.code-snippets

@@ -0,0 +1,186 @@
+{
+  "MORPH Template - PascalCase": {
+    "prefix": "morph-pascal",
+    "body": ["{{pascalCase ${1:FEATURE_NAME}}}"],
+    "description": "Convert to PascalCase (UserAuth)"
+  },
+  "MORPH Template - camelCase": {
+    "prefix": "morph-camel",
+    "body": ["{{camelCase ${1:FEATURE_NAME}}}"],
+    "description": "Convert to camelCase (userAuth)"
+  },
+  "MORPH Template - snake_case": {
+    "prefix": "morph-snake",
+    "body": ["{{snakeCase ${1:FEATURE_NAME}}}"],
+    "description": "Convert to snake_case (user_auth)"
+  },
+  "MORPH Template - Title Case": {
+    "prefix": "morph-title",
+    "body": ["{{titleCase ${1:FEATURE_NAME}}}"],
+    "description": "Convert to Title Case (User Auth)"
+  },
+  "MORPH Template - kebab-case": {
+    "prefix": "morph-kebab",
+    "body": ["{{kebabCase ${1:FEATURE_NAME}}}"],
+    "description": "Convert to kebab-case (user-auth)"
+  },
+  "MORPH Template - UPPER_SNAKE_CASE": {
+    "prefix": "morph-upper-snake",
+    "body": ["{{upperSnakeCase ${1:FEATURE_NAME}}}"],
+    "description": "Convert to UPPER_SNAKE_CASE (USER_AUTH)"
+  },
+  "MORPH Template - Conditional If": {
+    "prefix": "morph-if",
+    "body": [
+      "{{#if ${1:condition}}}",
+      "  $2",
+      "{{/if}}"
+    ],
+    "description": "Handlebars if block"
+  },
+  "MORPH Template - Conditional If-Else": {
+    "prefix": "morph-if-else",
+    "body": [
+      "{{#if ${1:condition}}}",
+      "  $2",
+      "{{else}}",
+      "  $3",
+      "{{/if}}"
+    ],
+    "description": "Handlebars if-else block"
+  },
+  "MORPH Template - Each Loop": {
+    "prefix": "morph-each",
+    "body": [
+      "{{#each ${1:items}}}",
+      "  {{this.$2}}",
+      "{{/each}}"
+    ],
+    "description": "Handlebars each loop"
+  },
+  "MORPH Template - Unless": {
+    "prefix": "morph-unless",
+    "body": [
+      "{{#unless ${1:condition}}}",
+      "  $2",
+      "{{/unless}}"
+    ],
+    "description": "Handlebars unless block"
+  },
+  "MORPH Template - .NET Service Class": {
+    "prefix": "morph-service",
+    "body": [
+      "namespace {{NAMESPACE}}.Application.Features.{{pascalCase FEATURE_NAME}}.Services;",
+      "",
+      "public class {{pascalCase FEATURE_NAME}}Service(",
+      "    I{{pascalCase FEATURE_NAME}}Repository repository,",
+      "    ILogger<{{pascalCase FEATURE_NAME}}Service> logger) : I{{pascalCase FEATURE_NAME}}Service",
+      "{",
+      "    public async Task<{{pascalCase FEATURE_NAME}}Dto?> GetByIdAsync(int id, CancellationToken cancellationToken = default)",
+      "    {",
+      "        $1",
+      "    }",
+      "}"
+    ],
+    "description": "MORPH .NET Service class template"
+  },
+  "MORPH Template - .NET Repository Class": {
+    "prefix": "morph-repository",
+    "body": [
+      "public class {{pascalCase FEATURE_NAME}}Repository(AppDbContext context) : I{{pascalCase FEATURE_NAME}}Repository",
+      "{",
+      "    private readonly DbSet<{{pascalCase FEATURE_NAME}}> _dbSet = context.Set<{{pascalCase FEATURE_NAME}}>();",
+      "",
+      "    public async Task<{{pascalCase FEATURE_NAME}}?> GetByIdAsync(int id, CancellationToken cancellationToken = default)",
+      "    {",
+      "        $1",
+      "    }",
+      "}"
+    ],
+    "description": "MORPH .NET Repository class template"
+  },
+  "MORPH Template - Blazor Component": {
+    "prefix": "morph-component",
+    "body": [
+      "@page \"/{{kebabCase FEATURE_NAME}}\"",
+      "@inject I{{pascalCase FEATURE_NAME}}Service {{pascalCase FEATURE_NAME}}Service",
+      "@inject ILogger<{{pascalCase FEATURE_NAME}}Page> Logger",
+      "",
+      "<PageTitle>{{pascalCase FEATURE_NAME}}</PageTitle>",
+      "",
+      "<div class=\"container-fluid\">",
+      "    $1",
+      "</div>",
+      "",
+      "@code {",
+      "    $2",
+      "}"
+    ],
+    "description": "MORPH Blazor component template"
+  },
+  "MORPH Template - EF Core Migration": {
+    "prefix": "morph-migration",
+    "body": [
+      "public partial class Add{{pascalCase FEATURE_NAME}} : Migration",
+      "{",
+      "    protected override void Up(MigrationBuilder migrationBuilder)",
+      "    {",
+      "        migrationBuilder.CreateTable(",
+      "            name: \"{{pascalCase FEATURE_NAME}}s\",",
+      "            columns: table => new",
+      "            {",
+      "                Id = table.Column<int>(type: \"int\", nullable: false)",
+      "                    .Annotation(\"SqlServer:Identity\", \"1, 1\"),",
+      "                $1",
+      "            },",
+      "            constraints: table =>",
+      "            {",
+      "                table.PrimaryKey(\"PK_{{pascalCase FEATURE_NAME}}s\", x => x.Id);",
+      "            });",
+      "    }",
+      "",
+      "    protected override void Down(MigrationBuilder migrationBuilder)",
+      "    {",
+      "        migrationBuilder.DropTable(name: \"{{pascalCase FEATURE_NAME}}s\");",
+      "    }",
+      "}"
+    ],
+    "description": "MORPH EF Core migration template"
+  },
+  "MORPH Template - Hangfire Job": {
+    "prefix": "morph-job",
+    "body": [
+      "public class {{pascalCase FEATURE_NAME}}ProcessorJob(",
+      "    I{{pascalCase FEATURE_NAME}}Service service,",
+      "    ILogger<{{pascalCase FEATURE_NAME}}ProcessorJob> logger) : I{{pascalCase FEATURE_NAME}}ProcessorJob",
+      "{",
+      "    [AutomaticRetry(Attempts = 3, DelaysInSeconds = new[] { 60, 300, 900 })]",
+      "    [Queue(\"default\")]",
+      "    [JobDisplayName(\"{{pascalCase FEATURE_NAME}} Processing - ID: {0}\")]",
+      "    public async Task ExecuteAsync(int id, CancellationToken cancellationToken)",
+      "    {",
+      "        $1",
+      "    }",
+      "}"
+    ],
+    "description": "MORPH Hangfire job template"
+  },
+  "MORPH Template - TypeScript Contract": {
+    "prefix": "morph-ts-contract",
+    "body": [
+      "export interface {{pascalCase FEATURE_NAME}} {",
+      "  id: number;",
+      "  $1",
+      "}",
+      "",
+      "export interface Create{{pascalCase FEATURE_NAME}}Request {",
+      "  $2",
+      "}",
+      "",
+      "export interface Update{{pascalCase FEATURE_NAME}}Request {",
+      "  $3",
+      "}"
+    ],
+    "description": "MORPH TypeScript contract template"
+  }
+}