Skip to content

chore: delete zombie crates, TTD stack, and stale audit reports#649

Merged
flyingrobots merged 71 commits into
mainfrom
chore/zombie-crate-teardown
Jul 13, 2026
Merged

chore: delete zombie crates, TTD stack, and stale audit reports#649
flyingrobots merged 71 commits into
mainfrom
chore/zombie-crate-teardown

Conversation

@flyingrobots

@flyingrobots flyingrobots commented Jul 13, 2026

Copy link
Copy Markdown
Owner

What

Post-audit teardown, per triage decisions:

  • Deleted crates (zero consumers; recoverable from git history): echo-wasm-bindings (browser demo kernel), echo-ttd, ttd-protocol-rs, echo-session-proto, echo-config-fs, plus the untracked ttd-browser prebuilt artifact and empty src/transport/. The TTD stack's future home is warp-ttd.
  • Deleted packages/ttd-protocol-ts (generated consumer of the removed protocol).
  • Deleted cargo xtask wesley — existed solely to sync-check the removed TTD protocol consumers (xtask: 9,311 → 9,094 lines).
  • Deleted stale point-in-time audit reports (docs/audit/, docs/audits/).
  • Scrubbed references: workspace members + deps, CI clippy lanes (ci.yml, macos-local.yml), det-policy.yaml, verify-local.sh, unordered-ABI allowlist, README key-crates.

Verification

  • cargo check --workspace ✅ (proves nothing depended on the deleted crates)
  • cargo test -p xtask — 90 passed ✅
  • cargo clippy -p xtask --all-targets
  • cargo fmt --all -- --check
  • markdownlint ✅

Net: −9,622 lines.

Summary by CodeRabbit

  • Removed

    • Retired unused application, configuration, session protocol, WASM, TTD, and generated protocol components.
    • Removed associated protocol APIs, validation schemas, bindings, and command-line synchronization tooling.
    • Removed obsolete audit reports and stale repository artifacts.
  • Documentation

    • Updated the changelog and project overview to reflect retired components.
  • Chores

    • Simplified workspace membership, local verification, linting, and policy configuration after the cleanup.

Remove crates with zero consumers, all recoverable from git history:
echo-wasm-bindings (browser demo kernel), echo-ttd, ttd-protocol-rs,
echo-session-proto, echo-config-fs, the untracked ttd-browser prebuilt
artifact, packages/ttd-protocol-ts, and the empty src/transport/ dir.
The TTD stack's future home is warp-ttd.

Also remove the 'cargo xtask wesley' subcommand (existed solely to
sync-check the deleted TTD protocol consumers) and the stale
point-in-time audit reports under docs/audit/ and docs/audits/.

Scrub all references: workspace members and dependencies, CI clippy
lanes (ci.yml, macos-local.yml), det-policy.yaml, verify-local.sh,
unordered-ABI allowlist, README key-crates list. CHANGELOG updated.

Verified: cargo check --workspace, cargo test -p xtask (90 passed),
cargo clippy -p xtask, cargo fmt --check all pass.
@coderabbitai

coderabbitai Bot commented Jul 13, 2026

Copy link
Copy Markdown
Contributor

Review Change Stack

Important

Review skipped

Too many files!

This PR contains 501 files, which is 351 over the limit of 150.

To get a review, narrow the scope:
• coderabbit review --type committed # exclude uncommitted changes
• coderabbit review --dir # limit to a subdirectory
• coderabbit review --base # compare against a closer base

Upgrade to a paid plan to raise the limit.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Pro

Run ID: 9a59fb33-c980-4525-a44f-21ba92ce2aa2

📥 Commits

Reviewing files that changed from the base of the PR and between bf92192 and 469b47a.

⛔ Files ignored due to path filters (10)
  • Cargo.lock is excluded by !**/*.lock
  • docs/assets/dags/issue-deps.dot is excluded by !**/*.dot
  • docs/assets/dags/issue-deps.svg is excluded by !**/*.svg
  • docs/assets/dags/milestone-deps.dot is excluded by !**/*.dot
  • docs/assets/dags/milestone-deps.svg is excluded by !**/*.svg
  • docs/assets/wvp/session-dashboard.png is excluded by !**/*.png
  • docs/method/task-dag.dot is excluded by !**/*.dot
  • docs/method/task-dag.svg is excluded by !**/*.svg
  • docs/method/task-matrix.csv is excluded by !**/*.csv
  • pnpm-lock.yaml is excluded by !**/pnpm-lock.yaml
