mirai-graph 1.0.0-rc.1

package/examples/process-control-contract-minimal/graph/relations.json

@@ -0,0 +1,29 @@
+[
+  {
+    "id": "relation.evidence.synthetic_process_contract_brief.evidences.contract.synthetic_executable_process",
+    "type": "evidences",
+    "source": "evidence.synthetic_process_contract_brief",
+    "target": "contract.synthetic_executable_process",
+    "readiness": "accepted",
+    "evidence": ["evidence.synthetic_process_contract_brief"],
+    "profile": "implementation_control"
+  },
+  {
+    "id": "relation.contract.synthetic_executable_process.defines_boundary.state_machine.synthetic_executable_process",
+    "type": "defines_boundary",
+    "source": "contract.synthetic_executable_process",
+    "target": "state_machine.synthetic_executable_process",
+    "readiness": "review_ready",
+    "evidence": ["evidence.synthetic_process_contract_brief"],
+    "profile": "implementation_control"
+  },
+  {
+    "id": "relation.contract.synthetic_executable_process.controls_risk.risk.terminal_without_kaizen",
+    "type": "controls_risk",
+    "source": "contract.synthetic_executable_process",
+    "target": "risk.terminal_without_kaizen",
+    "readiness": "accepted",
+    "evidence": ["evidence.synthetic_process_contract_brief"],
+    "profile": "implementation_control"
+  }
+]

package/examples/process-control-contract-minimal/mirai-graph-package.json

@@ -0,0 +1,11 @@
+{
+  "id": "package.process_control_contract_minimal",
+  "name": "Process Control Contract Minimal",
+  "version": "0.1.0",
+  "profile": "implementation_control",
+  "conformance_level": "level_1",
+  "graph": {
+    "objects": "graph/objects.json",
+    "relations": "graph/relations.json"
+  }
+}

package/examples/process-control-contract-minimal/results/process-control-contract.json

@@ -0,0 +1,58 @@
+{
+  "schema_version": "0.1.0",
+  "id": "process_control_contract.synthetic_executable_process",
+  "profile": "implementation_control",
+  "public_safety": "synthetic_public",
+  "process_id": "process.synthetic_executable_standard",
+  "cycle_id": "bounded_work_batch",
+  "state_machine_id": "work_state_machine.synthetic_executable_process",
+  "launch_record_policy": {
+    "required_for_states": ["ready_to_execute", "started"],
+    "required_for_transitions": ["planned->ready_to_execute", "ready_to_execute->started"],
+    "approval_required": true
+  },
+  "evidence_requirements": [
+    "launch_record",
+    "scope_check",
+    "test_result",
+    "technology_quality_feedback",
+    "semantic_acceptance",
+    "release_evidence"
+  ],
+  "recovery_behavior": "Resume from durable workflow state, last valid launch record and evidence pack.",
+  "risk_controls": [
+    "terminal_without_kaizen",
+    "sync_proposal_as_update",
+    "tests_without_acceptance",
+    "technology_drift_without_feedback"
+  ],
+  "validators": [
+    "launch-record",
+    "process-transition",
+    "technology-quality-feedback",
+    "work-state-machine"
+  ],
+  "technology_quality_feedback_policy": {
+    "required_for_transitions": [
+      "tests_recorded->review_ready",
+      "review_ready->approved",
+      "approved->release_ready"
+    ],
+    "accepted_verdicts": [
+      "accepted",
+      "accepted_with_deferred_items"
+    ],
+    "blocking_findings_stop_transition": true
+  },
+  "kaizen_policy": {
+    "terminal_state_requires_review_or_skip": true,
+    "accepted_skip_field": "no_reusable_lessons_reason"
+  },
+  "evidence_refs": [
+    "evidence.synthetic_process_contract_brief"
+  ],
+  "limitations": [
+    "Synthetic contract validates executable process shape, not real-world safety.",
+    "The contract does not execute actions or approve canonical updates."
+  ]
+}

package/examples/process-transition-minimal/README.md

