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.

The unit. 1 u = one measured session-leg. Calibration from landed rungs: the mangagen panel compositor went from existing substrate to shipped and live-verified in ONE leg (2026-08-13); the citations rung went from 3 to 55 domains in one leg across seven seats (2026-08-18); a greenfield engine with a bite-proven gate has measured 2 to 4 legs. Estimates recalibrate as rungs land and PR7 actuals write back.
Cost to validate before hardware: 3.5 u. Through M0; the print validation needs a real print and is a hardware-lane rung.
Cost to physics depth: 9.5 u. Through M1.
Cost to authoring and fab completeness: 16 u. Everything below.

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 classWhat it is, and the work it names
NONENo 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.
This band reports the referee counts. The per-axis worklist rows — which axis is unsupported, which watch is ready to flip, which gap is unnamed — are printed by 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

RungCloses withDefinition of done (pre-declared)ExecutorEst.
Print twin validated against a real print (R0)psv_compareThe 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 lane2 u
SPICE oracle for the board twin (R1)nx_pcb_twin_spice_oracleDifferential 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 REDOrgan1.5 u
Finite-element solver (R2)fea_solveA 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 benchmarkOrgan3 u
Robotics physics twin (R3)rpt_stepRigid-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 toleranceOrgan3 u
CAD GUI and constraint solver (R4)cg_sketch_solveSketch constraints solved live with sliders regenerating the deterministic kernel; the no-float exceed survives: the same sketch regenerates byte-identicalOrgan3 u
General symbolic solve (R5)nx_calc_solve_generalPolynomial and transcendental solving with exact rationals where possible; a banked problem set with Wolfram answers as the oracle, pass count printedOrgan2 u
Pick-and-place placement (R6)nx_pcb_placeComponent placement with courtyard collision checks and centroid CSV for assembly; the existing DRC reads the resultOrgan1.5 u

Milestones

MilestoneRungsCumulative
M0 · Validate before hardwareR0,R13.5 u
M1 · Physics depthR2,R39.5 u
M2 · AuthoringR4,R514.5 u
M3 · Fab completenessR616 u
RungCloses withDefinition of done (pre-declared)ExecutorEst.
Vehicle assembly exploded view for illustration (R7)ct_assembly_explodeINTAKE 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 contractOrgan2 u

Milestones

MilestoneRungsCumulative
M4 · Illustration explodeR718 u
Ladder verdict. NOT DECLARED. This board names no dated best-in-class or frontier target and no rung roles (sotatarget and rungrole rows on its plan); the ranker labels it NO-LADDER until it does, and until then its rungs climb toward a target nobody has written down. Bars read NO-BAR against the current month 2026-10.
Bar freshness, counted
ClassCountNote
bars0sotabar rows on the plan
fresh0the bar month is the current month
attested0an older bar with a this-month barscan reporting no newer entry
stale0a this-month scan saw a newer month the bar ignores
unattested0nobody looked this month
malformed0a sotabar row missing a field
duplicate0bar ids an earlier row already carries
bars, summed0RECONCILED: the parts sum to the total 0
current month2026-10the month every bar is judged against
Treatment verdict. NOT DECLARED. No rung on this board declares its three-step treatment (a treat row naming the MCP row, the API route, the primitive it composes, the workflow that composes it and the agent beat that runs it); the ranker labels every rung TREATMENT-UNDECLARED until it does.

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.

  1. R0 — Print twin validated against a real print

    Prerequisites: None declared; this does not establish execution eligibility.

    Contract: psv_compare

    Acceptance: 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.

  2. R1 — SPICE oracle for the board twin

    Prerequisites: None declared; this does not establish execution eligibility.

    Contract: nx_pcb_twin_spice_oracle

    Acceptance: 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.

  3. R2 — Finite-element solver

    Prerequisites: None declared; this does not establish execution eligibility.

    Contract: fea_solve

    Acceptance: 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.

  4. R3 — Robotics physics twin

    Prerequisites: None declared; this does not establish execution eligibility.

    Contract: rpt_step

    Acceptance: 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.

  5. R4 — CAD GUI and constraint solver

    Prerequisites: None declared; this does not establish execution eligibility.

    Contract: cg_sketch_solve

    Acceptance: 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.

  6. R5 — General symbolic solve

    Prerequisites: None declared; this does not establish execution eligibility.

    Contract: nx_calc_solve_general

    Acceptance: 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.

  7. R6 — Pick-and-place placement

    Prerequisites: None declared; this does not establish execution eligibility.

    Contract: nx_pcb_place

    Acceptance: 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.

  8. R7 — Vehicle assembly exploded view for illustration

    Prerequisites: None declared; this does not establish execution eligibility.

    Contract: ct_assembly_explode

    Acceptance: 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

Joined by symbol, never typed. Each dossier is assembled on every publish from the rows this board already carries: the plan's rung row, the matrix row that carries its contract symbol (its status re-measured by the one symbol ruler), the gate the organ declares and the verdict the evidence referee recorded on its last run, the reference marks in the rung text, the design rows that name the rung and the work log filed against it. The capability matrix links each cell to its dossier and each dossier links back to its cell and forward to the rungs it stands on; a dependency naming no rung on this plan is written as UNRESOLVED rather than linked. Absences are named: NO-MATRIX-ROW, NO-GATE-DECLARED, UNRECORDED.
Gate verdicts: UNSTAMPED — no per-gate verdict artifact is published for this domain yet (nx_swcompare_evidence stem writes it beside its stamp); every gate below reads UNRECORDED until it runs.
Gate declarations: 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
Contractpsv_compare · executor Hardware lane · 2 u · stands on nothing
Definition of doneThe 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 cellTwin-Print: validated vs real outcome CAXTON-class · runtime/nx_print_sim_validate.nx · WATCHING decl
GateNO-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 logno log row names this rung yet
R1 SPICE oracle for the board twin · cell WATCHING · gate NO-GATE-DECLARED
Contractnx_pcb_twin_spice_oracle · executor Organ · 1.5 u · stands on nothing
Definition of doneDifferential 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 cellTwin-PCB: SPICE-oracle validation of the board twin · runtime/_hdl_build/nx_pcb_twin.nx · WATCHING decl
GateNO-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 logno log row names this rung yet
R2 Finite-element solver · cell WATCHING · gate NO-GATE-DECLARED
Contractfea_solve · executor Organ · 3 u · stands on nothing
Definition of doneA 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 cellTwin-Multiphysics: FEA solver warp and stress before build · runtime/nx_fea_solver.nx · WATCHING decl
GateNO-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 logno log row names this rung yet
R3 Robotics physics twin · cell WATCHING · gate NO-GATE-DECLARED
Contractrpt_step · executor Organ · 3 u · stands on nothing
Definition of doneRigid-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 cellTwin-Robotics: rigid-body and contact physics twin · runtime/nx_robot_phys_twin.nx · WATCHING decl
GateNO-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 logno log row names this rung yet
R4 CAD GUI and constraint solver · cell WATCHING · gate NO-GATE-DECLARED
Contractcg_sketch_solve · executor Organ · 3 u · stands on nothing
Definition of doneSketch constraints solved live with sliders regenerating the deterministic kernel; the no-float exceed survives: the same sketch regenerates byte-identical
Matrix cellFab-CAD: interactive GUI editor and constraint solver · runtime/nx_cad_gui.nx · WATCHING decl
GateNO-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 logno log row names this rung yet
R5 General symbolic solve · cell WATCHING · gate NO-GATE-DECLARED
Contractnx_calc_solve_general · executor Organ · 2 u · stands on nothing
Definition of donePolynomial and transcendental solving with exact rationals where possible; a banked problem set with Wolfram answers as the oracle, pass count printed
Matrix cellMath: general symbolic solve · runtime/nx_calc_solve.nx · WATCHING decl
GateNO-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 logno log row names this rung yet
R6 Pick-and-place placement · cell WATCHING · gate NO-GATE-DECLARED
Contractnx_pcb_place · executor Organ · 1.5 u · stands on nothing
Definition of doneComponent placement with courtyard collision checks and centroid CSV for assembly; the existing DRC reads the result
Matrix cellFab-PCB: pick-and-place placement · runtime/nx_pcb_gerber.nx · WATCHING decl
GateNO-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 logno log row names this rung yet
R7 Vehicle assembly exploded view for illustration · cell WATCHING · gate NO-GATE-DECLARED
Contractct_assembly_explode · executor Organ · 2 u · stands on nothing
Definition of doneINTAKE 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 cellTwin-CAD: assembly twin explode and part-fit · runtime/nx_cadtwin_explode_lib.nx · WATCHING decl
GateNO-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 log2026-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.

Rows. 28 feature rows mapped of 28 matrix rows; 0 substrate rows (kernels, bounds and instruments the plan's rungrole marks substrate) are the estate's scaffolding, not category features, and stay off the map
Views. 2D cut: centrality, distinctiveness · 3D cube: centrality, distinctiveness, breadth · axes registered: centrality, distinctiveness, breadth, depth, momentum · a board picks its own in knowledge/compare/stem.cdmap (cut|x|y, cube|x|y|z); absent = the HBR defaults
Position map, two-dimensional cutOne bubble per player. Bubble area is breadth, the ring colour is momentum, the dashed lines are the category means, and both axes are fitted to the field of play with their tick numerals shown. Every value is repeated in the table that follows. 0 200 400 600 800 1000 300 400 500 600 700 800 centrality (permil, fitted 0–1000) distinctiveness (permil, fitted 300–800) mean 399 mean 594 Unconventional Aspirational Peripheral Mainstream Nishi, centrality 826, distinctiveness 550, breadth 500, depth 700, momentum 0 Wolfram Language, centrality 347, distinctiveness 729, breadth 250, depth 875, momentum 0 Fusion 360, centrality 347, distinctiveness 428, breadth 154, depth 619, momentum 0 KiCad, centrality 304, distinctiveness 535, breadth 178, depth 714, momentum 0 Verilator + QEMU, centrality 173, distinctiveness 729, breadth 130, depth 916, momentum 0 Nishi Wolfram Language Fusion 360 KiCad Verilator + QEMU

bubble 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)
Position map, three-dimensional cubeThe same players in an isometric cube. Each axis is fitted to its own field of play and carries numerals on the floor grid and the vertical axis; each bubble drops a dotted line to its floor shadow so height reads as height. Values are in the table that follows. 0 200 400 600 800 1000 300 400 500 600 700 800 0 100 200 300 400 500 600 centrality distinctiveness breadth Fusion 360: centrality 347, distinctiveness 428, breadth 154 KiCad: centrality 304, distinctiveness 535, breadth 178 Verilator + QEMU: centrality 173, distinctiveness 729, breadth 130 Wolfram Language: centrality 347, distinctiveness 729, breadth 250 Nishi: centrality 826, distinctiveness 550, breadth 500 Nishi Wolfram Language Fusion 360 KiCad Verilator + QEMU
axes fitted: centrality 0–1000 · distinctiveness 300–800 · breadth 0–600 permil · farther bubbles are painted first, nearer ones over them · the floor shadow is each bubble's (x, y) at height 0
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
Position map, small multiplesEvery pair of registered axes as one small cut. Each panel fits both axes to the field of play, the dashed lines are the category means, bubble area is breadth and the ring colour is momentum; the legend below names the colours. 0 1000 300 800 distinctiveness vs centrality Nishi: centrality 826, distinctiveness 550 Wolfram Language: centrality 347, distinctiveness 729 Fusion 360: centrality 347, distinctiveness 428 KiCad: centrality 304, distinctiveness 535 Verilator + QEMU: centrality 173, distinctiveness 729 0 1000 0 600 breadth vs centrality Nishi: centrality 826, breadth 500 Wolfram Language: centrality 347, breadth 250 Fusion 360: centrality 347, breadth 154 KiCad: centrality 304, breadth 178 Verilator + QEMU: centrality 173, breadth 130 0 1000 500 1000 depth vs centrality Nishi: centrality 826, depth 700 Wolfram Language: centrality 347, depth 875 Fusion 360: centrality 347, depth 619 KiCad: centrality 304, depth 714 Verilator + QEMU: centrality 173, depth 916 0 1000 480 520 momentum vs centrality Nishi: centrality 826, momentum 500 Wolfram Language: centrality 347, momentum 500 Fusion 360: centrality 347, momentum 500 KiCad: centrality 304, momentum 500 Verilator + QEMU: centrality 173, momentum 500 300 800 0 600 breadth vs distinctiveness Nishi: distinctiveness 550, breadth 500 Wolfram Language: distinctiveness 729, breadth 250 Fusion 360: distinctiveness 428, breadth 154 KiCad: distinctiveness 535, breadth 178 Verilator + QEMU: distinctiveness 729, breadth 130 300 800 500 1000 depth vs distinctiveness Nishi: distinctiveness 550, depth 700 Wolfram Language: distinctiveness 729, depth 875 Fusion 360: distinctiveness 428, depth 619 KiCad: distinctiveness 535, depth 714 Verilator + QEMU: distinctiveness 729, depth 916 300 800 480 520 momentum vs distinctiveness Nishi: distinctiveness 550, momentum 500 Wolfram Language: distinctiveness 729, momentum 500 Fusion 360: distinctiveness 428, momentum 500 KiCad: distinctiveness 535, momentum 500 Verilator + QEMU: distinctiveness 729, momentum 500 0 600 500 1000 depth vs breadth Nishi: breadth 500, depth 700 Wolfram Language: breadth 250, depth 875 Fusion 360: breadth 154, depth 619 KiCad: breadth 178, depth 714 Verilator + QEMU: breadth 130, depth 916 0 600 480 520 momentum vs breadth Nishi: breadth 500, momentum 500 Wolfram Language: breadth 250, momentum 500 Fusion 360: breadth 154, momentum 500 KiCad: breadth 178, momentum 500 Verilator + QEMU: breadth 130, momentum 500 500 1000 480 520 momentum vs depth Nishi: depth 700, momentum 500 Wolfram Language: depth 875, momentum 500 Fusion 360: depth 619, momentum 500 KiCad: depth 714, momentum 500 Verilator + QEMU: depth 916, momentum 500
Nishi Wolfram Language Fusion 360 KiCad Verilator + QEMU
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
PlayerQuadrantcentralitydistinctivenessbreadthdepthmomentumRows heldDays on spineFirst seen
NishiMainstream8265505007000 since 2026-09-2320102026-09-15
Wolfram LanguageUnconventional3477292508750 since 2026-09-238102026-09-15
Fusion 360Peripheral3474281546190 since 2026-09-237102026-09-15
KiCadPeripheral3045351787140 since 2026-09-237102026-09-15
Verilator + QEMUUnconventional1737291309160 since 2026-09-234102026-09-15
DayMatrix rows reviewedPlayers recorded
2026-09-15285
2026-09-16285
2026-09-17285
2026-09-18285
2026-09-19285
2026-09-20285
2026-09-21285
2026-09-22285
2026-09-23285
2026-10-08285

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

