{"graphSha256":"f29d7b1eedeb88387238d2abda347f810d2179c5fdbead47c3ef48507ab20ca5","node":{"id":"GH064","type":"ficha","title":"02 — Formal core: dynamic sufficiency, bounded distinctions and explicit proof obligations","url":"https://dakleyer.github.io/perspective-beyond/sources/02-formal-core-dynamic-sufficiency-bounded-distinctions-and-explicit-proof-obl-gh064/","original":"https://github.com/dakleyer/structural-awareness-contributions/blob/7fc88e2e6970f1d20224bd6e8be08f853255ae79/research/ecosystem-awareness/baseline/01I-artifacts/acc-auxiliary-model-v0.1/studies/mathematical-lineage-social-agentic-v0.1/02_FORMAL_CORE_AND_PROOFS.md","aliases":[],"clusters":["research"],"tags":["control-minimo","documentacion","matematicas"],"summary":"","commit":"7fc88e2e6970f1d20224bd6e8be08f853255ae79","sourcePath":"research/ecosystem-awareness/baseline/01I-artifacts/acc-auxiliary-model-v0.1/studies/mathematical-lineage-social-agentic-v0.1/02_FORMAL_CORE_AND_PROOFS.md","commitUrl":"https://github.com/dakleyer/structural-awareness-contributions/commit/7fc88e2e6970f1d20224bd6e8be08f853255ae79","documentId":"doc-3a19d00ffd61069641","tagWeights":{"control-minimo":0.3529,"documentacion":0.1177,"matematicas":0.5294},"contextTokens":178},"relations":[["apoyo:GH064:C23","GH064","C23","documenta el concepto","",null,"apoyo",""],["apoyo:GH064:C120","GH064","C120","documenta el concepto","",null,"apoyo",""],["documento:G064","GH064","N1833","analogy only","A changed search question may require only the distinctions not already supplied by the existing observation, under a separately qualified query menu.",null,"documento","El criterio pertenece a la rama PR60 y a modelos finitos; no demuestra optimalidad global de la heurística de 2018."]]}