mirai-graph 1.4.0 → 2.1.0

package/examples/dynamic-episode-minimal/graph.json

@@ -1,47 +0,0 @@
-{
-  "$schema": "https://mirai-graph.dev/schemas/graph-manifest.schema.json",
-  "format": "mirai-graph",
-  "schema_version": "2.0.0",
-  "id": "package.dynamic_episode_minimal",
-  "aliases": [],
-  "title": "Dynamic Episode Minimal Example",
-  "scope": "package",
-  "kind": "graph_package",
-  "owner": "mirai-graph",
-  "profiles": [
-    "core"
-  ],
-  "graph": {
-    "root": "graph",
-    "source_of_truth": [
-      "graph"
-    ],
-    "objects": [
-      "graph/objects.json"
-    ],
-    "relations": [
-      "graph/relations.json"
-    ],
-    "schemas": [],
-    "generated": [],
-    "raw_sources": [
-      "README.md"
-    ]
-  },
-  "imports": [],
-  "version": "0.1.0",
-  "conformance_level": "level_1",
-  "description": "Synthetic package for Dynamic Episode Layer validation.",
-  "license": "CC-BY-4.0",
-  "public_safety": "synthetic_public",
-  "extensions": {
-    "mirai-graph.package": {
-      "gates": {
-        "results": "gates/results.json"
-      },
-      "results": {
-        "dynamic_episode_trace": "results/dynamic-episode-trace.json"
-      }
-    }
-  }
-}

package/examples/dynamic-episode-minimal/invalid-canonical-write-allowed.json

@@ -1,40 +0,0 @@
-{
-  "schema_version": "1.0.0",
-  "id": "episode.invalid_canonical_write",
-  "profile": "dynamic_episode_layer",
-  "public_safety": "synthetic_public",
-  "event": {
-    "id": "event.invalid",
-    "type": "code_generation_request",
-    "summary": "Invalid trace."
-  },
-  "source_refs": {
-    "spec_refs": ["spec.synthetic"],
-    "graph_refs": ["feature.synthetic"],
-    "workflow_refs": ["workflow.synthetic"],
-    "launch_record_ref": "launch_record.synthetic"
-  },
-  "activated": {
-    "objects": ["feature.synthetic"],
-    "relations": [],
-    "policies": ["policy.invalid"],
-    "gates": ["gate.invalid"],
-    "technology_steps": ["inspect_feature_spec"]
-  },
-  "selected_path": ["inspect_feature_spec"],
-  "blocked_paths": [],
-  "gates": [{"id": "gate.invalid", "status": "pass"}],
-  "actions": [],
-  "results": [],
-  "findings": [],
-  "feedback_classification": ["accepted"],
-  "kaizen_candidates": [],
-  "replay_regression": {
-    "replay_ready": false,
-    "baseline_ref": null,
-    "regression_check_ref": null
-  },
-  "evidence_refs": ["evidence.synthetic"],
-  "limitations": ["Invalid: canonical write is allowed."],
-  "canonical_write_allowed": true
-}

package/examples/dynamic-episode-minimal/invalid-evidence-as-authorization.json

@@ -1,46 +0,0 @@
-{
-  "schema_version": "1.0.0",
-  "id": "episode.invalid_evidence_authorization",
-  "profile": "dynamic_episode_layer",
-  "public_safety": "synthetic_public",
-  "event": {
-    "id": "event.invalid",
-    "type": "code_generation_request",
-    "summary": "Invalid trace."
-  },
-  "source_refs": {
-    "spec_refs": ["spec.synthetic"],
-    "graph_refs": ["feature.synthetic"],
-    "workflow_refs": ["workflow.synthetic"],
-    "launch_record_ref": "launch_record.synthetic"
-  },
-  "activated": {
-    "objects": ["feature.synthetic"],
-    "relations": [],
-    "policies": ["policy.invalid"],
-    "gates": ["gate.invalid"],
-    "technology_steps": ["inspect_feature_spec"]
-  },
-  "selected_path": ["inspect_feature_spec"],
-  "blocked_paths": [],
-  "gates": [{"id": "gate.invalid", "status": "pass"}],
-  "actions": [],
-  "results": [
-    {
-      "id": "result.invalid",
-      "status": "accepted",
-      "summary": "Evidence is approval for canonical update."
-    }
-  ],
-  "findings": [],
-  "feedback_classification": ["accepted"],
-  "kaizen_candidates": [],
-  "replay_regression": {
-    "replay_ready": false,
-    "baseline_ref": null,
-    "regression_check_ref": null
-  },
-  "evidence_refs": ["evidence.synthetic"],
-  "limitations": ["Invalid fixture."],
-  "canonical_write_allowed": false
-}