@@ -0,0 +1,25 @@
+# Process Transition Minimal Example
+
+Status: synthetic public example
+
+## Purpose
+
+This example demonstrates fail-closed process transition validation.
+
+It checks:
+
+```text
+current state
+-> allowed transition
+-> required evidence
+-> launch record when needed
+-> terminal Kaizen closure
+```
+
+## Validation
+
+Run:
+
+```bash
+npm run validate:process-transition
+```

package/examples/process-transition-minimal/invalid-missing-launch-record.json

@@ -0,0 +1,14 @@
+{
+  "schema_version": "0.1.0",
+  "id": "transition_request.invalid_missing_launch_record",
+  "profile": "implementation_control",
+  "public_safety": "synthetic_public",
+  "process_id": "process.synthetic_executable_standard",
+  "current_state": "planned",
+  "target_state": "ready_to_execute",
+  "evidence_refs": ["launch_record"],
+  "launch_record_ref": "",
+  "kaizen_review_ref": "",
+  "no_reusable_lessons_reason": "",
+  "limitations": ["Invalid fixture: launch-record transition must reference a launch record."]
+}

package/examples/process-transition-minimal/invalid-ready-to-written.json

@@ -0,0 +1,14 @@
+{
+  "schema_version": "0.1.0",
+  "id": "transition_request.invalid_ready_to_written",
+  "profile": "implementation_control",
+  "public_safety": "synthetic_public",
+  "process_id": "process.synthetic_executable_standard",
+  "current_state": "ready_to_execute",
+  "target_state": "written",
+  "evidence_refs": ["scope_check"],
+  "launch_record_ref": "launch_record.synthetic_batch",
+  "kaizen_review_ref": "",
+  "no_reusable_lessons_reason": "",
+  "limitations": ["Invalid fixture: ready_to_execute cannot skip started."]
+}

package/examples/process-transition-minimal/invalid-release-missing-evidence.json

@@ -0,0 +1,14 @@
+{
+  "schema_version": "0.1.0",
+  "id": "transition_request.invalid_release_missing_evidence",
+  "profile": "implementation_control",
+  "public_safety": "synthetic_public",
+  "process_id": "process.synthetic_executable_standard",
+  "current_state": "release_ready",
+  "target_state": "released",
+  "evidence_refs": [],
+  "launch_record_ref": "launch_record.synthetic_batch",
+  "kaizen_review_ref": "kaizen_review.synthetic_release",
+  "no_reusable_lessons_reason": "",
+  "limitations": ["Invalid fixture: release transition needs release evidence."]
+}

package/examples/process-transition-minimal/invalid-sync-to-update.json

@@ -0,0 +1,14 @@
+{
+  "schema_version": "0.1.0",
+  "id": "transition_request.invalid_sync_to_update",
+  "profile": "implementation_control",
+  "public_safety": "synthetic_public",
+  "process_id": "process.synthetic_executable_standard",
+  "current_state": "sync_proposed",
+  "target_state": "controlled_update",
+  "evidence_refs": ["sync_proposal"],
+  "launch_record_ref": "launch_record.synthetic_batch",
+  "kaizen_review_ref": "",
+  "no_reusable_lessons_reason": "",
+  "limitations": ["Invalid fixture: sync proposal is not controlled update."]
+}

package/examples/process-transition-minimal/invalid-terminal-missing-kaizen.json

@@ -0,0 +1,14 @@
+{
+  "schema_version": "0.1.0",
+  "id": "transition_request.invalid_terminal_missing_kaizen",
+  "profile": "implementation_control",
+  "public_safety": "synthetic_public",
+  "process_id": "process.synthetic_executable_standard",
+  "current_state": "release_ready",
+  "target_state": "released",
+  "evidence_refs": ["release_evidence"],
+  "launch_record_ref": "launch_record.synthetic_batch",
+  "kaizen_review_ref": "",
+  "no_reusable_lessons_reason": "",
+  "limitations": ["Invalid fixture: significant terminal state needs Kaizen review or explicit skip reason."]
+}

package/examples/process-transition-minimal/invalid-tests-to-approved.json

