Survey methodology and agent contracts · Amanuensis

Status: Mapped Layer: coordination

§Scope

.claude/skills/amanuensis/ — SKILL.md plus the phase instructions, concern calibration, artifact templates, reporting-style contract, and setup reference. The former agents/ directory was removed in 3f3065d; role handoffs now live entirely in the skill references.

§Start here

.claude/skills/amanuensis/SKILL.md; .claude/skills/amanuensis/references/subsystem-survey.md; .claude/skills/amanuensis/references/reporting-style.md

§Notes

Prompt/contract layer. Claims about runtime enforcement must cross to B-02/B-03. Ledger caveat: 11 rows for agents/ name files deleted in 3f3065d and cannot be retired without a destructive B-01** reset — see finding B03-1 and open question 7.

§File ledger

`SKILL.md`

Path: .claude/skills/amanuensis/SKILL.md
Review: examined
Revision: b8b566f

Why this file is in scope

Pinned A0 inventory assigns this file to B-01.

`artifact-templates.md`

Path: .claude/skills/amanuensis/references/artifact-templates.md
Review: examined
Revision: b8b566f

Why this file is in scope

Pinned A0 inventory assigns this file to B-01.

`concern-territories.md`

Path: .claude/skills/amanuensis/references/concern-territories.md
Review: examined
Revision: b8b566f

Why this file is in scope

Pinned A0 inventory assigns this file to B-01.

`memory-audit.md`

Path: .claude/skills/amanuensis/references/memory-audit.md
Review: examined
Revision: b8b566f

Why this file is in scope

Pinned A0 inventory assigns this file to B-01.

`notes.md`

Path: .claude/skills/amanuensis/references/notes.md
Review: examined
Revision: b8b566f

Why this file is in scope

Pinned A0 inventory assigns this file to B-01.

`onboarding.md`

Path: .claude/skills/amanuensis/references/onboarding.md
Review: examined
Revision: b8b566f

Why this file is in scope

Pinned A0 inventory assigns this file to B-01.

`open-questions.md`

Path: .claude/skills/amanuensis/references/open-questions.md
Review: examined
Revision: b8b566f

Why this file is in scope

Pinned A0 inventory assigns this file to B-01.

`phase-1-scope.md`

Path: .claude/skills/amanuensis/references/phase-1-scope.md
Review: examined
Revision: b8b566f

Why this file is in scope

Pinned A0 inventory assigns this file to B-01.

`phase-2-structural.md`

Path: .claude/skills/amanuensis/references/phase-2-structural.md
Review: examined
Revision: b8b566f

Why this file is in scope

Pinned A0 inventory assigns this file to B-01.

`phase-3-concerns.md`

Path: .claude/skills/amanuensis/references/phase-3-concerns.md
Review: examined
Revision: b8b566f

Why this file is in scope

Pinned A0 inventory assigns this file to B-01.

`phase-4-adversarial.md`

Path: .claude/skills/amanuensis/references/phase-4-adversarial.md
Review: examined
Revision: b8b566f

Why this file is in scope

Pinned A0 inventory assigns this file to B-01.

`phase-5-packaging.md`

Path: .claude/skills/amanuensis/references/phase-5-packaging.md
Review: examined
Revision: b8b566f

Why this file is in scope

Pinned A0 inventory assigns this file to B-01.

`reporting-style.md`

Path: .claude/skills/amanuensis/references/reporting-style.md
Review: examined
Revision: 5694080

Why this file is in scope

Reporting-style contract governing human-facing labels, IA/UI boundary, and register; modified in this refresh range.

`setup.md`

Path: .claude/skills/amanuensis/references/setup.md
Review: examined
Revision: b8b566f

Why this file is in scope

Pinned A0 inventory assigns this file to B-01.

`subsystem-survey.md`

Path: .claude/skills/amanuensis/references/subsystem-survey.md
Review: examined
Revision: b8b566f

Why this file is in scope

Pinned A0 inventory assigns this file to B-01.

§Concern review

AT-1

Verdict: Out of scope
Evidence: Code verified

Rationale

The structural and behavioral read supports out-of-scope for AT-1 in B-01.

AT-2

Verdict: Out of scope
Evidence: Code verified

Rationale

The structural and behavioral read supports out-of-scope for AT-2 in B-01.

CC-1

Verdict: Out of scope
Evidence: Code verified

Rationale

The structural and behavioral read supports out-of-scope for CC-1 in B-01.

CR-1

Verdict: Accepted behavior
Evidence: Code verified

Rationale

The structural and behavioral read supports confirmed-acceptable for CR-1 in B-01.

EP-1

Verdict: Out of scope
Evidence: Code verified

Rationale

The structural and behavioral read supports out-of-scope for EP-1 in B-01.

EP-2

Verdict: Accepted behavior
Evidence: Code verified

Rationale

The structural and behavioral read supports confirmed-acceptable for EP-2 in B-01.

IF-1

Verdict: Accepted behavior
Evidence: Code verified

Rationale

The structural and behavioral read supports confirmed-acceptable for IF-1 in B-01.

RL-1

Verdict: Accepted behavior
Evidence: Code verified

Rationale

The structural and behavioral read supports confirmed-acceptable for RL-1 in B-01.

RL-2

Verdict: Accepted behavior
Evidence: Code verified

Rationale

The structural and behavioral read supports confirmed-acceptable for RL-2 in B-01.

SC-1

Verdict: Accepted behavior
Evidence: Code verified

Rationale

SM-01 integral contract was read from both mapped endpoints and passed at the pinned revision; residuals remain separately visible.

SC-2

Verdict: Accepted behavior
Evidence: Code verified

Rationale

SM-04 integral contract was read from both mapped endpoints and passed at the pinned revision; residuals remain separately visible.

SC-4

Verdict: Accepted behavior
Evidence: Contract stated

Rationale

The reporting-style contract and B-06 design language agree after both intervening commits, including the exact primary/secondary coverage split and contextual identifier treatment.

SI-1

Verdict: Accepted behavior
Evidence: Code verified

Rationale

The structural and behavioral read supports confirmed-acceptable for SI-1 in B-01.

SI-2

Verdict: Accepted behavior
Evidence: Code verified

Rationale

The structural and behavioral read supports confirmed-acceptable for SI-2 in B-01.

TB-1

Verdict: Out of scope
Evidence: Code verified

Rationale

The structural and behavioral read supports out-of-scope for TB-1 in B-01.

TR-1

Verdict: Accepted behavior
Evidence: Code verified

Rationale

The structural and behavioral read supports confirmed-acceptable for TR-1 in B-01.

TR-2

Verdict: Out of scope
Evidence: Code verified

Rationale

The structural and behavioral read supports out-of-scope for TR-2 in B-01.

§Seams

seams
Seam	Shared object	Other party
SM-01	MCP tool protocol and survey phase contract	B-03
SM-04	packaged agent and reference mirrors	B-05
SM-07	reporting terminology and information-architecture contract	B-06
SM-10	activation contract (installation scope, skill destination, config markers)	B-05

§Survey notes

Survey revision: b8b566f
Status: adversarial pass complete; packaging pending

§Key types

The subsystem is an executable human/agent protocol rather than a runtime module. Its load-bearing types are the six survey depths, the evidence-quality ladder, terminal concern review, phase artifacts, open questions, and seam assessments (.claude/skills/amanuensis/SKILL.md:Survey workflow@b8b566f; .claude/skills/amanuensis/references/phase-3-concerns.md:For each concern@b8b566f). The agents/*.agent.md files are role-specific adapters; the root skill and its references remain the source of truth (agents/README.md:Agent roster@b8b566f).

§State containers

This layer owns no private mutable runtime state. It names and constrains the durable MCP rows and prose artifacts written by each phase. Phase status is persistent; locks, session authority, and storage history are delegated to B-02/B-03 (.claude/skills/amanuensis/references/subsystem-survey.md:Session setup@b8b566f).

§Data flow

Onboarding inventories repository structure and calibrates concerns before subsystem claims are authorized.
Scoping creates a complete file ledger before method bodies are read.
Structural mapping records types, state, flows, concurrency, and seams.
Concern review records evidence before terminal dispositions.
A refutation-framed adversarial pass tries to overturn confirmed or linchpin-dependent claims.
Packaging updates navigators, materializes projections, checks seam assessability, and advances the subsystem to mapped.

Evidence: .claude/skills/amanuensis/references/onboarding.md:Process@b8b566f; .claude/skills/amanuensis/references/subsystem-survey.md:Running a phase@b8b566f.

§Concurrency model

The workflow permits phase agents but serializes writes to a shared artifact with MCP locks. This survey ran inline because no user-authorized subagents were available. The method treats parallel findings as independent inputs and reserves aggregation and contradiction handling for the coordinator (.claude/skills/amanuensis/references/subsystem-survey.md:Running a phase@b8b566f).

§Seam contracts

SM-01 · B-01 ↔ B-03: agent protocol writes through MCP tools; server invariants, not prose, enforce subtractive guards.
SM-04 · B-01 ↔ B-05: installer/package mirrors must reproduce the source agent bundle and references.

§Concern review

All 16 active concerns have terminal dispositions. Scope/revision identity, interruption recovery, trust boundaries, and schema/mirror consistency are applicable; cache, subprocess, and database atomicity concerns are assigned to their owning runtime subsystem. No confirmed B-01 defect survived this pass.

§Adversarial review

The strongest disproof target was that the phase protocol could claim progress without prior-phase output. Server-side monotonic/prerequisite checks compensate for the mechanically representable part (mcp-server/src/invariants.ts:enforcePhasePrerequisites@b8b566f). Generative truth remains outside those guards and is explicitly bounded by evidence and adversarial review. Verdict: method contract upheld with that scope restriction.