package/examples/dynamic-episode-minimal/invalid-missing-event.json

@@ -1,35 +0,0 @@
-{
-  "schema_version": "1.0.0",
-  "id": "episode.invalid_missing_event",
-  "profile": "dynamic_episode_layer",
-  "public_safety": "synthetic_public",
-  "source_refs": {
-    "spec_refs": ["spec.synthetic"],
-    "graph_refs": ["feature.synthetic"],
-    "workflow_refs": ["workflow.synthetic"],
-    "launch_record_ref": "launch_record.synthetic"
-  },
-  "activated": {
-    "objects": ["feature.synthetic"],
-    "relations": [],
-    "policies": [],
-    "gates": ["gate.synthetic"],
-    "technology_steps": ["inspect_feature_spec"]
-  },
-  "selected_path": ["inspect_feature_spec"],
-  "blocked_paths": [],
-  "gates": [{"id": "gate.synthetic", "status": "pass"}],
-  "actions": [],
-  "results": [],
-  "findings": [],
-  "feedback_classification": ["accepted"],
-  "kaizen_candidates": [],
-  "replay_regression": {
-    "replay_ready": false,
-    "baseline_ref": null,
-    "regression_check_ref": null
-  },
-  "evidence_refs": ["evidence.synthetic"],
-  "limitations": ["Invalid: missing event."],
-  "canonical_write_allowed": false
-}

package/examples/dynamic-episode-minimal/invalid-missing-selected-path.json

@@ -1,40 +0,0 @@
-{
-  "schema_version": "1.0.0",
-  "id": "episode.invalid_missing_selected_path",
-  "profile": "dynamic_episode_layer",
-  "public_safety": "synthetic_public",
-  "event": {
-    "id": "event.invalid",
-    "type": "code_generation_request",
-    "summary": "Invalid trace."
-  },
-  "source_refs": {
-    "spec_refs": ["spec.synthetic"],
-    "graph_refs": ["feature.synthetic"],
-    "workflow_refs": ["workflow.synthetic"],
-    "launch_record_ref": "launch_record.synthetic"
-  },
-  "activated": {
-    "objects": ["feature.synthetic"],
-    "relations": [],
-    "policies": [],
-    "gates": ["gate.synthetic"],
-    "technology_steps": ["inspect_feature_spec"]
-  },
-  "selected_path": [],
-  "blocked_paths": [],
-  "gates": [{"id": "gate.synthetic", "status": "pass"}],
-  "actions": [],
-  "results": [],
-  "findings": [],
-  "feedback_classification": ["accepted"],
-  "kaizen_candidates": [],
-  "replay_regression": {
-    "replay_ready": false,
-    "baseline_ref": null,
-    "regression_check_ref": null
-  },
-  "evidence_refs": ["evidence.synthetic"],
-  "limitations": ["Invalid: missing selected path."],
-  "canonical_write_allowed": false
-}

package/examples/dynamic-episode-minimal/invalid-unclassified-finding.json