@@ -0,0 +1,14 @@
+{
+  "schema_version": "0.1.0",
+  "id": "transition_request.invalid_tests_to_approved",
+  "profile": "implementation_control",
+  "public_safety": "synthetic_public",
+  "process_id": "process.synthetic_executable_standard",
+  "current_state": "tests_recorded",
+  "target_state": "approved",
+  "evidence_refs": ["test_result"],
+  "launch_record_ref": "launch_record.synthetic_batch",
+  "kaizen_review_ref": "",
+  "no_reusable_lessons_reason": "",
+  "limitations": ["Invalid fixture: tests alone are not semantic acceptance or approval."]
+}

package/examples/process-transition-minimal/results/transition-explanation-invalid-ready-to-written.json

@@ -0,0 +1,35 @@
+{
+  "schema_version": "0.1.0",
+  "fixture_id": "transition_explanation.invalid_ready_to_written",
+  "request_ref": "examples/process-transition-minimal/invalid-ready-to-written.json",
+  "expected_valid": false,
+  "expected_error": "process_transition transition ready_to_execute->written is not allowed",
+  "explanation": {
+    "process_id": "process.synthetic_executable_standard",
+    "current_state": "ready_to_execute",
+    "target_state": "written",
+    "matched_transition": false,
+    "matched_transition_ref": "",
+    "required_evidence": [],
+    "provided_evidence": ["scope_check"],
+    "missing_evidence": [],
+    "requires_launch_record": false,
+    "launch_record_ref": "launch_record.synthetic_batch",
+    "launch_record_satisfied": true,
+    "terminal_transition": false,
+    "terminal_requires_kaizen": false,
+    "kaizen_decision": {
+      "status": "not_required",
+      "kaizen_review_ref": "",
+      "no_reusable_lessons_reason": ""
+    },
+    "false_transition_guard_summary": [
+      "ready_to_execute_is_not_written",
+      "tests_recorded_without_semantic_acceptance_is_not_approved",
+      "sync_proposed_is_not_controlled_update",
+      "released_requires_release_evidence",
+      "terminal_requires_kaizen_or_no_reusable_lessons"
+    ]
+  }
+}
+

package/examples/process-transition-minimal/results/transition-explanation-valid.json

@@ -0,0 +1,34 @@
+{
+  "schema_version": "0.1.0",
+  "fixture_id": "transition_explanation.release_ready_to_released",
+  "request_ref": "examples/process-transition-minimal/transition-request.json",
+  "expected_valid": true,
+  "explanation": {
+    "process_id": "process.synthetic_executable_standard",
+    "current_state": "release_ready",
+    "target_state": "released",
+    "matched_transition": true,
+    "matched_transition_ref": "release_ready->released",
+    "required_evidence": ["release_evidence"],
+    "provided_evidence": ["release_evidence"],
+    "missing_evidence": [],
+    "requires_launch_record": false,
+    "launch_record_ref": "launch_record.synthetic_batch",
+    "launch_record_satisfied": true,
+    "terminal_transition": true,
+    "terminal_requires_kaizen": true,
+    "kaizen_decision": {
+      "status": "satisfied",
+      "kaizen_review_ref": "kaizen_review.synthetic_release",
+      "no_reusable_lessons_reason": ""
+    },
+    "false_transition_guard_summary": [
+      "ready_to_execute_is_not_written",
+      "tests_recorded_without_semantic_acceptance_is_not_approved",
+      "sync_proposed_is_not_controlled_update",
+      "released_requires_release_evidence",
+      "terminal_requires_kaizen_or_no_reusable_lessons"
+    ]
+  }
+}
+

package/examples/process-transition-minimal/state-machine.json

