neuron-technologies/el
3
0
Fork 0
Code Issues 4 Pull Requests 5 Actions 2 Packages Projects Releases 5 Wiki Activity

spec: grounded edge-propagation (task #50) — gated design artifact #108

Merged
will.anderson merged 1 commits from worktree-agent-a6577c8211c332c5b into dev 2026-08-15 19:55:06 +00:00
Conversation 0 Commits 1 Files Changed 7
+1045
will.anderson commented 2026-08-15 19:26:10 +00:00
Owner
Copy Link
Copy Source

Preserving uncommitted design work found in an open worktree during a worktree audit. LTP/LTD-style belief grounding propagated along graph edges with union-find independence-guarded corroboration. Includes core C algorithm, a self-contained deterministic proof harness with recorded output, staged runtime integration, and gated .el patches for the beat hook and HTTP route. IMPORTANT: per the author's own LEDGER.md inside this spec, this is built + proven on a clone but explicitly GATED pending the engine/HNSW cutover, and is NOT wired into the live beat or routes. This PR preserves it as a reviewable spec/reference artifact only — not a request to merge into the live path.

Preserving uncommitted design work found in an open worktree during a worktree audit. LTP/LTD-style belief grounding propagated along graph edges with union-find independence-guarded corroboration. Includes core C algorithm, a self-contained deterministic proof harness with recorded output, staged runtime integration, and gated .el patches for the beat hook and HTTP route. IMPORTANT: per the author's own LEDGER.md inside this spec, this is built + proven on a clone but explicitly GATED pending the engine/HNSW cutover, and is NOT wired into the live beat or routes. This PR preserves it as a reviewable spec/reference artifact only — not a request to merge into the live path.
will.anderson added 1 commit 2026-08-15 19:26:12 +00:00
Add grounded edge-propagation spec (task #50): core algorithm, proof harness, gated integration patches
El SDK CI - dev / build-and-test (pull_request) Failing after 14m31s
Details
5f3ddb8b8d 
LTP/LTD-style belief grounding propagated along graph edges, with
union-find independence-guarded corroboration. Package: core C algorithm
(gep_core.h), a self-contained deterministic proof harness with recorded
output, staged runtime integration, and gated .el patches for the beat
hook and HTTP route.

Per the author's own LEDGER.md: built + proven on a clone, GATED pending
the engine/HNSW cutover — not wired into the live beat or routes.
Preserved here as a spec/reference artifact, not a request to merge into
the live path.
will.anderson merged commit 5c6da24033 into dev 2026-08-15 19:55:06 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
BETA-CRITICAL
On the beta critical path — must resolve before ship
 HELD
Blocked pending an external decision (counsel / dual sign-off)
 ORTHOGONAL
Parallel workstream (testing/hardening) — safe to assign off critical path
 POST-BETA
Important but not blocking the beta ship
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
andre.almeida (Andre Almeida) tim.lingo (Tim Lingo) will.anderson (Will Anderson)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: neuron-technologies/el#108
Delete Branch "worktree-agent-a6577c8211c332c5b"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?