Polari Apps

Aligned-CNT FET S1: decomposed one-tube device, clean-room VS-CNFET-derived compact model (first open CNFET compact model) + ToB F2 reference + Verilog-A/OSDI twin. Compute (OpenVAF/ngspice/OpenSTA/kwant) delegates to the cnt-engines worker (dist-1): CNTFET_ENGINES_URL knob, else topology provider cntfet.engines, else local ~/tools.

ONE conceptual ladder from C to materials (eleven rungs; die/package hang off microarchitecture through the microchip ladder by design_level_ref), kinds as rows, downward ComputeMappings and upward CharacterizationMappings as evidence-bearing rows, and the compute-lod tech tree of what to learn (plan tt-0).

Material-derived electronic devices, SPICE cards, circuits/breadboards as rows.

Logic diagrams as rows -> generated artifacts (iCE40 bitstreams).

FPGA register maps as data; Verilog/C/testbench artifacts from rows.

Magnetic materials Section A: option catalog with realization ladder, functional role taxonomy (derived viability), theoretical powder designer (MAGNETIC_MATERIALS_PLAN.md).

Legacy registry module (optional, toggleable).

Microchip design-level ladder (device -> cell -> block -> core -> chip) + traversal interface. Separable from the device modules: reads cntfet/electrodevice rows softly, imports no device code; absent modules degrade honestly.

Electric motors Section C: the M0-M3 ladder of buildable samples (Lavet clock stepper -> reluctance -> ferrite-PM -> dual-stator axial flux), clock control-case sim, torque curves, torque_parity (MAGNETIC_MATERIALS_PLAN.md).

PSPP foundation: evidence methods, claims-not-values, digitized book datasets + interpolation (PSPP_MATERIALS_PLAN.md).

Silicon MOSFETs (planar / FinFET) on thermal and SOL-GEL dielectrics sharing the cntfet VS device contract (states, regimes, scoring, validity, cross-technology ranking), complementary pairs, and silicon refinement routes (MG -> UMG -> SoG -> EG; PV open, EG novel).

Arbitrary-rank tensors as rows with values by reference (a rank-N MatrixDefinition, a DigitizedDataset, an engine state or a PropertyClaim), named dimensions, tensor expressions delegating rank<=2 to the matrix module, operators, and the compute implementations an operator has (plan COMPUTE_LOD_TENSOR_PLAN.md, tt-0).

Rooted, navigable views over tensor state: nodes valid by LOCAL visual coherence (a sim-space binding), typed unresolved spaces anywhere, mappings that may cross branches with two statuses and evidence, selections as mathematical objects, and discovery = hard filters then a configured score (plan tt-0).

Mold nesting: derived negatives, casting chains with derived parity/thermal gates, sprues, fill/demold sims, the nesting wizard. Requires the shape algebra (mathshapes), seed_upsert (composition), the bead model + mold lifecycle (waxprint), wax rankings (waxsupply), and the exotherm/ceramics data (pspp) — admission must order them first (caught live 2026-08-05).

Part composition (PART_ARCHETYPES_PLAN.md): components/interfaces with DERIVED levels by separability, promotion as a recorded operation, EBOM/MBOM split, archetypes + design matrices, and the generic role engine (extracted from motors). Material/equation refs are DATA references, never imports.

Computer parts + builds as tracked data (ai-8): dated part prices, derived build cost, assembly-feasibility checks over declared specs; feeds the appstore buy-vs-rent advisory (row reads). Seeding imports composition.custom.seed_upsert (guarded) — prices converge on live rows.

Computer assembly + use-case profiles as their own app (cmp-c): component taxonomy rows (declared specs + honest gaps), DFA-style assembly gates over the computerparts catalog, profiles as data with ai-6-shaped evidence-bearing fits (db-binding declare-only v1). Separable from the microchip ladder (chip-4 seam deferred).