@@ -0,0 +1,79 @@
+{
+  "schema_version": "0.1.0",
+  "id": "work_state_machine.synthetic_executable_process",
+  "profile": "implementation_control",
+  "public_safety": "synthetic_public",
+  "states": [
+    "planned",
+    "ready_to_execute",
+    "started",
+    "written",
+    "tests_recorded",
+    "evidence_recorded",
+    "sync_proposed",
+    "approved",
+    "release_ready",
+    "released",
+    "kaizen_reviewed"
+  ],
+  "terminal_states": ["released", "kaizen_reviewed"],
+  "transitions": [
+    {
+      "from": "planned",
+      "to": "ready_to_execute",
+      "requires_evidence": ["launch_record"],
+      "requires_launch_record": true
+    },
+    {
+      "from": "ready_to_execute",
+      "to": "started",
+      "requires_evidence": ["scope_check"],
+      "requires_launch_record": true
+    },
+    {
+      "from": "started",
+      "to": "written",
+      "requires_evidence": ["file_map"]
+    },
+    {
+      "from": "written",
+      "to": "tests_recorded",
+      "requires_evidence": ["test_result"]
+    },
+    {
+      "from": "tests_recorded",
+      "to": "evidence_recorded",
+      "requires_evidence": ["semantic_acceptance", "evidence_pack"]
+    },
+    {
+      "from": "evidence_recorded",
+      "to": "sync_proposed",
+      "requires_evidence": ["sync_proposal"]
+    },
+    {
+      "from": "sync_proposed",
+      "to": "approved",
+      "requires_evidence": ["approval_gate"]
+    },
+    {
+      "from": "approved",
+      "to": "release_ready",
+      "requires_evidence": ["release_gate"]
+    },
+    {
+      "from": "release_ready",
+      "to": "released",
+      "requires_evidence": ["release_evidence"],
+      "terminal_requires_kaizen": true
+    }
+  ],
+  "false_transition_guards": [
+    "ready_to_execute_is_not_written",
+    "tests_recorded_without_semantic_acceptance_is_not_approved",
+    "sync_proposed_is_not_controlled_update",
+    "released_requires_release_evidence",
+    "terminal_requires_kaizen_or_no_reusable_lessons"
+  ],
+  "evidence_refs": ["evidence.synthetic_transition_brief"],
+  "limitations": ["Synthetic state machine validates transition rules, not real execution."]
+}

package/examples/process-transition-minimal/transition-request-skip-kaizen.json

@@ -0,0 +1,14 @@
+{
+  "schema_version": "0.1.0",
+  "id": "transition_request.release_ready_to_released_skip_kaizen",
+  "profile": "implementation_control",
+  "public_safety": "synthetic_public",
+  "process_id": "process.synthetic_executable_standard",
+  "current_state": "release_ready",
+  "target_state": "released",
+  "evidence_refs": ["release_evidence"],
+  "launch_record_ref": "launch_record.synthetic_batch",
+  "kaizen_review_ref": "",
+  "no_reusable_lessons_reason": "Synthetic release produced no reusable process lesson after review.",
+  "limitations": ["Explicit skip reason is allowed only when no reusable lessons were found."]
+}

package/examples/process-transition-minimal/transition-request.json

@@ -0,0 +1,14 @@
+{
+  "schema_version": "0.1.0",
+  "id": "transition_request.release_ready_to_released",
+  "profile": "implementation_control",
+  "public_safety": "synthetic_public",
+  "process_id": "process.synthetic_executable_standard",
+  "current_state": "release_ready",
+  "target_state": "released",
+  "evidence_refs": ["release_evidence"],
+  "launch_record_ref": "launch_record.synthetic_batch",
+  "kaizen_review_ref": "kaizen_review.synthetic_release",
+  "no_reusable_lessons_reason": "",
+  "limitations": ["Synthetic request proves validator behavior, not production safety."]
+}

package/examples/risk-and-coordination-minimal/README.md

@@ -0,0 +1,16 @@
+# Risk And Coordination Minimal Example
+
+Status: synthetic public example
+
+## Purpose
+
+This example shows a public-safe risk control matrix and multi-agent
+coordination contract.
+
+## Validation
+
+Run:
+
+```bash
+npm run validate:risk-control
+```

package/examples/risk-and-coordination-minimal/graph/objects.json