@@ -1,50 +0,0 @@
-{
-  "schema_version": "1.0.0",
-  "id": "episode.invalid_unclassified_finding",
-  "profile": "dynamic_episode_layer",
-  "public_safety": "synthetic_public",
-  "event": {
-    "id": "event.invalid",
-    "type": "code_generation_request",
-    "summary": "Invalid trace."
-  },
-  "source_refs": {
-    "spec_refs": ["spec.synthetic"],
-    "graph_refs": ["feature.synthetic"],
-    "workflow_refs": ["workflow.synthetic"],
-    "launch_record_ref": "launch_record.synthetic"
-  },
-  "activated": {
-    "objects": ["feature.synthetic"],
-    "relations": [],
-    "policies": [],
-    "gates": ["gate.synthetic"],
-    "technology_steps": ["inspect_feature_spec"]
-  },
-  "selected_path": ["inspect_feature_spec"],
-  "blocked_paths": [],
-  "gates": [{"id": "gate.synthetic", "status": "pass"}],
-  "actions": [],
-  "results": [],
-  "findings": [
-    {
-      "id": "finding.invalid",
-      "classification": "unsupported_new_class",
-      "severity": "medium",
-      "summary": "Invalid unclassified finding.",
-      "evidence_refs": ["evidence.synthetic"],
-      "next_route": "unknown",
-      "blocking": false
-    }
-  ],
-  "feedback_classification": ["accepted"],
-  "kaizen_candidates": [],
-  "replay_regression": {
-    "replay_ready": false,
-    "baseline_ref": null,
-    "regression_check_ref": null
-  },
-  "evidence_refs": ["evidence.synthetic"],
-  "limitations": ["Invalid: unsupported finding classification."],
-  "canonical_write_allowed": false
-}

package/examples/dynamic-episode-minimal/results/dynamic-episode-trace.json

@@ -1,149 +0,0 @@
-{
-  "schema_version": "1.0.0",
-  "id": "episode.synthetic_codegen_login_audit_001",
-  "profile": "dynamic_episode_layer",
-  "public_safety": "synthetic_public",
-  "event": {
-    "id": "event.synthetic_codegen_request_001",
-    "type": "code_generation_request",
-    "summary": "Generate a bounded implementation draft for the synthetic login audit feature."
-  },
-  "source_refs": {
-    "spec_refs": [
-      "spec.synthetic_login_audit"
-    ],
-    "graph_refs": [
-      "feature.synthetic_login_audit",
-      "requirement.synthetic_allowed_scope",
-      "governance_gate.dynamic_episode_boundary"
-    ],
-    "workflow_refs": [
-      "workflow.synthetic_bounded_codegen"
-    ],
-    "launch_record_ref": "launch_record.synthetic_codegen_001"
-  },
-  "activated": {
-    "objects": [
-      "feature.synthetic_login_audit",
-      "requirement.synthetic_allowed_scope",
-      "governance_gate.dynamic_episode_boundary"
-    ],
-    "relations": [
-      "relation.feature.synthetic_login_audit.depends_on.requirement.synthetic_allowed_scope",
-      "relation.governance_gate.dynamic_episode_boundary.governs.feature.synthetic_login_audit"
-    ],
-    "policies": [
-      "policy.no_evidence_as_authorization",
-      "policy.no_runtime_trace_as_canonical_update"
-    ],
-    "gates": [
-      "gate.scope_boundary",
-      "gate.technology_quality_feedback",
-      "gate.canonical_update_approval"
-    ],
-    "technology_steps": [
-      "inspect_feature_spec",
-      "activate_dependencies",
-      "prepare_implementation_plan",
-      "write_bounded_code",
-      "record_tests",
-      "classify_findings"
-    ]
-  },
-  "selected_path": [
-    "inspect_feature_spec",
-    "activate_dependencies",
-    "prepare_implementation_plan",
-    "write_bounded_code",
-    "record_tests",
-    "classify_findings"
-  ],
-  "blocked_paths": [
-    {
-      "id": "blocked.modify_unrelated_package",
-      "reason": "outside_allowed_scope",
-      "blocked_by": "gate.scope_boundary"
-    },
-    {
-      "id": "blocked.apply_canonical_graph_update",
-      "reason": "episode_trace_is_evidence_not_authorization",
-      "blocked_by": "gate.canonical_update_approval"
-    }
-  ],
-  "gates": [
-    {
-      "id": "gate.scope_boundary",
-      "status": "pass"
-    },
-    {
-      "id": "gate.technology_quality_feedback",
-      "status": "pass_with_notes"
-    },
-    {
-      "id": "gate.canonical_update_approval",
-      "status": "blocked_not_requested"
-    }
-  ],
-  "actions": [
-    {
-      "id": "action.synthetic_codegen_draft",
-      "type": "action_proposal",
-      "summary": "Prepare bounded implementation draft only.",
-      "executed": false
-    }
-  ],
-  "results": [
-    {
-      "id": "result.synthetic_codegen_trace",
-      "status": "review_ready",
-      "summary": "Episode produced a trace and review-ready evidence without canonical update."
-    }
-  ],
-  "findings": [
-    {
-      "id": "finding.synthetic_scope_guard_worked",
-      "classification": "accepted",
-      "severity": "low",
-      "summary": "The unrelated-package path was blocked by scope boundary.",
-      "evidence_refs": [
-        "evidence.synthetic_episode_trace"
-      ],
-      "next_route": "continue_review",
-      "blocking": false
-    },
-    {
-      "id": "finding.synthetic_replay_needed",
-      "classification": "process_improvement",
-      "severity": "low",
-      "summary": "A replay fixture should be added before claiming behavior improvement.",
-      "evidence_refs": [
-        "evidence.synthetic_episode_trace"
-      ],
-      "next_route": "kaizen_improvement",
-      "blocking": false
-    }
-  ],
-  "feedback_classification": [
-    "accepted",
-    "process_improvement"
-  ],
-  "kaizen_candidates": [
-    "kaizen.synthetic_add_replay_fixture"
-  ],
-  "replay_regression": {
-    "replay_ready": false,
-    "baseline_ref": null,
-    "regression_check_ref": "proposal.synthetic_replay_fixture"
-  },
-  "evidence_refs": [
-    "evidence.synthetic_episode_trace",
-    "evidence.synthetic_boundary_rule"
-  ],
-  "limitations": [
-    "Synthetic example only.",
-    "The trace demonstrates shape and boundaries, not real code quality.",
-    "Episode trace is evidence, not authorization.",
-    "Runtime trace does not update canonical graph state."
-  ],
-  "canonical_write_allowed": false
-}

