feat: strengthen synthesis grounding and comparisons

2026-10-14 19:42:24 +08:00
4 changed files with 23 additions and 20 deletions
@@ -1,6 +1,6 @@
 # GEWU local research-agent pack
-Version 0.14.0. Local service contract, checkpoint helper, pasted-text/transcript intake, scoped project-lens reads and workspace installer are bound; native-host installation and pilot workflows remain unverified.
+Version 0.15.0. Local service contract, checkpoint helper, pasted-text/transcript intake, scoped project-lens reads and workspace installer are bound; native-host installation and pilot workflows remain unverified.
 This pack contains the [agent profile](AGENTS.md), Claude harness pointer ([CLAUDE.md](CLAUDE.md)), shared protocols, four skills and separate pipeline procedures. An existing local host supplies the model and tools. There is no standalone agent engine here.
@@ -13,7 +13,7 @@ The pack is source material for a dedicated research workspace or for integratio
 | [kb-ingest](skills/kb-ingest/SKILL.md) | Turn selected material into evidence-bound proposals. |
 | [kb-query](skills/kb-query/SKILL.md) | Retrieve and explain accepted knowledge with citations. |
 | [kb-curate](skills/kb-curate/SKILL.md) | Audit a scoped collection and propose corrections/relations. |
-| [kb-synthesize](skills/kb-synthesize/SKILL.md) | Build a synthesis with revision-bound dependencies. |
+| [kb-synthesize](skills/kb-synthesize/SKILL.md) | Build grounded comparisons and syntheses with revision-bound dependencies. |
 ## Claude support
