mirai-graph 1.3.0 → 2.1.0

package/pilots/independent-implementation-002-software-specification/graph/objects.json

@@ -1,101 +0,0 @@
-[
-  {
-    "id": "source.notification_api_brief",
-    "kind": "evidence",
-    "title": "Synthetic notification API brief",
-    "summary": "A public-safe synthetic brief for a team notification API.",
-    "readiness": "accepted",
-    "evidence": [],
-    "profile": "software_specification"
-  },
-  {
-    "id": "package.team_notification_api",
-    "kind": "package",
-    "title": "Team Notification API",
-    "summary": "A small synthetic API package for sending team notifications.",
-    "readiness": "review_ready",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "requirement.notify_after_event",
-    "kind": "requirement",
-    "title": "Notify after event",
-    "summary": "The system must send a notification after an approved event is recorded.",
-    "readiness": "review_ready",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "feature.webhook_delivery",
-    "kind": "feature",
-    "title": "Webhook delivery",
-    "summary": "Deliver notifications to a configured webhook endpoint.",
-    "readiness": "review_ready",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "feature.retry_policy",
-    "kind": "feature",
-    "title": "Retry policy",
-    "summary": "Retry failed webhook deliveries with a bounded retry policy.",
-    "readiness": "review_ready",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "component.delivery_worker",
-    "kind": "component",
-    "title": "Delivery worker",
-    "summary": "Background worker responsible for webhook delivery attempts.",
-    "readiness": "draft",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "constraint.no_secret_logging",
-    "kind": "constraint",
-    "title": "No secret logging",
-    "summary": "Webhook credentials and request secrets must not be logged.",
-    "readiness": "accepted",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "risk.duplicate_delivery",
-    "kind": "risk",
-    "title": "Duplicate delivery",
-    "summary": "Retries may deliver the same notification more than once.",
-    "readiness": "review_ready",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "risk.credential_leak",
-    "kind": "risk",
-    "title": "Credential leak",
-    "summary": "Webhook credentials may leak through logs or error messages.",
-    "readiness": "review_ready",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "decision.idempotency_key_required",
-    "kind": "decision",
-    "title": "Idempotency key required",
-    "summary": "Delivery requests should include an idempotency key to reduce duplicate side effects.",
-    "readiness": "draft",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "task.implement_retry_policy",
-    "kind": "task",
-    "title": "Implement retry policy",
-    "summary": "Implement bounded retries in the delivery worker.",
-    "readiness": "review_ready",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  }
-]

package/pilots/independent-implementation-002-software-specification/graph/relations.json

@@ -1,92 +0,0 @@
-[
-  {
-    "id": "relation.package.team_notification_api.implements.requirement.notify_after_event",
-    "type": "implements",
-    "source": "package.team_notification_api",
-    "target": "requirement.notify_after_event",
-    "readiness": "review_ready",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "relation.feature.webhook_delivery.implements.requirement.notify_after_event",
-    "type": "implements",
-    "source": "feature.webhook_delivery",
-    "target": "requirement.notify_after_event",
-    "readiness": "review_ready",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "relation.feature.retry_policy.depends_on.feature.webhook_delivery",
-    "type": "depends_on",
-    "source": "feature.retry_policy",
-    "target": "feature.webhook_delivery",
-    "readiness": "review_ready",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "relation.component.delivery_worker.implements.feature.retry_policy",
-    "type": "implements",
-    "source": "component.delivery_worker",
-    "target": "feature.retry_policy",
-    "readiness": "draft",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "relation.constraint.no_secret_logging.blocks.risk.credential_leak",
-    "type": "blocks",
-    "source": "constraint.no_secret_logging",
-    "target": "risk.credential_leak",
-    "readiness": "review_ready",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "relation.feature.retry_policy.related_to.risk.duplicate_delivery",
-    "type": "related_to",
-    "source": "feature.retry_policy",
-    "target": "risk.duplicate_delivery",
-    "readiness": "review_ready",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "relation.decision.idempotency_key_required.blocks.risk.duplicate_delivery",
-    "type": "blocks",
-    "source": "decision.idempotency_key_required",
-    "target": "risk.duplicate_delivery",
-    "readiness": "draft",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "relation.task.implement_retry_policy.implements.feature.retry_policy",
-    "type": "implements",
-    "source": "task.implement_retry_policy",
-    "target": "feature.retry_policy",
-    "readiness": "review_ready",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "relation.task.implement_retry_policy.depends_on.requirement.notify_after_event",
-    "type": "depends_on",
-    "source": "task.implement_retry_policy",
-    "target": "requirement.notify_after_event",
-    "readiness": "review_ready",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  },
-  {
-    "id": "relation.task.implement_retry_policy.depends_on.decision.idempotency_key_required",
-    "type": "depends_on",
-    "source": "task.implement_retry_policy",
-    "target": "decision.idempotency_key_required",
-    "readiness": "draft",
-    "evidence": ["source.notification_api_brief"],
-    "profile": "software_specification"
-  }
-]

