Skip to content

Rà soát & sửa toàn bộ giáo trình: dịch máy, bảng lỗi, bug kỹ thuật, edition 2024, CI - #7

Merged
architectureman merged 7 commits into
mainfrom
fix/review-toan-bo
Oct 6, 2026
Merged

architectureman merged 7 commits into
mainfrom
fix/review-toan-bo

Conversation

@architectureman

Copy link
Copy Markdown
Contributor

Tóm tắt

Áp bộ 7 commit rà soát toàn bộ giáo trình (từ learn-rs-fix.patch):

  1. docs: khôi phục các từ tiếng Việt bị thay thế máy (giao/mua/thu/chung/hoa)
  2. refactor: sửa 336 định danh dịch máy sai nghĩa (SellRecord, PosGroup, value_time_time…)
  3. chore: chuyển 87 crate sang edition 2024 + cargo fmt
  4. chore: giữ fragment expr thay cho expr_2021 trong macro (dễ dạy hơn)
  5. fix: sửa nội dung kỹ thuật toàn bộ 85 chương + phụ lục
  6. docs+ci: cập nhật README/ROADMAP/GLOSSARY, sửa SUMMARY cho mdBook, thêm CI
  7. fix: cắt đuôi WAL rách (ch54), reset voted_for khi sang term mới (ch53), sửa so sánh PostgreSQL (ch35)

274 file thay đổi.

Kiểm tra (trong code/)

  • cargo fmt --all --check — sạch
  • cargo clippy --workspace --all-targets -- -D warnings — không cảnh báo
  • cargo test --workspace — 994 passed, 0 failed, 0 ignored

🤖 Generated with Claude Code

https://claude.ai/code/session_0111UHmpNfVqW6NWjKhiSg6X


Generated by Claude Code

claude added 7 commits October 4, 2026 17:42
… value_time_time…)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01R9ApPTqbAh1YRCiXAfU8xu
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01R9ApPTqbAh1YRCiXAfU8xu
- Bảng tra lỗi biên dịch đối chiếu lại với rustc 1.97 (edition 2024)
- Dịch hết định danh tiếng Việt còn sót; đồng bộ code block ↔ crate
- Lời giải bài tập biên dịch được, dùng đúng API crate
- Sửa khái niệm sai (FnOnce, Copy, Leptos VDOM, gpui/wgpu, Actor deadlock…)
- Sửa bug: fsync WAL/compaction, MVCC → Snapshot Isolation thật, Raft
  election restriction + commit theo index, idempotency ch54, B+Tree split,
  waker ch49, Black-Scholes σ=0, EIP-1559 effective gas price, nhiều bug khác
- Macro thủ tục thật (ch23_macros, ch24_macros, syn 3), Axum 0.8 thật (ch61_axum)
- Clippy -D warnings sạch; 844 → 992 bài kiểm thử

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01R9ApPTqbAh1YRCiXAfU8xu
…êm CI

- README: 90 crate, 992 test, 75/90 crate có test, edition 2024, clippy sạch
- GLOSSARY §19: trỏ về định danh hiện tại + bảng bổ sung ~435 đổi tên
- GLOSSARY: thêm thuật ngữ Snapshot, first-committer-wins, write skew,
  copy-up/push-up, chống tự khớp, ngang giá quyền chọn mua–bán
- SUMMARY.md: cấu trúc lại theo cú pháp mdBook (trước đó mdbook build lỗi)
- book.toml: 85 chương, git-repository-url
- GitHub Actions: fmt, clippy -D warnings, test, mdbook build

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01R9ApPTqbAh1YRCiXAfU8xu
…3), sửa so sánh PostgreSQL (ch35)

Phát hiện bởi vòng kiểm chứng độc lập; kèm 2 test mới (994 test).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01R9ApPTqbAh1YRCiXAfU8xu
@ecc-tools

ecc-tools Bot commented Oct 4, 2026

Copy link
Copy Markdown
Contributor

ECC Tools / Security Evidence

Commit: 2d20f44afdc6eac87b77b9ccc7f4ecaedce3bee6

Security evidence gate passed (success)

No security-sensitive scanner-evidence gap detected.

Mode: enforce

Scanned 274 changed file(s). No missing scanner-evidence signal was detected.

Check publication was denied or unavailable. An app owner must enable Checks: read and write, and the installation owner must approve the updated permission.

@ecc-tools

ecc-tools Bot commented Oct 4, 2026

Copy link
Copy Markdown
Contributor

ECC Tools / PR Risk Taxonomy

Commit: 2d20f44afdc6eac87b77b9ccc7f4ecaedce3bee6

