Skip to content

Commit 0d3813f

Browse files
author
TNFR AI Agent
committed
Integrate TNFR foundation results and modular research documentation
Add organized-source timing, guard sensitivity, child quotient and orbit results, with shared exact helpers and conditional relaxation and tracking bounds. Preserve the complete-law premises and frozen evidence. Consolidate the research objective and active queue in a small program linked to canonical chapters. Add a metadata catalog, conceptual dependency guide and theory-to-execution map, and clarify formation, maintenance, memory and operator scope. Update the glossary, contributor instructions and entrypoints. Make documentation readers, reference checks, site staging and development bundles consume the modular inventory. Preserve historical routes and add CI triggers for catalog and reader changes. Validation: all 26 scientific source/test files match the successful 1,674-test audit. Documentation checks passed with 321 tests and two platform skips, 11,473 internal references, a strict site build and 19,937 rendered fragment links. Staged whitespace and workflow trigger checks pass.
1 parent 55eb72a commit 0d3813f

166 files changed

Lines changed: 16138 additions & 1806 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.github/agents/my-agent.md‎

Lines changed: 35 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -31,8 +31,8 @@ model and scope, preserving valid conditional results and counterexamples.
3131
apostrophes for compact words and formulas; derive names from the registry.
3232
- Distinguish definitions, supplied laws, derived identities, conditional
3333
theorems, finite observations, policies and open hypotheses.
34-
- Explain the present model directly. Definitions belong with their owners,
35-
usage in guides and task status in the execution plan; overviews are neither
34+
- Explain the present model directly. Definitions belong with their chapters,
35+
usage in guides and task status in the research program; overviews are neither
3636
delivery logs nor copies of derivations.
3737
- Arithmetic encodings, graph analogies, auxiliary Hamiltonians and diagnostic
3838
scores retain their own premises. External identifications require an
@@ -168,11 +168,19 @@ state budgets do not prove entry.
168168

169169
## 5. Research and evidence discipline
170170

171-
The [execution plan] is the sole queue; the [portfolio] classifies branches and
172-
[strategy] explains their rationale. Existing examples/theorems do not activate
173-
campaigns. On closing a gate, replace its queue status and link the result
174-
owner. Preserve unresolved dependencies and frozen evidence without per-turn
175-
logs or duplicate result inventories. Follow F1-F4:
171+
The [research program] owns the global objective, current state, priorities and
172+
sole active question. Its technical chapters retain definitions, proofs and
173+
counterexamples in their original contexts. The old plan, strategy and portfolio
174+
routes are generated compatibility views, not active instructions.
175+
Before resuming research, read the program's current task and complete any
176+
open documentation prerequisite there. Its ordered checklist is the persistent
177+
continuation record; do not rely on conversation memory or create another queue.
178+
After the gate closes, reassess the next scientific question against the global
179+
objective instead of automatically continuing the most recent example. Existing
180+
examples/theorems do not activate campaigns. On closing a gate, update the
181+
program's current question and link the result chapter. Preserve unresolved
182+
dependencies and frozen evidence without per-turn logs or duplicate result
183+
inventories. Follow F1-F4:
176184

177185
1. Define identity, sufficient constituent/boundary state, domains, units,
178186
observations and discarded information.
@@ -229,7 +237,7 @@ frozen producers for unrelated changes.
229237
| Need | Owner |
230238
| --- | --- |
231239
| Introduction / first use | [README] |
232-
| Definitions, proofs, theory/code/test map | [Theory catalog] |
240+
| Research objective and current question | [Research program]; linked chapters own definitions and proofs; [Theory catalog] is generated navigation |
233241
| Concept classification | [Glossary]; change definition/proof owners before summaries |
234242
| Package boundaries / shared execution | [Architecture] |
235243
| Guide responsibilities / website navigation | [Documentation map] |
@@ -241,11 +249,22 @@ Catalogs generate website menus; operator contracts and grammar roles generate
241249
their checked tables. Glossary checks validate declarations/references, not
242250
scientific truth. Do not create duplicate catalogs, rule tables or glossaries.
243251