📒 Files selected for processing (501)
  • .ban-unordered-abi-allowlist
  • .gitattributes
  • .githooks/pre-commit
  • .github/workflows/ci.yml
  • .github/workflows/det-gates.yml
  • .github/workflows/macos-local.yml
  • .github/workflows/refresh-dependency-dags.yml
  • ADVANCED_GUIDE.md
  • AGENTS.md
  • ARCHITECTURE.md
  • CHANGELOG.md
  • CLAUDE.md
  • CONTRIBUTING.md
  • Cargo.toml
  • GUIDE.md
  • METHOD.md
  • Makefile
  • README.md
  • backlog/bad-code/RE-028-snapshot-accumulator-memoization.md
  • backlog/bad-code/RE-029-concurrent-snapshot-fetching.md
  • backlog/bad-code/RE-030-queryview-optic-convergence.md
  • backlog/bad-code/RE-031-capability-grant-validation-admission-integration.md
  • backlog/bad-code/RE-032-durable-scheduler-fault-evidence.md
  • backlog/bad-code/RE-033-retained-evidence-boundary-posture-runtime.md
  • backlog/cool-ideas/CI-001-causal-puzzle-engine.md
  • backlog/cool-ideas/CI-002-deterministic-flamegraphs.md
  • backlog/cool-ideas/CI-003-append-only-braid-membership.md
  • crates/echo-app-core/Cargo.toml
  • crates/echo-app-core/README.md
  • crates/echo-app-core/src/config.rs
  • crates/echo-app-core/src/config_port.rs
  • crates/echo-app-core/src/lib.rs
  • crates/echo-app-core/src/prefs.rs
  • crates/echo-app-core/src/render_port.rs
  • crates/echo-app-core/src/toast.rs
  • crates/echo-config-fs/Cargo.toml
  • crates/echo-config-fs/README.md
  • crates/echo-config-fs/src/lib.rs
  • crates/echo-dry-tests/Cargo.toml
  • crates/echo-dry-tests/README.md
  • crates/echo-dry-tests/src/config.rs
  • crates/echo-dry-tests/src/lib.rs
  • crates/echo-graph/README.md
  • crates/echo-session-proto/Cargo.toml
  • crates/echo-session-proto/README.md
  • crates/echo-session-proto/src/canonical.rs
  • crates/echo-session-proto/src/eint_v2.rs
  • crates/echo-session-proto/src/integrity_tests.rs
  • crates/echo-session-proto/src/lib.rs
  • crates/echo-session-proto/src/ttdr_v2.rs
  • crates/echo-session-proto/src/wire.rs
  • crates/echo-ttd/Cargo.toml
  • crates/echo-ttd/README.md
  • crates/echo-ttd/src/compliance.rs
  • crates/echo-ttd/src/lib.rs
  • crates/echo-wasm-abi/README.md
  • crates/echo-wasm-abi/src/canonical.rs
  • crates/echo-wasm-abi/src/kernel_port.rs
  • crates/echo-wasm-abi/src/lib.rs
  • crates/echo-wasm-abi/src/ttd.rs
  • crates/echo-wasm-abi/tests/jedit_rope_cross_boundary.rs
  • crates/echo-wasm-bindings/Cargo.toml
  • crates/echo-wasm-bindings/README.md
  • crates/echo-wasm-bindings/src/lib.rs
  • crates/echo-wasm-bindings/src/ttd.rs
  • crates/echo-wasm-bindings/tests/api_tests.rs
  • crates/echo-wasm-bindings/tests/ttd_tests.rs
  • crates/method/Cargo.toml
  • crates/method/src/close.rs
  • crates/method/src/drift.rs
  • crates/method/src/graph.rs
  • crates/method/src/inbox.rs
  • crates/method/src/lib.rs
  • crates/method/src/pull.rs
  • crates/method/src/status.rs
  • crates/method/src/workspace.rs
  • crates/method/tests/close_tests.rs
  • crates/method/tests/drift_tests.rs
  • crates/method/tests/graph_tests.rs
  • crates/method/tests/inbox_tests.rs
  • crates/method/tests/pull_tests.rs
  • crates/method/tests/status_tests.rs
  • crates/ttd-protocol-rs/.gitkeep
  • crates/ttd-protocol-rs/Cargo.toml
  • crates/ttd-protocol-rs/README.md
  • crates/ttd-protocol-rs/lib.rs
  • crates/warp-core/README.md
  • crates/warp-core/src/braid_shell.rs
  • crates/warp-core/src/causal_anchor.rs
  • crates/warp-core/src/causal_wal.rs
  • crates/warp-core/src/evidence.rs
  • crates/warp-core/src/revelation.rs
  • crates/warp-core/src/trusted_runtime_host.rs
  • crates/warp-core/tests/causal_anchor_tests.rs
  • crates/warp-core/tests/retained_evidence_ref_tests.rs
  • crates/warp-core/tests/strand_contract_tests.rs
  • crates/warp-wasm/README.md
  • crates/warp-wasm/src/lib.rs
  • det-policy.yaml
  • docs/BEARING.md
  • docs/README.md
  • docs/WorkItems.md
  • docs/adr/0012-repository-knowledge-model.md
  • docs/adr/0013-echo-continuum-authority-boundary.md
  • docs/adr/0014-generated-rule-authorship-and-footprints.md
  • docs/adr/0015-registry-provider-host-boundary.md
  • docs/adr/0016-continuum-transport-identity.md
  • docs/adr/0017-universal-little-endian-codec.md
  • docs/adr/0018-sessions-causal-posture-and-authority.md
  • docs/adr/0019-bunny-owns-reusable-geometry.md
  • docs/adr/0020-retained-reading-storage-and-proof-boundary.md
  • docs/adr/0021-public-optic-observation-boundary.md
  • docs/adr/ADR-0001-warp-two-plane-skeleton-and-attachments.md
  • docs/adr/ADR-0002-warp-instances-descended-attachments.md
  • docs/adr/ADR-0003-Materialization-Bus.md
  • docs/adr/ADR-0004-No-Global-State.md
  • docs/adr/ADR-0005-Physics.md
  • docs/adr/ADR-0006-Ban-Non-Determinism.md
  • docs/adr/ADR-0007-BOAW-Storage.md
  • docs/adr/ADR-0008-Worldline-Runtime-Model.md
  • docs/adr/ADR-0009-Inter-Worldline-Communication.md
  • docs/adr/ADR-0010-observational-seek-and-administrative-rewind.md
  • docs/adr/ADR-0011-explicit-observation-contract.md
  • docs/adr/README.md
  • docs/architecture/WARP_DRIFT.md
  • docs/architecture/application-contract-hosting.md
  • docs/architecture/continuum-foundations.md
  • docs/architecture/continuum-transport.md
  • docs/architecture/echo-optics-adapter-notes.md
  • docs/architecture/outline.md
  • docs/architecture/wsc-verkle-ipa-retained-readings.md
  • docs/assets/dags/clusters-config.json
  • docs/assets/dags/deps-config.json
  • docs/audit/2026-04-11_code-quality.md
  • docs/audit/2026-04-11_documentation-quality.md
  • docs/audit/2026-04-11_ship-readiness.md
  • docs/audits/backlog-staleness-audit.md
  • docs/audits/docs-inventory-2026-04-26.md
  • docs/audits/echo-docs-editorial-cut-2026-04-01.md
  • docs/audits/echo-report-2026-04-01.md
  • docs/audits/suspicious-stuff.md
  • docs/benchmarks/BENCHMARK_GUIDE.md
  • docs/benchmarks/RESERVE_BENCHMARK.md
  • docs/benchmarks/parallelism-study.md
  • docs/benchmarks/scheduler-performance-warp-core.md
  • docs/design/0001-roadmap-migration/roadmap-migration.md
  • docs/design/0002-xtask-method-status/xtask-method-status.md
  • docs/design/0003-dt-policy.md
  • docs/design/0003-dt-policy/KERNEL_dt-policy.md
  • docs/design/0003-dt-policy/design.md
  • docs/design/0004-strand-contract.md
  • docs/design/0004-strand-contract/KERNEL_strand-contract.md
  • docs/design/0004-strand-contract/design.md
  • docs/design/0005-echo-ttd-witness-surface.md
  • docs/design/0005-echo-ttd-witness-surface/design.md
  • docs/design/0006-echo-continuum-alignment.md
  • docs/design/0006-echo-continuum-alignment/design.md
  • docs/design/0007-braid-geometry-and-neighborhood-publication.md
  • docs/design/0007-braid-geometry-and-neighborhood-publication/design.md
  • docs/design/0008-strand-settlement.md
  • docs/design/0008-strand-settlement/design.md
  • docs/design/0009-strand-runtime-graph-ontology.md
  • docs/design/0009-witnessed-causal-suffix-sync/design.md
  • docs/design/0010-bounded-site-and-admission-policy.md
  • docs/design/0010-live-basis-settlement-plan/design.md
  • docs/design/0011-neighborhood-publication-stack.md
  • docs/design/0011-optic-observer-runtime-doctrine/design.md
  • docs/design/0012-dynamic-footprint-binding-runtime.md
  • docs/design/0012-witnessed-suffix-posture-canonicalization/design.md
  • docs/design/0013-generic-observer-api-and-plan.md
  • docs/design/0013-wesley-compiled-contract-hosting-doctrine/design.md
  • docs/design/0014-eint-registry-observation-boundary-inventory/design.md
  • docs/design/0015-registry-provider-host-boundary-decision/design.md
  • docs/design/0016-wesley-to-echo-toy-contract-proof/design.md
  • docs/design/0017-authenticated-wesley-intent-admission-posture/design.md
  • docs/design/0018-contract-hosted-file-history-substrate/design.md
  • docs/design/0018-contract-hosted-file-history-substrate/request.md
  • docs/design/0018-echo-optics-api-design/design.md
  • docs/design/0018-echo-optics-api-design/request.md
  • docs/design/0018-echo-optics-api-design/wesley-compiled-optic-bindings.md
  • docs/design/0019-reading-envelope-family-boundary/reading-envelope-family-boundary.md
  • docs/design/0020-echo-cas-browser/echo-cas-browser.md
  • docs/design/0021-parent-drift-owned-footprint-revalidation/parent-drift-owned-footprint-revalidation.md
  • docs/design/0022-continuum-transport-identity/design.md
  • docs/design/0023-import-transport-intent-admission-path/import-transport-intent-admission-path.md
  • docs/design/0024-universal-le-binary-codec/design.md
  • docs/design/0025-sessions-as-causal-contexts/design.md
  • docs/design/0025-sessions-as-causal-contexts/phase-2-handoff.md
  • docs/design/0025-sessions-as-causal-contexts/phase-2-notes.md
  • docs/design/0025-sessions-as-causal-contexts/request.md
  • docs/design/0026-braid-shell-family-and-plural-settlement/design.md
  • docs/design/0026-echo-owned-geometry-kernel/design.md
  • docs/design/0027-three-tier-thinking-room/design.md
  • docs/design/0028-strand-typestates-proof-envelopes-and-evolving-braids/design.md
  • docs/design/aperture-bound-optic-admission.md
  • docs/design/basis-bound-optic-admission.md
  • docs/design/braids-and-strands-hardening/goalpost-01-lawful-construction-and-typed-failures.md
  • docs/design/braids-and-strands-hardening/goalpost-02-stable-identity-and-privacy-posture.md
  • docs/design/braids-and-strands-hardening/goalpost-03-historical-membership-and-replay.md
  • docs/design/braids-and-strands-hardening/goalpost-04-witness-receipts-and-sealed-capabilities.md
  • docs/design/braids-and-strands-hardening/goalpost-05-named-plurality-laws.md
  • docs/design/braids-and-strands-hardening/goalpost-06-topology-intents-and-wal-recovery.md
  • docs/design/braids-and-strands-roadmap.md
  • docs/design/budget-and-runtime-support-optic-admission.md
  • docs/design/built-in-echo-graph-data-model.md
  • docs/design/capability-grant-validation-obstruction-facts.md
  • docs/design/causal-wal-end-to-end.md
  • docs/design/causal-wal-hardening-matrix.md
  • docs/design/continuum-runtime-and-cas-readings.md
  • docs/design/contract-obstruction-taxonomy.md
  • docs/design/echo-edict-provider-semantic-source.md
  • docs/design/echo-owned-file-aperture.md
  • docs/design/edict-target-ir-obstruction-receipt-bridge.md
  • docs/design/graft-echo-native-readiness-boundary.md
  • docs/design/graph-fact-publication-skeleton.md
  • docs/design/invocation-grant-validation-obstruction-routing.md
  • docs/design/invocation-obstruction-graph-facts.md
  • docs/design/jedit-echo-continuum-stack-plan.md
  • docs/design/local-contract-path-replay-dind-proof.md
  • docs/design/obstruction-receipt-boundary.md
  • docs/design/optic-admission-ladder-checkpoint.md
  • docs/design/optic-capability-grant-intent-boundary.md
  • docs/design/post-contract-evidence-roadmap-refresh.md
  • docs/design/product-facing-intent-outcome-api.md
  • docs/design/reference-trusted-runtime-host-loop.md
  • docs/design/retained-evidence-refs-and-missing-retention.md
  • docs/design/serious-external-consumer-proof-fixture.md
  • docs/design/stack-witness-0001-jedit-file-history.md
  • docs/design/supported-outcome-settlement.md
  • docs/design/transaction-optic-atomicity-model.md
  • docs/design/trusted-runtime-control-history.md
  • docs/design/v0.1.0-authority-boundary-audit.md
  • docs/design/v0.1.0-contract-artifact-retention-in-echo-cas.md
  • docs/design/v0.1.0-contract-aware-receipts-and-readings.md
  • docs/design/v0.1.0-contract-reading-identity-and-bounded-payloads.md
  • docs/design/v0.1.0-contract-retention-and-semantic-lookup-seams.md
  • docs/design/v0.1.0-external-contract-proof-fixture.md
  • docs/design/v0.1.0-jedit-next-ten-slices.md
  • docs/design/v0.1.0-jedit-release-gate.md
  • docs/design/v0.1.0-release-plan.md
  • docs/design/versioned-contract-api-compatibility.md
  • docs/design/wal-wsc-durability-roadmap.md
  • docs/design/wal-wsc-release-closure-audit.md
  • docs/design/warp-optic-implementation-map.md
  • docs/design/wasm-trusted-runtime-host-control-boundary.md
  • docs/design/wip-branch-policy.md
  • docs/design/witnessed-submission-persistence.md
  • docs/design/witnessed-suffix-admission-evaluator.md
  • docs/design/witnessed-suffix-admission-shell.md
  • docs/design/work-item-sequencing-and-prioritization.md
  • docs/determinism/CLAIM_MAP.yaml
  • docs/determinism/DETERMINISM_CLAIMS_v0.1.md
  • docs/determinism/DETERMINISTIC_MATH.md
  • docs/determinism/RELEASE_POLICY.md
  • docs/determinism/SPEC_DETERMINISTIC_MATH.md
  • docs/determinism/sec-claim-map.json
  • docs/invariants/DECLARATIVE-RULE-AUTHORSHIP.md
  • docs/invariants/FIXED-TIMESTEP.md
  • docs/invariants/STRAND-CONTRACT.md
  • docs/invariants/TTD-COUNTERFACTUAL-CREATION.md
  • docs/method/HANDOFF.md
  • docs/method/README.md
  • docs/method/backlog/.gitkeep
  • docs/method/dependency-dags.md
  • docs/method/design-template.md
  • docs/method/graveyard/5x-duty-model.md
  • docs/method/graveyard/KERNEL_domain-separated-hashes.md
  • docs/method/graveyard/KERNEL_strands-and-braiding.md
  • docs/method/graveyard/KERNEL_stream-merge-semantics.md
  • docs/method/graveyard/PLATFORM_benchmarks-cleanup.md
  • docs/method/graveyard/PLATFORM_echo-session-proto-split.md
  • docs/method/graveyard/PLATFORM_ttd-browser-host-bridge.md
  • docs/method/graveyard/boaw-naming.md
  • docs/method/graveyard/github-issue-migration/README.md
  • docs/method/graveyard/github-issue-migration/asap/DOCS_docs-cleanup.md
  • docs/method/graveyard/github-issue-migration/asap/KERNEL_echo-git-warp-compatibility-sanity-check.md
  • docs/method/graveyard/github-issue-migration/asap/MATH_deterministic-trig.md
  • docs/method/graveyard/github-issue-migration/asap/PLATFORM_ci-det-policy-hardening.md
  • docs/method/graveyard/github-issue-migration/asap/PLATFORM_cli-scaffold.md
  • docs/method/graveyard/github-issue-migration/asap/PLATFORM_contract-hosted-file-history-substrate.md
  • docs/method/graveyard/github-issue-migration/asap/PLATFORM_contract-queryview-observer-bridge.md
  • docs/method/graveyard/github-issue-migration/asap/PLATFORM_decoder-negative-test-map.md
  • docs/method/graveyard/github-issue-migration/asap/PLATFORM_echo-contract-hosting-roadmap.md
  • docs/method/graveyard/github-issue-migration/asap/PLATFORM_installed-wesley-contract-host-dispatch.md
  • docs/method/graveyard/github-issue-migration/asap/PLATFORM_ttd-rollback-playbooks.md
  • docs/method/graveyard/github-issue-migration/asap/PLATFORM_ttd-schema-reconciliation.md
  • docs/method/graveyard/github-issue-migration/asap/PLATFORM_wesley-compiled-contract-hosting-doctrine.md
  • docs/method/graveyard/github-issue-migration/bad-code/DOCS_no-published-umbrella-for-warp-optics.md
  • docs/method/graveyard/github-issue-migration/bad-code/PLATFORM_echo-wesley-gen-local-emitter-duplication.md
  • docs/method/graveyard/github-issue-migration/bad-code/PLATFORM_echo-wesley-gen-monolith.md
  • docs/method/graveyard/github-issue-migration/bad-code/PLATFORM_linked-worktree-hooks-use-dotgit-paths.md
  • docs/method/graveyard/github-issue-migration/bad-code/PLATFORM_warp-wasm-cbor-debt.md
  • docs/method/graveyard/github-issue-migration/bad-code/PLATFORM_wesley-gen-test-crate-builder-duplication.md
  • docs/method/graveyard/github-issue-migration/bad-code/red-green-lint-friction.md
  • docs/method/graveyard/github-issue-migration/bad-code/wasm-control-intent-authority-boundary.md
  • docs/method/graveyard/github-issue-migration/bad-code/xtask-god-file.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/DOCS_glossary-enforcement.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/DOCS_splash-guy-course-material.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/DOCS_tumble-tower-course-material.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/KERNEL_parallel-execution-counterfactuals.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/KERNEL_rulial-diff.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/KERNEL_splash-guy-controlled-desync.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/KERNEL_splash-guy-lockstep-protocol.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/KERNEL_splash-guy-rules-and-state.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/KERNEL_time-travel-mvp.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/KERNEL_tumble-tower-desync-breakers.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/KERNEL_tumble-tower-lockstep-harness.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/KERNEL_worldline-convergence.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/MATH_tumble-tower-stage-0-aabb.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/MATH_tumble-tower-stage-1-rotation.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/MATH_tumble-tower-stage-2-friction.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/MATH_tumble-tower-stage-3-sleeping.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/METHOD_generated-playback.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/METHOD_leash-files.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_claude-think-remember.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_continuum-contract-artifact-interchange.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_cross-repo-method-dashboard.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_deep-storage-api-evolution.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_deep-storage-disk-tier.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_deep-storage-gc-sweep-eviction.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_deep-storage-wire-protocol.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_method-crate-extract.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_method-drift-as-pre-push-hook.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_prettier-before-cargo-hook-ordering.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_proof-carrying-apertures.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_reading-envelope-inspector.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_schema-version-fingerprint-prefix.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_splash-guy-visualization.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_test-timing-history.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_tumble-tower-visualization.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_warpdrive-posix-optic.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_wesley-emitted-fixture-vectors.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_wesley-gen-test-loop-speedup.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/PLATFORM_xtask-leash-audit-stub.md
  • docs/method/graveyard/github-issue-migration/cool-ideas/WESLEY_ir-structural-diff.md
  • docs/method/graveyard/github-issue-migration/inbox/DOCS_wesley-docs.md
  • docs/method/graveyard/github-issue-migration/inbox/KERNEL_deterministic-rhai.md
  • docs/method/graveyard/github-issue-migration/inbox/KERNEL_invariants-as-docs.md
  • docs/method/graveyard/github-issue-migration/inbox/KERNEL_security.md
  • docs/method/graveyard/github-issue-migration/inbox/PLATFORM_abi-nested-evidence-strictness.md
  • docs/method/graveyard/github-issue-migration/inbox/PLATFORM_editor-hot-reload.md
  • docs/method/graveyard/github-issue-migration/inbox/PLATFORM_git-mind-nexus.md
  • docs/method/graveyard/github-issue-migration/inbox/PLATFORM_importer.md
  • docs/method/graveyard/github-issue-migration/inbox/PLATFORM_method-status-legend-progress.md
  • docs/method/graveyard/github-issue-migration/inbox/PLATFORM_reconcile-relocated-wesley-echo-schemas.md
  • docs/method/graveyard/github-issue-migration/inbox/PLATFORM_runtime-owned-footprint-directive-migration.md
  • docs/method/graveyard/github-issue-migration/inbox/PLATFORM_signing-pipeline.md
  • docs/method/graveyard/github-issue-migration/inbox/PLATFORM_tooling-misc.md
  • docs/method/graveyard/github-issue-migration/inbox/PLATFORM_ttd-hardening.md
  • docs/method/graveyard/github-issue-migration/inbox/PLATFORM_wesley-boundary-grammar.md
  • docs/method/graveyard/github-issue-migration/inbox/PLATFORM_wesley-future.md
  • docs/method/graveyard/github-issue-migration/up-next/KERNEL_admission-outcome-family.md
  • docs/method/graveyard/github-issue-migration/up-next/KERNEL_bounded-site-and-admission-policy.md
  • docs/method/graveyard/github-issue-migration/up-next/KERNEL_braid-settlement-admission-unification.md
  • docs/method/graveyard/github-issue-migration/up-next/KERNEL_compliance-protocol-envelope.md
  • docs/method/graveyard/github-issue-migration/up-next/KERNEL_contract-inverse-admission-hook.md
  • docs/method/graveyard/github-issue-migration/up-next/KERNEL_contract-strands-and-counterfactuals.md
  • docs/method/graveyard/github-issue-migration/up-next/KERNEL_determinism-escape-hatches.md
  • docs/method/graveyard/github-issue-migration/up-next/KERNEL_dynamic-footprint-binding-runtime.md
  • docs/method/graveyard/github-issue-migration/up-next/KERNEL_generic-contract-braid-substrate.md
  • docs/method/graveyard/github-issue-migration/up-next/KERNEL_intent-only-contract-runtime-mutations.md
  • docs/method/graveyard/github-issue-migration/up-next/KERNEL_sha256-blake3.md
  • docs/method/graveyard/github-issue-migration/up-next/KERNEL_strand-runtime-graph-ontology.md
  • docs/method/graveyard/github-issue-migration/up-next/KERNEL_time-travel-capabilities.md
  • docs/method/graveyard/github-issue-migration/up-next/KERNEL_topology-mutation-intent-boundary-audit.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_authenticated-wesley-intent-admission-posture.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_braid-settlement-intent-paths.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_browser-visualization.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_continuum-admission-family-cutover.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_continuum-proof-family-runtime-cutover.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_echo-agent-surface-cli-and-mcp.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_echo-cas-js-bindings.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_echo-git-warp-witnessed-suffix-sync.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_footprint-honesty-rewrite-proof-slice.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_graft-live-frontier-structural-readings.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_import-outcome-idempotence-and-loop-law.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_import-outcome-retention-novelty-index.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_inverse-operation-intent-path.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_jedit-hot-text-runtime-host-surface.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_jedit-text-contract-mvp.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_method-sync-and-doctor-triage.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_neighborhood-publication-stack.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_strand-and-support-intent-paths.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_wasm-runtime.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_wesley-footprint-honesty-artifact-attestation.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_wesley-go-public.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_wesley-migration.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_wesley-qir-phase-c.md
  • docs/method/graveyard/github-issue-migration/up-next/PLATFORM_wesley-type-pipeline-browser.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/DOCS_release-grade-quickstart.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/KERNEL_contract-aware-receipts-and-readings.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/KERNEL_contract-obstruction-taxonomy.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/KERNEL_contract-reading-identity-and-bounded-payloads.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/KERNEL_witnessed-intent-submission-persistence.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/PLATFORM_app-safe-client-surface.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/PLATFORM_contract-artifact-retention-in-echo-cas.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/PLATFORM_contract-retention-and-semantic-lookup-seams.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/PLATFORM_external-contract-proof-fixture.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/PLATFORM_jedit-real-echo-release-gate.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/PLATFORM_js-wasm-browser-client-release-surface.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/PLATFORM_product-facing-intent-outcome-api.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/PLATFORM_reference-trusted-runtime-host-loop.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/PLATFORM_retained-evidence-durability-boundary.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/PLATFORM_versioned-contract-api-compatibility.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/PLATFORM_wal-wsc-storage-relationship.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/PLATFORM_wsc-causal-history-storage.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/RELEASE_package-publish-and-versioning.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/RELEASE_v0.1.0-release-candidate.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/SECURITY_authority-boundary-audit.md
  • docs/method/graveyard/github-issue-migration/v0.1.0/TEST_v0.1.0-replay-dind-proof.md
  • docs/method/graveyard/unimplemented-future-specs.md
  • docs/method/legends/DOCS.md
  • docs/method/legends/KERNEL.md
  • docs/method/legends/MATH.md
  • docs/method/legends/PLATFORM.md
  • docs/method/retro/0001-roadmap-migration/retro.md
  • docs/method/retro/0002-xtask-method-status/retro.md
  • docs/method/retro/0003-dt-policy/retro.md
  • docs/method/retro/0003-dt-policy/witness/test-output.txt
  • docs/method/retro/0004-strand-contract/retro.md
  • docs/method/retro/0004-strand-contract/witness/rust-test-output.txt
  • docs/method/retro/0004-strand-contract/witness/shell-test-output.txt
  • docs/method/retro/0016-wesley-to-echo-toy-contract-proof/retro.md
  • docs/method/retro/0019-reading-envelope-family-boundary/retro.md
  • docs/method/retro/0020-echo-cas-browser/retro.md
  • docs/method/retro/0021-parent-drift-owned-footprint-revalidation/retro.md
  • docs/method/retro/0023-import-transport-intent-admission-path/retro.md
  • docs/method/task-matrix.md
  • docs/procedures/DIRECT-MAIN-EXCEPTION-LOG.md
  • docs/procedures/DOCS-LIFECYCLE.md
  • docs/procedures/EXTRACT-PR-COMMENTS.md
  • docs/procedures/ISSUE-DEPENDENCIES.md
  • docs/procedures/PR-SUBMISSION-REVIEW-LOOP.md
  • docs/releases/echo-1.0-contract.md
  • docs/spec/SPEC-0001-attachment-plane-v0-atoms.md
  • docs/spec/SPEC-0002-descended-attachments-v1.md
  • docs/spec/SPEC-0003-dpo-concurrency-litmus-v0.md
  • docs/spec/SPEC-0004-worldlines-playback-truthbus.md
  • docs/spec/SPEC-0005-provenance-payload.md
  • docs/spec/SPEC-0009-wasm-abi-v3.md
  • docs/spec/SPEC-0009-wasm-abi.md
  • docs/spec/abi-golden-vectors.md
  • docs/spec/canonical-inbox-sequencing.md
  • docs/spec/js-cbor-mapping.md
  • docs/spec/merkle-commit.md
  • docs/spec/scheduler-warp-core.md
  • docs/spec/warp-core.md
  • docs/spec/warp-tick-patch.md
  • docs/spec/warp-view-protocol.md
  • docs/technical-teardown.md
  • docs/topics/CausalAnchors.md
  • docs/topics/GeneratedRules.md
  • docs/topics/Obstructions.md
  • docs/topics/README.md
  • docs/topics/RuntimeAuthority.md
  • docs/topics/RuntimeConstellation.md
  • docs/topics/StrandsAndBraids.md
  • docs/topics/WAL.md
  • docs/topics/WarpOptics.md
  • docs/workflows.md
  • packages/ttd-protocol-ts/.gitkeep
  • packages/ttd-protocol-ts/README.md
  • packages/ttd-protocol-ts/index.ts
  • packages/ttd-protocol-ts/package.json
  • packages/ttd-protocol-ts/primitives.ts
  • packages/ttd-protocol-ts/registry.ts
  • packages/ttd-protocol-ts/types.ts
  • packages/ttd-protocol-ts/zod.ts
  • schemas/runtime/README.md
  • scripts/ban-nondeterminism.sh
  • scripts/check-append-only.js
  • scripts/check-wal-wsc-doctrine.sh
  • scripts/check_task_lists.sh
  • scripts/classify_changes.cjs
  • scripts/dag-utils.js
  • scripts/generate-dependency-dags.js
  • scripts/generate_evidence.cjs
  • scripts/open_dependency_dags_pr.sh
  • scripts/parse-tasks-dag.js
  • scripts/scaffold-community.sh
  • scripts/tests/check_task_lists_test.sh
  • scripts/tests/check_wal_wsc_doctrine_test.sh
  • scripts/tests/classify_changes.test.cjs
  • scripts/tests/declarative_rule_authorship_invariant_test.sh
  • scripts/tests/fixed_timestep_invariant_test.sh
  • scripts/tests/parse-tasks-dag.test.js
  • scripts/tests/strand_contract_invariant_test.sh
  • scripts/tests/warp_wasm_package_exports_test.mjs
  • scripts/tests/wasm_abi_exports.mjs
  • scripts/tests/wasm_abi_truth_test.mjs
  • scripts/validate_claims.cjs
  • scripts/validate_det_policy.cjs
  • scripts/verify-local.sh
  • tests/docs/test_adr_namespace.sh
  • tests/docs/test_generated_rule_truth.sh
  • tests/docs/test_knowledge_model.sh
  • tests/docs/test_retired_component_refs.sh
  • tests/hooks/test_dependency_dags.sh
  • tests/hooks/test_verify_local.sh
  • xtask/Cargo.toml
  • xtask/src/main.rs

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • 🔍 Trigger review