package/pilots/independent-implementation-002-software-specification/graph-seed.json

@@ -1,72 +0,0 @@
-{
-  "schema_version": "0.1.0",
-  "seed_id": "seed.notification_api_spec",
-  "target_graph_id": "graph.notification_api_spec",
-  "purpose": "Create a Mirai Graph package for a small software specification workflow.",
-  "target_profile": "profile.software_specification",
-  "target_mode": "pilot",
-  "graph_dna": {
-    "purpose": "Keep package scope, features, requirements, constraints, risks and implementation tasks connected.",
-    "evolution_vector": "Grow from a small API specification map into a reviewed software delivery graph.",
-    "non_negotiable_principles": [
-      "The package must remain synthetic and public-safe.",
-      "Implementation tasks must remain traceable to requirements and constraints.",
-      "Public release claims require explicit public-safety review."
-    ]
-  },
-  "source_boundaries": {
-    "allowed_sources": [
-      "synthetic notification API brief",
-      "synthetic engineering notes"
-    ],
-    "excluded_sources": [
-      "real customer requirements",
-      "private repository issues",
-      "production incident logs",
-      "secrets or credentials"
-    ],
-    "canonical_write_allowed": false
-  },
-  "growth_rules": {
-    "allowed_object_families": [
-      "package",
-      "feature",
-      "requirement",
-      "constraint",
-      "risk",
-      "component",
-      "task",
-      "decision",
-      "evidence"
-    ],
-    "allowed_relation_families": [
-      "implements",
-      "depends_on",
-      "blocks",
-      "evidences",
-      "generates",
-      "related_to",
-      "supersedes"
-    ],
-    "max_initial_objects": 14,
-    "depth_mode": "light"
-  },
-  "review_gates": [
-    "human_review_before_canonical_write",
-    "public_safety_before_release",
-    "requirement_traceability_before_implementation"
-  ],
-  "generated_views": [
-    "seed_summary",
-    "candidate_object_list",
-    "traceability_view",
-    "risk_view",
-    "next_action_view"
-  ],
-  "stop_conditions": [
-    "real_customer_data_requested",
-    "implementation_requested_without_requirement_traceability",
-    "secret_or_credential_detected",
-    "candidate_count_exceeds_budget"
-  ]
-}

package/pilots/independent-implementation-002-software-specification/graph.json

@@ -1,37 +0,0 @@
-{
-  "$schema": "https://mirai-graph.dev/schemas/graph-manifest.schema.json",
-  "format": "mirai-graph",
-  "schema_version": "2.0.0",
-  "id": "package.notification_api_spec_pilot_002",
-  "aliases": [],
-  "title": "Notification API Specification Pilot 002",
-  "scope": "package",
-  "kind": "graph_package",
-  "owner": "mirai-graph",
-  "profiles": [
-    "software_specification"
-  ],
-  "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": "A synthetic independent implementation pilot for a small software specification workflow.",
-  "license": "CC-BY-4.0",
-  "public_safety": "synthetic_public"
-}

package/pilots/independent-implementation-002-software-specification/reports/pilot-report.md

@@ -1,142 +0,0 @@
-# Pilot Report: Independent Implementation 002
-
-Date: 2026-05-28
-
-Status: `pass_with_notes`
-
-## Purpose
-
-Test whether a valid Mirai Graph Level 1 package can be created for a small
-software specification workflow using only the public repository materials.
-
-## Domain
-
-Synthetic team notification API workflow.
-
-No private company, customer, employee, repository issue or production material
-was used.
-
-## Research Question
-
-Can a developer create a valid Level 1 Mirai Graph package for a small software
-specification using only public Mirai Graph docs, schemas and examples?
-
-## Result
-
-Verdict: `pass_with_notes`
-
-The pilot produced:
-
-- valid graph seed;
-- valid Mirai Graph package;
-- valid object and relation files;
-- public-safety gate result;
-- requirement-traceability gate result;
-- generated graph embryo preview;
-- generated context pack;
-- readiness score.
-
-## Evidence
-
-Validation artifacts:
-
-- `results/seed-validation.json`
-- `results/package-validation.json`
-- `results/graph-embryo.json`
-- `results/context-pack.json`
-- `results/readiness-score.json`
-- `reviews/semantic-completeness-review.json`
-
-Package summary:
-
-- objects: `11`;
-- relations: `10`;
-- evidence objects: `1`;
-- accepted objects: `2`;
-- gate results: `2`;
-- target mode: `pilot`;
-- readiness score: `69`;
-- readiness band: `G3_pilot_ready`.
-- semantic completeness verdict: `pass_with_notes`;
-- semantic completeness score: `15/16`.
-
-## What Worked
-
-- The software-specification profile was sufficient for a small package,
-  requirement, feature, component, risk, decision and implementation-task map.
-- The package validator caught structural risks while the graph was drafted.
-- The context-pack generator produced a task-bounded package for
-  `task.implement_retry_policy`.
-- A direct task-to-requirement relation improved traceability and made the
-  generated task context more useful.
-- Semantic review made safety-context omissions explicit.
-- Context-pack selection explanations now show relevance scores and inclusion
-  reasons for selected objects and relations.
-- Readiness scoring correctly capped the result because evidence is synthetic
-  and benchmark evidence is missing for this pilot.
-
-## Gaps Found
-
-### Standard Gap
-
-The software-specification profile is still thin. It validates the basic
-object families but does not yet explain:
-
-- acceptance criteria modeling;
-- API contract or endpoint modeling;
-- non-functional requirements;
-- task-to-requirement traceability expectations;
-- security constraint coverage;
-- test-case and verification-result objects.
-
-### Tooling Gap
-
-The context-pack generator selected a useful task context after explicit
-traceability was added. It still does not:
-
-- explain why each object or relation was selected;
-- score relevance;
-- detect that a task lacks direct requirement traceability;
-- identify omitted safety constraints that may still be important.
-
-### Research Gap
-
-The pilot proves package creation and validation for a synthetic software
-specification. It does not measure:
-
-- implementation speed;
-- defect reduction;
-- reviewer comprehension;
-- downstream AI answer quality;
-- real software delivery outcomes.
-
-### Documentation Gap
-
-The software-specification profile needs a public profile guide with worked
-examples for requirements, features, components, tasks, risks, constraints,
-acceptance criteria and verification artifacts.
-
-## Interpretation
-
-This pilot supports a limited claim:
-
-```text
-A valid Mirai Graph Level 1 package can be created from public repository
-materials for a small synthetic software specification.
-```
-
-It does not support claims about:
-
-- real-world software productivity;
-- semantic completeness;
-- external validity;
-- runtime safety;
-- universal applicability.
-
-## Recommended Next Actions
-
-1. Add software-specification profile documentation.
-2. Add profile conformance fixtures for required traceability patterns.
-3. Add context-pack selection explanations and relevance scores.
-4. Add acceptance-criteria and verification-result modeling examples.
-5. Add a policy for when safety constraints must be included in task context.

package/pilots/independent-implementation-002-software-specification/results/context-pack.json

@@ -1,184 +0,0 @@
-{
-  "id": "context_pack.task_implement_retry_policy",
-  "task_id": "task.implement_retry_policy",
-  "source_graph": "package.notification_api_spec_pilot_002",
-  "generated_at": "2026-05-28T19:46:09.425Z",
-  "included_objects": [
-    "source.notification_api_brief",
-    "requirement.notify_after_event",
-    "feature.webhook_delivery",
-    "feature.retry_policy",
-    "component.delivery_worker",
-    "constraint.no_secret_logging",
-    "risk.duplicate_delivery",
-    "risk.credential_leak",
-    "decision.idempotency_key_required",
-    "task.implement_retry_policy"
-  ],
-  "included_relations": [
-    "relation.feature.webhook_delivery.implements.requirement.notify_after_event",
-    "relation.feature.retry_policy.depends_on.feature.webhook_delivery",
-    "relation.component.delivery_worker.implements.feature.retry_policy",
-    "relation.constraint.no_secret_logging.blocks.risk.credential_leak",
-    "relation.feature.retry_policy.related_to.risk.duplicate_delivery",
-    "relation.decision.idempotency_key_required.blocks.risk.duplicate_delivery",
-    "relation.task.implement_retry_policy.implements.feature.retry_policy",
-    "relation.task.implement_retry_policy.depends_on.requirement.notify_after_event",
-    "relation.task.implement_retry_policy.depends_on.decision.idempotency_key_required"
-  ],
-  "evidence": [
-    "source.notification_api_brief"
-  ],
-  "selection": {
-    "method": "token_matching_one_hop_relation_expansion_safety_shared_evidence",
-    "task_tokens": [
-      "task",
-      "implement",
-      "retry",
-      "policy"
-    ],
-    "object_explanations": [
-      {
-        "id": "source.notification_api_brief",
-        "relevance_score": -1,
-        "reasons": [
-          "evidence referenced by selected object"
-        ]
-      },
-      {
-        "id": "requirement.notify_after_event",
-        "relevance_score": 0,
-        "reasons": [
-          "one-hop relation expansion from relation.task.implement_retry_policy.depends_on.requirement.notify_after_event"
-        ]
-      },
-      {
-        "id": "feature.webhook_delivery",
-        "relevance_score": 0,
-        "reasons": [
-          "one-hop relation expansion from relation.feature.retry_policy.depends_on.feature.webhook_delivery"
-        ]
-      },
-      {
-        "id": "feature.retry_policy",
-        "relevance_score": 6,
-        "reasons": [
-          "exact token match: retry",
-          "exact token match: policy"
-        ]
-      },
-      {
-        "id": "component.delivery_worker",
-        "relevance_score": 0,
-        "reasons": [
-          "one-hop relation expansion from relation.component.delivery_worker.implements.feature.retry_policy"
-        ]
-      },
-      {
-        "id": "constraint.no_secret_logging",
-        "relevance_score": 0,
-        "reasons": [
-          "safety-sensitive object with shared evidence"
-        ]
-      },
-      {
-        "id": "risk.duplicate_delivery",
-        "relevance_score": 0,
-        "reasons": [
-          "one-hop relation expansion from relation.feature.retry_policy.related_to.risk.duplicate_delivery"
-        ]
-      },
-      {
-        "id": "risk.credential_leak",
-        "relevance_score": 0,
-        "reasons": [
-          "safety-sensitive object with shared evidence"
-        ]
-      },
-      {
-        "id": "decision.idempotency_key_required",
-        "relevance_score": 0,
-        "reasons": [
-          "one-hop relation expansion from relation.task.implement_retry_policy.depends_on.decision.idempotency_key_required"
-        ]
-      },
-      {
-        "id": "task.implement_retry_policy",
-        "relevance_score": 12,
-        "reasons": [
-          "exact token match: task",
-          "exact token match: implement",
-          "exact token match: retry",
-          "exact token match: policy"
-        ]
-      }
-    ],
-    "relation_explanations": [
-      {
-        "id": "relation.feature.webhook_delivery.implements.requirement.notify_after_event",
-        "reason": "connects selected objects after safety/evidence expansion",
-        "source": "feature.webhook_delivery",
-        "target": "requirement.notify_after_event"
-      },
-      {
-        "id": "relation.feature.retry_policy.depends_on.feature.webhook_delivery",
-        "reason": "one-hop relation expansion from direct object match",
-        "source": "feature.retry_policy",
-        "target": "feature.webhook_delivery"
-      },
-      {
-        "id": "relation.component.delivery_worker.implements.feature.retry_policy",
-        "reason": "one-hop relation expansion from direct object match",
-        "source": "component.delivery_worker",
-        "target": "feature.retry_policy"
-      },
-      {
-        "id": "relation.constraint.no_secret_logging.blocks.risk.credential_leak",
-        "reason": "connects selected objects after safety/evidence expansion",
-        "source": "constraint.no_secret_logging",
-        "target": "risk.credential_leak"
-      },
-      {
-        "id": "relation.feature.retry_policy.related_to.risk.duplicate_delivery",
-        "reason": "one-hop relation expansion from direct object match",
-        "source": "feature.retry_policy",
-        "target": "risk.duplicate_delivery"
-      },
-      {
-        "id": "relation.decision.idempotency_key_required.blocks.risk.duplicate_delivery",
-        "reason": "connects selected objects after safety/evidence expansion",
-        "source": "decision.idempotency_key_required",
-        "target": "risk.duplicate_delivery"
-      },
-      {
-        "id": "relation.task.implement_retry_policy.implements.feature.retry_policy",
-        "reason": "one-hop relation expansion from direct object match",
-        "source": "task.implement_retry_policy",
-        "target": "feature.retry_policy"
-      },
-      {
-        "id": "relation.task.implement_retry_policy.depends_on.requirement.notify_after_event",
-        "reason": "one-hop relation expansion from direct object match",
-        "source": "task.implement_retry_policy",
-        "target": "requirement.notify_after_event"
-      },
-      {
-        "id": "relation.task.implement_retry_policy.depends_on.decision.idempotency_key_required",
-        "reason": "one-hop relation expansion from direct object match",
-        "source": "task.implement_retry_policy",
-        "target": "decision.idempotency_key_required"
-      }
-    ]
-  },
-  "assumptions": [
-    "Alpha generator uses token matching plus one-hop relation expansion.",
-    "Safety-sensitive constraints and risks with shared evidence are included."
-  ],
-  "omissions": [
-    "package.team_notification_api"
-  ],
-  "limitations": [
-    "Generated context pack is not canonical state.",
-    "This alpha generator does not prove semantic completeness."
-  ]
-}