opensource/Apache2  Like IPFS, not responsible for P2P user content. [2025-12 its still single player, TODO many players]

SHOW:  PLAY TOP RIGHT DOWN               LOGIN TOOL FILE OPTION               VarUI CODE

PLAY:

Unlimited usernames. Password instant creates username (by ed25519) and is not uploaded. If lose password, cant recover cuz end-to-end. Hackers get unlimited tries, use long password. Same user/pass work at many URLs/Tomcats. Dont need to login to make "P2P user content". Some features may only be available logged in. PASSWORD:    USERNAME:

SAVE:

OPEN:

OPTION: pause level editor

TOOL:    Play Game (FIXME) Select (FIXME) Hold Still While Coding (FIXME) Paint Walls/OpenArea (FIXME)

VarUI:    TODO put VarUI here

CODE:

TODO using addExampleWavyBells, ns.Cw.Sak$123hashOfCode456.Wave1234 c being code/species (1 ghost per species), and balls stay as they are. Split later into multi species per 3 shaders, like 1-10 species per shader and 1-10 such groups compiled together, so can up to 100 species of terrain on screen at once. TODO ns.Cw.Sak$435hash7343.Instance500.Ptrs$fn for diffeqfuncs andor potenfuncs, but shapefunc goes in ns.Cw.Sak$435hash7343

