@mplp/schema 1.0.4 → 1.0.6

package/schemas/invariants/learning-invariants.yaml

@@ -1,106 +1,98 @@
-# MPLP v1.0.0 FROZEN – Invariant Set
-# © 2025 邦士（北京）网络科技有限公司 – Apache-2.0
-# Governance: MPLP Protocol Governance Committee (MPGC)
-
-# MPLP Protocol v1.0.0 — Frozen Specification
-# Freeze Date: 2025-12-03
-# Status: FROZEN (no breaking changes permitted)
-# Governance: MPLP Protocol Governance Committee (MPGC)
-# © 2025 邦士（北京）网络科技有限公司
-# License: Apache-2.0
-# Any normative change requires a new protocol version.
-
-# MPLP Protocol 1.0.0 — Frozen Specification
-# Status: Frozen as of 2025-11-30
-# Copyright: © 2025 邦士（北京）网络科技有限公司
-# License: Apache-2.0 (see LICENSE at repository root)
-# Any normative change requires a new protocol version.
-
-invariants:
-  # Core LearningSample Structure Invariants
-  - id: learning_sample_id_is_uuid
-    scope: learning_sample
-    path: sample_id
-    rule: uuid-v4
-    description: "All LearningSamples must have UUID v4 sample_id"
-
-  - id: learning_sample_family_non_empty
-    scope: learning_sample
-    path: sample_family
-    rule: non-empty-string
-    description: "LearningSample must have non-empty sample_family"
-
-  - id: learning_sample_created_at_iso
-    scope: learning_sample
-    path: created_at
-    rule: iso-datetime
-    description: "LearningSample created_at must be ISO 8601 timestamp"
-
-  # Input/Output Existence (using non-empty-string on a required sub-field if possible)
-  - id: learning_sample_has_input_section
-    scope: learning_sample
-    path: input
-    rule: exists
-    description: "LearningSample must have input section"
-
-  - id: learning_sample_has_output_section
-    scope: learning_sample
-    path: output
-    rule: exists
-    description: "LearningSample must have output section"
-
-  # Meta Field Invariants (optional but validate when present)
-  - id: learning_sample_feedback_label_valid
-    scope: learning_sample
-    path: meta.human_feedback_label
-    rule: enum(approved,rejected,not_reviewed)
-    description: "If human_feedback_label present, must be valid enum"
-    note: "Apply only when meta.human_feedback_label exists"
-
-  - id: learning_sample_source_flow_non_empty
-    scope: learning_sample
-    path: meta.source_flow_id
-    rule: non-empty-string
-    description: "If source_flow_id present, must be non-empty"
-    note: "Apply only when meta.source_flow_id exists"
-
-  # Intent Resolution Family Invariants
-  - id: learning_intent_has_intent_id
-    scope: learning_sample
-    path: input.intent_id
-    rule: non-empty-string
-    description: "Intent resolution samples must have intent_id in input"
-    note: "Apply when sample_family == intent_resolution"
-
-  - id: learning_intent_quality_label_valid
-    scope: learning_sample
-    path: output.resolution_quality_label
-    rule: enum(good,acceptable,bad,unknown)
-    description: "Intent resolution quality label must be valid enum if present"
-    note: "Apply when sample_family == intent_resolution AND field exists"
-
-  # Delta Impact Family Invariants
-  - id: learning_delta_has_delta_id
-    scope: learning_sample
-    path: input.delta_id
-    rule: non-empty-string
-    description: "Delta impact samples must have delta_id in input"
-    note: "Apply when sample_family == delta_impact"
-
-  - id: learning_delta_scope_valid
-    scope: learning_sample
-    path: output.impact_scope
-    rule: enum(local,module,system,global)
-    description: "Delta impact scope must be valid enum"
-    note: "Apply when sample_family == delta_impact"
-
-  - id: learning_delta_risk_valid
-    scope: learning_sample
-    path: state.risk_level
-    rule: enum(low,medium,high,critical)
-    description: "Delta risk level must be valid enum if present"
-note: "Apply when sample_family == delta_impact AND field exists"
-# Note: Conditional invariants (based on sample_family) are indicated in "note" fields.
-# If the invariant engine does not support conditional application, these should be
-# enforced at the schema level (already done in family-specific schemas) or during
-# runtime validation. These invariants provide an additional validation layer.
+# MPLP v1.0.0 FROZEN – Invariant Set
+# © 2026 Bangshi Beijing Network Technology Limited Company – Apache-2.0
+# Governance: MPLP Protocol Governance Committee (MPGC)
+
+# MPLP Protocol 1.0.0 — Frozen Specification
+# Status: Frozen as of 2025-11-30
+# Copyright: © 2026 Bangshi Beijing Network Technology Limited Company
+# License: Apache-2.0 (see LICENSE at repository root)
+# Any normative change requires a new protocol version.
+
+invariants:
+  # Core LearningSample Structure Invariants
+  - id: learning_sample_id_is_uuid
+    scope: learning_sample
+    path: sample_id
+    rule: uuid-v4
+    description: "All LearningSamples must have UUID v4 sample_id"
+
+  - id: learning_sample_family_non_empty
+    scope: learning_sample
+    path: sample_family
+    rule: non-empty-string
+    description: "LearningSample must have non-empty sample_family"
+
+  - id: learning_sample_created_at_iso
+    scope: learning_sample
+    path: created_at
+    rule: iso-datetime
+    description: "LearningSample created_at must be ISO 8601 timestamp"
+
+  # Input/Output Existence (using non-empty-string on a required sub-field if possible)
+  - id: learning_sample_has_input_section
+    scope: learning_sample
+    path: input
+    rule: exists
+    description: "LearningSample must have input section"
+
+  - id: learning_sample_has_output_section
+    scope: learning_sample
+    path: output
+    rule: exists
+    description: "LearningSample must have output section"
+
+  # Meta Field Invariants (optional but validate when present)
+  - id: learning_sample_feedback_label_valid
+    scope: learning_sample
+    path: meta.human_feedback_label
+    rule: enum(approved,rejected,not_reviewed)
+    description: "If human_feedback_label present, must be valid enum"
+    note: "Apply only when meta.human_feedback_label exists"
+
+  - id: learning_sample_source_flow_non_empty
+    scope: learning_sample
+    path: meta.source_flow_id
+    rule: non-empty-string
+    description: "If source_flow_id present, must be non-empty"
+    note: "Apply only when meta.source_flow_id exists"
+
+  # Intent Resolution Family Invariants
+  - id: learning_intent_has_intent_id
+    scope: learning_sample
+    path: input.intent_id
+    rule: non-empty-string
+    description: "Intent resolution samples must have intent_id in input"
+    note: "Apply when sample_family == intent_resolution"
+
+  - id: learning_intent_quality_label_valid
+    scope: learning_sample
+    path: output.resolution_quality_label
+    rule: enum(good,acceptable,bad,unknown)
+    description: "Intent resolution quality label must be valid enum if present"
+    note: "Apply when sample_family == intent_resolution AND field exists"
+
+  # Delta Impact Family Invariants
+  - id: learning_delta_has_delta_id
+    scope: learning_sample
+    path: input.delta_id
+    rule: non-empty-string
+    description: "Delta impact samples must have delta_id in input"
+    note: "Apply when sample_family == delta_impact"
+
+  - id: learning_delta_scope_valid
+    scope: learning_sample
+    path: output.impact_scope
+    rule: enum(local,module,system,global)
+    description: "Delta impact scope must be valid enum"
+    note: "Apply when sample_family == delta_impact"
+
+  - id: learning_delta_risk_valid
+    scope: learning_sample
+    path: state.risk_level
+    rule: enum(low,medium,high,critical)
+    description: "Delta risk level must be valid enum if present"
+note: "Apply when sample_family == delta_impact AND field exists"
+# Note: Conditional invariants (based on sample_family) are indicated in "note" fields.
+# If the invariant engine does not support conditional application, these should be
+# enforced at the schema level (already done in family-specific schemas) or during
+# runtime validation. These invariants provide an additional validation layer.

