{"graphSha256":"f29d7b1eedeb88387238d2abda347f810d2179c5fdbead47c3ef48507ab20ca5","node":{"id":"sac-8b8be638d0c303","type":"ficha","title":"Finite check of the H/L/W extension kernel","url":"https://dakleyer.github.io/perspective-beyond/atlas/github/fichas/sac-8b8be638d0c303.html","original":"https://github.com/dakleyer/structural-awareness-contributions/blob/8502ff4c28fba9143c37a44bcbb2d21ca40f1c6e/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/proof/README.md","aliases":[],"clusters":["research"],"tags":["experimentacion"],"summary":"Contenido de la fuente: What has been executed · Enumerated domain · How it avoids a circular check.","commit":"8502ff4c28fba9143c37a44bcbb2d21ca40f1c6e","sourcePath":"research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/proof/README.md","commitUrl":"https://github.com/dakleyer/structural-awareness-contributions/commit/8502ff4c28fba9143c37a44bcbb2d21ca40f1c6e","documentId":"doc-825ce527c7131ed504","tagWeights":{"experimentacion":1.0},"contextTokens":153},"relations":[["documento:sac-rel-239428d9cb8bc5","sac-087bbc064c2db1","sac-8b8be638d0c303","referencia de la fuente","La fuente enlaza esta lectura en «Complete source-by-source retirement inventory» con el rótulo «research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/proof/README.md».","https://github.com/dakleyer/structural-awareness-contributions/blob/3e58fc6997a439b9783fd6b92ccee3f4292772dd/research/ecosystem-awareness/DDS_CHALLENGE_TRAJECTORY_PROFILE_v0.1_VNext.md","documento",""],["documento:sac-rel-b0549deddcd0cd","sac-ae5cfdf16d6d42","sac-8b8be638d0c303","referencia de la fuente","La fuente enlaza esta lectura en «Archivo completo de enlaces del corte» con el rótulo «Finite check of the H/L/W extension kernel».","https://github.com/dakleyer/structural-awareness-contributions/blob/4f4fb93a742d03e45a3b1b5f5a008c0bd00e8826/research/ecosystem-awareness/baseline/non-canonical/README.md","documento",""],["documento:sac-rel-ef2421c29e6b70","sac-5a5ee13c63bf1a","sac-8b8be638d0c303","referencia de la fuente","La fuente enlaza esta lectura en «Purpose and current evidence» con el rótulo «finite extension checker».","https://github.com/dakleyer/structural-awareness-contributions/blob/ae710f7d806da226c7140ff6dbc2faf01602c3ca/research/ecosystem-awareness/baseline/reductions/00G-R01/MATHEMATICAL_FEASIBILITY.md","documento",""],["documento:sac-rel-80ccea27409362","sac-3bd47e70e1652a","sac-8b8be638d0c303","referencia de la fuente","La fuente enlaza esta lectura en «Extensions» con el rótulo «Code, results and counterexamples».","https://github.com/dakleyer/structural-awareness-contributions/blob/ed0322c9ee607a9b23ad3cf25dca9dedf269eda6/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/CRITERIA_AND_AUDIT.md","documento",""],["documento:sac-rel-e8be6faa639711","sac-c1b914d4bd8355","sac-8b8be638d0c303","referencia de la fuente","La fuente enlaza esta lectura en «Methodological foundations: test R01 and transfer only preserved properties» con el rótulo «Checked fragment».","https://github.com/dakleyer/structural-awareness-contributions/blob/d9a3f9a2f5c832f2998ad5798cae0592bd349cf5/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/METHODOLOGICAL_FOUNDATIONS.md","documento",""],["documento:sac-rel-4967af4ef8e67d","sac-33624cb63bce70","sac-8b8be638d0c303","referencia de la fuente","La fuente enlaza esta lectura en «Isomorphic functional kernel and parameterized extension of R01» con el rótulo «Finite check».","https://github.com/dakleyer/structural-awareness-contributions/blob/cdfd1a6d2677eccb90cf50ffda6368af50a051b9/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/KERNEL_AND_PROOF.md","documento",""],["documento:sac-rel-499e0b916298be","sac-3aaf4a715a6554","sac-8b8be638d0c303","referencia de la fuente","La fuente enlaza esta lectura en «4 What the proof and results establish» con el rótulo «Python checker».","https://github.com/dakleyer/structural-awareness-contributions/blob/10a8e49e0e969617f0e0fb1c14fc7e9814749cb2/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/README.md","documento",""],["documento:sac-rel-3fe8a69e99a005","sac-8b8be638d0c303","sac-3aaf4a715a6554","referencia de la fuente","La fuente enlaza esta lectura en «Finite check of the H/L/W extension kernel» con el rótulo «Family».","https://github.com/dakleyer/structural-awareness-contributions/blob/8502ff4c28fba9143c37a44bcbb2d21ca40f1c6e/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/proof/README.md","documento",""],["documento:sac-rel-0c23b520179160","sac-8b8be638d0c303","sac-33624cb63bce70","referencia de la fuente","La fuente enlaza esta lectura en «Finite check of the H/L/W extension kernel» con el rótulo «Proposition and proof».","https://github.com/dakleyer/structural-awareness-contributions/blob/8502ff4c28fba9143c37a44bcbb2d21ca40f1c6e/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/proof/README.md","documento",""],["documento:sac-rel-d67440e240fbba","sac-8b8be638d0c303","sac-3bd47e70e1652a","referencia de la fuente","La fuente enlaza esta lectura en «Finite check of the H/L/W extension kernel» con el rótulo «common evidence rule».","https://github.com/dakleyer/structural-awareness-contributions/blob/8502ff4c28fba9143c37a44bcbb2d21ca40f1c6e/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/proof/README.md","documento",""],["documento:sac-rel-05cfe38225b5fc","sac-8b8be638d0c303","sac-842e012fc7d601","referencia de la fuente","La fuente enlaza esta lectura en «Coverage against the complete inventory» con el rótulo «Common guide from R01».","https://github.com/dakleyer/structural-awareness-contributions/blob/8502ff4c28fba9143c37a44bcbb2d21ca40f1c6e/research/ecosystem-awareness/baseline/reductions/00G-R01/extensions/family/proof/README.md","documento",""]]}