i need potential and kinetic energy computed both before and after the dt change. the steps are mixed up. Var.poten is not the only kind of potential energy. loss already includes that, so u shouldnt directly. There is 1 loss for whole world state (set of Var's), not per Var. One way to do it would be, tho i hope i dont have to complicate it with this, create .nextP and .nextV fields in Var, and have aVar.nextStateTemp(dt) set those in aVar.nextP and aVar.nextV which we will call nextStateEnd, and nextState(dt) would call nextStateTemp(dt) then this.p = this.nextP; this.v = this.nextV; so lamglLoopBody could call only nextStateTemp(dt) then adjust aVar.nextV to norm energy, then aVar.nextStateEnd(). is there another way to do it, or do we gotta do that?

---

Play BellSack. MOVE: left joystick and 2 triggers. TURN: right joystick.
EDIT TERRAIN: mouse drag the 5 colored knobs per circle/bell. Save/load: TODO V/Var tree.
ADD BALL: LB/RB on gamepad (above analog triggers).

---

FIXME the 3 multiprobe checkboxes are not working yet 2025-12-4-9aET.
isBallCacheOptimization multiprobe_isosurfaceBallPhysics

debugGraphicsOnBallThatUsesSignedDistancePerPixel
(2025-12-4 only works when NOT graphicsDebug, tho it used to work in graphicsDebug)
multiprobe_debugGraphicsOnBallThatUsesSignedDistancePerPixel

cheatTheOptimizationIn_nearestPointOnIsosurfaceFromXYZ_estimateUsingBallCache multiprobe_cheatTheOptimizationIn
physicsCacheNearestVec4PerBall_seeInsideAllNewtonIters physicsCacheNearestVec4PerBall_seeInsideAllNewtonIters_cheaperFasterUse1PerBallForBasicDisplayTest
instantMirrorBounce (TODO "bellsack disable the other forces so can see instantMirrorBounce checkbox alone, and get physics working.") ignoreOutputOf_VarGradientGL (normally used with instantMirrorBounce to turn off other forces so u see just that bouncing) keepOldBugForTesting_signedDistanceToIsosurfaceAtXYZ_p_vs_p0

---

chkBallCacheOptimizationIgnoresBallBallCollisions hypothesis_saddleringBugHappensCuzTheresLocalminOf(densityAtXYZ)NearCenter!!! Saddlering bug is back. So many terrain shapes can happen so fixing it in some breaks it in others. think I know why. Local-mins. The isosurface is densityAtXYZ(vec3)=0. Positive density is inside. Negative is open area. In mid air theres probably gradientAtXYZ(vec3)=vec3(0,0,0).









testDisplayIsSparseXY continueTestDisplay testDisplayLogsBigTensor
chkSeparateRingsAsTexture physics only ball physics (2025-11-13 this checkbox has no effect if IsNewEventSystemY2025M11 is checked)
ballCacheOptimizationUsesFastGradientAlongLineElse4Samples
testIfFirstoutgetIsBottleneckByUsingEmptyFloatArrayInsteadOfReadingFromGpu
addExtraStepCopyingBallCacheFromTextureToCpuToGlUniform
nearestPointOnIsosurfaceFromXYZ_does_ gradientAtXYZ_including_densityOfSlightAttractToVec3 holdBallsOnIsosurface displayBallCacheVec3AsSecondBall whenFindingNearestPointOnIsosurfaceGraduallyIncreaseInfluenceOfNormalVector IsNewEventSystemY2025M11 findSurfaceByGradientsAlongRay holdABallInFrontOfCamera

You can delete all this text if you want. Put anything here. Use it for copy/paste. Its erased each time the page reloads. ;       opensource/<a href=https://www.apache.org/licenses/LICENSE-2.0>Apache2</a><br> (TODO ed25519 with separate opensource license?)<br>  Like IPFS, not responsible for P2P user content. TODO put all checkboxes<br> numboxes etc as someVar.fieldEditor('p')<br> and use new event system both directions.<br> Use it to tune Bellsack so the balls<br> bounce and roll right.<br> <h2><font color=#3388ff>Adding Sak like Sak.trySakEval('Sak$2+3') cuz gonna have lambdas in V/Var tree code stored in .big, and you call them thru .ob (todo put that in Proxy to fill in ob from .getOb(), like: const poten = ns.Odos$hashXYZ.ob(ns.Odos$hashXYZ.Lone.Lone.B509); where ns means room such as v.Bellsack.Room5 and TODO rename V to v cuz its a built in so shouldnt start with capital. And get this text etc off the canvas u cant grab knobs on the rings to adjust shapes thru it. or Sak.trySakEval('Sak$x=>(x*x+1)')(10) evals to 101 and if u call it again it reuses that same js compiled x=>(x*x+1). </font></h2> Bellsack183 has moving balls by VarGradientGL physics, not doing the more<br> detailed collisions yet, not tuned well yet, but at least its moving.<br> Bellack is now running on Lamgl, an javascript function that calls GPU statelessly with immutable tensors.<br> TODO implement <a href=https://github.com/benrayfield/jsutils/blob/master/src/bellsack/BellsackDesignDocument.txt>https://github.com/benrayfield/jsutils/blob/master/src/bellsack/BellsackDesignDocument.txt</a><br> Terrain is randomly generated. Reload it if you dont see the game world.<br> TODO cache gradientAtXYZ(cachedSurfaceXYZ) in second output texture in bellCacheVec4 step, to make it<br> about 2x maybe 4x or 5x faster cuz of fewer calls of densityAtXYZ(vec3). 2025-11-26[[ Its been live on the website for months u can try it. Its a weird math thing. I defined a scalar-field f that depends on another scalar field g. g(vec3)=>float. f(vec3)=>float. normal scalar field stuff. But heres the weird part, I use both g and gradient of g. For g I just use abs(g(vec3)) so its lowest where g(vec3) is 0. But for gradient of g, I compare it to a certain direction of gradient I want, that being isosurface shapes that if it were a curvy mirror would reflect back to the center of a ball if a light was shined from there. Surface is perpendicular to the direction to ball center. And I made a loss term for the cosine distance of those angles. This guarantees the global-minimum of loss occurs at every closest point on the isosurface, BUT it also allows other points on the isosurface to be global mins. that i dont want to find. so im optimizing some combos of code experimentally. Things are appearing in mid air in 3d in my game engine that shouldnt be there. but they are cuz a gradient can be 0 when density is nonzero. gradient of density. its a local min. My way of estimating the closest point on the curvy surface, to any given vec3 point, works enuf to get by, is practically useful, but gamers gonna say my game sucks if i have balls bouncing off invisible things in mid air aka localmins of the 3d density field. ]] <br><br> TODO In theory I can do wavefunction-wavefunction collisions, 2 reshaping blobs, viewing a 3d cross-section of each similar to Miegakure is a 3d cross-section of a 4d world, that could act like hardbody game physics objects or reshape by many dimensional torque/position/velocity. Lambda Rick 🏴‍☠️/acc @benrayfield 1m Signed-distance between 2 isosurfaces is minimum signedDistance (to the other isosurface) from each point in its volume. Bellsack does ball-wavefunction physics, an isosurface where wavefunction(position)=0. Computes signedDistance between 3d point and nearest point on isosurface. Use harmonySeach of sparse points to choose where to place the n balls to run normal physics. like how i did it in dagball (theres a checkbox for it that makes Circ/terrain bounce on Circ/terrain) but a different way of choosing where the balls jump around. <br> TODO bellsackHeavyBallsVsLightBalls TODO use this data format and put the spring pr ps cv accelMul (var fields that arent .p and .v) into the big: string lists, but start with upgrading the existing ball and bell5 to this incomplete but pretty close to what i want format. Also make sure to use my 64 base64 digits (which are ascending order in ascii and utf8 and are all valid in js var names) $0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ_abcdefghijklmnopqrstuvwxyz. so the ids will be Prefix$fortyThreeChars instead of Prefix$64chars, so ids will be 21 chars shorter. and make sure to only use \n to join .big, but can put a bigJoin: '' if u want the .big to not put \n joining them. TODO make some Var's have mutid like in Dagball so it automaticly holds .p as sums max to 1 of all those with the same mutid, like if you make a new version of it, its hash id (path part) is new, but same mutid in that .big "mutid: jacksBall". TODO get rid of readFields, and derive that. Keep join and Jo$'s. Do NOT parse complete javascript/sak/glsl in the "func:" just to be able to do const ghost = ns.Odos$hash.Lone.Lone; then to make a list of [ghost.Thing, ghost.OtherThing, etc]. Just write it out all the way [ns.Odos$hash.Lone.Lone.Thing, ns.Odos$hash.Lone.Lone.OtherThing, etc] despite that it takes more code size. It makes it easier to automate. And u only gotta send the code once per edit of the code, not when you move Cx Cy ManaRefillRate etc cuz those dont send .big again. ... TODO figure out how to do the 3d circle thats a constraint on a set of balls that at lowest poten stays on the circle, any circle at any 3d center and 3d rotation and radius within some range, that the lets say 7 balls have that 3d positional relation to eachother, cuz thats what the PotenNearPairs$ as computed by SPARSE gradient each physics cycle. How does it know what vars to do on sparse gradient? By parsing it for ns... vars, and the func returns float poten. Try 3 lists one for Cx one list for Cy one list for Cz and maybe another for Cr. ... Or maybe it is ok, not too much extra code, to do the "ghost = ns.Odos$hash.Lone.Lone" thing. Just add a little more parsing above Sak.tokenize(big.join('\n')). Gotta know which vars are read. Write diffeq only by make some func dv(theVar,addToDv) dp(...) kv(...) mnx(...) which will do it by Only refer to dag vars by ns.[stuff....] so its easy to parse. Very important: when u edit an Odos$... while certain PotenNearPairs$ are recursiveEditSelected, it will auto edit those PotenNearPairs$ too, to replace the Odos$... with its new hash so the game rules about pairs of things still apply to the code you just edited. It doesnt break the game world if your new code still works. Others who did not take those edits or have that selected still have the old version and both versions can work together in any combos. TODO also add .pr .ps springs into .big "spring: Cy ..." "spring: ManaRefillRate ..." etc but could also do it by making more Var instances for Pr Ps, like .ManaRefillRate.Pr.p .ManaRefillRate.Ps.p . { p:1,v:0, Bellsack:{ p:1,v:0, Room1:{ p:1,v:0, Odos$0658b7aa936e77579e2e183d6af4f27131a22c4aef0c11aad97422ae4bf714e8:{ p:1,v:0, big:[ "Odos$", "comment: Example Odos$ bell5", "readFields: Cx Cy Cz Cr", "join: Cz Jo$exampleJoinMandelbulbAndBell5", "func: (wv,X,Y,Z)=>{", " float dx = X.p - wv.Cx.p;", " float dy = Y.p - wv.Cy.p;", " float dz = Z.p - wv.Cz.p;", " float dist2 = dx*dx + dy*dy + dz*dz;", " return wv.p * exp(-dist2/(2.*wv.Cr.p*wv.Cr.p));", "}" ], Lone:{p:1,v:0, Lone:{p:1,v:0, B500:{p:1,v:0,Cx:{p:0},Cy:{p:0},Cz:{p:0},Cr:{p:0.6}}, B501:{p:1,v:0,Cx:{p:2},Cy:{p:1},Cz:{p:-1},Cr:{p:0.7}}, B502:{p:1,v:0,Cx:{p:-2},Cy:{p:3},Cz:{p:1},Cr:{p:0.5}} } }, Terrain:{p:1,v:0, Terrain:{p:1,v:0, T900:{p:1,v:0,Cx:{p:1},Cy:{p:-1},Cz:{p:0},Cr:{p:5.0}}, T901:{p:1,v:0,Cx:{p:-3},Cy:{p:2},Cz:{p:1},Cr:{p:4.0}} } } }, Odos$mandelbulb1234567890abcdef:{ p:1,v:0, big:[ "Odos$", "comment: Example Odos$ mandelbulb", "readFields: Cx Cy Cz Iter Scale", "join: this Jo$exampleJoinMandelbulbAndBell5", "func: (wv,X,Y,Z)=>{", " // Mandelbulb density approx placeholder", " float r = sqrt(X.p*X.p+Y.p*Y.p+Z.p*Z.p);", " return wv.p * cos(r*wv.Scale.p);", "}" ], Shared:{p:1,v:0, Wave1:{p:1,v:0,Cx:{p:1},Cy:{p:2},Cz:{p:3},Iter:{p:8},Scale:{p:1.2}}, Wave2:{p:1,v:0,Cx:{p:-1},Cy:{p:-2},Cz:{p:-3},Iter:{p:6},Scale:{p:0.8}}, Wave3:{p:1,v:0,Cx:{p:0},Cy:{p:1},Cz:{p:2},Iter:{p:7},Scale:{p:1.0}} } }, PotenNearPairs$ffe2185ff8a79b2d17d5f8507b63e7e4b8ed22b2219cea9b2478bf239ad4c95b:{ p:1,v:0, big:[ "PotenNearPairs$", "comment: Example PotenNearPairs$ gravity", "aOdos: Odos$0658b7aa936e77579e2e183d6af4f27131a22c4aef0c11aad97422ae4bf714e8", "aNonzeroFields: Cr", "aReadFields: X Y Z Cr", "bOdos: Odos$0658b7aa936e77579e2e183d6af4f27131a22c4aef0c11aad97422ae4bf714e8", "bNonzeroFields: Cr", "bReadFields: X Y Z Cr", "func: (a,b,Cc)=>{", " float dx=a.Cx.p-b.Cx.p;", " float dy=a.Cy.p-b.Cy.p;", " float dz=a.Cz.p-b.Cz.p;", " float dist2=dx*dx+dy*dy+dz*dz;", " float r=sqrt(dist2);", " if(r<Cc) r=Cc;", " return -(a.p*b.p)/r;", "}" ], Gravity01:{p:1,v:0,Cx:{p:0},Cy:{p:0},Cz:{p:0},Cr:{p:64},Cc:{p:0.5}}, Gravity02:{p:1,v:0,Cx:{p:1},Cy:{p:1},Cz:{p:1},Cr:{p:48},Cc:{p:0.8}} }, PotenOnes$b14bc8aed218e5ff4a6a3c5333219789a05906cd242dc1cf53c972cf22a38354:{ p:1,v:0, big:[ "PotenOnes$", "comment: Example PotenOnes$ centering", "odos: Odos$0658b7aa936e77579e2e183d6af4f27131a22c4aef0c11aad97422ae4bf714e8", "nonzeroFields: Cr", "readFields: X Y Z", "join: Cx Jo$GripA", "func: (g)=>{", " float r2=g.Cx.p*g.Cx.p+g.Cy.p*g.Cy.p+g.Cz.p*g.Cz.p;", " return 0.01*r2;", "}" ], Centering01:{p:1,v:0,Cx:{p:0},Cy:{p:0},Cz:{p:0},Cr:{p:64}}, Centering02:{p:1,v:0,Cx:{p:2},Cy:{p:0},Cz:{p:2},Cr:{p:64}} }, DiffeqOnes$9ae455f3e0d0c527b7fdfd892a1e080006de40a4bd0dc146e8904de1c65ca410:{ p:1,v:0, big:[ "DiffeqOnes$", "comment: Example DiffeqOnes$ decay", "odos: Odos$0658b7aa936e77579e2e183d6af4f27131a22c4aef0c11aad97422ae4bf714e8", "nonzeroFields: Cr", "readFields: Cr", "func: (g)=>{", " g.Cr.dV(-0.1*g.Cr.p);", "}" ], Decay01:{p:1,v:0,Cx:{p:0},Cy:{p:0},Cz:{p:0},Cr:{p:32}}, Decay02:{p:1,v:0,Cx:{p:1},Cy:{p:0},Cz:{p:1},Cr:{p:24}} }, DiffeqNearPairs$312f8d32ad5db671cebf00f194d587340a07dd2bc13fe7000d8bcfc28e8e1184:{ p:1,v:0, big:[ "DiffeqNearPairs$", "comment: Example DiffeqNearPairs$ repulsion", "aOdos: Odos$0658b7aa936e77579e2e183d6af4f27131a22c4aef0c11aad97422ae4bf714e8", "aReadFields: Cx Cy Cz", "bOdos: Odos$0658b7aa936e77579e2e183d6af4f27131a22c4aef0c11aad97422ae4bf714e8", "bReadFields: Cx Cy Cz", "func: (a,b)=>{", " float dx=a.Cx.p-b.Cx.p;", " float dy=a.Cy.p-b.Cy.p;", " float dz=a.Cz.p-b.Cz.p;", " float dist2=dx*dx+dy*dy+dz*dz;", " if(dist2<1.0){", " a.Cx.dP(0.1*dx);", " b.Cx.dP(-0.1*dx);", " } ", "}" ], Repulse01:{p:1,v:0,Cx:{p:0},Cy:{p:0},Cz:{p:0},Cr:{p:64},Cc:{p:1}}, Repulse02:{p:1,v:0,Cx:{p:2},Cy:{p:0},Cz:{p:2},Cr:{p:48},Cc:{p:1}} }, PotenGlobal$8a68212192db797a9e1eb25633abdc59a7eb5cbd0b02aa2e71c41160e91c5b7b:{ p:1,v:0, big:[ "PotenGlobal$", "comment: Example PotenGlobal$ constant", "func: ()=>{", " return 1.0;", "}" ], Global01:{p:1,v:0}, Global02:{p:1,v:0} }, User$a0806124028e1699222a37c8d46b5ed7ca4f2f931fa3dbcdcaf6eaa0fed9e665:{ p:1,v:0, big:[ "User$", "comment: Example User$", "pubkey: ed25519:abcdef123456" ], Profile:{p:1,v:0}, Inventory:{p:1,v:0} }, Jo$exampleJoinMandelbulbAndBell5:{p:1,v:0}, Jo$GripA:{p:1,v:0} } } } ---------- "PotenNearPairs$", "comment: Example PotenNearPairs$ gravity", "dag: a ns.Odos$0658b7aa936e77579e2e183d6af4f27131a22c4aef0c11aad97422ae4bf714e8", "dag: b ns.Odos$0658b7aa936e77579e2e183d6af4f27131a22c4aef0c11aad97422ae4bf714e8", "aOdos: a", "aNonzeroFields: Cr", "aReadFields: Cx Cy Cz Cr", "bOdos: b", "bNonzeroFields: Cr", "bReadFields: Cx Cy Cz Cr", "func: (a,b,Cc)=>{", " float dx=a.Cx.p-b.Cx.p;", " float dy=a.Cy.p-b.Cy.p;", " float dz=a.Cz.p-b.Cz.p;", " float dist2=dx*dx+dy*dy+dz*dz;", " float r=sqrt(dist2);", " if(r<Cc) r=Cc;", " return -(a.p*b.p)/r;", "}" TODO remove dag: and aReadFields: and bReadFields cuz all those can be derived. make it just what person would type in textarea editing this code. "aOdos: ns.Odos$0658b7aa936e77579e2e183d6af4f27131a22c4aef0c11aad97422ae4bf714e8", and if ur gonna use Var instances in the func, give the whole path starting with ns, even if its long, cuz i dont want to have to do detailed parsing. i can get the js tokens from Sak.tokenize(string) and check for ns . Thing . OtherThing etc "PotenNearPairs$", "comment: Example PotenNearPairs$ gravity", "aOdos: ns.Odos$0658b7aa936e77579e2e183d6af4f27131a22c4aef0c11aad97422ae4bf714e8", "aNonzeroFields: Cr", "bOdos: ns.Odos$0658b7aa936e77579e2e183d6af4f27131a22c4aef0c11aad97422ae4bf714e8", "bNonzeroFields: Cr", "func: (a,b,Cc)=>{", " float dx=a.Cx.p-b.Cx.p;", " float dy=a.Cy.p-b.Cy.p;", " float dz=a.Cz.p-b.Cz.p;", " float dist2=dx*dx+dy*dy+dz*dz;", " float r=sqrt(dist2);", " if(r<Cc) r=Cc;", " return -(a.p*b.p)/r;", "}" ok. so the rule is we only take paths that start with ns dot "ns." "ns ." etc. after tokenizing and removing whitespace it will be 'ns','.','Something....' </div>