Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
Mighty Miter 0.1.0
Mighty Miter 0.1.0

Contents

  • Theory
    • The first fundamental form
    • Developable surfaces and Gaussian curvature
    • Unrolling cylinders and cones
    • Rotation-minimizing frames
    • Channel surfaces and the r/R bound
    • General unfolding and least-squares flattening
    • Strain: definition, measurement, meaning
    • Writing a PDF by hand
    • Fusion API field notes
  • API reference
    • mighty_miter.core
  • Architectural decisions
    • ADR-001 — Pure-stdlib Python, no third-party dependencies
    • ADR-013 — Pure-stdlib Python, reaffirmed on corrected evidence
    • ADR-014 — Carry analytic surface parameters and exact arc length across the core/adapter contract
    • ADR-015 — Derive the template datum from geometry, never from the reported parametric window
    • ADR-016 — License the project under MPL-2.0, without Exhibit B
  • Validation record
    • L4 live-adapter validation — Fusion 2704.1.53
    • L4 live-adapter record — Fusion 2704.1.53 — 2026-09-06
    • L4 live-UI record — Fusion 2704.1.53 — 2026-09-06
  • Glossary
Back to top
View this page

API reference¶

Generated from the docstrings. Every public module, class and function states its units and frames explicitly, justifies any tolerance it uses, and names the correctness hazard it touches (PRD 15.2).

Only mighty_miter.core is documented here. The adapter and ui layers can only be imported inside Fusion; their contracts are the protocols below.

  • mighty_miter.core
    • core.linalg
    • core.types
    • core.protocols
    • core.errors
    • core.datum
    • core.unroll
    • core.export
    • core.template
Next
mighty_miter.core
Previous
Fusion API field notes
Copyright © 2026, Jan Hettenkofer. Licensed under the Mozilla Public License 2.0
Made with Sphinx and @pradyunsg's Furo