How to read this evidence. A Nishi source mark records whether the named symbol is declared in the selected source file. It does not establish working behavior or accepted delivery. A watching tag names an expected source entry; discovering it updates source coverage only. A dark tag means the file exists but the named symbol was not found: inspect the source and contract before assuming the capability is missing or renaming code. Peer codes are authored assessments; unassessed means no comparison is established, not absence. Qualification, deployment identity, runtime observations and acceptance must carry their own evidence. Adoption records the catalog's observed path through source, build, promotion, registration and invocation; libraries use importer evidence and gates use declared execution surfaces. A full catalog path does not establish quality, freshness or a successful user outcome. Partial and unknown states retain their stated next action. Census stamps: importers asof 1790637268, gate census asof 1790104131 (unix seconds; -1 = census absent).

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.

CapabilityNishiWolfram LanguageFusion 360KiCadVerilator + 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.
not adopted: 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.
not adopted: 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.
not adopted: 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.
not adopted: 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.
not adopted: 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 — watching runtime/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 absent
dossierwatching cg_sketch_solve
Pros 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.
not adopted: 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.
not adopted: 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.
not adopted: 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 — watching runtime/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]
dossierwatching psv_compare
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.
not adopted: 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.
not adopted: 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.
not adopted: 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 — watching runtime/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 them
dossierwatching ct_assembly_explode
Pros none measured yetCons behind Fusion 360; open contract; expected source declaration not established
○○●○○
Twin-Robotics
rigid-body and contact physics twinOpen — watching runtime/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 hardware
dossierwatching rpt_step
Pros none measured yetCons open contract; expected source declaration not established
○○○○○
Twin-Multiphysics: FEA solver warp and stress before buildOpen — watching runtime/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 them
dossierwatching fea_solve
Pros 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 them
dossierwatching nx_calc_solve_general
Pros 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 them
dossierwatching nx_pcb_twin_spice_oracle
Pros 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 them
dossierwatching nx_pcb_place
Pros none measured yetCons behind KiCad; open contract; expected source declaration not established
○○○●○
Rival-claim provenance. Every Yes, Best or Part mark in a rival column is a claim about someone else's product. A cited row carries a reference mark that resolves to a pinned mirror (the refs gate measures that); an uncited row is an observation read and is badged in its evidence until a reference lands. The badge is the receipt, never the proof: a mark proves a mirror exists, not that the mirror supports the code. The rows are counted below.
Rival claims, counted
ClassCountNote
rows with rival marks21rows carrying a Yes, Best or Part in a rival column
cited7a reference mark resolves to a pinned mirror
uncited14an observation read, badged until a reference lands
rows, summed21RECONCILED: 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

