mirai-graph 1.0.0-rc.1

package/benchmarks/synthetic-context-reduction-v0/RESULT.md

@@ -0,0 +1,52 @@
+# Synthetic Context-Reduction Benchmark Result
+
+Status: reproducibility smoke test
+
+## Command
+
+Run from this directory:
+
+```bash
+node scripts/calculate-context-reduction.js
+```
+
+## Output
+
+```json
+{
+  "schema_version": "0.1.0",
+  "task_id": "task.notify_after_approval",
+  "baseline_context_units": 620,
+  "graph_context_units": 270,
+  "total_reduction_percent": 56.4516,
+  "note": "Synthetic demonstration only; do not merge with internal empirical metrics."
+}
+```
+
+## Verdict
+
+`pass_with_limitations`
+
+The benchmark reproduces the expected arithmetic calculation for the synthetic
+context-reduction example.
+
+## Interpretation
+
+This result shows that the public synthetic package is executable and that its
+stored metric inputs reproduce the documented reduction value.
+
+It does not show:
+
+- semantic completeness;
+- external validity;
+- real-world task performance;
+- agent safety;
+- superiority over other methods.
+
+## Next Improvements
+
+- Add more synthetic tasks.
+- Add deterministic context-unit counting.
+- Add semantic-completeness review rubrics.
+- Add negative examples.
+- Add a benchmark runner that writes machine-readable result files.

package/benchmarks/synthetic-context-reduction-v0/expected/context-pack-compact.md

@@ -0,0 +1,31 @@
+# Compact Context Pack: Notifications After Approval
+
+Task: prepare implementation context for sending notifications after content
+approval.
+
+## Required Objects
+
+- `pkg.content_workflow`: owns draft/review/approved/published states and
+  records transition metadata.
+- `feature.workflow_transition`: stores actor, timestamp, previous state, next
+  state and reason.
+- `pkg.audit_events`: stores append-only event records for workflow
+  transitions.
+- `constraint.audit_before_notify`: notification must wait until the triggering
+  workflow event has been audited.
+- `pkg.notification_delivery`: sends email/webhook messages for important
+  workflow events.
+- `feature.scoped_api_token`: delivery workers must use scoped tokens.
+- `risk.duplicate_notifications`: retries must not duplicate notifications for
+  the same transition.
+
+## Implementation Boundary
+
+Do not implement notification delivery as an isolated package decision. The
+feature crosses content workflow, audit events and identity/access.
+
+## Review Gates
+
+- Audit persistence before notification enqueue.
+- Scoped token usage for workers.
+- Idempotency key or correlation identifier for retry handling.

package/benchmarks/synthetic-context-reduction-v0/gates/results.json

@@ -0,0 +1,12 @@
+[
+  {
+    "id": "gate_result.synthetic_context_reduction_v0.public_safety",
+    "gate_id": "gate.public_safety",
+    "target_id": "package.synthetic_context_reduction_v0",
+    "verdict": "pass_with_notes",
+    "summary": "The benchmark is synthetic and public-safe, but it supports method inspection only.",
+    "evidence": ["source.identity_access", "source.content_workflow", "source.audit_events", "source.notification_delivery"],
+    "reviewed_at": "2026-05-28",
+    "reviewer": "Mirai Graph maintainers"
+  }
+]

package/benchmarks/synthetic-context-reduction-v0/graph/objects.json

