Phase 2I-7a: Deliverable Audit Checklist#
From 2I-1 (Migration)#
Check 1 — Grep for .. _ax\d+: in content files (pet/, jub/).
Should find ZERO (all migrated to pet-ax* or jub-ax*).
source/matheology/pet/ and
source/matheology/jub/. Grep hits (40+) exist in prompt scripts
and llog files, but only as quoted text inside documentation — not
as active RST label definitions.Check 2 — Grep for .. _pet-ax\d+: — should find 14 results.
pet/axioms.rst (pet-ax1 through
pet-ax14, lines 53–591).Check 3 — Grep for .. _jub-ax\d+: — should find 11 results.
jub/axioms.rst (jub-ax15 through
jub-ax25, lines 64–657).Check 4 — Grep for .. _jub-th\d+: — should find theorem labels.
jub/theorems.rst (jub-th5 through
jub-th11, lines 44–498).Check 5 — Migration notes in pet/axioms.rst and jub/axioms.rst.
pet/axioms.rst (2026-03-23, Phase 2I-1; extended 2026-03-25,
Phase 2I-4), jub/axioms.rst (2026-03-23, Phase 2I-1),
jub/theorems.rst (2026-03-23, Phase 2I-1),
jub/quest.rst (2026-03-23, Phase 2I-1).Check 6 — Run make html — count warnings, confirm zero NEW.
From 2I-2 (PoR Field Testing)#
Check 7 — File exists: llog/2I-por-field-testing.rst
source/matheology/vv/jub/oov2/llog/2I-por-field-testing.rstCheck 8 — Coverage matrix or field grid header in file.
Check 9 — Gap Analysis section in file.
Check 10 — Extraction Difficulty section in file.
From 2I-3 (Compilation Skill)#
Check 11 — File exists: compiler/sisyf/ww/sisyf-skill.rst
source/matheology/compiler/sisyf/ww/sisyf-skill.rstCheck 12 — Extraction Matrix in file.
Check 13 — Stub templates exist (5 files in two locations).
compiler/sisyf/ww/stubs/:
matheology-expert.rst, matheology-easy.rst, matheology-math.rst,
matheology-producer.rst, matheology-machine.rst.
Same 5 files mirrored in _templates/stubs/.From 2I-4 (First Compilation)#
Check 14 — File exists: axioms/expert/index.rst
.. include:: from pet and jub PoR sources.Check 15 — File exists: axioms/easy/index.rst
Check 16 — File exists: axioms/index.rst
source/matheology/axioms/index.rst.Check 17 — No duplicate labels: .. _pet-ax1: in exactly ONE file.
.. _pet-ax1: appears only in
pet/axioms.rst (line 53). All other hits (9 total) are in prompt
scripts, llogs, and documentation where the label appears as quoted
text or in code blocks — not as active definitions.Check 18 — .. _all-ax: in compiled expert view.
.. _all-ax: at line 1 of axioms/expert/index.rst.Check 19 — .. _all-ax-easy: in compiled easy view.
.. _all-ax-easy: at line 1 of axioms/easy/index.rst.From 2I-4b (Theorems Compilation)#
Check 20 — File exists: theorems/expert/index.rst
Check 21 — File exists: theorems/easy/index.rst
Check 22 — .. _all-th: in theorems expert view.
.. _all-th: at line 1 of theorems/expert/index.rst.Check 23 — .. _all-th-easy: in theorems easy view.
.. _all-th-easy: at line 1 of theorems/easy/index.rst.Check 24 — .. _pet-th\d+: — should find 4 results
(in pet/theorems.rst only, NOT duplicated).
pet/theorems.rst only: pet-th1
(line 12), pet-th2 (line 42), pet-th3 (line 79), pet-th4 (line 113).
No duplicates in any other content file.Check 25 — Toctree in theorems/index.rst is uncommented and
lists expert/index + easy/index.
theorems/index.rst contain an active
(uncommented) toctree listing expert/index and easy/index.Check 26 — Easy page covers all 11 theorems (t1–t11).
theorems/easy/index.rst:
t1 (line 62), t2 (line 76), t3 (line 91), t4 (line 105),
t5 (line 138), t6 (line 154), t7 (line 169), t8 (line 184),
t9 (line 200), t10 (line 215), t11 (line 231).From 2I-4c (Axiom Synthesis Pages)#
Check 27 — File exists: axioms/easy/gospels-apostles.rst
source/matheology/axioms/easy/gospels-apostles.rst.Check 28 — File exists: axioms/easy/quran-based.rst
source/matheology/axioms/easy/quran-based.rst.Check 29 — File exists: axioms/easy/secular.rst
source/matheology/axioms/easy/secular.rst.Check 30 — .. _all-ax-easy-gospels-apostles: — exactly 1
active definition.
gospels-apostles.rst.
One additional occurrence in synthesis-howto.rst is inside a
.. code-block:: rst (documentation example, not an active
definition). One occurrence in prompt script (quoted text).Check 31 — .. _all-ax-easy-quran-based: — exactly 1 active
definition.
quran-based.rst. One
additional occurrence in synthesis-howto.rst is inside a
.. code-block:: rst (documentation example). One in prompt script.Check 32 — .. _all-ax-easy-secular: — exactly 1 active
definition.
secular.rst. One
occurrence in prompt script (quoted text).Check 33 — All three pages listed in axioms/easy/index.rst
toctree.
axioms/easy/index.rst contain
a toctree listing: hebrew-bible, gospels-apostles,
quran-based, secular. (Also includes hebrew-bible, a
fourth synthesis page created during 2I-4c.)Check 34 — Each synthesis page has 25 axiom entries (a1–a25).
gospels-apostles.rst: 25 axiom headings (a1–a25) confirmed via.. dropdown::count = 25.
quran-based.rst: 25 axiom headings (a1–a25) confirmed via.. dropdown::count = 25.
secular.rst: 25 axiom headings (a1–a25) confirmed via heading grep (a1 at line 67 through a25 at line 509).
Check 35 — Each synthesis page uses .. dropdown:: directives.
gospels-apostles.rst: 25 dropdowns. PASS.
quran-based.rst: 25 dropdowns. PASS.
secular.rst: 0 dropdowns. FAIL.The secular page uses a flat format (heading + secular reading quote + expert ref link) identical to the main
easy/index.rstlayout. It does not use.. dropdown::directives. This may be an intentional design choice — the secular page has a single reading per axiom rather than multiple scriptural citations to collapse — but it does not match the specification as written.
From 2I-5 (Adversarial Stress-Test)#
Check 36 — File exists: llog/2I-adversarial-stress-test.rst
source/matheology/vv/jub/oov2/llog/2I-adversarial-stress-test.rst.Check 37 — Grep for “BREACH” — count occurrences.
Critical: 1 (Attack 2.3: D7/D6 collision analysis incomplete)
Major: 3 (Attack 1.8: quest label pattern; Attack 2.5: D6 Set B namespace; Attack 3.2: D7 language suffix / Sphinx label mismatch)
Minor: 5 (Attack 1.2: pet-ax5-de label; Attack 1.3: D4 codes; Attack 1.9: D1/D2 constraint; Attack 2.8: D2 overloading; Attack 3.3: ref overloaded)
Cosmetic: 1 (Attack 3.1: no quick-start guide)
Other Minor: 2 (Attack 3.4: no label-testing tooling; Attack 3.5: axioms/index.rst generated-by violation)
Check 38 — “Proposed fixes” or “Overall assessment” in file.
From 2I-6 (Public Documentation)#
Check 39 — File exists: naming-easy.rst
source/matheology/naming-easy.rst exists.Check 40 — File exists: naming-producer.rst
source/matheology/naming-producer.rst exists.Check 41 — File exists: naming-expert.rst
source/matheology/naming-expert.rst exists.Check 42 — File exists: naming-architect.rst
source/matheology/naming-architect.rst exists.Check 43 — File exists: naming.rst (index)
source/matheology/naming.rst exists.Check 44 — “naming” linked in matheology/index.rst toctree.
naming appears at line 54 of
source/matheology/index.rst inside the toctree block.Cross-Cutting#
Check 45 — Total label count across source/matheology/.
.. _ occurrences across 151 .rst files in
source/matheology/. This includes definitions, documentation
references in llogs/prompts, and howto code examples. The actual
unique content-area label definitions are a subset (estimated ~80–100
based on the content files listed above).Check 46 — Run make clean && make html — record warning count.
make clean && make html completed successfully.
315 total warnings. Phase 2I-specific warnings (8 total):
4 orphan-document warnings for deprecated prompt variants:
deprecated/2I-por-field-testing-part-a.rst,deprecated/prompt_2I-2_unsplit.rst,deprecated/prompt_2I-3_v1.rst,deprecated/prompt_2I-7_unsplit.rst4 orphan-document warnings for prompt files not in toctrees:
prompt_2I-4b_theorems-compile.rst,prompt_2I-4c_axiom-synthesis-pages.rst,prompt_2I-6_hell-migration.rst,prompt_2I-integration-tests.rstAll 8 are expected: prompt scripts and deprecated files are intentionally outside toctrees. No warnings from actual content deliverables.
Summary#
The single FAIL is Check 35 (secular.rst does not use .. dropdown::
directives). All 25 axioms are present on the page, but the page uses a
flat layout instead of collapsible dropdowns. The other two synthesis
pages (gospels-apostles, quran-based) correctly use 25 dropdowns each.
Build Report#
Label Statistics#
Label definitions (in content files):
Axioms: 25 total (14 pet-ax in pet/axioms.rst + 11 jub-ax in jub/axioms.rst)
Theorems: 11 total (4 pet-th in pet/theorems.rst + 7 jub-th in jub/theorems.rst)
Compiled views: 4 (all-ax, all-ax-easy, all-th, all-th-easy)
Synthesis pages: 3 (all-ax-easy-gospels-apostles, all-ax-easy-quran-based, all-ax-easy-secular)
Total
.. _patterns across all matheology files: 458 (across 151 files, includes documentation references)
Label integrity:
Zero old-style
.. _ax\d+:labels in pet/ or jub/ content directoriesNo duplicate definitions detected for any checked label
All compiled view labels correctly placed at line 1 of their files
Inputs for Phase 2I-7b Closing Llog#
Deliverables: 45 of 46 complete. One minor FAIL (secular.rst dropdown format). All files exist, all labels are correct, all toctrees link properly.
Critical FAILs: None. The single FAIL (Check 35) is cosmetic — the secular page has all 25 axioms and functions correctly, it merely uses a flat layout rather than dropdowns.
Build warning count: 315 total. Zero warnings from Phase 2I content deliverables. The 8 Phase 2I-related warnings are all orphan-document warnings for prompt scripts and deprecated files, which are expected.
Label statistics:
25 axiom labels (pet-ax1–14, jub-ax15–25)
11 theorem labels (pet-th1–4, jub-th5–11)
4 compiled-view labels
3 synthesis-page labels
458 total
.. _patterns in matheology/ (151 files)
StayVS maturity assessment recommendation: The deliverable set is substantially complete. The naming system is documented at four depth levels. The adversarial stress-test found 12 BREACHes (1 critical, 3 major) with proposed fixes. The compilation skill produced working expert and easy views for both axioms and theorems. The synthesis pages demonstrate the multi-tradition lens pattern. The single cosmetic FAIL does not affect the system’s functional completeness. Recommend the closing llog record maturity as: Phase 2I objectives met with one minor gap (secular dropdown format).