Add entry Factorial for Plutarch implementation

report/benchmarks/factorial.html

@@ -150,7 +150,7 @@ <h1>🚀 UPLC-CAPE Performance Report - factorial</h1>
     </div>
 
     <div class="timestamp">
-        Generated on: 2025-08-18 18:56:34 CEST
+        Generated on: 2025-08-20 01:29:56 CDT
     </div>
 
     <div class="benchmark-section">
@@ -193,7 +193,7 @@ <h3>📋 Performance Data</h3>
             </thead>
             <tbody>
                 <tr>
-                    <td>2025-08-18T16:56:26Z</td>
+                    <td>2025-08-20T06:29:51Z</td>
                     <td>Plinth</td>
                     <td>1.52.0.0</td>
                     <td>Unisay</td>
@@ -203,6 +203,17 @@ <h3>📋 Performance Data</h3>
                     <td class="numeric">29</td>
                     <td><a href="https://github.com/IntersectMBO/UPLC-CAPE/blob/main/submissions/factorial/Plinth_1.52.0.0_Unisay/factorial.uplc" target="_blank" rel="noopener">🔗</a></td>
                 </tr>
+                <tr>
+                    <td>2025-08-20T06:29:51Z</td>
+                    <td>Plutarch</td>
+                    <td>Plutarch</td>
+                    <td>Seungheon Oh</td>
+                    <td class="numeric">7845912</td>
+                    <td class="numeric">28362</td>
+                    <td class="numeric">42</td>
+                    <td class="numeric">35</td>
+                    <td><a href="https://github.com/IntersectMBO/UPLC-CAPE/blob/main/submissions/factorial/Plutarch_1.10.1_SeungheonOh/factorial.uplc" target="_blank" rel="noopener">🔗</a></td>
+                </tr>
             </tbody>
         </table>
     </div>

report/benchmarks/fibonacci.html

@@ -150,7 +150,7 @@ <h1>🚀 UPLC-CAPE Performance Report - fibonacci</h1>
     </div>
 
     <div class="timestamp">
-        Generated on: 2025-08-18 18:56:36 CEST
+        Generated on: 2025-08-20 01:29:57 CDT
     </div>
 
     <div class="benchmark-section">
@@ -193,7 +193,7 @@ <h3>📋 Performance Data</h3>
             </thead>
             <tbody>
                 <tr>
-                    <td>2025-08-18T16:56:26Z</td>
+                    <td>2025-08-20T06:29:52Z</td>
                     <td>Plinth</td>
                     <td>1.49.0.0</td>
                     <td>Unisay</td>
@@ -204,7 +204,7 @@ <h3>📋 Performance Data</h3>
                     <td><a href="https://github.com/IntersectMBO/UPLC-CAPE/blob/main/submissions/fibonacci/Plinth_1.49.0.0_Unisay/fibonacci.uplc" target="_blank" rel="noopener">🔗</a></td>
                 </tr>
                 <tr>
-                    <td>2025-08-18T16:56:26Z</td>
+                    <td>2025-08-20T06:29:52Z</td>
                     <td>Plinth</td>
                     <td>1.52.0.0</td>
                     <td>Unisay</td>
@@ -215,7 +215,7 @@ <h3>📋 Performance Data</h3>
                     <td><a href="https://github.com/IntersectMBO/UPLC-CAPE/blob/main/submissions/fibonacci/Plinth_1.52.0.0_Unisay/fibonacci.uplc" target="_blank" rel="noopener">🔗</a></td>
                 </tr>
                 <tr>
-                    <td>2025-08-18T16:56:26Z</td>
+                    <td>2025-08-20T06:29:52Z</td>
                     <td>Aiken</td>
                     <td>1.1.17</td>
                     <td>KtorZ</td>

report/index.html

@@ -85,7 +85,7 @@ <h1>🚀 UPLC-CAPE Performance Reports</h1>
     </div>
 
     <div class="timestamp">
-        Generated on: 2025-08-18 18:56:36 CEST
+        Generated on: 2025-08-20 01:29:57 CDT
     </div>
 
     <div class="benchmark-grid">

submissions/factorial/Plutarch_1.10.1_SeungheonOh/README.md

@@ -0,0 +1,25 @@
+# Benchmark Implementation Notes
+
+**Scenario**: `factorial`
+
+**Submission ID**: `Plutarch_1.10.1_SeungheonOh` (Format: `Language_Version_GitHubHandle`)
+
+## Implementation Details
+
+- **Compiler**: `<compiler name and version>`
+- **Implementation Approach**: `<recursive|iterative|memoized>`
+- **Compilation Flags**: `<optional flags>`
+
+## Performance Results
+
+- See [metrics.json](metrics.json) for detailed performance measurements
+
+## Reproducibility
+
+- **Source Available**: `<true|false>`
+- **Source Repository**: `<URL or N/A>`
+- **Compilation Config**: describe any non-default parameters
+
+## Notes
+
+Describe any notable optimizations, deviations from the spec, or measurement conditions.

