commit 6b44fc8e95bb37c3c689008b5d2c89f062c443f9
parent 1a3085b60167a9e5095a3087f95b54d249eeb076
Author: James Eversole <james@eversole.co>
Date: Sat, 17 Oct 2026 20:33:53 -0500
Refresh site for the structural digest-byte compiler
Pin the authenticated 1a3085b publication; regenerate compiler/runtime/contract captures and practical environments, and revalidate inspector libraries. Publish the 15 showcase packages at 0.1.3 while preserving all 74 historical releases and exact bundles. Update the browser's explicit current-compiler release selection. JS parity, 89 Node tests, independent compiler/contracts checks, full Chromium, site/dependency builds and flake checks passed. No public deployment; rolling retention follows.
Diffstat:
15 files changed, 123 insertions(+), 16 deletions(-)
diff --git a/ext/demo-site/bundles/08a1cefc326889f8a47090aa749844a81635d4e7d08c9b1654d97c6e1e7c55ae.arboricx b/ext/demo-site/bundles/08a1cefc326889f8a47090aa749844a81635d4e7d08c9b1654d97c6e1e7c55ae.arboricx
Binary files differ.
diff --git a/ext/demo-site/bundles/3ccf7bbc514db08b9d6c0541c858c29625dc996c613eb44f1fe16d3e6f1f1041.arboricx b/ext/demo-site/bundles/3ccf7bbc514db08b9d6c0541c858c29625dc996c613eb44f1fe16d3e6f1f1041.arboricx
Binary files differ.
diff --git a/ext/demo-site/bundles/9debb54a2eeba75b0554403eae4f34a9ea033698f7323dcec70905864cb2508b.arboricx b/ext/demo-site/bundles/9debb54a2eeba75b0554403eae4f34a9ea033698f7323dcec70905864cb2508b.arboricx
Binary files differ.
diff --git a/ext/demo-site/bundles/a5a6a450746bd1a61b722adeddd27595f7ef6cef1e524e7a1193012526c556c2.arboricx b/ext/demo-site/bundles/a5a6a450746bd1a61b722adeddd27595f7ef6cef1e524e7a1193012526c556c2.arboricx
Binary files differ.
diff --git a/ext/demo-site/compiler-reference.v1 b/ext/demo-site/compiler-reference.v1
@@ -3,7 +3,7 @@ module source.map source_map lib/source/map.tri 72638c3d2ec6f47598cba67c730249e8
module source.unit source_unit lib/source/unit.tri df06fabda353c5d88c0463e63f3d260c584abf0258ff2e3b9ca500481f4e0658
module prelude prelude lib/prelude.tri 0c26a0142d15cc2a11a4317264491c797944e76ea8afa07a1efef240a70f4289
module io io lib/io.tri c4ec206590d25d581b9a96f242c22936d8d0b2e9903331ce50b30ad7de254bd6
-module source.object source_object lib/source/object.tri 76a7e0ddde50e8a600ae8855d9091aa59af3235193605e5a7a07532ae90372af
+module source.object source_object lib/source/object.tri 79cd7f19d3de74be38bac823d8674f6b74327a4ae12bb0cf405119b51fbd9ea5
module source.module source_module lib/source/module.tri fb609a75a12659d2a05a63681c0cf96ef606045b4aebe044eac077c8cd23fbf2
module source.resolve source_resolve lib/source/resolve.tri e31cd89fb71fb7606a05a9bd0afd553f764b40bc0731d944aea1d63e5643c5b9
module source.build source_build lib/source/build.tri 5c24cc853df42e433916b1528fc8cd56334bd393606f54e7b12efb6a7069be0d
@@ -26,4 +26,4 @@ module source.pattern source_pattern lib/source/pattern.tri b27f1eac18cbe8ad80cd
module source.equations source_equations lib/source/equations.tri 825f175f5c6dd56e103b94e924283acf5913cbc4554fb42fc07a034f460d2076
module source.stable source_stable lib/source/stable.tri ca105b189c1e70919efe86232915ba0c3bc43a385efa48a3c3269c5a17309e48
module math.native native_math lib/math/native.tri 3ee81d8c129a511ddb26b34d22ebc4fe257fb124a99e2b2f1afce8a1b3087009
-bundle 2aa8c06ca8c32a10ce8a8e83f2bc3766d2895b3a4c349439b635e04533269d4e
+bundle fba1d2b239b7d696b3d9418635f9c46894eabdb83ddce0a30b94310635dcd123
diff --git a/ext/demo-site/compiler.json b/ext/demo-site/compiler.json
@@ -1,8 +1,8 @@
{
"schema": 1,
- "hash": "e70583bc724ae495a33ead7e10614e2c6a9664bf4855c7e6042871cbd5d88a09",
+ "hash": "9debb54a2eeba75b0554403eae4f34a9ea033698f7323dcec70905864cb2508b",
"export": "source_unit.compileStableModuleDefinitions",
"backend": "stable",
"reference": "test/fixtures/compiler-library.arboricx",
- "referenceCommit": "be74bfea970ac5400110043bfc1a9df011421131"
+ "referenceCommit": "1a3085b60167a9e5095a3087f95b54d249eeb076"
}
diff --git a/ext/demo-site/demos.json b/ext/demo-site/demos.json
@@ -2,9 +2,9 @@
"schema": 1,
"backend": "stable",
"compilerExport": "source_unit.compileStableModuleDefinitions",
- "compilerBundleSha256": "e70583bc724ae495a33ead7e10614e2c6a9664bf4855c7e6042871cbd5d88a09",
- "compilerManifest": "01328f4f795566b61d197e7b9f2017f6d3472c68c119e49b8a4e486afd2741ac",
- "hostSha256": "79bc19656b1af3c4f0cec5699279dbd514cba4eea69b69f084a40520da9fcce3",
+ "compilerBundleSha256": "9debb54a2eeba75b0554403eae4f34a9ea033698f7323dcec70905864cb2508b",
+ "compilerManifest": "d9403160a778fdfda21980071d7cccbb5f68800ba6cab80c39bf72fa20d0084f",
+ "hostSha256": "3523842302c1d7340556616e8efe91ea57a4daf108baaeea5d382a7a7237aa45",
"demos": {
"intro": {
"demandCases": [],
diff --git a/ext/demo-site/environments.json b/ext/demo-site/environments.json
@@ -1,6 +1,6 @@
{
"schema": 1,
- "compiler": "e70583bc724ae495a33ead7e10614e2c6a9664bf4855c7e6042871cbd5d88a09",
+ "compiler": "9debb54a2eeba75b0554403eae4f34a9ea033698f7323dcec70905864cb2508b",
"profiles": {
"empty": null,
"practical": {
diff --git a/ext/demo-site/lexer-demo.json b/ext/demo-site/lexer-demo.json
@@ -2,7 +2,7 @@
"id": "lexer",
"hash": "e756a481b3056a2e76f50316ccf77bfab8b15727b7bec899580c2eb919e668b2",
"mode": "pure",
- "compilerSha256": "0e147f90159752bb96128453a4c7dacb497005ad96d5b38b27a369c87ce06079",
+ "compilerSha256": "08a1cefc326889f8a47090aa749844a81635d4e7d08c9b1654d97c6e1e7c55ae",
"sourceSha256": "5478169b100e087b8f8862418a2cd5d0e593edcc299a122b762842483f4525e0",
"haskellCases": [
{
diff --git a/ext/demo-site/packages.json b/ext/demo-site/packages.json
@@ -544,6 +544,113 @@
"hash": "f571888c5aa3f7a91e9d5d6c45c674851ea8e3598514ad8d535fd3e9056d0314",
"manifest": "fe9b420e1e776fa1dda7b77857e322c0509ed308bb18441b76a3b03023f93468",
"title": "Arboricx inspection: validate without execution"
+ },
+ {
+ "name": "tricu-compiler",
+ "version": "0.1.3",
+ "hash": "9debb54a2eeba75b0554403eae4f34a9ea033698f7323dcec70905864cb2508b",
+ "manifest": "d9403160a778fdfda21980071d7cccbb5f68800ba6cab80c39bf72fa20d0084f",
+ "title": "Compiler library (stable browser source-unit API; native helpers)"
+ },
+ {
+ "name": "tricu-source-builder",
+ "version": "0.1.3",
+ "hash": "08a1cefc326889f8a47090aa749844a81635d4e7d08c9b1654d97c6e1e7c55ae",
+ "manifest": "22e793cb088c71e68abf132823898850ad76a89c1cecb295719edaa6093317e1",
+ "title": "Stable native application compiler (modules, imports and publication)"
+ },
+ {
+ "name": "arboricx-server",
+ "version": "0.1.3",
+ "hash": "390ffadd746dfa78a9b846a41282c25ff947a7ceddf1535093c40b4594850624",
+ "manifest": "9127564f5fe67be7fd6cdb2b65c3b7c61741a4e2879c1c2fe11107d2da7f48fb",
+ "title": "Arboricx registry server (native sockets and filesystem)"
+ },
+ {
+ "name": "tricu-http",
+ "version": "0.1.3",
+ "hash": "0850a25a5c18dad2560a8aa9c834fc3215f117dcde55e91982a73ee54491b532",
+ "manifest": "e6555fc1105a64209a969cc9202a3f6c19b211c49027718dcb735cd1965894c9",
+ "title": "HTTP parsing, responses and native socket handlers"
+ },
+ {
+ "name": "tricu-intensional-contracts",
+ "version": "0.1.3",
+ "hash": "dd39639f1d0a1a14f7856b8d0db682adf36d1e7501ea1889bd185ea500989380",
+ "manifest": "7467e74f0c5b7dfad8d6a14d34171b2b0bcd7750423894e2ca920e0535fde7d1",
+ "title": "Intensional contracts: tree shapes and numeric structure"
+ },
+ {
+ "name": "tricu-graphs",
+ "version": "0.1.3",
+ "hash": "2cc226f82e9c3526fb086ffe0977a909fabe753fc82de1e18d1f507625c681fe",
+ "manifest": "7b798a3afae6dce07b718bed855c7209ec3b898bb70b379dece935c4033cf9b6",
+ "title": "Dependency ordering and cycle witnesses (validated small graphs)"
+ },
+ {
+ "name": "tricu-parser",
+ "version": "0.1.3",
+ "hash": "3ccf7bbc514db08b9d6c0541c858c29625dc996c613eb44f1fe16d3e6f1f1041",
+ "manifest": "14282088469cc420dd014700da06998f6bb8dcf990fc885a464c0a1e1858e20d",
+ "title": "Parser combinators: diagnostics, consumption and commitment"
+ },
+ {
+ "name": "tricu-math",
+ "version": "0.1.3",
+ "hash": "a5a6a450746bd1a61b722adeddd27595f7ef6cef1e524e7a1193012526c556c2",
+ "manifest": "fde960cbc603e76acf91e38d9f429e990fc16ccef5e8efa43789f16129b6f77a",
+ "title": "Binary arithmetic and ASCII classifiers (canonical naturals only)"
+ },
+ {
+ "name": "tricu-lexer",
+ "version": "0.1.3",
+ "hash": "5305ab2e168279b82d09ab061c31a386a27e3f8ce51ad50b4241850522bd3a2f",
+ "manifest": "816df1a32853750a1254112aff8ae8c55ca86bf70e809d226969ab1d43a6688b",
+ "title": "Located character scans and token positions"
+ },
+ {
+ "name": "tricu-binary",
+ "version": "0.1.3",
+ "hash": "fe3b02f68025b90d0ce782885c8f72582642a985694eb4bcd702c2e006846a86",
+ "manifest": "7a24af56a9ce9b947cadcafd3a9da127b1507275bfac62b9fa55e27490b176dc",
+ "title": "Checked byte readers, prefix parsing and UTF-8 validation"
+ },
+ {
+ "name": "tricu-patterns",
+ "version": "0.1.3",
+ "hash": "fb81fe47421564ac80fedc90be6003906e017978385f749d2da95297e58587c2",
+ "manifest": "703db8cd6c5679861257d1cc38c17be200241ade8db3812e8c387e9274aaa56e",
+ "title": "Ordered predicate/action dispatch and thunked conditionals"
+ },
+ {
+ "name": "tricu-list-traversal",
+ "version": "0.1.3",
+ "hash": "60afc41f04fa65130326eeed4ca9e128bee5e90c7041f9641bbf9cfe87c142cd",
+ "manifest": "4c79b7ad124027147b8fddd98c2b66cfd776c36d915c95dfb1fbf9b31a51fb88",
+ "title": "Early-stopping list folds with retained input suffixes"
+ },
+ {
+ "name": "tricu-formatter",
+ "version": "0.1.3",
+ "hash": "0f9fc50a4b5a5270c274113418bdd9099f124ebd57d16e0f58a054081738c408",
+ "manifest": "19871fe326a2e48aa38e728988b185a8ba9cb585868b74eaa758860526d0c53d",
+ "title": "Conservative tricu equation alignment (not an AST printer)"
+ },
+ {
+ "name": "parser-demo",
+ "version": "0.1.3",
+ "hash": "355e41506f39e05da8c8a72a68aa810a486e062480322bac11af67e86980520e",
+ "manifest": "0c34bfdf800f8bd1b742e375a8f7c555c88d0c827268f684259433e834d94fed",
+ "title": "Parser combinators: complete input, prefixes and committed errors",
+ "demo": "parser"
+ },
+ {
+ "name": "lexer-demo",
+ "version": "0.1.3",
+ "hash": "e756a481b3056a2e76f50316ccf77bfab8b15727b7bec899580c2eb919e668b2",
+ "manifest": "ed99e054e9c862668e165f458d3afcdc56279f766eea7a3886d440aea7252b63",
+ "title": "Located scans: matched prefix, remainder and character positions",
+ "demo": "lexer"
}
]
}
diff --git a/ext/demo-site/parser-demo.json b/ext/demo-site/parser-demo.json
@@ -2,7 +2,7 @@
"id": "parser",
"hash": "355e41506f39e05da8c8a72a68aa810a486e062480322bac11af67e86980520e",
"mode": "pure",
- "compilerSha256": "0e147f90159752bb96128453a4c7dacb497005ad96d5b38b27a369c87ce06079",
+ "compilerSha256": "08a1cefc326889f8a47090aa749844a81635d4e7d08c9b1654d97c6e1e7c55ae",
"sourceSha256": "3405e18774db8de759b7793880e1568c156d68e5fe4a388e09b95ff301d896f5",
"haskellCases": [
{
diff --git a/ext/demo-site/test/browser.mjs b/ext/demo-site/test/browser.mjs
@@ -368,7 +368,7 @@ try {
await evaluate("document.getElementById('export').value='add';document.getElementById('export').dispatchEvent(new Event('change'));document.getElementById('arguments').value=JSON.stringify([{type:'number',value:'123456789'},{type:'number',value:'11'}]);document.getElementById('output-type').value='number'");
await click('run');await wait(status('Finished'));
assert.equal(await evaluate("document.getElementById('result').textContent"),'Returned number: "123456800"');
- await evaluate("document.getElementById('program-picker').value='package:tricu-compiler';document.getElementById('program-picker').dispatchEvent(new Event('change'));document.getElementById('package-version').value='0.1.2';document.getElementById('package-version').dispatchEvent(new Event('change'))");
+ await evaluate("document.getElementById('program-picker').value='package:tricu-compiler';document.getElementById('program-picker').dispatchEvent(new Event('change'));document.getElementById('package-version').value='0.1.3';document.getElementById('package-version').dispatchEvent(new Event('change'))");
await click('load-release');await wait(status('Ready'));
assert.equal(await evaluate("document.getElementById('source-summary').textContent"),'Package details');
assert.equal(await evaluate("document.getElementById('edit-source').hidden"),true);
diff --git a/ext/demo-site/test/compiler-conformance.json b/ext/demo-site/test/compiler-conformance.json
@@ -1,6 +1,6 @@
{
- "compilerBundleSha256": "e70583bc724ae495a33ead7e10614e2c6a9664bf4855c7e6042871cbd5d88a09",
- "hostSha256": "79bc19656b1af3c4f0cec5699279dbd514cba4eea69b69f084a40520da9fcce3",
+ "compilerBundleSha256": "9debb54a2eeba75b0554403eae4f34a9ea033698f7323dcec70905864cb2508b",
+ "hostSha256": "3523842302c1d7340556616e8efe91ea57a4daf108baaeea5d382a7a7237aa45",
"backend": "stable",
"export": "source_unit.compileStableModuleDefinitions",
"cases": [
diff --git a/ext/demo-site/test/conformance.json b/ext/demo-site/test/conformance.json
@@ -1,5 +1,5 @@
{
- "hostSha256": "79bc19656b1af3c4f0cec5699279dbd514cba4eea69b69f084a40520da9fcce3",
+ "hostSha256": "3523842302c1d7340556616e8efe91ea57a4daf108baaeea5d382a7a7237aa45",
"description": "All normal trees <=5 nodes, every ordered application pair; lazy regression and partial/multiple applications.",
"cases": [
{
diff --git a/ext/demo-site/test/contracts-conformance.json b/ext/demo-site/test/contracts-conformance.json
@@ -1,6 +1,6 @@
{
- "compilerBundleSha256": "e70583bc724ae495a33ead7e10614e2c6a9664bf4855c7e6042871cbd5d88a09",
- "hostSha256": "79bc19656b1af3c4f0cec5699279dbd514cba4eea69b69f084a40520da9fcce3",
+ "compilerBundleSha256": "9debb54a2eeba75b0554403eae4f34a9ea033698f7323dcec70905864cb2508b",
+ "hostSha256": "3523842302c1d7340556616e8efe91ea57a4daf108baaeea5d382a7a7237aa45",
"contractsSourceSha256": "8f69b32c50461edd5db536becb6faedd5ba33945bf774534592034350702600a",
"bindings": {
"matchResult": "base.matchResult",
