@mplp/sdk-ts 1.0.2 → 1.0.3

package/schemas/invariants/integration-invariants.yaml

@@ -0,0 +1,147 @@
+# 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:
+  # ========================================
+  # Tool Event Invariants
+  # ========================================
+  - id: integration_tool_event_id_non_empty
+    scope: tool_event
+    path: tool_id
+    rule: non-empty-string
+    description: "Tool event must have non-empty tool_id"
+
+  - id: integration_tool_kind_valid
+    scope: tool_event
+    path: tool_kind
+    rule: enum(formatter,linter,test_runner,generator,other)
+    description: "Tool kind must be valid enum value"
+
+  - id: integration_tool_invocation_id_uuid
+    scope: tool_event
+    path: invocation_id
+    rule: uuid-v4
+    description: "Tool invocation_id must be UUID v4"
+
+  - id: integration_tool_status_valid
+    scope: tool_event
+    path: status
+    rule: enum(pending,running,succeeded,failed,cancelled)
+    description: "Tool event status must be valid enum value"
+
+  - id: integration_tool_started_at_iso
+    scope: tool_event
+    path: started_at
+    rule: iso-datetime
+    description: "If started_at present, must be ISO 8601 datetime"
+    note: "Apply only when started_at field exists"
+
+  # ========================================
+  # File Update Event Invariants
+  # ========================================
+  - id: integration_file_path_non_empty
+    scope: file_update_event
+    path: file_path
+    rule: non-empty-string
+    description: "File update event must have non-empty file_path"
+
+  - id: integration_file_change_type_valid
+    scope: file_update_event
+    path: change_type
+    rule: enum(created,modified,deleted,renamed)
+    description: "File change_type must be valid enum value"
+
+  - id: integration_file_timestamp_iso
+    scope: file_update_event
+    path: timestamp
+    rule: iso-datetime
+    description: "File update timestamp must be ISO 8601 datetime"
+
+  # ========================================
+  # Git Event Invariants
+  # ========================================
+  - id: integration_git_repo_url_non_empty
+    scope: git_event
+    path: repo_url
+    rule: non-empty-string
+    description: "Git event must have non-empty repo_url"
+
+  - id: integration_git_commit_id_non_empty
+    scope: git_event
+    path: commit_id
+    rule: non-empty-string
+    description: "Git event must have non-empty commit_id"
+
+  - id: integration_git_ref_name_non_empty
+    scope: git_event
+    path: ref_name
+    rule: non-empty-string
+    description: "Git event must have non-empty ref_name"
+
+  - id: integration_git_event_kind_valid
+    scope: git_event
+    path: event_kind
+    rule: enum(commit,push,merge,tag,branch_create,branch_delete)
+    description: "Git event_kind must be valid enum value"
+
+  - id: integration_git_timestamp_iso
+    scope: git_event
+    path: timestamp
+    rule: iso-datetime
+    description: "Git event timestamp must be ISO 8601 datetime"
+
+  # ========================================
+  # CI Event Invariants
+  # ========================================
+  - id: integration_ci_provider_non_empty
+    scope: ci_event
+    path: ci_provider
+    rule: non-empty-string
+    description: "CI event must have non-empty ci_provider"
+
+  - id: integration_ci_pipeline_id_non_empty
+    scope: ci_event
+    path: pipeline_id
+    rule: non-empty-string
+    description: "CI event must have non-empty pipeline_id"
+
+  - id: integration_ci_run_id_non_empty
+    scope: ci_event
+    path: run_id
+    rule: non-empty-string
+    description: "CI event must have non-empty run_id"
+
+  - id: integration_ci_status_valid
+    scope: ci_event
+    path: status
+    rule: enum(pending,running,succeeded,failed,cancelled)
+    description: "CI event status must be valid enum value"
+
+  - id: integration_ci_started_at_iso
+    scope: ci_event
+    path: started_at
+    rule: iso-datetime
+    description: "If started_at present, must be ISO 8601 datetime"
+    note: "Apply only when started_at field exists"
+
+  - id: integration_ci_completed_at_iso
+    scope: ci_event
+    path: completed_at
+    rule: iso-datetime
+    description: "If completed_at present, must be ISO 8601 datetime"
+    note: "Apply only when completed_at field exists"

package/schemas/invariants/learning-invariants.yaml

@@ -0,0 +1,106 @@
+# 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.

package/schemas/invariants/map-invariants.yaml

@@ -0,0 +1,73 @@
+# 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"

package/schemas/invariants/observability-invariants.yaml

@@ -0,0 +1,106 @@
+# 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.

package/schemas/invariants/sa-invariants.yaml

@@ -0,0 +1,72 @@
+# 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:
+  - id: sa_requires_context
+    scope: context
+    path: context_id
+    rule: uuid-v4
+    description: "SA execution requires a valid Context with UUID v4 identifier"
+
+  - id: sa_context_must_be_active
+    scope: context
+    path: status
+    rule: enum(active)
+    description: "SA can only execute when Context status is 'active'"
+
+  - id: sa_plan_context_binding
+    scope: plan
+    path: context_id
+    rule: eq(context.context_id)
+    description: "Plan's context_id must match SA's loaded Context"
+
+  - id: sa_plan_has_steps
+    scope: plan
+    path: steps
+    rule: min-length(1)
+    description: "Plan must contain at least one executable step"
+
+  - id: sa_steps_have_valid_ids
+    scope: plan
+    path: steps[*].step_id
+    rule: uuid-v4
+    description: "All plan steps must have valid UUID v4 identifiers"
+
+  - id: sa_steps_have_agent_role
+    scope: plan
+    path: steps[*].agent_role
+    rule: non-empty-string
+    description: "All steps must specify an agent_role for executor selection"
+
+  - id: sa_trace_not_empty
+    scope: trace
+    path: events
+    rule: min-length(1)
+    description: "SA must emit at least one trace event before completion"
+
+  - id: sa_trace_context_binding
+    scope: trace
+    path: context_id
+    rule: eq(context.context_id)
+    description: "Trace context_id must match SA's Context"
+
+  - id: sa_trace_plan_binding
+    scope: trace
+    path: plan_id
+    rule: eq(plan.plan_id)
+    description: "Trace plan_id must match SA's Plan"

package/schemas/learning/mplp-learning-sample-core.schema.json

@@ -0,0 +1,100 @@
+{
+  "$comment": "MPLP v1.0.0 FROZEN – © 2025 邦士（北京）网络科技有限公司 – Apache-2.0 – Governance: MPGC",
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "$id": "https://mplp.dev/schemas/v1.0/learning/mplp-learning-sample-core.schema.json",
+  "title": "MPLP LearningSample Core v1.0",
+  "description": "Core structure for MPLP LearningSample entities - defines the universal format for learning samples generated from execution history",
+  "type": "object",
+  "properties": {
+    "sample_id": {
+      "type": "string",
+      "format": "uuid",
+      "description": "Unique identifier of the learning sample (UUID v4)"
+    },
+    "sample_family": {
+      "type": "string",
+      "description": "LearningSample family identifier - determines expected input/output structure",
+      "examples": [
+        "intent_resolution",
+        "delta_impact",
+        "pipeline_outcome",
+        "confirm_decision",
+        "graph_evolution",
+        "multi_agent_coordination"
+      ]
+    },
+    "created_at": {
+      "type": "string",
+      "format": "date-time",
+      "description": "ISO 8601 timestamp when sample was generated"
+    },
+    "input": {
+      "type": "object",
+      "description": "Abstracted representation of input conditions, intent, context at sample creation time",
+      "additionalProperties": true
+    },
+    "state": {
+      "type": "object",
+      "description": "Snapshot of relevant system state before execution (PSG summary, config, roles, etc.)",
+      "additionalProperties": true
+    },
+    "output": {
+      "type": "object",
+      "description": "Abstracted representation of actual outcomes, decisions, changes, results",
+      "additionalProperties": true
+    },
+    "meta": {
+      "type": "object",
+      "description": "Metadata, labels, quality signals, provenance IDs, human feedback annotations",
+      "properties": {
+        "source_flow_id": {
+          "type": "string",
+          "description": "Optional: Flow ID that generated this sample (e.g., FLOW-01, SA-01, MAP-01)"
+        },
+        "source_event_ids": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "format": "uuid"
+          },
+          "description": "Optional: Observability event IDs referenced by this sample"
+        },
+        "project_id": {
+          "type": "string",
+          "format": "uuid",
+          "description": "Optional: Project context identifier"
+        },
+        "human_feedback_label": {
+          "type": "string",
+          "enum": [
+            "approved",
+            "rejected",
+            "not_reviewed"
+          ],
+          "description": "Optional: Human quality assessment"
+        },
+        "quality_score": {
+          "type": "number",
+          "minimum": 0,
+          "maximum": 1,
+          "description": "Optional: Automated quality score (0.0-1.0)"
+        }
+      },
+      "additionalProperties": true
+    }
+  },
+  "required": [
+    "sample_id",
+    "sample_family",
+    "created_at",
+    "input",
+    "output"
+  ],
+  "additionalProperties": true,
+  "x-mplp-meta": {
+    "protocolVersion": "1.0.0",
+    "frozen": true,
+    "freezeDate": "2025-12-03",
+    "governance": "MPGC"
+  }
+}