package/examples/executable-technology-course/README.md

@@ -1,16 +0,0 @@
-# Executable Technology Course
-
-This domain-neutral fixture demonstrates one accepted executable technology,
-two independently usable scenarios and a deterministic instructional course
-projection. The recovery scenario automatically includes its required
-inventory operation.
-
-```bash
-mirai-graph technology course compile . \
-  --technology examples/executable-technology-course/technology.json \
-  --scenario scenario.recovery_preparation
-```
-
-Course packs are read-only projections. Their reconciliation result can return
-editorial changes, but semantic changes remain owner proposals and never write
-back into the executable technology.

package/examples/executable-technology-course/technology.json

@@ -1,99 +0,0 @@
-{
-  "schema_version": "1.0.0",
-  "id": "technology.service_release",
-  "title": "Safe service release",
-  "owner": "role.release_owner",
-  "outcome": "A verified service version is promoted with a tested recovery path.",
-  "lifecycle": "accepted",
-  "version": "2026.08",
-  "source_refs": ["repo://example/operations/release.md"],
-  "projection_refs": ["docs://staff-course/service-release"],
-  "operations": [
-    {
-      "id": "operation.inventory",
-      "title": "Inventory the current state",
-      "summary": "Record exact versions, dependencies and available environments before change.",
-      "owner": "role.release_owner",
-      "capability_ref": "capability.release.inventory",
-      "prerequisites": [],
-      "input_refs": ["input.release_request"],
-      "output_refs": ["evidence.current_state"],
-      "check_refs": ["check.inventory_complete"],
-      "stop_condition_refs": ["stop.unknown_current_state"],
-      "rollback_refs": [],
-      "source_refs": ["repo://example/operations/inventory.md"],
-      "instructional_refs": ["lesson.inventory"],
-      "applicability": ["release", "recovery"],
-      "negative_boundaries": ["Do not mutate the environment during inventory."]
-    },
-    {
-      "id": "operation.backup",
-      "title": "Prepare recovery",
-      "summary": "Create and verify a bounded backup and rollback procedure.",
-      "owner": "role.operations",
-      "capability_ref": "capability.release.recovery",
-      "prerequisites": ["operation.inventory"],
-      "input_refs": ["evidence.current_state"],
-      "output_refs": ["evidence.backup", "procedure.rollback"],
-      "check_refs": ["check.restore_smoke"],
-      "stop_condition_refs": ["stop.restore_not_proven"],
-      "rollback_refs": ["procedure.rollback"],
-      "source_refs": ["repo://example/operations/recovery.md"],
-      "instructional_refs": ["lesson.recovery"],
-      "applicability": ["release", "recovery"],
-      "negative_boundaries": ["A backup without a restore check is not sufficient."]
-    },
-    {
-      "id": "operation.validate",
-      "title": "Validate the candidate",
-      "summary": "Run the required functional, compatibility and safety checks.",
-      "owner": "role.tester",
-      "capability_ref": "capability.release.validation",
-      "prerequisites": ["operation.inventory"],
-      "input_refs": ["input.release_candidate"],
-      "output_refs": ["evidence.validation"],
-      "check_refs": ["check.acceptance"],
-      "stop_condition_refs": ["stop.blocking_regression"],
-      "rollback_refs": [],
-      "source_refs": ["repo://example/operations/validation.md"],
-      "instructional_refs": ["lesson.validation"],
-      "applicability": ["release"],
-      "negative_boundaries": ["A green syntax check is not an outcome verdict."]
-    },
-    {
-      "id": "operation.promote",
-      "title": "Promote the accepted version",
-      "summary": "Apply the exact accepted candidate and verify the resulting identity.",
-      "owner": "role.release_owner",
-      "capability_ref": "capability.release.promotion",
-      "prerequisites": ["operation.backup", "operation.validate"],
-      "input_refs": ["evidence.backup", "evidence.validation"],
-      "output_refs": ["evidence.release_readback"],
-      "check_refs": ["check.release_identity", "check.runtime_smoke"],
-      "stop_condition_refs": ["stop.identity_mismatch"],
-      "rollback_refs": ["procedure.rollback"],
-      "source_refs": ["repo://example/operations/promotion.md"],
-      "instructional_refs": ["lesson.promotion"],
-      "applicability": ["release"],
-      "negative_boundaries": ["Do not promote a candidate that differs from the accepted identity."]
-    }
-  ],
-  "scenarios": [
-    {
-      "id": "scenario.full_release",
-      "title": "Full release",
-      "outcome": "The accepted service version is released and verified.",
-      "operation_ids": ["operation.inventory", "operation.backup", "operation.validate", "operation.promote"],
-      "required_inputs": ["input.release_request", "input.release_candidate"],
-      "audience": ["release_manager", "operations_engineer"]
-    },
-    {
-      "id": "scenario.recovery_preparation",
-      "title": "Recovery preparation only",
-      "outcome": "A verified rollback path exists without performing a release.",
-      "operation_ids": ["operation.backup"],
-      "required_inputs": ["input.release_request"],
-      "audience": ["operations_engineer"]
-    }
-  ]
-}

