From words to
testable structures.
Compose three independent pieces. Declare their geometry.
Inspect what the evidence actually establishes.
Explore the vocabulary
Large CSV imports: up to 250 MB and 2,000,000 rows. Files are read in the background and stay on your device. Browse up to 20 rows per page after validation completes. You can cancel an import and keep your previous catalog. Files remain available in this tab until replaced or reloaded. Export this CSV page saves only the displayed rows. Release 0e9a3843660c.
CSV capacity and format
Use UTF-8 CSV with the explorer headers. Imports support 30,000,000 operations across all rows, 64 columns, 64,000,000 cells and up to 1 MB per CSV record. Each piece can contain up to 4,096 operations. Long sequences may require a one-row display. Imported positions are separate from source row numbers and generated ranks. CSV import supplies candidate descriptions; geometry assessment and notebook limits are separate.
Order and repetitions are preserved. Opposite signs do not cancel. Bounded triples use C-fastest Cartesian ordering; unbounded triples use nested Cantor pairing. Row ranks are not candidate IDs. There is no theoretical repetition limit; this session accepts 4,096 operations per piece. Symbolic CSV rows supply no geometry or assessment evidence.
Upload your spreadsheet
Open your 4D-NOD twist/loop workbook directly. Browse its sheets, load a configuration into piece A, B or C, or save a page of triple examples to the notebook.
Choose an .xlsx file up to 3 MB. The upload is processed for this request and is not saved on the server.
Source sheet names, Excel rows and source IDs are preserved. Candidate identities are checked against the operation sequences. Spreadsheet status text supplies no geometry or assessment evidence. Save or export selected candidates before leaving; reopening the workbook requires selecting the file again.
Run a bounded batch
Generate an exact range of ordered A/B/C triples, assess each saved geometry assignment, and checkpoint every result. Unmatched candidates remain not tested. No twist or loop label is interpreted as a geometry.
Prepare a batch to see its exact range and geometry assignments.
| Triple rank | Candidate / A · B · C | Supplied geometry | Assessment | Inspect |
|---|
Completed means the available checks ran, not that a particle or manifold was established. Keep this tab open during execution. After reload, select the saved batch and resume pending records. Imported reports are archived until rerun. Checkpoints include the range, candidate IDs, supplied inputs, model versions and evidence; browser storage is not a durable server database.
Assemble a candidate Assembling piecesA, B and C are ordered labels. Add, repeat, move or remove operations independently. Their colors identify pieces and do not represent QCD color charge.Read the guide: Assembling pieces (new tab)
Choose any sequence for each piece, including the empty word and repeated operations. Piece colors identify A, B and C; they are not QCD color charge.
Candidate ID Candidate identityA stable triple ID records the ordered P IDs of A, B and C. Workbook labels such as C0001 are source references, not candidate IDs.Read the guide: Candidate identity (new tab)
Session notebook & resumable queue
Browser-local storage only; no account or server database is configured for research results. Export a JSON backup for durable retention. Results remain attached to their original inputs.
Define what is being joined Explicit geometryA symbolic word does not specify a space or joining map. Supply a supported complex and model declarations before geometric checks can run.Read the guide: Explicit geometry (new tab)
Load a control or supply a versioned finite simplicial complex. Shared vertex labels identify shared faces. This abstract format cannot express every triangulation, self-identification, smooth atlas or physical geometry.
Edit geometry & model JSON
Use declarative data only. Integer or string vertices, up to five vertices per simplex. No Python code is evaluated. Use joining.target = closed or exterior_interface; declare expected_exterior_faces for the latter. Model fields record underlying space, operations, composition, directions, equivalence rules, differentiability, metric, time and physical mapping.
Inspect the assembly
What has been checked? Reading evidencePassed applies only to the named check. Failed identifies a failed check; not tested or undetermined marks missing input or an unresolved property. None establishes physical identity.Read the guide: Reading evidence (new tab)
Select a candidate and run an assessment. Without explicit geometry, geometric and physical properties remain untested.
Comparison inputs, not predictions
uududdu: +2/3 e · d: −1/3 ePhysical determination is unavailable. An explicit mapping from geometry to observables and a validated evaluation method are required. Particle Data Group · quark model