attention-manifest-protocol 0.4.0 → 0.4.2

package/CHANGELOG.md

@@ -1,15 +1,39 @@
-# Changelog
-
-All notable changes to this project are documented in this file.
-
-The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/), and this
-project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
-
+# Changelog
+
+All notable changes to this project are documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/), and this
+project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
 ## [Unreleased]
-
-### Changed
-
-- Consolidated project guidance into the English and Chinese READMEs; evaluation summaries now remain JSON-only.
+
+### Changed
+
+- Consolidated project guidance into the English and Chinese READMEs; evaluation summaries now remain JSON-only.
+
+## [0.4.2] - 2026-10-29
+
+### Fixed
+
+- `attention-manifest-protocol/window` now exports ledger compaction and pruning: `planPrune`, `compactLedger`, `verifyCompaction`, `CompactionRefused`, `PruneResult`, `Compaction`, `CompactionOptions`, and the policy types `PrunePolicy`, `PrunePlan`, `PruneDecision`, `PruneReason`, `Checkpoint` and `LedgerKind`. They compiled into `lib/` but were absent from the barrel, so only the deep `window/compaction.js` path could reach them.
+
+### Changed
+
+- Both READMEs document compaction and pruning as an architecture component, with the ledger and concept entry points named.
+
+## [0.4.1] - 2026-10-29
+
+Published library build: the package now exposes importable ESM with types.
+
+### Added
+
+- `npm run build:lib` emits ESM and declaration files to `lib/`; `prepublishOnly` rebuilds them before every publish.
+- `exports` maps the root entry (`lib/index.js`), per-module subpaths, deep module files and `schemas/*`; `main`, `types` and the `types` conditions cover both `nodenext` and bundler resolution.
+- Module barrels for the remaining `src/` directories, so every module imports through a single path.
+
+### Fixed
+
+- Declarations now carry JavaScript specifier extensions. `tsc` rewrites relative `.ts` imports only for `.js` output, so `tools/rewrite-declaration-extensions.ts` rewrites the `.d.ts` files and fails the build if a TypeScript extension survives.
 
 ## [0.4.0] - 2026-10-29
 
@@ -52,218 +76,218 @@ Governance v0.3: Ed25519 signing, durable audit, authenticated transport and a p
 
 Governance v0.2: auditable, transportable and measurable, with a green verification chain.
 
