@atrib/trace 0.2.5 → 0.3.1

package/LICENSE

@@ -1,3 +1,4 @@
+
                                  Apache License
                            Version 2.0, January 2004
                         http://www.apache.org/licenses/
@@ -32,9 +33,10 @@
       not limited to compiled object code, generated documentation,
       and conversions to other media types.
 
-      "Work" shall mean the work of authorship made available under
-      the License, as indicated by a copyright notice that is included in
-      or attached to the work (an example is provided in the Appendix below).
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
 
       "Derivative Works" shall mean any work, whether in Source or Object
       form, that is based on (or derived from) the Work and for which the
@@ -44,21 +46,23 @@
       separable from, or merely link (or bind by name) to the interfaces of,
       the Work and Derivative Works thereof.
 
-      "Contribution" shall mean, as submitted to the Licensor for inclusion
-      in the Work by the copyright owner or by an individual or Legal Entity
-      authorized to submit on behalf of the copyright owner. For the purposes
-      of this definition, "submitted" means any form of electronic, verbal,
-      or written communication sent to the Licensor or its representatives,
-      including but not limited to communication on electronic mailing lists,
-      source code control systems, and issue tracking systems that are managed
-      by, or on behalf of, the Licensor for the purpose of discussing and
-      improving the Work, but excluding communication that is conspicuously
-      marked or otherwise designated in writing by the copyright owner as
-      "Not a Contribution."
-
-      "Contributor" shall mean Licensor and any Legal Entity on behalf of
-      whom a Contribution has been received by the Licensor and subsequently
-      incorporated within the Work.
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
 
    2. Grant of Copyright License. Subject to the terms and conditions of
       this License, each Contributor hereby grants to You a perpetual,
@@ -76,19 +80,20 @@
       by such Contributor that are necessarily infringed by their
       Contribution(s) alone or by combination of their Contribution(s)
       with the Work to which such Contribution(s) was submitted. If You
-      institute patent litigation against any entity (including a cross-claim
-      or counterclaim in a lawsuit) alleging that the Work or a Contribution
-      incorporated within the Work constitutes direct or contributory patent
-      infringement, then any patent licenses granted to You under this License
-      for that Work shall terminate as of the date such litigation is filed.
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
 
    4. Redistribution. You may reproduce and distribute copies of the
       Work or Derivative Works thereof in any medium, with or without
       modifications, and in Source or Object form, provided that You
       meet the following conditions:
 
-      (a) You must give any other recipients of the Work or Derivative Works
-          a copy of this License; and
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
 
       (b) You must cause any modified files to carry prominent notices
           stating that You changed the files; and
@@ -100,8 +105,10 @@
           the Derivative Works; and
 
       (d) If the Work includes a "NOTICE" text file as part of its
-          distribution, You must include a readable copy of the attribution
-          notices contained within such NOTICE file, in at least one
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
           of the following places: within a NOTICE text file distributed
           as part of the Derivative Works; within the Source form or
           documentation, if provided along with the Derivative Works; or,
@@ -114,9 +121,12 @@
           that such additional attribution notices cannot be construed
           as modifying the License.
 
-      You may add Your own license statement for Your modifications and
-      may provide additional grant of rights to use, modify, or distribute
-      those modifications in accordance with this License.
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
 
    5. Submission of Contributions. Unless You explicitly state otherwise,
       any Contribution intentionally submitted for inclusion in the Work
@@ -138,7 +148,7 @@
       implied, including, without limitation, any warranties or conditions
       of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
       PARTICULAR PURPOSE. You are solely responsible for determining the
-      appropriateness of using or reproducing the Work and assume any
+      appropriateness of using or redistributing the Work and assume any
       risks associated with Your exercise of permissions under this License.
 
    8. Limitation of Liability. In no event and under no legal theory,
@@ -146,12 +156,12 @@
       unless required by applicable law (such as deliberate and grossly
       negligent acts) or agreed to in writing, shall any Contributor be
       liable to You for damages, including any direct, indirect, special,
