Temporal stock analysis - complete H-Logic-first case study
Documentation status: tutorial — see Maturity and evidence.
This case study demonstrates the H-Logic-first methodology on a stock-management domain with time-dependent facts, derived diagnostics and query-oriented projections.
The module manages products stored in warehouses. It records receipt, reservation, release and shipment movements. For each product and warehouse, the model reasons about physical stock, reserved stock and available stock at a specific time. Reorder policy is also time-dependent.
Build path
- Business specification and vocabulary
- Temporal entities and support relations
- Rules, diagnostics and propagation
- Query projections and indexes
- Validation and test plan
- Operationalization into declarative models
- Implementation checklist
The source ontology used by the guide was parser-accepted. Parser acceptance alone does not certify inference, indexing, justification or retraction behavior, so those capabilities remain explicit test obligations.