@@ -0,0 +1,47 @@
+[
+  {
+    "id": "evidence.synthetic_risk_brief",
+    "kind": "evidence",
+    "title": "Synthetic Risk Brief",
+    "summary": "Public-safe brief for risk control and coordination.",
+    "readiness": "accepted",
+    "evidence": [],
+    "profile": "implementation_control"
+  },
+  {
+    "id": "risk.false_readiness",
+    "kind": "risk_control",
+    "title": "False Readiness",
+    "summary": "Risk that a ready state is treated as completed work.",
+    "readiness": "review_ready",
+    "evidence": ["evidence.synthetic_risk_brief"],
+    "profile": "implementation_control"
+  },
+  {
+    "id": "risk.write_collision",
+    "kind": "risk_control",
+    "title": "Write Collision",
+    "summary": "Risk that two workers update the same scope without coordination.",
+    "readiness": "review_ready",
+    "evidence": ["evidence.synthetic_risk_brief"],
+    "profile": "implementation_control"
+  },
+  {
+    "id": "coordination.synthetic_review_team",
+    "kind": "coordination_contract",
+    "title": "Synthetic Review Team Coordination",
+    "summary": "Contract for coordinating several workers on bounded synthetic scopes.",
+    "readiness": "review_ready",
+    "evidence": ["evidence.synthetic_risk_brief"],
+    "profile": "implementation_control"
+  },
+  {
+    "id": "reservation.review_scope",
+    "kind": "agent_reservation",
+    "title": "Review Scope Reservation",
+    "summary": "Reservation assigning one worker to a bounded review scope.",
+    "readiness": "accepted",
+    "evidence": ["evidence.synthetic_risk_brief"],
+    "profile": "implementation_control"
+  }
+]

package/examples/risk-and-coordination-minimal/graph/relations.json

@@ -0,0 +1,29 @@
+[
+  {
+    "id": "relation.coordination.synthetic_review_team.controls_risk.risk.write_collision",
+    "type": "controls_risk",
+    "source": "coordination.synthetic_review_team",
+    "target": "risk.write_collision",
+    "readiness": "review_ready",
+    "evidence": ["evidence.synthetic_risk_brief"],
+    "profile": "implementation_control"
+  },
+  {
+    "id": "relation.reservation.review_scope.reserves_scope.coordination.synthetic_review_team",
+    "type": "reserves_scope",
+    "source": "reservation.review_scope",
+    "target": "coordination.synthetic_review_team",
+    "readiness": "accepted",
+    "evidence": ["evidence.synthetic_risk_brief"],
+    "profile": "implementation_control"
+  },
+  {
+    "id": "relation.risk.false_readiness.blocks.coordination.synthetic_review_team",
+    "type": "blocks",
+    "source": "risk.false_readiness",
+    "target": "coordination.synthetic_review_team",
+    "readiness": "review_ready",
+    "evidence": ["evidence.synthetic_risk_brief"],
+    "profile": "implementation_control"
+  }
+]

package/examples/risk-and-coordination-minimal/mirai-graph-package.json

@@ -0,0 +1,14 @@
+{
+  "id": "package.risk_and_coordination_minimal",
+  "name": "Risk And Coordination Minimal",
+  "version": "0.1.0",
+  "profile": "implementation_control",
+  "conformance_level": "level_1",
+  "description": "Synthetic package showing risk controls and multi-agent coordination.",
+  "license": "CC-BY-4.0",
+  "public_safety": "synthetic_public",
+  "graph": {
+    "objects": "graph/objects.json",
+    "relations": "graph/relations.json"
+  }
+}

package/examples/risk-and-coordination-minimal/results/multi-agent-coordination.json

@@ -0,0 +1,25 @@
+{
+  "schema_version": "0.1.0",
+  "id": "multi_agent_coordination.synthetic_review",
+  "profile": "implementation_control",
+  "public_safety": "synthetic_public",
+  "roles": ["coordinator", "worker", "reviewer", "gatekeeper"],
+  "reservations": [
+    {
+      "id": "reservation.review_scope",
+      "owner_role": "worker",
+      "scope": "synthetic review scope",
+      "allowed_actions": ["prepare review notes", "record evidence"],
+      "evidence_path": "synthetic/evidence/review-scope",
+      "proposal_path": "synthetic/proposals/review-scope"
+    }
+  ],
+  "locking_rules": [
+    "one active owner per bounded scope",
+    "canonical updates require coordinator review",
+    "conflicting proposals are resolved by coordinator decision"
+  ],
+  "conflict_resolution": "Pause conflicting reservations, compare evidence and accept only the coordinator-approved proposal.",
+  "evidence_refs": ["evidence.synthetic_risk_brief"],
+  "limitations": ["Synthetic coordination contract does not assign real people or systems."]
+}

