mirai-graph 1.0.0 → 1.1.0

package/packages/project-technology/index.js

@@ -13,6 +13,7 @@ const {
   readJson,
   validateManifest,
 } = require("../cli/graph-manifest");
+const traversal = require("./context-traversal");
 
 const CONTRACT_VERSION = "1.0.0";
 const EXTENSION_KEY = "mirai.project_technology";
@@ -412,48 +413,26 @@ function inventory(repo) {
   return payload;
 }
 
-function loadObjects(repo, manifest) {
-  const objects = [];
-  for (const file of specObjectFiles(repo, manifest)) {
-    try {
-      const item = readJson(file);
-      const lifecycle = String(item.lifecycle || item.status || "").toLowerCase();
-      if (!["archived", "superseded", "deprecated", "retired", "completed"].includes(lifecycle)) objects.push(item);
-    } catch (_) { /* unavailable sources are omitted and reported through empty result */ }
-  }
-  return objects;
-}
-
 function context(repoArg, options = {}) {
-  const repo = normalizeRepo(repoArg);
-  const manifestState = readManifest(repo);
-  const ext = extensionState(manifestState.manifest);
-  const task = String(options.task || "").trim();
-  const tokens = new Set(task.toLowerCase().split(/[^a-zа-я0-9_]+/i).filter((item) => item.length > 2));
-  const ranked = loadObjects(repo, manifestState.manifest).map((object) => {
-    const text = [object.id, object.kind, object.subtype, object.title, object.summary, ...(object.tags || [])].join(" ").toLowerCase();
-    const objectTokens = new Set(text.split(/[^a-zа-я0-9_]+/i).filter((item) => item.length > 2));
-    const overlap = [...tokens].filter((token) => objectTokens.has(token)).length;
-    const baseline = ["skill_core", "skill_policy", "quality_gate"].includes(object.subtype) ? 0.15 : 0;
-    return {
-      object_id: object.id,
-      score: Math.min(1, baseline + overlap * 0.18),
-      title: object.title || null,
-      summary: object.summary || null,
-      source_refs: Array.isArray(object.source_refs) ? object.source_refs.filter((ref) => typeof ref === "string" && !path.isAbsolute(ref)) : [],
-    };
-  }).filter((item) => item.score > 0).sort((a, b) => b.score - a.score || String(a.object_id).localeCompare(String(b.object_id))).slice(0, Number(options.maxObjects || 12));
-  const blockers = [...manifestState.blockers, ...ext.blockers];
-  if (!ext.contract || ext.legacy || ext.contract.enabled !== true) blockers.push("project_technology_not_enabled");
-  if (ranked.length === 0) blockers.push("no_verifiable_runtime_objects");
-  return result("context", "read_only", blockers.length ? "blocked" : "success", {
-    repository_id: manifestState.manifest?.id || path.basename(repo),
-    task,
-    included_objects: ranked,
+  if (options.phase === "expand") return traversal.expandContext(repoArg, options.traversalReceipt, options.selectedIds, options);
+  if (options.phase === "compile") return traversal.compileContext(repoArg, options.traversalReceipt, options.selection, options);
+  if (options.phase === "verify") return traversal.verifyContext(repoArg, options.contextPack, options.usageEvidence, options);
+  if (options.phase === "discover") return traversal.discoverContext(repoArg, options.task, options);
+  const discovered = traversal.discoverContext(repoArg, options.task, options);
+  const nodes = new Map((discovered.traversal_receipt?.nodes || []).map((node) => [node.id, node]));
+  return {
+    ...discovered,
+    operation_id: "mirai.project_technology.context",
+    task: discovered.traversal_receipt?.task?.text || "",
+    included_objects: (discovered.traversal_receipt?.candidates || []).map((candidate) => ({
+      object_id: candidate.id,
+      score: candidate.score,
+      title: nodes.get(candidate.id)?.title || null,
+      summary: nodes.get(candidate.id)?.summary || null,
+      source_refs: (nodes.get(candidate.id)?.source_refs || []).map((source) => source.ref),
+    })),
     runtime_contract: { graph_first_scope: "routing/capability/policy orientation", raw_source_authoritative: true, canonical_write_allowed: false },
-    blockers: [...new Set(blockers)].sort(),
-    next_action: blockers.length ? "repair graph coverage or load the declared raw source" : "load selected raw source references",
-  });
+  };
 }
 
 function targetBindingStatus(repo) {
@@ -721,11 +700,14 @@ module.exports = {
   bindingValues,
   canonicalBytes,
   connect,
+  compileContext: traversal.compileContext,
   context,
+  discoverContext: traversal.discoverContext,
   disable,
   disconnect,
   enable,
   execute,
+  expandContext: traversal.expandContext,
   explain,
   extensionContract,
   inventory,
@@ -739,4 +721,5 @@ module.exports = {
   sync,
   targetBindingStatus,
   verify,
+  verifyContext: traversal.verifyContext,
 };

package/releases/1.1.0.md

@@ -0,0 +1,36 @@
+# Mirai Graph 1.1.0
+
+Mirai Graph 1.1.0 adds universal, sequential context traversal to the existing
+Project Technology mechanism.
+
+## What changed
+
+- A caller can discover top-level candidates, expand selected branches to any
+  depth, compile the mandatory closure and verify actual use.
+- The same protocol is available through the CLI and JavaScript API.
+- Required processes, constraints and validators are included independently of
+  a model's selection.
+- Context packs are deterministic, revision-bound and safe to transfer without
+  copying private source content.
+
+## What was validated
+
+- Software, research, organization, platform, skill-like and
+  multi-repository fixtures.
+- Sequential and batched expansion equivalence.
+- Fail-closed behavior for incomplete, stale, blocked, deprecated, conflicting,
+  cyclic, tampered and over-budget context.
+- Zero-write read-only behavior and compatibility with the existing Project
+  Technology provider/consumer contract.
+- A dedicated traversal job on macOS, Linux and Windows.
+
+## Compatibility
+
+`graph.json` remains schema `2.0.0`; the Project Technology activation contract
+remains `1.0.0`; existing graphs do not require migration.
+
+## Claim boundary
+
+The release proves deterministic contract behavior on the maintained fixtures.
+It does not claim that automatic ranking alone understands every domain or that
+a generated context pack authorizes changes.

package/releases/README.md

@@ -15,6 +15,8 @@ Release notes must separate:
 
 ## Release Notes
 
+- [v1.1.0](1.1.0.md) - universal sequential context traversal and usage
+  verification in Project Technology.
 - [v1.0.0](1.0.0.md) - stable Project Technology, CLI and public contract.
 - [v1.0.0-rc.6](1.0.0-rc.6.md) - anti-drift / quality-control release
   consolidation across Semantic Intent, Dynamic Episode, Goal Vector and

package/schemas/context-pack.schema.json

@@ -130,8 +130,61 @@
     "limitations": {
       "type": "array",
       "items": {
-        "type": "string"
+        "type": ["string", "object"]
+      }
+    },
+    "task_digest": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
+    },
+    "graph_digest": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
+    },
+    "graph_revision": {
+      "type": ["string", "null"]
+    },
+    "selected_paths": {
+      "type": "array",
+      "items": { "type": "object" }
+    },
+    "rejected_paths": {
+      "type": "array",
+      "items": { "type": "object" }
+    },
+    "visited_nodes": {
+      "type": "array",
+      "items": { "type": "string" },
+      "uniqueItems": true
+    },
+    "stop_reasons": {
+      "type": "array",
+      "items": { "type": "object" }
+    },
+    "required_closure": {
+      "type": "object",
+      "required": ["object_ids", "relation_ids"],
+      "properties": {
+        "object_ids": { "type": "array", "items": { "type": "string" }, "uniqueItems": true },
+        "relation_ids": { "type": "array", "items": { "type": "string" }, "uniqueItems": true }
       }
+    },
+    "terminal_sources": {
+      "type": "array",
+      "items": { "type": "object" }
+    },
+    "completeness": {
+      "type": "object",
+      "required": ["status", "unresolved_required_ids", "unresolved_branch_ids"],
+      "properties": {
+        "status": { "enum": ["needs_more_discovery", "needs_decision", "blocked", "ready"] },
+        "unresolved_required_ids": { "type": "array", "items": { "type": "string" }, "uniqueItems": true },
+        "unresolved_branch_ids": { "type": "array", "items": { "type": "string" }, "uniqueItems": true }
+      }
+    },
+    "context_pack_digest": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
     }
   }
 }

