| 9 | 55 | Globus and Parshall | https://oeis.org/A308349/internal | [through-nine-table-sequence] OEIS "%S 0,0,0,1,1,1,3,13,55" has the stated terms for n=4..9. These six counts sum to 74 and have the correct Globus/Parshall scope.
- CONFIRMED | Pulling towards unit length with all edges constrained. The solid-edge error and point gap show what the solver sacrifices. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/draw.mjs | [pull-progress] Instrument.pull relaxes all edges including the cut, and onChange prints current solid-edge error and point gap. The text describes a numerical process and its losses, not a proof of a successful drawing.
- CONFIRMED | The exact check uses the certificate, not moved screen points. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs | [screen-certificate] The exact-check handler passes stored host/map data. The moved points remain instrument.P, a separate screen state; the worker checks the original certificate.
- CONFIRMED | Each coordinate is a polynomial in t, coefficients in ascending order. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs | [root-coordinates] Host coords are coefficient arrays for x(t) and y(t), evaluated with coefficients ascending in powers. The exact field implementation and all mapped displays agree.
- CONFIRMED | solid edges are unit identities | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs | [exact-unit-identities] The integer field check reduces each solid squared-distance polynomial to the constant 1. All 8,499 drawing checks pass; the default held drawing has 17 such solid edges.
- CONFIRMED | point pairs are separated on one real-root interval. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs | [exact-point-separation] Interval arithmetic certifies all 55 unordered point pairs in each eleven-vertex drawing on one shared real-root interval. The full replay checks 467445 = 8499 * 55 mapped pairs.
- CONFIRMED | squared-distance polynomials are identically one | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs | [exact-unit-pairs] The checker tests squared-distance polynomials for all pairs modulo minpoly. The default drawing has 21 identically unit pairs, a superset of its 17 required solid edges; additional non-edge unit distances are allowed.
- CONFIRMED | actual edges, each recorded once: | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs | [ledger-edge-once] validateLedger decodes the actual edge set, rejects repeats and missing entries, and gives one verdict per actual edge. All 53,006 deletion rows pass.
- CONFIRMED | deletion entries reconstruct, canonical labels match by actual isomorphism, and every smaller block and vertex deletion avoids the earlier list | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs | [ledger-search-result] The search-enabled checker reconstructs actual child graphs, verifies canonical labels by isomorphism, derives their blocks, and searches blocks plus vertex deletions against the earlier list. All pinned checks passed.
- CONFIRMED | with an injective edge-preserving map. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs | [containment-injective-result] The containment implementation returns an injective map preserving every pattern edge; the displayed mapped labels use that returned map. The survivor application's explicit map passes.
- CONFIRMED | Moving the screen points does not alter that certificate. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs | [ready-certificate] Changing instrument.P does not modify host.coords, drawing.map or the field polynomial. Exact worker inputs remain the original certificate, as the app says.
- CONFIRMED | Block decompositions have been reconstructed. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs | [ledger-reconstructed] validateLedger calls blocksOf on actual edge deletions and compares both block keys and isolated vertices with the stored evidence. All recorded decompositions matched.
- CONFIRMED | The verdicts themselves come from the frozen checker. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/run-report.json | [ledger-verdict-source] The browser checks row structure and reconstructs graph evidence; acceptance of each general embedded verdict is taken from the frozen computation. The text correctly distinguishes the two.
- CONFIRMED | Accepted embedded verdicts still rely on the recorded certificates; this does not replay all of them. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs | [ledger-embedded-scope] The browser ledger check does not load/replay the complete classified embedding library. Its returned embedded counts validate ledger evidence and maps, while accepted general certificates remain the recorded foundation.
- CONFIRMED | The dashed edge is not one. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs | [exact-dashed] The exact field/interval check certifies the cut squared-distance polynomial is separated from 1 at the selected common root interval. All 8,499 supplied cut edges pass; this is stronger than just their rounded screen lengths.
- CONFIRMED | This checks the restored certificate drawing. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs | [exact-restored] The result is computed on stored host coordinates and selected injective map, not the mutable screen. Full exact replay verifies the same worker calculation.
- CONFIRMED | The complete classification and longer refutations belong to the frozen computation, not to this small browser extract. | git show 5a634e5551:research/every-edge-but-one-at-eleven/README.md | [no-short-proof] Only twelve short refutations are supplied in proofs.json; the README explicitly excludes replay of the full B11 classification and long refutations by this extract.
- CONFIRMED | Checked exactly in your browser | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/logic.mjs | [proof-checked] Recreated all twelve short proofs with logic.check in exact Q(w) arithmetic. All return ok=true; their displayed checked sentences and edge-deletion rejection counts match exactly.
- CONFIRMED | The proof supposes every listed edge, including the dashed one, has length one. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/logic.mjs | [proof-all-edges] logic.check starts with the full selected edge set, including the edge that the drawing leaves dashed. This is necessary for a contradiction to the full obstruction; removing each edge makes that proof fail.
- CONFIRMED | A unit four-cycle of distinct planar points is a rhombus, so opposite vertices have the same sum. | https://arxiv.org/html/1905.07829v3 | [proof-rhombus] The paper says "every 4-cycle forms a rhombus" for an embedded unit-distance graph. Its Lemma 1 gives the opposite-vertex-sum relation. Distinctness is explicitly required in the page and the lemma.
- CONFIRMED | An equilateral triangle turns left or right. | https://arxiv.org/html/1905.07829v3 | [proof-triangle] The paper says "every 3-cycle forms an equilateral triangle". In an oriented complex plane its two reflected placements yield left and right rotations; both branches are checked except for the first global reflection freedom.
- CONFIRMED | Every row adds those relations with exact coefficients (a,b,d) meaning (a+b*w)/d, where w = exp(i*pi/3). | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/logic.mjs | [proof-coefficients] logic.mjs defines exact arithmetic in Q(w), with "w^2 = w - 1" and rational triples parsed as (a+b*w)/d. All 262 displayed combination terms and 98 steps match actual checked proof nodes.
- CONFIRMED | Reflection lets the first triangle turn left without loss. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/logic.mjs | [proof-reflection] The checker rejects "mirror used after an orientation was fixed"; it allows global reflection only at the first triangle. That is precisely the stated without-loss condition.
- CONFIRMED | Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/logic.mjs | [proof-two-orientations] The checker sets "['+1', '-1']" when mirror freedom is not available and rejects "split does not cover its cases". Every supplied split covers the required orientations.
- CONFIRMED | Each amber length is measured from its coordinates. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/draw.mjs | [gallery-lengths] stats calculates the omitted-edge Euclidean distance directly from P. All default and alternative amber lengths in the finite inventory match these coordinate measurements.
- CONFIRMED | This obstruction excludes a unit-distance placement of the host, subject to its refutation. | https://arxiv.org/html/1905.07829v3 | [host-map-drawability] A host embedding would restrict along an injective edge-preserving map to an embedding of the contained obstruction. Its accepted refutation forbids that; the stated qualification retains dependence on that refutation.
- CONFIRMED | No obstruction was found in the completed work. This is not a classification miss. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/check-worker.mjs | [budget-result] The worker records exhausted patterns/visits and the app takes a distinct budget-limited branch. The quoted wording does not assert a complete classification miss.
- CONFIRMED | The classification says this host is drawable; the search does not supply its coordinates. | git show 5a634e5551:oversight/waves/2026-10-08-unit-distance/specs/every-edge-but-one-at-eleven.md | [small-host-converse] For a complete no-hit search with host order <= 11, the finite forbidden-subgraph theorem implies drawability. findSubgraph returns only containment evidence; it does not construct any drawing.
- CONFIRMED | the classification gives no converse, so this does not establish drawability. | git show 5a634e5551:oversight/waves/2026-10-08-unit-distance/specs/every-edge-but-one-at-eleven.md | [large-host-limit] The theorem in the spec restricts the converse to at most eleven vertices. The app uses this weaker branch for larger hosts, correctly avoiding a drawability conclusion.
- CONFIRMED | This recount does not replay every embedding certificate. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs | [ledger-recount-limit] audit-ledgers iterates shards and validateLedger rows, not the original complete classified embedding/refutation store. The full pinned verifier confirms the recount but does not expand its mathematical scope.
- CONFIRMED | Every recorded block decomposition matches the actual graph deletion. Verdict acceptance remains recorded evidence. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs | [ledger-recount-blocks] The checker compares derived block keys and isolated vertices with every stored decomposition and throws "wrong block decomposition" on mismatch. All 2,604 block verdicts pass; acceptance remains frozen-record evidence.
- CONFIRMED | Each is checked when opened. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs | [short-refutations-opened] renderProof calls checkProof immediately and attempts the same proof on each edge deletion. All twelve opened-proof outputs were recreated, including 219 rejected deletions.
- CONFIRMED | The page does not recompute the full classification. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs | [live-no-classification] start() loads gallery, earlier list, run, proofs, survivor and L11; it does not enumerate all biconnected eleven-vertex graphs. The page accurately states this implementation limit.
- CONFIRMED | A unit-distance drawing requires distinct points, so a collision cannot complete the drawing. | https://arxiv.org/html/1905.07829v3 | [pull-collision] The source definition explicitly requires "distinct points". A merged pair violates that condition even if every edge residual happens to be numerically tiny.
- CONFIRMED | This numerical attempt is not a refutation. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/draw.mjs | [pull-local-scope] The finite local solver stops at a residual, stall or frame budget. Its failure neither explores all coordinates nor produces a universal algebraic contradiction; this limitation is correct.
- CONFIRMED | Time limit reached; the check is unfinished. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs | [unfinished-time] work() terminates the worker at its timeout and rejects with the exact displayed sentence. It does not treat that exception as a completed mathematical check.
- CONFIRMED | Cancelled; the check is unfinished. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs | [cancelled-check] work().cancel() terminates the worker and rejects with "Cancelled; the check is unfinished." Subsequent selection checks prevent a stale worker response from being reported as success.
- CONFIRMED | This browser needs native gzip decompression to read the exact certificate shards. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs | [gzip-requirement] The gzip fetch helper explicitly requires DecompressionStream and pipes the response through "new DecompressionStream('gzip')". Certificate shards are gzip data, so this stated browser requirement is real.
- CONFIRMED | Decoded now: 2,833 eleven-vertex graphs + 398 earlier = 3,231. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs | [live-decoded] Recreated decoded counts: eleven 2833, older 398, total 3231. The app's live readout formats those actual counts; it does not derive them from its own output transcript.
- CONFIRMED | Actual edge sum: 53,006 deletion obligations. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs | [live-deletions] Recreated actual edge sum is 53006, both from all decoded edge counts and from distinct ledger entries. The displayed arithmetic agrees.
- CONFIRMED | Measured all 2,833 default drawings: largest solid-edge error 1.15e-12; minimum point gap 0.258826; smallest dashed-edge departure from one 0.035369. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs | [live-measurements] Recreated all 2,833 default stats: maxSolidError=1.1470824290427117e-12, minPointGap=0.25882586068696434, minDashedDeparture=0.03536850746145048. App formatting gives exactly 1.15e-12, 0.258826 and 0.035369.
- CONFIRMED | Short refutations included: 12. Each is checked when opened. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs | [live-short-count] proofs.json has exactly twelve entries. renderProof checks each on selection; all twelve passed and every corresponding edge deletion rejected the same proof.
- CONFIRMED | Passed: 53,006 distinct deletion entries, 50,402 embedded and 2,604 by blocks. Every recorded block decomposition matches the actual graph deletion. Verdict acceptance remains recorded evidence. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs; supplemented by git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs; git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/run.json | [ledger-total-readout] Independent full ledger replay gives 53006 distinct deletion entries, 50402 embedded and 2604 blocks, with every block decomposition reconstructed. The cited census snippet only supplies edge totals; validateLedger and actual shards supply verdict splits.
- CONFIRMED | Checked exactly in your browser. The same proof is rejected on 18 of 18 edge deletions. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [short-proof-1] Recreated graph J???]OsBfb_: exact proof result {"ok":true,"leaves":2}; rejected on 18 of 18 actual edge deletions. The entire displayed readout matches the checked result.
- CONFIRMED | Orient triangle 0, 7, 10. Reflection lets the first triangle turn left without loss. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-1-1] Graph J???]OsBfb_, conditional branch root. Exact checked node: {"tri":[0,7,10],"mirror":true,"cases":["+1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 4, 6, 9. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-1-2] Graph J???]OsBfb_, conditional branch root/+1. Exact checked node: {"tri":[4,6,9],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 1 to 8 from edge 5 to 6 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-1-3] Graph J???]OsBfb_, conditional branch root/+1/+1. Exact checked node: {"edge":[1,8],"via":[5,6],"zeta":"-1,0,1","comb":[[["T",0,7,10,1],"0,1,1"],[["R",0,7,1,10],"1,0,1"],[["T",4,6,9,1],"1,-1,1"],[["R",4,7,10,9],"0,-1,1"],[["R",5,8,10,9],"1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 1 and 2 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-1-4] Graph J???]OsBfb_, conditional branch root/+1/+1. Exact checked node: {"type":"collision","pair":[1,2],"comb":[[["R",2,8,3,10],"-1,0,1"],[["R",1,8,3,10],"1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 0 to 8 from edge 5 to 6 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-1-5] Graph J???]OsBfb_, conditional branch root/+1/-1. Exact checked node: {"edge":[0,8],"via":[5,6],"zeta":"-1,0,1","comb":[[["T",0,7,10,1],"0,-1,1"],[["T",4,6,9,-1],"0,1,1"],[["R",4,7,10,9],"-1,1,1"],[["R",5,8,10,9],"1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 0 and 2 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-1-6] Graph J???]OsBfb_, conditional branch root/+1/-1. Exact checked node: {"type":"collision","pair":[0,2],"comb":[[["R",2,8,3,10],"-1,0,1"],[["R",0,8,3,10],"1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Checked exactly in your browser. The same proof is rejected on 16 of 16 edge deletions. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [short-proof-7] Recreated graph J??GhUgTF_?: exact proof result {"ok":true,"leaves":1}; rejected on 16 of 16 actual edge deletions. The entire displayed readout matches the checked result.
- CONFIRMED | Points 0 and 1 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-7-1] Graph J??GhUgTF_?, conditional branch root. Exact checked node: {"type":"collision","pair":[0,1],"comb":[[["R",0,8,2,10],"1,0,1"],[["R",2,7,4,8],"-1,0,1"],[["R",4,5,6,7],"1,0,1"],[["R",1,9,3,10],"-1,0,1"],[["R",3,6,5,9],"1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Checked exactly in your browser. The same proof is rejected on 19 of 19 edge deletions. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [short-proof-8] Recreated graph J??GombZF__: exact proof result {"ok":true,"leaves":5}; rejected on 19 of 19 actual edge deletions. The entire displayed readout matches the checked result.
- CONFIRMED | Orient triangle 1, 9, 10. Reflection lets the first triangle turn left without loss. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-8-1] Graph J??GombZF__, conditional branch root. Exact checked node: {"tri":[1,9,10],"mirror":true,"cases":["+1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 2, 9, 10. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-8-2] Graph J??GombZF__, conditional branch root/+1. Exact checked node: {"tri":[2,9,10],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 1 and 2 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-8-3] Graph J??GombZF__, conditional branch root/+1/+1. Exact checked node: {"type":"collision","pair":[1,2],"comb":[[["T",1,9,10,1],"0,-1,1"],[["T",2,9,10,1],"0,1,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 3, 6, 7. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-8-4] Graph J??GombZF__, conditional branch root/+1/-1. Exact checked node: {"tri":[3,6,7],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 4, 5, 9. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-8-5] Graph J??GombZF__, conditional branch root/+1/-1/+1. Exact checked node: {"tri":[4,5,9],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 3 to 9 from edge 4 to 6 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-8-6] Graph J??GombZF__, conditional branch root/+1/-1/+1/+1. Exact checked node: {"edge":[3,9],"via":[4,6],"zeta":"-1,0,1","comb":[[["T",3,6,7,1],"0,-1,1"],[["R",4,5,7,6],"0,1,1"],[["T",4,5,9,1],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 1 and 2 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-8-7] Graph J??GombZF__, conditional branch root/+1/-1/+1/+1. Exact checked node: {"type":"collision","pair":[1,2],"comb":[[["R",1,9,3,10],"1,0,1"],[["R",2,9,3,10],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 8 to 9 from edge 4 to 6 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-8-8] Graph J??GombZF__, conditional branch root/+1/-1/+1/-1. Exact checked node: {"edge":[8,9],"via":[4,6],"zeta":"-1,0,1","comb":[[["R",4,5,7,6],"1,-1,1"],[["T",3,6,7,1],"0,1,1"],[["R",3,6,8,7],"1,0,1"],[["T",4,5,9,-1],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 0 and 2 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-8-9] Graph J??GombZF__, conditional branch root/+1/-1/+1/-1. Exact checked node: {"type":"collision","pair":[0,2],"comb":[[["R",0,8,9,10],"1,0,1"],[["R",2,8,9,10],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 4, 5, 9. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-8-10] Graph J??GombZF__, conditional branch root/+1/-1/-1. Exact checked node: {"tri":[4,5,9],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 8 to 9 from edge 4 to 6 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-8-11] Graph J??GombZF__, conditional branch root/+1/-1/-1/+1. Exact checked node: {"edge":[8,9],"via":[4,6],"zeta":"-1,0,1","comb":[[["R",4,5,7,6],"0,1,1"],[["T",3,6,7,-1],"1,-1,1"],[["R",3,6,8,7],"1,0,1"],[["T",4,5,9,1],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 0 and 2 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-8-12] Graph J??GombZF__, conditional branch root/+1/-1/-1/+1. Exact checked node: {"type":"collision","pair":[0,2],"comb":[[["R",0,8,9,10],"1,0,1"],[["R",2,8,9,10],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 3 to 9 from edge 4 to 6 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-8-13] Graph J??GombZF__, conditional branch root/+1/-1/-1/-1. Exact checked node: {"edge":[3,9],"via":[4,6],"zeta":"-1,0,1","comb":[[["T",3,6,7,-1],"-1,1,1"],[["R",4,5,7,6],"1,-1,1"],[["T",4,5,9,-1],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 1 and 2 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-8-14] Graph J??GombZF__, conditional branch root/+1/-1/-1/-1. Exact checked node: {"type":"collision","pair":[1,2],"comb":[[["R",1,9,3,10],"1,0,1"],[["R",2,9,3,10],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Checked exactly in your browser. The same proof is rejected on 18 of 18 edge deletions. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [short-proof-189] Recreated graph J?CgGtBkNC?: exact proof result {"ok":true,"leaves":1}; rejected on 18 of 18 actual edge deletions. The entire displayed readout matches the checked result.
- CONFIRMED | Force unit edge 0 to 8 from edge 3 to 4 with multiplier (a+b*w)/d = 1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-189-1] Graph J?CgGtBkNC?, conditional branch root. Exact checked node: {"edge":[0,8],"via":[3,4],"zeta":"1,0,1","comb":[[["R",0,9,2,10],"1,0,1"],[["R",2,5,6,10],"-1,0,1"],[["R",3,7,8,9],"-1,0,1"],[["R",4,5,6,7],"1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 0 and 1 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-189-2] Graph J?CgGtBkNC?, conditional branch root. Exact checked node: {"type":"collision","pair":[0,1],"comb":[[["R",0,8,6,10],"1,0,1"],[["R",1,8,6,10],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Checked exactly in your browser. The same proof is rejected on 20 of 20 edge deletions. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [short-proof-397] Recreated graph J?Oak_xjEM?: exact proof result {"ok":true,"leaves":6}; rejected on 20 of 20 actual edge deletions. The entire displayed readout matches the checked result.
- CONFIRMED | Orient triangle 0, 7, 10. Reflection lets the first triangle turn left without loss. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-1] Graph J?Oak_xjEM?, conditional branch root. Exact checked node: {"tri":[0,7,10],"mirror":true,"cases":["+1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 1, 6, 10. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-2] Graph J?Oak_xjEM?, conditional branch root/+1. Exact checked node: {"tri":[1,6,10],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 2, 5, 9. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-3] Graph J?Oak_xjEM?, conditional branch root/+1/+1. Exact checked node: {"tri":[2,5,9],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 2 to 3 from edge 5 to 6 with multiplier (a+b*w)/d = 1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-4] Graph J?Oak_xjEM?, conditional branch root/+1/+1/+1. Exact checked node: {"edge":[2,3],"via":[5,6],"zeta":"1,0,1","comb":[[["T",2,5,9,1],"0,-1,1"],[["R",3,6,10,7],"-1,0,1"],[["T",0,7,10,1],"1,-1,1"],[["R",0,9,5,10],"0,-1,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 2 to 7 from edge 0 to 9 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-5] Graph J?Oak_xjEM?, conditional branch root/+1/+1/+1. Exact checked node: {"edge":[2,7],"via":[0,9],"zeta":"-1,0,1","comb":[[["T",2,5,9,1],"0,-1,1"],[["T",0,7,10,1],"1,-1,1"],[["R",0,9,5,10],"1,-1,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 2 and 8 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-6] Graph J?Oak_xjEM?, conditional branch root/+1/+1/+1. Exact checked node: {"type":"collision","pair":[2,8],"comb":[[["R",2,7,3,8],"1,0,2"],[["R",2,3,7,8],"1,0,2"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 3, 7, 8. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-7] Graph J?Oak_xjEM?, conditional branch root/+1/+1/-1. Exact checked node: {"tri":[3,7,8],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Edge 0 to 7 must have squared length 1/4 times that of unit edge 1 to 4, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-8] Graph J?Oak_xjEM?, conditional branch root/+1/+1/-1/+1. Exact checked node: {"type":"length","edge":[0,7],"via":[1,4],"zeta":"0,1,2","comb":[[["T",0,7,10,1],"1,-2,2"],[["T",3,7,8,1],"0,1,2"],[["R",3,6,10,7],"1,0,2"],[["T",1,6,10,1],"-1,1,2"],[["R",0,9,5,10],"1,-1,2"],[["T",2,5,9,-1],"1,0,2"],[["R",2,8,4,9],"0,1,2"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Edge 2 to 8 must have squared length 3/1 times that of unit edge 0 to 7, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-9] Graph J?Oak_xjEM?, conditional branch root/+1/+1/-1/-1. Exact checked node: {"type":"length","edge":[2,8],"via":[0,7],"zeta":"2,-1,1","comb":[[["T",2,5,9,-1],"-1,1,1"],[["T",0,7,10,1],"0,1,1"],[["R",0,9,5,10],"-1,1,1"],[["T",3,7,8,-1],"-1,0,1"],[["R",3,6,10,7],"0,-1,1"],[["T",1,6,10,1],"0,1,1"],[["R",1,6,5,10],"1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 2, 5, 9. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-10] Graph J?Oak_xjEM?, conditional branch root/+1/-1. Exact checked node: {"tri":[2,5,9],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 2 to 3 from edge 5 to 6 with multiplier (a+b*w)/d = 1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-11] Graph J?Oak_xjEM?, conditional branch root/+1/-1/+1. Exact checked node: {"edge":[2,3],"via":[5,6],"zeta":"1,0,1","comb":[[["T",2,5,9,1],"0,-1,1"],[["T",0,7,10,1],"1,-1,1"],[["R",0,9,5,10],"0,-1,1"],[["R",3,6,10,7],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 2 to 7 from edge 0 to 9 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-12] Graph J?Oak_xjEM?, conditional branch root/+1/-1/+1. Exact checked node: {"edge":[2,7],"via":[0,9],"zeta":"-1,0,1","comb":[[["T",2,5,9,1],"0,-1,1"],[["T",0,7,10,1],"1,-1,1"],[["R",0,9,5,10],"1,-1,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 2 and 8 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-13] Graph J?Oak_xjEM?, conditional branch root/+1/-1/+1. Exact checked node: {"type":"collision","pair":[2,8],"comb":[[["R",2,7,3,8],"1,0,2"],[["R",2,3,7,8],"1,0,2"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 3, 7, 8. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-14] Graph J?Oak_xjEM?, conditional branch root/+1/-1/-1. Exact checked node: {"tri":[3,7,8],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Edge 2 to 8 must have squared length 3/1 times that of unit edge 0 to 7, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-15] Graph J?Oak_xjEM?, conditional branch root/+1/-1/-1/+1. Exact checked node: {"type":"length","edge":[2,8],"via":[0,7],"zeta":"2,-1,1","comb":[[["T",2,5,9,-1],"-1,1,1"],[["T",0,7,10,1],"0,1,1"],[["R",0,9,5,10],"-1,1,1"],[["T",3,7,8,1],"-1,0,1"],[["R",3,6,10,7],"-1,1,1"],[["T",1,6,10,-1],"1,-1,1"],[["R",1,6,5,10],"1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Edge 0 to 7 must have squared length 1/4 times that of unit edge 1 to 4, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-397-16] Graph J?Oak_xjEM?, conditional branch root/+1/-1/-1/-1. Exact checked node: {"type":"length","edge":[0,7],"via":[1,4],"zeta":"0,1,2","comb":[[["T",0,7,10,1],"1,-2,2"],[["T",3,7,8,-1],"0,1,2"],[["R",3,6,10,7],"-1,1,2"],[["T",1,6,10,-1],"1,0,2"],[["R",0,9,5,10],"1,-1,2"],[["T",2,5,9,-1],"1,0,2"],[["R",2,8,4,9],"0,1,2"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Checked exactly in your browser. The same proof is rejected on 20 of 20 edge deletions. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [short-proof-510] Recreated graph J?`ad_kEmM?: exact proof result {"ok":true,"leaves":14}; rejected on 20 of 20 actual edge deletions. The entire displayed readout matches the checked result.
- CONFIRMED | Orient triangle 0, 7, 10. Reflection lets the first triangle turn left without loss. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-1] Graph J?`ad_kEmM?, conditional branch root. Exact checked node: {"tri":[0,7,10],"mirror":true,"cases":["+1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 1, 5, 10. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-2] Graph J?`ad_kEmM?, conditional branch root/+1. Exact checked node: {"tri":[1,5,10],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 1, 6, 10. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-3] Graph J?`ad_kEmM?, conditional branch root/+1/+1. Exact checked node: {"tri":[1,6,10],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 5 and 6 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-4] Graph J?`ad_kEmM?, conditional branch root/+1/+1/+1. Exact checked node: {"type":"collision","pair":[5,6],"comb":[[["T",1,5,10,1],"-1,1,1"],[["T",1,6,10,1],"1,-1,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 2, 5, 8. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-5] Graph J?`ad_kEmM?, conditional branch root/+1/+1/-1. Exact checked node: {"tri":[2,5,8],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 0 to 8 from edge 2 to 7 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-6] Graph J?`ad_kEmM?, conditional branch root/+1/+1/-1/+1. Exact checked node: {"edge":[0,8],"via":[2,7],"zeta":"-1,0,1","comb":[[["T",0,7,10,1],"0,-1,1"],[["R",2,5,10,7],"0,1,1"],[["T",2,5,8,1],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 0, 4, 8. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-7] Graph J?`ad_kEmM?, conditional branch root/+1/+1/-1/+1. Exact checked node: {"tri":[0,4,8],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 1 to 4 from edge 0 to 10 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-8] Graph J?`ad_kEmM?, conditional branch root/+1/+1/-1/+1/+1. Exact checked node: {"edge":[1,4],"via":[0,10],"zeta":"-1,0,1","comb":[[["T",0,4,8,1],"1,-1,1"],[["R",0,8,5,10],"1,-1,1"],[["T",1,5,10,1],"0,-1,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 0 and 8 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-9] Graph J?`ad_kEmM?, conditional branch root/+1/+1/-1/+1/+1. Exact checked node: {"type":"collision","pair":[0,8],"comb":[[["R",1,4,9,6],"-1,0,2"],[["R",1,5,10,6],"1,0,2"],[["R",0,4,9,8],"1,0,2"],[["R",0,8,5,10],"1,0,2"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 3, 6, 9. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-10] Graph J?`ad_kEmM?, conditional branch root/+1/+1/-1/+1/-1. Exact checked node: {"tri":[3,6,9],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 5 and 6 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-11] Graph J?`ad_kEmM?, conditional branch root/+1/+1/-1/+1/-1/+1. Exact checked node: {"type":"collision","pair":[5,6],"comb":[[["T",0,4,8,-1],"1,4,7"],[["R",0,8,5,10],"6,3,7"],[["R",0,4,9,8],"-5,1,7"],[["T",3,6,9,1],"5,-1,7"],[["R",3,6,10,7],"4,-5,7"],[["T",0,7,10,1],"1,4,7"],[["T",1,5,10,1],"-1,3,7"],[["R",1,5,10,6],"2,1,7"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Edge 0 to 4 must have squared length 21/49 times that of unit edge 5 to 8, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-12] Graph J?`ad_kEmM?, conditional branch root/+1/+1/-1/+1/-1/-1. Exact checked node: {"type":"length","edge":[0,4],"via":[5,8],"zeta":"-5,1,7","comb":[[["T",0,4,8,-1],"1,4,7"],[["R",0,4,9,8],"2,1,7"],[["T",3,6,9,-1],"-2,-1,7"],[["R",3,6,10,7],"1,-3,7"],[["T",0,7,10,1],"2,1,7"],[["T",1,5,10,1],"-1,3,7"],[["R",1,5,10,6],"2,1,7"],[["R",0,8,5,10],"4,2,7"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 3, 6, 9. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-13] Graph J?`ad_kEmM?, conditional branch root/+1/+1/-1/-1. Exact checked node: {"tri":[3,6,9],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 0 to 9 from edge 3 to 7 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-14] Graph J?`ad_kEmM?, conditional branch root/+1/+1/-1/-1/+1. Exact checked node: {"edge":[0,9],"via":[3,7],"zeta":"-1,0,1","comb":[[["T",0,7,10,1],"0,-1,1"],[["R",3,6,10,7],"0,1,1"],[["T",3,6,9,1],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 0, 4, 9. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-15] Graph J?`ad_kEmM?, conditional branch root/+1/+1/-1/-1/+1. Exact checked node: {"tri":[0,4,9],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Edge 6 to 9 must have squared length 21/9 times that of unit edge 1 to 5, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-16] Graph J?`ad_kEmM?, conditional branch root/+1/+1/-1/-1/+1/+1. Exact checked node: {"type":"length","edge":[6,9],"via":[1,5],"zeta":"5,-1,3","comb":[[["T",0,4,9,1],"-2,1,3"],[["R",0,4,8,9],"1,1,3"],[["T",2,5,8,-1],"-1,-1,3"],[["R",2,5,10,7],"1,-2,3"],[["T",0,7,10,1],"1,1,3"],[["T",1,5,10,1],"1,1,3"],[["R",1,5,10,6],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Edge 0 to 4 must have squared length 3/4 times that of unit edge 0 to 10, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-17] Graph J?`ad_kEmM?, conditional branch root/+1/+1/-1/-1/+1/-1. Exact checked node: {"type":"length","edge":[0,4],"via":[0,10],"zeta":"1,1,2","comb":[[["R",0,4,8,9],"0,1,2"],[["T",2,5,8,-1],"0,-1,2"],[["R",2,5,10,7],"1,-1,2"],[["T",0,7,10,1],"0,1,2"],[["T",1,5,10,1],"0,1,2"],[["R",1,5,10,6],"1,0,2"],[["R",0,9,6,10],"1,0,2"],[["T",0,4,9,-1],"1,1,2"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Edge 8 to 9 must have squared length 3/1 times that of unit edge 5 to 10, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-18] Graph J?`ad_kEmM?, conditional branch root/+1/+1/-1/-1/-1. Exact checked node: {"type":"length","edge":[8,9],"via":[5,10],"zeta":"1,1,1","comb":[[["T",2,5,8,-1],"1,0,1"],[["R",2,5,10,7],"0,1,1"],[["T",3,6,9,-1],"-1,0,1"],[["R",3,6,10,7],"0,-1,1"],[["T",1,5,10,1],"0,1,1"],[["R",1,5,10,6],"1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 1, 6, 10. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-19] Graph J?`ad_kEmM?, conditional branch root/+1/-1. Exact checked node: {"tri":[1,6,10],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 2, 5, 8. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-20] Graph J?`ad_kEmM?, conditional branch root/+1/-1/+1. Exact checked node: {"tri":[2,5,8],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 0 to 8 from edge 2 to 7 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-21] Graph J?`ad_kEmM?, conditional branch root/+1/-1/+1/+1. Exact checked node: {"edge":[0,8],"via":[2,7],"zeta":"-1,0,1","comb":[[["T",0,7,10,1],"0,-1,1"],[["R",2,5,10,7],"0,1,1"],[["T",2,5,8,1],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 0, 4, 8. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-22] Graph J?`ad_kEmM?, conditional branch root/+1/-1/+1/+1. Exact checked node: {"tri":[0,4,8],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 3, 6, 9. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-23] Graph J?`ad_kEmM?, conditional branch root/+1/-1/+1/+1/+1. Exact checked node: {"tri":[3,6,9],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 1 and 10 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-24] Graph J?`ad_kEmM?, conditional branch root/+1/-1/+1/+1/+1/+1. Exact checked node: {"type":"collision","pair":[1,10],"comb":[[["T",0,4,8,1],"1,2,7"],[["R",0,8,5,10],"-1,5,7"],[["R",0,4,9,8],"2,-3,7"],[["T",1,5,10,-1],"-8,5,7"],[["T",3,6,9,1],"-2,3,7"],[["R",3,6,10,7],"1,2,7"],[["T",0,7,10,1],"-3,1,7"],[["R",1,5,10,6],"2,-3,7"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Edge 5 to 8 must have squared length 21/9 times that of unit edge 1 to 5, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-25] Graph J?`ad_kEmM?, conditional branch root/+1/-1/+1/+1/+1/-1. Exact checked node: {"type":"length","edge":[5,8],"via":[1,5],"zeta":"-1,-4,3","comb":[[["T",0,4,8,1],"-2,1,3"],[["R",0,4,9,8],"1,1,3"],[["T",3,6,9,-1],"-1,-1,3"],[["R",3,6,10,7],"1,-2,3"],[["T",0,7,10,1],"1,1,3"],[["T",1,5,10,-1],"-1,0,1"],[["R",1,5,10,6],"1,1,3"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 1 to 4 from edge 0 to 10 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-26] Graph J?`ad_kEmM?, conditional branch root/+1/-1/+1/+1/-1. Exact checked node: {"edge":[1,4],"via":[0,10],"zeta":"-1,0,1","comb":[[["T",0,4,8,-1],"0,1,1"],[["R",0,8,5,10],"0,1,1"],[["T",1,5,10,-1],"-1,1,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 0 and 8 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-27] Graph J?`ad_kEmM?, conditional branch root/+1/-1/+1/+1/-1. Exact checked node: {"type":"collision","pair":[0,8],"comb":[[["R",1,4,9,6],"-1,0,2"],[["R",1,5,10,6],"1,0,2"],[["R",0,4,9,8],"1,0,2"],[["R",0,8,5,10],"1,0,2"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 3, 6, 9. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-28] Graph J?`ad_kEmM?, conditional branch root/+1/-1/+1/-1. Exact checked node: {"tri":[3,6,9],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 0 to 9 from edge 3 to 7 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-29] Graph J?`ad_kEmM?, conditional branch root/+1/-1/+1/-1/+1. Exact checked node: {"edge":[0,9],"via":[3,7],"zeta":"-1,0,1","comb":[[["T",0,7,10,1],"0,-1,1"],[["T",3,6,9,1],"-1,0,1"],[["R",3,6,10,7],"0,1,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 0, 4, 9. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-30] Graph J?`ad_kEmM?, conditional branch root/+1/-1/+1/-1/+1. Exact checked node: {"tri":[0,4,9],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Edge 1 to 5 must have squared length 3/4 times that of unit edge 6 to 9, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-31] Graph J?`ad_kEmM?, conditional branch root/+1/-1/+1/-1/+1/+1. Exact checked node: {"type":"length","edge":[1,5],"via":[6,9],"zeta":"2,-1,2","comb":[[["T",0,4,9,1],"1,-1,2"],[["R",0,4,8,9],"-1,0,2"],[["T",1,5,10,-1],"-1,0,2"],[["T",2,5,8,-1],"1,0,2"],[["R",2,5,10,7],"0,1,2"],[["T",0,7,10,1],"-1,0,2"],[["R",1,5,10,6],"2,-1,2"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Edge 0 to 4 must have squared length 21/49 times that of unit edge 6 to 9, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-32] Graph J?`ad_kEmM?, conditional branch root/+1/-1/+1/-1/+1/-1. Exact checked node: {"type":"length","edge":[0,4],"via":[6,9],"zeta":"-5,1,7","comb":[[["T",0,4,9,-1],"1,4,7"],[["R",0,4,8,9],"2,1,7"],[["T",2,5,8,-1],"-2,-1,7"],[["R",2,5,10,7],"1,-3,7"],[["T",0,7,10,1],"2,1,7"],[["T",1,5,10,-1],"2,1,7"],[["R",1,5,10,6],"-1,3,7"],[["R",0,9,6,10],"4,2,7"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Edge 8 to 9 must have squared length 3/1 times that of unit edge 1 to 5, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-33] Graph J?`ad_kEmM?, conditional branch root/+1/-1/+1/-1/-1. Exact checked node: {"type":"length","edge":[8,9],"via":[1,5],"zeta":"-1,-1,1","comb":[[["T",1,5,10,-1],"-1,0,1"],[["T",2,5,8,-1],"1,0,1"],[["R",2,5,10,7],"0,1,1"],[["T",3,6,9,-1],"-1,0,1"],[["R",3,6,10,7],"0,-1,1"],[["R",1,5,10,6],"1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 5 and 6 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-510-34] Graph J?`ad_kEmM?, conditional branch root/+1/-1/-1. Exact checked node: {"type":"collision","pair":[5,6],"comb":[[["T",1,5,10,-1],"0,-1,1"],[["T",1,6,10,-1],"0,1,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Checked exactly in your browser. The same proof is rejected on 18 of 18 edge deletions. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [short-proof-563] Recreated graph J@?AZOSbN`?: exact proof result {"ok":true,"leaves":1}; rejected on 18 of 18 actual edge deletions. The entire displayed readout matches the checked result.
- CONFIRMED | Force unit edge 3 to 9 from edge 5 to 8 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-563-1] Graph J@?AZOSbN`?, conditional branch root. Exact checked node: {"edge":[3,9],"via":[5,8],"zeta":"-1,0,1","comb":[[["R",2,3,8,10],"-1,0,1"],[["R",1,6,4,7],"-1,0,1"],[["R",1,7,2,10],"1,0,1"],[["R",4,6,5,9],"1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 0 and 3 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-563-2] Graph J@?AZOSbN`?, conditional branch root. Exact checked node: {"type":"collision","pair":[0,3],"comb":[[["R",0,9,8,10],"1,0,1"],[["R",3,9,8,10],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Checked exactly in your browser. The same proof is rejected on 17 of 17 edge deletions. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [short-proof-564] Recreated graph J@?A[YgTF_?: exact proof result {"ok":true,"leaves":1}; rejected on 17 of 17 actual edge deletions. The entire displayed readout matches the checked result.
- CONFIRMED | Edge 0 to 8 must have squared length 1/4 times that of unit edge 2 to 3, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-564-1] Graph J@?A[YgTF_?, conditional branch root. Exact checked node: {"type":"length","edge":[0,8],"via":[2,3],"zeta":"-1,0,2","comb":[[["R",0,7,4,8],"1,0,2"],[["R",4,6,5,7],"-1,0,2"],[["R",0,8,2,10],"1,0,2"],[["R",1,6,5,9],"1,0,2"],[["R",1,9,3,10],"-1,0,2"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Checked exactly in your browser. The same proof is rejected on 19 of 19 edge deletions. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [short-proof-568] Recreated graph J@?G?{eono_: exact proof result {"ok":true,"leaves":5}; rejected on 19 of 19 actual edge deletions. The entire displayed readout matches the checked result.
- CONFIRMED | Orient triangle 0, 9, 10. Reflection lets the first triangle turn left without loss. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-568-1] Graph J@?G?{eono_, conditional branch root. Exact checked node: {"tri":[0,9,10],"mirror":true,"cases":["+1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 1, 9, 10. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-568-2] Graph J@?G?{eono_, conditional branch root/+1. Exact checked node: {"tri":[1,9,10],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 0 and 1 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-568-3] Graph J@?G?{eono_, conditional branch root/+1/+1. Exact checked node: {"type":"collision","pair":[0,1],"comb":[[["T",0,9,10,1],"0,-1,1"],[["T",1,9,10,1],"0,1,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 2, 3, 10. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-568-4] Graph J@?G?{eono_, conditional branch root/+1/-1. Exact checked node: {"tri":[2,3,10],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 4, 5, 7. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-568-5] Graph J@?G?{eono_, conditional branch root/+1/-1/+1. Exact checked node: {"tri":[4,5,7],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 4 to 9 from edge 5 to 8 with multiplier (a+b*w)/d = 1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-568-6] Graph J@?G?{eono_, conditional branch root/+1/-1/+1/+1. Exact checked node: {"edge":[4,9],"via":[5,8],"zeta":"1,0,1","comb":[[["T",2,3,10,1],"0,-1,1"],[["R",2,8,9,10],"-1,0,1"],[["R",3,7,4,10],"1,-1,1"],[["T",4,5,7,1],"1,-1,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 0 and 1 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-568-7] Graph J@?G?{eono_, conditional branch root/+1/-1/+1/+1. Exact checked node: {"type":"collision","pair":[0,1],"comb":[[["R",0,9,4,10],"1,0,1"],[["R",1,9,4,10],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Edge 6 to 8 must have squared length 1/4 times that of unit edge 6 to 9, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-568-8] Graph J@?G?{eono_, conditional branch root/+1/-1/+1/-1. Exact checked node: {"type":"length","edge":[6,8],"via":[6,9],"zeta":"1,0,2","comb":[[["T",4,5,7,-1],"0,1,2"],[["R",5,7,6,8],"1,0,2"],[["T",2,3,10,1],"0,1,2"],[["R",2,8,9,10],"1,0,2"],[["R",3,7,4,10],"-1,1,2"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 4, 5, 7. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-568-9] Graph J@?G?{eono_, conditional branch root/+1/-1/-1. Exact checked node: {"tri":[4,5,7],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Edge 6 to 9 must have squared length 4/1 times that of unit edge 4 to 5, contradicting its unit length. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-568-10] Graph J@?G?{eono_, conditional branch root/+1/-1/-1/+1. Exact checked node: {"type":"length","edge":[6,9],"via":[4,5],"zeta":"2,-2,1","comb":[[["T",4,5,7,1],"1,1,1"],[["R",5,7,6,8],"1,0,1"],[["T",2,3,10,-1],"-1,1,1"],[["R",2,8,9,10],"-1,0,1"],[["R",3,7,4,10],"0,1,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 4 to 9 from edge 5 to 8 with multiplier (a+b*w)/d = 1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-568-11] Graph J@?G?{eono_, conditional branch root/+1/-1/-1/-1. Exact checked node: {"edge":[4,9],"via":[5,8],"zeta":"1,0,1","comb":[[["T",2,3,10,-1],"-1,1,1"],[["R",2,8,9,10],"-1,0,1"],[["R",3,7,4,10],"0,1,1"],[["T",4,5,7,-1],"0,1,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 0 and 1 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-568-12] Graph J@?G?{eono_, conditional branch root/+1/-1/-1/-1. Exact checked node: {"type":"collision","pair":[0,1],"comb":[[["R",0,9,4,10],"1,0,1"],[["R",1,9,4,10],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Checked exactly in your browser. The same proof is rejected on 18 of 18 edge deletions. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [short-proof-826] Recreated graph J@`@OcTB^C?: exact proof result {"ok":true,"leaves":2}; rejected on 18 of 18 actual edge deletions. The entire displayed readout matches the checked result.
- CONFIRMED | Orient triangle 2, 6, 10. Reflection lets the first triangle turn left without loss. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-826-1] Graph J@`@OcTB^C?, conditional branch root. Exact checked node: {"tri":[2,6,10],"mirror":true,"cases":["+1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Orient triangle 3, 7, 8. Both orientations are required. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-826-2] Graph J@`@OcTB^C?, conditional branch root/+1. Exact checked node: {"tri":[3,7,8],"mirror":false,"cases":["+1","-1"]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 0 to 5 from edge 4 to 9 with multiplier (a+b*w)/d = 1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-826-3] Graph J@`@OcTB^C?, conditional branch root/+1/+1. Exact checked node: {"edge":[0,5],"via":[4,9],"zeta":"1,0,1","comb":[[["R",0,4,6,10],"1,0,1"],[["R",5,8,7,9],"-1,0,1"],[["T",2,6,10,1],"1,0,1"],[["R",2,3,7,6],"1,-1,1"],[["T",3,7,8,1],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Force unit edge 8 to 10 from edge 2 to 3 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-826-4] Graph J@`@OcTB^C?, conditional branch root/+1/+1. Exact checked node: {"edge":[8,10],"via":[2,3],"zeta":"-1,0,1","comb":[[["R",2,3,7,6],"0,1,1"],[["T",2,6,10,1],"-1,0,1"],[["T",3,7,8,1],"1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 0 and 1 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-826-5] Graph J@`@OcTB^C?, conditional branch root/+1/+1. Exact checked node: {"type":"collision","pair":[0,1],"comb":[[["R",1,5,8,10],"-1,0,1"],[["R",0,5,8,10],"1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 0 and 6 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-826-6] Graph J@`@OcTB^C?, conditional branch root/+1/-1. Exact checked node: {"type":"collision","pair":[0,6],"comb":[[["R",0,4,6,10],"1,0,1"],[["R",4,6,7,9],"1,0,1"],[["T",3,7,8,-1],"1,0,1"],[["R",3,7,9,8],"1,0,1"],[["T",2,6,10,1],"1,0,1"],[["R",2,3,7,6],"1,-1,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Checked exactly in your browser. The same proof is rejected on 18 of 18 edge deletions. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [short-proof-1285] Recreated graph JG_?h`KBv`?: exact proof result {"ok":true,"leaves":1}; rejected on 18 of 18 actual edge deletions. The entire displayed readout matches the checked result.
- CONFIRMED | Force unit edge 1 to 4 from edge 5 to 6 with multiplier (a+b*w)/d = 1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-1285-1] Graph JG_?h`KBv`?, conditional branch root. Exact checked node: {"edge":[1,4],"via":[5,6],"zeta":"1,0,1","comb":[[["R",1,2,10,8],"1,0,1"],[["R",2,7,3,10],"1,0,1"],[["R",3,6,9,7],"-1,0,1"],[["R",4,8,5,9],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 0 and 1 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-1285-2] Graph JG_?h`KBv`?, conditional branch root. Exact checked node: {"type":"collision","pair":[0,1],"comb":[[["R",0,4,8,10],"1,0,1"],[["R",1,4,8,10],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Checked exactly in your browser. The same proof is rejected on 18 of 18 edge deletions. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [short-proof-2392] Recreated graph JhIIc?B@Wp_: exact proof result {"ok":true,"leaves":1}; rejected on 18 of 18 actual edge deletions. The entire displayed readout matches the checked result.
- CONFIRMED | Force unit edge 3 to 9 from edge 0 to 1 with multiplier (a+b*w)/d = -1,0,1. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-2392-1] Graph JhIIc?B@Wp_, conditional branch root. Exact checked node: {"edge":[3,9],"via":[0,1],"zeta":"-1,0,1","comb":[[["R",3,6,8,10],"1,0,1"],[["R",0,5,9,7],"1,0,1"],[["R",7,8,10,9],"1,0,1"],[["R",1,2,3,6],"-1,0,1"],[["R",2,3,10,4],"-1,0,1"],[["R",4,5,9,10],"-1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | Points 6 and 9 must coincide, violating distinctness. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [proof-step-2392-2] Graph JhIIc?B@Wp_, conditional branch root. Exact checked node: {"type":"collision","pair":[6,9],"comb":[[["R",3,6,8,10],"-1,0,1"],[["R",3,9,8,10],"1,0,1"]]}. Displayed vertices, relations, coefficient triples and conclusion match; this is a branch-local conclusion under the displayed orientations.
- CONFIRMED | (added) No short proof is included for this graph. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs:157; git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/data/proofs.json | [added-no-short-proof] Conditional result for the 2,821 catalogue graphs absent from the twelve-entry proof dictionary. The app uses this sentence only when !proof. Positive control: Graph 1 has a checked proof; Graph 2 does not. This is not a statement that no refutation exists.
- CONFIRMED | (added) Passed exactly: 17 solid edges are unit identities; all 55 point pairs are separated on one real-root interval. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs:129; git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs | [added-default-exact-counts] Default Graph 1, first drawing: reconstructed checkMappedDrawing returns solidUnit=17, pairs=55 and separated=55. These quantitative values were absent from the source-record exact-result entries. All 8,499 drawings separate 55 pairs, giving 467,445 pair checks.
- CONFIRMED | (added) Across all pairs, 21 squared-distance polynomials are identically one modulo the degree-4 root polynomial. | git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/app.mjs:129; git show 5a634e5551:public/strata/every-edge-but-one-at-eleven/engine.mjs | [added-default-unit-pairs] For the same default drawing, exact calculation gives unitPairs=21 and degree=4. This is a count of all unit-distance pairs, including permitted non-edges, not a claim that all 55 pairs are unit distance. The source record contains the identity template but omits these generated quantities.
- OBSERVED | (added) Separation needed 0 bisections. | recreated: node audit-displays.mjs, using public/strata/every-edge-but-one-at-eleven/engine.mjs at 5a634e5551 | [added-default-bisections] Recreated the exact checker for default Graph 1, first drawing: ""subdivisions":0". This is a measured result for that selected certificate only; it is not a claim that every drawing needs zero bisections.
## Findings
- [fixed] X1, project-ten-eleven: the source record omitted the ten-vertex premise. Added run-report.json's F10_provenance.members = 324 alongside run.json's minimal = 2833, with separately labelled verbatim excerpts and locators. The page numbers were already correct.
- [fixed] X2, prose-07-02: replaced the validateLedger citation with app.mjs:99-106, where a matching drawing cut controls the drawing button. The page statement was already correct.
- [fixed] X3, prose-30-02: replaced the short-proof generator citation with audit-report.json:70-72, which records the broader campaign's refuted/sub and refuted/tu counts. The page's campaign-level sentence was already correct.
|
|---|