package/examples/risk-and-coordination-minimal/results/risk-control-matrix.json

@@ -0,0 +1,34 @@
+{
+  "schema_version": "0.1.0",
+  "id": "risk_control_matrix.synthetic_review",
+  "profile": "implementation_control",
+  "public_safety": "synthetic_public",
+  "risks": [
+    {
+      "id": "risk.false_readiness",
+      "severity": "high",
+      "description": "Ready state is mistaken for completed work.",
+      "detection_signal": "state moves from ready_to_execute to approved without evidence.",
+      "prevention": "require launch and evidence gates before promotion.",
+      "gate_or_validator": "work_state_transition_validator",
+      "evidence_requirement": "state transition evidence and review note.",
+      "recovery_action": "return to last evidenced state.",
+      "escalation_rule": "escalate to coordinator when evidence is missing.",
+      "owner_role": "coordinator"
+    },
+    {
+      "id": "risk.write_collision",
+      "severity": "medium",
+      "description": "Two workers reserve the same bounded scope.",
+      "detection_signal": "duplicate active reservation for one scope.",
+      "prevention": "reservation registry and coordinator review.",
+      "gate_or_validator": "reservation_conflict_validator",
+      "evidence_requirement": "active reservation record.",
+      "recovery_action": "pause one reservation and merge proposals by coordinator decision.",
+      "escalation_rule": "escalate if scope ownership is unclear.",
+      "owner_role": "coordination owner"
+    }
+  ],
+  "evidence_refs": ["evidence.synthetic_risk_brief"],
+  "limitations": ["Synthetic matrix validates shape, not real operational coverage."]
+}

package/examples/skill-runtime-minimal/README.md

@@ -0,0 +1,29 @@
+# Minimal Skill Runtime Example
+
+Status: synthetic public fixture
+
+This example shows how the `skill_runtime` profile can model a governed skill
+or capability module without treating generated graph context as authorization.
+
+The fixture contains:
+
+- one synthetic skill;
+- one owner domain;
+- one capability and activity;
+- raw source and source-boundary objects;
+- semantic and effectiveness evidence objects;
+- runtime policy, fallback and projection view objects;
+- one federation contract placeholder.
+
+It intentionally does not include private source files, customer data,
+credentials, production logs or internal playbooks.
+
+## Boundary
+
+```text
+raw source -> graph objects -> projection view -> runtime context
+runtime policy -> fallback decision -> handoff or federation contract
+```
+
+The profile validates the graph shape. It does not prove that the synthetic
+skill is useful, safe or ready for production runtime.

package/examples/skill-runtime-minimal/gates/results.json

@@ -0,0 +1,35 @@
+[
+  {
+    "id": "gate_result.skill_runtime_minimal.public_safety",
+    "gate_id": "public_safety_before_release",
+    "target_id": "package.skill_runtime_minimal",
+    "verdict": "pass_with_notes",
+    "summary": "The fixture is synthetic and contains no private runtime, customer, employee or secret material.",
+    "reviewed_at": "2026-05-31",
+    "evidence": [
+      "evidence.skill_runtime_brief"
+    ]
+  },
+  {
+    "id": "gate_result.skill_runtime_minimal.semantic_preservation",
+    "gate_id": "semantic_preservation_before_runtime",
+    "target_id": "runtime_context.support_triage_compact",
+    "verdict": "needs_more_evidence",
+    "summary": "The fixture records the required semantic gate but does not claim an independent domain review.",
+    "reviewed_at": "2026-05-31",
+    "evidence": [
+      "evidence.skill_runtime_brief"
+    ]
+  },
+  {
+    "id": "gate_result.skill_runtime_minimal.runtime_enablement",
+    "gate_id": "runtime_enablement_before_primary_context",
+    "target_id": "runtime_policy.compact_context_allowed",
+    "verdict": "pass_with_notes",
+    "summary": "The runtime policy allows compact graph context only for measured non-sensitive routing tasks and requires fallback for sensitive work.",
+    "reviewed_at": "2026-05-31",
+    "evidence": [
+      "evidence.skill_runtime_brief"
+    ]
+  }
+]