PR taxonomy review recommended (neutral)

Detected 2 PR taxonomy bucket(s): Security Evidence, CI/CD Recommendation.

Scanned 274 changed file(s).

Roadmap taxonomy buckets:

Security Evidence

Security-sensitive changes should carry explicit scanner, code-scanning, or focused regression evidence.

Signals:

  • 1 security-sensitive path(s) changed

Paths:

  • .github/workflows/ci.yml

CI/CD Recommendation

CI, dependency, coverage, and contract signals should be routed into follow-up checks or verification work.

Signals:

  • Regression coverage may lag behind the diff
  • CI workflow changes may ship without failure-mode evidence
  • Dependency or CI drift could surface after merge
  • 1 CI or workflow path(s) changed

Paths:

  • .github/workflows/ci.yml
  • book.toml
  • code/Cargo.toml
  • code/ch01/Cargo.toml
  • code/ch01/src/main.rs
  • code/ch02/Cargo.toml
  • code/ch02/src/main.rs
  • code/ch03/Cargo.toml

Check publication was denied or unavailable. An app owner must enable Checks: read and write, and the installation owner must approve the updated permission.

@ecc-tools

ecc-tools Bot commented Oct 4, 2026

Copy link
Copy Markdown
Contributor

ECC Tools / Reference Set Readiness

Commit: 2d20f44afdc6eac87b77b9ccc7f4ecaedce3bee6

Reference set readiness gaps detected (neutral)

Reference evidence present for 0/7 areas (0%) across 274 changed file(s).

This check is based on files changed in this PR. Repository-level readiness is still reported by /ecc-tools analyze comments and generated manifests.

Area Status Evidence / Next Step
Deep analyzer corpus Missing Add analyzer fixture, golden, benchmark, or reference-set files that can catch analyzer regressions.
RAG/evaluator comparison Missing Add retrieval or evaluator reference-set comparison fixtures with expected ranking behavior.
PR salvage/review corpus Missing Add stale-PR, review-thread, reopen-flow, or salvage reference cases for queue cleanup automation.
Discussion triage corpus Missing Add public discussion triage fixtures, golden cases, or reference sets for informational, answered, and no-response classifications.
Harness compatibility Missing Add cross-harness, adapter-compliance, or harness-audit evidence for Claude, Codex, OpenCode, Zed, dmux, and agent surfaces.
Security evidence Missing Attach security evidence such as SBOMs, SARIF, audit reports, or AgentShield evidence packs.
CI failure-mode evidence Missing Add captured CI failure logs, dry-run fixtures, or troubleshooting docs for common workflow failure modes.

Check publication was denied or unavailable. An app owner must enable Checks: read and write, and the installation owner must approve the updated permission.

@ecc-tools

ecc-tools Bot commented Oct 4, 2026

Copy link
Copy Markdown
Contributor

ECC Tools / Hosted Promotion Readiness

Commit: 2d20f44afdc6eac87b77b9ccc7f4ecaedce3bee6

Hosted promotion readiness passed (success)

No hosted promotion evidence gaps detected across 274 changed file(s); 0 corpus scenarios had matching evidence.

This check compares PR file changes against the evaluator/RAG promotion corpus in src/analyzers/fixtures/evaluator-rag-corpus.ts.
Hosted output scoring inspected 0 completed cached hosted job results.

No evaluator corpus scenarios matched this PR.

Check publication was denied or unavailable. An app owner must enable Checks: read and write, and the installation owner must approve the updated permission.

@ecc-tools

ecc-tools Bot commented Oct 4, 2026

Copy link
Copy Markdown
Contributor

ECC Tools / PR Config Audit

Commit: 2d20f44afdc6eac87b77b9ccc7f4ecaedce3bee6

No changed-config issues detected (success)

Scanned 1 config file(s) present at this commit across 1 changed config path(s) and found no issues in the supported security rules.

Changed config files:

  • .github/workflows/ci.yml

Check publication was denied or unavailable. An app owner must enable Checks: read and write, and the installation owner must approve the updated permission.

@ecc-tools

ecc-tools Bot commented Oct 4, 2026

Copy link
Copy Markdown
Contributor

ECC Tools / PR Harness Audit

Commit: 2d20f44afdc6eac87b77b9ccc7f4ecaedce3bee6

No harness issues detected (success)

Scanned 1 changed config file(s) and found no harness issues.

Changed config files:

  • .github/workflows/ci.yml

Check publication was denied or unavailable. An app owner must enable Checks: read and write, and the installation owner must approve the updated permission.

@architectureman
architectureman merged commit e8f602e into main Oct 6, 2026
2 checks passed
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.

2 participants