Foundational Matrix Verification — Batch 2 Report
Book-anchor note: The Victor C. Li 2019 book is the Atlas's primary anchor. This foundational-paper matrix is the supporting / verification layer that verifies and deepens the book-anchored Atlas claims.
Scope: (A) close the remaining needs_page_verification row in the foundational claim-evidence matrix, and (B) perform external DOI / bibliographic verification for the six target foundational papers.
Inputs used:
- 07_visualization/foundational_papers_claim_evidence_matrix.csv
- 07_visualization/foundational_matrix_verification_report.md (Batch 1)
- 07_visualization/foundational_matrix_verification_summary.json (Batch 1 state)
- 03_papers/foundational_bibliographic_verification_ledger.md (Batch 1)
- 00_sources/foundational_papers/extracted_text/li-1992-steady-state-flat-crack-propagation.md (OCR)
- 00_sources/foundational_papers/originals/li-1992-steady-state-flat-crack-propagation.pdf (read-only; no text layer)
Protected directories (unchanged this pass): 00_sources/foundational_papers/originals/, 00_sources/foundational_papers/extracted_text/, 00_sources/foundational_papers/source_notes/, 06_lab_position/.
A. Matrix — remaining row resolution
Row 4 (paper_id li_leung_1992, atlas_node fiber_bridging_law):
- Claim: Crack opening at peak bridging stress delta_cu = tau L_f^2 / (E_f d_f)
- Previous status: needs_page_verification
- New status: verified_from_full_text
Evidence:
- Local OCR-extracted markdown at 00_sources/foundational_papers/extracted_text/li-1992-steady-state-flat-crack-propagation.md, line 34, contains the peak-opening expression in a garbled but unambiguous form:
"0o = (4l^2 tau)/[(1 + n) Ef df] corresponds to the crack opening at which P(delta) = ..."
This is the per-fiber peak-pullout opening δ = τ Lf² / [(1 + η) Ef df], which reduces to the atlas claim δ_cu = τ Lf² / (Ef df) in the limit η → 0 that the paper adopts (line 39: "peaks of the σ_b–δ curves occur at just less than δ"). The same expression is repeated in Appendix I (extracted lines 265, 269-273: V(1 + n) Ef df tau, (1 + n) Ef df tau).
- The original PDF at 00_sources/foundational_papers/originals/li-1992-steady-state-flat-crack-propagation.pdf has no embedded text layer (all pages return 0 chars via PyMuPDF text extraction), so exact article-page numbers (2247-2249 in the ASCE J. Eng. Mech. print) could not be re-extracted without a fresh OCR pass. The OCR-extracted markdown is the local evidence citation used in the CSV notes column.
Row-level CSV changes (row 4 only):
- page_or_section → Bridging Stress–Crack Opening section (Eq. for delta* / delta_cu); Appendix I: P-δ relation
- figure_table_equation → delta_cu = tau L_f^2 / [(1+eta) E_f d_f]; simplifies to tau L_f^2/(E_f d_f) as eta→0
- status → verified_from_full_text
- notes → cites extracted-text lines 34 and 265/269-273, and records that the original PDF has no text layer.
No other CSV rows were changed.
Post-batch matrix status counts (70 data rows):
- verified_from_source_note: 62
- verified_from_full_text: 8
- needs_*: 0
B. External DOI / bibliographic verification
Method: Crossref REST API (https://api.crossref.org/works) using query.bibliographic + query.author + filter=from-pub-date:<Y>,until-pub-date:<Y>. A Crossref hit was accepted only when title, author list, journal, volume, and issue all agreed with the paper card citation. DOIs were then confirmed by resolving https://doi.org/<DOI> where publisher pages are reachable.
Results:
| # | Paper | Verified DOI | Journal, V(I), pages | Status | Card updated |
|---|---|---|---|---|---|
| 1 | Lin & Li 1997 | 10.1016/S0022-5096(96)00095-6 | JMPS, 45(5), 763-787 | verified_via_crossref | yes |
| 2 | Redon et al. 2001 | 10.1061/(ASCE)0899-1561(2001)13:6(399) | J. Mater. Civ. Eng., 13(6), 399-406 | verified_via_crossref | yes |
| 3 | Li et al. 2002 | 10.14359/12325 | ACI Mater. J., 99(5), 463-472 | verified_via_crossref | yes |
| 4 | Kanda & Li 2006 | 10.3151/jact.4.59 | J. Adv. Concr. Technol., 4(1), 59-72 | verified_via_crossref | yes |
| 5 | Yang et al. 2008 | 10.3151/jact.6.181 | J. Adv. Concr. Technol., 6(1), 181-193 | verified_via_crossref | yes |
| 6 | Li, Wang & Wu 2001 | 10.14359/10851 | ACI Mater. J., 98(6), 483-492 | verified_via_crossref_supersedes_source_note | yes |
Note on #6: the source-note YAML front matter records doi: 10.14359/10724, but that DOI does not resolve at doi.org (HTTP 404) and is inconsistent with the paper. Crossref returns 10.14359/10851 for the exact title, authors, journal, volume, and issue of the paper card. The paper card was updated to 10.14359/10851 with a note pointing to the supersession; the source note itself was not modified per this pass's constraints. This discrepancy is tracked in the bibliographic ledger for a future source-note correction pass.
Evidence URLs (all Crossref work records): - https://api.crossref.org/works/10.1016/S0022-5096(96)00095-6 - https://api.crossref.org/works/10.1061/(ASCE)0899-1561(2001)13:6(399) - https://api.crossref.org/works/10.14359/12325 - https://api.crossref.org/works/10.3151/jact.4.59 - https://api.crossref.org/works/10.3151/jact.6.181 - https://api.crossref.org/works/10.14359/10851
Paper cards updated (DOI field only; nothing else touched):
- 03_papers/lin_li_1997_crack_bridging_slip_hardening.md
- 03_papers/redon_etal_2001_pva_interface_properties.md
- 03_papers/li_wu_wang_etal_2002_interface_tailoring_pva_ecc.md
- 03_papers/kanda_li_2006_practical_design_criteria_psh.md
- 03_papers/yang_etal_2008_fiber_bridging_constitutive_law.md
- 03_papers/li_wang_wu_2001_pva_ecc_tensile_strain_hardening.md
C. Files updated in this pass
07_visualization/foundational_papers_claim_evidence_matrix.csv(1 row updated, UTF-8-sig preserved, 70 data rows + header, 14 columns)07_visualization/foundational_matrix_verification_summary.json(final counts refreshed,batch2object added)07_visualization/foundational_matrix_verification_batch2_report.md(this file, new)03_papers/foundational_bibliographic_verification_ledger.md(rewritten as Batch 2 ledger)- Six paper cards (see list above; DOI line only)
Files intentionally NOT modified
- All PDFs under
00_sources/foundational_papers/originals/. - All extracted text under
00_sources/foundational_papers/extracted_text/. - All source notes under
00_sources/foundational_papers/source_notes/. - Everything under
06_lab_position/. - All concept nodes (
02_concepts/). - The Batch 1 report
foundational_matrix_verification_report.md(kept as historical record).