-      incidental, or exemplary damages of any character arising as a
+      incidental, or consequential damages of any character arising as a
       result of this License or out of the use or inability to use the
       Work (including but not limited to damages for loss of goodwill,
-      work stoppage, computer failure or malfunction, or all other
-      commercial damages or losses), even if such Contributor has been
-      advised of the possibility of such damages.
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
 
    9. Accepting Warranty or Additional Liability. While redistributing
       the Work or Derivative Works thereof, You may choose to offer,
@@ -172,8 +182,24 @@
       boilerplate notice, with the fields enclosed by brackets "[]"
       replaced with your own identifying information. (Don't include
       the brackets!)  The text should be enclosed in the appropriate
-      comment syntax for the file format in question. Also, an optional
-      "Statement of Purpose" appears after the copyright notice.
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.
 
    Copyright 2025-2026 Atrib contributors
 

package/README.md

@@ -1,6 +1,6 @@
 # @atrib/trace
 
-MCP server exposing the `trace` tool — walks a record's `informed_by` chain backward to surface the reasoning chain that led to it.
+MCP server exposing the `trace` tool, walks a record's `informed_by` chain backward to surface the reasoning chain that led to it.
 
 Closes the consumer-side cognitive-loop primitive: recall returns raw records; trace returns the causal chain, so an agent asking "why did I do X?" can see "X was informed by Y, which was informed by Z" without manually walking `informed_by` hash-by-hash.
 
@@ -37,7 +37,7 @@ Every `*.jsonl` mirror under `~/.atrib/records/` (override via `ATRIB_RECORDS_DI
 - Bare `AtribRecord` per line (legacy / wrapper convention pre-sidecar)
 - `{ record, _local?, written_at }` envelope (current shape)
 
-When the envelope carries an optional `_local` sidecar (per the local-mirror sidecar pattern shipped in `@atrib/mcp` v0.2.x), trace surfaces a compact `sidecar_summary` per record: `tool_name`, `topics`, first ~200 chars of `what`/`summary`, and `importance` for annotations. Without the sidecar (legacy entries), the per-record output still includes the cryptographic evidence (event_type, hashes, creator_key, timestamp) — just without the semantic context.
+When the envelope carries an optional `_local` sidecar (per the local-mirror sidecar pattern shipped in `@atrib/mcp` v0.2.x), trace surfaces a compact `sidecar_summary` per record: `tool_name`, `topics`, first ~200 chars of `what`/`summary`, and `importance` for annotations. Without the sidecar (legacy entries), the per-record output still includes the cryptographic evidence (event_type, hashes, creator_key, timestamp), just without the semantic context.
 
 ## Behaviors
 

package/dist/index.d.ts

@@ -7,7 +7,7 @@
  * I do X?" can see "X was informed by Y, which was informed by Z" without
  * manually walking informed_by hash-by-hash.
  *
- * Reads only the local mirror (~/.atrib/records/*.jsonl) for v1 — same scope
+ * Reads only the local mirror (~/.atrib/records/*.jsonl) for v1, same scope
  * as recall. v2 will fall back to log.atrib.dev/v1/lookup/<hash> for hashes
  * not in the local mirror. Forward-walk (records that reference THIS one)
  * is also a v2 concern; v1 is backward-only.

package/dist/index.js

@@ -8,7 +8,7 @@
  * I do X?" can see "X was informed by Y, which was informed by Z" without
  * manually walking informed_by hash-by-hash.
  *
- * Reads only the local mirror (~/.atrib/records/*.jsonl) for v1 — same scope
+ * Reads only the local mirror (~/.atrib/records/*.jsonl) for v1, same scope
  * as recall. v2 will fall back to log.atrib.dev/v1/lookup/<hash> for hashes
  * not in the local mirror. Forward-walk (records that reference THIS one)
  * is also a v2 concern; v1 is backward-only.
@@ -18,9 +18,15 @@ import { z } from 'zod';
 import { loadAllRecords } from './storage.js';
 import { traceBackward } from './trace.js';
 const SHA256_REF_PATTERN = /^sha256:[0-9a-f]{64}$/;
+const HEX_32_PATTERN = /^[0-9a-f]{32}$/;
 const TraceInput = z.object({
     record_hash: z.string().regex(SHA256_REF_PATTERN).describe("The 'sha256:<64-hex>' record_hash to start from. Walks backward via " +
         'informed_by edges from this record.'),
+    context_id: z.string().regex(HEX_32_PATTERN).optional().describe('Optional 32-hex context_id scope. When set, edges crossing into a ' +
+        'different context_id surface as dangling rather than expanding the ' +
+        'walk. Defaults to process.env.ATRIB_CONTEXT_ID when valid; omit at ' +
+        'the env-var level to walk cross-context. Used by Inspect-style ' +
+        'harnesses to keep each arm\'s trace inside its own context per D072.'),
     depth: z.number().int().min(1).max(10).optional().describe('Maximum hop count from the starting record. Defaults to 3. Bounded ' +
         'at 10 to keep responses tractable; deeper chains should be walked ' +
         'in pieces by re-rooting at a returned upstream hash.'),
@@ -91,8 +97,19 @@ export async function createAtribTraceServer() {
         const depth = args.depth ?? 3;
         const maxNodes = args.max_nodes ?? 200;
         const compact = args.compact ?? true;
+        // ATRIB_CONTEXT_ID env-var default: when the caller omitted
+        // context_id, fall back to the env var if it carries a valid
+        // 32-hex value. Lets Inspect-style harnesses scope the trace walk
+        // to a per-arm context_id via the MCP env block (per D072's
+        // per-arm isolation contract). Explicit args.context_id always wins.
+        const envContextId = process.env['ATRIB_CONTEXT_ID'];
+        const contextId = args.context_id ??
+            (envContextId && HEX_32_PATTERN.test(envContextId) ? envContextId : undefined);
         const { byHash } = loadAllRecords();
-        const result = traceBackward(args.record_hash, depth, byHash, { maxNodes });
+        const result = traceBackward(args.record_hash, depth, byHash, {
+            maxNodes,
+            ...(contextId ? { contextId } : {}),
+        });
         const danglingSet = new Set(result.dangling);
         const payload = compact
             ? {

package/dist/storage.d.ts

@@ -15,7 +15,7 @@ export interface IndexedRecord {
     local?: SidecarPayload;
 }
 /**
- * Combined sidecar shape — superset of every producer's local payload
+ * Combined sidecar shape, superset of every producer's local payload
  * (mcp-wrap writes toolName/args/result; atrib-emit writes content).
  */
 export interface SidecarPayload extends OnRecordSidecar {

package/dist/storage.js

@@ -60,7 +60,7 @@ export function loadAllRecords(dir = RECORDS_DIR) {
                         source: fname,
                     };
                     // Lift the `_local` sidecar onto the indexed record when present.
-                    // Legacy bare-record entries have no sidecar; that's OK — consumers
+                    // Legacy bare-record entries have no sidecar; that's OK, consumers
                     // tolerate its absence.
                     if (isEnvelope) {
                         const sidecar = parsed._local;

package/dist/trace.d.ts

@@ -6,12 +6,12 @@
  * unresolved hashes remain, or (c) safety cap on total visited nodes hit.
  *
  * Each visited record is annotated with:
- *   - depth        — hop count from the starting record (0 = the start)
- *   - parent_hashes — which records in the previous level referenced this one
+ *   - depth       , hop count from the starting record (0 = the start)
+ *   - parent_hashes, which records in the previous level referenced this one
  *
  * Records referenced via informed_by but NOT present in the local mirror
  * are surfaced as `dangling` entries: the verifier hasn't seen the upstream
- * locally. This is informational, not a failure — the upstream may live on
+ * locally. This is informational, not a failure, the upstream may live on
  * the public log but not in the agent's local mirror.
  *
  * Forward-walk (records that reference THIS record via informed_by) is
@@ -47,6 +47,14 @@ export interface TraceResult {
 export interface TraceOptions {
     /** Hard cap on total visited nodes regardless of depth. Defaults to 200. */
     maxNodes?: number;
+    /**
+     * When set, scope the walk to records that share this context_id. Edges
+     * crossing into a different context_id are treated as dangling: the
+     * upstream is real but lies outside the requested scope. Used by
+     * Inspect-style harnesses passing ATRIB_CONTEXT_ID to keep each arm's
+     * trace inside its own context.
+     */
+    contextId?: string;
 }
 /**
  * Walk informed_by edges backward from the starting record.

package/dist/trace.js

@@ -14,6 +14,7 @@
  */
 export function traceBackward(startHash, depth, index, options = {}) {
     const maxNodes = options.maxNodes ?? 200;
+    const contextId = options.contextId;
     const warnings = [];
     const visited = new Map();
     const dangling = new Set();
@@ -34,6 +35,25 @@ export function traceBackward(startHash, depth, index, options = {}) {
             warnings: [`start_hash ${startHash} not in local mirror`],
         };
     }
+    // context_id scope check: when the caller pinned a context_id, the start
+    // record itself must already live within it. Reject explicitly rather than
+    // silently returning an empty walk; the caller likely wants to know they
+    // pointed trace at the wrong record for the requested scope.
+    if (contextId && startIdx.record.context_id !== contextId) {
+        return {
+            start_hash: startHash,
+            direction: 'backward',
+            depth_requested: depth,
+            depth_reached: 0,
+            visited: [],
+            dangling: [],
+            truncated_by_depth: false,
+            truncated_by_cap: false,
+            warnings: [
+                `start_hash ${startHash} lives in context_id ${startIdx.record.context_id} but trace was scoped to ${contextId} (set ATRIB_CONTEXT_ID to override or omit context_id to walk cross-context)`,
+            ],
+        };
+    }
     const frontier = [{ hash: startHash, depth: 0, parent: null }];
     while (frontier.length > 0) {
         if (visited.size >= maxNodes) {
@@ -53,6 +73,16 @@ export function traceBackward(startHash, depth, index, options = {}) {
             // dangling reference, but we don't visit further.
             continue;
         }
+        // context_id scope filter: an upstream record that lives in a different
+        // context_id is treated as dangling from this walk's perspective. The
+        // record itself exists, but it sits outside the requested scope. This
+        // keeps per-arm trace results clean when ATRIB_CONTEXT_ID is set per
+        // D072 (cross-arm informed_by edges, if any leaked, do not pollute
+        // the walk).
+        if (contextId && idx.record.context_id !== contextId) {
+            dangling.add(current.hash);
+            continue;
+        }
         let v = visited.get(current.hash);
         if (!v) {
             const informedByEntries = Array.isArray(idx.record.informed_by)

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@atrib/trace",
-  "version": "0.2.5",
+  "version": "0.3.1",
   "description": "MCP server for atrib. Walks informed_by chains backward from a record_hash to surface the reasoning chain that produced it.",
   "license": "Apache-2.0",
   "type": "module",
@@ -11,13 +11,13 @@
   "dependencies": {
     "@modelcontextprotocol/sdk": "^1.29.0",
     "zod": "^3.25.76",
-    "@atrib/mcp": "0.6.2"
+    "@atrib/mcp": "0.7.0"
   },
   "devDependencies": {
-    "@types/node": "^22.19.17",
-    "tsx": "^4.21.0",
-    "typescript": "^5.9.3",
-    "vitest": "^3.2.4"
+    "@types/node": "^25.8.0",
+    "tsx": "^4.22.1",
+    "typescript": "^6.0.3",
+    "vitest": "^4.1.6"
   },
   "files": [
     "dist"
@@ -25,6 +25,11 @@
   "publishConfig": {
     "access": "public"
   },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/creatornader/atrib.git",
+    "directory": "services/atrib-trace"
+  },
   "scripts": {
     "build": "rm -rf dist && tsc",
     "start": "node dist/main.js",