Status: Concerns Layer: Delivery
§Scope
No purpose statement is recorded for this subsystem; the scope below states what it covers.
mcp-server packaging, checkers, fixtures and test suite; .github/; .pecia/; the dev/ harness that is not a lane's; root product artifacts
§Start here
mcp-server/src/cli.ts; .github/workflows/test.yml; CONTRIBUTING.md; mcp-server/scripts/
§Structure
What the survey recorded as claims about this subsystem, grouped by what each one states. Every claim is bound to the revision it was asserted at and to the evidence attached to it; a superseded claim is not shown here.
§Other claims
| Claim | Subject | Statement | Epistemic kind | Asserted at |
|---|---|---|---|---|
B-05/contracts/generate-or-assert-every-duplicated-fact | B-05 | The checker set in mcp-server/scripts/ is organized around one rule: a fact published twice is either generated from one source or asserted against it. gen-vocabulary.mjs generates two enum modules and asserts the schema's CHECKs; gen-tool-inventory.mjs generates DEVELOPMENT.md's block and --check refuses a divergence; check-refusal-parity.mjs cannot generate prose so it generates the candidate refusal set and compares that against a register; check-concern-checklist.mjs holds the calibrated checklist to its contract. Where a duplicated fact has neither a generator nor an assertion, it drifts — which is what B05-2 is. | Inference | c0734040022f |
§Vocabulary
- generated copy, asserted schema — This repository's rule for a fact published in more than one place: generate every copy that can be generated, and assert the one that cannot rather than rewriting it.
§Known defects here
1 defect here is open or awaiting verification. Each one's full record, with its evidence, is on Open findings.
- The server identifies itself to every MCP host as 0.2.0-beta.1 while the package it ships from is 0.2.0-beta.2, and stamps that wrong version into the immutable binding receipt the setup documentation tells users to read back when verifying an installation. — B05-R1 · Medium · Open
§Standing
Concerns — Structural mapping is complete and concern-by-concern review is in progress. It cannot justify that a finding survived adversarial challenge.
- Files read
- 91 of 157 ledger rows
- Files in scope, not yet read
- 65 of 157
- Files excluded from the survey obligation
- 1 of 157
- Ledger rows the repository has changed under
- 1 of 157
- Active concerns with a disposition recorded here
- 1 of 12 — 1 confirmed-bug
- Findings by resolution state
- 1 open
- Seams assessable from both sides
- no seam names this subsystem
§Survey record
§File ledger
| Path | Classification | Why in scope | Examined at |
|---|---|---|---|
mcp-server/test-activation-contract.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-activation-doctor.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-adversarial-correctness.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-adversarial-performance.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-adversarial-security.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-attention-history.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-autoprogress.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-carried-findings.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a521e28 |
mcp-server/test-change-impact.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-chorusmith-adapter.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-cloud-e2e.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-cloud-storage.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-codebase-brief.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-codex-parent-workspace.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a521e28 |
mcp-server/test-compare.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-composition.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-consumer-route.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-crosswalk-qualification.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-decisions.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-derived-staleness.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-design-session.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-disposition-evidence.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-edge-contract.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-existing-store-migration.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-finding-partition.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-first-use-laziness.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-first-use-recovery.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-historical-evaluation.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-installer.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-invariants.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-learning-ledger.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-locus-compactness.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-locus-index-view.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-locus-standing.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-mcp-compatibility.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-nested-activation-binding.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-operating-envelope.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-package-activation-parity.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-package-artifact.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-perf-ceilings.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-perf-tier2.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-perf.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-phase2-claims-gate.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-priority.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-projection-custody.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-refresh-recovery.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-refusal-parity.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-release-rollback.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-research-broker.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-residual-hardening.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-resolution-proof.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-revalidation-scheduler.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-review-analysis.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-review-brief.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-review-session.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-scope-reconciliation.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a521e28 |
mcp-server/test-smoke.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-startup-bounds.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-storage-git.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-structural-claims.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-temporal-claims.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-vocabulary-discharge.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-vocabulary-source.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
mcp-server/test-workspace-binding.mjs | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | ec5824bc |
mcp-server/tsconfig.json | candidate | Packaging, configuration, fixtures, checkers and the server's own test suite. | a7f9384d |
.github/FUNDING.yml | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
.github/workflows/pages.yml | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
.github/workflows/publish.yml | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
.github/workflows/published-smoke.yml | examined | The published-tarball smoke job named in B05-2's root cause: it asserts the binding receipt's canonicalRoot and storage_path and never asserts the reported server version. | c0734040 |
.github/workflows/test.yml | examined | The CI registration of every gate this lane ships, including GATE D0's three-state block and GATE D1 beside it. | a521e28 |
.gitignore | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
.mcp.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
.pecia/config.yaml | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
.pecia/snapshot.head | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | a521e28 |
.pecia/snapshot.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | a521e28 |
.pecia/work.jsonl | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | a521e28 |
.tool-versions | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
CONTRIBUTING.md | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | a521e28 |
HISTORY.md | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | a521e28 |
INSTALLATION.md | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | a521e28 |
LICENSE | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
README.md | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | a521e28 |
ROADMAP.md | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | a521e28 |
dev/codex-app-workspace-repair.md | examined | Workspace repair verification record maintained with delivery documentation. | a521e28 |
dev/conspectus/README.md | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
dev/conspectus/baseline-report-detector-1.0.0.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
dev/conspectus/baseline-report.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
dev/conspectus/detector-registry.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
dev/conspectus/self-baseline.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
dev/hooks/pre-commit | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
dev/release-notes-v0.2.0-beta.3.md | examined | Published beta.3 release notes and bounded validation evidence. | a521e28 |
dev/render-roadmap.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
dev/roadmap.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | a521e28 |
dev/survey-depth-baseline.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
dev/test-amanuensis-pecia-defects.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | a521e28 |
dev/test-pecia-roadmap-red-gates.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
dev/test-pecia-roadmap.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
dev/test-roadmap.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/.gitignore | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/DEVELOPMENT.md | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | a521e28 |
mcp-server/README.md | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | a521e28 |
mcp-server/biome.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/activation-parity.schema.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/append-only-tables.txt | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/attention.schema.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/chorusmith/artifact-input.schema.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/chorusmith/custody-matrix.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/chorusmith/extraction-parity-ledger.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/chorusmith/project-type.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/chorusmith/run-manifest.schema.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/codebase-brief.schema.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/codebase-decision.schema.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/concern-checklist.json | examined | The calibrated checklist and the finding-id convention, moved here so a gate's denominator is not read from the document reporting the coverage. | c0734040 |
mcp-server/contracts/conspectus-vocabulary.json | examined | The enum source every generated copy and every SQL CHECK is derived from, including the obligation_bearing flag D2's exempt set comes from. | c0734040 |
mcp-server/contracts/historical-evaluation-corpus.schema.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/locus-account.schema.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/locus-history.schema.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/refusal-parity.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/contracts/research-request.schema.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/activation/codex-config-healthy.toml | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/activation/codex-config-residual-trust.toml | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/activation/codex-config-shadowed.toml | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/activation/codex-config-workspace-pinned.toml | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/activation/codex-context-probe.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/activation/codex-host-red-matrix.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/activation/conflicting-user-project.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/activation/first-use-interruption.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/activation/first-use-worker.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/activation/hard-coded-global-project-local.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/activation/operating-envelope-red-matrix.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/activation/package-parity.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/activation/release-readiness-red-matrix.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/activation/storage-symlink-escape.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/change-impact/manifest.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/codebase-brief/source-input.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/composition/manifest.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/crosswalk/qualification-result.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/evaluation/program.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/learning/method-qualification.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/research/scholiast/version-semantics/claims.md | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/research/scholiast/version-semantics/sources.md | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/revalidation/manifest.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/review-analysis/manifest.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/fixtures/review-session/semantic-states.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/package.json | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | a521e28 |
mcp-server/scripts/check-concern-checklist.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/scripts/check-evidence-vocabulary.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/scripts/check-refusal-parity.mjs | examined | The skill/server refusal register, and the generated candidate set that narrows what an unregistered refusal can hide — with the three sentence forms it can see stated as its own scope limit. | c0734040 |
mcp-server/scripts/check-sql-identifiers.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/scripts/check-tool-schemas.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/scripts/ensure-built.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/scripts/gen-tool-inventory.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/scripts/gen-vocabulary.mjs | examined | The single-source generator: it writes the TypeScript and Python enum modules and asserts the schema's CHECK literals against the contract, and states why the schema is checked rather than rewritten. | c0734040 |
mcp-server/scripts/historical-evaluation.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/scripts/prepack-bundle-assets.mjs | examined | Packaging, installer, validation harnesses, contracts, fixtures and product documentation. | 410d769b |
mcp-server/test-codex-app-workspace.mjs | examined | Delivery regression for native Codex app launch and per-connection workspace isolation. | a521e28 |
mcp-server/package-lock.json | generated-ignore | npm writes this lockfile; it is resolver output. | a7f9384d |
§Concern review
SC-1
- Verdict
- Confirmed defect
- Evidence
- Code verified
Rationale
This subsystem owns the checkers that hold every other seam, and one seam it owns is unheld: the package manifest's version against the runtime literal. At c073404 they disagree — 0.2.0-beta.2 against 0.2.0-beta.1 — and that literal is frozen into the binding receipt the setup documentation tells a user to read back when verifying an installation. render-roadmap.mjs relates the manifest to the roadmap's release record and published-smoke.yml asserts the receipt's canonicalRoot and storage_path, so both halves exist and neither compares these two. Filed as B05-R1.
§Survey artifact
§B-05 — Packaging, installer, validation, and product docs
Scoping-and-carried-adjudication pass, read at c073404. Scope: the mcp-server package, its checkers, contracts and fixtures, the CI workflows, .pecia/, the non-lane dev/ harness, and the root product artifacts.
This pass is partial and says so. Six of 154 scoped files were read: the two generator/checker scripts that carry the subsystem's organizing rule, the two CI workflows that bear on it, and the two contracts they read. The remaining 148 — chiefly the ~100 mcp-server/test-*.mjs suites and the fixture corpora — are scoped and unread, and the ledger says candidate for each. The claim and the concern work below are stated over what was read.
§Observed
One rule, four checkers. A fact published in more than one place is generated from a single source or asserted against it: gen-vocabulary.mjs writes the TypeScript and Python enum modules and compares the schema's CHECK literals without rewriting them, because schema.sql is applied to live databases on every open; gen-tool-inventory.mjs writes DEVELOPMENT.md's block and --check refuses a divergence; check-refusal-parity.mjs cannot generate prose, so it generates the candidate refusal set from the server's own thrown messages and compares that against a hand-kept register, stating the three sentence forms it can see as its own scope limit.
Where the rule is not applied, the fact drifts. SERVER_VERSION in index.ts is a literal with no generator and no assertion. At c073404 it reads 0.2.0-beta.1 while package.json reads 0.2.0-beta.2, and it is the only source for both the version advertised at initialize and the serverVersion frozen into the binding receipt. Recorded as B05-R1.
§Seam contracts from this side
contracts/conspectus-vocabulary.json→src/vocabulary.ts,vocabulary.py,schema.sql— generated, generated, asserted.tools/list→DEVELOPMENT.md— generated and--checked.- server refusals → the skill references (B-01) — register plus generated candidate set.
package.json→SERVER_VERSION— neither. The open seam.
§Open
148 of 154 scoped files unread at this pass.