Saved Snapshots
#1934
2026-09-08 19:27:28
semiformal_fol_resync_after_necessary_parts_fix
#1931
2026-09-08 19:23:35
necessary_parts_grounding_repair_tier1
#1655
2026-09-08 15:58:52
add_generation_path_backfill
#1368
2026-09-08 12:26:48
backfill_source_tier
#1020
2026-08-07 16:45:05
odr022_canonical_names
#797
2026-06-28 22:33:54
manual_validation
#368
2026-06-25 03:36:36
mark_exported
Snapshot #1020 — 2026-08-07 16:45:05
odr022_canonical_names
← Back to current
Step 1 — Identity-Giving Function
Function class: —
Process class: —
Step 2 — Genus Proximus
Genus: —
BFO root: —
Step 3 — Differentia Specifica
Axiom expression:
∃hasComponentPartAtAllTimes.BallClosure ⊓ ∃participatesIn.RotationalMotionProcess
Step 4 — Necessary Parts
Step 5 — Process Participation Signature
Inputs: {'type': 'FluidPortion', 'count': 1, 'constraints': 'any phase - liquid, gas, or multiphase'}
Outputs: {'type': 'FluidPortion', 'count': 1, 'constraints': 'same composition and phase as input, controlled flow rate'}
Transformation: flow rate control through variable restriction area
Status: exported
Axiom mode: —
Updated: 2026-06-25 03:36:36