@@ -0,0 +1,114 @@
+[
+  {
+    "id": "source.identity_access",
+    "kind": "evidence",
+    "title": "Identity access source note",
+    "summary": "Synthetic source note describing account registration, role assignment and scoped API tokens.",
+    "readiness": "accepted",
+    "evidence": [],
+    "profile": "software_specification",
+    "source_path": "source-corpus/identity-access.md"
+  },
+  {
+    "id": "source.content_workflow",
+    "kind": "evidence",
+    "title": "Content workflow source note",
+    "summary": "Synthetic source note describing content review and approval workflow behavior.",
+    "readiness": "accepted",
+    "evidence": [],
+    "profile": "software_specification",
+    "source_path": "source-corpus/content-workflow.md"
+  },
+  {
+    "id": "source.audit_events",
+    "kind": "evidence",
+    "title": "Audit events source note",
+    "summary": "Synthetic source note describing audit recording expectations.",
+    "readiness": "accepted",
+    "evidence": [],
+    "profile": "software_specification",
+    "source_path": "source-corpus/audit-events.md"
+  },
+  {
+    "id": "source.notification_delivery",
+    "kind": "evidence",
+    "title": "Notification delivery source note",
+    "summary": "Synthetic source note describing notification workers, scoped tokens and delivery risks.",
+    "readiness": "accepted",
+    "evidence": [],
+    "profile": "software_specification",
+    "source_path": "source-corpus/notification-delivery.md"
+  },
+  {
+    "id": "pkg.identity_access",
+    "kind": "package",
+    "title": "Identity And Access",
+    "summary": "Synthetic package responsible for identities, roles and scoped API tokens.",
+    "readiness": "draft",
+    "evidence": ["source.identity_access"],
+    "profile": "software_specification"
+  },
+  {
+    "id": "pkg.content_workflow",
+    "kind": "package",
+    "title": "Content Workflow",
+    "summary": "Synthetic package responsible for review and approval workflow transitions.",
+    "readiness": "draft",
+    "evidence": ["source.content_workflow"],
+    "profile": "software_specification"
+  },
+  {
+    "id": "pkg.audit_events",
+    "kind": "package",
+    "title": "Audit Events",
+    "summary": "Synthetic package responsible for recording audit events.",
+    "readiness": "draft",
+    "evidence": ["source.audit_events"],
+    "profile": "software_specification"
+  },
+  {
+    "id": "pkg.notification_delivery",
+    "kind": "package",
+    "title": "Notification Delivery",
+    "summary": "Synthetic package responsible for sending notifications after workflow events.",
+    "readiness": "draft",
+    "evidence": ["source.notification_delivery"],
+    "profile": "software_specification"
+  },
+  {
+    "id": "feature.workflow_transition",
+    "kind": "feature",
+    "title": "Workflow Transition",
+    "summary": "A content workflow transition that can trigger downstream behavior.",
+    "readiness": "review_ready",
+    "evidence": ["source.content_workflow"],
+    "profile": "software_specification"
+  },
+  {
+    "id": "feature.scoped_api_token",
+    "kind": "feature",
+    "title": "Scoped API Token",
+    "summary": "A scoped token used by delivery workers when acting on workflow events.",
+    "readiness": "review_ready",
+    "evidence": ["source.identity_access", "source.notification_delivery"],
+    "profile": "software_specification"
+  },
+  {
+    "id": "constraint.audit_before_notify",
+    "kind": "constraint",
+    "title": "Audit Before Notify",
+    "summary": "A notification should not be sent before the approval transition is recorded in the audit log.",
+    "readiness": "blocked",
+    "evidence": ["source.content_workflow", "source.notification_delivery"],
+    "profile": "software_specification"
+  },
+  {
+    "id": "risk.duplicate_notifications",
+    "kind": "risk",
+    "title": "Duplicate Notifications",
+    "summary": "Retry behavior may create duplicate notifications if idempotency is not defined.",
+    "readiness": "draft",
+    "evidence": ["source.notification_delivery"],
+    "profile": "software_specification"
+  }
+]

package/benchmarks/synthetic-context-reduction-v0/graph/relations.json

@@ -0,0 +1,74 @@
+[
+  {
+    "id": "relation.pkg.content_workflow.implements.feature.workflow_transition",
+    "source": "pkg.content_workflow",
+    "type": "implements",
+    "target": "feature.workflow_transition",
+    "readiness": "draft",
+    "evidence": ["source.content_workflow"],
+    "profile": "software_specification"
+  },
+  {
+    "id": "relation.pkg.identity_access.implements.feature.scoped_api_token",
+    "source": "pkg.identity_access",
+    "type": "implements",
+    "target": "feature.scoped_api_token",
+    "readiness": "draft",
+    "evidence": ["source.identity_access"],
+    "profile": "software_specification"
+  },
+  {
+    "id": "relation.pkg.notification_delivery.depends_on.feature.scoped_api_token",
+    "source": "pkg.notification_delivery",
+    "type": "depends_on",
+    "target": "feature.scoped_api_token",
+    "readiness": "draft",
+    "evidence": ["source.notification_delivery"],
+    "profile": "software_specification"
+  },
+  {
+    "id": "relation.pkg.audit_events.evidences.feature.workflow_transition",
+    "source": "pkg.audit_events",
+    "type": "evidences",
+    "target": "feature.workflow_transition",
+    "readiness": "draft",
+    "evidence": ["source.audit_events", "source.content_workflow"],
+    "profile": "software_specification"
+  },
+  {
+    "id": "relation.pkg.notification_delivery.blocks.constraint.audit_before_notify",
+    "source": "pkg.notification_delivery",
+    "type": "blocks",
+    "target": "constraint.audit_before_notify",
+    "readiness": "draft",
+    "evidence": ["source.notification_delivery"],
+    "profile": "software_specification"
+  },
+  {
+    "id": "relation.constraint.audit_before_notify.depends_on.pkg.audit_events",
+    "source": "constraint.audit_before_notify",
+    "type": "depends_on",
+    "target": "pkg.audit_events",
+    "readiness": "draft",
+    "evidence": ["source.content_workflow", "source.notification_delivery"],
+    "profile": "software_specification"
+  },
+  {
+    "id": "relation.feature.workflow_transition.generates.pkg.notification_delivery",
+    "source": "feature.workflow_transition",
+    "type": "generates",
+    "target": "pkg.notification_delivery",
+    "readiness": "draft",
+    "evidence": ["source.content_workflow"],
+    "profile": "software_specification"
+  },
+  {
+    "id": "relation.pkg.notification_delivery.related_to.risk.duplicate_notifications",
+    "source": "pkg.notification_delivery",
+    "type": "related_to",
+    "target": "risk.duplicate_notifications",
+    "readiness": "draft",
+    "evidence": ["source.notification_delivery"],
+    "profile": "software_specification"
+  }
+]