The worked plan, on the board. Every leg appends what it measured, landed, retracted, learned and left queued, per rung, so a crash leaves the next seat a ledger here rather than a transcript to mine. Kinds: measure, land, retract, lesson, queue. Newest last.
WhenRungKindEntry
2026-09-22R7queue2026-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-22R7queueINTAKE 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
On these two registers. Rows are declared in the domain's plan file and carry the debt id, which is the join key back to the sovereign debt plane — that plane, not this page, is the authority on state. Reconciling them automatically (the regen reading the plane and refreshing these rows) is a named, owed rung; until it lands, treat an id here as a pointer to look up, not a status to trust.
Honest verdict. Nishi is strong on the sovereign fabrication and digital-twin axes: a deterministic no-float CAD kernel that exceeds B-rep on robustness, and a silicon twin validated against QEMU (difftest plus fuzz) that lets us test the core BEFORE buying the board. It is NOT yet validated on metal -- the print and PCB twins need external-oracle validation, and the robotics-physics twin and multiphysics FEA are honest gaps. The climb is validate-before-hardware: prove each twin predicts a REAL failure the SOTA tool misses, then close the on-metal loop.

Person · product · place — not yet measured for this domain

Every compare carries this layer. Declare 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.

Discovery receipt. One row per counter the run wrote, in the receipt's own order; the rival rows follow in their own table.
Field discovery, counted
ClassCountNote
seeds4
scanned3
fetched3
reused0
failed1
named4
candidates4
mentions4
capped0
RankRivalSeedsMentionsFirst seedKindLink
1Wolfram Language11col0-wolframnamedhttps://reference.wolfram.com/language/
2Fusion 36011col1-fusionnamedhttps://www.autodesk.com/products/fusion-360/overview
3KiCad11col2-kicadnamedhttps://docs.kicad.org/
4Verilator + QEMU11col3-verilatornamedhttps://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

One capability is graded on one board; every other board references it. The fleet duplicate census (nx_rivalcensus dupes, on the fleetdupes clock row) reads every board's matrix and names each capability graded as a row on two or more boards, with a home derived from evidence: rung when exactly one board's plan contracts the symbol (that board is starred), gates when no plan contracts it and exactly one board's executed gate map runs the organ's gate (that board is plussed), ambiguous when several boards carry the deciding evidence (a decision for their seats), and none when no evidence decides it, with the reason beside it: unmapped (no board of the duplicate declares a gates map; declare the maps) or unproven (a map exists and runs none of the organ's gates; gate the organ on its proving board, or declare it a shared library by policy). A home elsewhere means this board should carry an @xrow reference to the home board's row rather than a graded row of its own; a home here means the other boards should. The table is this board's slice of one estate-wide census: the shape is shared, the rows are the board's.

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.

CapabilityOrganBoards grading itHomeRuleEvidenceStanding on this board
nx_calc_integratenx_calc_integrate.nxstem, lang, computational—noneunprovenundecided
nx_calc_solve_quadraticnx_calc_solve.nxstem, computational—noneunprovenundecided
ta_leafnx_autograd_tensor.nxstem, computational—noneunprovenundecided
nx_check_propnx_triangulation_number_theory.nxstem, computational—noneunprovenundecided

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.

kindnameboardsourceevidence

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

Beyond a link list. Every reference below resolves twice — the publisher's copy and, where banked, the estate's own non-rottable library mirror with a content pin — and carries its evidence class plus the exact claim on this page it grounds. Keyed marks like [key] in the matrix notes jump here. A dash means honestly absent, never assumed.
  1. [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 · pin h2ddd3b6d60f0f714fc5515a7ad4ecf4c29d567599952e9ac655e5a15c25b0eb7 · 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.
  2. [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).
  3. [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 · pin h7874bccd50f7524671d4582189cb26e0888c8e6ec8192e0f1ccfb2e7a063d8c2 · 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).
  4. [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 · pin h13ca8c49218287cc006199c3b83770cfbc5dc75b36ff50b41ee5736305d027d3 · 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.
  5. [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 · pin hcd28374cfd9b1c35b6850e800a27ee831f401b0c5e35b6732634ba284c903040 · 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.
  6. [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 · pin h33461bf0413542c87c32a430032d8dacfb57f8a454f8c3c3aaa925e9b7e6d15a · 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.
  7. [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 · pin h65f4063b547aa1dab9aa71e31cb622be6d68788a03fa77c07f5efd5bfbd9e697 · 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.
  8. [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.
  9. [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 · pin hdcaacc706ef6d0250a47641d688a8f1775843ea28aa38d8399e6ee70a25bb68e · 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