package/examples/federation-routing-smoke/README.md

@@ -1,19 +0,0 @@
-# Federation Routing Smoke Example
-
-This synthetic example shows the public Mirai Graph routing control pattern:
-
-```text
-request -> route -> explanation -> evidence -> regression -> health dashboard -> governed learning proposal
-```
-
-The example uses generic capability names only:
-
-- `implementation`
-- `deployment_safety`
-- `quality_assurance`
-- `research_review`
-- `content`
-- `search_visibility`
-
-It is not based on private federation data and does not authorize runtime
-execution or canonical graph updates.

package/examples/federation-routing-smoke/federation-health-dashboard.json

@@ -1,42 +0,0 @@
-{
-  "schema_version": "1.0.0",
-  "dashboard_id": "synthetic-routing-smoke-health",
-  "created_at": "2026-05-31T00:00:00Z",
-  "capability_count": 6,
-  "runtime_ready_count": 6,
-  "stale_graph_count": 0,
-  "watch_conflict_count": 2,
-  "unresolved_conflict_count": 0,
-  "failed_fixture_count": 0,
-  "high_risk_without_explanation_count": 0,
-  "fallback_required_route_count": 2,
-  "blocked_route_count": 0,
-  "regression_status": "unchanged",
-  "pending_learning_proposals": 0,
-  "conflict_details": [
-    {
-      "conflict_family_id": "implementation-vs-deployment-safety",
-      "affected_capabilities": ["implementation", "deployment_safety", "quality_assurance"],
-      "failed_fixtures": [],
-      "latest_route_explanation_refs": ["examples/federation-routing-smoke/route-explanation.json"],
-      "required_owner_review": "none",
-      "next_action": "Keep covered by routing fixtures and regression checks.",
-      "severity": "watch"
-    },
-    {
-      "conflict_family_id": "content-vs-search-visibility",
-      "affected_capabilities": ["content", "search_visibility", "quality_assurance"],
-      "failed_fixtures": [],
-      "latest_route_explanation_refs": [],
-      "required_owner_review": "none",
-      "next_action": "Keep public search work separated from generic content editing.",
-      "severity": "watch"
-    }
-  ],
-  "next_actions": [
-    "Use failed fixtures as evidence for governed learning proposals.",
-    "Require route explanations for high-risk routes.",
-    "Do not treat health dashboards as runtime authorization."
-  ],
-  "canonical_write_allowed": false
-}