package/schemas/invariants/map-invariants.yaml

@@ -1,73 +1,65 @@
-# MPLP v1.0.0 FROZEN – Invariant Set
-# © 2025 邦士（北京）网络科技有限公司 – Apache-2.0
-# Governance: MPLP Protocol Governance Committee (MPGC)
-
-# MPLP Protocol v1.0.0 — Frozen Specification
-# Freeze Date: 2025-12-03
-# Status: FROZEN (no breaking changes permitted)
-# Governance: MPLP Protocol Governance Committee (MPGC)
-# © 2025 邦士（北京）网络科技有限公司
-# License: Apache-2.0
-# Any normative change requires a new protocol version.
-
-# MPLP Protocol 1.0.0 — Frozen Specification
-# Status: Frozen as of 2025-11-30
-# Copyright: © 2025 邦士（北京）网络科技有限公司
-# License: Apache-2.0 (see LICENSE at repository root)
-# Any normative change requires a new protocol version.
-
-invariants:
-  # Session structure invariants
-  - id: map_session_requires_multiple_participants
-    scope: collab
-    path: participants
-    rule: min-length(2)
-    description: "MAP sessions require at least 2 participants for multi-agent collaboration"
-
-  - id: map_collab_mode_valid
-    scope: collab
-    path: mode
-    rule: enum(broadcast,round_robin,orchestrated,swarm,pair)
-    description: "Collab.mode must be valid collaboration pattern"
-
-  - id: map_session_id_is_uuid
-    scope: collab
-    path: collab_id
-    rule: uuid-v4
-    description: "Session ID (collab_id) must be valid UUID v4"
-
-  - id: map_participants_have_role_ids
-    scope: collab
-    path: participants[*].role_id
-    rule: non-empty-string
-    description: "All participants must have valid role_id binding"
-
-  # Event consistency invariants (descriptive, not all auto-enforceable)
-  - id: map_turn_completion_matches_dispatch
-    scope: trace
-    description: "Every MAPTurnDispatched event should have a corresponding MAPTurnCompleted event for the same session_id and role_id"
-    note: "This is a higher-level invariant that requires trace event analysis. Mark as manual check or implement custom rule."
-
-  - id: map_broadcast_has_receivers
-    scope: trace
-    description: "If MAPBroadcastSent exists, at least one MAPBroadcastReceived must exist for the same session_id"
-    note: "Requires cross-event validation. Can be checked via trace event count."
-
-  # Role binding invariants
-  - id: map_role_ids_are_uuids
-    scope: collab
-    path: participants[*].role_id
-    rule: uuid-v4
-    description: "All role_id values must be valid UUID v4 format"
-
-  - id: map_participant_ids_are_non_empty
-    scope: collab
-    path: participants[*].participant_id
-    rule: non-empty-string
-    description: "All participant_id values must be non-empty strings"
-
-  - id: map_participant_kind_valid
-    scope: collab
-    path: participants[*].kind
-    rule: enum(agent,human,system,external)
-    description: "Participant kind must be valid enum value"
+# MPLP v1.0.0 FROZEN – Invariant Set
+# © 2026 Bangshi Beijing Network Technology Limited Company – Apache-2.0
+# Governance: MPLP Protocol Governance Committee (MPGC)
+
+# MPLP Protocol 1.0.0 — Frozen Specification
+# Status: Frozen as of 2025-11-30
+# Copyright: © 2026 Bangshi Beijing Network Technology Limited Company
+# License: Apache-2.0 (see LICENSE at repository root)
+# Any normative change requires a new protocol version.
+
+invariants:
+  # Session structure invariants
+  - id: map_session_requires_multiple_participants
+    scope: collab
+    path: participants
+    rule: min-length(2)
+    description: "MAP sessions require at least 2 participants for multi-agent collaboration"
+
+  - id: map_collab_mode_valid
+    scope: collab
+    path: mode
+    rule: enum(broadcast,round_robin,orchestrated,swarm,pair)
+    description: "Collab.mode must be valid collaboration pattern"
+
+  - id: map_session_id_is_uuid
+    scope: collab
+    path: collab_id
+    rule: uuid-v4
+    description: "Session ID (collab_id) must be valid UUID v4"
+
+  - id: map_participants_have_role_ids
+    scope: collab
+    path: participants[*].role_id
+    rule: non-empty-string
+    description: "All participants must have valid role_id binding"
+
+  # Event consistency invariants (descriptive, not all auto-enforceable)
+  - id: map_turn_completion_matches_dispatch
+    scope: trace
+    description: "Every MAPTurnDispatched event should have a corresponding MAPTurnCompleted event for the same session_id and role_id"
+    note: "This is a higher-level invariant that requires trace event analysis. Mark as manual check or implement custom rule."
+
+  - id: map_broadcast_has_receivers
+    scope: trace
+    description: "If MAPBroadcastSent exists, at least one MAPBroadcastReceived must exist for the same session_id"
+    note: "Requires cross-event validation. Can be checked via trace event count."
+
+  # Role binding invariants
+  - id: map_role_ids_are_uuids
+    scope: collab
+    path: participants[*].role_id
+    rule: uuid-v4
+    description: "All role_id values must be valid UUID v4 format"
+
+  - id: map_participant_ids_are_non_empty
+    scope: collab
+    path: participants[*].participant_id
+    rule: non-empty-string
+    description: "All participant_id values must be non-empty strings"
+
+  - id: map_participant_kind_valid
+    scope: collab
+    path: participants[*].kind
+    rule: enum(agent,human,system,external)
+    description: "Participant kind must be valid enum value"