Gear trains as data (GEARS_PLAN.md): the gear-type taxonomy with ratio laws + literature efficiency bands + how each type would be MADE in our stack, and the abstract kinematic solve over a shaft-node/mesh-edge graph (speeds with direction, torque after the efficiency chain, power conservation, accumulated backlash). Motor splice = gr-5.

@module kirimoto

Math-defined shapes (quadric/primitive/CSG), aquaponic towers, CAD import.

License-GATED external mesh catalog: verified open-source 3D assets as pointers (never vendored bytes), graded by what the licence actually permits (simulate vs redistribute), plus the fit engine that scales a borrowed mesh onto our vector organ definitions and MEASURES the compromise (shape fidelity). Gears are flagged approximation-invalid: an approximate gear does not mesh.

Electric motors Section C: the M0-M3 ladder of buildable samples (Lavet clock stepper -> reluctance -> ferrite-PM -> dual-stator axial flux), clock control-case sim, torque curves, torque_parity (MAGNETIC_MATERIALS_PLAN.md).

@module printing_suite

Pellet-fed auger-screw wax printer: melt/bead-voxel/movement sim + optimizer.

Bio wax sources for molds and electronic masks.

Food as PSPP state evolution (fsp arc): food stages/processes/evidence methods as pspp rows + property-domain contracts; transform engines arrive fsp-2 (FOOD_STATE_PSPP_PLAN.md).

Household layer: people's schedules and sleep, members and work shares, skills and safety, dish strategies, the allocation and fairness

Meal options: templates, variations, recipes, steps, ingredient affinities, cooking methods, tool and task vocabularies, meal situations, bulk staples — the shareable meal data; no person or place data

Dietary nutrients, person/household profiling, harvest -> meal-nutrient yield.

Unifying bio supply-chain ledger — materials + food + carbon accounting.

Legacy registry module (user-created example).

Self-watering pots, FEM hydraulics, vermicompost, per-part plant growth.

Bacteria/algae extraction -> product variants.

Climate Change & Atmosphere: CO2 series as objects (ice-core + instrumental spans), velocity/acceleration fits, graded health thresholds, the coupled indoor/outdoor crossing projection, XPORT ingest for NHANES biomarkers, and the human-history record.

Photobioreactor decarbonization route.

3D organ + root stand-in models, confinement/dwarfing assessment.

Unifying bio supply-chain ledger — materials + food + carbon accounting.

Freshwater/saltwater tank ecosystems — the alternate nutrient source.

Bio wax sources for molds and electronic masks.

Business operations: setup/upgrade flows, local-economy track, order planner with mold-ladder reuse.

Collaboration sessions (mtg-2, LIVEKIT_COLLABORATION_PLAN v2): one session object, many client surfaces (browser meeting, sim-side voice, VR). CollaborationSession + MeetingRecord rows; KC-verified callers mint short-lived LiveKit JWTs (pure-stdlib HS256 — no SDK); capability/join-info with the *_remote refusal ladder. THE LINE: nothing arriving over LiveKit mutates Polari state. Second module born manifest-first on dyn-1.

Odoo ERP connector: JSON-RPC client with sim/ops write guards, instance configs, /api/odoo status.

Climate Change & Atmosphere: CO2 series as objects (ice-core + instrumental spans), velocity/acceleration fits, graded health thresholds, the coupled indoor/outdoor crossing projection, XPORT ingest for NHANES biomarkers, and the human-history record.

Collaboration sessions (mtg-2, LIVEKIT_COLLABORATION_PLAN v2): one session object, many client surfaces (browser meeting, sim-side voice, VR). CollaborationSession + MeetingRecord rows; KC-verified callers mint short-lived LiveKit JWTs (pure-stdlib HS256 — no SDK); capability/join-info with the *_remote refusal ladder. THE LINE: nothing arriving over LiveKit mutates Polari state. Second module born manifest-first on dyn-1.

ONE conceptual ladder from C to materials (eleven rungs; die/package hang off microarchitecture through the microchip ladder by design_level_ref), kinds as rows, downward ComputeMappings and upward CharacterizationMappings as evidence-bearing rows, and the compute-lod tech tree of what to learn (plan tt-0).