Walkthrough

Removes obsolete Echo application, configuration, session-protocol, TTD, WASM, and generated consumer crates and APIs. Workspace metadata, CI targets, determinism policies, local verification scripts, documentation, and the xtask wesley command are updated accordingly.

Changes

Legacy crate and protocol removal

Layer / File(s) Summary
Workspace and legacy surface removal
Cargo.toml, crates/echo-app-core/*, crates/echo-config-fs/*, crates/echo-session-proto/*, crates/echo-ttd/*, crates/echo-wasm-bindings/*, crates/ttd-protocol-rs/*, packages/ttd-protocol-ts/*, crates/echo-dry-tests/*
Removes obsolete crate manifests, implementations, protocol APIs, generated TypeScript consumers, WASM bindings, TTD functionality, and dry-test configuration support; workspace membership, dependencies, README content, and changelog entries are updated.
CI and determinism scope updates
.ban-unordered-abi-allowlist, .github/workflows/*, det-policy.yaml, scripts/verify-local.sh
Removes deleted crates from lint targets, critical and important determinism classifications, local verification selections, and the unordered-ABI allowlist while retaining the remaining selected crates.
Wesley command removal
xtask/src/main.rs
Removes the Wesley CLI variants, dispatch arm, synchronization implementation, reporting logic, and associated tests.

Estimated code review effort: 4 (Complex) | ~45 minutes

Possibly related PRs

Suggested labels: tooling

🚥 Pre-merge checks | ✅ 5
✅ Passed checks (5 passed)
Check name Status Explanation
Description Check ✅ Passed Check skipped - CodeRabbit’s high-level summary is enabled.
Title check ✅ Passed Title matches the main change: removal of unused crates, the TTD stack, and stale audit reports.
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check ✅ Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check ✅ Passed Check skipped because no linked issues were found for this pull request.

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 101baf4631

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/echo-ttd/Cargo.toml
Comment thread crates/echo-session-proto/src/eint_v2.rs
Comment thread crates/echo-session-proto/src/lib.rs
echo-app-core lost its last production consumer when echo-config-fs was
removed; its only remaining dependent was echo-dry-tests' InMemoryConfigStore,
which nothing consumed either. Scrubbed workspace members/deps, CI clippy
lanes, and det-policy. cargo check --workspace and echo-dry-tests tests pass.

Copy link
Copy Markdown
Owner Author

Code Lawyer — Phase I self-audit findings

Deep audit of origin/main...bf921928 found the following issues beyond the three existing unresolved review threads.

ID Severity Area Finding Deterministic witness
SELF-1 P2 crates/echo-dry-tests The config fake was deleted, but the README still advertises InMemoryConfigStore. `rg -n 'InMemoryConfigStore
SELF-2 P3 crates/echo-dry-tests/Cargo.toml serde and serde_json remain direct dependencies although neither is used by retained source. `rg -n '\bserde(_json)?\b
SELF-3 P2 Active architecture docs ARCHITECTURE.md, crates/echo-graph/README.md, and crates/echo-wasm-abi/README.md still present deleted crates as active architecture. `rg -n 'echo-(app-core
SELF-4 P3 pnpm-lock.yaml The removed packages/ttd-protocol-ts importer and now-unused zod@4.3.6 resolution remain in the generated lockfile. `rg -n 'ttd-protocol-ts
SELF-5 P4 tests/hooks/test_verify_local.sh The classifier fixture still uses deleted echo-app-core; it passes only because the detector trusts arbitrary path strings, so it no longer exercises a real crate. test -e crates/echo-app-core/src/lib.rs fails while bash tests/hooks/test_verify_local.sh passes
SELF-6 P4 CHANGELOG.md The new entry claims this PR shipped deletion of an untracked ttd-browser artifact. Untracked deletion cannot exist in the PR diff, and tracked ttd-browser removal was already recorded by the earlier teardown. git diff --name-status origin/main...HEAD -- crates/ttd-browser is empty
SELF-7 P2 Abandoned Method/design corpus Live design/process documents still prescribe work on components deleted by this PR. The user has explicitly ordered full Method/process teardown, so these will be removed rather than individually patched. Targeted rg over docs/design and docs/method

No new runtime logic, nondeterminism, race, or CI-lane defect was found in the crate deletion itself. Historical CHANGELOG references are intentionally retained.

Cc: @codex — second opinion requested.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

# Serialization (for config store fake)
serde = { version = "1", features = ["derive"] }

P3 Badge Drop serde after deleting the config fake

With crates/echo-dry-tests/src/config.rs gone, retained echo-dry-tests/src no longer uses serde/serde_json (rg finds no Serialize/Deserialize), yet cargo tree -p echo-dry-tests --edges normal --depth 1 still pulls serde as a direct normal dependency and the dev dependency remains too. Every normal consumer of the test fixture crate now pays for an unused serialization dependency that existed only for the deleted fake.


specifier: ^2.0.0

P3 Badge Regenerate the pnpm lockfile after package removal

The workspace package packages/ttd-protocol-ts is deleted here, but the lockfile still declares it as an importer and keeps its zod@4.3.6 resolution/snapshot. Lockfile-driven audits or dependency inventory now report a package and dependency that no longer exist in the workspace, so the lockfile should be regenerated with that importer removed.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread CHANGELOG.md Outdated
Comment thread CHANGELOG.md
Comment thread CHANGELOG.md
Comment thread CHANGELOG.md Outdated
Comment thread CHANGELOG.md
Comment thread CHANGELOG.md
@flyingrobots

Copy link
Copy Markdown
Owner Author
ID Severity File Finding
SELF-8 P2 docs/adr/0007-sessions-causal-posture-and-authority.md; docs/adr/0008-bunny-owns-reusable-geometry.md Newly promoted ADR numbers collide with legacy ADR-0007 parallel-execution and ADR-0008 runtime-schema/ingress citations still embedded in live code and schemas, causing existing references to resolve to unrelated accepted decisions. Renumber the new ADRs outside the legacy namespace and add a regression guard.

Cc @codex for second opinion.

@flyingrobots

Copy link
Copy Markdown
Owner Author
ID Severity File Finding
SELF-9 P2 docs/assets/dags/**; cargo xtask dags; dependency-DAG scripts/tests/workflow; CI task-lists job The automated checked-in dependency-DAG/status mirror survives Method teardown and directly contradicts ADR-0001: GitHub owns live work/status and checked-in status mirrors are forbidden. Remove the generator surface, generated assets, scheduled auto-PR workflow, related tests/Make targets, and no-op task-list CI job; add a regression guard.

Cc @codex for second opinion.

@flyingrobots

Copy link
Copy Markdown
Owner Author
ID Severity File Finding
SELF-10 P1 docs/releases/echo-1.0-contract.md; scripts/check-wal-wsc-doctrine.sh The retained Echo 1.0 constitution still makes native Jedit-on-Edict issue #589 a mandatory Gate C, contradicting James explicit decision to decouple Echo release from Edict readiness. The new doctrine guard now hard-locks that obsolete release dependency. Remove Edict readiness from Echo release eligibility and update the guard/regression evidence.

Cc @codex for second opinion.

@flyingrobots

Copy link
Copy Markdown
Owner Author
ID Severity File Finding
SELF-11 P2 docs/adr/0003-generated-rule-authorship-and-footprints.md; docs/topics/GeneratedRules.md The new accepted ADR/topic mandate representative Wesley and Edict release execution with footprint_enforce_release, but no workflow enables that feature. Preserve scope honesty: describe this as a prerequisite before generated packs are release-qualified and explicitly record that the CI lane is not wired yet, or add the executable lane in a separately authorized change.

Cc @codex for second opinion.

@flyingrobots

Copy link
Copy Markdown
Owner Author
ID Severity File Finding
SELF-12 P2 docs/determinism/DETERMINISM_CLAIMS_v0.1.md; docs/determinism/RELEASE_POLICY.md; docs/README.md The promoted determinism map still exposes dated Active milestone/TTD status and a TTD program process policy containing closeout tasks, owners, ETAs, approvals, audits, and manual gates. These contradict the requested process-document purge and GitHub-owned motion model. Remove them and repair inbound references, retaining only timeless determinism specs and executable witnesses.

Cc @codex for second opinion.

@flyingrobots

Copy link
Copy Markdown
Owner Author
ID Severity File Finding
SELF-13 P2 schemas/runtime/README.md Still directs/claims deleted cargo xtask wesley sync, retains Phase-8 process-packet language, and cites legacy ADR-0008. Rewrite around the live schema validator/current contract boundary before resolving thread PRRT_kwDOQH8Wr86QTjVG.
SELF-14 P2 crates/echo-wasm-abi/src/ttd.rs; src/lib.rs; fixed-timestep invariant Public unused legacy TTD types and normative deleted-protocol field classifications survive the TTD teardown. Remove the unused public module and stale invariant rows unless a real retained owner is proven.
SELF-15 P3 GUIDE.md Still names deleted App Core as live ingress and documents nonexistent cargo xtask dind run --seed. Correct the live architecture and command.
SELF-16 P3 invariant shell tests; strand test; revelation.rs; braid_shell.rs Live source/test comments still cite deleted Method cycles and design packet 0026. Retarget to canonical invariants/topics/ADRs.
SELF-17 P3 docs/assets/wvp/session-dashboard.png Unreferenced tracked asset belongs to the retired WVP/session-dashboard lane. Delete and guard it.
SELF-18 P4 .ban-unordered-abi-allowlist Stale exemptions remain for nonexistent warp-viewer and echo-session-service. Remove them and run the guard.

Cc @codex for second opinion.

@flyingrobots

Copy link
Copy Markdown
Owner Author
ID Severity File Finding
SELF-19 P2 docs/architecture/WARP_DRIFT.md; wsc-verkle-ipa-retained-readings.md; continuum-foundations.md; benchmark reports/studies Live maps still expose gap/status reports, ordered future roadmaps, an archived bridge note, post-hoc benchmark reports, dated point-in-time studies, and recommended-work backlogs. RESERVE_BENCHMARK.md also advertises missing docs and a missing benchmark source. Preserve current normative architecture and executable benchmark instructions; remove status/history/future-work packets and add regression coverage.

Cc @codex for second opinion.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: bf921928ad

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread CHANGELOG.md
Comment thread CHANGELOG.md Outdated
@flyingrobots

Copy link
Copy Markdown
Owner Author

Code Lawyer final audit found one additional paired dead-route defect:

ID Severity Files Finding
SELF-52 P4 docs/determinism/DETERMINISTIC_MATH.md, docs/topics/CausalAnchors.md Both retain removed docs-site absolute routes (/determinism/SPEC_DETERMINISTIC_MATH and /topics/WAL) that have no repository target.

Disposition: replace them with repository-relative Markdown links and guard against resurrection of the docs-site route form.

Cc: @codex

@chatgpt-codex-connector

Copy link
Copy Markdown

Summary

  • Removed Method-era packet scaffolding from the canonical spec set, replacing the old workflow taxonomy shell with neutral Rationale sections while keeping the technical rationale and contract/evidence content. Example updated rationale: docs/spec/SPEC-0001-attachment-plane-v0-atoms.mdL14-L20
  • Removed the live completeness/status bit from the ABI golden-vector spec so it now states the vector contract and evidence without Status: Partial Rust-side vector set. docs/spec/abi-golden-vectors.mdL4-L23
  • Updated descended-attachment wording away from the old Stage B1 label while preserving the live flattened-indirection invariant. docs/invariants/warp-two-plane-law.mdL125-L135
  • Kept the WAL topology durability boundary but removed the checked-in “remaining durability gate” / “required next hardening step” work-queue prescription. docs/topics/WAL.mdL98-L105
  • Retargeted the WAL related-docs list away from a “remaining release-hardening plan” phrasing and toward stable doctrine links. docs/topics/WAL.mdL157-L161
  • Committed the change as fe77b97 docs: remove spec process residue and created the PR docs: remove spec process residue.
  • Note: the trigger named docs/adr/ADR-0001-warp-two-plane-skeleton-and-attachments.md, but this checkout has no docs/adr/ tree or matching ADR file. The live matching Stage B1 descended-attachment wording was in docs/invariants/warp-two-plane-law.md, so I updated that file.

Testing

  • rg -n '^(Legend:|Status: Partial Rust-side vector set|## Why this packet exists|## Human users / jobs / hills|## Agent users / jobs / hills)|Human users|Agent users|The hill:' docs/spec || true
  • rg -n 'remaining durability gate|required next hardening step' docs/topics/WAL.md || true
  • rg -n 'Stage B1' docs/invariants/warp-two-plane-law.md || true
  • git diff --check
  • cargo check

View task →

@chatgpt-codex-connector

Copy link
Copy Markdown

Summary

  • Added explicit determinism classifications for retained workspace packages echo-file-aperture, echo-runtime-schema, and echo-trace, preventing Rust changes in those crates from falling through the docs: ["**"] DET_NONCRITICAL fallback. Also added explicit coverage for crates/method. det-policy.yamlL98-L134
  • Added require_g3 as a classifier output derived from the selected class’s declared required_gates, so workflow decisions can follow policy metadata instead of hardcoded reduced/full assumptions. scripts/classify_changes.cjsL76-L82
  • Added det-policy metadata completeness validation against Cargo.toml workspace members, failing when a workspace member lacks an explicit member/** policy path. scripts/validate_det_policy.cjsL11-L37 scripts/validate_det_policy.cjsL98-L109
  • Wired the metadata coverage validator into det-gates before path classification, and quoted the $GITHUB_OUTPUT redirect path. .github/workflows/det-gates.ymlL51-L62
  • Aligned G3/performance execution and evidence aggregation with class-declared G3 requirements: the perf job runs only when require_g3 is true, and evidence validation requires perf artifacts only in that case. .github/workflows/det-gates.ymlL213-L217 .github/workflows/det-gates.ymlL310-L321
  • Committed changes with 54a4f1e ci: align determinism policy gates and created a PR titled ci: align determinism policy gates.

Testing

  • ruby -e 'require "yaml"; require "json"; print JSON.pretty_generate(YAML.load_file("det-policy.yaml"))' > /tmp/det-policy.json && node scripts/validate_det_policy.cjs /tmp/det-policy.json Cargo.toml
  • node scripts/classify_changes.cjs /tmp/det-policy.json /tmp/changed-important.txt
  • node scripts/classify_changes.cjs /tmp/det-policy.json /tmp/changed-critical.txt
  • node scripts/classify_changes.cjs /tmp/det-policy.json /tmp/changed-docs.txt
  • ! node scripts/validate_det_policy.cjs /tmp/det-policy-missing.json Cargo.toml
  • cargo check
  • git diff --check

View task →

@flyingrobots

Copy link
Copy Markdown
Owner Author

Code Lawyer — additional self-audit findings

ID Severity Surface Finding
SELF-53 P2 docs/topics/CausalAnchors.md, crates/warp-core/src/causal_anchor.rs The promoted topic calls caller-provided digests/receipts “Echo-admitted” and promises authority/frontier/retention validation, but CausalAnchorFact::from_request only validates value shape and binds those identifiers unchanged. Recast this as the implemented value contract, distinguish the trusted admission target, and remove the embedded follow-up queue.
SELF-54 P2 CHANGELOG.md, docs/spec/SPEC-0009-wasm-abi-v3.md Unreleased says the v3 spec cites the deleted session-protocol EINT v2 envelope; the superseded v3 tombstone contains no such citation. Remove the contradictory delivery claim and guard the retired reference.
SELF-55 P1 docs/spec/SPEC-0009-wasm-abi.md, crates/warp-wasm/{src/lib.rs,README.md}, docs/architecture/application-contract-hosting.md Current normative/application surfaces claim a nine-export ABI and raw observe as the only/product read. The crate exports additional intent/optic/neighborhood/settlement functions, and ADR 0021 makes bounded observe_optic the canonical product boundary. Align the export inventory and application guidance while retaining raw observe as a lower-level ABI surface; pin the relationship with an executable truth witness.

@codex, second opinion requested on severity, scope, and the smallest durable witnesses.

@chatgpt-codex-connector

Copy link
Copy Markdown

Summary

Testing

  • scripts/check-docsite-dead-routes.sh && bash scripts/tests/check_docsite_dead_routes_test.sh && git diff --check
  • cargo check

View task →

@chatgpt-codex-connector

Copy link
Copy Markdown

Summary

  • Updated CONTRIBUTING.md to frame Echo as a deterministic WARP runtime over witnessed causal history instead of a renderer/simulation engine. CONTRIBUTING.mdL23-L29
  • Corrected the Git Hooks guidance so pre-push is documented as targeted scripts/verify-local.sh pre-push verification, with broad tests and rustdoc owned by CI unless VERIFY_LOCAL_FULL_TESTS=1 / VERIFY_LOCAL_RUSTDOC=1 are explicitly enabled. CONTRIBUTING.mdL88-L107
  • Added a hook regression guard that rejects the stale blanket “fmt, clippy, tests, and rustdoc before push” promise and requires the targeted pre-push / opt-in documentation to remain present. tests/hooks/test_verify_local.shL1362-L1373
  • Committed the change as 9e1aba8 docs: correct pre-push hook coverage.
  • Created PR: docs: correct pre-push hook coverage.

Testing

  • bash tests/hooks/test_verify_local.sh
  • git diff --check
  • cargo check

View task →

@flyingrobots

Copy link
Copy Markdown
Owner Author

Code Lawyer — additional self-audit finding

ID Severity Surface Finding
SELF-56 P1 scripts/classify_changes.cjs, scripts/validate_det_policy.cjs The classifier now validates gate identifiers, but it does not validate the complete policy. A matched crate with a misspelled class (for example DET_CRITCAL) is ignored by max-class comparison; the global catch-all then classifies the same path as DET_NONCRITICAL and skips every gate. Make complete parsed-policy validation a prerequisite to classification and add a fail-closed regression fixture.

@codex, second opinion requested on the fail-closed boundary and regression coverage.

@flyingrobots

Copy link
Copy Markdown
Owner Author

Code Lawyer — additional self-audit finding

ID Severity Surface Finding
SELF-57 P1 crates/warp-core/src/observation.rs, ADR 0021, WASM/application docs observe_optic currently validates structural focus/aperture/budget, but does not verify the request's capability or projection/reducer law claims; those identifiers are carried into reading identity. Its lowering also returns UnsupportedProjectionLaw for QueryBytes, while Wesley's generated query helpers use that projection. Therefore the optic export is product-shaped but not yet a trusted authorization boundary or a working generated-query path. Current doctrine must state that limitation; a separate executable design/fix is required before calling the path production-ready.

@codex, second opinion requested on whether capability/law admission should live in an opened-optic registry, installed contract package evidence, or another trusted host authority.

@flyingrobots

Copy link
Copy Markdown
Owner Author

Code Lawyer — additional full-clippy findings

ID Severity Surface Finding
SELF-58 P2 crates/warp-core/src/evidence.rs:378-554 The unit-test module contains denied expect/unwrap calls. cargo clippy --workspace --all-targets -- -D warnings reports 15 violations. Replace them with explicit deterministic match/panic branches consistent with the workspace lint policy.
SELF-59 P2 crates/warp-core/src/trusted_runtime_host.rs:1517-1725 The unit-test module contains four denied expect/expect_err calls and precedes non-test helper items, triggering items_after_test_module. Remove the denied calls and place the test module after production items (or move helpers before it).

@codex, second opinion requested on issue grouping and the smallest lint-preserving test rewrites.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Chef's kiss.

Reviewed commit: bf921928ad

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@flyingrobots

Copy link
Copy Markdown
Owner Author

Activity Summary

The teardown and audit loop is closed at f934575b. Review fixes are grouped below; the detailed SELF findings remain in their original audit comments.

Scope Severity Representative files Commits Outcome
Zombie crates, TTD consumers, and stale references P2–P3 Cargo.toml, deleted crates/packages, CI policy, live docs 101baf46f18769bc Removed; workspace, lockfile, hooks, and active docs scrubbed
Method/process corpus and checked-in work tracking P1–P3 METHOD.md, docs/method/**, legacy docs/design/**, backlog/DAG tooling 61b1d9fa1c487045 Removed; ADRs/topics/invariants are the retained knowledge model
Architecture and doctrine honesty P1–P3 architecture/topics/ADRs, release and ABI claims bc76143f3c7ed6d9 Current boundaries stated without deleted or unimplemented authority claims
Determinism and CI policy integrity P1–P3 det-policy.yaml, determinism gates, package classifier a62af8854c9058e3 Policy fails closed and every workspace package is classified
Regression-test and documentation hardening P2–P4 docs-site routes, causal/evidence/runtime WAL tests e0f3c9be09e1853b Targeted tests made deterministic and lint-clean
Mainline integration P2 Edict provider source and application-contract architecture f934575b Merged origin/main normally; retained code/durable prose and dropped its absorbed process packet
Pre-existing public optic/QueryBytes authority seam P4 existing ABI/runtime boundary Explicitly deferred; predates this branch and is not a blocker for this teardown

Verification

Witness Result
Unresolved PR review threads 0 / 21
Lychee, all tracked Markdown 248 total, 0 errors (246 successful, 1 redirect, 1 excluded)
cargo xtask lint-dead-refs --root . 101 files, all links OK
Knowledge-model regression green
Echo Edict provider semantic-source test 18 / 18
Latest pre-push gate green: fmt, 3 exact Rust slices, Prettier
Worktree / remote head clean, f934575b

No warp-core decomposition or speculative nit cleanup was included.

@flyingrobots
flyingrobots enabled auto-merge July 13, 2026 12:57
@flyingrobots

Copy link
Copy Markdown
Owner Author

Closure addendum

Fresh CI on final head 469b47aa is fully green. The only transient failure was Hook Regression Tests: the new docs regressions assumed rg, which is absent from that minimal runner. Commit 469b47aa replaced those boolean assertions with portable grep equivalents; both scripts pass with PATH=/usr/bin:/bin and under the normal local environment.

CodeRabbit completed with a no-findings skip because 501 files exceed its 150-file limit. All 21 review threads remain resolved. A normal merge was attempted and correctly refused by the repository ruleset, which requires one approval and approval of the last push. Auto-merge is now enabled with merge-commit strategy. No administrator bypass was used.

@flyingrobots
flyingrobots merged commit 2989b27 into main Jul 13, 2026
35 checks passed
@flyingrobots
flyingrobots deleted the chore/zombie-crate-teardown branch July 13, 2026 15:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant