Skip to content

Fix append capability publication proof - #173

Merged
KimGLee merged 1 commit into
mainfrom
feat/append-capability-publication-proof
Aug 26, 2026
Merged

Fix append capability publication proof#173
KimGLee merged 1 commit into
mainfrom
feat/append-capability-publication-proof

Conversation

@KimGLee

@KimGLee KimGLee commented Aug 26, 2026

Copy link
Copy Markdown
Owner

Fixes #172

What changed

  • Treat an admitted missing append target as an initial fact rather than a permanent publication result.
  • Advance the exact capability to the object selected by first publication, without sharing state across append and transaction capabilities that happen to use the same path spelling.
  • Bind final receipt observation to both the retained object and the unique final name.
  • Propagate advanced capability descriptors and the corresponding manifest state through run_cambium_subprocess.
  • Update the shared-library and path-capability contracts and regenerate the module-boundary manifest.

Why

Publication proof must follow the authority state produced by the current operation. Keeping only the admission-time state makes first creation and nested execution disagree with later observation. The shared capability layer is the correct owner; individual receipt-producing tools should not each patch the outcome independently.

Implementation-sensitive reproduction and timing details are intentionally omitted from this public PR.

Verification

  • 7 focused first-publication, drift, partial-write, isolation, and nested-process controls passed.
  • Tools.tests.test_mcp_server: 107 passed.
  • Shared runtime/Queue/sealing/metadata/Gate-runner selection: 314 passed.
  • Module boundaries: 17 passed.
  • Clean Git snapshot full suite: 1895 passed, 1 skipped.
  • make check: passed.
  • git diff --check: passed.

@KimGLee KimGLee added bug Something isn't working agent-interface Host-neutral agent interface: contract, projection, MCP server, per-host configs labels Aug 26, 2026
@KimGLee
KimGLee merged commit 7dc4681 into main Aug 26, 2026
12 checks passed
@KimGLee
KimGLee deleted the feat/append-capability-publication-proof branch August 26, 2026 07:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

agent-interface Host-neutral agent interface: contract, projection, MCP server, per-host configs bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Make append publication proof consistent across capability transitions

1 participant