package/schemas/invariants/observability-invariants.yaml

@@ -1,106 +1,98 @@
-# MPLP v1.0.0 FROZEN – Invariant Set
-# © 2025 邦士（北京）网络科技有限公司 – Apache-2.0
-# Governance: MPLP Protocol Governance Committee (MPGC)
-
-# MPLP Protocol v1.0.0 — Frozen Specification
-# Freeze Date: 2025-12-03
-# Status: FROZEN (no breaking changes permitted)
-# Governance: MPLP Protocol Governance Committee (MPGC)
-# © 2025 邦士（北京）网络科技有限公司
-# License: Apache-2.0
-# Any normative change requires a new protocol version.
-
-# MPLP Protocol 1.0.0 — Frozen Specification
-# Status: Frozen as of 2025-11-30
-# Copyright: © 2025 邦士（北京）网络科技有限公司
-# License: Apache-2.0 (see LICENSE at repository root)
-# Any normative change requires a new protocol version.
-
-invariants:
-  # Core Event Structure Invariants
-  - id: obs_event_id_is_uuid
-    scope: event
-    path: event_id
-    rule: uuid-v4
-    description: "All events must have UUID v4 event_id"
-
-  - id: obs_event_type_non_empty
-    scope: event
-    path: event_type
-    rule: non-empty-string
-    description: "All events must have non-empty event_type"
-
-  - id: obs_event_family_valid
-    scope: event
-    path: event_family
-    rule: enum(import_process,intent,delta_intent,impact_analysis,compensation_plan,methodology,reasoning_graph,pipeline_stage,graph_update,runtime_execution,cost_budget,external_integration)
-    description: "Event family must be valid enum value"
-
-  - id: obs_timestamp_iso_format
-    scope: event
-    path: timestamp
-    rule: iso-datetime
-    description: "All events must have ISO 8601 timestamp"
-
-  # PipelineStageEvent Specific Invariants
-  - id: obs_pipeline_event_has_pipeline_id
-    scope: event
-    path: pipeline_id
-    rule: uuid-v4
-    description: "PipelineStageEvent must have valid pipeline_id"
-    note: "Apply when event_family == pipeline_stage"
-
-  - id: obs_pipeline_stage_id_non_empty
-    scope: event
-    path: stage_id
-    rule: non-empty-string
-    description: "PipelineStageEvent must have non-empty stage_id"
-    note: "Apply when event_family == pipeline_stage"
-
-  - id: obs_pipeline_stage_status_valid
-    scope: event
-    path: stage_status
-    rule: enum(pending,running,completed,failed,skipped)
-    description: "PipelineStageEvent stage_status must be valid enum"
-    note: "Apply when event_family == pipeline_stage"
-
-  # GraphUpdateEvent Specific Invariants
-  - id: obs_graph_event_has_graph_id
-    scope: event
-    path: graph_id
-    rule: uuid-v4
-    description: "GraphUpdateEvent must have valid graph_id"
-    note: "Apply when event_family == graph_update"
-
-  - id: obs_graph_update_kind_valid
-    scope: event
-    path: update_kind
-    rule: enum(node_add,node_update,node_delete,edge_add,edge_update,edge_delete,bulk)
-    description: "GraphUpdateEvent update_kind must be valid enum"
-    note: "Apply when event_family == graph_update"
-
-  # RuntimeExecutionEvent Specific Invariants
-  - id: obs_runtime_event_has_execution_id
-    scope: event
-    path: execution_id
-    rule: uuid-v4
-    description: "RuntimeExecutionEvent must have valid execution_id"
-    note: "Apply when event_family == runtime_execution"
-
-  - id: obs_runtime_executor_kind_valid
-    scope: event
-    path: executor_kind
-    rule: enum(agent,tool,llm,worker,external)
-    description: "RuntimeExecutionEvent executor_kind must be valid enum"
-    note: "Apply when event_family == runtime_execution"
-
-  - id: obs_runtime_status_valid
-    scope: event
-    path: status
-    rule: enum(pending,running,completed,failed,cancelled)
-    description: "RuntimeExecutionEvent status must be valid enum"
-    note: "Apply when event_family == runtime_execution"
-# Note: The "note" fields indicate conditional application based on event_family.
-# If the invariant engine does not support conditional rules, these should be
-# validated at the schema level (which is already done in the event schemas).
-# These invariants provide additional layer of validation for runtime enforcement.
+# MPLP v1.0.0 FROZEN – Invariant Set
+# © 2026 Bangshi Beijing Network Technology Limited Company – Apache-2.0
+# Governance: MPLP Protocol Governance Committee (MPGC)
+
+# MPLP Protocol 1.0.0 — Frozen Specification
+# Status: Frozen as of 2025-11-30
+# Copyright: © 2026 Bangshi Beijing Network Technology Limited Company
+# License: Apache-2.0 (see LICENSE at repository root)
+# Any normative change requires a new protocol version.
+
+invariants:
+  # Core Event Structure Invariants
+  - id: obs_event_id_is_uuid
+    scope: event
+    path: event_id
+    rule: uuid-v4
+    description: "All events must have UUID v4 event_id"
+
+  - id: obs_event_type_non_empty
+    scope: event
+    path: event_type
+    rule: non-empty-string
+    description: "All events must have non-empty event_type"
+
+  - id: obs_event_family_valid
+    scope: event
+    path: event_family
+    rule: enum(import_process,intent,delta_intent,impact_analysis,compensation_plan,methodology,reasoning_graph,pipeline_stage,graph_update,runtime_execution,cost_budget,external_integration)
+    description: "Event family must be valid enum value"
+
+  - id: obs_timestamp_iso_format
+    scope: event
+    path: timestamp
+    rule: iso-datetime
+    description: "All events must have ISO 8601 timestamp"
+
+  # PipelineStageEvent Specific Invariants
+  - id: obs_pipeline_event_has_pipeline_id
+    scope: event
+    path: pipeline_id
+    rule: uuid-v4
+    description: "PipelineStageEvent must have valid pipeline_id"
+    note: "Apply when event_family == pipeline_stage"
+
+  - id: obs_pipeline_stage_id_non_empty
+    scope: event
+    path: stage_id
+    rule: non-empty-string
+    description: "PipelineStageEvent must have non-empty stage_id"
+    note: "Apply when event_family == pipeline_stage"
+
+  - id: obs_pipeline_stage_status_valid
+    scope: event
+    path: stage_status
+    rule: enum(pending,running,completed,failed,skipped)
+    description: "PipelineStageEvent stage_status must be valid enum"
+    note: "Apply when event_family == pipeline_stage"
+
+  # GraphUpdateEvent Specific Invariants
+  - id: obs_graph_event_has_graph_id
+    scope: event
+    path: graph_id
+    rule: uuid-v4
+    description: "GraphUpdateEvent must have valid graph_id"
+    note: "Apply when event_family == graph_update"
+
+  - id: obs_graph_update_kind_valid
+    scope: event
+    path: update_kind
+    rule: enum(node_add,node_update,node_delete,edge_add,edge_update,edge_delete,bulk)
+    description: "GraphUpdateEvent update_kind must be valid enum"
+    note: "Apply when event_family == graph_update"
+
+  # RuntimeExecutionEvent Specific Invariants
+  - id: obs_runtime_event_has_execution_id
+    scope: event
+    path: execution_id
+    rule: uuid-v4
+    description: "RuntimeExecutionEvent must have valid execution_id"
+    note: "Apply when event_family == runtime_execution"
+
+  - id: obs_runtime_executor_kind_valid
+    scope: event
+    path: executor_kind
+    rule: enum(agent,tool,llm,worker,external)
+    description: "RuntimeExecutionEvent executor_kind must be valid enum"
+    note: "Apply when event_family == runtime_execution"
+
+  - id: obs_runtime_status_valid
+    scope: event
+    path: status
+    rule: enum(pending,running,completed,failed,cancelled)
+    description: "RuntimeExecutionEvent status must be valid enum"
+    note: "Apply when event_family == runtime_execution"
+# Note: The "note" fields indicate conditional application based on event_family.
+# If the invariant engine does not support conditional rules, these should be
+# validated at the schema level (which is already done in the event schemas).
+# These invariants provide additional layer of validation for runtime enforcement.