package/benchmarks/synthetic-context-reduction-v0/metrics/example-metrics.json

@@ -0,0 +1,22 @@
+{
+  "task_id": "task.notify_after_approval",
+  "metric_status": "illustrative_synthetic_example",
+  "baseline": {
+    "source_files": 4,
+    "estimated_context_units": 620
+  },
+  "graph_context": {
+    "objects": 7,
+    "relations": 8,
+    "estimated_context_units": 270
+  },
+  "calculation": {
+    "formula": "(baseline - graph_context) / baseline * 100",
+    "total_reduction_percent": 56.4516
+  },
+  "limitations": [
+    "Synthetic unit counts are illustrative.",
+    "This file demonstrates calculation format only.",
+    "Do not merge this synthetic metric with internal empirical metrics."
+  ]
+}

package/benchmarks/synthetic-context-reduction-v0/mirai-graph-package.json

@@ -0,0 +1,14 @@
+{
+  "id": "package.synthetic_context_reduction_v0",
+  "name": "Synthetic Context-Reduction Benchmark v0",
+  "version": "0.1.0",
+  "profile": "software_specification",
+  "conformance_level": "level_1",
+  "description": "A public-safe synthetic benchmark for inspecting Mirai Graph context-selection structure.",
+  "license": "CC-BY-4.0",
+  "public_safety": "synthetic_public",
+  "graph": {
+    "objects": "graph/objects.json",
+    "relations": "graph/relations.json"
+  }
+}

package/benchmarks/synthetic-context-reduction-v0/results/baseline-comparison-result.json

@@ -0,0 +1,42 @@
+{
+  "schema_version": "0.1.0",
+  "id": "baseline_comparison.synthetic_notify_after_approval",
+  "public_safety": "synthetic_public",
+  "comparison_type": "baseline_vs_mirai_graph",
+  "task_id": "task.notify_after_approval",
+  "baseline": {
+    "mode": "baseline_documents_and_notes",
+    "context_units": 620,
+    "missed_dependencies": 2,
+    "unsupported_assumptions": 2,
+    "evidence_coverage_percent": 58,
+    "false_progress_claims": 1
+  },
+  "mirai_graph": {
+    "mode": "mirai_graph_context_pack_and_process_control",
+    "context_units": 270,
+    "missed_dependencies": 0,
+    "unsupported_assumptions": 0,
+    "evidence_coverage_percent": 92,
+    "false_progress_claims": 0
+  },
+  "outcome": {
+    "context_reduction_percent": 56.4516,
+    "improved_metrics": [
+      "context_units",
+      "missed_dependencies",
+      "unsupported_assumptions",
+      "evidence_coverage_percent",
+      "false_progress_claims"
+    ],
+    "regressed_metrics": [],
+    "verdict": "synthetic_mirai_graph_result_stronger_with_limits"
+  },
+  "limitations": [
+    "Synthetic comparison demonstrates measurement shape, not broad scientific proof.",
+    "Metrics are fixed fixture values and require independent replication.",
+    "Passing validators do not prove semantic completeness."
+  ],
+  "claim_boundary": "This result supports only a public-safe synthetic comparison claim for the alpha fixture."
+}
+