DMV cost-of-living source catalogs, gov/legal sources, cross-validation.

Mathematical proofs as rows: claims about rows in one JSON term language, checked by tiers honest about what they established (numeric witness, interval decision, SymPy over symbols, Z3 over the continuum and machine integers within a budget, Lean via an engines worker); inference rules that generate the obligations a tensor tree's structure demands — the logic between its parts (plan §I) — at boot and on demand.

License-GATED external mesh catalog: verified open-source 3D assets as pointers (never vendored bytes), graded by what the licence actually permits (simulate vs redistribute), plus the fit engine that scales a borrowed mesh onto our vector organ definitions and MEASURES the compromise (shape fidelity). Gears are flagged approximation-invalid: an approximate gear does not mesh.

PSPP foundation: evidence methods, claims-not-values, digitized book datasets + interpolation (PSPP_MATERIALS_PLAN.md).

Context-based scoring engine + epistemics stack (terms, proofs, credibility, authority).

Tech trees with theory/real/business/politics segments; OSEB baseline rollup.

Arbitrary-rank tensors as rows with values by reference (a rank-N MatrixDefinition, a DigitizedDataset, an engine state or a PropertyClaim), named dimensions, tensor expressions delegating rank<=2 to the matrix module, operators, and the compute implementations an operator has (plan COMPUTE_LOD_TENSOR_PLAN.md, tt-0).

Rooted, navigable views over tensor state: nodes valid by LOCAL visual coherence (a sim-space binding), typed unresolved spaces anywhere, mappings that may cross branches with two statuses and evidence, selections as mathematical objects, and discovery = hard filters then a configured score (plan tt-0).

Terms of service: versioned documents (global or per app) and the append-only acceptance ledger

Video assets: upload, conversion (webm/mp4/poster/HLS) and adaptive delivery rows — a Polari feature module that was never registered until sap-1 (2026-09-08).

XR settings cascade + interface variants. Moves in wave 4; core still imports it statically (drop refuses).

AR-captured 3D zones: planar/hull models, rooms vs selections, cube packing.

Polari App Store (appstore-1): installable native shells over the polariapps content layer — catalog/identity, one-time enrollment tokens (hashed at rest), overlaid Gradle source archives + prebuilt binaries from MinIO.

Hardware apps as rows: KVM guests the isle defines (relay, guest network, …) and extension apps pushed into them; pure renderers for the libvirt domain XML (the router template generalised) and OpenWrt UCI profiles (hw-app-1, 2026-09-08).

Hardware map: an on-device scanner (usb, pci + IOMMU groups, serial by-id, nics, kvm/libvirt facts) pushes a snapshot; Polari keeps ports and slots as rows and answers what can be mapped to a potential KVM (usb hostdev, pci vfio, nic macvtap) with reasons, and which hardware apps each port satisfies (hwm-1, 2026-09-08).

isle-mesh convergence (mac-1): the polari-side acceptor for isle-mesh data — devices/uplinks/mesh-apps/protocol-permits ingested from the isle agent's registry.json + nginx fragments (isle stays authoritative over networking); mock ingests carry mock_network=true, surfaced as a banner. Feeds /display/isle-mesh and the mac-10 console.

Get Polari and Ubuntu onto a new computer: probe a device from a USB stick, derive Ubuntu compatibility, plan its role, build an unattended installer ISO with Polari inside, install from the same Ventoy stick.

Polari-Apps: module configurations per use-case, plan-first + exportable.

Node resource inventory, module profiles, admission advisor. Moves in wave 5; core still imports it statically (drop refuses).

Suite apps: purpose-oriented compositions of apps of every kind (Polari modules, isle containers, hardware KVM guests, extension apps) with the object contracts between parts and a placement plan across devices (sa-1, 2026-09-08).

Terms of service: versioned documents (global or per app) and the append-only acceptance ledger

Accountability spine (opt-in: registers only on test builds / explicit POLARI_MODULES).