Merge ws/spec-m46-integration into feat/m40-plus

Author: Spenquatch

CHANGELOG.md

@@ -2,13 +2,9 @@
 
 ## Unreleased
 
-### Added
-
-- **First-class bounded TypeScript execution in M45** — `spec generate`, `spec build`, `spec test`, and `spec status` now accept `--target-language typescript` for exactly `kind:function` units classified as `function.arithmetic_leaf.monotone_up.v1` with `deps: []`. Bun is the only execution prerequisite, the generated helper surface is frozen at `__spec_ts/runtime.ts`, `__spec_ts/build_entry.ts`, and `__spec_ts/local_tests.ts`, and proof writes add `target_proofs.typescript` without replacing the Rust proof surface.
-
 ### Changed
 
-- **The M45 TypeScript lane stays explicitly bounded** — only atom tests execute in this lane, `local_tests.expect` remains limited to direct `Decimal::new(int, scale)` equality checks against the current unit, `.test.spec` stays unsupported for `--target-language typescript`, and `spec validate` plus `spec export` do not gain `--target-language`.
+- **The bounded TypeScript monotone-up lane is now helper-aware in M46** — eligible `kind:function` units may still declare `deps: []`, or may declare exactly one direct local helper dep when that helper classifies to `function.helper.identity_passthrough.v1` and lives in the same loaded unit set and generated tree. The lane remains Bun-only, atom-only, and additive to Rust proof; it does not widen to wrapper execution, molecule execution, multi-dep execution, seam kinds, cross-library TypeScript resolution, `spec validate --target-language`, or `spec export --target-language`. Root-level TypeScript status over a mixed example remains truthfully non-green when non-eligible or unproven units are still untested in that target.
 
 ## 0.14.0 - 2026-05-07
 

README.md

@@ -47,13 +47,15 @@ spec validate examples/ecommerce/units
 spec generate examples/ecommerce/units
 ```
 
-## Bounded TypeScript lane (M45)
+## Bounded TypeScript lane (M46)
 
 `spec` now exposes one bounded TypeScript execution lane. It is intentionally narrow:
 
 - Bun is the only TypeScript prerequisite. The lane shells out to `bun`; no alternate Node, npm, or tsx contract is supported.
-- Eligible units are exactly `kind: function` specs that classify to `function.arithmetic_leaf.monotone_up.v1` and declare `deps: []`.
-- TypeScript execution is atom-only. Only `local_tests` run in this lane; `.test.spec` molecule tests remain Rust-only and are rejected for `--target-language typescript`.
+- Eligible units are exactly `kind: function` specs that classify to `function.arithmetic_leaf.monotone_up.v1` and declare either `deps: []` or exactly one direct local helper dep.
+- When one helper dep is present, it must classify to `function.helper.identity_passthrough.v1`, exist in the same loaded unit set and generated tree, and be the only direct dep of the current unit.
+- Rust remains the default target. TypeScript proof is additive only; it writes `target_proofs.typescript` without replacing the Rust proof surface.
+- TypeScript execution is atom-only. Only `local_tests` run in this lane; `.test.spec` molecule tests remain unsupported for `--target-language typescript` and fail before Bun runs.
 - The accepted `local_tests.expect` grammar is deliberately small: `<current_unit>(Decimal::new(int, scale), ...) == Decimal::new(int, scale)`. The left-hand side must be a direct call to the current unit, and both the arguments and expected value must use integer-literal `Decimal::new(...)` forms.
 
 Commands available in this lane:
@@ -65,16 +67,19 @@ spec test <path> --target-language typescript
 spec status <unit-or-root> --target-language typescript
 ```
 
-The generated helper filenames are frozen in M45:
+`spec status <unit-or-root> --target-language typescript` reports target-specific proof only. In M46, a root-level status over a mixed example like `examples/ecommerce` may stay non-green even when the helper-aware `pricing/apply_tax` unit is freshly proven, because units outside the bounded monotone-up lane remain intentionally untested in TypeScript.
+
+The generated helper filenames remain frozen in M46:
 
 - `__spec_ts/runtime.ts`
 - `__spec_ts/build_entry.ts`
 - `__spec_ts/local_tests.ts`
 
-Commands that do not widen for M45:
+Commands and surfaces that do not widen for M46:
 
 - `spec validate` does not accept `--target-language`
 - `spec export` does not accept `--target-language`
+- This lane does not widen to wrapper execution, molecule execution, multi-dep execution, seam kinds, cross-library TypeScript resolution, `spec validate --target-language`, or `spec export --target-language`.
 
 ## Spec format
 

examples/ecommerce/units/money/round.spec.passport.json

@@ -13,8 +13,8 @@
   },
   "deps": [],
   "local_tests": [],
-  "generated_at": "2026-05-10T18:06:38Z",
-  "source_file": "/Users/spensermcconnell/__Active_Code/atomize-hq/.worktrees/spec-m45/integration/examples/ecommerce/units/money/round.unit.spec",
+  "generated_at": "2026-05-10T23:07:21Z",
+  "source_file": "/Users/spensermcconnell/__Active_Code/atomize-hq/.worktrees/spec-m46/integration/examples/ecommerce/units/money/round.unit.spec",
   "evidence": {
     "build_status": "pass",
     "test_results": [],
@@ -68,6 +68,10 @@
       {
         "path": "contract.returns",
         "summary": "returns Decimal"
+      },
+      {
+        "path": "body.typescript",
+        "summary": "authored TypeScript body present"
       }
     ],
     "executable_surfaces": [

examples/ecommerce/units/money/round.unit.spec

@@ -14,4 +14,7 @@ body:
     {
         value
     }
-
+  typescript: |
+    {
+        return value;
+    }

examples/ecommerce/units/pricing/apply_discount.spec.passport.json

@@ -28,8 +28,8 @@
       "expect": "apply_discount(Decimal::new(10000, 2), Decimal::new(10, 2)) == Decimal::new(9000, 2)"
     }
   ],
-  "generated_at": "2026-05-10T18:06:38Z",
-  "source_file": "/Users/spensermcconnell/__Active_Code/atomize-hq/.worktrees/spec-m45/integration/examples/ecommerce/units/pricing/apply_discount.unit.spec",
+  "generated_at": "2026-05-10T23:07:21Z",
+  "source_file": "/Users/spensermcconnell/__Active_Code/atomize-hq/.worktrees/spec-m46/integration/examples/ecommerce/units/pricing/apply_discount.unit.spec",
   "evidence": {
     "build_status": "pass",
     "test_results": [

examples/ecommerce/units/pricing/apply_tax.spec.passport.json

@@ -1,7 +1,7 @@
 {
   "spec_version": "0.3.0",
   "id": "pricing/apply_tax",
-  "intent": "Add sales tax to a subtotal using a rate expressed as a decimal fraction.",
+  "intent": "Add sales tax to a subtotal using a rate expressed as a decimal fraction and round the total.",
   "contract": {
     "inputs": [
       {
@@ -18,14 +18,16 @@
       "output >= subtotal"
     ]
   },
-  "deps": [],
+  "deps": [
+    "money/round"
+  ],
   "local_tests": [
     {
       "id": "basic_tax",
       "expect": "apply_tax(Decimal::new(10000, 2), Decimal::new(725, 4)) == Decimal::new(10725, 2)"
     }
   ],
-  "generated_at": "2026-05-10T18:20:36Z",
+  "generated_at": "2026-05-10T23:08:46Z",
   "source_file": "examples/ecommerce/units/pricing/apply_tax.unit.spec",
   "evidence": {
     "build_status": "pass",
@@ -35,16 +37,16 @@
         "status": "pass"
       }
     ],
-    "observed_at": "2026-05-10T18:04:50Z",
+    "observed_at": "2026-05-10T23:07:06Z",
     "provenance": {
-      "git_commit_sha": "50d8a9f43c1085b5c5a2f2bc86028f812a0413cb"
+      "git_commit_sha": "467ebd3bd1c2de1d932cddc47cca2ff08c93a1a5"
     }
   },
   "freshness_anchor": {
-    "authored_truth_digest": "sha256:da0c3d9983aff0c88a432a263f93d0a7f912dd92d50dc6a74d168669a5ebdf28"
+    "authored_truth_digest": "sha256:2c618f123ec6666dae4be1c4cc9da04022c9985cf6bfdb7b1b2071d1c0af83fe"
   },
   "freshness": {
-    "authored_truth_digest": "sha256:da0c3d9983aff0c88a432a263f93d0a7f912dd92d50dc6a74d168669a5ebdf28",
+    "authored_truth_digest": "sha256:2c618f123ec6666dae4be1c4cc9da04022c9985cf6bfdb7b1b2071d1c0af83fe",
     "authored_truth_status": "fresh",
     "backend_execution_status": "unknown"
   },
@@ -58,16 +60,16 @@
             "status": "pass"
           }
         ],
-        "observed_at": "2026-05-10T18:04:50Z",
+        "observed_at": "2026-05-10T23:07:06Z",
         "provenance": {
-          "git_commit_sha": "50d8a9f43c1085b5c5a2f2bc86028f812a0413cb"
+          "git_commit_sha": "467ebd3bd1c2de1d932cddc47cca2ff08c93a1a5"
         }
       },
       "freshness_anchor": {
-        "authored_truth_digest": "sha256:da0c3d9983aff0c88a432a263f93d0a7f912dd92d50dc6a74d168669a5ebdf28"
+        "authored_truth_digest": "sha256:2c618f123ec6666dae4be1c4cc9da04022c9985cf6bfdb7b1b2071d1c0af83fe"
       },
       "freshness": {
-        "authored_truth_digest": "sha256:da0c3d9983aff0c88a432a263f93d0a7f912dd92d50dc6a74d168669a5ebdf28",
+        "authored_truth_digest": "sha256:2c618f123ec6666dae4be1c4cc9da04022c9985cf6bfdb7b1b2071d1c0af83fe",
         "authored_truth_status": "fresh",
         "backend_execution_status": "unknown"
       }
@@ -81,16 +83,16 @@
             "status": "pass"
           }
         ],
-        "observed_at": "2026-05-10T18:20:36Z",
+        "observed_at": "2026-05-10T23:08:46Z",
         "provenance": {
-          "git_commit_sha": "50d8a9f43c1085b5c5a2f2bc86028f812a0413cb"
+          "git_commit_sha": "467ebd3bd1c2de1d932cddc47cca2ff08c93a1a5"
         }
       },
       "freshness_anchor": {
-        "authored_truth_digest": "sha256:2895a88bccd94874e9d7e28666fbe9194862c5a71e43b1a1bdc9e2bcb855b1f8"
+        "authored_truth_digest": "sha256:b6f56171141034c8a8455d90fca10ee1d2ca923c4a7210f1bdc939e538d8e1ac"
       },
       "freshness": {
-        "authored_truth_digest": "sha256:2895a88bccd94874e9d7e28666fbe9194862c5a71e43b1a1bdc9e2bcb855b1f8",
+        "authored_truth_digest": "sha256:b6f56171141034c8a8455d90fca10ee1d2ca923c4a7210f1bdc939e538d8e1ac",
         "authored_truth_status": "fresh",
         "backend_execution_status": "unknown"
       }
@@ -104,7 +106,7 @@
     "authored_surfaces": [
       {
         "path": "intent.why",
-        "summary": "Add sales tax to a subtotal using a rate expressed as a decimal fraction."
+        "summary": "Add sales tax to a subtotal using a rate expressed as a decimal fraction and round the total."
       },
       {
         "path": "contract.inputs",
@@ -118,6 +120,10 @@
         "path": "contract.invariants",
         "summary": "1 authored invariant(s)"
       },
+      {
+        "path": "deps",
+        "summary": "1 declared dep(s)"
+      },
       {
         "path": "body.typescript",
         "summary": "authored TypeScript body present"

examples/ecommerce/units/pricing/apply_tax.unit.spec

@@ -2,24 +2,28 @@ id: pricing/apply_tax
 kind: function
 spec_version: "0.3.0"
 intent:
-  why: Add sales tax to a subtotal using a rate expressed as a decimal fraction.
+  why: Add sales tax to a subtotal using a rate expressed as a decimal fraction and round the total.
 contract:
   inputs:
     subtotal: Decimal
     rate: Decimal
   returns: Decimal
   invariants:
     - output >= subtotal
+deps:
+  - money/round
 imports:
   - rust_decimal::Decimal
 body:
   rust: |
     {
-        subtotal + subtotal * rate
+        let taxed = subtotal + subtotal * rate;
+        round(taxed)
     }
   typescript: |
     {
-        return subtotal.add(subtotal.mul(rate));
+        const taxed = subtotal.add(subtotal.mul(rate));
+        return round(taxed);
     }
 local_tests:
   - id: basic_tax

examples/ecommerce/units/pricing/checkout_quote.spec.passport.json

@@ -100,8 +100,8 @@
       "expect": "CheckoutQuote::new(rust_decimal::Decimal::new(10000, 2), rust_decimal::Decimal::new(10, 2), rust_decimal::Decimal::new(725, 4)).total() == rust_decimal::Decimal::new(96525, 3)"
     }
   ],
-  "generated_at": "2026-05-10T18:06:38Z",
-  "source_file": "/Users/spensermcconnell/__Active_Code/atomize-hq/.worktrees/spec-m45/integration/examples/ecommerce/units/pricing/checkout_quote.unit.spec",
+  "generated_at": "2026-05-10T23:07:21Z",
+  "source_file": "/Users/spensermcconnell/__Active_Code/atomize-hq/.worktrees/spec-m46/integration/examples/ecommerce/units/pricing/checkout_quote.unit.spec",
   "evidence": {
     "build_status": "pass",
     "test_results": [

examples/ecommerce/units/pricing/discount_plus_tax.test.evidence.json

@@ -8,7 +8,7 @@
     "money/round"
   ],
   "status": "pass",
-  "observed_at": "2026-05-10T18:06:41Z",
+  "observed_at": "2026-05-10T23:07:24Z",
   "test_body_hash": "sha256:ab1eb353dc1aba61a125fe7311500535bd643a7926f80d4285b458e02a369ace",
   "covered_unit_contract_hashes": {
     "money/round": "sha256:5b5fe2cf748b211051a4b6a1d213a70308302ab84c6687d5f23e54cc8003ebb8",
@@ -23,10 +23,10 @@
       "authored_truth_digest": "sha256:bbc4ed3407164fcb25f710e577c914f0adeff75689da95850dbe7eaab5cd422b"
     },
     "pricing/apply_tax": {
-      "authored_truth_digest": "sha256:da0c3d9983aff0c88a432a263f93d0a7f912dd92d50dc6a74d168669a5ebdf28"
+      "authored_truth_digest": "sha256:2c618f123ec6666dae4be1c4cc9da04022c9985cf6bfdb7b1b2071d1c0af83fe"
     }
   },
   "provenance": {
-    "git_commit_sha": "50d8a9f43c1085b5c5a2f2bc86028f812a0413cb"
+    "git_commit_sha": "467ebd3bd1c2de1d932cddc47cca2ff08c93a1a5"
   }
 }

examples/ecommerce/units/pricing/discount_policy.spec.passport.json

@@ -143,8 +143,8 @@
       "expect": "DiscountPolicy::None.fixed_amount_capped_behavior_holds()"
     }
   ],
-  "generated_at": "2026-05-10T18:06:38Z",
-  "source_file": "/Users/spensermcconnell/__Active_Code/atomize-hq/.worktrees/spec-m45/integration/examples/ecommerce/units/pricing/discount_policy.unit.spec",
+  "generated_at": "2026-05-10T23:07:21Z",
+  "source_file": "/Users/spensermcconnell/__Active_Code/atomize-hq/.worktrees/spec-m46/integration/examples/ecommerce/units/pricing/discount_policy.unit.spec",
   "evidence": {
     "build_status": "pass",
     "test_results": [