244-
Maintained theory/docs owners have a 4,000-physical-line editorial limit checked
245-
by `scripts/check_documentation.py`. Split by model/responsibility; update
246-
canonical links and preserve published aliases. Archive inactive chronology
247-
with its evidence; retain useful conditional results and do not create a second
248-
next-task queue.
252+
`theory/RESEARCH_PROGRAM.md` is the sole research planning entry point. Keep it
253+
small enough for ordinary editor and Markdown-preview use. Each linked chapter
254+
has one canonical Markdown file at its declared path; edit that file directly.
255+
`theory/research_catalog.json` contains only ordering, titles and compatibility
256+
routes. It generates navigation, not a second theory or task queue. The optional
257+
`scripts/research_book.py` reader supports both this layout and historical
258+
monolithic captures. Never reassemble the maintained corpus into one preview
259+
page or edit generated website copies; [Contributing] gives the workflow.
260+
261+
The program has a 96-KiB file budget. Each research chapter, the program and
262+
each maintained docs owner also has a 4,000-physical-line editorial limit,
263+
checked by `scripts/check_documentation.py`. Split chapters by model and
264+
responsibility while preserving their published routes and evidence.
265+
Retain useful conditional results and counterexamples. Superseded instructions
266+
and corrected errors belong in Git recovery records, not active guidance.
267+
Frozen source captures remain historical evidence, never another task queue.
249268
Retire superseded drivers, duplicate plans and unused compatibility layers only
250269
after checking imports, public consumers and evidence dependencies. For unchanged
251270
committed files, record recovery revision/blob and replacement rather than
@@ -318,12 +337,10 @@ Detailed admission and verification belong to the linked contracts.
318337
[event contracts]: https://github.com/fermga/TNFR-Python-Engine/blob/main/docs/contracts/OPERATOR_EVENTS.md
319338
[relational contracts]: https://github.com/fermga/TNFR-Python-Engine/blob/main/docs/contracts/RELATIONAL_DYNAMICS.md
320339
[separate normalized-sine comparison]: https://github.com/fermga/TNFR-Python-Engine/blob/main/docs/contracts/relational/SINE_COMPARISON_AND_INFERENCE.md#detached-normalized-sine-complete-law-comparison
321-
[pressure contract]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/NODAL_PARAMETER_FOUNDATIONS.md#21-the-implemented-pressure-is-a-specified-relational-map
340+
[pressure contract]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/NODAL_PARAMETER_FOUNDATIONS.md
322341
[structural field guide]: https://github.com/fermga/TNFR-Python-Engine/blob/main/docs/STRUCTURAL_FIELDS_TETRAD.md
323-
[execution plan]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/research/FIVE_STAGE_EXECUTION_PLAN.md#current-g3-gate
324-
[portfolio]: https://github.com/fermga/TNFR-Python-Engine/blob/main/TNFR_lineas_de_investigacion.txt
325-
[strategy]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/NODAL_RESEARCH_STRATEGY.md
326-
[theory-to-execution map]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/README.md#theory-to-execution
342+
[research program]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/RESEARCH_PROGRAM.md#research-current-question
343+
[theory-to-execution map]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/RESEARCH_PROGRAM.md#theory-to-execution
327344
[Glossary]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/GLOSSARY.md
328345
[Architecture]: https://github.com/fermga/TNFR-Python-Engine/blob/main/ARCHITECTURE.md
329346
[Documentation map]: https://github.com/fermga/TNFR-Python-Engine/blob/main/docs/README.md