-### Added
-
-- The attention-governance layer (`src/governance/`). It implements the nine constructs of the
-  Attention Manifest Protocol description: the scenario × mode matrix (all tables from
-  9.1–9.8), the perspective registry, signed attention manifests, the three-layer context,
-  triple-signed switch credentials, the Bayesian control layer, the legal behaviour layer
-  (freeze, downgrade, breaker), the three-ledger budget and the seven-phase approval
-  workflow. It reconciles the description's T1/T2/T3 strictness order with AMP's existing
-  T0–T4 strength order (`F1→T3`, `F2→T2`, `F3→T1`) and keeps explicit bridges from the eight
-  legacy scenarios to the five canonical ones and from `inspire` to `diverge`.
-- `docs/governance.md`, `governance.schema.json` (manifest and credential) and two validatable
-  examples (`attention-manifest.json`, `switch-credential.json`).
-- `tools/governance-check.ts` (19 assertions) and `tools/governed-task-check.ts` (5
-  assertions), both wired into `npm run verify`.
-- `src/runtime/governedTask.ts`: manifest verification, credential validation, legal audit,
-  ledger charge, board receipt and control decision wrapped around `CognitiveRuntime`.
-  Refusal paths return before the model call. A live `deepseek-chat` governed turn has been
-  run end to end.
-- Agent budget ledgers and `reallocate()`: budgets now support `scope: "agent"`; a sub-agent's
-  quota is transferred from its parent with the total conserved. Negative/NaN/Infinity amounts
-  are rejected, reserve charges require finance approval, and a draw above 50% also needs the board.
-- Perspective-switch orchestration (`src/governance/switching.ts`): peer switch, downgrade,
-  mode switch, scenario re-derivation and the escalation plan. A scenario switch calls
-  `rederiveAttentionManifest()`, increments the version and records the parent digest.
-- Multi-agent cooperation (`src/governance/cooperation.ts`): structured messages (manifest
-  summary, refs, credential, receipt), receiver-side credential verification, an independent
-  supervisory audit path, and communication pruning by reliability × information value.
-- Multi-agent transport seam (`src/governance/transport.ts`): `LoopbackTransport`,
-  `HttpCooperationTransport` and `createCooperationHandler()`. The receiver always re-runs the
-  digest/manifest/credential/receipt checks; malformed envelopes are 400, policy rejections 422
-  and success 200. `cooperation-check` is now 13 checks.
-- Governance audit chain (`src/governance/audit.ts`): manifests, credentials, receipts, charges,
-  legal orders, workflow transitions, switches and runtime turns can be appended to a hash-linked
-  append-only log; `verify()` detects edits, reordering and truncation, and `open({ sink })`
-  verifies the whole chain on reopen. `GovernedTask` accepts an `audit` and appends a
-  `runtime.turn` record after settlement.
-- `tools/audit-check.ts` (2 checks) covers cross-object records, reopen, tampering and corruption;
-  wired into `npm run verify`.
-- `tools/cooperation-check.ts` (13 checks) wired into `npm run verify`; `governance-check` is
-  now 21 checks, including regressions for forged signatures, negative amounts, freeze
-  revocation, the archive gate, control NaN, unknown effects and private-context leakage.
-- `tools/live-governance-eval.ts` (`npm run governance-live`) with DeepSeek quality, token and
-  boundary evaluation. Quality uses a deterministic rubric plus a strict judge; tokens record
-  input/output/cache/cost, ledger charge and cap; boundaries cover crisis escalation, expired
-  manifest, stale credential, legal freeze, budget exhaustion, prompt-injection leakage and
-  multi-agent scope/size limits. The report lands in `docs/probes/governance-live.json`; the
-  key is read from the environment only. First run: 6/6 rubric, judge 4.83/5, matched token
-  delta +3.8%, boundaries 9/9.
-- `GovernedTask` now maps the manifest's scenario and modes into the runtime's
-  scenario/interaction budgets, injects the manifest summary, evidence floor and forbidden
-  behaviours as a `systemNote`, charges the manifest's `perspective`/`agent` ledger, and checks
-  for a frozen ledger before generation.
-- Construction boundary (`src/boundary/`). `frameFrom()` validates the id grammar, reference
-  closure, the 9-slot ceiling, the exclusion cap (default 50, overflow returned as `deferred`)
-  and budget consistency before a frame exists; `parseToolCall()` validates arguments against a
-  JSON Schema subset and returns a digest of exactly what was accepted; `RefTable` gives `tool`
-  and `capability` one namespace and resolves `self`. 19 assertions run as
-  `npm run boundary-check` and inside `npm run verify`.
-- `ExecProfile` parses call arguments through `parseToolCall()` before policy evaluation and
-  dispatch. A rejected argument set records a blocked receipt and never reaches a server;
-  approvals bind to the parsed digest.
-- Context economy. `planPrune()` builds an explicit view of a verified ledger: superseded
-  claims, closed hypotheses and resolved non-blocking unknowns leave it, every omission
-  carries a `reason` and a `revisit_if`, and citations are closed over so that nothing
-  dangles. `supersedes` is deliberately not treated as a dependency.
-- `compactLedger()` replaces a cold prefix with a checkpoint that commits to the digest of
-  the removed entries. `verifyCompaction()` re-derives that commitment and checks that the
-  tail continues the same chain. Compaction refuses to bury an entry the retained tail still
-  cites, and raises `CompactionRefused` with the pinned references.
-- `compaction.schema.json` covering checkpoints and prune plans, two worked examples
-  (`checkpoint.json`, `prune-plan.json`), and `docs/compaction.md` with invariants P-1 to P-7.
-- `tools/compaction-check.ts` with 15 assertions, wired into `npm run verify`.
-- Concept economy. `pruneConcept()` bounds one concept's content: duplicate examples collapse
-  to the more typical one, examples beyond `maxExamples` go from the least typical end, and
-  the floor (`minExamples`) keeps the concept grounded. Relations are de-duplicated, dangling
-  targets are dropped when a resolver is supplied, and the extension is de-duplicated. The
-  definition, intension, counterexamples and `grounded_in` are never trimmed, and a view never
-  bumps `version`.
-- `compactConceptHistory()` keeps the head plus `keepVersions` and commits the rest into a
-  `concept-checkpoint`. It refuses a broken version lineage or a window that covers every
-  version. Invariants C-1 to C-4 are documented in `docs/compaction.md` §6.
-- `concept-compaction.schema.json`, two worked examples, and `tools/concept-check.ts`
-  (14 assertions) wired into `npm run verify`.
-- `src/structure/priority.ts`: a stable `PriorityQueue` over a comparison heap, an
-  `IndexedPriorityQueue` that re-prioritises and deletes by key in O(log n), a `BucketQueue`
-  for integer priorities with one FIFO bucket per priority, and `TopK` for bounded
-  selection. `tools/priority-check.ts` runs 27 cases, including randomised differential
-  checks against stable-sort models, as `npm run priority-check` and inside `npm run verify`.
-
-### Changed
-
-- Counts moved with the new layer: schemas 14 → 16, validated example objects 33 → 37,
-  verification entries 29 → 31, TypeScript scripts under `tools/` 38 → 40.
-- All 38 scripts under `tools/` migrated from JavaScript to TypeScript. They run directly
-  under Node's type stripping and are covered by `tsconfig.tools.json`; no `.mjs` file
-  remains.
-- `npm run verify` now runs both type checks — `tsc --noEmit` for `src/` and
-  `tsc -p tsconfig.tools.json` for `tools/` — so a type error in the tests fails the suite.
-- Test fixtures declare the protocol types they build (`Claim`, `EvidenceItem`,
-  `Hypothesis`, `Candidate`, `MergeClaim`, `TeamManifest`, `AttentionRequest` and an
-  unsigned `Manifest`) instead of widening string literals.
-- HTTP suites use the shared `listen()` and `portOf()` helpers rather than untyped calls
-  to `server.address()`.
-- Documentation, the script paths in `package.json` and the README were updated for the
-  rename.
-- Licence changed from `UNLICENSED` to Apache-2.0. A verbatim copy of the licence is at the
-  repository root, `package.json` and `package-lock.json` declare `Apache-2.0`, and both
-  READMEs state the grant and the conditions a redistribution has to meet.
-- Attribution: a `NOTICE` file records the copyright holder (Eloy Kim, 2026) and must be
-  kept by redistributions, `package.json` names the author, and both READMEs link the
-  licence and the notices.
-
-### Fixed
-
-- The audit gate was unsatisfiable: `audit.behavior` and `audit.budget` had no approving
-  department. Legal now owns `audit.behavior` and finance owns `audit.budget`, so the audit
-  phase can advance to escalation or archive.
-- `src/bayes/calibration.ts` left unused `item` parameters in the `filter` callbacks of the
-  cross-validation split, which made `tsc --noEmit` fail; the parameters were renamed with no
-  behavioural change.
-- `package.json` had a corrupted UTF-8 fragment in `description` (`T0閳ユ彑4`), now `T0-T4`; the
-  `demo` script pointed at the long-deleted `src/cycle/demo.ts` and was removed, with the
-  README pointing at the runnable governance checks instead.
-- `a2a-check` compared the digest of a runtime `Delegation` with the digest of the same
-  object passed where a `DelegationDoc` was expected, so both sides hashed the camelCase
-  object and the assertion could never fail. It now converts with `toDelegationDoc()` and
-  compares the digest of the document with the digest of the document.
-- `persistence-check` spread a hash-chain payload typed `unknown`; the payload is now
-  narrowed explicitly at the test boundary.
-- `sign-check` imported a type in the middle of a multi-line import statement after the
-  automated rewrite; the import order is now correct.
-
-## [0.1.0] - 2026-10-24
-
-First public reference implementation.
-
-### Added
-
-#### Protocol and types
-
-- 14 JSON Schemas under `docs/schemas/`, with TypeScript types in one-to-one
-  correspondence.
-- A message envelope and seven speech acts: `attend`, `plan`, `act`, `ask`, `note`,
-  `reflect` and `read`.
-- Twelve invariants: W-1 to W-5 (warrant), A-1 to A-5 (attention), M-1 (manifest) and
-  X-1 (log).
-
-#### Attention
-
-- A salience contract with a monotonicity rule, plus focus and ignore sets.
-- An immutable frame chain; `Frame.ignored` records exclusions with `reason` and
-  `revisit_if`.
-- Impasse classification, and interrupt classes with attention debt.
-- Hard budget enforcement at the dispatcher: allocation may degrade to handles,
-  pagination or refusal, but never truncates silently.
-- Handle-based overflow, so that large results stay addressable.
-
-#### Warrant
-
-- T0–T4 epistemic tiers, confidence derivation and tier validation.
-- Minimal revision with a `supersedes` chain.
-- Explicit unknowns and stopping rules, with preregistration and reproduction checks.
-
-#### Execution
-
-- An MCP 2026-07-28 client: stateless `_meta`, `server/discover`, `ttlMs` and `cacheScope`,
-  HTTP binding headers, and a fallback to the legacy `initialize` handshake.
-- A budget dispatcher as the single metering point, with approval gating and TTL caching.
-
-#### Federation and trust
-
-- `ManifestBundle` and `Attestation`, digest pinning, revocation, and import that fails
-  closed.
-- Agent Card discovery and JWS/EdDSA card signatures.
-- Bundle keys, endorsement and scope policy; an A2A `message/send` binding that surfaces
-  JSON-RPC errors.
-
-#### Collaboration
-
-- Delegation with tier decay, ten invariants, lease fencing and depth limits.
-- A task board, result merging with contested-value handling, and authority adjudication.
-- A unified ledger, metrics (duplicate-task rate, alignment-token share, cost per success
-  and contested rate) and an end-to-end session.
-
-#### Persistence and sharing
-
-- An append-only hash chain over events, frames, receipts, claims, hypotheses, unknowns,
-  goals and plans.
-- Snapshot verification by count, tip, hash and chain order; restore refuses a broken
-  snapshot.
-- Three sharing granularities.
-
-#### Documentation and tooling
-
-- `docs/architecture.md`: the normative specification.
-- `docs/rationale.md`: twelve ADRs, each with its evidence, its cost and the options that
-  were rejected.
-- Multi-agent, trust-chain and federation documents, and nine research briefs.
-- 29 verification entries (166 counted assertions), 4 example generators and 5 endpoint
-  probes, plus 33 example objects validated against the schemas.
-
-### Security
-
-- Budgets are enforced at one point, in response to the class of failure represented by
-  CVE-2026-114386, where nested tool calls bypassed a per-run quota.
-- External content cannot raise its own salience; promotion requires a trusted signal.
-- Delegation, federation import and channel operations fail closed, each recording a
-  reason.
-
-### Known limitations
-
-- Sandbox isolation, multi-tenancy and interactive OAuth authorisation are not implemented.
-- Cross-domain tests run locally; interoperability with external agents has not been
-  demonstrated.
-- The specification and the research briefs are written in Simplified Chinese.
+### Added
+
+- The attention-governance layer (`src/governance/`). It implements the nine constructs of the
+  Attention Manifest Protocol description: the scenario × mode matrix (all tables from
+  9.1–9.8), the perspective registry, signed attention manifests, the three-layer context,
+  triple-signed switch credentials, the Bayesian control layer, the legal behaviour layer
+  (freeze, downgrade, breaker), the three-ledger budget and the seven-phase approval
+  workflow. It reconciles the description's T1/T2/T3 strictness order with AMP's existing
+  T0–T4 strength order (`F1→T3`, `F2→T2`, `F3→T1`) and keeps explicit bridges from the eight
+  legacy scenarios to the five canonical ones and from `inspire` to `diverge`.
+- `docs/governance.md`, `governance.schema.json` (manifest and credential) and two validatable
+  examples (`attention-manifest.json`, `switch-credential.json`).
+- `tools/governance-check.ts` (19 assertions) and `tools/governed-task-check.ts` (5
+  assertions), both wired into `npm run verify`.
+- `src/runtime/governedTask.ts`: manifest verification, credential validation, legal audit,
+  ledger charge, board receipt and control decision wrapped around `CognitiveRuntime`.
+  Refusal paths return before the model call. A live `deepseek-chat` governed turn has been
+  run end to end.
+- Agent budget ledgers and `reallocate()`: budgets now support `scope: "agent"`; a sub-agent's
+  quota is transferred from its parent with the total conserved. Negative/NaN/Infinity amounts
+  are rejected, reserve charges require finance approval, and a draw above 50% also needs the board.
+- Perspective-switch orchestration (`src/governance/switching.ts`): peer switch, downgrade,
+  mode switch, scenario re-derivation and the escalation plan. A scenario switch calls
+  `rederiveAttentionManifest()`, increments the version and records the parent digest.
+- Multi-agent cooperation (`src/governance/cooperation.ts`): structured messages (manifest
+  summary, refs, credential, receipt), receiver-side credential verification, an independent
+  supervisory audit path, and communication pruning by reliability × information value.
+- Multi-agent transport seam (`src/governance/transport.ts`): `LoopbackTransport`,
+  `HttpCooperationTransport` and `createCooperationHandler()`. The receiver always re-runs the
+  digest/manifest/credential/receipt checks; malformed envelopes are 400, policy rejections 422
+  and success 200. `cooperation-check` is now 13 checks.
+- Governance audit chain (`src/governance/audit.ts`): manifests, credentials, receipts, charges,
+  legal orders, workflow transitions, switches and runtime turns can be appended to a hash-linked
+  append-only log; `verify()` detects edits, reordering and truncation, and `open({ sink })`
+  verifies the whole chain on reopen. `GovernedTask` accepts an `audit` and appends a
+  `runtime.turn` record after settlement.
+- `tools/audit-check.ts` (2 checks) covers cross-object records, reopen, tampering and corruption;
+  wired into `npm run verify`.
+- `tools/cooperation-check.ts` (13 checks) wired into `npm run verify`; `governance-check` is
+  now 21 checks, including regressions for forged signatures, negative amounts, freeze
+  revocation, the archive gate, control NaN, unknown effects and private-context leakage.
+- `tools/live-governance-eval.ts` (`npm run governance-live`) with DeepSeek quality, token and
+  boundary evaluation. Quality uses a deterministic rubric plus a strict judge; tokens record
+  input/output/cache/cost, ledger charge and cap; boundaries cover crisis escalation, expired
+  manifest, stale credential, legal freeze, budget exhaustion, prompt-injection leakage and
+  multi-agent scope/size limits. The report lands in `docs/probes/governance-live.json`; the
+  key is read from the environment only. First run: 6/6 rubric, judge 4.83/5, matched token
+  delta +3.8%, boundaries 9/9.
+- `GovernedTask` now maps the manifest's scenario and modes into the runtime's
+  scenario/interaction budgets, injects the manifest summary, evidence floor and forbidden
+  behaviours as a `systemNote`, charges the manifest's `perspective`/`agent` ledger, and checks
+  for a frozen ledger before generation.
+- Construction boundary (`src/boundary/`). `frameFrom()` validates the id grammar, reference
+  closure, the 9-slot ceiling, the exclusion cap (default 50, overflow returned as `deferred`)
+  and budget consistency before a frame exists; `parseToolCall()` validates arguments against a
+  JSON Schema subset and returns a digest of exactly what was accepted; `RefTable` gives `tool`
+  and `capability` one namespace and resolves `self`. 19 assertions run as
+  `npm run boundary-check` and inside `npm run verify`.
+- `ExecProfile` parses call arguments through `parseToolCall()` before policy evaluation and
+  dispatch. A rejected argument set records a blocked receipt and never reaches a server;
+  approvals bind to the parsed digest.
+- Context economy. `planPrune()` builds an explicit view of a verified ledger: superseded
+  claims, closed hypotheses and resolved non-blocking unknowns leave it, every omission
+  carries a `reason` and a `revisit_if`, and citations are closed over so that nothing
+  dangles. `supersedes` is deliberately not treated as a dependency.
+- `compactLedger()` replaces a cold prefix with a checkpoint that commits to the digest of
+  the removed entries. `verifyCompaction()` re-derives that commitment and checks that the
+  tail continues the same chain. Compaction refuses to bury an entry the retained tail still
+  cites, and raises `CompactionRefused` with the pinned references.
+- `compaction.schema.json` covering checkpoints and prune plans, two worked examples
+  (`checkpoint.json`, `prune-plan.json`), and `docs/compaction.md` with invariants P-1 to P-7.
+- `tools/compaction-check.ts` with 15 assertions, wired into `npm run verify`.
+- Concept economy. `pruneConcept()` bounds one concept's content: duplicate examples collapse
+  to the more typical one, examples beyond `maxExamples` go from the least typical end, and
+  the floor (`minExamples`) keeps the concept grounded. Relations are de-duplicated, dangling
+  targets are dropped when a resolver is supplied, and the extension is de-duplicated. The
+  definition, intension, counterexamples and `grounded_in` are never trimmed, and a view never
+  bumps `version`.
+- `compactConceptHistory()` keeps the head plus `keepVersions` and commits the rest into a
+  `concept-checkpoint`. It refuses a broken version lineage or a window that covers every
+  version. Invariants C-1 to C-4 are documented in `docs/compaction.md` §6.
+- `concept-compaction.schema.json`, two worked examples, and `tools/concept-check.ts`
+  (14 assertions) wired into `npm run verify`.
+- `src/structure/priority.ts`: a stable `PriorityQueue` over a comparison heap, an
+  `IndexedPriorityQueue` that re-prioritises and deletes by key in O(log n), a `BucketQueue`
+  for integer priorities with one FIFO bucket per priority, and `TopK` for bounded
+  selection. `tools/priority-check.ts` runs 27 cases, including randomised differential
+  checks against stable-sort models, as `npm run priority-check` and inside `npm run verify`.
+
+### Changed
+
+- Counts moved with the new layer: schemas 14 → 16, validated example objects 33 → 37,
+  verification entries 29 → 31, TypeScript scripts under `tools/` 38 → 40.
+- All 38 scripts under `tools/` migrated from JavaScript to TypeScript. They run directly
+  under Node's type stripping and are covered by `tsconfig.tools.json`; no `.mjs` file
+  remains.
+- `npm run verify` now runs both type checks — `tsc --noEmit` for `src/` and
+  `tsc -p tsconfig.tools.json` for `tools/` — so a type error in the tests fails the suite.
+- Test fixtures declare the protocol types they build (`Claim`, `EvidenceItem`,
+  `Hypothesis`, `Candidate`, `MergeClaim`, `TeamManifest`, `AttentionRequest` and an
+  unsigned `Manifest`) instead of widening string literals.
+- HTTP suites use the shared `listen()` and `portOf()` helpers rather than untyped calls
+  to `server.address()`.
+- Documentation, the script paths in `package.json` and the README were updated for the
+  rename.
+- Licence changed from `UNLICENSED` to Apache-2.0. A verbatim copy of the licence is at the
+  repository root, `package.json` and `package-lock.json` declare `Apache-2.0`, and both
+  READMEs state the grant and the conditions a redistribution has to meet.
+- Attribution: a `NOTICE` file records the copyright holder (Eloy Kim, 2026) and must be
+  kept by redistributions, `package.json` names the author, and both READMEs link the
+  licence and the notices.
+
+### Fixed
+
+- The audit gate was unsatisfiable: `audit.behavior` and `audit.budget` had no approving
+  department. Legal now owns `audit.behavior` and finance owns `audit.budget`, so the audit
+  phase can advance to escalation or archive.
+- `src/bayes/calibration.ts` left unused `item` parameters in the `filter` callbacks of the
+  cross-validation split, which made `tsc --noEmit` fail; the parameters were renamed with no
+  behavioural change.
+- `package.json` had a corrupted UTF-8 fragment in `description` (`T0閳ユ彑4`), now `T0-T4`; the
+  `demo` script pointed at the long-deleted `src/cycle/demo.ts` and was removed, with the
+  README pointing at the runnable governance checks instead.
+- `a2a-check` compared the digest of a runtime `Delegation` with the digest of the same
+  object passed where a `DelegationDoc` was expected, so both sides hashed the camelCase
+  object and the assertion could never fail. It now converts with `toDelegationDoc()` and
+  compares the digest of the document with the digest of the document.
+- `persistence-check` spread a hash-chain payload typed `unknown`; the payload is now
+  narrowed explicitly at the test boundary.
+- `sign-check` imported a type in the middle of a multi-line import statement after the
+  automated rewrite; the import order is now correct.
+
+## [0.1.0] - 2026-10-24
+
+First public reference implementation.
+
+### Added
+
+#### Protocol and types
+
+- 14 JSON Schemas under `docs/schemas/`, with TypeScript types in one-to-one
+  correspondence.
+- A message envelope and seven speech acts: `attend`, `plan`, `act`, `ask`, `note`,
+  `reflect` and `read`.
+- Twelve invariants: W-1 to W-5 (warrant), A-1 to A-5 (attention), M-1 (manifest) and
+  X-1 (log).
+
+#### Attention
+
+- A salience contract with a monotonicity rule, plus focus and ignore sets.
+- An immutable frame chain; `Frame.ignored` records exclusions with `reason` and
+  `revisit_if`.
+- Impasse classification, and interrupt classes with attention debt.
+- Hard budget enforcement at the dispatcher: allocation may degrade to handles,
+  pagination or refusal, but never truncates silently.
+- Handle-based overflow, so that large results stay addressable.
+
+#### Warrant
+
+- T0–T4 epistemic tiers, confidence derivation and tier validation.
+- Minimal revision with a `supersedes` chain.
+- Explicit unknowns and stopping rules, with preregistration and reproduction checks.
+
+#### Execution
+
+- An MCP 2026-07-28 client: stateless `_meta`, `server/discover`, `ttlMs` and `cacheScope`,
+  HTTP binding headers, and a fallback to the legacy `initialize` handshake.
+- A budget dispatcher as the single metering point, with approval gating and TTL caching.
+
+#### Federation and trust
+
+- `ManifestBundle` and `Attestation`, digest pinning, revocation, and import that fails
+  closed.
+- Agent Card discovery and JWS/EdDSA card signatures.
+- Bundle keys, endorsement and scope policy; an A2A `message/send` binding that surfaces
+  JSON-RPC errors.
+
+#### Collaboration
+
+- Delegation with tier decay, ten invariants, lease fencing and depth limits.
+- A task board, result merging with contested-value handling, and authority adjudication.
+- A unified ledger, metrics (duplicate-task rate, alignment-token share, cost per success
+  and contested rate) and an end-to-end session.
+
+#### Persistence and sharing
+
+- An append-only hash chain over events, frames, receipts, claims, hypotheses, unknowns,
+  goals and plans.
+- Snapshot verification by count, tip, hash and chain order; restore refuses a broken
+  snapshot.
+- Three sharing granularities.
+
+#### Documentation and tooling
+
+- `docs/architecture.md`: the normative specification.
+- `docs/rationale.md`: twelve ADRs, each with its evidence, its cost and the options that
+  were rejected.
+- Multi-agent, trust-chain and federation documents, and nine research briefs.
+- 29 verification entries (166 counted assertions), 4 example generators and 5 endpoint
+  probes, plus 33 example objects validated against the schemas.
+
+### Security
+
+- Budgets are enforced at one point, in response to the class of failure represented by
+  CVE-2026-114386, where nested tool calls bypassed a per-run quota.
+- External content cannot raise its own salience; promotion requires a trusted signal.
+- Delegation, federation import and channel operations fail closed, each recording a
+  reason.
+
+### Known limitations
+
+- Sandbox isolation, multi-tenancy and interactive OAuth authorisation are not implemented.
+- Cross-domain tests run locally; interoperability with external agents has not been
+  demonstrated.
+- The specification and the research briefs are written in Simplified Chinese.

