Publish independent LangGraph proof plugin

[zrk222]

Purpose

Publish the Code Factory LangGraph proof plugin through the official Code Factory source-controlled marketplace.

Scope

• aligns Codex and Claude manifests and the proof-action starter to Code Factory 0.44.3
• keeps MCP/skill/action boundaries read-only and human-controlled
• documents the LangChain official-only upstream boundary without implying endorsement or a pending upstream review
• adds version-bound smoke and regression coverage

Verification

• plugin validator passed
• focused pytest suite: 22 passed
• SpecLine strict and drift audit passed (14/14)
• marketplace smoke passed

No attempt is made to submit this third-party plugin to langchain-ai/langchain-plugins, which accepts official LangChain skills and MCPs only.

[github-actions]

FactoryLine Proof Review

Commit: 5d9b7a36ec6966bda4d4c3fdcd583c39e8619293
Diff-to-Proof Review SHA-256: a686a5330cbb0c96db99a9fcaf448a121cf63dbf2b76f6518a0c9d02ff6c209c
Proof Review SHA-256: f05fa1af89a830912355b4fdcd50cc832454a96e383386fc834dd62fea62b84f

Changed-scope walkthrough

• Contracts — specs/langgraph-marketplace-plugin.md
• Docs — docs/LANGCHAIN_MARKETPLACE.md
• Other — context/PROGRESS.md, plans/langgraph-marketplace-plugin.md, plugins/code-factory-langgraph/README.md, plugins/code-factory-langgraph/skills/langgraph-proof/SKILL.md, skills/active_policy.json, smoke/langgraph-marketplace-plugin-v044-refresh.json, smoke/langgraph-marketplace-plugin.json
• Tests — tests/test_langchain_plugin.py

Fact-derived next action

• bind_changed_path_to_proof — This changed path has no explicit Graph Ops proof-input edge.

Findings

• blocking unmatched_changed_path — This changed path has no explicit Graph Ops proof-input edge.

Unproven claims

• No explicit proof-input edge is declared for context/PROGRESS.md.
• No explicit proof-input edge is declared for docs/LANGCHAIN_MARKETPLACE.md.
• No explicit proof-input edge is declared for plans/langgraph-marketplace-plugin.md.
• No explicit proof-input edge is declared for plugins/code-factory-langgraph/README.md.
• No explicit proof-input edge is declared for plugins/code-factory-langgraph/skills/langgraph-proof/SKILL.md.
• No explicit proof-input edge is declared for skills/active_policy.json.
• No explicit proof-input edge is declared for smoke/langgraph-marketplace-plugin-v044-refresh.json.
• No explicit proof-input edge is declared for smoke/langgraph-marketplace-plugin.json.
• No explicit proof-input edge is declared for specs/langgraph-marketplace-plugin.md.
• No explicit proof-input edge is declared for tests/test_langchain_plugin.py.
• Requirement coverage is unproven for coverage:manifest.

Authority boundary

Advisory only. This payload has no execution, approval, publication, deployment, signing, messaging, credential, connector, source write, test execution, repair authority. It does not use CodeRabbit credentials, interpret AI comments as proof, approve, merge, or modify source.

Existing Diff-to-Proof map

flowchart LR
  REVIEW["Diff-to-Proof Review"]
  C1["Changed: context/PROGRESS.md"]
  C1 --> REVIEW
  C2["Changed: docs/LANGCHAIN_MARKETPLACE.md"]
  C2 --> REVIEW
  C3["Changed: plans/langgraph-marketplace-plugin.md"]
  C3 --> REVIEW
  C4["Changed: plugins/code-factory-langgraph/README.md"]
  C4 --> REVIEW
  C5["Changed: plugins/code-factory-langgraph/skills/langgraph-proof/SKILL.md"]
  C5 --> REVIEW
  C6["Changed: skills/active_policy.json"]
  C6 --> REVIEW
  C7["Changed: smoke/langgraph-marketplace-plugin-v044-refresh.json"]
  C7 --> REVIEW
  C8["Changed: smoke/langgraph-marketplace-plugin.json"]
  C8 --> REVIEW
  C9["Changed: specs/langgraph-marketplace-plugin.md"]
  C9 --> REVIEW
  C10["Changed: tests/test_langchain_plugin.py"]
  C10 --> REVIEW
  U1["Unmatched: context/PROGRESS.md"]
  REVIEW --> U1
  U2["Unmatched: docs/LANGCHAIN_MARKETPLACE.md"]
  REVIEW --> U2
  U3["Unmatched: plans/langgraph-marketplace-plugin.md"]
  REVIEW --> U3
  U4["Unmatched: plugins/code-factory-langgraph/README.md"]
  REVIEW --> U4
  U5["Unmatched: plugins/code-factory-langgraph/skills/langgraph-proof/SKILL.md"]
  REVIEW --> U5
  U6["Unmatched: skills/active_policy.json"]
  REVIEW --> U6
  U7["Unmatched: smoke/langgraph-marketplace-plugin-v044-refresh.json"]
  REVIEW --> U7
  U8["Unmatched: smoke/langgraph-marketplace-plugin.json"]
  REVIEW --> U8
  U9["Unmatched: specs/langgraph-marketplace-plugin.md"]
  REVIEW --> U9
  U10["Unmatched: tests/test_langchain_plugin.py"]
  REVIEW --> U10
  F1["unmatched_changed_path"]
  REVIEW --> F1

Loading