{"schemaVersion":1,"studyVersion":1,"exhibitId":"geometry","runId":"run-20260917003910210-62944-001","caseLabel":"Planar right triangle","modelVersion":"geometry-1.0.0","parameters":{"model":"plane","radius":1,"points":[[0,0,0],[1,0,0],[0,1,0]]},"numericalMethod":"Euclidean coordinate distance; Euclidean coordinate determinant / 2. Angles use outgoing unit tangents. Rendering samples do not approximate the reported lengths or areas.","softwareVersion":"0.1.0+0e6017e6a747.dirty.02665ba9098c","createdAt":"2026-09-17T00:39:14.674Z","observables":[{"label":"Angle sum","value":3.141592653589793,"unit":"rad","precision":10},{"label":"Triangle area","value":0.5,"unit":"model units²","precision":10,"description":"Euclidean coordinate determinant / 2"},{"label":"Curvature K","value":0,"unit":"model units⁻²","precision":8},{"label":"Distance AB","value":1,"unit":"model units","precision":9},{"label":"Distance BC","value":1.4142135623730951,"unit":"model units","precision":9},{"label":"Distance CA","value":1,"unit":"model units","precision":9},{"label":"Angle A","value":1.5707963267948966,"unit":"rad","precision":9},{"label":"Angle B","value":0.7853981633974483,"unit":"rad","precision":9},{"label":"Angle C","value":0.7853981633974483,"unit":"rad","precision":9},{"label":"Area method","value":"Euclidean coordinate determinant / 2"}],"warnings":[],"sourceIds":["M1","M4","M9","M10","M11"],"result":{"exhibitId":"geometry","modelVersion":"geometry-1.0.0","parameters":{"model":"plane","radius":1,"points":[[0,0,0],[1,0,0],[0,1,0]]},"modelName":"Plane","curvature":0,"vertices":[{"label":"A","input":[0,0,0],"position":[0,0,0],"chart":[0,0],"tangents":[[1,0,0],[0,1,0]],"tangentPaths":[[[0,0,0],[0.24,0,0]],[[0,0,0],[0,0.24,0]]],"tangentChartPaths":[[[0,0],[0.24,0]],[[0,0],[0,0.24]]],"angle":1.5707963267948966},{"label":"B","input":[1,0,0],"position":[1,0,0],"chart":[1,0],"tangents":[[-0.7071067811865475,0.7071067811865475,0],[-1,0,0]],"tangentPaths":[[[1,0,0],[0.8302943725152286,0.1697056274847714,0]],[[1,0,0],[0.76,0,0]]],"tangentChartPaths":[[[1,0],[0.8302943725152286,0.1697056274847714]],[[1,0],[0.76,0]]],"angle":0.7853981633974483},{"label":"C","input":[0,1,0],"position":[0,1,0],"chart":[0,1],"tangents":[[0,-1,0],[0.7071067811865475,-0.7071067811865475,0]],"tangentPaths":[[[0,1,0],[0,0.76,0]],[[0,1,0],[0.1697056274847714,0.8302943725152286,0]]],"tangentChartPaths":[[[0,1],[0,0.76]],[[0,1],[0.1697056274847714,0.8302943725152286]]],"angle":0.7853981633974483}],"triangleEdges":[{"label":"AB","from":0,"to":1,"length":1,"path":[[0,0,0],[1,0,0]],"chartPath":[[0,0],[1,0]],"lorentzLength":null,"distanceResidual":null,"circle":null},{"label":"BC","from":1,"to":2,"length":1.4142135623730951,"path":[[1,0,0],[0,1,0]],"chartPath":[[1,0],[0,1]],"lorentzLength":null,"distanceResidual":null,"circle":null},{"label":"CA","from":2,"to":0,"length":1,"path":[[0,1,0],[0,0,0]],"chartPath":[[0,1],[0,0]],"lorentzLength":null,"distanceResidual":null,"circle":null}],"angles":[1.5707963267948966,0.7853981633974483,0.7853981633974483],"angleSum":3.141592653589793,"area":0.5,"areaMethod":"Euclidean coordinate determinant / 2","angleDerivedArea":null,"independentArea":null,"areaResidual":null,"solidAngleNumerator":null,"solidAngleDenominator":null,"hyperboloid":null,"radialSamples":[],"radialCurve":[],"equalLengthSegments":[],"distanceMethod":"Euclidean coordinate distance","distanceResidual":null,"minimumAngleSine":0.7071067811865475,"geometry":{"axes":{"labels":["x","y","z"],"unit":"model coordinates"},"vertices":[[0,0,0],[1,0,0],[0,1,0]],"faces":[[0,1,2]],"edges":[],"paths":[{"points":[[0,0,0],[1,0,0]],"role":"primary"},{"points":[[1,0,0],[0,1,0]],"role":"primary"},{"points":[[0,1,0],[0,0,0]],"role":"primary"}],"labels":[{"index":0,"text":"A"},{"index":1,"text":"B"},{"index":2,"text":"C"}],"pointRadius":0.045},"measurements":[{"label":"Angle sum","value":3.141592653589793,"unit":"rad","precision":10},{"label":"Triangle area","value":0.5,"unit":"model units²","precision":10,"description":"Euclidean coordinate determinant / 2"},{"label":"Curvature K","value":0,"unit":"model units⁻²","precision":8},{"label":"Distance AB","value":1,"unit":"model units","precision":9},{"label":"Distance BC","value":1.4142135623730951,"unit":"model units","precision":9},{"label":"Distance CA","value":1,"unit":"model units","precision":9},{"label":"Angle A","value":1.5707963267948966,"unit":"rad","precision":9},{"label":"Angle B","value":0.7853981633974483,"unit":"rad","precision":9},{"label":"Angle C","value":0.7853981633974483,"unit":"rad","precision":9},{"label":"Area method","value":"Euclidean coordinate determinant / 2"}],"plots":[{"title":"Interior angles","xLabel":"Vertex index (A=1, B=2, C=3)","yLabel":"Angle (radians)","series":[{"label":"Measured tangent angle","points":[[1,1.5707963267948966],[2,0.7853981633974483],[3,0.7853981633974483]]}]}],"diagnostics":{"method":"Euclidean coordinate distance; Euclidean coordinate determinant / 2. Angles use outgoing unit tangents. Rendering samples do not approximate the reported lengths or areas.","tolerance":2.414213562373095e-10,"residual":0,"warnings":[]},"csv":{"columns":["record_type","label_or_index","value_1","value_2","value_3","value_4","value_5","value_6","value_7","value_8","value_9"],"rows":[["summary","model","plane","","","","","","","",""],["summary","radius",1,"","","","","","","",""],["summary","curvature",0,"","","","","","","",""],["summary","angle_sum_radians",3.141592653589793,"","","","","","","",""],["summary","area",0.5,"","","","","","","",""],["method","area","Euclidean coordinate determinant / 2","","","","","","","",""],["method","distance","Euclidean coordinate distance","","","","","","","",""],["summary","angle_derived_area","not applicable","","","","","","","",""],["summary","solid_angle_numerator","not applicable","","","","","","","",""],["summary","solid_angle_denominator","not applicable","","","","","","","",""],["summary","area_residual","not applicable","","","","","","","",""],["summary","distance_residual","not applicable","","","","","","","",""],["summary","hyperboloid_constraint_residual","not applicable","","","","","","","",""],["summary","hyperboloid_inverse_residual","not applicable","","","","","","","",""],["vertex","A",0,0,0,0,0,0,0,0,1.5707963267948966],["tangent","A-0",1,0,0,"","","","","",""],["tangent","A-1",0,1,0,"","","","","",""],["vertex","B",1,0,0,1,0,0,1,0,0.7853981633974483],["tangent","B-0",-0.7071067811865475,0.7071067811865475,0,"","","","","",""],["tangent","B-1",-1,0,0,"","","","","",""],["vertex","C",0,1,0,0,1,0,0,1,0.7853981633974483],["tangent","C-0",0,-1,0,"","","","","",""],["tangent","C-1",0.7071067811865475,-0.7071067811865475,0,"","","","","",""],["edge","AB",1,"not applicable","not applicable","","","","","",""],["path","AB",0,0,0,0,"","","","",""],["path","AB",1,1,0,0,"","","","",""],["edge","BC",1.4142135623730951,"not applicable","not applicable","","","","","",""],["path","BC",0,1,0,0,"","","","",""],["path","BC",1,0,1,0,"","","","",""],["edge","CA",1,"not applicable","not applicable","","","","","",""],["path","CA",0,0,1,0,"","","","",""],["path","CA",1,0,0,0,"","","","",""],["column_guide","vertex","input x","input y","input z","position x","position y","position z","chart x","chart y","angle radians"],["column_guide","hyperboloid","X0","X1","X2","","","","","",""],["column_guide","edge","metric distance","Lorentz distance","absolute residual","","","","","",""],["column_guide","radial","x","y","screen distance","metric distance","ratio","ratio status","","",""],["column_guide","equal_length","anchor x","anchor y","endpoint x","endpoint y","requested length","metric length","screen length","",""]]}},"build":{"packageVersion":"0.1.0","softwareVersion":"0.1.0+0e6017e6a747.dirty.02665ba9098c","gitRevision":"0e6017e6a747d3c610b956612b4125e232283001","gitDirty":true,"sourceDigest":"02665ba9098c7b8fe2a4b728fbd2b3749b1724fe9999f830d8fa90cb5d8b209b","runtime":"v26.5.1"}}