package/CHANGELOG.zh-CN.md

@@ -5,49 +5,73 @@
 格式遵循 [Keep a Changelog](https://keepachangelog.com/zh-CN/1.1.0/)，版本号遵循
 [语义化版本](https://semver.org/lang/zh-CN/)。
 
-## [未发布]
+## [未发布]
 
 ### 变更
 
 - 将项目说明收敛到中英文 README；评测汇总只保留 JSON 格式。
-
-## [0.4.0] - 2026-10-29
-
-治理层 v0.4：持久化、轮换与真实 HTTP 互操作。
-
-### 新增
-
-- 真实 HTTP 服务端（`src/governance/httpServer.ts`）：localhost、方法/路径/体积限制，
-  配合 `HttpCooperationTransport` 端到端认证；`cooperation-http-check` 3 项。
-- 密钥轮换（`GovernanceKeyring.rotate/revokeKid/prune`）：重叠窗口内旧签名继续有效，
-  旧 kid 可单独吊销；`signing-check` 增至 5 项。
-- 审计检查点（`checkpoint/verifyCheckpoint/entriesAfter`）：留存分段可独立校验；
-  `audit-check` 增至 4 项。
-- 治理对象持久化（`src/governance/store.ts`）：清单/凭据/回执写入 JSONL 事件日志，
-  重开恢复最新状态；`governance-store-check` 1 项。
-- DeepSeek 配对样本扩到 20 组：质量 rubric 20/20、judge 4.85/5、配对 token 增量 +6.9%、
-  成本约 $0.007547、边界 20/20。
-
-## [0.3.0] - 2026-10-28
-
-治理层 v0.3：Ed25519 签署、持久审计、认证传输与工具前门控。
-
-### 新增
-
-- Ed25519 签署适配层（`src/governance/signing.ts`）：`GovernanceSignatureBundle` 绑定
-  signer/subject/id/version/digest，`GovernanceKeyring` 支持吊销；`signing-check` 4 项覆盖
-  防移植、缺签、重复签与吊销。
-- 审计持久化：`src/storage/fileAppendSink.ts` 提供 JSONL 文件 sink；`audit-check` 新增
-  跨进程重开与磁盘篡改拒绝（共 3 项）。
-- HTTP 传输认证：Ed25519 签名、时间窗与 nonce 重放防护；`cooperation-check` 增至 14 项。
-- 工具前置门控（`src/governance/toolPolicy.ts`）：`GovernedToolPolicy` 在工具执行前检查
-  高风险审批、冻结/熔断与证据下限；`tool-gate-check` 4 项。
-- DeepSeek 评测扩到 20 个质量用例与 20 个边界用例：rubric 20/20、judge 4.85/5、
-  配对 token 增量 +6.2%、成本约 $0.004095；报告见 `docs/probes/governance-live.json`。
-\n## [0.2.0] - 2026-10-28
-
-治理层 v0.2：可审计、可传输、可度量，校验链全绿。
-
+
+## [0.4.2] - 2026-10-29
+
+### 修复
+
+- `attention-manifest-protocol/window` 现在导出账本层的压缩与剪枝：`planPrune`、`compactLedger`、`verifyCompaction`、`CompactionRefused`、`PruneResult`、`Compaction`、`CompactionOptions`，以及 `PrunePolicy`、`PrunePlan`、`PruneDecision`、`PruneReason`、`Checkpoint`、`LedgerKind` 等策略类型。这些实现此前虽已编译进 `lib/`，却未出现在 barrel 中，只能通过深层路径 `window/compaction.js` 访问。
+
+### 变更
+
+- 中英文 README 将压缩与剪枝补为架构构件，并点名账本层与概念层的入口函数。
+
+## [0.4.1] - 2026-10-29
+
+发布库构建：包现在提供可直接导入的 ESM 与类型声明。
+
+### 新增
+
+- `npm run build:lib` 将 ESM 与声明文件输出到 `lib/`；`prepublishOnly` 会在每次发布前重新构建。
+- `exports` 映射包根入口（`lib/index.js`）、各模块子路径、深层模块文件与 `schemas/*`；`main`、`types` 与 `types` 条件同时覆盖 `nodenext` 与 bundler 解析。
+- 为 `src/` 下其余目录补齐模块 barrel，使每个模块都有唯一导入路径。
+
+### 修复
+
+- 声明文件改用 JavaScript 扩展名。`tsc` 只会为 `.js` 输出重写相对 `.ts` 导入，因此由 `tools/rewrite-declaration-extensions.ts` 重写 `.d.ts`，若仍残留 TypeScript 扩展名则构建失败。
+
+## [0.4.0] - 2026-10-29
+
+治理层 v0.4：持久化、轮换与真实 HTTP 互操作。
+
+### 新增
+
+- 真实 HTTP 服务端（`src/governance/httpServer.ts`）：localhost、方法/路径/体积限制，
+  配合 `HttpCooperationTransport` 端到端认证；`cooperation-http-check` 3 项。
+- 密钥轮换（`GovernanceKeyring.rotate/revokeKid/prune`）：重叠窗口内旧签名继续有效，
+  旧 kid 可单独吊销；`signing-check` 增至 5 项。
+- 审计检查点（`checkpoint/verifyCheckpoint/entriesAfter`）：留存分段可独立校验；
+  `audit-check` 增至 4 项。
+- 治理对象持久化（`src/governance/store.ts`）：清单/凭据/回执写入 JSONL 事件日志，
+  重开恢复最新状态；`governance-store-check` 1 项。
+- DeepSeek 配对样本扩到 20 组：质量 rubric 20/20、judge 4.85/5、配对 token 增量 +6.9%、
+  成本约 $0.007547、边界 20/20。
+
+## [0.3.0] - 2026-10-28
+
+治理层 v0.3：Ed25519 签署、持久审计、认证传输与工具前门控。
+
+### 新增
+
+- Ed25519 签署适配层（`src/governance/signing.ts`）：`GovernanceSignatureBundle` 绑定
+  signer/subject/id/version/digest，`GovernanceKeyring` 支持吊销；`signing-check` 4 项覆盖
+  防移植、缺签、重复签与吊销。
+- 审计持久化：`src/storage/fileAppendSink.ts` 提供 JSONL 文件 sink；`audit-check` 新增
+  跨进程重开与磁盘篡改拒绝（共 3 项）。
+- HTTP 传输认证：Ed25519 签名、时间窗与 nonce 重放防护；`cooperation-check` 增至 14 项。
+- 工具前置门控（`src/governance/toolPolicy.ts`）：`GovernedToolPolicy` 在工具执行前检查
+  高风险审批、冻结/熔断与证据下限；`tool-gate-check` 4 项。
+- DeepSeek 评测扩到 20 个质量用例与 20 个边界用例：rubric 20/20、judge 4.85/5、
+  配对 token 增量 +6.2%、成本约 $0.004095；报告见 `docs/probes/governance-live.json`。
+\n## [0.2.0] - 2026-10-28
+
+治理层 v0.2：可审计、可传输、可度量，校验链全绿。
+
 ### 新增
 
 - 注意力治理层（`src/governance/`）。按「Attention Manifest Protocol 完整说明」实现九个构件：