submissions/factorial/Plutarch_1.10.1_SeungheonOh/config.json

@@ -0,0 +1,6 @@
+{
+  "comment": "Optional: Include compilation parameters that affect UPLC output",
+  "optimization_flags": [],
+  "compiler_settings": {},
+  "build_environment": {}
+}

submissions/factorial/Plutarch_1.10.1_SeungheonOh/factorial.uplc

@@ -0,0 +1,34 @@
+(program
+  1.1.0
+  [
+    [
+      (lam i-0 [ i-0 i-0 ])
+      (lam
+        i-1
+        (lam
+          i-2
+          (force
+            (case
+              (constr
+                0
+                [ [ (builtin equalsInteger) i-2 ] (con integer 0) ]
+                (delay (con integer 1))
+                (delay
+                  [
+                    [ (builtin multiplyInteger) i-2 ]
+                    [
+                      [ i-1 i-1 ]
+                      [ [ (builtin subtractInteger) i-2 ] (con integer 1) ]
+                    ]
+                  ]
+                )
+              )
+              (force (builtin ifThenElse))
+            )
+          )
+        )
+      )
+    ]
+    (con integer 10)
+  ]
+)

submissions/factorial/Plutarch_1.10.1_SeungheonOh/metadata.json

@@ -0,0 +1,27 @@
+{
+  "compiler": {
+    "name": "Plutarch",
+    "version": "Plutarch",
+    "commit_hash": "75c06ef1e77742916574414975f76ddac59cce4a"
+  },
+  "compilation_config": {
+    "optimization_level": "Plutarch",
+    "target": "uplc",
+    "flags": ["Plutarch"],
+    "environment": {
+      "dependencies": {
+        "plutarch": "1.10.1"
+      }
+    }
+  },
+  "contributor": {
+    "name": "Seungheon Oh",
+    "organization": "IOG",
+    "contact": "seungheon.oh@iohk.io"
+  },
+  "submission": {
+    "date": "2025-08-19T00:00:00Z",
+    "source_available": true,
+    "implementation_notes": "Plutarch"
+  }
+}

submissions/factorial/Plutarch_1.10.1_SeungheonOh/metrics.json

@@ -0,0 +1,15 @@
+{
+  "execution_environment": {
+    "evaluator": "PlutusTx.Eval-1.52.0.0"
+  },
+  "measurements": {
+    "cpu_units": 7845912,
+    "memory_units": 28362,
+    "script_size_bytes": 42,
+    "term_size": 35
+  },
+  "notes": "<optional notes>",
+  "scenario": "factorial",
+  "timestamp": "2025-08-20T06:29:51Z",
+  "version": "1.0.0"
+}

submissions/factorial/Plutarch_1.10.1_SeungheonOh/source/.gitkeep

@@ -0,0 +1 @@
+# Optional: Place your source code files here

submissions/factorial/Plutarch_1.10.1_SeungheonOh/source/factorial.hs

@@ -0,0 +1,36 @@
+module Main where
+
+import Control.Lens (traverseOf)
+import Plutarch.Prelude
+import Plutarch.Internal.Term (compile, punsafeCoerce, punsafeBuiltin)
+import Plutarch.Script
+import PlutusCore.Pretty
+import UntypedPlutusCore (programMapNames, fakeNameDeBruijn, progTerm, unDeBruijnTerm)
+import PlutusCore (runQuoteT, FreeVariableError)
+import PlutusCore qualified as PLC
+
+-- conditional with no hoisting
+pif'' :: Term s PBool -> Term s a -> Term s a -> Term s a
+pif'' cond ifT ifF =
+  pforce $ (pforce $ punsafeBuiltin PLC.IfThenElse) # cond # pdelay ifT # pdelay ifF
+
+pfix' :: (Term s (a :--> b) -> Term s (a :--> b)) -> Term s (a :--> b)
+pfix' f =
+  (plam $ \r -> (punsafeCoerce r) # r) #
+    (plam $ \r -> f ((punsafeCoerce r) # r))
+
+pfactorial :: Term s (PInteger :--> PInteger)
+pfactorial =
+  -- This is concise, but slower
+  pfix' $ \r -> plam $ \x -> pif'' (x #== 0) 1 (x * (r # (x - 1)))
+  -- This bloats the script size, but faster
+  -- punrollBound 11 perror $ \r -> plam $ \x -> pif (x #== 1) x (x * (r # (x - 1)))
+
+main :: IO ()
+main =
+  case compile mempty $ pfactorial # 10 of
+    Left _ -> error "compiliation failed"
+    Right (Script s) ->
+      case runQuoteT $ traverseOf progTerm unDeBruijnTerm $ programMapNames fakeNameDeBruijn s of
+        Left (_ :: FreeVariableError) -> error "debruijn conversion failed"
+        Right s' -> print $ prettyPlcClassic s'