package/examples/federation-routing-smoke/route-explanation.json

@@ -1,32 +0,0 @@
-{
-  "schema_version": "1.0.0",
-  "route_id": "synthetic.production-deploy.deployment-safety-required",
-  "created_at": "2026-05-31T00:00:00Z",
-  "request": "Deploy the release to production and verify the service is healthy.",
-  "primary_owner": "deployment_safety",
-  "companion_owners": ["implementation", "quality_assurance"],
-  "rejected_candidates": [
-    {
-      "owner": "implementation",
-      "reason": "Implementation can change code, but production deployment requires runtime safety gates."
-    }
-  ],
-  "routing_reasons": [
-    "Production deployment is a governed runtime action.",
-    "The route requires implementation context and quality acceptance evidence."
-  ],
-  "why_primary": "deployment_safety owns the runtime gates for production deployment.",
-  "why_not_other_candidates": [
-    {
-      "owner": "implementation",
-      "reason": "Implementation alone would miss backup, rollback and runtime inventory gates."
-    }
-  ],
-  "required_gates": ["runtime_inventory", "backup", "rollback", "safe_write"],
-  "fallback_required": true,
-  "risk_class": "high",
-  "runtime_preflight_ref": "examples/federation-routing-smoke/routes/production-deploy-runtime-preflight.json",
-  "route_evidence_ref": "examples/federation-routing-smoke/routes/production-deploy-execution-evidence.json",
-  "explanation_source": "synthetic_example",
-  "canonical_write_allowed": false
-}

package/examples/federation-routing-smoke/route-regression-result.json

@@ -1,35 +0,0 @@
-{
-  "schema_version": "1.0.0",
-  "run_id": "synthetic-routing-smoke-regression",
-  "created_at": "2026-05-31T00:00:00Z",
-  "before_route_result_ref": "examples/federation-routing-smoke/routing-fixture-run-baseline.json",
-  "baseline_route_result_ref": "examples/federation-routing-smoke/routing-fixture-run-baseline.json",
-  "after_route_result_ref": "examples/federation-routing-smoke/routing-fixture-run.json",
-  "current_route_result_ref": "examples/federation-routing-smoke/routing-fixture-run.json",
-  "diff": {
-    "baseline": "compared",
-    "fixture_count_before": 2,
-    "fixture_count_after": 2,
-    "failed_before": 0,
-    "failed_after": 0,
-    "blocked_before": 0,
-    "blocked_after": 0,
-    "high_risk_without_explanation_before": 0,
-    "high_risk_without_explanation_after": 0,
-    "changed_fixture_count": 0
-  },
-  "route_diffs": [
-    {
-      "fixture_id": "synthetic.production-deploy.deployment-safety-required",
-      "status": "unchanged",
-      "changed_fields": []
-    },
-    {
-      "fixture_id": "synthetic.search-page.search-visibility-not-content-only",
-      "status": "unchanged",
-      "changed_fields": []
-    }
-  ],
-  "regression_status": "unchanged",
-  "canonical_write_allowed": false
-}