@things-factory/headless-twin 10.0.14 → 10.0.17
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist-server/engine/attention-digest.d.ts +4 -4
- package/dist-server/engine/attention-digest.js +7 -7
- package/dist-server/engine/attention-digest.js.map +1 -1
- package/dist-server/engine/canonical-ingest.d.ts +11 -2
- package/dist-server/engine/canonical-ingest.js +137 -8
- package/dist-server/engine/canonical-ingest.js.map +1 -1
- package/dist-server/engine/command-routing.js +1 -1
- package/dist-server/engine/command-routing.js.map +1 -1
- package/dist-server/engine/declared-stimulus.js +1 -1
- package/dist-server/engine/declared-stimulus.js.map +1 -1
- package/dist-server/engine/energy-topology.js +1 -1
- package/dist-server/engine/energy-topology.js.map +1 -1
- package/dist-server/engine/ingest-dedupe.d.ts +38 -0
- package/dist-server/engine/ingest-dedupe.js +145 -0
- package/dist-server/engine/ingest-dedupe.js.map +1 -0
- package/dist-server/engine/ingest-health.d.ts +124 -9
- package/dist-server/engine/ingest-health.js +169 -15
- package/dist-server/engine/ingest-health.js.map +1 -1
- package/dist-server/engine/integration-probes.d.ts +3 -3
- package/dist-server/engine/integration-probes.js +6 -6
- package/dist-server/engine/integration-probes.js.map +1 -1
- package/dist-server/engine/kpi-baseline.js +4 -4
- package/dist-server/engine/kpi-baseline.js.map +1 -1
- package/dist-server/engine/kpi-fold.d.ts +122 -12
- package/dist-server/engine/kpi-fold.js +247 -18
- package/dist-server/engine/kpi-fold.js.map +1 -1
- package/dist-server/engine/kpi-query.d.ts +11 -11
- package/dist-server/engine/kpi-query.js +185 -28
- package/dist-server/engine/kpi-query.js.map +1 -1
- package/dist-server/engine/live-feed-registry.d.ts +1 -1
- package/dist-server/engine/live-feed-registry.js +1 -1
- package/dist-server/engine/live-feed-registry.js.map +1 -1
- package/dist-server/engine/load-meter.d.ts +1 -1
- package/dist-server/engine/load-meter.js.map +1 -1
- package/dist-server/engine/local-declarations.d.ts +7 -7
- package/dist-server/engine/local-declarations.js +9 -9
- package/dist-server/engine/local-declarations.js.map +1 -1
- package/dist-server/engine/log.d.ts +1 -1
- package/dist-server/engine/log.js +1 -1
- package/dist-server/engine/log.js.map +1 -1
- package/dist-server/engine/measured-estimator.js +1 -1
- package/dist-server/engine/measured-estimator.js.map +1 -1
- package/dist-server/engine/measured-yield.js +1 -1
- package/dist-server/engine/measured-yield.js.map +1 -1
- package/dist-server/engine/model-basis.d.ts +1 -1
- package/dist-server/engine/model-basis.js +1 -1
- package/dist-server/engine/model-basis.js.map +1 -1
- package/dist-server/engine/model-gap.d.ts +3 -3
- package/dist-server/engine/model-gap.js +1 -1
- package/dist-server/engine/model-gap.js.map +1 -1
- package/dist-server/engine/model-vocabulary.js +1 -1
- package/dist-server/engine/model-vocabulary.js.map +1 -1
- package/dist-server/engine/oee-accumulator.d.ts +4 -4
- package/dist-server/engine/oee-accumulator.js +3 -3
- package/dist-server/engine/oee-accumulator.js.map +1 -1
- package/dist-server/engine/property-effects.js +2 -2
- package/dist-server/engine/property-effects.js.map +1 -1
- package/dist-server/engine/read-time.d.ts +22 -0
- package/dist-server/engine/read-time.js +81 -0
- package/dist-server/engine/read-time.js.map +1 -0
- package/dist-server/engine/restart-policy.js +1 -1
- package/dist-server/engine/restart-policy.js.map +1 -1
- package/dist-server/engine/runtime-key.js +1 -1
- package/dist-server/engine/runtime-key.js.map +1 -1
- package/dist-server/engine/spec-coverage.d.ts +2 -2
- package/dist-server/engine/spec-coverage.js +1 -1
- package/dist-server/engine/spec-coverage.js.map +1 -1
- package/dist-server/engine/stage-path.d.ts +4 -4
- package/dist-server/engine/stage-path.js +1 -1
- package/dist-server/engine/stage-path.js.map +1 -1
- package/dist-server/engine/state-axes.d.ts +1 -1
- package/dist-server/engine/state-axes.js +2 -2
- package/dist-server/engine/state-axes.js.map +1 -1
- package/dist-server/engine/travel-estimator.d.ts +2 -2
- package/dist-server/engine/travel-estimator.js +1 -1
- package/dist-server/engine/travel-estimator.js.map +1 -1
- package/dist-server/engine/twin-engine.d.ts +243 -53
- package/dist-server/engine/twin-engine.js +690 -191
- package/dist-server/engine/twin-engine.js.map +1 -1
- package/dist-server/engine/warm-start.d.ts +2 -2
- package/dist-server/engine/warm-start.js +5 -5
- package/dist-server/engine/warm-start.js.map +1 -1
- package/dist-server/index.js +1 -1
- package/dist-server/index.js.map +1 -1
- package/dist-server/migrations/1786000000000-RenameTwinInstanceBoardToModel.js +1 -1
- package/dist-server/migrations/1786000000000-RenameTwinInstanceBoardToModel.js.map +1 -1
- package/dist-server/migrations/1786100000000-PromoteEventActionAndSyncWarnings.js +3 -3
- package/dist-server/migrations/1786100000000-PromoteEventActionAndSyncWarnings.js.map +1 -1
- package/dist-server/migrations/1786200000000-CarryLiveFeedCursor.js +2 -2
- package/dist-server/migrations/1786200000000-CarryLiveFeedCursor.js.map +1 -1
- package/dist-server/migrations/1786300000000-IndexEventTypeByTime.d.ts +5 -0
- package/dist-server/migrations/1786300000000-IndexEventTypeByTime.js +54 -0
- package/dist-server/migrations/1786300000000-IndexEventTypeByTime.js.map +1 -0
- package/dist-server/migrations/1786400000000-IndexEventCreatedAt.d.ts +5 -0
- package/dist-server/migrations/1786400000000-IndexEventCreatedAt.js +44 -0
- package/dist-server/migrations/1786400000000-IndexEventCreatedAt.js.map +1 -0
- package/dist-server/migrations/1786500000000-CreateTwinSubjectEvents.d.ts +6 -0
- package/dist-server/migrations/1786500000000-CreateTwinSubjectEvents.js +84 -0
- package/dist-server/migrations/1786500000000-CreateTwinSubjectEvents.js.map +1 -0
- package/dist-server/migrations/index.js +7 -1
- package/dist-server/migrations/index.js.map +1 -1
- package/dist-server/routes.d.ts +1 -0
- package/dist-server/routes.js +69 -5
- package/dist-server/routes.js.map +1 -1
- package/dist-server/service/index.d.ts +2 -2
- package/dist-server/service/index.js +27 -24
- package/dist-server/service/index.js.map +1 -1
- package/dist-server/service/reference/control-routing.d.ts +1 -1
- package/dist-server/service/reference/control-routing.js +1 -1
- package/dist-server/service/reference/control-routing.js.map +1 -1
- package/dist-server/service/reference/discovery-result.d.ts +2 -2
- package/dist-server/service/reference/discovery-result.js +3 -3
- package/dist-server/service/reference/discovery-result.js.map +1 -1
- package/dist-server/service/reference/hook-contract.d.ts +43 -0
- package/dist-server/service/reference/hook-contract.js +59 -0
- package/dist-server/service/reference/hook-contract.js.map +1 -0
- package/dist-server/service/reference/ingest-space.d.ts +1 -1
- package/dist-server/service/reference/ingest-space.js +4 -4
- package/dist-server/service/reference/ingest-space.js.map +1 -1
- package/dist-server/service/reference/knob-defaults.d.ts +1 -1
- package/dist-server/service/reference/knob-defaults.js +4 -4
- package/dist-server/service/reference/knob-defaults.js.map +1 -1
- package/dist-server/service/reference/reference-adapter.d.ts +140 -8
- package/dist-server/service/reference/reference-adapter.js +27 -0
- package/dist-server/service/reference/reference-adapter.js.map +1 -1
- package/dist-server/service/reference/reference-hook.d.ts +20 -0
- package/dist-server/service/reference/reference-hook.js +133 -0
- package/dist-server/service/reference/reference-hook.js.map +1 -0
- package/dist-server/service/reference/reference-live.d.ts +2 -2
- package/dist-server/service/reference/reference-live.js +88 -13
- package/dist-server/service/reference/reference-live.js.map +1 -1
- package/dist-server/service/reference/reference-master.d.ts +14 -14
- package/dist-server/service/reference/reference-master.js +34 -12
- package/dist-server/service/reference/reference-master.js.map +1 -1
- package/dist-server/service/reference/reference-resolver.d.ts +1 -1
- package/dist-server/service/reference/reference-resolver.js +10 -10
- package/dist-server/service/reference/reference-resolver.js.map +1 -1
- package/dist-server/service/reference/twin-reference.d.ts +3 -3
- package/dist-server/service/reference/twin-reference.js.map +1 -1
- package/dist-server/service/twin-attention/twin-attention-query.d.ts +1 -1
- package/dist-server/service/twin-attention/twin-attention-query.js +1 -1
- package/dist-server/service/twin-attention/twin-attention-query.js.map +1 -1
- package/dist-server/service/twin-audit/command-audit.d.ts +1 -1
- package/dist-server/service/twin-audit/command-audit.js.map +1 -1
- package/dist-server/service/twin-audit/twin-audit-event.d.ts +1 -1
- package/dist-server/service/twin-audit/twin-audit-event.js.map +1 -1
- package/dist-server/service/twin-audit/twin-audit-query.js +1 -1
- package/dist-server/service/twin-audit/twin-audit-query.js.map +1 -1
- package/dist-server/service/twin-control/twin-control-mutation.js +1 -1
- package/dist-server/service/twin-control/twin-control-mutation.js.map +1 -1
- package/dist-server/service/twin-event/twin-event-keys.d.ts +22 -2
- package/dist-server/service/twin-event/twin-event-keys.js +37 -5
- package/dist-server/service/twin-event/twin-event-keys.js.map +1 -1
- package/dist-server/service/twin-event/twin-event-type.d.ts +1 -0
- package/dist-server/service/twin-event/twin-event-type.js +8 -1
- package/dist-server/service/twin-event/twin-event-type.js.map +1 -1
- package/dist-server/service/twin-event/twin-event.d.ts +2 -2
- package/dist-server/service/twin-event/twin-event.js +32 -4
- package/dist-server/service/twin-event/twin-event.js.map +1 -1
- package/dist-server/service/twin-forecast/forecast-metrics.js +1 -1
- package/dist-server/service/twin-forecast/forecast-metrics.js.map +1 -1
- package/dist-server/service/twin-forecast/gap-analytics.d.ts +1 -1
- package/dist-server/service/twin-forecast/gap-analytics.js.map +1 -1
- package/dist-server/service/twin-forecast/twin-forecast-query.js +29 -11
- package/dist-server/service/twin-forecast/twin-forecast-query.js.map +1 -1
- package/dist-server/service/twin-ingest-window/twin-ingest-window-query.d.ts +1 -1
- package/dist-server/service/twin-ingest-window/twin-ingest-window-query.js +1 -1
- package/dist-server/service/twin-ingest-window/twin-ingest-window-query.js.map +1 -1
- package/dist-server/service/twin-ingest-window/twin-ingest-window-writer.js +1 -1
- package/dist-server/service/twin-ingest-window/twin-ingest-window-writer.js.map +1 -1
- package/dist-server/service/twin-instance/twin-instance.js.map +1 -1
- package/dist-server/service/twin-journal/event-type-split-shape.d.ts +50 -0
- package/dist-server/service/twin-journal/event-type-split-shape.js +111 -0
- package/dist-server/service/twin-journal/event-type-split-shape.js.map +1 -0
- package/dist-server/service/twin-journal/event-type-split.d.ts +15 -0
- package/dist-server/service/twin-journal/event-type-split.js +102 -0
- package/dist-server/service/twin-journal/event-type-split.js.map +1 -0
- package/dist-server/service/twin-journal/journal-order.d.ts +15 -0
- package/dist-server/service/twin-journal/journal-order.js +17 -0
- package/dist-server/service/twin-journal/journal-order.js.map +1 -0
- package/dist-server/service/twin-journal/twin-journal-query.d.ts +5 -5
- package/dist-server/service/twin-journal/twin-journal-query.js +232 -21
- package/dist-server/service/twin-journal/twin-journal-query.js.map +1 -1
- package/dist-server/service/twin-lifecycle/twin-lifecycle-mutation.d.ts +27 -1
- package/dist-server/service/twin-lifecycle/twin-lifecycle-mutation.js +59 -3
- package/dist-server/service/twin-lifecycle/twin-lifecycle-mutation.js.map +1 -1
- package/dist-server/service/twin-metrics/twin-metrics-query.js +14 -1
- package/dist-server/service/twin-metrics/twin-metrics-query.js.map +1 -1
- package/dist-server/service/twin-model/axis-journal-evidence.js +1 -1
- package/dist-server/service/twin-model/axis-journal-evidence.js.map +1 -1
- package/dist-server/service/twin-model/epcis-coverage.js +36 -1
- package/dist-server/service/twin-model/epcis-coverage.js.map +1 -1
- package/dist-server/service/twin-model/iec61850-coverage.js +1 -1
- package/dist-server/service/twin-model/iec61850-coverage.js.map +1 -1
- package/dist-server/service/twin-model/isa95-coverage.d.ts +15 -2
- package/dist-server/service/twin-model/isa95-coverage.js +32 -8
- package/dist-server/service/twin-model/isa95-coverage.js.map +1 -1
- package/dist-server/service/twin-model/item-ref.js +2 -2
- package/dist-server/service/twin-model/item-ref.js.map +1 -1
- package/dist-server/service/twin-model/name-index.d.ts +1 -1
- package/dist-server/service/twin-model/name-index.js +1 -1
- package/dist-server/service/twin-model/name-index.js.map +1 -1
- package/dist-server/service/twin-model/project-structure.d.ts +1 -1
- package/dist-server/service/twin-model/project-structure.js +3 -3
- package/dist-server/service/twin-model/project-structure.js.map +1 -1
- package/dist-server/service/twin-model/twin-equipment.d.ts +1 -1
- package/dist-server/service/twin-model/twin-equipment.js +1 -1
- package/dist-server/service/twin-model/twin-equipment.js.map +1 -1
- package/dist-server/service/twin-model/twin-lineage-query.js +16 -5
- package/dist-server/service/twin-model/twin-lineage-query.js.map +1 -1
- package/dist-server/service/twin-model/twin-location.d.ts +1 -1
- package/dist-server/service/twin-model/twin-location.js.map +1 -1
- package/dist-server/service/twin-model/twin-model-item-query.d.ts +3 -3
- package/dist-server/service/twin-model/twin-model-item-query.js +14 -14
- package/dist-server/service/twin-model/twin-model-item-query.js.map +1 -1
- package/dist-server/service/twin-model/twin-model-mutation.d.ts +2 -2
- package/dist-server/service/twin-model/twin-model-mutation.js +4 -4
- package/dist-server/service/twin-model/twin-model-mutation.js.map +1 -1
- package/dist-server/service/twin-model/twin-model-query.js +117 -28
- package/dist-server/service/twin-model/twin-model-query.js.map +1 -1
- package/dist-server/service/twin-model/twin-model-tree-query.js +22 -0
- package/dist-server/service/twin-model/twin-model-tree-query.js.map +1 -1
- package/dist-server/service/twin-model/twin-operation.d.ts +1 -1
- package/dist-server/service/twin-model/twin-operation.js +1 -1
- package/dist-server/service/twin-model/twin-operation.js.map +1 -1
- package/dist-server/service/twin-space/move-space.js +2 -2
- package/dist-server/service/twin-space/move-space.js.map +1 -1
- package/dist-server/service/twin-space/representation-role.d.ts +2 -0
- package/dist-server/service/twin-space/representation-role.js +18 -0
- package/dist-server/service/twin-space/representation-role.js.map +1 -0
- package/dist-server/service/twin-space/space-integrity.d.ts +1 -1
- package/dist-server/service/twin-space/space-integrity.js.map +1 -1
- package/dist-server/service/twin-space/twin-space-representation.d.ts +2 -0
- package/dist-server/service/twin-space/twin-space-representation.js +16 -0
- package/dist-server/service/twin-space/twin-space-representation.js.map +1 -1
- package/dist-server/service/twin-space/twin-space-resolver.d.ts +2 -2
- package/dist-server/service/twin-space/twin-space-resolver.js +36 -7
- package/dist-server/service/twin-space/twin-space-resolver.js.map +1 -1
- package/dist-server/service/twin-structure/twin-structure.js +3 -3
- package/dist-server/service/twin-structure/twin-structure.js.map +1 -1
- package/dist-server/service/twin-subject/event-subjects.d.ts +43 -0
- package/dist-server/service/twin-subject/event-subjects.js +137 -0
- package/dist-server/service/twin-subject/event-subjects.js.map +1 -0
- package/dist-server/service/twin-subject/index.d.ts +9 -0
- package/dist-server/service/twin-subject/index.js +16 -0
- package/dist-server/service/twin-subject/index.js.map +1 -0
- package/dist-server/service/twin-subject/item-resolver.d.ts +10 -0
- package/dist-server/service/twin-subject/item-resolver.js +93 -0
- package/dist-server/service/twin-subject/item-resolver.js.map +1 -0
- package/dist-server/service/twin-subject/subject-query-shape.d.ts +22 -0
- package/dist-server/service/twin-subject/subject-query-shape.js +88 -0
- package/dist-server/service/twin-subject/subject-query-shape.js.map +1 -0
- package/dist-server/service/twin-subject/twin-subject-backfill.d.ts +23 -0
- package/dist-server/service/twin-subject/twin-subject-backfill.js +159 -0
- package/dist-server/service/twin-subject/twin-subject-backfill.js.map +1 -0
- package/dist-server/service/twin-subject/twin-subject-event.d.ts +14 -0
- package/dist-server/service/twin-subject/twin-subject-event.js +111 -0
- package/dist-server/service/twin-subject/twin-subject-event.js.map +1 -0
- package/dist-server/service/twin-subject/twin-subject-fast-path.d.ts +39 -0
- package/dist-server/service/twin-subject/twin-subject-fast-path.js +295 -0
- package/dist-server/service/twin-subject/twin-subject-fast-path.js.map +1 -0
- package/dist-server/service/twin-subject/twin-subject-query.d.ts +27 -0
- package/dist-server/service/twin-subject/twin-subject-query.js +232 -0
- package/dist-server/service/twin-subject/twin-subject-query.js.map +1 -0
- package/dist-server/service/twin-subject/twin-subject-writer.d.ts +27 -0
- package/dist-server/service/twin-subject/twin-subject-writer.js +166 -0
- package/dist-server/service/twin-subject/twin-subject-writer.js.map +1 -0
- package/dist-server/service/twin-target/twin-target-resolver.js +1 -1
- package/dist-server/service/twin-target/twin-target-resolver.js.map +1 -1
- package/dist-shared/entity-delta.d.ts +1 -1
- package/dist-shared/entity-delta.js +3 -3
- package/dist-shared/entity-delta.js.map +1 -1
- package/dist-shared/touched-items.js +2 -2
- package/dist-shared/touched-items.js.map +1 -1
- package/dist-shared/twin-level.js +1 -1
- package/dist-shared/twin-level.js.map +1 -1
- package/package.json +3 -3
- package/server/engine/attention-digest.ts +9 -9
- package/server/engine/canonical-ingest.ts +170 -13
- package/server/engine/command-routing.ts +1 -1
- package/server/engine/declared-stimulus.ts +1 -1
- package/server/engine/energy-topology.ts +1 -1
- package/server/engine/ingest-dedupe.ts +149 -0
- package/server/engine/ingest-health.ts +234 -20
- package/server/engine/integration-probes.ts +7 -7
- package/server/engine/kpi-baseline.ts +4 -4
- package/server/engine/kpi-fold.ts +395 -27
- package/server/engine/kpi-query.ts +212 -46
- package/server/engine/live-feed-registry.ts +1 -1
- package/server/engine/load-meter.ts +1 -1
- package/server/engine/local-declarations.ts +13 -13
- package/server/engine/log.ts +1 -1
- package/server/engine/measured-estimator.ts +1 -1
- package/server/engine/measured-yield.ts +1 -1
- package/server/engine/model-basis.ts +2 -2
- package/server/engine/model-gap.ts +3 -3
- package/server/engine/model-vocabulary.ts +1 -1
- package/server/engine/oee-accumulator.ts +4 -4
- package/server/engine/property-effects.ts +2 -2
- package/server/engine/read-time.ts +77 -0
- package/server/engine/restart-policy.ts +1 -1
- package/server/engine/runtime-key.ts +1 -1
- package/server/engine/spec-coverage.ts +3 -3
- package/server/engine/stage-path.ts +5 -5
- package/server/engine/state-axes.ts +2 -2
- package/server/engine/travel-estimator.ts +2 -2
- package/server/engine/twin-engine.ts +764 -201
- package/server/engine/warm-start.ts +6 -6
- package/server/index.ts +1 -1
- package/server/migrations/1786000000000-RenameTwinInstanceBoardToModel.ts +1 -1
- package/server/migrations/1786100000000-PromoteEventActionAndSyncWarnings.ts +3 -3
- package/server/migrations/1786200000000-CarryLiveFeedCursor.ts +2 -2
- package/server/migrations/1786300000000-IndexEventTypeByTime.ts +48 -0
- package/server/migrations/1786400000000-IndexEventCreatedAt.ts +38 -0
- package/server/migrations/1786500000000-CreateTwinSubjectEvents.ts +93 -0
- package/server/migrations/index.ts +7 -1
- package/server/routes.ts +68 -5
- package/server/service/index.ts +4 -1
- package/server/service/reference/control-routing.ts +1 -1
- package/server/service/reference/discovery-result.ts +3 -3
- package/server/service/reference/hook-contract.ts +103 -0
- package/server/service/reference/ingest-space.ts +4 -4
- package/server/service/reference/knob-defaults.ts +4 -4
- package/server/service/reference/reference-adapter.ts +166 -9
- package/server/service/reference/reference-hook.ts +145 -0
- package/server/service/reference/reference-live.ts +92 -14
- package/server/service/reference/reference-master.ts +39 -17
- package/server/service/reference/reference-resolver.ts +10 -10
- package/server/service/reference/twin-reference.ts +3 -3
- package/server/service/twin-attention/twin-attention-query.ts +1 -1
- package/server/service/twin-audit/command-audit.ts +1 -1
- package/server/service/twin-audit/twin-audit-event.ts +2 -2
- package/server/service/twin-audit/twin-audit-query.ts +1 -1
- package/server/service/twin-control/twin-control-mutation.ts +1 -1
- package/server/service/twin-event/twin-event-keys.ts +37 -5
- package/server/service/twin-event/twin-event-type.ts +18 -1
- package/server/service/twin-event/twin-event.ts +32 -6
- package/server/service/twin-forecast/forecast-metrics.ts +1 -1
- package/server/service/twin-forecast/gap-analytics.ts +1 -1
- package/server/service/twin-forecast/twin-forecast-query.ts +30 -11
- package/server/service/twin-ingest-window/twin-ingest-window-query.ts +1 -1
- package/server/service/twin-ingest-window/twin-ingest-window-writer.ts +1 -1
- package/server/service/twin-instance/twin-instance.ts +4 -4
- package/server/service/twin-journal/event-type-split-shape.ts +112 -0
- package/server/service/twin-journal/event-type-split.ts +144 -0
- package/server/service/twin-journal/journal-order.ts +20 -0
- package/server/service/twin-journal/twin-journal-query.ts +224 -20
- package/server/service/twin-lifecycle/twin-lifecycle-mutation.ts +57 -3
- package/server/service/twin-metrics/twin-metrics-query.ts +14 -1
- package/server/service/twin-model/axis-journal-evidence.ts +1 -1
- package/server/service/twin-model/epcis-coverage.ts +36 -1
- package/server/service/twin-model/iec61850-coverage.ts +1 -1
- package/server/service/twin-model/isa95-coverage.ts +45 -8
- package/server/service/twin-model/item-ref.ts +2 -2
- package/server/service/twin-model/name-index.ts +1 -1
- package/server/service/twin-model/project-structure.ts +4 -4
- package/server/service/twin-model/twin-equipment.ts +2 -2
- package/server/service/twin-model/twin-lineage-query.ts +16 -5
- package/server/service/twin-model/twin-location.ts +1 -1
- package/server/service/twin-model/twin-model-item-query.ts +14 -14
- package/server/service/twin-model/twin-model-mutation.ts +4 -4
- package/server/service/twin-model/twin-model-query.ts +117 -28
- package/server/service/twin-model/twin-model-tree-query.ts +25 -1
- package/server/service/twin-model/twin-operation.ts +2 -2
- package/server/service/twin-space/move-space.ts +3 -3
- package/server/service/twin-space/representation-role.ts +15 -0
- package/server/service/twin-space/space-integrity.ts +1 -1
- package/server/service/twin-space/twin-space-representation.ts +37 -0
- package/server/service/twin-space/twin-space-resolver.ts +39 -7
- package/server/service/twin-structure/twin-structure.ts +3 -3
- package/server/service/twin-subject/event-subjects.ts +155 -0
- package/server/service/twin-subject/index.ts +10 -0
- package/server/service/twin-subject/item-resolver.ts +92 -0
- package/server/service/twin-subject/subject-query-shape.ts +84 -0
- package/server/service/twin-subject/twin-subject-backfill.ts +196 -0
- package/server/service/twin-subject/twin-subject-event.ts +101 -0
- package/server/service/twin-subject/twin-subject-fast-path.ts +346 -0
- package/server/service/twin-subject/twin-subject-query.ts +210 -0
- package/server/service/twin-subject/twin-subject-writer.ts +189 -0
- package/server/service/twin-target/twin-target-resolver.ts +1 -1
- package/shared/entity-delta.ts +3 -3
- package/shared/touched-items.ts +2 -2
- package/shared/twin-level.ts +1 -1
- package/test/adopt-structure-live.test.ts +3 -3
- package/test/aggregate-not-findone.test.ts +112 -0
- package/test/attention-digest.test.ts +6 -6
- package/test/axis-read.test.ts +2 -2
- package/test/boot-resume.test.ts +20 -7
- package/test/broadcast-period.test.ts +2 -2
- package/test/broadcast-queue-overflow.test.ts +244 -0
- package/test/canonical-ingest-vocabularies.test.ts +179 -7
- package/test/canonical-quantity-door.test.ts +2 -2
- package/test/checkpoint-refuses-empty.test.ts +2 -2
- package/test/connector-capability-declaration.test.ts +88 -0
- package/test/control-capability.test.ts +1 -1
- package/test/cursor-stall-not-read-failure.test.ts +2 -2
- package/test/declaration-reaches-model.test.ts +5 -5
- package/test/declared-stimulus.test.ts +4 -4
- package/test/discovery-result.test.ts +2 -2
- package/test/entity-delta.test.ts +4 -4
- package/test/event-subjects.test.ts +147 -0
- package/test/event-time-column.test.ts +3 -3
- package/test/event-type-split.test.ts +155 -0
- package/test/fold-gap-speaks.test.ts +53 -0
- package/test/forecast-metrics.test.ts +1 -1
- package/test/forecast-tuning.test.ts +1 -1
- package/test/ingest-health-engine.test.ts +2 -2
- package/test/ingest-health-wiring.test.ts +7 -5
- package/test/ingest-health.test.ts +6 -6
- package/test/ingest-history.test.ts +2 -2
- package/test/ingest-idempotent.test.ts +132 -0
- package/test/ingest-space.test.ts +3 -3
- package/test/integration-probes.test.ts +3 -3
- package/test/integration-runner.test.ts +1 -1
- package/test/item-ref.test.ts +1 -1
- package/test/journal-order-axis.test.ts +80 -0
- package/test/journal-read-discipline.test.ts +16 -6
- package/test/journal-retention.test.ts +171 -29
- package/test/journal-sort-axis.test.ts +1 -1
- package/test/journal-write-door.test.ts +3 -3
- package/test/journal-write-trend.test.ts +1 -1
- package/test/kernel-kind-guard.test.ts +3 -3
- package/test/knob-defaults.test.ts +1 -1
- package/test/kpi-baseline-db.test.ts +2 -2
- package/test/kpi-fold.test.ts +185 -14
- package/test/kpi-query-bench.test.ts +3 -3
- package/test/live-cursor-wiring.test.ts +6 -6
- package/test/live-kernel-facts.test.ts +11 -11
- package/test/live-mirror-parity.test.ts +3 -3
- package/test/load-meter.test.ts +1 -1
- package/test/local-declarations.test.ts +10 -10
- package/test/log-stamp.test.ts +1 -1
- package/test/measured-yield.test.ts +2 -2
- package/test/merge-streams.test.ts +70 -0
- package/test/mirror-resumes-from-checkpoint.test.ts +13 -13
- package/test/model-basis.test.ts +2 -2
- package/test/model-gap.test.ts +4 -4
- package/test/model-vocabulary.test.ts +2 -2
- package/test/move-space.test.ts +1 -1
- package/test/oee-accumulator.test.ts +2 -2
- package/test/operational-vocabulary.test.ts +2 -2
- package/test/project-structure-db.test.ts +2 -2
- package/test/projection-reaches-screen.test.ts +2 -2
- package/test/property-effects.test.ts +3 -3
- package/test/read-failure-ledger.test.ts +106 -0
- package/test/read-failure-visible.test.ts +7 -7
- package/test/read-time.test.ts +118 -0
- package/test/reference-grounding.test.ts +1 -1
- package/test/reference-hook.test.ts +86 -0
- package/test/registry-key-guard.test.ts +1 -1
- package/test/rename-twin.test.ts +81 -0
- package/test/restart-policy.test.ts +3 -3
- package/test/resync-origin-site.test.ts +3 -3
- package/test/revision-axis.test.ts +14 -8
- package/test/runtime-key.test.ts +3 -3
- package/test/snapshot-freshness.test.ts +4 -4
- package/test/source-outcome-audit.test.ts +1 -1
- package/test/space-integrity.test.ts +1 -1
- package/test/space-representation.test.ts +66 -0
- package/test/space-scope-includes-stopped.test.ts +55 -0
- package/test/spec-coverage.test.ts +1 -1
- package/test/standard-coverage.test.ts +43 -1
- package/test/status-tally.test.ts +1 -1
- package/test/structure-revision-db.test.ts +7 -7
- package/test/subject-fast-path.test.ts +148 -0
- package/test/subject-read-model.test.ts +175 -0
- package/test/touched-items.test.ts +2 -2
- package/test/twin-audit.test.ts +1 -1
- package/test/twin-event-keys.test.ts +49 -3
- package/test/twin-model-item-db.test.ts +5 -5
- package/test/twin-model-tree-db.test.ts +35 -2
- package/test/twin-origin-resync.test.ts +1 -1
- package/test/warm-start-seam.test.ts +1 -1
- package/test/warm-start.test.ts +6 -6
- package/test/withheld-door.test.ts +95 -0
- package/test/yield-loop.test.ts +4 -4
- package/tsconfig.shared.tsbuildinfo +1 -1
- package/tsconfig.tsbuildinfo +1 -1
|
@@ -10,12 +10,15 @@
|
|
|
10
10
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
11
11
|
exports.TwinEngine = void 0;
|
|
12
12
|
const log_js_1 = require("./log.js");
|
|
13
|
+
const read_time_js_1 = require("./read-time.js");
|
|
13
14
|
const shell_1 = require("@things-factory/shell");
|
|
14
15
|
/* 저널을 자를 조건은 SQL 이 안다 — 관용구만 쓴다(원시 SQL 은 5개 드라이버에서 갈라진다). */
|
|
15
16
|
const typeorm_1 = require("typeorm");
|
|
16
17
|
const cache_service_1 = require("@things-factory/cache-service");
|
|
17
18
|
const twin_event_js_1 = require("../service/twin-event/twin-event.js");
|
|
18
19
|
const twin_event_keys_js_1 = require("../service/twin-event/twin-event-keys.js");
|
|
20
|
+
const twin_subject_writer_js_1 = require("../service/twin-subject/twin-subject-writer.js");
|
|
21
|
+
const item_resolver_js_1 = require("../service/twin-subject/item-resolver.js");
|
|
19
22
|
const warm_start_js_1 = require("./warm-start.js");
|
|
20
23
|
const local_declarations_js_1 = require("./local-declarations.js");
|
|
21
24
|
const runtime_key_js_1 = require("./runtime-key.js");
|
|
@@ -50,6 +53,7 @@ const live_attentions_js_1 = require("./live-attentions.js");
|
|
|
50
53
|
const attention_digest_js_1 = require("./attention-digest.js");
|
|
51
54
|
const live_feed_registry_js_1 = require("./live-feed-registry.js");
|
|
52
55
|
const ingest_health_js_1 = require("./ingest-health.js");
|
|
56
|
+
const ingest_dedupe_js_1 = require("./ingest-dedupe.js");
|
|
53
57
|
const twin_kernel_1 = require("@operato/twin-kernel");
|
|
54
58
|
/* 커널 런타임 로드 — CJS 번들(dist-cjs). 타입은 위 import type 로. replay = 이벤트열→상태 재구성(복구·시간여행). */
|
|
55
59
|
const { WmsKernel, YmsKernel, MesKernel, EmsKernel, TwinRuntime, StateProjector, replay, replayFrom, replayWithCheckpoint, replaySegments, readBoardLocations, readBoardEquipment, DOMAIN_CATALOG, OP_EVENT, validateScenario } = require('@operato/twin-kernel');
|
|
@@ -95,11 +99,11 @@ function parseTime(v) {
|
|
|
95
99
|
* 종류 문자열 → 커널. **모르는 값이면 오류를 낸다.**
|
|
96
100
|
*
|
|
97
101
|
* 예전에는 표를 찾고 없으면 WmsKernel 로 떨어졌다. `kind` 는 검증 없는 자유 문자열(`@Arg('kind') kind: string`)
|
|
98
|
-
* 이라 오타 하나·대소문자 하나로 야드/생산 트윈이
|
|
102
|
+
* 이라 오타 하나·대소문자 하나로 야드/생산 트윈이 **오류 없이 창고 커널로 돌았다.** 오류가 없으니 화면에는
|
|
99
103
|
* 트윈이 정상으로 보이고, 안에서 도는 규칙만 다른 도메인의 것이다. 예측 경로가 가장 나쁘다 —
|
|
100
104
|
* 야드의 미래를 창고 규칙으로 실행해 놓고 숫자만 뜬다.
|
|
101
105
|
*
|
|
102
|
-
* 틀린 공장을
|
|
106
|
+
* 틀린 공장을 알리지 않고 띄우는 것보다 뜨지 않는 편이 낫다.
|
|
103
107
|
*/
|
|
104
108
|
function kernelFor(kind) {
|
|
105
109
|
const K = KERNELS[kind];
|
|
@@ -113,16 +117,34 @@ let observeUnavailableWarned = false;
|
|
|
113
117
|
* **이 커널의 진실이 원본에서 온다고 선언한다** — 그리고 선언이 닿지 않았으면 말한다.
|
|
114
118
|
*
|
|
115
119
|
* ── 무엇이 틀렸나 (2026-08-21) ──────────────────────────────────────────────
|
|
116
|
-
* 예전에는 `kernel.observe?.()` 였다. 옵셔널 호출이라 **메서드가 없으면
|
|
120
|
+
* 예전에는 `kernel.observe?.()` 였다. 옵셔널 호출이라 **메서드가 없으면 알리지 않고 아무것도 하지 않는다.**
|
|
117
121
|
* 설치된 커널 0.7.39 에는 그 메서드가 없으므로, 지금 배포본에서는 미러가 관측 구동으로 선언되지
|
|
118
122
|
* 않는다 — 그런데 코드를 읽으면 선언한 것처럼 보인다.
|
|
119
123
|
*
|
|
120
124
|
* 그 차이가 실제 거동을 가른다: 관측 구동은 원본의 빈틈을 받아들이고 세지만, 시뮬로 오인된 미러는
|
|
121
|
-
* **멈춘다.** 즉 「관용이 켜진 줄 알았는데 안 켜져 있다」가
|
|
125
|
+
* **멈춘다.** 즉 「관용이 켜진 줄 알았는데 안 켜져 있다」가 알리지 않고 지나가고, 장애가 났을 때 원인이
|
|
122
126
|
* 커널에 있는 것처럼 보인다 — 원인은 버전이다.
|
|
123
127
|
*
|
|
124
128
|
* 그래서 옵셔널 호출을 없애고, 없으면 **한 번 경고한다.** 커널이 배포되면 이 경고는 사라진다.
|
|
125
129
|
*/
|
|
130
|
+
/**
|
|
131
|
+
* 저장된 기록을 **도는 동안과 같은 코드로** 처리하게 한다 (2026-08-27).
|
|
132
|
+
*
|
|
133
|
+
* ── 무엇이 틀렸나 ───────────────────────────────────────────────────────────
|
|
134
|
+
* 도는 동안 사건을 처리하는 것은 도메인 커널이다(`startLive` 가 `new Kernel(...)` 을 세운다). 그런데
|
|
135
|
+
* 저장된 기록으로 과거 시점 상태를 만드는 경로는 커널 종류를 넘기지 않아서 도메인 규칙 없이
|
|
136
|
+
* 처리했다. 그 결과 「어제 오후 3시에 이 발전소가 어땠나」를 물으면 발전량과 계량이 늘 비어 있었다 —
|
|
137
|
+
* 받아서 저장까지 해 둔 값인데 읽는 쪽이 건너뛴 것이다.
|
|
138
|
+
*
|
|
139
|
+
* 종류는 모델에 없다(등록부가 든다). 그래서 호스트가 말해 준다.
|
|
140
|
+
*/
|
|
141
|
+
function replayOptions(reg, domainId) {
|
|
142
|
+
return {
|
|
143
|
+
kind: reg?.kind,
|
|
144
|
+
productionSpec: reg?.model?.productionSpec,
|
|
145
|
+
tenantId: domainId
|
|
146
|
+
};
|
|
147
|
+
}
|
|
126
148
|
function declareObserved(kernel, what) {
|
|
127
149
|
if (typeof kernel?.observe === 'function') {
|
|
128
150
|
kernel.observe();
|
|
@@ -158,7 +180,7 @@ class TwinEngine {
|
|
|
158
180
|
*
|
|
159
181
|
* 판정을 예산(500ms)이 아니라 **굶김 문턱**으로 따로 둔다: 조금 느린 트윈은 계기판이 말하게 두고
|
|
160
182
|
* (경고), 호스트를 굶기는 트윈만 멈춘다. 한 번으로 멈추지 않는다 — 웜스타트 직후의 첫 틱은 원래
|
|
161
|
-
* 무겁다(복구한 상태를 처음
|
|
183
|
+
* 무겁다(복구한 상태를 처음 계산한다). **연속**으로 이어질 때가 구조적으로 느린 것이다.
|
|
162
184
|
*/
|
|
163
185
|
/*
|
|
164
186
|
* ── 틱을 **한 순간에 몰지 않는다** (2026-08-21 실측) ────────────────────────
|
|
@@ -176,7 +198,7 @@ class TwinEngine {
|
|
|
176
198
|
/**
|
|
177
199
|
* 흩어진 첫 발화 뒤 주기 틱. **핸들은 항상 진짜 타이머**다 — 정지하는 쪽이 `clearInterval(inst.timer)`
|
|
178
200
|
* 하나로 끝내야 하므로, 첫 발화 전에는 그 `setTimeout` 을, 이후에는 `setInterval` 을 같은 자리에 둔다
|
|
179
|
-
* (감싼 객체를 주면 `clearInterval` 이 아무 일도 하지 않고 트윈이 멈추지 않는다 —
|
|
201
|
+
* (감싼 객체를 주면 `clearInterval` 이 아무 일도 하지 않고 트윈이 멈추지 않는다 — 들어온 것이 없는 결함이 된다).
|
|
180
202
|
*/
|
|
181
203
|
static startTickTimer(fn, hold) {
|
|
182
204
|
const spread = Math.max(1, Math.round(this.TICK_MS / 20));
|
|
@@ -207,7 +229,7 @@ class TwinEngine {
|
|
|
207
229
|
* 저널은 그대로 진실(시간여행/history replay 무변경) — 캐시는 display-only 웜스타트 최적화. */
|
|
208
230
|
static { this.SNAPSHOT_CACHE_ID = 'twin-snapshot'; }
|
|
209
231
|
/*
|
|
210
|
-
* ── 재개점 **사슬** — 과거를 물었을 때 목표 직전에서
|
|
232
|
+
* ── 재개점 **사슬** — 과거를 물었을 때 목표 직전에서 계산 위해 (2026-08-18) ──
|
|
211
233
|
*
|
|
212
234
|
* 최신 재개점 하나로는 시간여행을 도울 수 없다: 그것은 언제나 목표보다 **뒤**에 있다. 그래서 지점을
|
|
213
235
|
* 여러 개 남긴다. 다만 그것들은 각각 상태 전체를 들고 있어 무겁다 — 한 행에 몰아 넣으면 거대한
|
|
@@ -215,13 +237,20 @@ class TwinEngine {
|
|
|
215
237
|
*
|
|
216
238
|
* 간격은 리비전 눈금으로 잡는다(`CHAIN_STRIDE`): 눈금을 넘을 때만 한 지점을 남기므로, 저널이 빠르게
|
|
217
239
|
* 자라는 트윈에서도 지점 수가 폭발하지 않는다. 오래된 것부터 버리고 최근 `CHAIN_KEEP` 개만 든다 —
|
|
218
|
-
* 과거로 깊이 갈수록 지점이 없어 0부터
|
|
240
|
+
* 과거로 깊이 갈수록 지점이 없어 0부터 계산하는 것은 **알려진 한계**다(무한 보관보다 정직하다).
|
|
219
241
|
*/
|
|
220
242
|
static { this.CHAIN_CACHE_ID = 'twin-fold-chain'; }
|
|
221
243
|
static { this.CHAIN_INDEX_CACHE_ID = 'twin-fold-chain-index'; }
|
|
222
244
|
static { this.CHAIN_STRIDE = 5000; } // 리비전 눈금 — 이 간격을 넘을 때만 한 지점을 남긴다
|
|
223
|
-
static { this.CHAIN_KEEP = 5; } // 최근 몇 지점을 들고 있나(그보다 과거는 0부터
|
|
245
|
+
static { this.CHAIN_KEEP = 5; } // 최근 몇 지점을 들고 있나(그보다 과거는 0부터 계산한다)
|
|
224
246
|
static { this.SNAPSHOT_TTL_S = 7 * 24 * 3600; } // 7일 — 정상 다운타임 생존, 만료 시 저널 replay 폴백
|
|
247
|
+
/**
|
|
248
|
+
* 멈춘 트윈의 마지막 상태를 두는 기간 — 사실상 만료 없음 (2026-08-27).
|
|
249
|
+
*
|
|
250
|
+
* 캐시 계층에 「만료 없음」을 뜻하는 값이 없어서 큰 수를 쓴다(`ICacheService` 는 초 단위 TTL 하나만
|
|
251
|
+
* 받는다). 100년이면 이 시스템의 수명보다 길다.
|
|
252
|
+
*/
|
|
253
|
+
static { this.SNAPSHOT_KEEP_S = 100 * 365 * 24 * 3600; }
|
|
225
254
|
static { this.CHECKPOINT_MS = 20000; } // 체크포인트 주기(핫 브로드캐스트 경로와 분리, O(state) 스로틀)
|
|
226
255
|
/**
|
|
227
256
|
* **저널 보존 — 지우는 것은 선언이 있을 때만 한다.**
|
|
@@ -234,28 +263,39 @@ class TwinEngine {
|
|
|
234
263
|
* ── 그런데 저널을 지우는 것은 사실을 잃는 일이다 ──────────────────────────
|
|
235
264
|
* 그래서 세 규율을 지킨다.
|
|
236
265
|
*
|
|
237
|
-
* ① **선언이 없으면 아무것도 지우지 않는다.** 기본값은 없음이다 —
|
|
266
|
+
* ① **선언이 없으면 아무것도 지우지 않는다.** 기본값은 없음이다 — 알리지 않고 지우는 편이 알리지 않고 쌓는
|
|
238
267
|
* 것보다 나쁘다. 지우는 것은 사람이 정한다.
|
|
239
268
|
* ② **체크포인트가 대신할 수 있는 만큼만.** 스냅샷이 없거나 그 리비전을 넘는 자리는 건드리지 않는다.
|
|
240
269
|
* 주석이 「만료 시 저널 replay 폴백」이라고 적어 둔 그대로 — 스냅샷이 사라지면 저널이 **유일한**
|
|
241
270
|
* 복구 수단이므로, 둘을 함께 잃으면 그 트윈의 상태는 되돌릴 수 없다.
|
|
242
|
-
* ③ **지운 것을 말한다.** 몇 건을 어느 시각까지 지웠는지 로그에 남긴다.
|
|
271
|
+
* ③ **지운 것을 말한다.** 몇 건을 어느 시각까지 지웠는지 로그에 남긴다. 알리지 않고 줄어든 저널은
|
|
243
272
|
* 「없었던 일」과 구별되지 않는다.
|
|
244
273
|
*
|
|
245
274
|
* 그리고 보존 기간은 **스냅샷 TTL(7일)보다 짧을 수 없다.** 더 짧으면 스냅샷이 살아 있는데 그것이
|
|
246
|
-
* 가리키는 앞쪽 저널이 없는 구간이 생기고, 시간여행·계보 추적이 그 구간에서
|
|
275
|
+
* 가리키는 앞쪽 저널이 없는 구간이 생기고, 시간여행·계보 추적이 그 구간에서 알리지 않고 빈다.
|
|
247
276
|
*/
|
|
248
277
|
static { this.JOURNAL_RETENTION_DAYS = undefined; }
|
|
249
278
|
static { this.RETENTION_SWEEP_MS = 10 * 60 * 1000; } // 10분마다 한 번 — 지우는 일은 급하지 않다
|
|
250
279
|
/** 최신 스냅샷을 cache-service 에 체크포인트(도메인+instanceId 키). display-only·비차단·오류흡수. */
|
|
251
|
-
static async persistSnapshot(domainId, instanceId
|
|
280
|
+
static async persistSnapshot(domainId, instanceId,
|
|
281
|
+
/**
|
|
282
|
+
* 만료를 두지 않는다 — **트윈을 멈출 때만** 참이다 (2026-08-27).
|
|
283
|
+
*
|
|
284
|
+
* 도는 트윈은 주기적으로 다시 쓰므로 7일 만료가 걸리지 않는다. 멈춘 트윈은 아무도 쓰지 않아서
|
|
285
|
+
* 7일 뒤 만료되고, 그러면 그 트윈의 마지막 상태를 아는 것이 아무것도 없다. 멈추는 순간이 그
|
|
286
|
+
* 상태가 메모리에 있는 마지막 순간이므로 그때 만료 없이 적는다.
|
|
287
|
+
*
|
|
288
|
+
* 만료된 뒤에도 그 트윈은 보관된 구간에서 다시 세워진다(보관 기간만큼이므로 유한하다). 다만 그
|
|
289
|
+
* 구간 앞의 상태는 알 수 없다. 멈추는 순간에 적어 두면 그 손실이 없다.
|
|
290
|
+
*/
|
|
291
|
+
keepForever = false) {
|
|
252
292
|
const inst = this.instances[(0, runtime_key_js_1.runtimeKey)(domainId, instanceId)];
|
|
253
293
|
if (!inst)
|
|
254
294
|
return;
|
|
255
295
|
/*
|
|
256
296
|
* **봉투가 아니라 상태를 저장한다.** `snapshot()` 은 시뮬에서 `runtime.resync()` 봉투를 주는데,
|
|
257
297
|
* 그것을 다시 `{revision, state}` 로 감싸 넣어 왔다 → 꺼낸 값에 축이 하나도 없어 웜스타트가
|
|
258
|
-
*
|
|
298
|
+
* 알리지 않고 넘어갔다(저널에 수천 건이 있어도 트윈이 빈 채로 떴다).
|
|
259
299
|
*/
|
|
260
300
|
const state = (0, warm_start_js_1.unwrapState)(this.snapshot(domainId, instanceId));
|
|
261
301
|
if (!state)
|
|
@@ -278,7 +318,7 @@ class TwinEngine {
|
|
|
278
318
|
*
|
|
279
319
|
* 원본이 실제로 「다 비었다」고 말한 경우는 막지 않는다 — 그때는 유입이 있었으므로 이 문을 지난다.
|
|
280
320
|
*
|
|
281
|
-
* 그리고 **거절을 말한다**:
|
|
321
|
+
* 그리고 **거절을 말한다**: 알리지 않고 거절하면 왜 체크포인트가 낡아 가는지 아무도 모른다.
|
|
282
322
|
*/
|
|
283
323
|
if (!(inst.metrics?.ingestedTotal > 0)) {
|
|
284
324
|
const observed = (s) => (s?.items?.length ?? 0) + (s?.orders?.length ?? 0) + (s?.tasks?.length ?? 0);
|
|
@@ -297,52 +337,52 @@ class TwinEngine {
|
|
|
297
337
|
/* 구조 리비전도 함께 — 읽는 쪽이 "이 상태가 지금의 공장인가" 를 가릴 수 있어야 한다. */
|
|
298
338
|
const { structureRev } = await this.tipOf(domainId, instanceId).catch(() => ({ structureRev: null }));
|
|
299
339
|
/*
|
|
300
|
-
* ── **이어
|
|
340
|
+
* ── **이어 계산할 씨앗을 함께 적는다** (2026-08-24) ──────────────────────────
|
|
301
341
|
*
|
|
302
342
|
* 이 함수는 오랫동안 `{revision, state, structureRev}` 만 적었다. 그래서 **재개점을 읽는 쪽은 다
|
|
303
|
-
* 있는데 쓰는 쪽이 없었다**: 조회 경로(`recover`)는 `fold` 가 있으면 꼬리만
|
|
304
|
-
* 0부터
|
|
305
|
-
* 그래서 재기동·조회마다 처음부터 다시
|
|
343
|
+
* 있는데 쓰는 쪽이 없었다**: 조회 경로(`recover`)는 `fold` 가 있으면 꼬리만 계산하고, 없으면 저널을
|
|
344
|
+
* 0부터 계산한다. 실측으로 저장된 스냅샷 34건 전부 `fold` 가 비어 있었고, 저널은 2,960만 줄이었다 —
|
|
345
|
+
* 그래서 재기동·조회마다 처음부터 다시 계산했다. 규모 기준(엔티티 10만·품목 100만)에서 이것은
|
|
306
346
|
* 느린 것이 아니라 **못 하는 것**이다.
|
|
307
347
|
*
|
|
308
348
|
* 씨앗은 상태가 대신할 수 없다: 리듀서는 소비처가 보는 값 말고도 든다(부모를 기다리는 담김·집계
|
|
309
|
-
* 중인 수량·담을 줄 몰라 세어 둔 사건). 상태만 되돌리고 뒤를
|
|
349
|
+
* 중인 수량·담을 줄 몰라 세어 둔 사건). 상태만 되돌리고 뒤를 계산하면 0부터 계산한 결과와 **알리지 않고**
|
|
310
350
|
* 달라진다. 그 동치는 커널 시험이 증명한다(`observed-checkpoint.test.ts`).
|
|
311
351
|
*
|
|
312
352
|
* 관측 구동이 아니면 씨앗이 없다 — 시뮬은 리듀서를 갖지 않고, 그 상태의 권위는 커널 자신이다.
|
|
313
|
-
* 그때는 `fold` 를 **넣지 않는다**(빈 씨앗을 넣으면 읽는 쪽이 「이어
|
|
353
|
+
* 그때는 `fold` 를 **넣지 않는다**(빈 씨앗을 넣으면 읽는 쪽이 「이어 계산할 수 있다」고 잘못 본다).
|
|
314
354
|
*/
|
|
315
355
|
const reducer = inst.kernel?.observedCheckpoint?.();
|
|
316
356
|
const fold = reducer && inst.oee ? { reducer, oee: inst.oee.serialize() } : undefined;
|
|
317
|
-
await cache_service_1.cacheService.setInCache(this.SNAPSHOT_CACHE_ID, { domainId, instanceId }, { revision, state, structureRev, ...(fold ? { fold } : {}) }, this.SNAPSHOT_TTL_S);
|
|
357
|
+
await cache_service_1.cacheService.setInCache(this.SNAPSHOT_CACHE_ID, { domainId, instanceId }, { revision, state, structureRev, ...(fold ? { fold } : {}) }, keepForever ? this.SNAPSHOT_KEEP_S : this.SNAPSHOT_TTL_S);
|
|
318
358
|
}
|
|
319
359
|
/**
|
|
320
|
-
*
|
|
360
|
+
* 계산의 **재개점** — 리듀서 내부 상태 전부 + 가동 누적기.
|
|
321
361
|
*
|
|
322
|
-
* 스냅샷(`state`)은 소비처가 보는 값이라 이어
|
|
323
|
-
* 사건 집계가 없다 — 그 상태로 뒤를
|
|
362
|
+
* 스냅샷(`state`)은 소비처가 보는 값이라 이어 계산의 씨앗이 되지 못한다(보류된 담김·집합·반영 못 한
|
|
363
|
+
* 사건 집계가 없다 — 그 상태로 뒤를 계산하면 0부터 계산한 결과와 오류 없이 달라진다). 그래서 씨앗은 따로 든다.
|
|
324
364
|
*/
|
|
325
365
|
static { this.FOLD_NOTE = 'reducer + oee checkpoint — the seed for folding only the tail'; }
|
|
326
366
|
/**
|
|
327
|
-
* 재기동에 쓸 **웜스타트 씨앗**을 만든다 — 상태 + 이어
|
|
367
|
+
* 재기동에 쓸 **웜스타트 씨앗**을 만든다 — 상태 + 이어 계산할 재개점.
|
|
328
368
|
*
|
|
329
369
|
* ── 왜 이 자리가 생겼나 (2026-08-24) ──────────────────────────────────────
|
|
330
370
|
* 두 호출부가 같은 일을 조금씩 다르게 하고 있었고(겹포장을 한쪽만 벗겼다), 둘 다 **재개점을 버리고**
|
|
331
371
|
* 상태만 들고 갔다. 그래서 저장된 재개점을 읽는 쪽이 다 있는데도 재기동은 매번 저널을 처음부터
|
|
332
|
-
*
|
|
372
|
+
* 계산했다(실측: 저널 2,960만 줄).
|
|
333
373
|
*
|
|
334
374
|
* 여기서 하는 일 셋:
|
|
335
375
|
* ① 겹포장을 벗긴다 — 옛 형식으로 저장된 값이 한 번은 반드시 나온다
|
|
336
376
|
* ② **그 공장이 아직 그 공장인지** 심판한다 — 아니면 씨앗을 버린다(아래)
|
|
337
|
-
* ③ 씨앗이 저널 끝보다 앞서 있으면 **그 꼬리만
|
|
377
|
+
* ③ 씨앗이 저널 끝보다 앞서 있으면 **그 꼬리만 계산해** 끝까지 밀어 둔다
|
|
338
378
|
*
|
|
339
379
|
* ②가 필요한 이유: 재개점은 그때의 보드 위에서 만들어진 것이다. 그 뒤 구조가 바뀌었다면(자리가
|
|
340
380
|
* 빠졌다·설비가 옮겨졌다) 되세운 리듀서는 **지금 없는 자리와 설비를 든다** — 없는 냉장실이 화면에
|
|
341
381
|
* 나오고 그 자리의 판정이 계속 돌아간다. 오류 없이 틀리므로 눈에 띄지 않는다.
|
|
342
382
|
*
|
|
343
383
|
* ③이 필요한 이유: 스냅샷은 체크포인트 주기로 쓰이므로 마지막 주기 이후의 사실은 저널에만 있다.
|
|
344
|
-
* 그것을 빼고 되세우면 그만큼이
|
|
345
|
-
*
|
|
384
|
+
* 그것을 빼고 되세우면 그만큼이 오류 없이 사라진다 — 「모름」을 「없음」으로 적는 것과 같은 부류다.
|
|
385
|
+
* 계산하는 구간은 **그 틈뿐**이고(저널 전체가 아니다), `recover` 가 그 자리에서 새 재개점을 남겨 준다.
|
|
346
386
|
*/
|
|
347
387
|
static async warmSeedFor(domainId, instanceId) {
|
|
348
388
|
let cached = await this.loadSnapshot(domainId, instanceId).catch(() => null);
|
|
@@ -357,18 +397,43 @@ class TwinEngine {
|
|
|
357
397
|
`at ${tip.structureRev} — starting without it (the journal is folded from the beginning instead).`);
|
|
358
398
|
return { revision: cached.revision, state: (0, warm_start_js_1.unwrapState)(cached.state) };
|
|
359
399
|
}
|
|
360
|
-
|
|
400
|
+
/*
|
|
401
|
+
* ── **묻지 못했으면 그 사실을 말한다** (2026-08-28) ─────────────────────────
|
|
402
|
+
*
|
|
403
|
+
* 여기가 `if (tip && …)` 이었다. 위에서 `tipOf` 가 실패하면 `null` 이 되고, 그러면 이 갈래가
|
|
404
|
+
* **아무 말 없이 건너뛴다** — 저장본 뒤의 사건을 반영하지 못한 채 뜨고, 로그에 아무 흔적이 없다.
|
|
405
|
+
* 실측(2026-08-28 10:34): 저장본 3,372,228 · 저널 머리 3,374,894 인데 계산했다는 줄도, 못 했다는
|
|
406
|
+
* 줄도 없었다.
|
|
407
|
+
*/
|
|
408
|
+
if (!tip) {
|
|
409
|
+
(0, log_js_1.twinWarn)(`[twin-engine] "${instanceId}": could not read the journal tip — starting from the stored seed at revision ` +
|
|
410
|
+
`${cached.revision ?? 0} without folding what came after it. Some recent facts may be missing from state.`);
|
|
411
|
+
return { revision: cached.revision, ...seedOf(cached), state: (0, warm_start_js_1.unwrapState)(cached.state) };
|
|
412
|
+
}
|
|
413
|
+
if ((cached.revision ?? 0) < tip.revision) {
|
|
361
414
|
/*
|
|
362
|
-
* 틈을
|
|
415
|
+
* 틈을 계산한다 — `recover` 가 이 씨앗으로 **꼬리만** 계산하고, 끝 지점의 새 재개점을 남긴다.
|
|
363
416
|
* 아직 이 트윈의 런타임이 없으므로 `recover` 는 메모리 대신 저널 경로를 탄다(그것이 여기의 전제다).
|
|
364
417
|
*/
|
|
365
418
|
const gap = tip.revision - (cached.revision ?? 0);
|
|
366
|
-
|
|
419
|
+
let failed;
|
|
420
|
+
await this.recover(domainId, instanceId).catch(err => {
|
|
421
|
+
failed = err?.message ?? String(err);
|
|
422
|
+
(0, log_js_1.twinWarn)(`[twin-engine] "${instanceId}": could not fold the ${gap} event(s) after the checkpoint — ${failed}`);
|
|
423
|
+
});
|
|
367
424
|
const advanced = await this.loadSnapshot(domainId, instanceId).catch(() => null);
|
|
368
425
|
if (advanced?.state && (advanced.revision ?? 0) > (cached.revision ?? 0)) {
|
|
369
426
|
(0, log_js_1.twinLog)(`[twin-engine] "${instanceId}": folded ${gap} event(s) after the checkpoint → revision ${advanced.revision}.`);
|
|
370
427
|
cached = advanced;
|
|
371
428
|
}
|
|
429
|
+
else if (!failed) {
|
|
430
|
+
/*
|
|
431
|
+
* **아무 일도 하지 않은 것을 말한다.** 계산이 오류 없이 끝났는데 재개점이 나아가지 않았다는 뜻이고,
|
|
432
|
+
* 그러면 그 사건들의 결과가 상태에 없다. 예전에는 이 갈래가 조건에 걸리지 않아 침묵했다.
|
|
433
|
+
*/
|
|
434
|
+
(0, log_js_1.twinWarn)(`[twin-engine] "${instanceId}": folding the ${gap} event(s) after the checkpoint left the seed at revision ` +
|
|
435
|
+
`${cached.revision ?? 0} — state starts without those facts. The screens may show them as absent.`);
|
|
436
|
+
}
|
|
372
437
|
}
|
|
373
438
|
return { revision: cached.revision, state: (0, warm_start_js_1.unwrapState)(cached.state), ...seedOf(cached) };
|
|
374
439
|
}
|
|
@@ -378,10 +443,10 @@ class TwinEngine {
|
|
|
378
443
|
return entry?.value ?? null;
|
|
379
444
|
}
|
|
380
445
|
/**
|
|
381
|
-
*
|
|
446
|
+
* 계산한 상태를 스냅샷으로 남긴다 — **라이브가 아니어도.**
|
|
382
447
|
*
|
|
383
448
|
* `persistSnapshot` 은 기동 중인 인스턴스에서만 뜬다(메모리가 진실이므로 옳다). 그런데 **멈춘**
|
|
384
|
-
* 트윈을 조회할 때마다 저널을 전량 다시
|
|
449
|
+
* 트윈을 조회할 때마다 저널을 전량 다시 계산하고 있었다(23,731건짜리 트윈에서 4.6초). 그 폴드의 결과를
|
|
385
450
|
* 남겨 두면 **처음 한 번만 느리다.**
|
|
386
451
|
*
|
|
387
452
|
* `structureRev` 를 함께 적는다: 이벤트가 하나도 안 늘어도 구조를 갈아치우면(재프로비저닝) 그
|
|
@@ -401,11 +466,11 @@ class TwinEngine {
|
|
|
401
466
|
return Array.isArray(revs) ? revs.filter((r) => Number.isFinite(r)).sort((a, b) => a - b) : [];
|
|
402
467
|
}
|
|
403
468
|
/**
|
|
404
|
-
* 목표 이전의 **가장 가까운 지점**을 고른다 — 없으면 `null`(0부터
|
|
469
|
+
* 목표 이전의 **가장 가까운 지점**을 고른다 — 없으면 `null`(0부터 계산한다).
|
|
405
470
|
*
|
|
406
471
|
* 시각으로 물었으면 그 지점의 마지막 사실 시각이 목표 이내여야 한다(리비전만 보면 목표보다 뒤의
|
|
407
472
|
* 사실이 씨앗에 섞인다). 구조가 바뀐 트윈에서는 쓰지 않는다 — 마디를 건너뛴 씨앗은 그 경계의
|
|
408
|
-
* 판정을 잃는다(그 경우는 0부터
|
|
473
|
+
* 판정을 잃는다(그 경우는 0부터 계산하는 것이 옳다).
|
|
409
474
|
*/
|
|
410
475
|
static async chainSeedFor(domainId, instanceId, target) {
|
|
411
476
|
const revs = await this.chainIndex(domainId, instanceId);
|
|
@@ -456,19 +521,49 @@ class TwinEngine {
|
|
|
456
521
|
}
|
|
457
522
|
/** 이 트윈 저널의 끝 리비전 · 최신 구조 리비전 — 스냅샷이 지금의 사실인지 가리는 두 값. */
|
|
458
523
|
static async tipOf(domainId, instanceId) {
|
|
524
|
+
/*
|
|
525
|
+
* ── **관계로 묻지 않는다** (2026-08-28) ─────────────────────────────────────
|
|
526
|
+
*
|
|
527
|
+
* `findOne({ where: { domain: { id } } })` 는 관계를 가진 엔티티에서 두 단계 질의가 되고 **안쪽에
|
|
528
|
+
* 상한이 없다** — 조건에 맞는 행을 전부 만들어 놓고 밖에서 한 줄을 고른다. 이 파일이 같은 것을
|
|
529
|
+
* 실측해 적어 두었다(§`twinEvents`: 0.024초 대 12초, 저널 375만 행).
|
|
530
|
+
*
|
|
531
|
+
* 이 함수는 **부팅마다 트윈마다** 불린다. 승화푸드 저널이 337만 행이므로 그 한 번이 부팅을
|
|
532
|
+
* 붙잡는다. 관계를 컬럼으로 물으면 감싸지 않고 색인(`domain, instance, revision`)의 첫 줄로 끝난다.
|
|
533
|
+
*/
|
|
459
534
|
const [tip, newest] = await Promise.all([
|
|
460
|
-
(0, shell_1.getRepository)(twin_event_js_1.TwinEvent)
|
|
461
|
-
|
|
535
|
+
(0, shell_1.getRepository)(twin_event_js_1.TwinEvent)
|
|
536
|
+
.createQueryBuilder('e')
|
|
537
|
+
.select('e.revision', 'revision')
|
|
538
|
+
.where('e.domain = :domainId', { domainId })
|
|
539
|
+
.andWhere('e.instanceId = :instanceId', { instanceId })
|
|
540
|
+
.orderBy('e.revision', 'DESC')
|
|
541
|
+
.limit(1)
|
|
542
|
+
.getRawOne(),
|
|
543
|
+
(0, shell_1.getRepository)(twin_structure_js_1.TwinStructure)
|
|
544
|
+
.createQueryBuilder('s')
|
|
545
|
+
.select('s.rev', 'rev')
|
|
546
|
+
.where('s.domain = :domainId', { domainId })
|
|
547
|
+
.andWhere('s.instanceId = :instanceId', { instanceId })
|
|
548
|
+
.orderBy('s.rev', 'DESC')
|
|
549
|
+
.limit(1)
|
|
550
|
+
.getRawOne()
|
|
462
551
|
]);
|
|
463
|
-
|
|
552
|
+
const revision = Number(tip?.revision);
|
|
553
|
+
const structureRev = Number(newest?.rev);
|
|
554
|
+
return {
|
|
555
|
+
revision: Number.isFinite(revision) ? revision : 0,
|
|
556
|
+
structureRev: Number.isFinite(structureRev) ? structureRev : null
|
|
557
|
+
};
|
|
464
558
|
}
|
|
465
559
|
/**
|
|
466
|
-
* **저널을 보존 기간까지만
|
|
560
|
+
* **저널을 보존 기간까지만 둔다.**
|
|
467
561
|
*
|
|
468
|
-
*
|
|
562
|
+
* 지우는 조건은 하나다 — `createdAt` 이 보존 기간보다 오래됐다(**행이 쓰인 실제 시각**이 기준이다).
|
|
469
563
|
*
|
|
470
|
-
*
|
|
471
|
-
*
|
|
564
|
+
* **도는 트윈**에서만 조건이 하나 더 붙는다: `revision` 이 체크포인트 리비전 이하여야 한다. 도는
|
|
565
|
+
* 트윈은 메모리에서 이어 집계하므로, 체크포인트가 아직 반영하지 못한 사건을 지우면 그 구간이
|
|
566
|
+
* 어디에도 없어진다. 멈춘 트윈에는 이어 집계할 메모리가 없어서 이 조건이 없다.
|
|
472
567
|
*
|
|
473
568
|
* ── 왜 `eventTime` 이 아니라 `createdAt` 인가 (2026-08-22 실측으로 고침) ────
|
|
474
569
|
* 처음에 `eventTime` 으로 적었다. 그것은 **트윈의 시계**다 — 시뮬레이션은 자기 시계로 사건을 찍고,
|
|
@@ -483,9 +578,17 @@ class TwinEngine {
|
|
|
483
578
|
* `createdAt` 은 그 행이 DB 에 쓰인 시각이고 1,599만 행 전부 채워져 있다(확인함). 도메인 시각을
|
|
484
579
|
* 정책에 쓰지 않는다 — 그 둘을 섞으면 시뮬과 미러에서 같은 설정이 다르게 동작한다.
|
|
485
580
|
*
|
|
486
|
-
*
|
|
487
|
-
*
|
|
488
|
-
*
|
|
581
|
+
* ── 왜 체크포인트를 전제 조건으로 두지 않나 (2026-08-27) ───────────────────
|
|
582
|
+
* 예전에는 체크포인트가 없으면 그 트윈을 건드리지 않았다. 「저널이 유일한 복구 수단」이라는 전제
|
|
583
|
+
* 때문이었고, 그 전제가 틀렸다. 트윈이 자기 저널과 어떤 관계인지는 `restartPolicy` 가 선언한다 —
|
|
584
|
+
* `resync` 는 연결된 시스템에서 다시 읽고, `reset` 은 씨앗부터 돌리고, `resume` 은 보관된 구간에서
|
|
585
|
+
* 세운다. 셋 다 보관 기간 밖의 사건을 요구하지 않는다.
|
|
586
|
+
*
|
|
587
|
+
* 보존 기간을 7일로 선언한 것이 곧 「7일 전 상태로는 세우지 않는다」는 뜻이다. 그 전제를 지키느라
|
|
588
|
+
* 지우지 않으면, 멈춘 트윈의 저널이 영구히 남는다 — 실측으로 세 트윈에 2,900만 행이 그렇게 남았다.
|
|
589
|
+
*
|
|
590
|
+
* 「지울 수 없었다」는 사실은 그대로 센다(도는데 체크포인트가 아직 없는 경우) — 알리지 않고 넘기면
|
|
591
|
+
* 「보존이 도는데 왜 안 줄어드나」가 된다.
|
|
489
592
|
*
|
|
490
593
|
* `createdAt` 이 빈 옛 행은 **지우지 않는다**(시각을 모르는 것을 「오래됐다」로 읽지 않는다).
|
|
491
594
|
*
|
|
@@ -496,52 +599,193 @@ class TwinEngine {
|
|
|
496
599
|
const perDomain = this.retentionDaysOf ? await this.retentionDaysOf(domainId).catch(() => undefined) : undefined;
|
|
497
600
|
const days = perDomain ?? this.JOURNAL_RETENTION_DAYS;
|
|
498
601
|
if (!days || days <= 0)
|
|
499
|
-
return { deleted: 0, instances: 0
|
|
500
|
-
/*
|
|
501
|
-
|
|
502
|
-
|
|
503
|
-
|
|
504
|
-
|
|
505
|
-
|
|
506
|
-
|
|
602
|
+
return { deleted: 0, instances: 0 };
|
|
603
|
+
/*
|
|
604
|
+
* ── 보존 기간을 스냅샷 TTL 로 올리지 않는다 (2026-08-27) ────────────────────
|
|
605
|
+
*
|
|
606
|
+
* 여기가 `max(보존 기간, 스냅샷 TTL)` 이었다. 둘 다 7일이라 상향은 없었지만, 그 식은 두 값을
|
|
607
|
+
* 묶어 놓아서 하나를 줄이면 다른 하나가 따라오게 만든다. 두 값은 다른 것을 정한다.
|
|
608
|
+
*
|
|
609
|
+
* 보존 기간 이력을 며칠 두나
|
|
610
|
+
* 스냅샷 TTL 빠르게 세우기 위한 저장본이 며칠 사나
|
|
611
|
+
*
|
|
612
|
+
* 저장본이 만료되어도 트윈은 보관된 구간에서 세워진다. 그래서 보존 기간이 더 짧아도 성립한다.
|
|
613
|
+
*/
|
|
614
|
+
const effectiveDays = days;
|
|
507
615
|
const cutoff = new Date(Date.now() - effectiveDays * 86400 * 1000);
|
|
508
616
|
const rows = await (0, shell_1.getRepository)(twin_instance_js_1.TwinInstance).find({ where: { domain: { id: domainId } } });
|
|
509
617
|
let deleted = 0;
|
|
510
618
|
let instances = 0;
|
|
511
|
-
const skipped = [];
|
|
512
619
|
for (const r of rows) {
|
|
620
|
+
/*
|
|
621
|
+
* ── 체크포인트는 **상한**이지 전제 조건이 아니다 (2026-08-27 사용자 지시로 고침) ──
|
|
622
|
+
*
|
|
623
|
+
* 여기가 체크포인트가 없으면 건너뛰었다. 그 규칙은 「저널이 유일한 복구 수단」이라는 전제에서
|
|
624
|
+
* 나왔는데, 그 전제가 틀렸다. 트윈이 자기 저널과 어떤 관계인지는 `restartPolicy` 가 선언한다.
|
|
625
|
+
*
|
|
626
|
+
* resync 연결된 시스템에서 다시 읽는다 저널은 복구 수단이 아니다
|
|
627
|
+
* reset 씨앗부터 다시 돌린다 저널은 복구 수단이 아니다
|
|
628
|
+
* resume 저널을 이어 세운다 보관된 구간에서 세운다
|
|
629
|
+
*
|
|
630
|
+
* 셋 다 보관 기간 밖의 사건을 요구하지 않는다. 보관 기간 7일이라는 선언이 곧 「7일 전 상태로는
|
|
631
|
+
* 세우지 않는다」는 뜻이다. 그래서 정리는 체크포인트 없이도 지운다.
|
|
632
|
+
*
|
|
633
|
+
* 체크포인트가 하는 일은 하나 남는다. 체크포인트가 **있으면** 그 리비전을 상한으로 쓴다 — 다음
|
|
634
|
+
* 기동이 그 지점에서 이어 집계하므로, 그 뒤의 사건을 지우면 그 구간이 어디에도 없어진다.
|
|
635
|
+
*
|
|
636
|
+
* **없으면 상한도 없다.** 이어 집계할 지점이 없으니 지킬 것도 없고, 보관 기간 조건만으로 지운다.
|
|
637
|
+
* 없다는 이유로 건너뛰면 멈춘 트윈은 영구히 줄지 않는다(실측: 세 트윈에 2,900만 행).
|
|
638
|
+
*/
|
|
513
639
|
const snap = await this.loadSnapshot(domainId, r.instanceId).catch(() => null);
|
|
514
|
-
const
|
|
515
|
-
|
|
516
|
-
|
|
517
|
-
|
|
518
|
-
|
|
640
|
+
const at = Number(snap?.revision ?? 0);
|
|
641
|
+
const upTo = at > 0 ? at : Number.MAX_SAFE_INTEGER;
|
|
642
|
+
/*
|
|
643
|
+
* ── 나눠서 지운다 (2026-08-25 실측으로 고침) ────────────────────────────────
|
|
644
|
+
*
|
|
645
|
+
* 여기가 **한 문장으로 통째** 지웠다. 지울 것이 며칠치면 그 한 문장이 수백만 행이 되고, sqlite 는
|
|
646
|
+
* 쓰기가 하나이므로 그동안 호스트가 아무 일도 못 한다. 실측: 한 번의 지우기가 74초·79초였고,
|
|
647
|
+
* 그 뒤에 한 줄짜리 `domains` 조회가 67초로 찍혔다 — 그 질의의 문제가 아니라 줄을 선 값이다.
|
|
648
|
+
* 개발 환경에서 보관 기간 7일에 13일치가 쌓여 있었고, 그 밀린 몫이 한 번에 나왔다.
|
|
649
|
+
*
|
|
650
|
+
* 그래서 **한 번에 지우는 수를 묶고**, 배치 사이에 루프를 비워 준다. 그리고 한 창에서 쓰는
|
|
651
|
+
* 시간에도 상한을 둔다 — 남은 것은 다음 창이 이어서 지운다. 지우는 총량은 같고, 그 사이에
|
|
652
|
+
* 사람의 요청이 처리된다.
|
|
653
|
+
*
|
|
654
|
+
* `DELETE … LIMIT` 은 드라이버마다 다르므로 쓰지 않는다(sqlite 는 기본 빌드에서 지원하지 않는다).
|
|
655
|
+
* 대신 **경계 리비전을 먼저 찾아** 그 아래만 지운다 — 다섯 드라이버에서 같은 뜻이 되는 방법이다.
|
|
656
|
+
*/
|
|
657
|
+
let n = 0;
|
|
658
|
+
const startedMs = Date.now();
|
|
659
|
+
for (;;) {
|
|
660
|
+
/*
|
|
661
|
+
* ── 경계를 **시각**으로 찾는다 (2026-08-27 실측으로 고침) ──────────────────
|
|
662
|
+
*
|
|
663
|
+
* 여기가 `ORDER BY revision` 이었다. 그러면 계획기가 리비전 색인을 고르고, 지울 대상인지는
|
|
664
|
+
* 행마다 `created_at` 을 열어 확인한다. 지울 것이 적으면 그 트윈의 저널을 끝까지 걸어야
|
|
665
|
+
* 「한 배치를 못 채웠다」를 알 수 있다 — 1,029만 행에서 그것이 2초 예산을 다 썼고 44건만
|
|
666
|
+
* 지우고 멈췄다.
|
|
667
|
+
*
|
|
668
|
+
* 시각순으로 물으면 `(domain, instance, created_at)` 색인을 그대로 쓴다. 실측 계획:
|
|
669
|
+
*
|
|
670
|
+
* ORDER BY revision SEARCH USING INDEX ix_twin_event_0 ← created_at 을 행마다 확인
|
|
671
|
+
* ORDER BY createdAt SEARCH USING COVERING INDEX ix_twin_event_8 ← 테이블을 열지 않는다
|
|
672
|
+
*
|
|
673
|
+
* 지우기는 정렬이 없어 색인만 있으면 바로 그것을 쓴다(실측 확인).
|
|
674
|
+
*/
|
|
675
|
+
const edge = await (0, shell_1.getRepository)(twin_event_js_1.TwinEvent)
|
|
676
|
+
.createQueryBuilder('e')
|
|
677
|
+
.select('e.createdAt', 'createdAt')
|
|
678
|
+
.where('e.domain = :domainId', { domainId })
|
|
679
|
+
.andWhere('e.instanceId = :instanceId', { instanceId: r.instanceId })
|
|
680
|
+
.andWhere('e.createdAt IS NOT NULL')
|
|
681
|
+
.andWhere('e.createdAt < :cutoff', { cutoff })
|
|
682
|
+
.orderBy('e.createdAt', 'ASC')
|
|
683
|
+
.offset(this.JOURNAL_PRUNE_BATCH - 1)
|
|
684
|
+
.limit(1)
|
|
685
|
+
.getRawOne();
|
|
686
|
+
/*
|
|
687
|
+
* 경계가 없으면 남은 것이 한 배치 안이다 — 그때는 보관 기간 경계까지 지우고 끝난다.
|
|
688
|
+
*
|
|
689
|
+
* 경계가 있으면 그 시각 **이하**까지 지운다(`<=`). 같은 시각의 행이 여럿이면 한 배치가 조금
|
|
690
|
+
* 커지지만, `<` 로 두면 그 시각의 행들이 남아 다음 배치가 같은 경계를 다시 찾는다(제자리걸음).
|
|
691
|
+
*/
|
|
692
|
+
/*
|
|
693
|
+
* 원시 결과의 컬럼 값은 **드라이버에게 해석시킨다**(§`hydratedDate`). sqlite 가 주는 값에는
|
|
694
|
+
* 시간대가 없어서 그대로 `new Date()` 로 읽으면 지역 시간으로 해석된다 — 경계가 그만큼 이르게
|
|
695
|
+
* 밀리고, 그러면 **한 건도 지우지 못해 정리가 그대로 멈춘다**(0건이면 반복을 끝낸다).
|
|
696
|
+
*/
|
|
697
|
+
const batchCutoff = (0, read_time_js_1.hydratedDate)((0, shell_1.getRepository)(twin_event_js_1.TwinEvent), 'createdAt', edge?.createdAt);
|
|
698
|
+
const del = (0, shell_1.getRepository)(twin_event_js_1.TwinEvent)
|
|
699
|
+
.createQueryBuilder()
|
|
700
|
+
.delete()
|
|
701
|
+
.from(twin_event_js_1.TwinEvent)
|
|
702
|
+
.where('domain_id = :domainId', { domainId })
|
|
703
|
+
.andWhere('instance_id = :instanceId', { instanceId: r.instanceId })
|
|
704
|
+
/* 체크포인트가 아직 반영하지 못한 사건은 지우지 않는다(도는 트윈에서만 상한이 걸린다). */
|
|
705
|
+
.andWhere('revision <= :upTo', { upTo })
|
|
706
|
+
.andWhere('created_at IS NOT NULL');
|
|
707
|
+
const res = await (batchCutoff
|
|
708
|
+
? del.andWhere('created_at <= :batchCutoff', { batchCutoff })
|
|
709
|
+
: del.andWhere('created_at < :cutoff', { cutoff })).execute();
|
|
710
|
+
const batch = res.affected ?? 0;
|
|
711
|
+
n += batch;
|
|
712
|
+
if (!batch)
|
|
713
|
+
break;
|
|
714
|
+
if (Date.now() - startedMs >= this.JOURNAL_PRUNE_BUDGET_MS) {
|
|
715
|
+
(0, log_js_1.twinLog)(`[twin-engine] journal prune paused "${r.instanceId}" — 이번 창에서 ${n}건까지 지웠다. ` +
|
|
716
|
+
'남은 것은 다음 창이 이어서 지운다(호스트가 그 사이에 요청을 처리한다).');
|
|
717
|
+
break;
|
|
718
|
+
}
|
|
719
|
+
/* 루프를 비워 준다 — 이 한 줄이 없으면 배치로 나눈 뜻이 없다(같은 틱에서 계속 지운다). */
|
|
720
|
+
await new Promise(resolve => setImmediate(resolve));
|
|
519
721
|
}
|
|
520
|
-
const res = await (0, shell_1.getRepository)(twin_event_js_1.TwinEvent)
|
|
521
|
-
.createQueryBuilder()
|
|
522
|
-
.delete()
|
|
523
|
-
.from(twin_event_js_1.TwinEvent)
|
|
524
|
-
.where('domain_id = :domainId', { domainId })
|
|
525
|
-
.andWhere('instance_id = :instanceId', { instanceId: r.instanceId })
|
|
526
|
-
.andWhere('revision <= :upTo', { upTo })
|
|
527
|
-
.andWhere('created_at IS NOT NULL')
|
|
528
|
-
.andWhere('created_at < :cutoff', { cutoff })
|
|
529
|
-
.execute();
|
|
530
|
-
const n = res.affected ?? 0;
|
|
531
722
|
if (n > 0) {
|
|
532
723
|
deleted += n;
|
|
533
724
|
instances++;
|
|
534
|
-
/* **지운 것을 말한다** —
|
|
535
|
-
(0, log_js_1.twinLog)(`[twin-engine] journal pruned "${r.instanceId}" — ${n}건 (
|
|
536
|
-
|
|
725
|
+
/* **지운 것을 말한다** — 알리지 않고 줄어든 저널은 「없었던 일」과 구별되지 않는다. */
|
|
726
|
+
(0, log_js_1.twinLog)(`[twin-engine] journal pruned "${r.instanceId}" — ${n}건 (${cutoff.toISOString()} 이전` +
|
|
727
|
+
`${upTo < Number.MAX_SAFE_INTEGER ? ` · revision ≤ ${upTo} 까지만, 그 뒤는 체크포인트가 대신하지 못한다` : ''}).`);
|
|
728
|
+
}
|
|
729
|
+
/*
|
|
730
|
+
* ── 조회용 파생 표도 같은 창에서 줄인다 (2026-08-27) ────────────────────────
|
|
731
|
+
*
|
|
732
|
+
* 이 표는 **버릴 수 있는 값**이다(사건에서 파생된 것이므로). 지우면 그 구간의 이력 조회가 저널로
|
|
733
|
+
* 넘어가 느려지고, 사실은 사라지지 않는다.
|
|
734
|
+
*
|
|
735
|
+
* 그래서 체크포인트 상한을 보지 않는다 — 그 상한은 「사실을 잃지 않기 위한 것」이고 여기에는 잃을
|
|
736
|
+
* 사실이 없다. 보관 기간만 본다.
|
|
737
|
+
*/
|
|
738
|
+
const subjectPruned = await (0, twin_subject_writer_js_1.pruneSubjectRows)(domainId, r.instanceId, cutoff, this.JOURNAL_PRUNE_BUDGET_MS, this.JOURNAL_PRUNE_BATCH).catch(() => 0);
|
|
739
|
+
if (subjectPruned > 0) {
|
|
740
|
+
(0, log_js_1.twinLog)(`[twin-subject] pruned "${r.instanceId}" — ${subjectPruned}줄 (${cutoff.toISOString()} 이전).`);
|
|
537
741
|
}
|
|
538
742
|
}
|
|
539
|
-
|
|
540
|
-
(0, log_js_1.twinLog)(`[twin-engine] journal prune skipped ${skipped.length} instance(s) with no checkpoint — ` +
|
|
541
|
-
`저널이 유일한 복구 수단이라 손대지 않았다: ${skipped.slice(0, 5).join(', ')}${skipped.length > 5 ? ' …' : ''}`);
|
|
542
|
-
}
|
|
543
|
-
return { deleted, instances, skipped };
|
|
743
|
+
return { deleted, instances };
|
|
544
744
|
}
|
|
745
|
+
/**
|
|
746
|
+
* 한 번의 지우기가 다루는 행 수 — 쓰기 잠금을 이 만큼만 잡는다.
|
|
747
|
+
*
|
|
748
|
+
* ── 20,000 이 왜 컸나 (2026-08-28 실측) ────────────────────────────────────
|
|
749
|
+
* 앞 판은 20,000 이었고 근거는 「한 문장으로 수백만 행을 지우면 74초였다」였다. 그것은 **더 나쁜
|
|
750
|
+
* 쪽과 견준 수**이고, 20,000 자체를 잰 것이 아니었다. 실제로 재 보니 이렇다(서버 기록):
|
|
751
|
+
*
|
|
752
|
+
* hatio-mx1 20,123줄 5.6초
|
|
753
|
+
* hatio-mx2 20,130줄 5.2초
|
|
754
|
+
* hatio-us 20,139줄 4.2초
|
|
755
|
+
* 한 창의 합계 약 15초
|
|
756
|
+
*
|
|
757
|
+
* sqlite 는 연결이 하나다. 그래서 그 4~5초 동안 **화면의 모든 질의가 줄을 선다** — 실측으로 첫
|
|
758
|
+
* 화면 조회가 12.2초였다(정상 상태에서는 40밀리초다).
|
|
759
|
+
*
|
|
760
|
+
* 그리고 예산(`JOURNAL_PRUNE_BUDGET_MS` = 2초)이 **문장이 끝난 뒤에** 검사되므로, 한 문장이 예산을
|
|
761
|
+
* 2~3배 넘긴다. 배치를 나눈 뜻이 그만큼 없어진다.
|
|
762
|
+
*
|
|
763
|
+
* ── 2,000 의 근거 ──────────────────────────────────────────────────────────
|
|
764
|
+
* 위 실측이 줄당 약 0.26밀리초다(5.2초 / 20,130줄). 2,000줄이면 **한 문장이 약 0.5초**다. 화면이
|
|
765
|
+
* 한 번 멈추는 길이가 5초에서 0.5초로 줄고, 예산 검사도 뜻을 갖는다(한 창에 문장 넷).
|
|
766
|
+
*
|
|
767
|
+
* 총량은 같고 나눠서 치른다 — 창마다 지우는 수가 줄지만 지우는 일은 급하지 않다(창이 10분마다 온다).
|
|
768
|
+
*
|
|
769
|
+
* 값을 바꾸려면 다시 재고 이 문장을 고칠 것.
|
|
770
|
+
*/
|
|
771
|
+
static { this.JOURNAL_PRUNE_BATCH = 2_000; }
|
|
772
|
+
/**
|
|
773
|
+
* 한 창에서 지우는 데 쓰는 시간 상한(ms) — 남은 것은 다음 창이 이어서 지운다.
|
|
774
|
+
*
|
|
775
|
+
* 밀린 몫이 며칠치면 한 창에서 다 지울 수 없다. 다 지우려 들면 그동안 호스트가 멈추고, 그것이 바로
|
|
776
|
+
* 고치려는 증상이다. 총량은 같고 나눠서 치른다.
|
|
777
|
+
*
|
|
778
|
+
* ── 2초에서 5초로 올린 이유 (2026-08-28) ───────────────────────────────────
|
|
779
|
+
* 배치를 20,000 → 2,000 으로 줄였다(§`JOURNAL_PRUNE_BATCH`). 예산을 그대로 두면 **창마다 지우는
|
|
780
|
+
* 양이 2.5배 줄어** 밀린 몫이 빠지지 않는다.
|
|
781
|
+
*
|
|
782
|
+
* 예산을 5초로 두면 한 창에 문장 열 개(각 0.5초)가 돌아 **지우는 양은 전과 같고**, 잠금은 열 번
|
|
783
|
+
* 나뉘어 그 사이에 화면 질의가 처리된다. 고치려던 것은 총 시간이 아니라 **한 번에 멈추는 길이**다.
|
|
784
|
+
*
|
|
785
|
+
* 전 한 문장 5.2초 · 그동안 모든 조회가 줄을 선다
|
|
786
|
+
* 후 문장 열 개 × 0.5초 · 사이마다 루프를 비워 준다
|
|
787
|
+
*/
|
|
788
|
+
static { this.JOURNAL_PRUNE_BUDGET_MS = 5_000; }
|
|
545
789
|
/** 보존 정리 주기 기동(1회) — 선언이 없으면 아무것도 하지 않는다. */
|
|
546
790
|
static startRetentionLoop(domainId) {
|
|
547
791
|
if (this.retentionTimer)
|
|
@@ -641,7 +885,7 @@ class TwinEngine {
|
|
|
641
885
|
* `bootstrap()` 은 상태만 되찾아 `recovered` 에 담았고, 커널을 세우는 것은 **명시 mutation 뿐**이었다
|
|
642
886
|
* (이 파일 위쪽 주석이 「향후」라고 적어 둔 그 자리다). 그래서 서버를 한 번 재기동하면 등록부는
|
|
643
887
|
* `running` 이라 말하는데 **아무 커널도 돌지 않았다** — 화면은 도는 트윈을, 실제로는 멈춘 트윈을.
|
|
644
|
-
* 미러 트윈에서는 더 나쁘다: 계측이
|
|
888
|
+
* 미러 트윈에서는 더 나쁘다: 계측이 알리지 않고 끊기고, 사람은 「값이 안 변하네」로 알게 된다.
|
|
645
889
|
*
|
|
646
890
|
* ── 모드를 지어내지 않는다 ──────────────────────────────────────────────────
|
|
647
891
|
* 미러였던 트윈을 시뮬로 되살리면 **없던 움직임을 만들어 낸다**(관측 트윈이 스스로 물건을 옮긴다).
|
|
@@ -752,7 +996,7 @@ class TwinEngine {
|
|
|
752
996
|
...(plan.attentionSinceCount ? [`${plan.attentionSinceCount} attention start time(s)`] : [])
|
|
753
997
|
].join(', ');
|
|
754
998
|
(0, log_js_1.twinLog)(`[twin-engine] warm-started "${id}" — restored ${restored}.`);
|
|
755
|
-
/* 뺀 것은
|
|
999
|
+
/* 뺀 것은 알리지 않고 넘기지 않는다 — 지어내지 않았다는 사실 자체를 말해야 화면의 빈칸이 읽힌다. */
|
|
756
1000
|
if (plan.ordersWithoutDemand > 0) {
|
|
757
1001
|
(0, log_js_1.twinWarn)(`[twin-engine] "${id}": ${plan.ordersWithoutDemand} order(s) could not be restored — they carry progress only, ` +
|
|
758
1002
|
'with no requested/fulfilled counts, so the remaining demand is unknown. They are left out rather than guessed.');
|
|
@@ -765,7 +1009,7 @@ class TwinEngine {
|
|
|
765
1009
|
* `model.operations`(마스터 인제스트가 통과시킨 ISA-95 OperationsSegment 명세)를 커널이 소비한다.
|
|
766
1010
|
* 없으면 커널 기본 상수로 굴러가고, 커널 `specCoverage()` 가 무엇을 기본값으로 썼는지 보고한다.
|
|
767
1011
|
*
|
|
768
|
-
* 커널이 아직 이 API 를 갖지 않은 버전이면(발행 이전)
|
|
1012
|
+
* 커널이 아직 이 API 를 갖지 않은 버전이면(발행 이전) **알리지 않고 넘어가지 않고 경고한다** — 명세를
|
|
769
1013
|
* 선언했는데 반영되지 않는 상태를 모르고 지나가면, 예측이 상수로 돌아간 것을 아무도 알 수 없다.
|
|
770
1014
|
*/
|
|
771
1015
|
static applyOperations(kernel, model, id) {
|
|
@@ -787,7 +1031,7 @@ class TwinEngine {
|
|
|
787
1031
|
kernel.declareDurations(declared);
|
|
788
1032
|
}
|
|
789
1033
|
catch (err) {
|
|
790
|
-
/* 커널이 거절한 값은
|
|
1034
|
+
/* 커널이 거절한 값은 알리지 않고 넘기지 않는다 — 화면은 「넣었습니다」라고 말한 값이다. */
|
|
791
1035
|
(0, log_js_1.twinWarn)(`[twin-engine] "${id}": declared operation duration rejected by the kernel — ${err?.message ?? err}`);
|
|
792
1036
|
}
|
|
793
1037
|
}
|
|
@@ -827,7 +1071,7 @@ class TwinEngine {
|
|
|
827
1071
|
* 둘 다 못 만들면 주입하지 않는다 — 커널이 명세·상수로 굴러가고 `specCoverage()` 가 그 사실을 남긴다.
|
|
828
1072
|
*
|
|
829
1073
|
* 실측은 DB 조회라 비동기다. 그래서 이 함수는 **await 하지 않는 쪽에서도 안전**하도록 실패를 삼키되,
|
|
830
|
-
* 무엇을 왜 못 넣었는지는 로그로 남긴다(
|
|
1074
|
+
* 무엇을 왜 못 넣었는지는 로그로 남긴다(들어온 것이 없는 무효화 금지).
|
|
831
1075
|
*/
|
|
832
1076
|
static async installEstimators(kernel, domainId, instanceId, model) {
|
|
833
1077
|
if (!kernel || typeof kernel !== 'object')
|
|
@@ -845,7 +1089,7 @@ class TwinEngine {
|
|
|
845
1089
|
/*
|
|
846
1090
|
* **양품률도 이력에서 배운다** (2026-08-19) — 소요와 같은 자리에서 붙인다.
|
|
847
1091
|
*
|
|
848
|
-
* 커널이 그 시임을 갖지 않은 버전이면(발행 이전)
|
|
1092
|
+
* 커널이 그 시임을 갖지 않은 버전이면(발행 이전) 알리지 않고 넘어가지 않고 말한다: 수율이 상수로 남은
|
|
849
1093
|
* 이유를 모르고 지나가면, 화면의 불량 판정이 그 현장의 사실이 아니라 우리 상수의 결과다.
|
|
850
1094
|
*/
|
|
851
1095
|
const yields = await this.measuredYield(domainId, instanceId);
|
|
@@ -874,7 +1118,7 @@ class TwinEngine {
|
|
|
874
1118
|
`${travel.estimator ? `, travel from distance (speeds: ${Object.keys(travel.speedsByKind).join(',')})` : `, travel not derived (${travel.reasons.join('; ')})`}`);
|
|
875
1119
|
}
|
|
876
1120
|
/**
|
|
877
|
-
* 실측 추정기 — **예측 요청마다 저널을 다시
|
|
1121
|
+
* 실측 추정기 — **예측 요청마다 저널을 다시 계산하지 않는다.**
|
|
878
1122
|
*
|
|
879
1123
|
* 예측 커널은 요청마다 새로 세워지고(미러 예측·백테스트), 화면은 시각을 긁으면 계속 재예측한다.
|
|
880
1124
|
* 거기에 KPI 조회를 그대로 달면 요청당 저널 스캔이 하나씩 붙는다 — 실측은 분 단위로 바뀌지 않으므로
|
|
@@ -893,10 +1137,10 @@ class TwinEngine {
|
|
|
893
1137
|
* 다시 넣으므로). 버리는 것이 손해가 아닌 이유: 이 값은 캐시이고, 없으면 다시 계산한다.
|
|
894
1138
|
*
|
|
895
1139
|
* 수를 크게 잡는다 — 트윈 규모는 늘 크고, 항목 하나는 작업 종류별 소요 몇 줄이다. 상한이 작으면
|
|
896
|
-
* 정상 규모에서 서로 밀어내며 캐시가 무의미해진다(그게 더 나쁘다:
|
|
1140
|
+
* 정상 규모에서 서로 밀어내며 캐시가 무의미해진다(그게 더 나쁘다: 알리지 않고 느려진다).
|
|
897
1141
|
*/
|
|
898
1142
|
static { this.MEASURED_MAX = 5_000; }
|
|
899
|
-
/** 이 트윈이 이력에서 배운 양품률 — 소요와 **같은 폴드·같은 캐시**에서 온다(저널을 두 번
|
|
1143
|
+
/** 이 트윈이 이력에서 배운 양품률 — 소요와 **같은 폴드·같은 캐시**에서 온다(저널을 두 번 계산하지 않는다). */
|
|
900
1144
|
static async measuredYield(domainId, instanceId) {
|
|
901
1145
|
await this.measuredEstimator(domainId, instanceId);
|
|
902
1146
|
return this.measuredCache.get((0, runtime_key_js_1.runtimeKey)(domainId, instanceId))?.yields;
|
|
@@ -913,7 +1157,7 @@ class TwinEngine {
|
|
|
913
1157
|
/* 작업 종류별 실측 — 창은 넉넉히(하루) 두고 표본이 모자란 종류는 추정기가 스스로 뺀다. */
|
|
914
1158
|
const kpi = await (0, kpi_query_js_1.computeTwinKpi)({ domainId, instanceId, windowMinutes: 24 * 60, groupBy: 'taskKind' });
|
|
915
1159
|
value = (0, measured_estimator_js_1.buildMeasuredEstimator)(kpi?.groups?.items, {});
|
|
916
|
-
/* 같은 그룹에서 양품률도 배운다 — 한 번
|
|
1160
|
+
/* 같은 그룹에서 양품률도 배운다 — 한 번 계산한 저널을 둘이 나눠 쓴다. */
|
|
917
1161
|
yields = (0, measured_yield_js_1.buildYieldEstimator)(kpi?.groups?.items, {});
|
|
918
1162
|
}
|
|
919
1163
|
catch (err) {
|
|
@@ -955,7 +1199,7 @@ class TwinEngine {
|
|
|
955
1199
|
}
|
|
956
1200
|
const plan = (0, declared_stimulus_js_1.planStimulus)(config, { hasScenarioEngine: !!inst.runtime?.scenario, mode: inst.mode }, validateScenario);
|
|
957
1201
|
if (plan.action === 'skip') {
|
|
958
|
-
/* 선언이 없는 것은 정상이므로
|
|
1202
|
+
/* 선언이 없는 것은 정상이므로 알리지 않고 지난다. 나머지 셋은 **말한다** — 선언했는데 안 실린 상태다. */
|
|
959
1203
|
if (plan.reason !== 'none') {
|
|
960
1204
|
(0, log_js_1.twinWarn)(`[twin-engine] "${instanceId}": a stimulus is declared on its source but was not loaded (${plan.reason}${plan.detail ? `: ${plan.detail}` : ''}).` +
|
|
961
1205
|
(plan.reason === 'observed' ? ' This twin runs on observation — we do not manufacture arrivals for it.' : ''));
|
|
@@ -1002,7 +1246,7 @@ class TwinEngine {
|
|
|
1002
1246
|
* 보여야 하는 화면이 정작 그때 아무 말도 못 한다.
|
|
1003
1247
|
*
|
|
1004
1248
|
* 그 빈칸을 이력로 메운다: 저널에서 배운 종류는 **추정기가 이미 답할 수 있는 종류**이므로, 지어내는
|
|
1005
|
-
* 것이 아니라 있는 사실을 꺼내는 것이다. 같은 캐시(60초)를 쓰므로 조회마다 저널을 다시
|
|
1249
|
+
* 것이 아니라 있는 사실을 꺼내는 것이다. 같은 캐시(60초)를 쓰므로 조회마다 저널을 다시 계산하지 않는다.
|
|
1006
1250
|
*/
|
|
1007
1251
|
static async measuredOperationKinds(domainId, instanceId) {
|
|
1008
1252
|
const measured = await this.measuredEstimator(domainId, instanceId);
|
|
@@ -1030,7 +1274,7 @@ class TwinEngine {
|
|
|
1030
1274
|
*
|
|
1031
1275
|
* 계산은 커널이 자기 상태에서 한다(`kernel.capacity`). 여기서 하는 일은 **기준 주를 정해 주는
|
|
1032
1276
|
* 것**뿐이다: 공휴일이 없는 평상주여야 한다 — 공휴일은 연간 가용량을 따로 깎지, 이 공장의 평상시
|
|
1033
|
-
* 상한을 정하지 않는다. 커널이 임의로 고르게 두면 그 주에 공휴일이 끼었을 때 상한이
|
|
1277
|
+
* 상한을 정하지 않는다. 커널이 임의로 고르게 두면 그 주에 공휴일이 끼었을 때 상한이 알리지 않고 낮아진다.
|
|
1034
1278
|
*
|
|
1035
1279
|
* 트윈이 기동 중이 아니면 `undefined` 다 — 0 이 아니다. 기동하지 않은 트윈의 상한을 0 이라고 답하면 화면은
|
|
1036
1280
|
* "이 공장은 아무것도 못 만든다" 고 말한다.
|
|
@@ -1085,7 +1329,7 @@ class TwinEngine {
|
|
|
1085
1329
|
});
|
|
1086
1330
|
}
|
|
1087
1331
|
/**
|
|
1088
|
-
* 미러 기동의 연속성 씨앗 — 이어받은 것은 **말한다**(
|
|
1332
|
+
* 미러 기동의 연속성 씨앗 — 이어받은 것은 **말한다**(알리지 않고 잇지 않는다).
|
|
1089
1333
|
*
|
|
1090
1334
|
* 커널이 그 문을 열어 두지 않았으면 그 사실도 말한다: 그 트윈은 재기동마다 열린 구간을 잃는다.
|
|
1091
1335
|
*/
|
|
@@ -1173,6 +1417,7 @@ class TwinEngine {
|
|
|
1173
1417
|
/* 정책은 부르는 쪽이 선언한다 — 여기서 고르면 같은 트윈이 부르는 자리에 따라 다르게 재기동한다. */
|
|
1174
1418
|
restartPolicy: (0, restart_policy_js_1.readRestartPolicy)(restartPolicy, `start("${id}")`),
|
|
1175
1419
|
spaceId: model?.spaceId,
|
|
1420
|
+
model,
|
|
1176
1421
|
/*
|
|
1177
1422
|
* **시뮬도 계기를 든다** (2026-08-20).
|
|
1178
1423
|
*
|
|
@@ -1213,7 +1458,7 @@ class TwinEngine {
|
|
|
1213
1458
|
* 것은 시뮬만 옆문으로 들어오기 때문"* 이라 예고한 그 자리다.
|
|
1214
1459
|
*
|
|
1215
1460
|
* **리비전은 커널의 것을 그대로 든다**(라이브는 flush 때 호스트가 부여한다). 시뮬의 저널은
|
|
1216
|
-
* 커널 리비전으로
|
|
1461
|
+
* 커널 리비전으로 번호가 정해지므로 여기서 다시 번호를 매기면 시간여행이 어긋난다.
|
|
1217
1462
|
*/
|
|
1218
1463
|
;
|
|
1219
1464
|
(inst.pendingJournal ?? (inst.pendingJournal = [])).push({ event: msg.event, revision: msg.revision });
|
|
@@ -1251,7 +1496,7 @@ class TwinEngine {
|
|
|
1251
1496
|
* 줄줄이 생겼다: 예측하려면 임시 커널을 세워야 했고(`buildForecastKernel`), 주목 신호를 호스트가
|
|
1252
1497
|
* 덧붙여야 했고(`withLiveAttentions`), AI 예측 도구는 미러에서 "찾을 수 없다" 로 끝났다.
|
|
1253
1498
|
*
|
|
1254
|
-
* 이제 라이브 인스턴스도 **커널이다.** 같은 규칙(`ObservedReducer`)으로 이벤트를
|
|
1499
|
+
* 이제 라이브 인스턴스도 **커널이다.** 같은 규칙(`ObservedReducer`)으로 이벤트를 계산하고, 주목 신호를
|
|
1255
1500
|
* 스스로 내고, 그 자리에서 `fork` 해 예측한다. 구동만 다르다 — sim 은 `tick`, live 는 `apply`.
|
|
1256
1501
|
*
|
|
1257
1502
|
* 실 이벤트원 = reference 어댑터 openLiveFeed → face2-adapter.ingest → CanonicalEnvelope → ingestLive().
|
|
@@ -1273,7 +1518,7 @@ class TwinEngine {
|
|
|
1273
1518
|
* 이름이 그대로 굳은 것), 일반 기제에 한 시스템 이름이 붙어 있었기 때문에 창고 트윈이 이 자리를
|
|
1274
1519
|
* 쓰지 못했다. 별명으로 남겨 두면 그 혼동이 계속되므로 하나로 통일했다.
|
|
1275
1520
|
*
|
|
1276
|
-
* 옛 이름만 가진 모델이 있으면
|
|
1521
|
+
* 옛 이름만 가진 모델이 있으면 **알리지 않고 생산 선언을 잃는 대신 분명히 멈춘다** — 그 트윈은 공정이
|
|
1277
1522
|
* 없는 채로 돌게 되고(라인이 서 있는 창고), 원인을 찾기 어렵다.
|
|
1278
1523
|
*/
|
|
1279
1524
|
static productionSpecOf(model) {
|
|
@@ -1322,11 +1567,11 @@ class TwinEngine {
|
|
|
1322
1567
|
/* `projector` 필드는 옛 이름으로 남긴다 — 소비처가 `snapshot()` 을 부르므로 얇은 어댑터로 잇는다.
|
|
1323
1568
|
* (P3 에서 소비처를 커널 어휘로 바꾸면 사라진다.) */
|
|
1324
1569
|
const projector = { apply: (e) => kernel.apply(e), snapshot: () => kernel.getSnapshot() };
|
|
1325
|
-
const inst = { id, domainId, mode: 'live', restartPolicy: 'resync', kernel, projector, oee: new oee_accumulator_js_1.OeeAccumulator(), spaceId: model?.spaceId, unsub: () => { } };
|
|
1570
|
+
const inst = { id, domainId, mode: 'live', restartPolicy: 'resync', kernel, projector, oee: new oee_accumulator_js_1.OeeAccumulator(), spaceId: model?.spaceId, model, unsub: () => { } };
|
|
1326
1571
|
/*
|
|
1327
1572
|
* ── 커널이 **판정으로 낸 사실**도 저널에 남는다 (2026-08-14 실측으로 잡음) ────
|
|
1328
1573
|
*
|
|
1329
|
-
* 라이브는 인입 봉투만 저널에 적고 있었다(`ingestLive`). 그런데 커널은 관측을
|
|
1574
|
+
* 라이브는 인입 봉투만 저널에 적고 있었다(`ingestLive`). 그런데 커널은 관측을 계산하다가 **자기 사실**을
|
|
1330
1575
|
* 낸다 — 에너지의 수요 구간 마감·피크 경신·감축 제안이 그렇다(`emitOp`). 그것을 구독하는 곳이
|
|
1331
1576
|
* 없어서 그 사실들이 **커널 안에서 사라졌다**: 표본 48건이 저널에 쌓였는데 구간 마감은 0건이었고,
|
|
1332
1577
|
* 저널을 읽는 성과 화면의 전력 타일은 영원히 나오지 않았다.
|
|
@@ -1353,7 +1598,7 @@ class TwinEngine {
|
|
|
1353
1598
|
this.installEstimators(kernel, domainId, id, model).catch(err => (0, log_js_1.twinWarn)('[twin-engine] estimator install failed', err?.message));
|
|
1354
1599
|
inst.metrics = this.newMetrics();
|
|
1355
1600
|
this.instances[key] = inst;
|
|
1356
|
-
/* 미러에도 부른다 — 선언이 있으면 「미러에는 싣지 않는다」고 말해야 한다(
|
|
1601
|
+
/* 미러에도 부른다 — 선언이 있으면 「미러에는 싣지 않는다」고 말해야 한다(들어온 것이 없는 무시 금지). */
|
|
1357
1602
|
this.installStimulus(domainId, id, inst).catch(err => (0, log_js_1.twinWarn)(`[twin-engine] "${id}": stimulus check failed — ${err?.message ?? err}`));
|
|
1358
1603
|
/*
|
|
1359
1604
|
* **원천이 되풀어 주지 않는 것만 잇는다** (2026-08-18 실측으로 붙임).
|
|
@@ -1374,11 +1619,11 @@ class TwinEngine {
|
|
|
1374
1619
|
* 정정이 오지 않는다: 커서가 따라잡힌 뒤 원본이 변하지 않으면 미러는 영구히 빈 채로 남는다.
|
|
1375
1620
|
* 그리고 그 빈 채로 화면이 「이상 없음」을 보였다 — 사실이 사라지는 동안 화면이 안심시킨 것이다.
|
|
1376
1621
|
*
|
|
1377
|
-
* 되돌리는 것은 **상태가 아니라 재개점**이다. 상태만 심으면 그 뒤를 이어
|
|
1378
|
-
* 결과와
|
|
1379
|
-
* 증명한다(`observed-checkpoint.test.ts` — 재개점 + 꼬리 == 0부터
|
|
1622
|
+
* 되돌리는 것은 **상태가 아니라 재개점**이다. 상태만 심으면 그 뒤를 이어 계산한 결과가 0부터 계산한
|
|
1623
|
+
* 결과와 오류 없이 달라진다(리듀서는 보류된 담김·집계 중인 수량도 든다). 그 동치는 커널 시험이
|
|
1624
|
+
* 증명한다(`observed-checkpoint.test.ts` — 재개점 + 꼬리 == 0부터 계산하기).
|
|
1380
1625
|
*
|
|
1381
|
-
* 씨앗은 **그 공장이 아직 그 공장일 때만** 오고, 마지막 체크포인트 이후의 사실은 이미
|
|
1626
|
+
* 씨앗은 **그 공장이 아직 그 공장일 때만** 오고, 마지막 체크포인트 이후의 사실은 이미 계산되어 들어
|
|
1382
1627
|
* 있다(`warmSeedFor`). 씨앗이 없으면 전과 같이 빈 채로 시작한다 — 지어내지 않는다.
|
|
1383
1628
|
*/
|
|
1384
1629
|
const seed = this.recovered[key]?.fold?.reducer;
|
|
@@ -1428,10 +1673,19 @@ class TwinEngine {
|
|
|
1428
1673
|
* 비동기라 그 사이에 이벤트가 몇 건 들어와 있을 수 있는데, 그때 뒤로 되돌리는 것은 커널이 거절한다
|
|
1429
1674
|
* (겹치는 번호를 막는 그 판정이다). 거절은 삼키지 않고 남긴다.
|
|
1430
1675
|
*/
|
|
1676
|
+
/*
|
|
1677
|
+
* 관계로 묻지 않는다 — `findOne({ where: { domain: { id } } })` 은 두 단계 질의가 되고 안쪽에
|
|
1678
|
+
* 상한이 없어 그 트윈의 저널을 **전부 만든 뒤** 한 줄을 고른다(§`tipOf` 의 실측). 여기는 부팅
|
|
1679
|
+
* 경로이므로 그 비용이 기동을 붙잡는다. 색인의 끝 한 줄만 읽는다.
|
|
1680
|
+
*/
|
|
1431
1681
|
(0, shell_1.getRepository)(twin_event_js_1.TwinEvent)
|
|
1432
|
-
.
|
|
1682
|
+
.createQueryBuilder('e')
|
|
1683
|
+
.select('MAX(e.revision)', 'max')
|
|
1684
|
+
.where('e.domain = :domainId', { domainId })
|
|
1685
|
+
.andWhere('e.instanceId = :instanceId', { instanceId: id })
|
|
1686
|
+
.getRawOne()
|
|
1433
1687
|
.then(top => {
|
|
1434
|
-
const head = top?.
|
|
1688
|
+
const head = Number(top?.max) || 0;
|
|
1435
1689
|
inst.revision = head;
|
|
1436
1690
|
if (!head || typeof kernel.resumeRevision !== 'function')
|
|
1437
1691
|
return;
|
|
@@ -1455,18 +1709,107 @@ class TwinEngine {
|
|
|
1455
1709
|
*
|
|
1456
1710
|
* ── 넣은 수를 **답한다** (2026-08-20) ────────────────────────────────────────
|
|
1457
1711
|
* 트윈이 라이브로 돌지 않으면 여기서 봉투를 버린다. 그것 자체는 맞다(넣을 커널이 없다). 문제는
|
|
1458
|
-
*
|
|
1712
|
+
* **알리지 않고** 버린 것이었다: 트윈이 멈춘 뒤에도 피드는 남아 레코드를 나르고, 유입 장부는 그것을
|
|
1459
1713
|
* 「통과」로 셌다. 화면은 멈춘 트윈 옆에 「150 통과 · 100%」라고 적었다 — 사실이 사라지는 동안
|
|
1460
1714
|
* 화면이 안심시킨 것이다.
|
|
1461
1715
|
*
|
|
1462
1716
|
* 그래서 **넣은 수를 돌려준다.** 부르는 쪽이 제시 수와 견주어 버려진 수를 장부에 적는다. 반환을
|
|
1463
1717
|
* 무시하는 호출부는 그대로 동작한다(전과 같다).
|
|
1464
1718
|
*/
|
|
1465
|
-
|
|
1719
|
+
/**
|
|
1720
|
+
* 유입 결과를 수로 낸다 — 받은 수 · 중복으로 버린 수 · 보낸 수.
|
|
1721
|
+
*
|
|
1722
|
+
* `ingestLive` 는 받은 수만 돌려주는데, 웹훅으로 받을 때는 **몇 건이 중복이었는지도 답해야** 한다.
|
|
1723
|
+
* 밀어 주는 쪽이 그 수를 보고 자기가 되풀이 보내고 있다는 것을 알 수 있어야 하고, 그것을 모르면
|
|
1724
|
+
* 우리 응답이 「전부 새 것이었다」로 읽힌다.
|
|
1725
|
+
*/
|
|
1726
|
+
static ingestLiveResult(domainId, id, envelopes, source = 'poll') {
|
|
1727
|
+
const before = this.ingestLedgers[(0, runtime_key_js_1.runtimeKey)(domainId, id)]?.duplicates ?? 0;
|
|
1728
|
+
const offered = envelopes.length;
|
|
1729
|
+
const applied = this.ingestLive(domainId, id, envelopes, source);
|
|
1730
|
+
const after = this.ingestLedgers[(0, runtime_key_js_1.runtimeKey)(domainId, id)]?.duplicates ?? 0;
|
|
1731
|
+
return { offered, applied, duplicates: Math.max(0, after - before) };
|
|
1732
|
+
}
|
|
1733
|
+
/**
|
|
1734
|
+
* **마스터데이터를 받는다** — 변하지 않는 속성을 상태에 세운다. 저널에 적지 않는다.
|
|
1735
|
+
*
|
|
1736
|
+
* ── 왜 저널에 적지 않나 ────────────────────────────────────────────────────
|
|
1737
|
+
* 유통기한·로트번호 같은 값은 그 물건의 생애 동안 같다. 그래서 「그때는 얼마였나」라는 물음이
|
|
1738
|
+
* 성립하지 않는다 — 시각축이 없는 값이므로 사건이 아니다. 되세울 근거는 중간 저장본이 든다
|
|
1739
|
+
* (리듀서가 그 값을 저장본에 담는다).
|
|
1740
|
+
*
|
|
1741
|
+
* ── 이 문이 없어서 무엇이 났나 (2026-08-28 실측) ───────────────────────────
|
|
1742
|
+
* 표준은 그 값을 `ObjectEvent(action=ADD)` 에만 실을 수 있게 한다. 그래서 전량을 읽는 원본이
|
|
1743
|
+
* 재고를 다시 말할 때마다 **들어오지 않은 것을 「들어왔다」** 고 했고, 사건 단위 값이라 자리별로
|
|
1744
|
+
* 묶을 수도 없어 낱개로 나갔다 — 재기동 한 번에 2,665건이 「읽은 시각」으로 쌓였다.
|
|
1745
|
+
*
|
|
1746
|
+
* 돌려주는 수는 **상태에 반영된 건수**다. 라이브로 돌지 않는 트윈은 0 을 낸다 — 그 차이를 부르는
|
|
1747
|
+
* 쪽이 알아야 한다(버려진 것을 통과로 세면 멈춘 트윈이 정상으로 보인다).
|
|
1748
|
+
*
|
|
1749
|
+
* 설계: `operato-twin/design/plans/master-data.md`
|
|
1750
|
+
*/
|
|
1751
|
+
static applyMasterData(domainId, id, elements) {
|
|
1752
|
+
if (!elements.length)
|
|
1753
|
+
return 0;
|
|
1754
|
+
const inst = this.instances[(0, runtime_key_js_1.runtimeKey)(domainId, id)];
|
|
1755
|
+
if (inst?.mode !== 'live' || !inst.kernel)
|
|
1756
|
+
return 0;
|
|
1757
|
+
const kernel = inst.kernel;
|
|
1758
|
+
if (typeof kernel.applyMasterData !== 'function') {
|
|
1759
|
+
(0, log_js_1.twinWarn)(`[twin-engine] kernel for "${id}" cannot take master data (no applyMasterData) — ` +
|
|
1760
|
+
'lot attributes such as expiry will stay empty for this twin.');
|
|
1761
|
+
return 0;
|
|
1762
|
+
}
|
|
1763
|
+
const n = kernel.applyMasterData(elements);
|
|
1764
|
+
/*
|
|
1765
|
+
* **돌았다는 것을 로그로 남긴다** (2026-08-28).
|
|
1766
|
+
*
|
|
1767
|
+
* 이 값은 지난 기록에 적히지 않으므로(시각축이 없다) 세지 않으면 이 통로가 돌았는지 아무 데도
|
|
1768
|
+
* 남지 않는다. 처음에는 유입 장부에 수를 더했는데 **그것이 편법이었다**: 유입 장부는 「원본에서
|
|
1769
|
+
* 사실이 얼마나 들어오고 거부되고 버려지나」를 답하는 자리이고, 마스터데이터는 사실의 흐름이 아니라
|
|
1770
|
+
* 선언의 동기다. 그리고 그 수를 읽는 화면이 없었다 — 내가 확인하려고 만든 값이었다.
|
|
1771
|
+
*
|
|
1772
|
+
* 확인은 **로그의 일**이다. 정상 상태에서는 이 줄이 안 나오는 것이 맞다 — 값이 그대로면 원본이
|
|
1773
|
+
* 다시 말하지 않는다. 나오면 그때가 무언가 바뀐 때다.
|
|
1774
|
+
*/
|
|
1775
|
+
if (n > 0)
|
|
1776
|
+
(0, log_js_1.twinLog)(`[twin-engine] "${id}": 마스터데이터 ${n}건을 상태에 세웠다(지난 기록에는 적지 않는다).`);
|
|
1777
|
+
/* 상태가 바뀌었으니 다음 창에서 화면으로 흘러야 한다 — 관측 반영과 같은 규율이다. */
|
|
1778
|
+
inst.dirty = true;
|
|
1779
|
+
this.ensureBroadcastCoalescer();
|
|
1780
|
+
return n;
|
|
1781
|
+
}
|
|
1782
|
+
static ingestLive(domainId, id, envelopes, source = 'poll') {
|
|
1466
1783
|
const inst = this.instances[(0, runtime_key_js_1.runtimeKey)(domainId, id)];
|
|
1467
1784
|
if (inst?.mode !== 'live' || !inst.projector)
|
|
1468
1785
|
return 0;
|
|
1469
1786
|
const tIngest = performance.now();
|
|
1787
|
+
/*
|
|
1788
|
+
* ── 같은 사실을 두 번 받으면 한 번만 반영한다 (2026-08-26) ─────────────────
|
|
1789
|
+
*
|
|
1790
|
+
* 이 자리가 유입 경계다 — 커넥터가 물어서 받은 것 · 시나리오가 넣는 것 · 부하 도구가 넣는 것이
|
|
1791
|
+
* 모두 여기를 지난다(웹훅으로 받는 길이 생기면 그것도 여기로 온다). 그래서 중복을 여기서 한 번
|
|
1792
|
+
* 거른다.
|
|
1793
|
+
*
|
|
1794
|
+
* 지금까지는 커넥터마다 각자 막고 있었다. 그래서 잊으면 트윈이 그대로 두 번 셌다 — 태양광
|
|
1795
|
+
* 커넥터가 한 주기에 76건을 되풀이 보냈고, 커넥터를 고쳐서 2건이 됐다. 다음 커넥터가 같은 것을
|
|
1796
|
+
* 잊으면 또 난다.
|
|
1797
|
+
*
|
|
1798
|
+
* 절대값으로 말하는 사실은 두 번 반영해도 결과가 같지만(잔량 · 상태 · 적산), 세는 값은 아니다:
|
|
1799
|
+
* 구간의 표본 수 · 평균 부하 · OEE 카운터 · 유입 계수. 그리고 지난 기록에 같은 사실이 두 줄로
|
|
1800
|
+
* 남으면, 나중에 그 기록으로 다시 계산할 때 또 두 번 센다.
|
|
1801
|
+
*
|
|
1802
|
+
* **정확히 같은 것만 버린다.** 늦게 도착한 옛 사실은 버리지 않는다 — 그것이 왔다는 것도 사실이고,
|
|
1803
|
+
* 상태에 반영하지 않는 판단은 커널이 이미 한다.
|
|
1804
|
+
*/
|
|
1805
|
+
const { fresh, duplicates } = (inst.deduper ??= new ingest_dedupe_js_1.FactDeduper()).filter(envelopes);
|
|
1806
|
+
envelopes = fresh;
|
|
1807
|
+
const ledgerKey = (0, runtime_key_js_1.runtimeKey)(domainId, id);
|
|
1808
|
+
const ledger = this.ingestLedgers[ledgerKey] ?? (this.ingestLedgers[ledgerKey] = (0, ingest_health_js_1.newIngestLedger)());
|
|
1809
|
+
if (duplicates)
|
|
1810
|
+
(0, ingest_health_js_1.recordDuplicates)(ledger, duplicates, Date.now());
|
|
1811
|
+
if (envelopes.length)
|
|
1812
|
+
(0, ingest_health_js_1.recordIngestSource)(ledger, source, envelopes.length, Date.now());
|
|
1470
1813
|
/* 인입 봉투를 표시해 두고 넣는다 — 커널이 그것을 재방출해도 저널에 두 번 적히지 않게(위 구독 주석). */
|
|
1471
1814
|
for (const e of envelopes) {
|
|
1472
1815
|
if (e && typeof e === 'object')
|
|
@@ -1491,20 +1834,41 @@ class TwinEngine {
|
|
|
1491
1834
|
* 구간 성과 브로드캐스팅은 **없앴다**(2026-08-06). 카드가 `twinKpi` 를 직접 묻는다.
|
|
1492
1835
|
*
|
|
1493
1836
|
* 왜: 카드를 여러 단계(공간·트윈·구역·자리·설비)에 붙이려면 브로드캐스팅으로는 태그가 트윈당 1,200개가 되고,
|
|
1494
|
-
* **모델에 카드를 하나도 안 놓아도** 30초마다 트윈마다 저널을
|
|
1837
|
+
* **모델에 카드를 하나도 안 놓아도** 30초마다 트윈마다 저널을 계산했다. 질의로 바꾸니 보고 있는 카드
|
|
1495
1838
|
* 수만큼만 들고, 같은 (대상·창·축) 은 클라이언트가 하나로 합친다.
|
|
1496
1839
|
*
|
|
1497
1840
|
* 덤으로 질의만 할 수 있는 것이 둘 생겼다 — **과거 시각**(`toTime`)과 **공간 단위 합산**(여러 트윈을
|
|
1498
|
-
* 한 번에
|
|
1841
|
+
* 한 번에 계산). 브로드캐스팅 루프는 트윈별이라 둘 다 못 했다.
|
|
1499
1842
|
*
|
|
1500
1843
|
* 축을 나눠도 폴드 비용이 같다는 실측이 근거다(`test/kpi-query-bench.test.ts`).
|
|
1501
1844
|
*/
|
|
1502
1845
|
/**
|
|
1503
1846
|
* 몇 창마다 한 번은 **전부** 만드나 — 사건 없이 값이 바뀌는 자리에 대한 그물.
|
|
1504
1847
|
*
|
|
1505
|
-
*
|
|
1848
|
+
* 보장이 아니라 그물이다(위 `publishEntityData` 주석). **세는 단위는 창이지만 뜻은 시간**이므로,
|
|
1849
|
+
* 기본 주기를 200밀리초에서 1초로 늘린 날 이 수도 함께 줄였다(25창 → 5창). 그러지 않으면 그물이
|
|
1850
|
+
* 5초에서 25초로 벌어져, 시각만으로 바뀌는 값(유효 기간 만료 같은 것)이 그만큼 늦게 보인다.
|
|
1851
|
+
*/
|
|
1852
|
+
static { this.FULL_BROADCAST_EVERY = 5; }
|
|
1853
|
+
/**
|
|
1854
|
+
* **한 실행 차례에 발행할 수 있는 건수** — 이만큼 발행하면 루프를 비워 준다 (2026-08-27).
|
|
1855
|
+
*
|
|
1856
|
+
* ── 왜 상한이 필요한가 (실측으로 서버가 두 번 죽었다) ──────────────────────
|
|
1857
|
+
* 구독의 대기열에는 버퍼가 없다(`pubsub.subscribe` 가 `new Repeater(fn)` 을 버퍼 없이 만든다).
|
|
1858
|
+
* 발행하는 순간에 「다음 값을 달라」는 요청이 이미 걸려 있어야 바로 전달되고, 아니면 대기열에
|
|
1859
|
+
* 쌓인다. 상한은 1024 이고 넘으면 예외가 난다(`@repeaterjs/repeater` 의 `MAX_QUEUE_LENGTH`).
|
|
1860
|
+
*
|
|
1861
|
+
* 값을 꺼내는 쪽은 비동기다. 그래서 **동기 반복문이 도는 중에는 한 건도 꺼내지 못한다.** 라이브러리로
|
|
1862
|
+
* 직접 재 본 값이다 — 소비자를 붙여 두고 2,000건을 동기로 발행하면 소비자가 꺼낸 것은 1건이었고
|
|
1863
|
+
* 나머지가 쌓여 예외가 났다.
|
|
1864
|
+
*
|
|
1865
|
+
* 그 예외는 `publish()` 호출자에게 오지 않는다. `EventTarget` 이 리스너 예외를 uncaughtException 으로
|
|
1866
|
+
* 보내므로 try/catch 로는 잡을 수 없다(2026-08-14 에 그 가드를 붙였는데 그래서 무력했다). 막는 방법은
|
|
1867
|
+
* **한 차례에 상한을 넘기지 않는 것** 하나다.
|
|
1868
|
+
*
|
|
1869
|
+
* 1024 보다 넉넉히 작게 둔다 — 소비자가 한 청크를 다 꺼내지 못해도 다음 청크까지 여유가 남는다.
|
|
1506
1870
|
*/
|
|
1507
|
-
static { this.
|
|
1871
|
+
static { this.PUBLISH_CHUNK = 200; }
|
|
1508
1872
|
/** 전부 만든 횟수 — 범위를 좁히지 못한 창이 얼마나 되는지 값으로 남는다. */
|
|
1509
1873
|
static { this.broadcastFullPasses = 0; }
|
|
1510
1874
|
/**
|
|
@@ -1540,7 +1904,21 @@ class TwinEngine {
|
|
|
1540
1904
|
}
|
|
1541
1905
|
}
|
|
1542
1906
|
/** 브로드캐스팅 병합 주기(ms) — 브로드캐스팅률 상한. 인제스트가 아무리 빨라도 이 주기로만 브로드캐스팅. */
|
|
1543
|
-
|
|
1907
|
+
/*
|
|
1908
|
+
* ── 200 → 1000 (2026-08-25 · 사용자 결정) ──────────────────────────────────
|
|
1909
|
+
* 트윈 **둘**에서 이미 주기를 스스로 늘리고 있었다(한 번 보내는 데 270밀리초). 200밀리초는 상태가
|
|
1910
|
+
* 작을 때의 값이고, 지금 승화푸드 하나가 엔티티 17,600개다(물품 6,494 · 오더 4,794 · 작업 6,353).
|
|
1911
|
+
*
|
|
1912
|
+
* 한 번 보내는 값은 상태 크기에 비례하므로 주기를 늘리는 것으로 그 값이 줄지는 않는다. 대신 **단위
|
|
1913
|
+
* 시간에 그 값을 치르는 횟수**가 5분의 1이 된다. 그 사이 호스트가 HTTP·구독을 처리한다.
|
|
1914
|
+
*
|
|
1915
|
+
* 화면이 늦게 갱신되는 것은 최대 1초다. 최신-상태 채널이라 밀린 것을 쌓아 보내지 않고 마지막 하나만
|
|
1916
|
+
* 가므로, 늦어질 뿐 내용은 같다.
|
|
1917
|
+
*
|
|
1918
|
+
* **비용을 줄인 것이 아니다.** 줄이는 것은 변경분만 만드는 일이고(바뀐 것만 다시 만드는 일) 그것은 별
|
|
1919
|
+
* 작업이다 — 계획: `design/plans/live-broadcast-cost.md`.
|
|
1920
|
+
*/
|
|
1921
|
+
static { this.BROADCAST_COALESCE_MS = 1000; }
|
|
1544
1922
|
/**
|
|
1545
1923
|
* ── 브로드캐스팅 주기는 **재 본 비용에 맞춘다** (2026-08-21 실측) ────────────────────
|
|
1546
1924
|
* 한 번의 브로드캐스팅은 상태 크기에 비례한다(실측: 물품 2,400 개인 트윈 하나가 4.5ms — 상태 투영 1.7ms,
|
|
@@ -1554,12 +1932,13 @@ class TwinEngine {
|
|
|
1554
1932
|
* 이것은 브로드캐스팅 비용을 **줄이는 것이 아니다** — 비용을 줄이는 것은 변경분만 만드는 일이고 그것은 별
|
|
1555
1933
|
* 작업이다. 여기서는 그때까지 호스트가 굶지 않게 상한을 둔다.
|
|
1556
1934
|
*/
|
|
1557
|
-
|
|
1935
|
+
/* 기본이 1초가 되었으므로 늘릴 여지를 함께 올린다 — 상한이 기본과 같으면 늘릴 곳이 없다. */
|
|
1936
|
+
static { this.BROADCAST_MAX_COALESCE_MS = 2000; }
|
|
1558
1937
|
/** 주기의 몇 몫까지 브로드캐스팅에 써도 되는가 — 넘으면 주기를 늘린다(절반이면 나머지 절반은 남긴다). */
|
|
1559
1938
|
static { this.BROADCAST_LOAD_RATIO = 0.3; }
|
|
1560
1939
|
/** 지금 쓰고 있는 주기(ms) — 계기판이 이 값을 읽는다. 늘어난 채로 있으면 그것이 사실이다. */
|
|
1561
1940
|
static { this.broadcastPeriodMs = 200; }
|
|
1562
|
-
/** 주기를 늘린 횟수 —
|
|
1941
|
+
/** 주기를 늘린 횟수 — 알리지 않고 늦추지 않는다. */
|
|
1563
1942
|
static { this.broadcastBackoffs = 0; }
|
|
1564
1943
|
/** live 브로드캐스팅 coalescer — dirty 인 live 인스턴스만 주기적으로 1회 브로드캐스팅(entitySigs 로 변경 엔티티만). */
|
|
1565
1944
|
static ensureBroadcastCoalescer() {
|
|
@@ -1606,7 +1985,31 @@ class TwinEngine {
|
|
|
1606
1985
|
* 한 tick 에서 수백 번 반복되며 이벤트 루프를 막았다(위 `start()` 주석의 35초 틱). 브로드캐스팅을 모으는
|
|
1607
1986
|
* 규율은 모드의 성질이 아니라 **채널의 성질**이다 — 최신-상태 채널이면 중간 상태는 보낼 값이 없다.
|
|
1608
1987
|
*/
|
|
1988
|
+
/**
|
|
1989
|
+
* 브로드캐스팅 한 창 — **겹쳐 돌지 않는다** (2026-08-27).
|
|
1990
|
+
*
|
|
1991
|
+
* 발행이 청크로 나뉘어 사이에 루프를 비워 주므로 한 창이 주기를 넘길 수 있다. 그때 다음 타이머가
|
|
1992
|
+
* 겹쳐 들어오면 같은 태그가 두 순서로 나가고 시그니처 표가 엉킨다. 그래서 앞 창이 끝날 때까지
|
|
1993
|
+
* 다음 타이머는 그대로 돌아간다 — **창을 버리는 것이 아니다.** 다음 타이머가 이어서 한다.
|
|
1994
|
+
*
|
|
1995
|
+
* 겹친 횟수를 센다. 계속 겹치면 주기보다 한 창이 오래 걸리고 있다는 뜻이고, 그것은
|
|
1996
|
+
* `adjustBroadcastPeriod` 가 주기를 올려 스스로 풀어야 하는 사실이다.
|
|
1997
|
+
*/
|
|
1998
|
+
static { this.flushInFlight = false; }
|
|
1999
|
+
static { this.flushOverruns = 0; }
|
|
1609
2000
|
static flushLiveBroadcasts() {
|
|
2001
|
+
if (this.flushInFlight) {
|
|
2002
|
+
this.flushOverruns++;
|
|
2003
|
+
return;
|
|
2004
|
+
}
|
|
2005
|
+
this.flushInFlight = true;
|
|
2006
|
+
void this.flushBroadcastWindow()
|
|
2007
|
+
.catch(err => (0, log_js_1.twinError)('[twin-engine] broadcast window failed', err?.message ?? err))
|
|
2008
|
+
.finally(() => {
|
|
2009
|
+
this.flushInFlight = false;
|
|
2010
|
+
});
|
|
2011
|
+
}
|
|
2012
|
+
static async flushBroadcastWindow() {
|
|
1610
2013
|
const now = Date.now();
|
|
1611
2014
|
const flushStart = performance.now();
|
|
1612
2015
|
for (const inst of Object.values(this.instances)) {
|
|
@@ -1645,7 +2048,7 @@ class TwinEngine {
|
|
|
1645
2048
|
inst.fullBroadcastCountdown = left;
|
|
1646
2049
|
}
|
|
1647
2050
|
// ① 엔티티 data(tag) 브로드캐스팅 — 보드 컴포넌트 라이브 렌더.
|
|
1648
|
-
this.publishEntityData(inst);
|
|
2051
|
+
await this.publishEntityData(inst);
|
|
1649
2052
|
if (m) {
|
|
1650
2053
|
m.broadcastTotal++;
|
|
1651
2054
|
m._accBroadcast++;
|
|
@@ -1693,7 +2096,7 @@ class TwinEngine {
|
|
|
1693
2096
|
correlationId: e?.correlationId,
|
|
1694
2097
|
revision,
|
|
1695
2098
|
/* **이 사실이 일어난 공장**을 함께 찍는다 — 이것이 없으면 나중에 구조가 바뀌었을 때 이 행을
|
|
1696
|
-
새 공장에 대고
|
|
2099
|
+
새 공장에 대고 계산하게 되고, 그때 없던 설비에서 일이 있었던 것처럼 보인다. */
|
|
1697
2100
|
...(structureRev === undefined ? {} : { structureRev }),
|
|
1698
2101
|
/* 커널은 ISO 문자열을 준다. 컬럼은 날짜다 — **여기서 옮긴다.** 문자열을 그대로 넣으면
|
|
1699
2102
|
드라이버가 제 형식으로 정규화하지 않아, 나중에 날짜로 거는 질의에 안 걸린다. */
|
|
@@ -1731,12 +2134,12 @@ class TwinEngine {
|
|
|
1731
2134
|
* 모아 둔 저널을 **한 번에** 쓴다 — 두 구동이 같은 문을 쓴다 (§7.1).
|
|
1732
2135
|
*
|
|
1733
2136
|
* ── 왜 한 함수인가 ─────────────────────────────────────────────────────────
|
|
1734
|
-
* 쓰는 자리가 둘이면(주기 flush · 정지) 한쪽만 고쳐지고, 그 어긋남은 **사실이
|
|
2137
|
+
* 쓰는 자리가 둘이면(주기 flush · 정지) 한쪽만 고쳐지고, 그 어긋남은 **사실이 오류 없이 사라지는**
|
|
1735
2138
|
* 모양으로 나타난다. 그래서 흘리는 규칙을 여기 한 곳에 둔다.
|
|
1736
2139
|
*
|
|
1737
2140
|
* ── 리비전을 누가 매기나 ───────────────────────────────────────────────────
|
|
1738
2141
|
* · 라이브 — 원천은 리비전을 주지 않으므로 **호스트가** 이어 붙인다(저널 high-water 에서 시드).
|
|
1739
|
-
* · 시뮬 — **커널의 리비전**이 실려 온다(저널이
|
|
2142
|
+
* · 시뮬 — **커널의 리비전**이 실려 온다(저널이 그 번호로 정렬되고 시간여행이 그것을 딛는다).
|
|
1740
2143
|
* 그래서 버퍼는 두 모양을 함께 든다: 봉투만 있으면 라이브, `{ event, revision }` 이면 시뮬이다.
|
|
1741
2144
|
*/
|
|
1742
2145
|
static flushJournal(inst) {
|
|
@@ -1795,6 +2198,25 @@ class TwinEngine {
|
|
|
1795
2198
|
const structureRev = await this.structureRevOf(domainId, instanceId);
|
|
1796
2199
|
const rows = items.map(it => this.journalRow(repo, domainId, instanceId, it.event, it.revision, structureRev));
|
|
1797
2200
|
await this.insertRows(repo, rows);
|
|
2201
|
+
await this.writeSubjects(domainId, instanceId, items.map(it => ({ envelope: it.event, revision: it.revision })));
|
|
2202
|
+
}
|
|
2203
|
+
/**
|
|
2204
|
+
* **대상별 사건 목록에 함께 적는다** — 조회용 파생 표 (2026-08-27).
|
|
2205
|
+
*
|
|
2206
|
+
* 저널을 쓰는 두 문(`persistBatch` · `persistCarried`) 뒤에서 부른다. 다른 자리에서 나중에 적으면
|
|
2207
|
+
* 「저널에는 있고 그 표에는 없는 사건」이 생기고, 그것은 화면에서 오류 없이 빠진 사건이 된다.
|
|
2208
|
+
*
|
|
2209
|
+
* **저널이 먼저다.** 이 표에 적다가 실패해도 저널 쓰기를 되돌리지 않는다 — 사실의 원본은 저널이고
|
|
2210
|
+
* 이 표는 다시 만들 수 있다. 실패는 세어 남긴다(§`subjectWriteFailures`).
|
|
2211
|
+
*
|
|
2212
|
+
* 설계: `operato-twin/design/plans/read-models.md`
|
|
2213
|
+
*/
|
|
2214
|
+
static async writeSubjects(domainId, instanceId, entries) {
|
|
2215
|
+
if (!entries.length)
|
|
2216
|
+
return;
|
|
2217
|
+
const reg = this.instances[(0, runtime_key_js_1.runtimeKey)(domainId, instanceId)];
|
|
2218
|
+
const itemOf = (0, item_resolver_js_1.itemResolverFor)(domainId, instanceId, reg?.model);
|
|
2219
|
+
await (0, twin_subject_writer_js_1.writeSubjectRows)(domainId, instanceId, entries, itemOf).catch(err => (0, log_js_1.twinWarn)(`[twin-subject] "${instanceId}" 대상 목록 쓰기 실패 — ${err?.message ?? err}`));
|
|
1798
2220
|
}
|
|
1799
2221
|
/**
|
|
1800
2222
|
* 저널 행을 넣는다 — **넣기만 한다**(2026-08-20).
|
|
@@ -1837,6 +2259,7 @@ class TwinEngine {
|
|
|
1837
2259
|
const structureRev = await this.structureRevOf(domainId, instanceId);
|
|
1838
2260
|
const rows = envelopes.map((e, i) => this.journalRow(repo, domainId, instanceId, e, startRevision + i + 1, structureRev));
|
|
1839
2261
|
await this.insertRows(repo, rows);
|
|
2262
|
+
await this.writeSubjects(domainId, instanceId, envelopes.map((e, i) => ({ envelope: e, revision: startRevision + i + 1 })));
|
|
1840
2263
|
}
|
|
1841
2264
|
/** 레지스트리 upsert(도메인+instanceId 유니크). status 인자로 provision(stopped)/start(running) 공용. */
|
|
1842
2265
|
static async register(domainId, instanceId, kind, model, status = 'running', restartPolicy, origin,
|
|
@@ -1859,7 +2282,7 @@ class TwinEngine {
|
|
|
1859
2282
|
areaId: model?.areaId ?? existing?.areaId,
|
|
1860
2283
|
/* 재기동 정책(ADR-0029 §2) — 명시값 우선, 없으면 기존값 보존(재프로비전이 선언을 지우지 않게).
|
|
1861
2284
|
**둘 다 없으면 오류를 낸다**: 예전에는 여기서 기본값을 각인했는데, 그 기본값이 「저널 초기화」라서
|
|
1862
|
-
선언을 빠뜨린 프로비저닝이
|
|
2285
|
+
선언을 빠뜨린 프로비저닝이 알리지 않고 이력을 지우는 트윈을 만들었다. 선언은 부르는 쪽의 몫이다. */
|
|
1863
2286
|
restartPolicy: restartPolicy ??
|
|
1864
2287
|
(0, restart_policy_js_1.readRestartPolicy)(existing?.restartPolicy, `register("${instanceId}") did not declare a restart policy and the stored row has none`),
|
|
1865
2288
|
/* 용도도 각인한다. 벤치로 뒤집는 것은 `setPurpose` 하나뿐이므로 기존값을 반드시 보존한다
|
|
@@ -1912,7 +2335,7 @@ class TwinEngine {
|
|
|
1912
2335
|
/**
|
|
1913
2336
|
* 실행 중이면 구조를 교체하지 않는다 — **판정 문장을 한 곳에 둔다.**
|
|
1914
2337
|
*
|
|
1915
|
-
* 인제스트는 전량 교체라, 이벤트를
|
|
2338
|
+
* 인제스트는 전량 교체라, 이벤트를 계산하고 있는 커널 밑에서 바닥을 바꾸는 셈이 된다. 지금은 거절이
|
|
1916
2339
|
* 유일한 답이지만 최종형은 아니다(`adoptStructure` 배선). 두 곳에서 같은 문장으로 거절해야
|
|
1917
2340
|
* 나중에 이 규칙을 걷어낼 때 걷어낼 것이 하나로 보인다.
|
|
1918
2341
|
*/
|
|
@@ -1943,7 +2366,7 @@ class TwinEngine {
|
|
|
1943
2366
|
* 세 가지가 **함께** 일어나야 한다. 하나라도 빠지면 층이 어긋난다:
|
|
1944
2367
|
* ① 리비전 — 이 시점 이후의 이벤트가 새 번호를 달고 다닌다(재생이 마디를 나눌 수 있게)
|
|
1945
2368
|
* ② 저장 model·구조 행 — 조회가 새 구조를 본다
|
|
1946
|
-
* ③ 커널 — 지금
|
|
2369
|
+
* ③ 커널 — 지금 계산에 들어가는 이벤트가 새 구조 위에서 계산된다
|
|
1947
2370
|
*/
|
|
1948
2371
|
static async adoptStructure(domainId, instanceId, model, comment, origin) {
|
|
1949
2372
|
const inst = this.instances[(0, runtime_key_js_1.runtimeKey)(domainId, instanceId)];
|
|
@@ -1956,7 +2379,7 @@ class TwinEngine {
|
|
|
1956
2379
|
throw new Error(`instance "${instanceId}" is running but not registered — refusing to adopt into an unknown twin`);
|
|
1957
2380
|
const rev = await this.recordStructure(domainId, instanceId, model, comment);
|
|
1958
2381
|
await this.register(domainId, instanceId, reg.kind, model, 'running', undefined, origin);
|
|
1959
|
-
/* 커널을 **마지막에** 전환한다 — 저장이 실패하면 메모리만 새 구조가 되어, 재기동하면
|
|
2382
|
+
/* 커널을 **마지막에** 전환한다 — 저장이 실패하면 메모리만 새 구조가 되어, 재기동하면 알리지 않고
|
|
1960
2383
|
옛 구조로 돌아간다(고치기 어려운 어긋남이다). */
|
|
1961
2384
|
const shift = inst.kernel.adoptStructure(model);
|
|
1962
2385
|
/*
|
|
@@ -1973,14 +2396,14 @@ class TwinEngine {
|
|
|
1973
2396
|
* 준다**(넣은 값이 화면에서 보이지 않는다). 구조가 바뀐 순간이 곧 캐시를 다시 그릴 순간이다.
|
|
1974
2397
|
*
|
|
1975
2398
|
* 실패는 흡수한다: 투영이 막혀도(예: 모델에 중복 id) 커널은 이미 새 구조로 돌고 있으므로 그 사실을
|
|
1976
|
-
* 되돌리지 않는다 — 다만
|
|
2399
|
+
* 되돌리지 않는다 — 다만 알리지 않고 넘기지 않고 말한다.
|
|
1977
2400
|
*/
|
|
1978
2401
|
await (0, project_structure_js_1.projectStructure)(domainId, instanceId, model, instanceId).catch((err) => (0, log_js_1.twinWarn)(`[twin-engine] "${instanceId}" adopted a new structure but its projected rows were not refreshed — ${err?.message ?? err}`));
|
|
1979
2402
|
/*
|
|
1980
2403
|
* **구조가 바뀐 순간이 상태가 바뀐 순간이다** — 그러니 브로드캐스팅한다.
|
|
1981
2404
|
*
|
|
1982
2405
|
* ── 무엇이 났나 (2026-08-18) ────────────────────────────────────────────
|
|
1983
|
-
* 구조 전환은 커널만 갈고
|
|
2406
|
+
* 구조 전환은 커널만 갈고 알리지 않고 끝났다. 그런데 화면이 보는 것 상당수가 구조에서 파생된다 —
|
|
1984
2407
|
* 계약 대비 판정, 주목 신호, 자리 색. 현장이 계약을 고쳐 선언한 순간 조건이 성립하는데도, 상태
|
|
1985
2408
|
* 브로드캐스팅이 없어서 지도 레일은 **다음 계측 표본이 올 때까지** 옛 화면을 들고 있었다(그 사이 헤더
|
|
1986
2409
|
* 배지는 4초 폴링으로 먼저 알아, 「배지엔 있고 목록엔 없는」 어긋난 화면이 실제로 보였다).
|
|
@@ -1999,7 +2422,7 @@ class TwinEngine {
|
|
|
1999
2422
|
* **재기동 정책은 생성 시점의 선언이다**(ADR-0029 §2) — 트윈은 정책 없이 존재할 수 없다.
|
|
2000
2423
|
*
|
|
2001
2424
|
* 예전에는 이 자리가 없었고 `register` 가 기본값(`sim-experiment` = 저널 초기화)을 각인했다. 그래서
|
|
2002
|
-
* 선언을 빠뜨린 프로비저닝이 **재기동마다 이력을 지우는 트윈**을
|
|
2425
|
+
* 선언을 빠뜨린 프로비저닝이 **재기동마다 이력을 지우는 트윈**을 알리지 않고 만들었다. 이제 만드는 쪽이
|
|
2003
2426
|
* 말해야 한다: 이 트윈이 자기 과거를 어떻게 대하는지는 만드는 사람이 아는 사실이다.
|
|
2004
2427
|
*/
|
|
2005
2428
|
restartPolicy, comment, origin,
|
|
@@ -2015,12 +2438,12 @@ class TwinEngine {
|
|
|
2015
2438
|
* **구조가 바뀌어도 역사를 지우지 않는다.**
|
|
2016
2439
|
*
|
|
2017
2440
|
* 예전에는 서명이 다르면 그 트윈의 저널을 통째로 지웠다. 안 지우면 옛 이벤트를 새 공장에 대고
|
|
2018
|
-
*
|
|
2019
|
-
*
|
|
2441
|
+
* 계산하게 되어 이력이 거짓말을 했기 때문이다 — 부스가 둘이던 시절의 사실을 여섯 개짜리 공장에
|
|
2442
|
+
* 계산하면 그때 없던 부스에서 일이 있었던 것처럼 보인다. 선택지가 **역사를 잃거나 거짓말을
|
|
2020
2443
|
* 하거나** 둘뿐이었고, 그래서 공장을 고칠 때마다 이력을 버려야 했다.
|
|
2021
2444
|
*
|
|
2022
2445
|
* 이제 셋째 길로 간다: 바뀐 구조를 **새 리비전**으로 남기고, 앞으로 쓰이는 이벤트가 그 번호를
|
|
2023
|
-
* 달고 다닌다. 재생은 구조가 바뀌는 지점에서 전환한 뒤
|
|
2446
|
+
* 달고 다닌다. 재생은 구조가 바뀌는 지점에서 전환한 뒤 이어서 계산한다(`replaySegments`).
|
|
2024
2447
|
*/
|
|
2025
2448
|
await this.recordStructure(domainId, instanceId, model, comment);
|
|
2026
2449
|
await this.register(domainId, instanceId, kind, model, existing?.status === 'running' ? 'stopped' : existing?.status ?? 'stopped', restartPolicy, origin, meta);
|
|
@@ -2172,7 +2595,7 @@ class TwinEngine {
|
|
|
2172
2595
|
* 웜스타트 재료를 **여기서 확실히 확보한다.**
|
|
2173
2596
|
* `start()` 는 동기라 스스로 캐시를 읽을 수 없어서 `recovered` 에 미리 담겨 있기를 기대하는데,
|
|
2174
2597
|
* 그건 `bootstrap()` 이 먼저 돌았을 때만 참이다. 부팅 순서에 기대면 어떤 날은 재고가 살아나고
|
|
2175
|
-
* 어떤 날은
|
|
2598
|
+
* 어떤 날은 알리지 않고 빈 채로 뜬다 — 재현되지 않는 결함이 가장 나쁘다.
|
|
2176
2599
|
* 체크포인트 캐시 우선(O(1) + 라이브 파생상태 보존), 없으면 저널 replay 폴백(부팅과 같은 순서).
|
|
2177
2600
|
*/
|
|
2178
2601
|
if (!this.recovered[key] && reg.purpose !== 'bench') {
|
|
@@ -2201,9 +2624,9 @@ class TwinEngine {
|
|
|
2201
2624
|
.getRawOne();
|
|
2202
2625
|
return this.start(instanceId, domainId,
|
|
2203
2626
|
/* 커널 종류·현실 선언은 레지스트리에 반드시 있다(둘 다 NOT NULL). 예전에는 `?? 'wms'` 로
|
|
2204
|
-
메웠는데, 그건 YMS/MES 트윈을
|
|
2627
|
+
메웠는데, 그건 YMS/MES 트윈을 **알리지 않고 WMS 로 부팅**시키는 길이었다 — 오류 없이 다른 공장이 뜬다. */
|
|
2205
2628
|
reg.kind, reg.model,
|
|
2206
|
-
/* 저장된 값은 위에서 **엄격히** 읽었다 — 모르는 값을 기본값으로 메우면 그 트윈이
|
|
2629
|
+
/* 저장된 값은 위에서 **엄격히** 읽었다 — 모르는 값을 기본값으로 메우면 그 트윈이 알리지 않고 다르게 재기동한다. */
|
|
2207
2630
|
policy, reg.purpose, Number(last?.max ?? 0) || 0);
|
|
2208
2631
|
}
|
|
2209
2632
|
/**
|
|
@@ -2230,7 +2653,7 @@ class TwinEngine {
|
|
|
2230
2653
|
* 있는데 아무 일도 일어나지 않는」 상태가 됐다.
|
|
2231
2654
|
*
|
|
2232
2655
|
* 이것은 `start` 가 이미 배운 교훈과 같은 자리다: 부팅 순서에 기대면 어떤 날은 상태가 살아나고
|
|
2233
|
-
* 어떤 날은
|
|
2656
|
+
* 어떤 날은 알리지 않고 빈 채로 뜬다 — **재현되지 않는 결함이 가장 나쁘다.** 그래서 순서에 기대지 않고
|
|
2234
2657
|
* 이 자리에서 확보한다(이미 담겨 있으면 그것을 쓴다).
|
|
2235
2658
|
*/
|
|
2236
2659
|
const key = (0, runtime_key_js_1.runtimeKey)(domainId, instanceId);
|
|
@@ -2430,7 +2853,7 @@ class TwinEngine {
|
|
|
2430
2853
|
const agg = new Map();
|
|
2431
2854
|
for (const r of insts) {
|
|
2432
2855
|
/* 벤치 제외는 **선언으로만** 판단한다. 예전에는 spaceId 이름(`bench-`·`loadtest*`)으로도 추측했는데,
|
|
2433
|
-
그러면 그렇게 이름 지은 진짜 운영 공간이 목록에서
|
|
2856
|
+
그러면 그렇게 이름 지은 진짜 운영 공간이 목록에서 오류 없이 사라진다. purpose 가 정본이다. */
|
|
2434
2857
|
if (!r.spaceId || r.purpose === 'bench')
|
|
2435
2858
|
continue;
|
|
2436
2859
|
const model = r.model ?? {};
|
|
@@ -2516,7 +2939,7 @@ class TwinEngine {
|
|
|
2516
2939
|
* 다시 그리면 그대로 사라진다 — 금액이 사라지고, 사용자는 자기가 넣은 값이 어디로 갔는지 알 수 없다.
|
|
2517
2940
|
* 그래서 겹으로 보관한 선언을 매번 다시 얹는다(`engine/local-declarations`).
|
|
2518
2941
|
*
|
|
2519
|
-
* 대상이 사라졌으면(구조가 바뀌었다) 그 사실을 경고로 낸다 — 갈 곳 없는 선언을
|
|
2942
|
+
* 대상이 사라졌으면(구조가 바뀌었다) 그 사실을 경고로 낸다 — 갈 곳 없는 선언을 알리지 않고 버리지 않는다.
|
|
2520
2943
|
*/
|
|
2521
2944
|
const prior = await (0, shell_1.getRepository)(twin_instance_js_1.TwinInstance).findOne({ where: { domain: { id: domainId }, instanceId: master.source } });
|
|
2522
2945
|
/*
|
|
@@ -2553,7 +2976,7 @@ class TwinEngine {
|
|
|
2553
2976
|
}
|
|
2554
2977
|
}
|
|
2555
2978
|
const repo = (0, shell_1.getRepository)(twin_space_js_1.TwinSpace);
|
|
2556
|
-
/* 합칠 공간을 골랐으면 **있는지 먼저 확인한다** — 없는 곳에
|
|
2979
|
+
/* 합칠 공간을 골랐으면 **있는지 먼저 확인한다** — 없는 곳에 알리지 않고 새 공간을 만들면 사용자는
|
|
2557
2980
|
합쳤다고 믿고 화면은 따로 논다. 판정 함수가 그 경우 거절한다. */
|
|
2558
2981
|
const wanted = (into?.spaceId ?? '').trim();
|
|
2559
2982
|
const wantedExists = wanted
|
|
@@ -2564,7 +2987,7 @@ class TwinEngine {
|
|
|
2564
2987
|
model.spaceId = spaceId; // 보드(커널 소비)도 같은 공간을 가리켜야 한다
|
|
2565
2988
|
const existing = await repo.findOne({ where: { domain: { id: domainId }, spaceId } });
|
|
2566
2989
|
if (choice.joined) {
|
|
2567
|
-
/* 같은 id 의 구역·랜드마크는 합집합으로
|
|
2990
|
+
/* 같은 id 의 구역·랜드마크는 합집합으로 합쳐진다 — 구분할 수 없는 것을 고르지 않고 무엇이
|
|
2568
2991
|
합쳐졌는지 말한다(정당한 경우가 많으므로 막지 않는다). */
|
|
2569
2992
|
}
|
|
2570
2993
|
/*
|
|
@@ -2589,7 +3012,7 @@ class TwinEngine {
|
|
|
2589
3012
|
* 대표 표현 포인터는 **표현을 저장한 뒤** 실제 행 id 로 채운다(아래). 여기서 마스터의 논리
|
|
2590
3013
|
* id(`r-map` 따위)를 넣으면 표현 행은 생성 uuid 를 받으므로 포인터가 **처음부터 허공을
|
|
2591
3014
|
* 가리킨다** — 실제로 13개 현장이 그 상태였고 정합성 점검이 잡았다(2026-08-13). 화면은
|
|
2592
|
-
* 행의 `isPrimary` 로 ★를 그려서 증상이 보이지 않았다(사실이 두 벌이면 이렇게
|
|
3015
|
+
* 행의 `isPrimary` 로 ★를 그려서 증상이 보이지 않았다(사실이 두 벌이면 이렇게 들어온 것이 없다).
|
|
2593
3016
|
*/
|
|
2594
3017
|
primaryRepresentationId: existing?.primaryRepresentationId ?? null
|
|
2595
3018
|
}));
|
|
@@ -2650,7 +3073,7 @@ class TwinEngine {
|
|
|
2650
3073
|
}
|
|
2651
3074
|
if (running) {
|
|
2652
3075
|
/* 실행 중인 미러 — 멈추지 않고 전환한다. 무엇이 사라졌는지는 **경고로 말한다**
|
|
2653
|
-
(멈췄다 세우는 마디가 없으므로, 말하지 않으면 자리 하나가
|
|
3076
|
+
(멈췄다 세우는 마디가 없으므로, 말하지 않으면 자리 하나가 알리지 않고 없어진다). */
|
|
2654
3077
|
const shift = await this.adoptStructure(domainId, master.source, model, undefined, master.origin);
|
|
2655
3078
|
warnings.push((0, reference_master_js_3.structureAdopted)(shift.rev, shift));
|
|
2656
3079
|
}
|
|
@@ -2667,7 +3090,7 @@ class TwinEngine {
|
|
|
2667
3090
|
*
|
|
2668
3091
|
* 인제스트가 유일한 쓰기 경로다. 여기서 실패해도 인제스트 자체는 성공으로 둔다 —
|
|
2669
3092
|
* 행은 **원본에서 언제든 다시 그릴 수 있는 캐시**이고, 트윈 자체는 model 로 이미 동작한다.
|
|
2670
|
-
* 다만
|
|
3093
|
+
* 다만 **알리지 않고 넘기지 않는다**: 못 이은 참조는 인제스트 경고로 올라간다.
|
|
2671
3094
|
*/
|
|
2672
3095
|
try {
|
|
2673
3096
|
const projected = await (0, project_structure_js_1.projectStructure)(domainId, master.source, model, master.source);
|
|
@@ -2728,6 +3151,19 @@ class TwinEngine {
|
|
|
2728
3151
|
* 못 보낸 것은 **사실로 남긴다**(횟수를 세고 창마다 한 줄 남긴다). 삼키면 「보냈는데 화면이 낡았다」가
|
|
2729
3152
|
* 되고, 그건 가장 찾기 어려운 부류다.
|
|
2730
3153
|
*/
|
|
3154
|
+
/**
|
|
3155
|
+
* 브로드캐스팅 한 건 — **이 가드가 대기열 넘침을 막지는 못한다** (2026-08-27 측정으로 바로잡음).
|
|
3156
|
+
*
|
|
3157
|
+
* 2026-08-14 에 이 함수를 「방송이 호스트를 죽이지 못하게」라는 이름으로 붙였다. 그것이 사실이 아니다.
|
|
3158
|
+
* 대기열이 넘칠 때 나는 예외는 `EventTarget` 이 부른 리스너 안에서 난다. 런타임은 리스너 예외를
|
|
3159
|
+
* 호출자에게 주지 않고 uncaughtException 으로 보낸다. 그래서 이 try/catch 에는 잡을 것이 없다.
|
|
3160
|
+
* 실제로 그 뒤 3주 동안 막힌 줄 알고 있었고, 2026-08-27 10:24 에 같은 예외로 다시 죽었다.
|
|
3161
|
+
*
|
|
3162
|
+
* 넘침을 막는 것은 **한 실행 차례에 발행하는 수를 상한 아래로 두는 것**이다(§`PUBLISH_CHUNK`).
|
|
3163
|
+
*
|
|
3164
|
+
* 그래도 이 가드를 남기는 이유는 둘이다. `publish` 가 직접 던지는 경우(직렬화 실패 등)를 잡고,
|
|
3165
|
+
* 못 보낸 태그의 시그니처를 되돌린다 — 남겨 두면 그 태그가 오류 없이 영원히 낡은 값을 보인다.
|
|
3166
|
+
*/
|
|
2731
3167
|
static publishGuarded(channel, payload, what) {
|
|
2732
3168
|
try {
|
|
2733
3169
|
shell_1.pubsub.publish(channel, payload);
|
|
@@ -2745,7 +3181,7 @@ class TwinEngine {
|
|
|
2745
3181
|
return false;
|
|
2746
3182
|
}
|
|
2747
3183
|
}
|
|
2748
|
-
static publishEntityData(inst) {
|
|
3184
|
+
static async publishEntityData(inst) {
|
|
2749
3185
|
const domain = inst.domain;
|
|
2750
3186
|
if (!domain)
|
|
2751
3187
|
return;
|
|
@@ -2778,7 +3214,7 @@ class TwinEngine {
|
|
|
2778
3214
|
* 문자열로 바꾼 뒤 「같다」를 확인하고 버렸다.
|
|
2779
3215
|
*
|
|
2780
3216
|
* 범위는 이 창에 들어온 사건에서 모았다(`touchedItemKeys`). **말할 수 없는 사건이 하나라도 있으면
|
|
2781
|
-
* 범위는 없고 전부 만든다** — 낯선 어휘가 오면
|
|
3217
|
+
* 범위는 없고 전부 만든다** — 낯선 어휘가 오면 알리지 않고 빠뜨리는 대신 비싸게 안전한 쪽으로 떨어진다.
|
|
2782
3218
|
*
|
|
2783
3219
|
* 그리고 주기마다 한 번은 **무조건 전부** 만든다(`FULL_BROADCAST_EVERY`). 커널이 사건 없이 물품을
|
|
2784
3220
|
* 바꾸는 자리가 생기면 그 값이 화면에 남을 수 있는데, 그 창을 몇 초로 묶는 그물이다. **보장이 아니라
|
|
@@ -2794,6 +3230,22 @@ class TwinEngine {
|
|
|
2794
3230
|
inst.fullBroadcastDue = false;
|
|
2795
3231
|
(0, load_meter_js_1.recordPhase)(load, 'deltas', performance.now() - tDelta);
|
|
2796
3232
|
const tPub = performance.now();
|
|
3233
|
+
/*
|
|
3234
|
+
* ── **한 실행 차례에 상한까지만 발행한다** (2026-08-27 실측으로 고침) ────────
|
|
3235
|
+
*
|
|
3236
|
+
* 이 반복문이 동기였다. 구독의 대기열에는 버퍼가 없고, 발행하는 순간에 「다음 값을 달라」는 요청이
|
|
3237
|
+
* 걸려 있지 않으면 쌓인다. 값을 꺼내는 쪽은 비동기라서 **동기 반복문이 도는 중에는 한 건도 꺼내지
|
|
3238
|
+
* 못한다.** 그래서 N 건을 발행하면 첫 건만 전달되고 나머지가 쌓였고, 1024 를 넘는 순간 예외가 나서
|
|
3239
|
+
* 프로세스가 내려갔다(2026-08-27 10:24 · 2026-08-14 에도 같은 예외).
|
|
3240
|
+
*
|
|
3241
|
+
* `PUBLISH_CHUNK` 마다 루프를 비워 준다. 그 틈에 소비자가 대기열을 꺼내 간다.
|
|
3242
|
+
*
|
|
3243
|
+
* **건너뛰지 않는다.** 이 창의 발행은 끝까지 한다 — 중간에 그만두면 그 태그가 낡은 값으로 남는다.
|
|
3244
|
+
* 이 함수가 주기보다 오래 걸리면 다음 타이머는 그대로 돌아가고(§`flushLiveBroadcasts`),
|
|
3245
|
+
* `adjustBroadcastPeriod` 가 주기를 올린다.
|
|
3246
|
+
*/
|
|
3247
|
+
let published = 0;
|
|
3248
|
+
let sinceYield = 0;
|
|
2797
3249
|
for (const { tag, data } of deltas) {
|
|
2798
3250
|
seen.add(tag);
|
|
2799
3251
|
const sig = JSON.stringify(data);
|
|
@@ -2806,8 +3258,26 @@ class TwinEngine {
|
|
|
2806
3258
|
*/
|
|
2807
3259
|
if (!this.publishGuarded('data', { data: { domain, tag, data } }, `data:${inst.id}`))
|
|
2808
3260
|
sigs.delete(tag);
|
|
3261
|
+
published++;
|
|
3262
|
+
if (++sinceYield >= this.PUBLISH_CHUNK) {
|
|
3263
|
+
sinceYield = 0;
|
|
3264
|
+
await new Promise(resolve => setImmediate(resolve));
|
|
3265
|
+
}
|
|
2809
3266
|
}
|
|
2810
3267
|
(0, load_meter_js_1.recordPhase)(load, 'publish', performance.now() - tPub);
|
|
3268
|
+
/*
|
|
3269
|
+
* ── **몇 건을 발행했는지 남긴다** (2026-08-27) ──────────────────────────────
|
|
3270
|
+
*
|
|
3271
|
+
* 10:24 에 서버가 죽었을 때 그 창이 몇 건을 발행했는지 알 수 없었다. 그 수가 없으면 「대기열이
|
|
3272
|
+
* 넘쳤다」는 사실만 있고 무엇이 넘겼는지 판단할 수 없어, 원인을 추측으로 고르게 된다.
|
|
3273
|
+
*
|
|
3274
|
+
* 상한을 넘긴 창만 남긴다 — 매 창을 남기면 로그가 그 자체로 부하가 된다.
|
|
3275
|
+
*/
|
|
3276
|
+
inst.publishedTotal = (inst.publishedTotal ?? 0) + published;
|
|
3277
|
+
if (published >= this.PUBLISH_CHUNK) {
|
|
3278
|
+
(0, log_js_1.twinLog)(`[twin-engine] "${inst.id}" 이번 창에서 ${published}건 발행 ` +
|
|
3279
|
+
`(전체 ${deltas.length}건 중 · ${full ? '전량' : '좁힘'} · 청크 ${this.PUBLISH_CHUNK})`);
|
|
3280
|
+
}
|
|
2811
3281
|
/*
|
|
2812
3282
|
* 사라진 엔티티의 시그니처 정리(맵 무한 성장 방지) — **전부 만든 창에서만.**
|
|
2813
3283
|
* 범위를 좁힌 창의 `seen` 에는 만들지 않은 엔티티가 없으므로, 그때 정리하면 살아 있는 태그의
|
|
@@ -2846,18 +3316,18 @@ class TwinEngine {
|
|
|
2846
3316
|
return this.snapshot(domainId, instanceId);
|
|
2847
3317
|
}
|
|
2848
3318
|
/*
|
|
2849
|
-
* **끝에 있는 스냅샷이면
|
|
3319
|
+
* **끝에 있는 스냅샷이면 계산하지 않는다.**
|
|
2850
3320
|
*
|
|
2851
|
-
* 멈춘 트윈을 조회할 때마다 저널을 전량
|
|
3321
|
+
* 멈춘 트윈을 조회할 때마다 저널을 전량 계산하고 있었다 — 트윈을 하나도 안 돌려도 모델 조회가
|
|
2852
3322
|
* 4.6~7.7초였던 이유다(crew-probe 23,731건). 스냅샷은 같은 폴드의 결과이므로, 그 뒤로 이벤트도
|
|
2853
|
-
* 구조 변경도 없다면 **다시
|
|
3323
|
+
* 구조 변경도 없다면 **다시 계산해 봐야 같은 값**이다.
|
|
2854
3324
|
*
|
|
2855
|
-
* 쓰지 않는 조건을 좁게 잡는다: 지금을 물었을 때만(시간여행은 그 시점까지
|
|
2856
|
-
* 끝과 같을 때만, 구조 리비전까지 같을 때만. 하나라도 어긋나면
|
|
3325
|
+
* 쓰지 않는 조건을 좁게 잡는다: 지금을 물었을 때만(시간여행은 그 시점까지 계산해야 한다), 리비전이
|
|
3326
|
+
* 끝과 같을 때만, 구조 리비전까지 같을 때만. 하나라도 어긋나면 계산한다 — 캐시가 사실을 이기지 않는다.
|
|
2857
3327
|
*/
|
|
2858
3328
|
const asOfNowRead = untilRevision == null && untilTime == null;
|
|
2859
3329
|
const tip = asOfNowRead ? await this.tipOf(domainId, instanceId).catch(() => null) : null;
|
|
2860
|
-
/* 한 번만 읽는다 — 끝에 있으면 그대로 쓰고, 아니면 아래에서 **이어
|
|
3330
|
+
/* 한 번만 읽는다 — 끝에 있으면 그대로 쓰고, 아니면 아래에서 **이어 계산하는 씨앗**으로 쓴다. */
|
|
2861
3331
|
const cachedForResume = asOfNowRead && tip ? await this.loadSnapshot(domainId, instanceId).catch(() => null) : null;
|
|
2862
3332
|
if (cachedForResume) {
|
|
2863
3333
|
const state = (0, warm_start_js_1.unwrapState)(cachedForResume.state);
|
|
@@ -2868,22 +3338,22 @@ class TwinEngine {
|
|
|
2868
3338
|
if (!reg?.model)
|
|
2869
3339
|
throw new Error(`twin instance "${instanceId}" not registered (no model to replay)`);
|
|
2870
3340
|
/*
|
|
2871
|
-
* ── 재개점에서
|
|
3341
|
+
* ── 재개점에서 **이어서 계산한다** (2026-08-18) ────────────────────────────
|
|
2872
3342
|
*
|
|
2873
|
-
* 우리는 이미
|
|
2874
|
-
* 전부 + 가동 누적기)이 함께 있으면, 그 뒤에 일어난 것만
|
|
2875
|
-
* 커널 시험이 증명한다(0부터
|
|
3343
|
+
* 우리는 이미 계산한 결과를 남기고 있다(`saveFoldedSnapshot`). 그 지점의 **재개점**(리듀서 내부 상태
|
|
3344
|
+
* 전부 + 가동 누적기)이 함께 있으면, 그 뒤에 일어난 것만 계산해도 같은 답이 나온다 — 그 동치는
|
|
3345
|
+
* 커널 시험이 증명한다(0부터 계산하기 == 재개점 + 꼬리).
|
|
2876
3346
|
*
|
|
2877
3347
|
* 쓰는 조건을 좁게 잡는다: **지금을 물었을 때만**(시간여행은 목표 이전 재개점이 필요한데 지금은
|
|
2878
3348
|
* 최신 하나만 남긴다 — 사슬은 다음 단계다), 구조가 그대로일 때만(구조가 바뀌면 그 경계에서 갈라
|
|
2879
|
-
*
|
|
3349
|
+
* 계산해야 한다), 재개점이 저널 끝보다 앞설 때만. 하나라도 어긋나면 0부터 계산한다 — **캐시가 사실을
|
|
2880
3350
|
* 이기지 않는다.**
|
|
2881
3351
|
*/
|
|
2882
3352
|
/*
|
|
2883
3353
|
* 씨앗은 둘 중 하나다: **지금**을 물으면 최신 재개점, **과거**를 물으면 사슬에서 목표 직전 지점.
|
|
2884
3354
|
*
|
|
2885
|
-
* 과거 씨앗은 구조가 한 번도 바뀌지 않은 트윈에서만 쓴다 — 구조가 갈린 저널은 마디마다 갈아
|
|
2886
|
-
* 하고, 마디를 건너뛴 씨앗은 그 경계의 판정을 잃는다(그때는 0부터
|
|
3355
|
+
* 과거 씨앗은 구조가 한 번도 바뀌지 않은 트윈에서만 쓴다 — 구조가 갈린 저널은 마디마다 갈아 계산해야
|
|
3356
|
+
* 하고, 마디를 건너뛴 씨앗은 그 경계의 판정을 잃는다(그때는 0부터 계산하는 것이 옳다).
|
|
2887
3357
|
*/
|
|
2888
3358
|
const structureCount = asOfNowRead
|
|
2889
3359
|
? 0
|
|
@@ -2911,10 +3381,10 @@ class TwinEngine {
|
|
|
2911
3381
|
const cutoffMs = untilTime != null ? Date.parse(untilTime) : NaN;
|
|
2912
3382
|
const useTime = untilTime != null && !Number.isNaN(cutoffMs);
|
|
2913
3383
|
const baseWhere = { domain: { id: domainId }, instanceId };
|
|
2914
|
-
/* 이어
|
|
3384
|
+
/* 이어 계산할 때는 **그 뒤만** 읽는다 — 재개점까지의 사실은 이미 씨앗 안에 있다. */
|
|
2915
3385
|
const from = resume ? (resume.revision ?? 0) : undefined;
|
|
2916
3386
|
/*
|
|
2917
|
-
* journal-fold: 재생은 사실을 하나씩
|
|
3387
|
+
* journal-fold: 재생은 사실을 하나씩 계산하는 것이므로 그 구간의 행이 필요하다. 커서(`from`)와 시각
|
|
2918
3388
|
* 상한이 구간을 자르고, 체크포인트가 앞쪽을 씨앗으로 대신한다 — 표 전체를 읽지 않는다.
|
|
2919
3389
|
*/
|
|
2920
3390
|
const rows = await (0, shell_1.getRepository)(twin_event_js_1.TwinEvent).find({
|
|
@@ -2940,14 +3410,14 @@ class TwinEngine {
|
|
|
2940
3410
|
});
|
|
2941
3411
|
const wanted = rows;
|
|
2942
3412
|
/*
|
|
2943
|
-
* **그때의 공장으로
|
|
3413
|
+
* **그때의 공장으로 계산한다.**
|
|
2944
3414
|
*
|
|
2945
|
-
* 예전에는 모든 이벤트를 지금 등록된 보드 하나로
|
|
2946
|
-
* 뒤에는 옛 사실을 새 공장에 대고
|
|
3415
|
+
* 예전에는 모든 이벤트를 지금 등록된 보드 하나로 계산했다. 구조가 바뀐 적 없으면 맞지만, 바뀐
|
|
3416
|
+
* 뒤에는 옛 사실을 새 공장에 대고 계산하게 되어 — 그때 없던 설비에서 일이 있었던 것처럼 보인다.
|
|
2947
3417
|
* (그래서 예전 프로비저닝은 구조가 바뀌면 저널을 아예 지웠다. 역사를 잃거나 거짓말을 하거나.)
|
|
2948
3418
|
*
|
|
2949
|
-
* 이제 이벤트가 자기 구조를 달고 오므로, 리비전이 바뀌는 지점에서 구조를 갈아타며
|
|
2950
|
-
* 리비전이 하나뿐이거나(대다수) 아예 없으면(구조 이력 이전) 예전과 똑같이 한 번에
|
|
3419
|
+
* 이제 이벤트가 자기 구조를 달고 오므로, 리비전이 바뀌는 지점에서 구조를 갈아타며 이어서 계산한다.
|
|
3420
|
+
* 리비전이 하나뿐이거나(대다수) 아예 없으면(구조 이력 이전) 예전과 똑같이 한 번에 계산한다.
|
|
2951
3421
|
*/
|
|
2952
3422
|
const structures = await (0, shell_1.getRepository)(twin_structure_js_1.TwinStructure).find({
|
|
2953
3423
|
where: { domain: { id: domainId }, instanceId },
|
|
@@ -2973,7 +3443,7 @@ class TwinEngine {
|
|
|
2973
3443
|
* **가장 새 구조가 지금의 공장이다** — 그 아래에서 아직 아무 일도 없었더라도.
|
|
2974
3444
|
*
|
|
2975
3445
|
* 재프로비저닝 직후가 정확히 그 상태다: 부스를 넷 늘렸는데 새 이벤트는 아직 하나도 없다. 이때
|
|
2976
|
-
* 마지막 이벤트의 구조로만
|
|
3446
|
+
* 마지막 이벤트의 구조로만 계산하면 화면은 **옛 공장**을 보여준다 — 방금 늘린 것이 안 보인다.
|
|
2977
3447
|
* 그래서 마디의 끝에 지금 구조를 한 번 더 얹는다(이벤트 없는 마디).
|
|
2978
3448
|
*
|
|
2979
3449
|
* **다만 "지금" 을 물었을 때만이다.** 과거 시점을 물었는데 최신 구조를 얹으면, 그 시점에 없던
|
|
@@ -2984,9 +3454,9 @@ class TwinEngine {
|
|
|
2984
3454
|
if (asOfNow && newest && segments[segments.length - 1]?.model !== newest)
|
|
2985
3455
|
segments.push({ model: newest, events: [] });
|
|
2986
3456
|
/*
|
|
2987
|
-
*
|
|
3457
|
+
* 계산한 상태에 **주의 신호와 시각을 채운다.**
|
|
2988
3458
|
*
|
|
2989
|
-
* 라이브·시뮬은 커널이 신호를 스스로 내지만, 저널을
|
|
3459
|
+
* 라이브·시뮬은 커널이 신호를 스스로 내지만, 저널을 계산하는 이 경로는 프로젝터 상태만 낸다 — 신호도
|
|
2990
3460
|
* `nowTime` 도 없다. 그래서 **과거를 다시 계산하면 주의 레일이 텅 비었고**(지도는 `snap.attentions` 를
|
|
2991
3461
|
* 읽는다), 기동돼 있지 않은 트윈을 보는 화면도 같았다. 신호는 상태에서 계산되는 것이므로
|
|
2992
3462
|
* 여기서 같은 공식(`deriveAttentions`)으로 채우면 된다 — 두 벌을 두지 않는다.
|
|
@@ -3000,7 +3470,7 @@ class TwinEngine {
|
|
|
3000
3470
|
* **가동 이력도 되살린다** — 다시 계산한 화면에 설비 계측이 비어 있던 것.
|
|
3001
3471
|
*
|
|
3002
3472
|
* OEE 는 원 시스템이 누적을 보내 주지 않아 호스트가 상태 전이를 적분해 만든다(그래서 커널이 아니라
|
|
3003
|
-
* 여기 있다). 그런데 그 누적기는 **라이브에서만** 돌았고, 저널을
|
|
3473
|
+
* 여기 있다). 그런데 그 누적기는 **라이브에서만** 돌았고, 저널을 계산하는 경로는 그 계산을 하지 않았다 —
|
|
3004
3474
|
* 과거를 다시 계산하면 모든 설비가 "가동 이력이 전혀 없음" 으로 보였다.
|
|
3005
3475
|
*
|
|
3006
3476
|
* 없는 것은 데이터가 아니라 계산이다: 입력(`equipment.status` 전이·`quality.output`)은 저널에 다
|
|
@@ -3010,7 +3480,7 @@ class TwinEngine {
|
|
|
3010
3480
|
* 가동 이력이 나온다(그 뒤에 일어난 고장이 과거 화면에 섞이지 않는다).
|
|
3011
3481
|
*/
|
|
3012
3482
|
const oee = new oee_accumulator_js_1.OeeAccumulator();
|
|
3013
|
-
/* 재개점이 있으면 그 위에 꼬리만 얹는다 — 없으면 꼬리분만 세어 가용률이
|
|
3483
|
+
/* 재개점이 있으면 그 위에 꼬리만 얹는다 — 없으면 꼬리분만 세어 가용률이 알리지 않고 작아진다. */
|
|
3014
3484
|
if (resume?.fold?.oee)
|
|
3015
3485
|
oee.restore(resume.fold.oee);
|
|
3016
3486
|
for (const r of wanted) {
|
|
@@ -3031,20 +3501,20 @@ class TwinEngine {
|
|
|
3031
3501
|
const withMetrics = (0, oee_accumulator_js_1.withLiveOee)(based, oee, Number.isFinite(nowMs) ? nowMs : undefined);
|
|
3032
3502
|
return (0, live_attentions_js_1.withLiveAttentions)(withMetrics);
|
|
3033
3503
|
};
|
|
3034
|
-
/*
|
|
3504
|
+
/* 계산한 결과를 남긴다 — **지금을 물었을 때만**(시간여행 결과를 "지금" 으로 저장하면 거짓이 된다). */
|
|
3035
3505
|
/*
|
|
3036
|
-
*
|
|
3506
|
+
* 계산한 지점의 리비전 — 사슬에 적을 이름이다. 꼬리를 계산했으면 그 꼬리의 끝, 아무것도 안 읽었으면
|
|
3037
3507
|
* 씨앗의 자리 그대로다(모르면 0).
|
|
3038
3508
|
*/
|
|
3039
3509
|
const foldedTo = rows.length ? (rows[rows.length - 1]?.revision ?? 0) : (from ?? 0);
|
|
3040
3510
|
const keep = (st, fold) => {
|
|
3041
|
-
/* 재개점을 함께 남긴다 — 상태만 남기면 다음 번에 또 0부터
|
|
3511
|
+
/* 재개점을 함께 남긴다 — 상태만 남기면 다음 번에 또 0부터 계산해야 한다(그것이 이 작업의 요점이다).
|
|
3042
3512
|
**구조가 갈린 폴드에는 재개점을 붙이지 않는다**: 마디를 건너뛴 씨앗은 그 경계의 판정을 잃는다. */
|
|
3043
3513
|
if (asOfNowRead && tip && st) {
|
|
3044
3514
|
void this.saveFoldedSnapshot(domainId, instanceId, { revision: tip.revision, state: st, structureRev: tip.structureRev, fold });
|
|
3045
3515
|
}
|
|
3046
3516
|
/*
|
|
3047
|
-
* 사슬에는 **과거를
|
|
3517
|
+
* 사슬에는 **과거를 계산했을 때도** 한 지점을 남긴다 (2026-08-18 실측으로 고침).
|
|
3048
3518
|
*
|
|
3049
3519
|
* 처음에는 「지금 읽기」에서만 남겼다. 그런데 도는 트윈의 지금 읽기는 커널 스냅샷으로 즉시 답하고
|
|
3050
3520
|
* 폴드에 닿지 않는다 — 그래서 사슬이 **영원히 비어 있었다**(실측: 지점 0개, 시간여행 3.7s 그대로).
|
|
@@ -3065,26 +3535,26 @@ class TwinEngine {
|
|
|
3065
3535
|
return st;
|
|
3066
3536
|
};
|
|
3067
3537
|
/*
|
|
3068
|
-
* 씨앗이 있으면
|
|
3069
|
-
* 새 재개점도 함께 남긴다: 다음 번에 또 꼬리만
|
|
3538
|
+
* 씨앗이 있으면 **이어서 계산한다** — 한 구조 안에서만(구조가 갈리면 아래 마디 경로가 맡는다).
|
|
3539
|
+
* 새 재개점도 함께 남긴다: 다음 번에 또 꼬리만 계산할 수 있어야 이 지름길이 계속 산다.
|
|
3070
3540
|
*/
|
|
3071
3541
|
if (resume?.fold?.reducer && segments.length <= 1) {
|
|
3072
3542
|
const model = (segments[0]?.model ?? (asOfNow && newest) ?? reg.model);
|
|
3073
|
-
const out = replayFrom(model, resume.fold.reducer, segments[0]?.events ?? []);
|
|
3543
|
+
const out = replayFrom(model, resume.fold.reducer, segments[0]?.events ?? [], replayOptions(reg, domainId));
|
|
3074
3544
|
return keep(withNow(out.state), { reducer: out.checkpoint, oee: oee.serialize() });
|
|
3075
3545
|
}
|
|
3076
3546
|
if (!segments.length) {
|
|
3077
3547
|
const model = ((asOfNow && newest) || reg.model);
|
|
3078
|
-
const out = replayWithCheckpoint(model, []);
|
|
3548
|
+
const out = replayWithCheckpoint(model, [], replayOptions(reg, domainId));
|
|
3079
3549
|
return keep(withNow(out.state), { reducer: out.checkpoint, oee: oee.serialize() });
|
|
3080
3550
|
}
|
|
3081
3551
|
if (segments.length === 1) {
|
|
3082
|
-
const out = replayWithCheckpoint(segments[0].model, segments[0].events);
|
|
3552
|
+
const out = replayWithCheckpoint(segments[0].model, segments[0].events, replayOptions(reg, domainId));
|
|
3083
3553
|
return keep(withNow(out.state), { reducer: out.checkpoint, oee: oee.serialize() });
|
|
3084
3554
|
}
|
|
3085
3555
|
/* 커널 계약도 `model` 이다(0.6.14) — 경계에서 어휘를 되돌려 담던 브릿지가 사라졌다. */
|
|
3086
|
-
const { state, shifts } = replaySegments(segments);
|
|
3087
|
-
/* 경계에서 사라진 것을
|
|
3556
|
+
const { state, shifts } = replaySegments(segments, replayOptions(reg, domainId));
|
|
3557
|
+
/* 경계에서 사라진 것을 알리지 않고 넘기지 않는다 — 수가 줄어든 이유를 어딘가에는 남겨야 한다. */
|
|
3088
3558
|
for (const sh of shifts)
|
|
3089
3559
|
if (sh.equipmentDropped || sh.locationsDropped || sh.personsDropped || sh.assetsDropped)
|
|
3090
3560
|
console.info(`[twin-engine] "${instanceId}" replay crossed a structure change — dropped ${sh.equipmentDropped} equipment, ${sh.locationsDropped} locations, ${sh.personsDropped} persons, ${sh.assetsDropped} assets that no longer exist.`);
|
|
@@ -3172,10 +3642,10 @@ class TwinEngine {
|
|
|
3172
3642
|
/*
|
|
3173
3643
|
* **끄기 전에 남긴다** — 지금이 메모리가 진실인 마지막 순간이다.
|
|
3174
3644
|
*
|
|
3175
|
-
* 남기지 않으면 다음 조회가 저널을 전량 다시
|
|
3176
|
-
* 체크포인트 루프가 20초마다 뜨지만 그 사이에 멈추면 그 구간이 통째로 다시
|
|
3645
|
+
* 남기지 않으면 다음 조회가 저널을 전량 다시 계산한다(그 값은 어차피 방금 메모리에 있던 것이다).
|
|
3646
|
+
* 체크포인트 루프가 20초마다 뜨지만 그 사이에 멈추면 그 구간이 통째로 다시 계산된다.
|
|
3177
3647
|
*/
|
|
3178
|
-
await this.persistSnapshot(domainId, id).catch(err => (0, log_js_1.twinError)(`[twin-engine] snapshot on stop fail "${id}"`, err?.message ?? err));
|
|
3648
|
+
await this.persistSnapshot(domainId, id, true).catch(err => (0, log_js_1.twinError)(`[twin-engine] snapshot on stop fail "${id}"`, err?.message ?? err));
|
|
3179
3649
|
/*
|
|
3180
3650
|
* **모아 둔 저널도 지금 흘린다** — 주기 flush 사이(최대 `BROADCAST_COALESCE_MS`)에 멈추면 그 구간의
|
|
3181
3651
|
* 사실이 사라진다. 스냅샷만 남기면 상태는 살아도 **왜 그렇게 됐는지**가 빈다(저널이 답하는 것이다).
|
|
@@ -3204,7 +3674,7 @@ class TwinEngine {
|
|
|
3204
3674
|
* 선언이 모든 테넌트를 멈춘 셈이다. 문 앞에서 막는 것이 1차 방벽이고(`validateScenario`),
|
|
3205
3675
|
* 이것이 2차 방벽이다.
|
|
3206
3676
|
*
|
|
3207
|
-
*
|
|
3677
|
+
* **알리지 않고 삼키지 않는다.** 실행을 멈추고 그 사실을 남긴다 — 예외를 무시하고 계속 tick 하면
|
|
3208
3678
|
* 같은 오류가 매 주기 쏟아지고, 그 트윈은 "도는 것처럼 보이면서" 아무것도 진행하지 않는다.
|
|
3209
3679
|
*/
|
|
3210
3680
|
/**
|
|
@@ -3334,7 +3804,7 @@ class TwinEngine {
|
|
|
3334
3804
|
* 미러 — 관측 커널로 보내고, **커맨드가 낸 사실을 저널 큐에 실어** 코얼레서가 번호를 부여하게 한다.
|
|
3335
3805
|
* 미러에는 State 구독 배관이 없어(시뮬은 그 경로로 저널링) 커널 방출이 아무 데도 닿지 않는다.
|
|
3336
3806
|
* 여기서 DB 를 따로 읽어 번호를 매기면 인메모리 카운터와 어긋나 리비전이 겹친다(겹침은 오류를
|
|
3337
|
-
* 내지 않고 재생 순서만
|
|
3807
|
+
* 내지 않고 재생 순서만 알리지 않고 뒤섞는다).
|
|
3338
3808
|
*/
|
|
3339
3809
|
const kernel = inst.kernel;
|
|
3340
3810
|
const emitted = [];
|
|
@@ -3419,7 +3889,7 @@ class TwinEngine {
|
|
|
3419
3889
|
const snap = kernel?.getSnapshot?.() ?? this.snapshot(domainId, id);
|
|
3420
3890
|
return { instanceId: id, attentions: snap?.attentions ?? [] };
|
|
3421
3891
|
});
|
|
3422
|
-
/* 모으는 규칙(태깅·급한 순서·자리 색)은 순수 함수가 들고 있다 — 여기서 손으로
|
|
3892
|
+
/* 모으는 규칙(태깅·급한 순서·자리 색)은 순수 함수가 들고 있다 — 여기서 손으로 계산하지 않는다. */
|
|
3423
3893
|
return (0, attention_digest_js_1.mergeLensAttentions)(lenses, limit);
|
|
3424
3894
|
}
|
|
3425
3895
|
/** 라이브 커널(ForecastTwin) — forecast/divergence 예측 연산용. */
|
|
@@ -3548,22 +4018,32 @@ class TwinEngine {
|
|
|
3548
4018
|
* **원본에 닿지 못했다**를 적는다 — 「받은 것이 없다」와 가른다(§`recordReadFailure`).
|
|
3549
4019
|
*
|
|
3550
4020
|
* 이 문이 없던 동안 실 원본이 끊겨도 트윈의 조회 가능한 상태에 그 사실이 없었다. 화면이 볼 수 있는
|
|
3551
|
-
* 것은 「새 사실이 없다」뿐이었고 그것은
|
|
4021
|
+
* 것은 「새 사실이 없다」뿐이었고 그것은 「연결된 시스템에서 들어온 것이 없다」와 구별되지 않는다 — 실증 중에 원본이
|
|
3552
4022
|
* 끊기면 사용자가 원인을 찾을 수 없다.
|
|
3553
4023
|
*
|
|
3554
4024
|
* 로그로는 말하고 있었다(어댑터가 재시도를 경고한다). 그러나 **로그는 사람이 볼 때만 값이 있다** —
|
|
3555
4025
|
* 화면이 말하려면 상태에 있어야 한다.
|
|
3556
4026
|
*/
|
|
3557
|
-
static recordIngestReadFailure(domainId, instanceId, reason, nowMs = Date.now(), stream) {
|
|
4027
|
+
static recordIngestReadFailure(domainId, instanceId, reason, nowMs = Date.now(), stream, nextRetryMs) {
|
|
4028
|
+
const key = (0, runtime_key_js_1.runtimeKey)(domainId, instanceId);
|
|
4029
|
+
const ledger = this.ingestLedgers[key] ?? (this.ingestLedgers[key] = (0, ingest_health_js_1.newIngestLedger)());
|
|
4030
|
+
(0, ingest_health_js_1.recordReadFailure)(ledger, reason, nowMs, stream, nextRetryMs);
|
|
4031
|
+
}
|
|
4032
|
+
/**
|
|
4033
|
+
* **끊겼다가 돌아왔다** — 실패 기록을 지우고 그 사실을 남긴다 (2026-08-27).
|
|
4034
|
+
*
|
|
4035
|
+
* `clearIngestReadFailure` 와 나누어 둔다: 지우기만 하면 「끊긴 적이 있었다」가 화면에서 사라진다.
|
|
4036
|
+
*/
|
|
4037
|
+
static recordIngestRecovered(domainId, instanceId, afterFailures, downMs, nowMs = Date.now()) {
|
|
3558
4038
|
const key = (0, runtime_key_js_1.runtimeKey)(domainId, instanceId);
|
|
3559
4039
|
const ledger = this.ingestLedgers[key] ?? (this.ingestLedgers[key] = (0, ingest_health_js_1.newIngestLedger)());
|
|
3560
|
-
(0, ingest_health_js_1.
|
|
4040
|
+
(0, ingest_health_js_1.recordRecovered)(ledger, afterFailures, downMs, nowMs);
|
|
3561
4041
|
}
|
|
3562
4042
|
/**
|
|
3563
4043
|
* 읽기가 성공했다 — 단절 기록을 지운다.
|
|
3564
4044
|
*
|
|
3565
4045
|
* **빈 읽기도 성공이다.** 원본이 「새 것이 없다」고 답한 것은 닿았다는 뜻이므로, 그때도 부른다.
|
|
3566
|
-
* 그 둘을 같게 두면
|
|
4046
|
+
* 그 둘을 같게 두면 들어온 것이 없는 연결이 끊긴 원본으로 보인다.
|
|
3567
4047
|
*/
|
|
3568
4048
|
static clearIngestReadFailure(domainId, instanceId) {
|
|
3569
4049
|
const ledger = this.ingestLedgers[(0, runtime_key_js_1.runtimeKey)(domainId, instanceId)];
|
|
@@ -3584,6 +4064,25 @@ class TwinEngine {
|
|
|
3584
4064
|
const ledger = this.ingestLedgers[key] ?? (this.ingestLedgers[key] = (0, ingest_health_js_1.newIngestLedger)());
|
|
3585
4065
|
(0, ingest_health_js_1.recordCursorStall)(ledger, reason, nowMs, stream);
|
|
3586
4066
|
}
|
|
4067
|
+
/**
|
|
4068
|
+
* **원본에 있는데 세우지 않은 것을 적는다** — 이유와 수(§`IngestLedger.withheld`).
|
|
4069
|
+
*
|
|
4070
|
+
* 어댑터가 주기마다 불러도 된다: 장부가 이유로 묶어 **마지막 수로 덮는다**(누적하지 않는다).
|
|
4071
|
+
* `count: 0` 은 「그 이유가 풀렸다」로 그 줄을 지운다 — 알리지 않고 그치면 낡은 수가 남는다.
|
|
4072
|
+
*/
|
|
4073
|
+
static recordIngestWithheld(domainId, instanceId, reason, count, nowMs = Date.now()) {
|
|
4074
|
+
const key = (0, runtime_key_js_1.runtimeKey)(domainId, instanceId);
|
|
4075
|
+
const ledger = this.ingestLedgers[key] ?? (this.ingestLedgers[key] = (0, ingest_health_js_1.newIngestLedger)());
|
|
4076
|
+
if (!(count > 0)) {
|
|
4077
|
+
if (ledger.withheld) {
|
|
4078
|
+
ledger.withheld = ledger.withheld.filter(w => w.reason !== reason);
|
|
4079
|
+
if (!ledger.withheld.length)
|
|
4080
|
+
delete ledger.withheld;
|
|
4081
|
+
}
|
|
4082
|
+
return;
|
|
4083
|
+
}
|
|
4084
|
+
(0, ingest_health_js_1.recordWithheld)(ledger, reason, count, nowMs);
|
|
4085
|
+
}
|
|
3587
4086
|
/** 창을 넘겼다 — 정체 기록을 지운다(풀린 정체가 화면에 남아 있으면 그것도 거짓이다). */
|
|
3588
4087
|
static clearIngestCursorStall(domainId, instanceId) {
|
|
3589
4088
|
const ledger = this.ingestLedgers[(0, runtime_key_js_1.runtimeKey)(domainId, instanceId)];
|
|
@@ -3674,7 +4173,7 @@ class TwinEngine {
|
|
|
3674
4173
|
/**
|
|
3675
4174
|
* 도는 인스턴스 전체의 계측(모니터 대시보드용) — **시뮬과 미러를 함께**.
|
|
3676
4175
|
*
|
|
3677
|
-
* 예전에는 시뮬에 계기가 없어 이 목록에서
|
|
4176
|
+
* 예전에는 시뮬에 계기가 없어 이 목록에서 알리지 않고 빠졌다(계기가 `null` 이라 걸러졌다). 도는 트윈
|
|
3678
4177
|
* 대부분이 시뮬인 서버에서 그 목록은 「부하가 거의 없다」로 보였다.
|
|
3679
4178
|
*/
|
|
3680
4179
|
static async allMetrics(domainId) {
|
|
@@ -3731,10 +4230,10 @@ class TwinEngine {
|
|
|
3731
4230
|
return null;
|
|
3732
4231
|
const cutoff = untilTime != null ? Date.parse(untilTime) : Infinity;
|
|
3733
4232
|
/*
|
|
3734
|
-
* journal-fold: 오더의 마지막 상태는 그 오더에 일어난 사실들을
|
|
4233
|
+
* journal-fold: 오더의 마지막 상태는 그 오더에 일어난 사실들을 계산해야 나온다.
|
|
3735
4234
|
*
|
|
3736
4235
|
* **없어질 조건** — 지금 이 읽기에는 상한이 없고 `eventType` 에 인덱스도 없다. 그래서 저널이 큰
|
|
3737
|
-
* 트윈에서는 이 한 번이 그 트윈의 저널 전체 주사다. 오더 상태를 따로
|
|
4236
|
+
* 트윈에서는 이 한 번이 그 트윈의 저널 전체 주사다. 오더 상태를 따로 계산해 둔 표(투영)를 두거나,
|
|
3738
4237
|
* `(domain, instanceId, eventType, revision)` 인덱스를 붙이고 커서를 넣으면 이 예외는 사라진다.
|
|
3739
4238
|
* 시각 상한(`cutoff`)을 SQL 로 내려도 절반은 준다.
|
|
3740
4239
|
*/
|