Saved Snapshots
#1983
2026-09-10 14:37:28
skill_session_step2b
#1663
2026-09-08 15:58:52
add_generation_path_backfill
#1376
2026-09-08 12:26:48
backfill_source_tier
#1028
2026-08-07 16:45:05
odr022_canonical_names
#803
2026-06-28 22:37:04
manual_validation
#452
2026-06-25 17:35:20
manual_validation_bugfix_unsat
#373
2026-06-25 03:36:36
mark_exported
Snapshot #452 — 2026-06-25 17:35:20
manual_validation_bugfix_unsat
← Back to current
Step 1 — Identity-Giving Function
Function class: —
Process class: —
Step 2 — Genus Proximus
Genus: Assembly
BFO root: Assembly
Step 3 — Differentia Specifica
Axiom expression:
∃bearerOf.ContainmentFunction
Step 4 — Necessary Parts
- VesselShell
- VesselHead
Step 5 — Process Participation Signature
—
Status: exported
Axiom mode: —
Updated: 2026-06-25 03:36:36
