commit 8fc27f720879a69c0ad6afa82ea3b5c6c0d7649d
parent 4e6b4d449c0e769b38d749c00e6eb5965d5e2693
Author: James Eversole <james@eversole.co>
Date: Sun, 25 Oct 2026 13:06:06 -0500
Finalize stable binding pass ownership documentation
Diffstat:
3 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/bootstrap/binding-certificates.json b/bootstrap/binding-certificates.json
@@ -3,7 +3,7 @@
"encoding": "sha256 of canonical preorder constructor bytes (0 Leaf, 1 Stem, 2 Fork)",
"authority": "compiler-owned source_binding_support; never source spelling or caller-supplied assertions",
"source": "lib/source/binding_support.tri",
- "source_sha256": "c3fb6c4875e173e360b2aa7b2e19543629570b07e73b40446c8320cb329e995a",
+ "source_sha256": "80aa8475a9088e7634d871b032a6dc8791ecd4a34ddacd6210ee0c2924583b9d",
"contracts": {
"choose": {
"tree_sha256": "9ec87706d9552f21c8acf5209982ff8ffd4b8c71806bcf5178eba3b53e1d8a3c",
diff --git a/lib/source/binding.tri b/lib/source/binding.tri
@@ -1,5 +1,5 @@
--- Isolated resolved-core substitution and Boolean-binding rewrite prototype.
--- Trusted well-formed core only. Not wired into the accepted compiler.
+-- Guarded Boolean-binding elimination before stable abstraction.
+-- Trusted well-formed resolved core only; no general beta or eta rewrite.
!import source_binding_analysis as A
!import native_math as N
!import source_binding_support as K
diff --git a/lib/source/binding_support.tri b/lib/source/binding_support.tri
@@ -1,4 +1,4 @@
--- Compiler-owned helpers and exact-identity contracts for the opt-in binding backend.
+-- Compiler-owned helpers and exact-identity contracts for stable binding elimination.
-- choose: saturated three-argument selector; not: canonical Boolean negation.
-- Neither contract is inferred from a user-supplied source name.
!import native_math as N
