Nishi Family › Compare › STEM and Digital-Twin Fabrication
Nishi Compare · capabilities, evidence and delivery
STEM and Digital-Twin Fabrication
Compare capabilities and delivery evidence. Source discovery, qualification, deployment and accepted outcomes are separate; an open contract names work still to verify.
Grow STEM from the first byte up and digital-twin every physical device so we test BEFORE we buy or build. Cols are 4 category leaders; the note names each row true rival (Cura, Klipper, Gazebo, ngspice, Ansys, QEMU). Measured this session: rollup 328 permille, omniforge 67 cells, math 12/61, sci 21/36.
Overview
The purpose, declared position and evidence coverage of this domain. Source presence and completed acceptance are different measures.
Where we are. Measured 2026-08-19. Sovereign fabrication and digital twins are strong: a deterministic no-float CAD kernel that exceeds B-rep on robustness, a silicon twin validated against QEMU by difftest and fuzz, slicing, G-code validation, Gerber and CAM, a print sim and a board twin. Not yet validated on metal: the print and PCB twins need external-oracle validation, and robotics physics, FEA, a CAD GUI and general symbolic solve are honest gaps.
Where we need to go. Validate before hardware: prove each twin predicts a REAL failure the SOTA tool misses (print against a real part, board against ngspice), then physics depth, then authoring -- every twin earning its exceed by an external oracle, never by assertion.
Latest recorded release
No valid dated release entry is recorded for this domain.
Release entries describe recorded changes; they do not establish that every capability passed evaluation.
20 of 28 capability source symbols found|2 of them authored stronger-claims|8 open|coverage 714/1000|adoption 9 full / 11 partial
Evidence profile — what the gaps on this board actually are
Measured by nx_swcompare_evidence, read back by nx_evprofile_lib. Every figure is a count with its denominator — there is deliberately no score, no grade and no percentage anywhere in this band, because a stored scalar is a field a seat can edit and a counted partition is not.
evidence|grounded 20/20|unsupported 0|gates green 1/1|proven able to fail 1/1|never bitten 0|green at 0/0 0|open gaps 8|of them unnamed 0|of them proof withheld 0|flips ready 0
proven able to fail counts the gates that have a RECORDED RED — nx_gate_bite mutated the gate subject, rebuilt it, watched the gate go red, and that record is inside the shared TTL. never bitten is its complement over the same denominator: those gates ran and were green, and nothing has ever shown them able to detect anything, so their green is a statement about this run and not about the gate. green at 0/0 is a separate and much weaker observation — the gate printed GREEN on a zero denominator, so its own tooth counter says it examined nothing. A gate can be green, non-zero, and still never bitten; that is the common case and it is now visible instead of implied.
partition: grounded + unsupported = 20 vs present 20 · named + unnamed + withheld = 8 vs open 8 · both reconcile
liar-kill conj=GPQN · all four conjuncts held
graded document: BUILDROOT tree, 7321 bytes · gates map: PRIMARY · stamped 3d 1h ago · source ../knowledge/status/evstamp_stem.verdict
| Gap class | What it is, and the work it names |
|---|---|
| NONE | No gap class fires on this board: every published claim is grounded, the declared gates ran and were green, no watch contract is unnamed or already landed, and the stamp is inside its TTL. That is a statement about evidence, not about depth, scale or polish. |
nx_swcompare_evidence stem itself and are not carried on the stamp, so this page names the classes and the producer names the rows. That split is stated rather than hidden: a count without a worklist is not actionable, and this band is honest about which half of that it is.Production map
Follow the dependencies, declared acceptance criteria and recorded priorities. Inspect source binding before treating a rank as executable work.
Ranking source binding: STALE_OR_INVALID_BINDING. Recorded priorities require current acceptance evidence and resource checks before execution.
Recorded ranking withheld
Retained ranking is not bound to the current plan and matrix: STALE_OR_INVALID_BINDING. Historical data remains retained. Refresh the ranking after resolving the input differences. Latest execution outcome is unverified.
Declared roadmap — contract, acceptance, executor, effort
| Rung | Closes with | Definition of done (pre-declared) | Executor | Est. |
|---|---|---|---|---|
| Print twin validated against a real print (R0) | psv_compare | The twin's predicted sag, buckling and ringing compared against a real printed part's measured outcome on a banked case set; the twin must predict at least one REAL failure the slicer preview misses to earn the exceed label (CAXTON-class) | Hardware lane | 2 u |
| SPICE oracle for the board twin (R1) | nx_pcb_twin_spice_oracle | Differential test of the board twin against ngspice on banked netlists the way the silicon twin difftests against QEMU; node voltages within a PRE-DECLARED tolerance or the twin is RED | Organ | 1.5 u |
| Finite-element solver (R2) | fea_solve | A sovereign FEA solver over the existing stress and fluid primitives: tetra mesh, linear elastic, thermal; validated on textbook cases against closed-form answers and on one Ansys-published benchmark | Organ | 3 u |
| Robotics physics twin (R3) | rpt_step | Rigid-body and contact stepping with the never-brick clamps of the kinematics lane; a dropped-box and a gripper-contact case match MuJoCo-published trajectories within tolerance | Organ | 3 u |
| CAD GUI and constraint solver (R4) | cg_sketch_solve | Sketch constraints solved live with sliders regenerating the deterministic kernel; the no-float exceed survives: the same sketch regenerates byte-identical | Organ | 3 u |
| General symbolic solve (R5) | nx_calc_solve_general | Polynomial and transcendental solving with exact rationals where possible; a banked problem set with Wolfram answers as the oracle, pass count printed | Organ | 2 u |
| Pick-and-place placement (R6) | nx_pcb_place | Component placement with courtyard collision checks and centroid CSV for assembly; the existing DRC reads the result | Organ | 1.5 u |
Milestones
| Milestone | Rungs | Cumulative |
|---|---|---|
| M0 · Validate before hardware | R0,R1 | 3.5 u |
| M1 · Physics depth | R2,R3 | 9.5 u |
| M2 · Authoring | R4,R5 | 14.5 u |
| M3 · Fab completeness | R6 | 16 u |
| Rung | Closes with | Definition of done (pre-declared) | Executor | Est. |
|---|---|---|---|---|
| Vehicle assembly exploded view for illustration (R7) | ct_assembly_explode | INTAKE 1790106111 (operator 2026-09-22, a car exploded-view artwork line for apparel): a car assembly (parts with mates from the deterministic CAD kernel or a STEP import) explodes into an illustration layout -- per-part explosion vectors along mate axes with ordered offsets, no part overlap in the chosen view, a callout order emitted as DATA; COMPOSES procgen PG30 ex3_pose (nx_explode3d, the exploded-view engine the estate already ships, driven by a real STEP assembly) and adds only the view-planned layout, never a second explode engine; done-rule: a banked 20-part car assembly explodes deterministically byte-identical twice, parts non-overlapping in projection, and the gate proves a mated pair separates along its mate axis. The matrix row Twin-CAD already carries this watch contract | Organ | 2 u |
Milestones
| Milestone | Rungs | Cumulative |
|---|---|---|
| M4 · Illustration explode | R7 | 18 u |
| Class | Count | Note |
|---|---|---|
| bars | 0 | sotabar rows on the plan |
| fresh | 0 | the bar month is the current month |
| attested | 0 | an older bar with a this-month barscan reporting no newer entry |
| stale | 0 | a this-month scan saw a newer month the bar ignores |
| unattested | 0 | nobody looked this month |
| malformed | 0 | a sotabar row missing a field |
| duplicate | 0 | bar ids an earlier row already carries |
| bars, summed | 0 | RECONCILED: the parts sum to the total 0 |
| current month | 2026-10 | the month every bar is judged against |
Inspect a rung and its prerequisites
Declared nodes 8. Rank input binding: STALE_OR_INVALID_BINDING. Dependency order is authored. Implementation, acceptance evidence, authority and resource readiness are unverified. No action is recommended or dispatched here.
Plan SHA-256 9ae58861b84d5c26560e0ba91028cc0a7ad78dd0b4b493fcc6a70558b73e812f. Target rows 0; role rows 0. Existing risks and release worklog retain their own scope; no node completion is inferred.
Runtime observation coverage: 0 of 8 rungs have current, identity-bound execution observations. Observation may report RED. Accepted completion remains unknown; source presence, qualification and deployment do not establish it.
Use Enter or Space on a rung to inspect its contract. Prerequisite links locate another rung in this list; open its summary to inspect it. Estimates are authored effort, not forecasts.
R0 — Print twin validated against a real print
Prerequisites: None declared; this does not establish execution eligibility.
Contract:
psv_compareAcceptance: The twin's predicted sag, buckling and ringing compared against a real printed part's measured outcome on a banked case set; the twin must predict at least one REAL failure the slicer preview misses to earn the exceed label (CAXTON-class)
Authored effort: 2. Executor kind: Hardware lane. Responsible, accountable and verifier not established. Inspect retained worklog.
Runtime observation: UNKNOWN; outcome UNKNOWN; observed epoch -1. Declared owner: . Receipt
, SHA-256. Identity-bound observation is not accepted completion. Qualification and deployment remain unverified by this projection.R1 — SPICE oracle for the board twin
Prerequisites: None declared; this does not establish execution eligibility.
Contract:
nx_pcb_twin_spice_oracleAcceptance: Differential test of the board twin against ngspice on banked netlists the way the silicon twin difftests against QEMU; node voltages within a PRE-DECLARED tolerance or the twin is RED
Authored effort: 1.5. Executor kind: Organ. Responsible, accountable and verifier not established. Inspect retained worklog.
Runtime observation: UNKNOWN; outcome UNKNOWN; observed epoch -1. Declared owner: . Receipt
, SHA-256. Identity-bound observation is not accepted completion. Qualification and deployment remain unverified by this projection.R2 — Finite-element solver
Prerequisites: None declared; this does not establish execution eligibility.
Contract:
fea_solveAcceptance: A sovereign FEA solver over the existing stress and fluid primitives: tetra mesh, linear elastic, thermal; validated on textbook cases against closed-form answers and on one Ansys-published benchmark
Authored effort: 3. Executor kind: Organ. Responsible, accountable and verifier not established. Inspect retained worklog.
Runtime observation: UNKNOWN; outcome UNKNOWN; observed epoch -1. Declared owner: . Receipt
, SHA-256. Identity-bound observation is not accepted completion. Qualification and deployment remain unverified by this projection.R3 — Robotics physics twin
Prerequisites: None declared; this does not establish execution eligibility.
Contract:
rpt_stepAcceptance: Rigid-body and contact stepping with the never-brick clamps of the kinematics lane; a dropped-box and a gripper-contact case match MuJoCo-published trajectories within tolerance
Authored effort: 3. Executor kind: Organ. Responsible, accountable and verifier not established. Inspect retained worklog.
Runtime observation: UNKNOWN; outcome UNKNOWN; observed epoch -1. Declared owner: . Receipt
, SHA-256. Identity-bound observation is not accepted completion. Qualification and deployment remain unverified by this projection.R4 — CAD GUI and constraint solver
Prerequisites: None declared; this does not establish execution eligibility.
Contract:
cg_sketch_solveAcceptance: Sketch constraints solved live with sliders regenerating the deterministic kernel; the no-float exceed survives: the same sketch regenerates byte-identical
Authored effort: 3. Executor kind: Organ. Responsible, accountable and verifier not established. Inspect retained worklog.
Runtime observation: UNKNOWN; outcome UNKNOWN; observed epoch -1. Declared owner: . Receipt
, SHA-256. Identity-bound observation is not accepted completion. Qualification and deployment remain unverified by this projection.R5 — General symbolic solve
Prerequisites: None declared; this does not establish execution eligibility.
Contract:
nx_calc_solve_generalAcceptance: Polynomial and transcendental solving with exact rationals where possible; a banked problem set with Wolfram answers as the oracle, pass count printed
Authored effort: 2. Executor kind: Organ. Responsible, accountable and verifier not established. Inspect retained worklog.
Runtime observation: UNKNOWN; outcome UNKNOWN; observed epoch -1. Declared owner: . Receipt
, SHA-256. Identity-bound observation is not accepted completion. Qualification and deployment remain unverified by this projection.R6 — Pick-and-place placement
Prerequisites: None declared; this does not establish execution eligibility.
Contract:
nx_pcb_placeAcceptance: Component placement with courtyard collision checks and centroid CSV for assembly; the existing DRC reads the result
Authored effort: 1.5. Executor kind: Organ. Responsible, accountable and verifier not established. Inspect retained worklog.
Runtime observation: UNKNOWN; outcome UNKNOWN; observed epoch -1. Declared owner: . Receipt
, SHA-256. Identity-bound observation is not accepted completion. Qualification and deployment remain unverified by this projection.R7 — Vehicle assembly exploded view for illustration
Prerequisites: None declared; this does not establish execution eligibility.
Contract:
ct_assembly_explodeAcceptance: INTAKE 1790106111 (operator 2026-09-22, a car exploded-view artwork line for apparel): a car assembly (parts with mates from the deterministic CAD kernel or a STEP import) explodes into an illustration layout -- per-part explosion vectors along mate axes with ordered offsets, no part overlap in the chosen view, a callout order emitted as DATA; COMPOSES procgen PG30 ex3_pose (nx_explode3d, the exploded-view engine the estate already ships, driven by a real STEP assembly) and adds only the view-planned layout, never a second explode engine; done-rule: a banked 20-part car assembly explodes deterministically byte-identical twice, parts non-overlapping in projection, and the gate proves a mated pair separates along its mate axis. The matrix row Twin-CAD already carries this watch contract
Authored effort: 2. Executor kind: Organ. Responsible, accountable and verifier not established. Inspect retained worklog.
Runtime observation: UNKNOWN; outcome UNKNOWN; observed epoch -1. Declared owner: . Receipt
, SHA-256. Identity-bound observation is not accepted completion. Qualification and deployment remain unverified by this projection.
Learning and practice paths
No structured learning path is declared for this plan. Existing research, roadmap and worklog remain available above.
Rung dossiers — every record that bears on a rung, in one place
nx_swcompare_evidence stem writes it beside its stamp); every gate below reads UNRECORDED until it runs.knowledge/organ_gate.conf read from this working directory (1 rows) and from the estate root (196 rows); rows in both counted once: 0; declarations read: 197. Every declaration in either copy counts, so a stub beside the publisher can never hide the root.R0 Print twin validated against a real print · cell WATCHING · gate NO-GATE-DECLARED
| Contract | psv_compare · executor Hardware lane · 2 u · stands on nothing |
|---|---|
| Definition of done | The twin's predicted sag, buckling and ringing compared against a real printed part's measured outcome on a banked case set; the twin must predict at least one REAL failure the slicer preview misses to earn the exceed label (CAXTON-class) |
| Matrix cell | Twin-Print: validated vs real outcome CAXTON-class · runtime/nx_print_sim_validate.nx · WATCHING decl |
| Gate | NO-GATE-DECLARED — knowledge/organ_gate.conf carries no row for nx_print_sim_validate; declare nx_print_sim_validate TAB <gate> and the ship loop proves it and the verdict lands here. |
| Work log | no log row names this rung yet |
R1 SPICE oracle for the board twin · cell WATCHING · gate NO-GATE-DECLARED
| Contract | nx_pcb_twin_spice_oracle · executor Organ · 1.5 u · stands on nothing |
|---|---|
| Definition of done | Differential test of the board twin against ngspice on banked netlists the way the silicon twin difftests against QEMU; node voltages within a PRE-DECLARED tolerance or the twin is RED |
| Matrix cell | Twin-PCB: SPICE-oracle validation of the board twin · runtime/_hdl_build/nx_pcb_twin.nx · WATCHING decl |
| Gate | NO-GATE-DECLARED — knowledge/organ_gate.conf carries no row for nx_pcb_twin; declare nx_pcb_twin TAB <gate> and the ship loop proves it and the verdict lands here. |
| Work log | no log row names this rung yet |
R2 Finite-element solver · cell WATCHING · gate NO-GATE-DECLARED
| Contract | fea_solve · executor Organ · 3 u · stands on nothing |
|---|---|
| Definition of done | A sovereign FEA solver over the existing stress and fluid primitives: tetra mesh, linear elastic, thermal; validated on textbook cases against closed-form answers and on one Ansys-published benchmark |
| Matrix cell | Twin-Multiphysics: FEA solver warp and stress before build · runtime/nx_fea_solver.nx · WATCHING decl |
| Gate | NO-GATE-DECLARED — knowledge/organ_gate.conf carries no row for nx_fea_solver; declare nx_fea_solver TAB <gate> and the ship loop proves it and the verdict lands here. |
| Work log | no log row names this rung yet |
R3 Robotics physics twin · cell WATCHING · gate NO-GATE-DECLARED
| Contract | rpt_step · executor Organ · 3 u · stands on nothing |
|---|---|
| Definition of done | Rigid-body and contact stepping with the never-brick clamps of the kinematics lane; a dropped-box and a gripper-contact case match MuJoCo-published trajectories within tolerance |
| Matrix cell | Twin-Robotics: rigid-body and contact physics twin · runtime/nx_robot_phys_twin.nx · WATCHING decl |
| Gate | NO-GATE-DECLARED — knowledge/organ_gate.conf carries no row for nx_robot_phys_twin; declare nx_robot_phys_twin TAB <gate> and the ship loop proves it and the verdict lands here. |
| Work log | no log row names this rung yet |
R4 CAD GUI and constraint solver · cell WATCHING · gate NO-GATE-DECLARED
| Contract | cg_sketch_solve · executor Organ · 3 u · stands on nothing |
|---|---|
| Definition of done | Sketch constraints solved live with sliders regenerating the deterministic kernel; the no-float exceed survives: the same sketch regenerates byte-identical |
| Matrix cell | Fab-CAD: interactive GUI editor and constraint solver · runtime/nx_cad_gui.nx · WATCHING decl |
| Gate | NO-GATE-DECLARED — knowledge/organ_gate.conf carries no row for nx_cad_gui; declare nx_cad_gui TAB <gate> and the ship loop proves it and the verdict lands here. |
| Work log | no log row names this rung yet |
R5 General symbolic solve · cell WATCHING · gate NO-GATE-DECLARED
| Contract | nx_calc_solve_general · executor Organ · 2 u · stands on nothing |
|---|---|
| Definition of done | Polynomial and transcendental solving with exact rationals where possible; a banked problem set with Wolfram answers as the oracle, pass count printed |
| Matrix cell | Math: general symbolic solve · runtime/nx_calc_solve.nx · WATCHING decl |
| Gate | NO-GATE-DECLARED — knowledge/organ_gate.conf carries no row for nx_calc_solve; declare nx_calc_solve TAB <gate> and the ship loop proves it and the verdict lands here. |
| Work log | no log row names this rung yet |
R6 Pick-and-place placement · cell WATCHING · gate NO-GATE-DECLARED
| Contract | nx_pcb_place · executor Organ · 1.5 u · stands on nothing |
|---|---|
| Definition of done | Component placement with courtyard collision checks and centroid CSV for assembly; the existing DRC reads the result |
| Matrix cell | Fab-PCB: pick-and-place placement · runtime/nx_pcb_gerber.nx · WATCHING decl |
| Gate | NO-GATE-DECLARED — knowledge/organ_gate.conf carries no row for nx_pcb_gerber; declare nx_pcb_gerber TAB <gate> and the ship loop proves it and the verdict lands here. |
| Work log | no log row names this rung yet |
R7 Vehicle assembly exploded view for illustration · cell WATCHING · gate NO-GATE-DECLARED
| Contract | ct_assembly_explode · executor Organ · 2 u · stands on nothing |
|---|---|
| Definition of done | INTAKE 1790106111 (operator 2026-09-22, a car exploded-view artwork line for apparel): a car assembly (parts with mates from the deterministic CAD kernel or a STEP import) explodes into an illustration layout -- per-part explosion vectors along mate axes with ordered offsets, no part overlap in the chosen view, a callout order emitted as DATA; COMPOSES procgen PG30 ex3_pose (nx_explode3d, the exploded-view engine the estate already ships, driven by a real STEP assembly) and adds only the view-planned layout, never a second explode engine; done-rule: a banked 20-part car assembly explodes deterministically byte-identical twice, parts non-overlapping in projection, and the gate proves a mated pair separates along its mate axis. The matrix row Twin-CAD already carries this watch contract |
| Matrix cell | Twin-CAD: assembly twin explode and part-fit · runtime/nx_cadtwin_explode_lib.nx · WATCHING decl |
| Gate | NO-GATE-DECLARED — knowledge/organ_gate.conf carries no row for nx_cadtwin_explode_lib; declare nx_cadtwin_explode_lib TAB <gate> and the ship loop proves it and the verdict lands here. |
| Work log | 2026-09-22 queue 2026-09-22 declared from intake 1790106111 by the PM tier after nx_intake_route propose (conf minlen 5, minscore 3, 16 words) routed the request to this board's watch gap ct_assembly_explode at score 3 -- the ONLY board of 117 read that carried three of the request's words; the request is the operator's car exploded-view apparel artwork line; procgen PG30 ex3_pose is the engine to compose, never duplicate 2026-09-22 queue INTAKE 1790106111 routed by nx_intake_route (operator, epoch 1790108121) from operator: EXPLODED-VIEW CAR ART FOR APPAREL: a series of well-artisted exploded-view illustrations of favourite cars of all time, print-ready for the back of a t-shirt or sweater (operator 2026-09-22, verbatim: -- sponsor intake-1790106111 plus2 |
dossiers=8 cells_joined=8 no_matrix_row=0 (sum 8) gates_recorded=0 gates_unrecorded=0 no_gate_declared=8 (sum 8 of cells_joined) evgates=UNSTAMPED
Capability comparisons
Compare the field, search individual capabilities and open their source and adoption evidence. Documented presence does not establish comparative quality.
Position map — centrality and distinctiveness
The four-quadrant map the field uses for brand strategy (Dawar and Bagga, HBR June 2015), re-derived from this matrix on every publish. Centrality is the share of the category's feature mass a player covers, each feature weighted by how many hold it; distinctiveness is the average lead over each rival on the rows the player holds; breadth is the depth-weighted share of the whole matrix (the bubble); depth is how deeply the rows held are held; momentum is the day-over-day move off the spine (green rising, red falling, grey until day two); the dashed path runs first day → previous day → today. Dividers are the category means. Axes are fitted to the field of play, so read the tick numerals, not the frame. Rival marks are documented presence, so a rival's position reads the record, never its quality. The picture grades its own readability below; the table beside it is the same data for a screen reader or a second method.
knowledge/compare/stem.cdmap (cut|x|y, cube|x|y|z); absent = the HBR defaultsbubble area = breadth · ring = momentum (green rising, red falling, grey until day two) · dashed = category means · axes fitted to the field of play: centrality 0–1000, distinctiveness 300–800 of 0–1000 permil (the full range put every player in one corner)
readability of the 2D cut, self-graded by the layout ruler: label overlaps 0 · labels over marks 0 · off-canvas 0 · unresolved labels 0 · mark overlaps 0 (a fact of the data: two players that close are that close) · data spread 626 permil of the plot · quadrant words unseated 0
text contrast, measured with wcag2-ratio (floors from contrast.conf), light theme: labels 16.24 (floor 4.50) · notes 16.24 (floor 4.50) · quadrant words 5.89 (floor 4.50) · tick numerals 5.89 (floor 4.50) · axis titles 5.59 (floor 4.50) · dark theme: labels 13.78 (floor 4.50) · quadrant words 5.55 (floor 4.50) · axis titles 5.97 (floor 4.50) · dark classes under their floor 0 (one figure serves both themes: a dark shortfall is a token to fix, never a class to hide) · classes refused under their floor 0 (a refused class is not drawn; the scale classes are measured, never hidden) · export: SVG PNG (receipt, rendered by the estate's own rasteriser from this page)
readability of the 3D cube, self-graded by the layout ruler: label overlaps 0 · labels over marks 0 · off-canvas 0 · unresolved labels 0 · mark overlaps 0 (a fact of the data: two players that close are that close) · data spread 369 permil of the plot
10 panels over 5 registered axes, every pair once (the lower axis on x, the higher on y) · each panel fitted to its own field of play, first and last tick numerals shown · no labels in a small cut, the legend names the colours; the grade below reports the mark terms only (MM summed over the panels, spread averaged)
readability of the small multiples, self-graded by the layout ruler: label overlaps 0 · labels over marks 0 · off-canvas 0 · unresolved labels 0 · mark overlaps 5 (a fact of the data: two players that close are that close) · data spread 493 permil of the plot
| Player | Quadrant | centrality | distinctiveness | breadth | depth | momentum | Rows held | Days on spine | First seen |
|---|---|---|---|---|---|---|---|---|---|
| Nishi | Mainstream | 826 | 550 | 500 | 700 | 0 since 2026-09-23 | 20 | 10 | 2026-09-15 |
| Wolfram Language | Unconventional | 347 | 729 | 250 | 875 | 0 since 2026-09-23 | 8 | 10 | 2026-09-15 |
| Fusion 360 | Peripheral | 347 | 428 | 154 | 619 | 0 since 2026-09-23 | 7 | 10 | 2026-09-15 |
| KiCad | Peripheral | 304 | 535 | 178 | 714 | 0 since 2026-09-23 | 7 | 10 | 2026-09-15 |
| Verilator + QEMU | Unconventional | 173 | 729 | 130 | 916 | 0 since 2026-09-23 | 4 | 10 | 2026-09-15 |
| Day | Matrix rows reviewed | Players recorded |
|---|---|---|
| 2026-09-15 | 28 | 5 |
| 2026-09-16 | 28 | 5 |
| 2026-09-17 | 28 | 5 |
| 2026-09-18 | 28 | 5 |
| 2026-09-19 | 28 | 5 |
| 2026-09-20 | 28 | 5 |
| 2026-09-21 | 28 | 5 |
| 2026-09-22 | 28 | 5 |
| 2026-09-23 | 28 | 5 |
| 2026-10-08 | 28 | 5 |
players 5|matrix rows 28|feature mass 46|centrality mean 399|distinctiveness mean 594|axes 5|spine days 10 (shown 10)|rows written today 0|readability defects 2D 0 cube 0|spine knowledge/status/cdmap/stem.spine
Capability matrix — measured against source
◉ authored stronger claim; source present● present◐ partial○ absent? unassessed; excluded from relative comparison · click any capability for its evidence
Peer cell coverage: authored assessed 112, unassessed 0. Authored assessments are not verified outcomes.
No capabilities match this filter or search.
| Capability | Nishi | Wolfram Language | Fusion 360 | KiCad | Verilator + QEMU |
|---|---|---|---|---|---|
| Math | |||||
symbolic calculus and integrationMeasured:nx_calc_integrate exists in runtime/nx_calc_integrate.nx, verified at emit. Wolfram and SymPy lead CAS depth; Nishi has sovereign integer-exact symbolic integration but DLMF breadth is only about 30 percent [wolfram-docs] Adoption: LIB-GATE-ONLY importers=1 — PARTIAL: imported only by validation organs (gates, tests, benches): wire it into a shipping program.Pros Implementing source symbol found; runtime acceptance separate; ahead of Fusion 360, KiCad, Verilator + QEMUCons behind Wolfram Language (leads); not adopted yet: imported only by validation organs (gates, tests, benches): wire it into a shipping program | ● | ◉ | ○ | ○ | ○ |
equation solvingMeasured:nx_calc_solve_quadratic exists in runtime/nx_calc_solve.nx, verified at emit. Wolfram Solve is Best; Nishi quadratic and linear present, general symbolic solve is the named gap rival marks uncited — the Yes, Best or Part codes on this row are an observation read with no reference mark behind them Adoption: LIB-GATE-ONLY importers=1 — PARTIAL: imported only by validation organs (gates, tests, benches): wire it into a shipping program.Pros Implementing source symbol found; runtime acceptance separate; ahead of Fusion 360, KiCad, Verilator + QEMUCons behind Wolfram Language (leads); not adopted yet: imported only by validation organs (gates, tests, benches): wire it into a shipping program | ● | ◉ | ○ | ○ | ○ |
automatic differentiationMeasured:ta_leaf exists in runtime/nx_autograd_tensor.nx, verified at emit. vs Wolfram and JAX; Nishi reverse-mode autodiff is bit-exact no-float, first LM beat the analytic midpoint rival marks uncited — the Yes, Best or Part codes on this row are an observation read with no reference mark behind them Adoption: SOURCE-ONLY — PARTIAL: source exists, never compiled: /api/build it.Pros Implementing source symbol found; runtime acceptance separate; ahead of Fusion 360, KiCad, Verilator + QEMUCons not adopted yet: source exists, never compiled: /api/build it | ● | ● | ○ | ○ | ○ |
number theoryMeasured:nx_check_prop exists in runtime/nx_triangulation_number_theory.nx, verified at emit. Wolfram Best; Nishi primes, gcd and modular arithmetic present rival marks uncited — the Yes, Best or Part codes on this row are an observation read with no reference mark behind them Adoption: SOURCE-ONLY — PARTIAL: source exists, never compiled: /api/build it.Pros Implementing source symbol found; runtime acceptance separate; ahead of Fusion 360, KiCad, Verilator + QEMUCons behind Wolfram Language (leads); not adopted yet: source exists, never compiled: /api/build it | ● | ◉ | ○ | ○ | ○ |
| Chem | |||||
periodic, molecule graph, SMILES, isotopesMeasured:nx_chem_periodic exists in runtime/nx_chem_periodic.nx, verified at emit. vs Wolfram and RDKit; Z1-118, SMILES, Morgan canonicalization, isotopes NIST and CIAAW verified [nist-ciaaw-atomic-weights]; thermo and kinetics absent Adoption: LIB-WIRED importers=20 nonval=6 — fully adopted (top of its ladder).Pros Implementing source symbol found; runtime acceptance separate; ahead of Fusion 360, KiCad, Verilator + QEMU; fully adopted on the estate ladderCons none on the measured axes (rival marks are documented presence, not depth) | ● | ● | ○ | ○ | ○ |
| Bio | |||||
sequence alignment Gotoh and FASTQ to VCFMeasured:nx_align_affine exists in runtime/nx_align_affine.nx, verified at emit. vs BWA and GATK; Smith-Waterman, Gotoh affine [gotoh1982] and variant pipeline present; phylogenetics and protein structure absent Adoption: LIB-WIRED importers=2 nonval=1 — fully adopted (top of its ladder).Pros Implementing source symbol found; runtime acceptance separate; ahead of Wolfram Language, Fusion 360, KiCad, Verilator + QEMU; fully adopted on the estate ladderCons none on the measured axes (rival marks are documented presence, not depth) | ● | ○ | ○ | ○ | ○ |
| Physics | |||||
statics, stress and fluid primitivesMeasured:nx_stress exists in runtime/nx_stress.nx, verified at emit. vs Wolfram and Ansys; force, stress and fluid primitives present but a unified mechanics, thermal, EM and ODE engine is absent rival marks uncited — the Yes, Best or Part codes on this row are an observation read with no reference mark behind them Adoption: LIB-GATE-ONLY importers=1 — PARTIAL: imported only by validation organs (gates, tests, benches): wire it into a shipping program.Pros Implementing source symbol found; runtime acceptance separate; ahead of Fusion 360, KiCad, Verilator + QEMUCons not adopted yet: imported only by validation organs (gates, tests, benches): wire it into a shipping program | ● | ● | ◐ | ○ | ○ |
| Fab-CAD | |||||
kernel deterministic no-float CSG and filletsSource present; authored stronger claim:nx_cad_exceed in runtime/nx_cad_exceed.nx, verified at emit. EXCEED measured: byte-identical determinism plus robust SDF CSG and fillets where Fusion and FreeCAD B-rep abort on edge cases rival marks uncited — the Yes, Best or Part codes on this row are an observation read with no reference mark behind them Adoption: LIB-WIRED importers=2 nonval=1 — fully adopted (top of its ladder).Pros Source symbol found; stronger capability claim is authored; ahead of Wolfram Language, KiCad, Verilator + QEMU; fully adopted on the estate ladderCons none on the measured axes (rival marks are documented presence, not depth) | ◉ | ○ | ◉ | ● | ○ |
STL and mesh exportMeasured:nx_stl_write exists in runtime/nx_stl_write.nx, verified at emit. vs Fusion and FreeCAD exporters; units-exact binary STL writer, gate 12 of 12 rival marks uncited — the Yes, Best or Part codes on this row are an observation read with no reference mark behind them Adoption: LIB-WIRED importers=26 nonval=4 — fully adopted (top of its ladder).Pros Implementing source symbol found; runtime acceptance separate; ahead of Wolfram Language, Verilator + QEMU; fully adopted on the estate ladderCons none on the measured axes (rival marks are documented presence, not depth) | ● | ○ | ● | ● | ○ |
interactive GUI editor and constraint solverOpen — watchingruntime/nx_cad_gui.nx : cg_sketch_solve, re-measured on every compare beat. Ship that symbol and this mark flips itself; the comparewatch- plane row flips with it. the number one behind axis vs Fusion and FreeCAD and SolveSpace [fusion360-docs]; sliders-to-regen GUI and sketch constraints are absentPros none measured yetCons behind Fusion 360 (leads), KiCad (leads); open contract; expected source declaration not established | ○ | ○ | ◉ | ◉ | ○ |
| Fab-Print | |||||
slicer STL to G-code watertightMeasured:nx_slice_pipeline exists in runtime/nx_slice_pipeline.nx, verified at emit. true rival Cura, PrusaSlicer, OrcaSlicer; Nishi watertight adaptive load-aware slicing present, composes 3 caps no single slicer emits together Adoption: LIB-WIRED importers=25 nonval=5 — fully adopted (top of its ladder).Pros Implementing source symbol found; runtime acceptance separate; ahead of Wolfram Language, Fusion 360, KiCad, Verilator + QEMU; fully adopted on the estate ladderCons none on the measured axes (rival marks are documented presence, not depth) | ● | ○ | ○ | ○ | ○ |
G-code and Klipper validationMeasured:nx_klipper_gcode_validator exists in runtime/nx_klipper_gcode_validator.nx, verified at emit. true rival Klipper and Moonraker; Nishi validates the whole job before it is ever sent to the machine Adoption: LIB-GATE-ONLY importers=3 — PARTIAL: imported only by validation organs (gates, tests, benches): wire it into a shipping program.Pros Implementing source symbol found; runtime acceptance separate; ahead of Wolfram Language, Fusion 360, KiCad, Verilator + QEMUCons not adopted yet: imported only by validation organs (gates, tests, benches): wire it into a shipping program | ● | ○ | ○ | ○ | ○ |
printer transport Moonraker HTTPMeasured:nx_mr_build_post_request exists in runtime/nx_moonraker_client.nx, verified at emit. true rival Moonraker and OctoPrint; sovereign Klipper API client, ready-check and end-to-end loop proven green Adoption: LIB-WIRED importers=12 nonval=5 — fully adopted (top of its ladder).Pros Implementing source symbol found; runtime acceptance separate; ahead of Wolfram Language, Fusion 360, KiCad, Verilator + QEMU; fully adopted on the estate ladderCons none on the measured axes (rival marks are documented presence, not depth) | ● | ○ | ○ | ○ | ○ |
| Fab-PCB | |||||
Gerber, Excellon, DRC, autoroute, CAMMeasured:nx_pcb_gerber exists in runtime/nx_pcb_gerber.nx, verified at emit. vs KiCad [kicad-docs]; full manufacturable package plus in-house isolation-mill CAM present, pick-and-place placement absent Adoption: LIB-WIRED importers=3 nonval=2 — fully adopted (top of its ladder).Pros Implementing source symbol found; runtime acceptance separate; ahead of Wolfram Language, Fusion 360, Verilator + QEMU; fully adopted on the estate ladderCons none on the measured axes (rival marks are documented presence, not depth) | ● | ○ | ○ | ● | ○ |
| Fab-Silicon | |||||
sovereign synthesis to nxgate netlistMeasured:nx_nxgate_sim exists in runtime/nx_nxgate_sim.nx, verified at emit. true rival Yosys; sovereign divider-backed gate synthesis emit, whole RV64IM decoder emittable rival marks uncited — the Yes, Best or Part codes on this row are an observation read with no reference mark behind them Adoption: LIB-WIRED importers=9 nonval=5 — fully adopted (top of its ladder).Pros Implementing source symbol found; runtime acceptance separate; ahead of Wolfram Language, Fusion 360, KiCad; fully adopted on the estate ladderCons none on the measured axes (rival marks are documented presence, not depth) | ● | ○ | ○ | ○ | ● |
| Fab-Robotics | |||||
kinematics, control, signal, timingMeasured:nx_robot_kinematics exists in runtime/nx_robot_kinematics.nx, verified at emit. true rival ROS, Klipper and GRBL; 7 rungs sim-proven with never-brick clamps, physical bench is the gap Adoption: LIB-GATE-ONLY importers=1 — PARTIAL: imported only by validation organs (gates, tests, benches): wire it into a shipping program.Pros Implementing source symbol found; runtime acceptance separate; ahead of Wolfram Language, Fusion 360, KiCad, Verilator + QEMUCons not adopted yet: imported only by validation organs (gates, tests, benches): wire it into a shipping program | ● | ○ | ○ | ○ | ○ |
| Twin-Print | |||||
3D-print sim thermal flow mech adhesionMeasured:nx_print_sim exists in runtime/nx_print_sim.nx, verified at emit. true rival Simufact Additive and Cura preview; predicts sag, buckling, collision and ringing; NOT yet validated against a real print rival marks uncited — the Yes, Best or Part codes on this row are an observation read with no reference mark behind them Adoption: LIB-GATE-ONLY importers=2 — PARTIAL: imported only by validation organs (gates, tests, benches): wire it into a shipping program.Pros Implementing source symbol found; runtime acceptance separate; ahead of Wolfram Language, Fusion 360, KiCad, Verilator + QEMUCons not adopted yet: imported only by validation organs (gates, tests, benches): wire it into a shipping program | ● | ○ | ◐ | ○ | ○ |
validated vs real outcome CAXTON-classOpen — watchingruntime/nx_print_sim_validate.nx : psv_compare, re-measured on every compare beat. Ship that symbol and this mark flips itself; the comparewatch- plane row flips with it. the honest gap: the twin must predict a REAL failure the SOTA tool misses to earn the exceed label [brion2022-caxton]Pros none measured yetCons open contract; expected source declaration not established | ○ | ○ | ○ | ○ | ○ |
| Twin-Silicon | |||||
RV64 SoC sim mmu uart virtio kernel-bootMeasured:nx_rv64_sim exists in runtime/nx_rv64_sim.nx, verified at emit. Verilator and QEMU are Best; Nishi RV64 SoC sim boots a real kernel with peripherals [riscv-isa-spec] Adoption: SOURCE-ONLY — PARTIAL: source exists, never compiled: /api/build it.Pros Implementing source symbol found; runtime acceptance separate; ahead of Wolfram Language, Fusion 360, KiCadCons behind Verilator + QEMU (leads); not adopted yet: source exists, never compiled: /api/build it | ● | ○ | ○ | ○ | ◉ |
validated vs QEMU oracle difftest and fuzzSource present; authored stronger claim:nx_rv64_qemu_oracle in runtime/_hdl_build/nx_rv64_qemu_oracle.nx, verified at emit. EXCEED method: differential test against the QEMU golden model [qemu-docs] plus fuzzing is the SOTA validation method; this leg can test the core BEFORE the ULX3S is bought Adoption: BUILT-UNPROMOTED — PARTIAL: compiled, never promoted to the serving root: /api/promote it.Pros Source symbol found; stronger capability claim is authored; ahead of Wolfram Language, Fusion 360, KiCadCons not adopted yet: compiled, never promoted to the serving root: /api/promote it | ◉ | ○ | ○ | ○ | ◉ |
gate-level nxgate netlist simulatorMeasured:nx_nxgate_sim exists in runtime/nx_nxgate_sim.nx, verified at emit. Verilator gate sim is Best [verilator]; Nishi has a sovereign netlist simulator, functional equivalence proven Adoption: LIB-WIRED importers=9 nonval=5 — fully adopted (top of its ladder).Pros Implementing source symbol found; runtime acceptance separate; ahead of Wolfram Language, Fusion 360, KiCad; fully adopted on the estate ladderCons behind Verilator + QEMU (leads) | ● | ○ | ○ | ○ | ◉ |
| Twin-PCB | |||||
board digital twin electricalMeasured:nx_pcb_twin exists in runtime/_hdl_build/nx_pcb_twin.nx, verified at emit. true rival ngspice and KiCad SPICE; board twin present, SPICE-oracle validation is the next rung rival marks uncited — the Yes, Best or Part codes on this row are an observation read with no reference mark behind them Adoption: LIB-GATE-ONLY importers=1 — PARTIAL: imported only by validation organs (gates, tests, benches): wire it into a shipping program.Pros Implementing source symbol found; runtime acceptance separate; ahead of Wolfram Language, Fusion 360, Verilator + QEMUCons not adopted yet: imported only by validation organs (gates, tests, benches): wire it into a shipping program | ● | ○ | ○ | ● | ○ |
| Twin-CAD | |||||
assembly twin explode and part-fitOpen — watchingruntime/nx_cadtwin_explode_lib.nx : ct_assembly_explode, re-measured on every compare beat. Ship that symbol and this mark flips itself; the comparewatch- plane row flips with it. vs Fusion assembly; sovereign explode and part-fit twin, benchmarked on a car model rival marks uncited — the Yes, Best or Part codes on this row are an observation read with no reference mark behind themPros none measured yetCons behind Fusion 360; open contract; expected source declaration not established | ○ | ○ | ● | ○ | ○ |
| Twin-Robotics | |||||
rigid-body and contact physics twinOpen — watchingruntime/nx_robot_phys_twin.nx : rpt_step, re-measured on every compare beat. Ship that symbol and this mark flips itself; the comparewatch- plane row flips with it. the gap vs Gazebo, MuJoCo and Isaac Sim; needed to test real motion and contact before committing hardwarePros none measured yetCons open contract; expected source declaration not established | ○ | ○ | ○ | ○ | ○ |
Twin-Multiphysics: FEA solver warp and stress before buildOpen — watchingruntime/nx_fea_solver.nx : fea_solve, re-measured on every compare beat. Ship that symbol and this mark flips itself; the comparewatch- plane row flips with it. Ansys is Best; Nishi has stress and fluid primitives but no full finite-element solver yet rival marks uncited — the Yes, Best or Part codes on this row are an observation read with no reference mark behind themPros none measured yetCons behind Wolfram Language (leads), Fusion 360; open contract; expected source declaration not established | ○ | ◉ | ◐ | ○ | ○ |
| Math | |||||
general symbolic solveDARK —runtime/nx_calc_solve.nx EXISTS but does not declare nx_calc_solve_general: something shipped at this path under another name, and this mark would read open forever. Repoint the contract to the real entry point (the plan rung AND this row) or rename the function; the flip follows on the next beat, and the comparewatch- plane row reads DARK until then. The named gap of the equation-solving row: polynomial and transcendental solve beyond quadratic and linear rival marks uncited — the Yes, Best or Part codes on this row are an observation read with no reference mark behind themPros none measured yetCons behind Wolfram Language (leads); open contract; expected source declaration not established | ○ | ◉ | ○ | ○ | ○ |
| Twin-PCB | |||||
SPICE-oracle validation of the board twinDARK —runtime/_hdl_build/nx_pcb_twin.nx EXISTS but does not declare nx_pcb_twin_spice_oracle: something shipped at this path under another name, and this mark would read open forever. Repoint the contract to the real entry point (the plan rung AND this row) or rename the function; the flip follows on the next beat, and the comparewatch- plane row reads DARK until then. The next rung named on the board-twin row: differential test against ngspice the way the silicon twin tests against QEMU rival marks uncited — the Yes, Best or Part codes on this row are an observation read with no reference mark behind themPros none measured yetCons behind KiCad; open contract; expected source declaration not established | ○ | ○ | ○ | ● | ○ |
| Fab-PCB | |||||
pick-and-place placementDARK —runtime/nx_pcb_gerber.nx EXISTS but does not declare nx_pcb_place: something shipped at this path under another name, and this mark would read open forever. Repoint the contract to the real entry point (the plan rung AND this row) or rename the function; the flip follows on the next beat, and the comparewatch- plane row reads DARK until then. Named absent on the Gerber row: component placement and centroid export for assembly rival marks uncited — the Yes, Best or Part codes on this row are an observation read with no reference mark behind themPros none measured yetCons behind KiCad; open contract; expected source declaration not established | ○ | ○ | ○ | ● | ○ |
| Class | Count | Note |
|---|---|---|
| rows with rival marks | 21 | rows carrying a Yes, Best or Part in a rival column |
| cited | 7 | a reference mark resolves to a pinned mirror |
| uncited | 14 | an observation read, badged until a reference lands |
| rows, summed | 21 | RECONCILED: the parts sum to the total 21 |
Delivery and evidence
Inspect risks, technical debt, rendered observations, experiments and references. Read scope and limitations alongside every result.
Release history and work log
| When | Rung | Kind | Entry |
|---|---|---|---|
| 2026-09-22 | R7 | queue | 2026-09-22 declared from intake 1790106111 by the PM tier after nx_intake_route propose (conf minlen 5, minscore 3, 16 words) routed the request to this board's watch gap ct_assembly_explode at score 3 -- the ONLY board of 117 read that carried three of the request's words; the request is the operator's car exploded-view apparel artwork line; procgen PG30 ex3_pose is the engine to compose, never duplicate |
| 2026-09-22 | R7 | queue | INTAKE 1790106111 routed by nx_intake_route (operator, epoch 1790108121) from operator: EXPLODED-VIEW CAR ART FOR APPAREL: a series of well-artisted exploded-view illustrations of favourite cars of all time, print-ready for the back of a t-shirt or sweater (operator 2026-09-22, verbatim: -- sponsor intake-1790106111 plus2 |
Person · product · place — not yet measured for this domain
knowledge/compare/stem.ppp (rows surface|nishi or c1..c4|label|url|connect naming OUR live surface and each rival's front door), run nx_ppp_probe domain stem, and this section fills itself on the next beat: the same ruler on both sides — privacy and CX (third-party hosts, tracker classes, cookies, security headers), design and longevity (design hygiene, computed WCAG contrast, render-blocking resources, unsized media, script weight, theme and motion queries), findability (landmarks, skip link, on-site search, breadcrumb, headings, internal links).The field — discovered, not chosen
Rows written by nx_field_discover from stem.seeds: the industry's own lists (Wikipedia wikitext, GitHub topics, awesome lists) read mechanically, every candidate counted across seeds. The matrix columns above are a SEAT'S pick; this band is the population they were picked from, and the stats line measures one against the other. A rival here is a lead, never a verdict — it earns a column when its capabilities are read and pinned.
| Class | Count | Note |
|---|---|---|
| seeds | 4 | |
| scanned | 3 | |
| fetched | 3 | |
| reused | 0 | |
| failed | 1 | |
| named | 4 | |
| candidates | 4 | |
| mentions | 4 | |
| capped | 0 |
| Rank | Rival | Seeds | Mentions | First seed | Kind | Link |
|---|---|---|---|---|---|---|
| 1 | Wolfram Language | 1 | 1 | col0-wolfram | named | https://reference.wolfram.com/language/ |
| 2 | Fusion 360 | 1 | 1 | col1-fusion | named | https://www.autodesk.com/products/fusion-360/overview |
| 3 | KiCad | 1 | 1 | col2-kicad | named | https://docs.kicad.org/ |
| 4 | Verilator + QEMU | 1 | 1 | col3-verilator | named | https://github.com/verilator/verilator |
field candidates 4|shown 4 of 4|matrix columns in the field 4 of 4|discovered rivals with no column 0|malformed rows 0 (counted, never rendered)|read-capped 0
Exclusive and shared capabilities
This board grades 27 capabilities: 23 exclusive to it and 4 shared with other boards. Shared rows on this page: 4 = home here 0 + home elsewhere 0 + ambiguous 0 + undecided 4 + refused 0 (partition 4); undecided = unmapped 0 + unproven 4 + unevidenced 0; homonyms 0; since the previous census: new 0, resolved 0. Census FRESH age_s=6118.
| Capability | Organ | Boards grading it | Home | Rule | Evidence | Standing on this board |
|---|---|---|---|---|---|---|
| nx_calc_integrate | nx_calc_integrate.nx | stem, lang, computational | — | none | unproven | undecided |
| nx_calc_solve_quadratic | nx_calc_solve.nx | stem, computational | — | none | unproven | undecided |
| ta_leaf | nx_autograd_tensor.nx | stem, computational | — | none | unproven | undecided |
| nx_check_prop | nx_triangulation_number_theory.nx | stem, computational | — | none | unproven | undecided |
Gaps from the record — what the estate does that no board carries
The record census (nx_goalmap record) reads the invoked-tool population and every plan queue row and files each organ or directive that NO matrix, plan or gates row names. A row here is a callout the boards missed: adjudicate it onto a board or declare it infrastructure. Census state STALE (age 1395223 s), sources read 4 of 7 declared — a BLIND census is a FLOOR: unread sources can only add rows.
| kind | name | board | source | evidence |
|---|
rows shown 0|this board's directives 0|estate-wide un-boarded organs 452 (listed in full on /compare/ecosystem)|census rows 639|malformed 0 (counted, never rendered)
References
- [wolfram-docs] Wolfram Research. Wolfram Language and System Documentation Center (reference.wolfram.com) -- Integrate, Solve, number theory and the full symbolic stack. Accessed August 2026. publisher · read in our library
knowledge/fetched/cmp_stem_wolfram-docs.html· pinh2ddd3b6d60f0f714fc5515a7ad4ecf4c29d567599952e9ac655e5a15c25b0eb7· accessed 2026-08-18 · vendor-docGrounds: The Wolfram Language column (c1) on the Math rows -- Math: symbolic calculus and integration, Math: equation solving, Math: number theory -- coded Best from Wolfram's own documented Integrate, Solve and number-theory coverage; the note's DLMF-breadth-about-30-percent is the honest distance our nx_calc_integrate has to close. - [fusion360-docs] Autodesk. Autodesk Fusion -- integrated cloud-based 3D CAD, CAM, CAE and PCB platform (product overview page). Accessed August 2026; the vendor page answers 403 to non-browser fetchers, so no mirror is claimed -- URL and title confirmed by an independent search-index read. publisher · accessed 2026-08-18 · vendor-docGrounds: The Fusion 360 column (c2): Fab-CAD: kernel deterministic no-float CSG and fillets (Fusion B-rep is the rival our SDF CSG exceed is measured against), Fab-CAD: interactive GUI editor and constraint solver (Fusion Best, the number-one behind axis) and Twin-Multiphysics: FEA solver warp and stress before build (Fusion simulation beside Ansys).
- [kicad-docs] KiCad EDA. KiCad Documentation (docs.kicad.org): schematic editor, PCB editor, Gerber and Excellon plotting, design-rule check and interactive router. Accessed August 2026. publisher · read in our library
knowledge/fetched/cmp_stem_kicad-docs.html· pinh7874bccd50f7524671d4582189cb26e0888c8e6ec8192e0f1ccfb2e7a063d8c2· accessed 2026-08-18 · vendor-docGrounds: The KiCad column (c3): Fab-PCB: Gerber, Excellon, DRC, autoroute, CAM (KiCad coded Yes, our manufacturable package is graded against its plot and DRC outputs) and Twin-PCB: board digital twin electrical (KiCad SPICE with ngspice is the named rival for the next SPICE-oracle rung). - [verilator] Snyder, W. et al. Verilator -- the open-source SystemVerilog simulator that compiles HDL to a cycle-accurate C++ or SystemC model; repository README plus the Verilator 5.x User's Guide (verilator.org/guide/latest). Accessed August 2026. publisher · read in our library
knowledge/fetched/cmp_stem_verilator-docs.html· pinh13ca8c49218287cc006199c3b83770cfbc5dc75b36ff50b41ee5736305d027d3· accessed 2026-08-18 · vendor-docGrounds: Half of the Verilator + QEMU column (c4): Twin-Silicon: gate-level nxgate netlist simulator (Verilator gate sim coded Best; our sovereign netlist simulator's functional-equivalence proof is graded against it) and Fab-Silicon: sovereign synthesis to nxgate netlist. - [qemu-docs] QEMU Project. QEMU documentation (system emulation, TCG, RISC-V machine targets). Accessed August 2026. publisher · read in our library
knowledge/fetched/cmp_stem_qemu-docs.html· pinhcd28374cfd9b1c35b6850e800a27ee831f401b0c5e35b6732634ba284c903040· accessed 2026-08-18 · vendor-docGrounds: The other half of c4: Twin-Silicon: RV64 SoC sim mmu uart virtio kernel-boot (QEMU coded Best) and Twin-Silicon: validated vs QEMU oracle difftest and fuzz -- QEMU is the golden model nx_rv64_qemu_oracle differential-tests against, which is what lets the core be tested BEFORE the ULX3S is bought. - [riscv-isa-spec] RISC-V International. The RISC-V Instruction Set Manual, Volume I Unprivileged ISA and Volume II Privileged Architecture -- ratified specifications page. Accessed August 2026. publisher · read in our library
knowledge/fetched/cmp_stem_riscv-isa-spec.html· pinh33461bf0413542c87c32a430032d8dacfb57f8a454f8c3c3aaa925e9b7e6d15a· accessed 2026-08-18 · published-standardGrounds: The contract every Twin-Silicon row is measured against: the RV64 SoC sim, the QEMU-oracle difftest and the RV64IM decoder emitted by Fab-Silicon: sovereign synthesis to nxgate netlist all implement this ISA -- conformance to it is what makes QEMU a valid oracle rather than just another simulator. - [nist-ciaaw-atomic-weights] NIST Physical Measurement Laboratory. Atomic Weights and Isotopic Compositions with Relative Atomic Masses (Coursey, Schwab, Tsai, Dragoset), with the IUPAC CIAAW Standard Atomic Weights table (ciaaw.org/atomic-weights.htm, fetched and mirrored the same day as knowledge/fetched/cmp_stem_ciaaw-atomic-weights.html). Accessed August 2026. publisher · read in our library
knowledge/fetched/cmp_stem_nist-atomic-weights.html· pinh65f4063b547aa1dab9aa71e31cb622be6d68788a03fa77c07f5efd5bfbd9e697· accessed 2026-08-18 · published-standardGrounds: Chem: periodic, molecule graph, SMILES, isotopes -- the isotopic masses and abundances nx_chem_periodic carries for Z1-118 were verified against the NIST table and the standard atomic weights against CIAAW, which is exactly the note's isotopes NIST and CIAAW verified claim. - [gotoh1982] Gotoh, O. An improved algorithm for matching biological sequences. Journal of Molecular Biology 162(3):705-708, 1982. PMID 7166760, doi 10.1016/0022-2836(82)90398-9. Confirmed by search-index read; the PubMed page serves a JS bot-challenge stub to non-browser fetchers, so no mirror is claimed. publisher · accessed 2026-08-18 · published-paperGrounds: Bio: sequence alignment Gotoh and FASTQ to VCF -- the affine-gap O(mn) alignment nx_align_affine implements is this paper's algorithm, the Smith-Waterman-Gotoh form that BWA-class aligners (the row's named rivals) descend from.
- [brion2022-caxton] Brion, D.A.J., Pattinson, S.W. Generalisable 3D printing error detection and correction via multi-head neural networks. Nature Communications 13, 4654 (2022); the CAXTON system and dataset (1.2 million labelled extrusion images from 192 parts). Open-access copy at PMC9378646. publisher · read in our library
knowledge/fetched/cmp_stem_brion2022-caxton.html· pinhdcaacc706ef6d0250a47641d688a8f1775843ea28aa38d8399e6ee70a25bb68e· accessed 2026-08-18 · published-paperGrounds: Twin-Print: validated vs real outcome CAXTON-class -- the honest-gap row names this work as the bar: a print twin earns the exceed label only when it predicts a REAL failure of the kind CAXTON detects and corrects on camera, which is what nx_print_sim_validate must be measured against before Twin-Print: 3D-print sim can claim more than sim-proven.
generated by nx_swcompare_matrix (sovereign NishiLang organ) from knowledge/compare/stem.matrix · source checks show implementation presence; runtime and user-outcome evidence are reported separately · JavaScript supports page controls