package/schemas/context-traversal-receipt.schema.json

@@ -0,0 +1,64 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://mirai-graph.dev/schemas/context-traversal-receipt.schema.json",
+  "title": "Mirai Graph Context Traversal Receipt",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "contract",
+    "contract_version",
+    "repository_id",
+    "task",
+    "graph",
+    "visited_ids",
+    "expanded_ids",
+    "frontier_ids",
+    "candidates",
+    "nodes",
+    "relations",
+    "selection_history",
+    "blockers",
+    "warnings",
+    "traversal_digest"
+  ],
+  "properties": {
+    "contract": { "const": "context-traversal-receipt" },
+    "contract_version": { "const": "1.0.0" },
+    "repository_id": { "type": "string", "minLength": 1 },
+    "task": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["text", "digest"],
+      "properties": {
+        "text": { "type": "string" },
+        "digest": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" }
+      }
+    },
+    "graph": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["revision", "digest"],
+      "properties": {
+        "revision": { "type": ["string", "null"] },
+        "digest": { "type": ["string", "null"], "pattern": "^sha256:[0-9a-f]{64}$" }
+      }
+    },
+    "visited_ids": { "$ref": "#/$defs/ids" },
+    "expanded_ids": { "$ref": "#/$defs/ids" },
+    "frontier_ids": { "$ref": "#/$defs/ids" },
+    "candidates": { "type": "array", "items": { "type": "object" } },
+    "nodes": { "type": "array", "items": { "type": "object" } },
+    "relations": { "type": "array", "items": { "type": "object" } },
+    "selection_history": { "type": "array", "items": { "type": "object" } },
+    "blockers": { "$ref": "#/$defs/ids" },
+    "warnings": { "$ref": "#/$defs/ids" },
+    "traversal_digest": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" }
+  },
+  "$defs": {
+    "ids": {
+      "type": "array",
+      "items": { "type": "string", "minLength": 1 },
+      "uniqueItems": true
+    }
+  }
+}