‎.github/workflows/docs.yml‎

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,18 +5,20 @@ on:
55
branches: [main]
66
paths:
77
- '**.md'
8-
- 'TNFR_lineas_de_investigacion.txt'
98
- 'docs/assets/**'
109
- 'src/tnfr/operators/operator_contracts.py'
1110
- 'src/tnfr/operators/grammar_canon.py'
1211
- 'tests/scripts/test_documentation.py'
12+
- 'tests/scripts/test_research_book*.py'
1313
- 'tests/scripts/test_glossary.py'
1414
- 'mkdocs.yml'
1515
- 'pyproject.toml'
1616
- '.zenodo.json'
1717
- 'CITATION.cff'
1818
- 'src/tnfr/_version.py'
1919
- 'scripts/check_documentation.py'
20+
- 'scripts/research_book.py'
21+
- 'theory/research_catalog.json'
2022
- 'scripts/check_glossary.py'
2123
- 'scripts/prepare_docs.py'
2224
- 'scripts/clean_repository.py'
@@ -26,18 +28,20 @@ on:
2628
branches: [main]
2729
paths:
2830
- '**.md'
29-
- 'TNFR_lineas_de_investigacion.txt'
3031
- 'docs/assets/**'
3132
- 'src/tnfr/operators/operator_contracts.py'
3233
- 'src/tnfr/operators/grammar_canon.py'
3334
- 'tests/scripts/test_documentation.py'
35+
- 'tests/scripts/test_research_book*.py'
3436
- 'tests/scripts/test_glossary.py'
3537
- 'mkdocs.yml'
3638
- 'pyproject.toml'
3739
- '.zenodo.json'
3840
- 'CITATION.cff'
3941
- 'src/tnfr/_version.py'
4042
- 'scripts/check_documentation.py'
43+
- 'scripts/research_book.py'
44+
- 'theory/research_catalog.json'
4145
- 'scripts/check_glossary.py'
4246
- 'scripts/prepare_docs.py'
4347
- 'scripts/clean_repository.py'

‎.github/workflows/verify-references.yml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,8 @@ on:
66
- '**.md'
77
- '**.ipynb'
88
- 'scripts/verify_internal_references.py'
9+
- 'scripts/research_book.py'
10+
- 'theory/research_catalog.json'
911
- '.github/workflows/verify-references.yml'
1012
push:
1113
branches:
@@ -15,6 +17,8 @@ on:
1517
- '**.md'
1618
- '**.ipynb'
1719
- 'scripts/verify_internal_references.py'
20+
- 'scripts/research_book.py'
21+
- 'theory/research_catalog.json'
1822
- '.github/workflows/verify-references.yml'
1923

2024
concurrency:

‎AGENTS.md‎

Lines changed: 35 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -31,8 +31,8 @@ model and scope, preserving valid conditional results and counterexamples.
3131
apostrophes for compact words and formulas; derive names from the registry.
3232
- Distinguish definitions, supplied laws, derived identities, conditional
3333
theorems, finite observations, policies and open hypotheses.
34-
- Explain the present model directly. Definitions belong with their owners,
35-
usage in guides and task status in the execution plan; overviews are neither
34+
- Explain the present model directly. Definitions belong with their chapters,
35+
usage in guides and task status in the research program; overviews are neither
3636
delivery logs nor copies of derivations.
3737
- Arithmetic encodings, graph analogies, auxiliary Hamiltonians and diagnostic
3838
scores retain their own premises. External identifications require an
@@ -168,11 +168,19 @@ state budgets do not prove entry.
168168

169169
## 5. Research and evidence discipline
170170

171-
The [execution plan] is the sole queue; the [portfolio] classifies branches and
172-
[strategy] explains their rationale. Existing examples/theorems do not activate
173-
campaigns. On closing a gate, replace its queue status and link the result
174-
owner. Preserve unresolved dependencies and frozen evidence without per-turn
175-
logs or duplicate result inventories. Follow F1-F4:
171+
The [research program] owns the global objective, current state, priorities and
172+
sole active question. Its technical chapters retain definitions, proofs and
173+
counterexamples in their original contexts. The old plan, strategy and portfolio
174+
routes are generated compatibility views, not active instructions.
175+
Before resuming research, read the program's current task and complete any
176+
open documentation prerequisite there. Its ordered checklist is the persistent
177+
continuation record; do not rely on conversation memory or create another queue.
178+
After the gate closes, reassess the next scientific question against the global
179+
objective instead of automatically continuing the most recent example. Existing
180+
examples/theorems do not activate campaigns. On closing a gate, update the
181+
program's current question and link the result chapter. Preserve unresolved
182+
dependencies and frozen evidence without per-turn logs or duplicate result
183+
inventories. Follow F1-F4:
176184