@@ -1,6 +1,6 @@
 {
  "pack_id": "gewu-research",
-  "pack_version": "0.14.0",
+  "pack_version": "0.15.0",
  "manifest_version": "1.0.0",
  "status": "local-contract-and-checkpoint-bound-hosts-not-qualified",
  "execution": "existing-local-agent-host",
@@ -49,10 +49,10 @@
    },
    {
      "id": "kb-synthesize",
-      "version": "0.1.0",
+      "version": "0.2.0",
      "entry": "skills/kb-synthesize/SKILL.md",
      "pipeline": "pipelines/synthesize.md",
-      "pipeline_version": "0.1.0"
+      "pipeline_version": "0.2.0"
    }
  ],
  "checkpoint_contract": {
@@ -77,7 +77,7 @@
        "gewu.skill.kb-ingest@0.1.0",
        "gewu.skill.kb-query@0.1.0",
        "gewu.skill.kb-curate@0.1.0",
-        "gewu.skill.kb-synthesize@0.1.0"
+        "gewu.skill.kb-synthesize@0.2.0"
      ],
      "required_service_capabilities": [
        "knowledge:read",
@@ -333,16 +333,16 @@
      "module_id": "kb-synthesize",
      "kind": "skill",
      "entry": "skills/kb-synthesize/SKILL.md",
-      "implementation_version": "0.1.0",
+      "implementation_version": "0.2.0",
      "provided_contract": {
        "id": "gewu.skill.kb-synthesize",
-        "version": "0.1.0"
+        "version": "0.2.0"
      },
      "requires_contracts": [
        "gewu.protocol.evidence@0.1.0",
        "gewu.protocol.scope@0.1.0",
        "gewu.protocol.contributions@0.1.0",
-        "gewu.pipeline.kb-synthesize-pipeline@0.1.0"
+        "gewu.pipeline.kb-synthesize-pipeline@0.2.0"
      ],
      "required_service_capabilities": [
        "knowledge:read"
@@ -351,17 +351,17 @@
      "compatible_checkpoint_contracts": [
        "gewu.local-checkpoint@0.1.0"
      ],
-      "sha256": "444433c4c5dc4f22183a4987edc38982868b6bf70e578b59303eb8c4fcf26b9c",
+      "sha256": "bb2fc464bc1b194382e407c01be16e0c075dc3d0737b514e20778d0fdd33ebde",
      "hash_encoding": "utf8-no-bom-lf"
    },
    {
      "module_id": "kb-synthesize-pipeline",
      "kind": "pipeline",
      "entry": "pipelines/synthesize.md",
-      "implementation_version": "0.1.0",
+      "implementation_version": "0.2.0",
      "provided_contract": {
        "id": "gewu.pipeline.kb-synthesize-pipeline",
-        "version": "0.1.0"
+        "version": "0.2.0"
      },
      "requires_contracts": [
        "gewu.protocol.evidence@0.1.0",
@@ -375,7 +375,7 @@
      "compatible_checkpoint_contracts": [
        "gewu.local-checkpoint@0.1.0"
      ],
-      "sha256": "d8fdd640d4d2bfa2556eb676274f2bae9e6e70e6a760bac586e17f870be501cb",
+      "sha256": "c117ca79555a57f33c3daaac468f310d83aeb87521e4d6d7054ab9f387e430f3",
      "hash_encoding": "utf8-no-bom-lf"
    },
    {
@@ -393,7 +393,7 @@
      "compatible_checkpoint_contracts": [
        "gewu.local-checkpoint@0.1.0"
      ],
-      "sha256": "991a629a8cbb6e31422ff3766ccd7a4d28420aa41efebc4553c4dcdabf85a1db",
+      "sha256": "5dae6ad10a6fc8e5ba55a39d9d41376b49426f193f48ede1522f30c2a8c6d387",
      "hash_encoding": "utf8-no-bom-lf"
    },
    {
@@ -512,6 +512,6 @@
  "snapshot": {
    "algorithm": "sha256",
    "scope": "modules array serialized as UTF-8 JSON with sorted keys and compact separators",
-    "digest": "03d6c9f16b5b717d1709742d007eb918f23f3e41a24437fd4bbbd589c5ad0be7"
+    "digest": "941ed03a201721658945b2120bc09e131ac8b4386a52c86f5aad47a449a590bd"
  }
 }
@@ -1,11 +1,12 @@
 # Synthesis pipeline
-Version 0.1.0. Host-executed procedure for `kb-synthesize`.
+Version 0.2.0. Host-executed procedure for `kb-synthesize`.
 1. Establish purpose, audience, scope and size. Retrieve accepted inputs through the query skill when needed.
 2. Save an inventory of node/source revisions and the assertions each supports. Identify missing evidence and conflicting findings.
-3. Draft the comparison or synthesis, preserving methodological conditions and uncertainty. Clearly label interpretive connections.
+3. For comparison work, select only matrix columns supported by the inputs, cite each populated cell to its accepted record and source revision, and mark unavailable values as unknown. Summarize agreement, disagreement and evidence gaps when useful.
-4. Audit each factual statement against the dependency inventory and preserve freshness warnings. If an input changes, invalidate affected draft statements and repeat their audit.
+4. Draft the synthesis, preserving methodological conditions and uncertainty. Label interpretive connections and cite their dependencies.
-5. Deliver a labeled local draft, or submit a synthesis proposal when requested and supported. Report the actual acceptance receipt separately from draft completion.
+5. Audit material factual statements against the dependency inventory as supported, partially supported, unsupported or conflicting. Check that cited records support the statement as written, retain required locations and freshness warnings, and qualify, remove or surface unsupported and conflicting statements as open questions. If an input changes, invalidate affected draft statements and repeat their audit.
 6. Deliver a labeled local draft, or submit a synthesis proposal when requested and supported. Report the actual acceptance receipt separately from draft completion.
 Checkpoint the inventory and draft hashes, unresolved gaps and proposal identity. Resume reads the saved artifact before generating more prose. Do not publish unsupported draft passages simply because earlier stages completed.
@@ -8,6 +8,8 @@ Read the pack's [evidence](../../protocols/EVIDENCE.md), [scope](../../protocols
 Identify audience, purpose, scope and requested output. Retrieve accepted input revisions and build a dependency inventory. Compare conditions, methods, observations and limitations before composing. Label new interpretation and cite the accepted records it depends on. Preserve contradictory evidence and unknown values.
-Audit factual statements and dates against the input inventory. Changing an input revision requires rechecking affected statements. A draft may be written locally when requested; do not report it as saved GEWU knowledge. Submit a synthesis proposal only when the user requested a knowledge contribution and the service exposes a compatible synthesis contract.
+For comparison requests, use a compact matrix when it makes differences easier to inspect. Choose columns that fit the evidence, such as method, population or sample, conditions, findings and limitations. Cite each cell to the accepted record and source revision that supports it. Mark unavailable values as unknown; do not infer or fill them from memory. Follow the matrix with a short account of agreement, disagreement and evidence gaps when useful.
 Audit factual statements and dates against the dependency inventory before delivery. For each material factual statement, classify its support as supported, partially supported, unsupported or conflicting, and keep its citation beside it. Check that citations support the statement as written and retain the required source locations and warnings; do not treat a citation's presence as proof. Keep interpretations distinct from retrieved claims and cite the records they depend on. Unsupported or conflicting statements must be qualified, removed, or reported as open questions rather than presented as established findings. If an input revision changes, recheck affected statements. A draft may be written locally when requested; do not report it as saved GEWU knowledge. Submit a synthesis proposal only when the user requested a knowledge contribution and the service exposes a compatible synthesis contract.
 Return the artifact, dependency inventory, limitations and receipt if accepted. If synthesis submission is unavailable, keep the draft and identify that exact missing capability. The skill does not add a server-side reasoning agent or website authoring path.