package/benchmarks/synthetic-context-reduction-v0/results/context-pack.json

@@ -0,0 +1,181 @@
+{
+  "id": "context_pack.task_notify_after_approval",
+  "task_id": "task.notify_after_approval",
+  "source_graph": "package.synthetic_context_reduction_v0",
+  "generated_at": "2026-05-28T19:46:09.373Z",
+  "included_objects": [
+    "source.identity_access",
+    "source.content_workflow",
+    "source.audit_events",
+    "source.notification_delivery",
+    "pkg.content_workflow",
+    "pkg.audit_events",
+    "pkg.notification_delivery",
+    "feature.workflow_transition",
+    "feature.scoped_api_token",
+    "constraint.audit_before_notify",
+    "risk.duplicate_notifications"
+  ],
+  "included_relations": [
+    "relation.pkg.content_workflow.implements.feature.workflow_transition",
+    "relation.pkg.notification_delivery.depends_on.feature.scoped_api_token",
+    "relation.pkg.audit_events.evidences.feature.workflow_transition",
+    "relation.pkg.notification_delivery.blocks.constraint.audit_before_notify",
+    "relation.constraint.audit_before_notify.depends_on.pkg.audit_events",
+    "relation.feature.workflow_transition.generates.pkg.notification_delivery",
+    "relation.pkg.notification_delivery.related_to.risk.duplicate_notifications"
+  ],
+  "evidence": [
+    "source.content_workflow",
+    "source.audit_events",
+    "source.notification_delivery",
+    "source.identity_access"
+  ],
+  "selection": {
+    "method": "token_matching_one_hop_relation_expansion_safety_shared_evidence",
+    "task_tokens": [
+      "task",
+      "notify",
+      "after",
+      "approve"
+    ],
+    "object_explanations": [
+      {
+        "id": "source.identity_access",
+        "relevance_score": -1,
+        "reasons": [
+          "evidence referenced by selected object"
+        ]
+      },
+      {
+        "id": "source.content_workflow",
+        "relevance_score": 2,
+        "reasons": [
+          "exact token match: approve",
+          "evidence object penalty until linked by selected graph context"
+        ]
+      },
+      {
+        "id": "source.audit_events",
+        "relevance_score": -1,
+        "reasons": [
+          "evidence referenced by selected object"
+        ]
+      },
+      {
+        "id": "source.notification_delivery",
+        "relevance_score": 2,
+        "reasons": [
+          "exact token match: notify",
+          "evidence object penalty until linked by selected graph context"
+        ]
+      },
+      {
+        "id": "pkg.content_workflow",
+        "relevance_score": 3,
+        "reasons": [
+          "exact token match: approve"
+        ]
+      },
+      {
+        "id": "pkg.audit_events",
+        "relevance_score": 0,
+        "reasons": [
+          "one-hop relation expansion from relation.constraint.audit_before_notify.depends_on.pkg.audit_events"
+        ]
+      },
+      {
+        "id": "pkg.notification_delivery",
+        "relevance_score": 6,
+        "reasons": [
+          "exact token match: notify",
+          "exact token match: after"
+        ]
+      },
+      {
+        "id": "feature.workflow_transition",
+        "relevance_score": 0,
+        "reasons": [
+          "one-hop relation expansion from relation.pkg.content_workflow.implements.feature.workflow_transition"
+        ]
+      },
+      {
+        "id": "feature.scoped_api_token",
+        "relevance_score": 0,
+        "reasons": [
+          "one-hop relation expansion from relation.pkg.notification_delivery.depends_on.feature.scoped_api_token"
+        ]
+      },
+      {
+        "id": "constraint.audit_before_notify",
+        "relevance_score": 6,
+        "reasons": [
+          "exact token match: notify",
+          "exact token match: approve"
+        ]
+      },
+      {
+        "id": "risk.duplicate_notifications",
+        "relevance_score": 3,
+        "reasons": [
+          "exact token match: notify"
+        ]
+      }
+    ],
+    "relation_explanations": [
+      {
+        "id": "relation.pkg.content_workflow.implements.feature.workflow_transition",
+        "reason": "one-hop relation expansion from direct object match",
+        "source": "pkg.content_workflow",
+        "target": "feature.workflow_transition"
+      },
+      {
+        "id": "relation.pkg.notification_delivery.depends_on.feature.scoped_api_token",
+        "reason": "one-hop relation expansion from direct object match",
+        "source": "pkg.notification_delivery",
+        "target": "feature.scoped_api_token"
+      },
+      {
+        "id": "relation.pkg.audit_events.evidences.feature.workflow_transition",
+        "reason": "connects selected objects after safety/evidence expansion",
+        "source": "pkg.audit_events",
+        "target": "feature.workflow_transition"
+      },
+      {
+        "id": "relation.pkg.notification_delivery.blocks.constraint.audit_before_notify",
+        "reason": "one-hop relation expansion from direct object match",
+        "source": "pkg.notification_delivery",
+        "target": "constraint.audit_before_notify"
+      },
+      {
+        "id": "relation.constraint.audit_before_notify.depends_on.pkg.audit_events",
+        "reason": "one-hop relation expansion from direct object match",
+        "source": "constraint.audit_before_notify",
+        "target": "pkg.audit_events"
+      },
+      {
+        "id": "relation.feature.workflow_transition.generates.pkg.notification_delivery",
+        "reason": "one-hop relation expansion from direct object match",
+        "source": "feature.workflow_transition",
+        "target": "pkg.notification_delivery"
+      },
+      {
+        "id": "relation.pkg.notification_delivery.related_to.risk.duplicate_notifications",
+        "reason": "one-hop relation expansion from direct object match",
+        "source": "pkg.notification_delivery",
+        "target": "risk.duplicate_notifications"
+      }
+    ]
+  },
+  "assumptions": [
+    "Alpha generator uses token matching plus one-hop relation expansion.",
+    "Safety-sensitive constraints and risks with shared evidence are included."
+  ],
+  "omissions": [
+    "pkg.identity_access"
+  ],
+  "limitations": [
+    "Generated context pack is not canonical state.",
+    "This alpha generator does not prove semantic completeness."
+  ]
+}

package/benchmarks/synthetic-context-reduction-v0/results/context-reduction-result.json

@@ -0,0 +1,8 @@
+{
+  "schema_version": "0.1.0",
+  "task_id": "task.notify_after_approval",
+  "baseline_context_units": 620,
+  "graph_context_units": 270,
+  "total_reduction_percent": 56.4516,
+  "note": "Synthetic demonstration only; do not merge with internal empirical metrics."
+}

package/benchmarks/synthetic-context-reduction-v0/results/profile-conformance-result.json

@@ -0,0 +1,28 @@
+{
+  "schema_version": "0.1.0",
+  "result_id": "profile_conformance.package.synthetic_context_reduction_v0",
+  "checked_at": "2026-05-29",
+  "fixture": "benchmarks/synthetic-context-reduction-v0/",
+  "package_id": "package.synthetic_context_reduction_v0",
+  "profile": "software_specification",
+  "conformance_level": "level_1",
+  "validator": "packages/cli/validate-mirai-graph.js",
+  "command": "node packages/cli/validate-mirai-graph.js benchmarks/synthetic-context-reduction-v0",
+  "valid": true,
+  "errors": [],
+  "warnings": [],
+  "checks": [
+    "required package, object, relation and gate-result fields",
+    "unique object and relation ids",
+    "relation source and target existence",
+    "relation id consistency",
+    "readiness and gate verdict values",
+    "software_specification object-kind conformance",
+    "software_specification relation-type conformance"
+  ],
+  "claim_supported": "The package follows the declared Mirai Graph profile shape checked by the current validator.",
+  "limitations": [
+    "This result does not prove semantic completeness, usefulness or downstream task performance.",
+    "The benchmark package is synthetic public-safe evidence."
+  ]
+}

package/benchmarks/synthetic-context-reduction-v0/results/readiness-score.json

@@ -0,0 +1,24 @@
+{
+  "schema_version": "0.1.0",
+  "target_mode": "pilot",
+  "score": 69,
+  "band": "G3_pilot_ready",
+  "evidence": [
+    "package manifest exists",
+    "objects exist: 12",
+    "relations exist: 8",
+    "evidence objects exist: 4",
+    "accepted objects exist: 4",
+    "gate results exist: 1",
+    "context pack example exists",
+    "benchmark metric example exists"
+  ],
+  "blockers": [],
+  "caps": [
+    {
+      "reason": "synthetic-only evidence cannot exceed pilot-ready navigation score",
+      "max_score": 69
+    }
+  ],
+  "note": "Release-candidate readiness score; use as navigation, not approval."
+}