177185
1. Define identity, sufficient constituent/boundary state, domains, units,
178186
observations and discarded information.
@@ -229,7 +237,7 @@ frozen producers for unrelated changes.
229237
| Need | Owner |
230238
| --- | --- |
231239
| Introduction / first use | [README] |
232-
| Definitions, proofs, theory/code/test map | [Theory catalog] |
240+
| Research objective and current question | [Research program]; linked chapters own definitions and proofs; [Theory catalog] is generated navigation |
233241
| Concept classification | [Glossary]; change definition/proof owners before summaries |
234242
| Package boundaries / shared execution | [Architecture] |
235243
| Guide responsibilities / website navigation | [Documentation map] |
@@ -241,11 +249,22 @@ Catalogs generate website menus; operator contracts and grammar roles generate
241249
their checked tables. Glossary checks validate declarations/references, not
242250
scientific truth. Do not create duplicate catalogs, rule tables or glossaries.
243251

244-
Maintained theory/docs owners have a 4,000-physical-line editorial limit checked
245-
by `scripts/check_documentation.py`. Split by model/responsibility; update
246-
canonical links and preserve published aliases. Archive inactive chronology
247-
with its evidence; retain useful conditional results and do not create a second
248-
next-task queue.
252+
`theory/RESEARCH_PROGRAM.md` is the sole research planning entry point. Keep it
253+
small enough for ordinary editor and Markdown-preview use. Each linked chapter
254+
has one canonical Markdown file at its declared path; edit that file directly.
255+
`theory/research_catalog.json` contains only ordering, titles and compatibility
256+
routes. It generates navigation, not a second theory or task queue. The optional
257+
`scripts/research_book.py` reader supports both this layout and historical
258+
monolithic captures. Never reassemble the maintained corpus into one preview
259+
page or edit generated website copies; [Contributing] gives the workflow.
260+
261+
The program has a 96-KiB file budget. Each research chapter, the program and
262+
each maintained docs owner also has a 4,000-physical-line editorial limit,
263+
checked by `scripts/check_documentation.py`. Split chapters by model and
264+
responsibility while preserving their published routes and evidence.
265+
Retain useful conditional results and counterexamples. Superseded instructions
266+
and corrected errors belong in Git recovery records, not active guidance.
267+
Frozen source captures remain historical evidence, never another task queue.
249268
Retire superseded drivers, duplicate plans and unused compatibility layers only
250269
after checking imports, public consumers and evidence dependencies. For unchanged
251270
committed files, record recovery revision/blob and replacement rather than
@@ -318,12 +337,10 @@ Detailed admission and verification belong to the linked contracts.
318337
[event contracts]: https://github.com/fermga/TNFR-Python-Engine/blob/main/docs/contracts/OPERATOR_EVENTS.md
319338
[relational contracts]: https://github.com/fermga/TNFR-Python-Engine/blob/main/docs/contracts/RELATIONAL_DYNAMICS.md
320339
[separate normalized-sine comparison]: https://github.com/fermga/TNFR-Python-Engine/blob/main/docs/contracts/relational/SINE_COMPARISON_AND_INFERENCE.md#detached-normalized-sine-complete-law-comparison
321-
[pressure contract]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/NODAL_PARAMETER_FOUNDATIONS.md#21-the-implemented-pressure-is-a-specified-relational-map
340+
[pressure contract]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/NODAL_PARAMETER_FOUNDATIONS.md
322341
[structural field guide]: https://github.com/fermga/TNFR-Python-Engine/blob/main/docs/STRUCTURAL_FIELDS_TETRAD.md
323-
[execution plan]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/research/FIVE_STAGE_EXECUTION_PLAN.md#current-g3-gate
324-
[portfolio]: https://github.com/fermga/TNFR-Python-Engine/blob/main/TNFR_lineas_de_investigacion.txt
325-
[strategy]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/NODAL_RESEARCH_STRATEGY.md
326-
[theory-to-execution map]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/README.md#theory-to-execution
342+
[research program]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/RESEARCH_PROGRAM.md#research-current-question
343+
[theory-to-execution map]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/RESEARCH_PROGRAM.md#theory-to-execution
327344
[Glossary]: https://github.com/fermga/TNFR-Python-Engine/blob/main/theory/GLOSSARY.md
328345
[Architecture]: https://github.com/fermga/TNFR-Python-Engine/blob/main/ARCHITECTURE.md
329346
[Documentation map]: https://github.com/fermga/TNFR-Python-Engine/blob/main/docs/README.md

0 commit comments

Comments
 (0)