package/standard/context-pack-generation.md

@@ -1,6 +1,6 @@
 # Mirai Graph Context-Pack Generation
 
-Status: 1.0 release-candidate standard section
+Status: 1.1 stable standard section
 
 ## Purpose
 
@@ -56,6 +56,29 @@ task -> select relevant objects -> select relevant relations
      -> generate context pack -> review/use for task
 ```
 
+Project Technology 1.1 implements this as a deterministic four-phase protocol:
+
+```text
+discover -> expand -> compile -> verify
+```
+
+The traversal receipt binds the task digest, graph digest and revision to the
+visited nodes. The client records selected and rejected nodes, reasons,
+confidence and selector type. Compilation then adds the mandatory dependency
+closure and returns one of `needs_more_discovery`, `needs_decision`, `blocked`
+or `ready`.
+
+`ready` requires a result owner, terminal sources with exact revision and
+SHA-256, all mandatory processes and validators, explicit reasons for omitted
+branches, no required dependency cycle and no access or readiness conflict.
+The context budget may remove optional material only; it must never remove the
+mandatory closure.
+
+The compiled pack adds selected and rejected paths, visited nodes, stop
+reasons, mandatory closure, terminal sources, processes, constraints,
+validators, completeness and `context_pack_digest`. These fields extend this
+single context-pack contract; there is no parallel pack format.
+
 ## Selection Rules
 
 A context pack should include:
@@ -89,6 +112,20 @@ Relation explanations should include:
 Scores are implementation signals. They help review the generated context, but
 they do not prove semantic completeness.
 
+## Usage Evidence
+
+Loading a source is not proof that it was used. For each significant rule,
+usage evidence connects:
+
+```text
+source -> applied rule -> decision -> changed or checked surface
+       -> validator -> outcome
+```
+
+Verification fails when the evidence belongs to another context pack, skips a
+mandatory source, process or validator, uses stale or tampered content, exposes
+private material or treats generated context as write authorization.
+
 ## Validation
 
 Context-pack validation should check both shape and graph references:

package/standard/object-model.md

@@ -1,6 +1,6 @@
 # Mirai Graph Object Model
 
-Status: 1.0 release-candidate standard section
+Status: 1.1 stable standard section
 
 ## Purpose
 
@@ -106,7 +106,16 @@ Initial core kinds:
 - `evidence`;
 - `context_pack`;
 - `governance_gate`;
-- `profile`.
+- `profile`;
+- `owner`, `role`;
+- `capability`, `process`;
+- `resource`, `source`;
+- `check`, `gate`, `constraint`;
+- `access_requirement`.
+
+The additional domain-neutral kinds support Project Technology traversal. A
+consumer may display them using its own vocabulary without changing their
+canonical meaning.
 
 ## Object Boundary Rules
 

package/standard/project-technology.md

@@ -1,6 +1,6 @@
 # Project Technology
 
-Status: 1.0 release-candidate extension contract
+Status: 1.1 stable standard; activation contract remains 1.0.0
 
 Project Technology is the shared executable mechanism of Mirai Graph. It is
 not a profile, a second graph or a source of domain methodology.
@@ -19,6 +19,37 @@ Each graph keeps its own objects and relations. Project Technology only
 standardizes safe inventory, task context, accepted-target binding, freshness
 and verification.
 
+## Sequential Context Traversal
+
+Project Technology exposes one model-independent navigation protocol:
+
+```text
+discover -> expand -> compile -> verify
+```
+
+- `discover` ranks a bounded set of top-level candidates for a task.
+- `expand` reveals the accepted children of one or more selected nodes.
+- `compile` validates the client's structured selection and adds the mandatory
+  closure over `requires`, `governed_by` and `validated_by`.
+- `verify` checks that the resulting sources and rules were connected to a
+  decision, a surface, a validator and an outcome.
+
+The caller may be a human, an AI model or a deterministic rule. Mirai Graph
+does not select or invoke a model. Sequential and batched expansion of the same
+nodes produces the same receipt digest.
+
+The universal relation vocabulary for traversal is:
+
+- structure: `contains`, `specializes`;
+- mandatory closure: `requires`, `governed_by`, `validated_by`;
+- sources: `documented_by`, `implemented_by`;
+- interaction: `hands_off_to`, `conflicts_with`.
+
+Consumer-specific names such as skills, companions or product commands are not
+part of this protocol. Consumers map their own domain vocabulary to ordinary
+owners, roles, capabilities, processes, resources, checks and access
+requirements.
+
 ## Public Contract
 
 The only manifest extension key is `mirai.project_technology`:
@@ -73,3 +104,8 @@ source still answers "how should the domain work be done?".
   changed.
 - A blocked repository still supports narrow `explain`, `status`, `plan` and
   diagnostic `verify` calls.
+- Context traversal is read-only in every phase and never grants write
+  authority.
+- A context pack is not ready while a required branch, source, access boundary
+  or validator is missing, stale, blocked, deprecated, conflicting or
+  digest-mismatched.

package/standard/relation-model.md

@@ -1,6 +1,6 @@
 # Mirai Graph Relation Model
 
-Status: 1.0 release-candidate standard section
+Status: 1.1 stable standard section
 
 ## Purpose
 
@@ -92,6 +92,16 @@ Initial core relation types:
 - `belongs_to`;
 - `related_to`.
 
+Project Technology context traversal also standardizes:
+
+- structure: `contains`, `specializes`;
+- mandatory closure: `requires`, `governed_by`, `validated_by`;
+- sources: `documented_by`, `implemented_by`;
+- interaction: `hands_off_to`, `conflicts_with`.
+
+These names are domain-neutral. A consumer may present them with its own user
+vocabulary, but canonical traversal uses the shared relation types.
+
 ## Relation Boundary Rules
 
 A relation should be created when the connection changes how the system is

package/standard/test-suite.md

@@ -1,6 +1,6 @@
 # Mirai Graph Test Suite
 
-Status: 1.0 release-candidate standard section
+Status: 1.1 stable standard section
 
 ## Purpose
 
@@ -32,6 +32,10 @@ Current checks:
 - score benchmark readiness;
 - run synthetic context-reduction calculation;
 - reject negative fixtures.
+- verify deterministic Project Technology context traversal across project,
+  research, organization, platform, skill-like and multi-repository scopes;
+- reject incomplete mandatory closure, stale nodes, conflicts, cycles,
+  tampered digests, secret-like evidence and context-budget shortcuts.
 
 ## Structural Validation