{"graphSha256":"f29d7b1eedeb88387238d2abda347f810d2179c5fdbead47c3ef48507ab20ca5","node":{"id":"sac-3875c8d505fa24","type":"ficha","title":"00K-A04 — Six-Principle Symbolic Execution Summary — v0.1","url":"https://dakleyer.github.io/perspective-beyond/atlas/github/fichas/sac-3875c8d505fa24.html","original":"https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","aliases":[],"clusters":["research"],"tags":["autoridad","decision","evidencia","integridad-ia"],"summary":"Contenido de la fuente: 1. Execution matrix · 2. What is now tested in code · 3. Principle-specific discriminants.","commit":"5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f","sourcePath":"research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","commitUrl":"https://github.com/dakleyer/structural-awareness-contributions/commit/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f","documentId":"doc-64c5d0a4863b74e13f","tagWeights":{"autoridad":0.125,"decision":0.125,"evidencia":0.125,"integridad-ia":0.625},"contextTokens":199},"relations":[["documento:sac-rel-c010b3e98720a2","sac-e9c094fb344aaa","sac-3875c8d505fa24","referencia de la fuente","La fuente enlaza esta lectura en «Registro por archivo» con el rótulo «00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md».","https://github.com/dakleyer/structural-awareness-contributions/blob/135d8ff8b2d953270426f5cda0e77402ed0f81e7/governance/ECOSYSTEM_AWARENESS_LINKED_DOCUMENT_AUDIT_2026-09-25.md","documento",""],["documento:sac-rel-e89f0b9ee5fd31","sac-087bbc064c2db1","sac-3875c8d505fa24","referencia de la fuente","La fuente enlaza esta lectura en «Complete source-by-source retirement inventory» con el rótulo «research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.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-924a48db5a0fd7","sac-991dbae1df8f3a","sac-3875c8d505fa24","referencia de la fuente","La fuente enlaza esta lectura en «Requirements necessity / principle ablation» con el rótulo «six-principle execution summary».","https://github.com/dakleyer/structural-awareness-contributions/blob/11fbac15d6f2b790d459ab507633b2293e302709/research/ecosystem-awareness/README.md","documento",""],["documento:sac-rel-e28db7ad216972","sac-3875c8d505fa24","sac-f74c667e74355c","referencia de la fuente","La fuente enlaza esta lectura en «00K-A04 — Six-Principle Symbolic Execution Summary — v0.1» con el rótulo «00K — Six-Principle Sufficiency & Adversarial Ablation Test».","https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","documento",""],["documento:sac-rel-923ddb374d1c6e","sac-3875c8d505fa24","sac-788a18accd4403","referencia de la fuente","La fuente enlaza esta lectura en «00K-A04 — Six-Principle Symbolic Execution Summary — v0.1» con el rótulo «00K-A06».","https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","documento",""],["documento:sac-rel-772904d315a166","sac-3875c8d505fa24","sac-e18d2150e7bb31","referencia de la fuente","La fuente enlaza esta lectura en «1. Execution matrix» con el rótulo «00K-A14».","https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","documento",""],["documento:sac-rel-c6039950982729","sac-3875c8d505fa24","sac-44eee3f431cfef","referencia de la fuente","La fuente enlaza esta lectura en «P6 / 00G — can correlated consensus be distinguished from independent support?» con el rótulo «A6a falsifier».","https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","documento",""],["documento:sac-rel-c0a16a1236b707","sac-3875c8d505fa24","sac-1f10e41552ed2c","referencia de la fuente","La fuente enlaza esta lectura en «P6 / 00G — can correlated consensus be distinguished from independent support?» con el rótulo «A6b / 00F».","https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","documento",""],["documento:sac-rel-62bfa1e8b91a8d","sac-3875c8d505fa24","sac-4e53f7d0f8643e","referencia de la fuente","La fuente enlaza esta lectura en «3A. Bounded-grid hardening» con el rótulo «00K-A05 bounded-grid hardening audit».","https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","documento",""],["documento:sac-rel-857155e8ad0684","sac-3875c8d505fa24","sac-4b7fba62f30451","referencia de la fuente","La fuente enlaza esta lectura en «5. Executable package routes» con el rótulo «A1 / P1–00J».","https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","documento",""],["documento:sac-rel-6b5f6650096fbe","sac-3875c8d505fa24","sac-0898db51143453","referencia de la fuente","La fuente enlaza esta lectura en «5. Executable package routes» con el rótulo «A2 / P2–00E».","https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","documento",""],["documento:sac-rel-94911c613708fd","sac-3875c8d505fa24","sac-b1bab1ea94565e","referencia de la fuente","La fuente enlaza esta lectura en «5. Executable package routes» con el rótulo «A3 / P3–00F».","https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","documento",""],["documento:sac-rel-61df8fdfe576a4","sac-3875c8d505fa24","sac-102a6c36b35c52","referencia de la fuente","La fuente enlaza esta lectura en «5. Executable package routes» con el rótulo «A4 / P4–00H active harness».","https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","documento",""],["documento:sac-rel-faae5e240343f6","sac-3875c8d505fa24","sac-413bb6b1609a4e","referencia de la fuente","La fuente enlaza esta lectura en «5. Executable package routes» con el rótulo «A4 reviewed v0.2 package + independent verification».","https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","documento",""],["documento:sac-rel-abcd2760e1a00b","sac-3875c8d505fa24","sac-74298fb20aa45f","referencia de la fuente","La fuente enlaza esta lectura en «5. Executable package routes» con el rótulo «A5 / P5–00I».","https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","documento",""],["documento:sac-rel-aab3814993735f","sac-3875c8d505fa24","sac-b46366d7a9467c","referencia de la fuente","La fuente enlaza esta lectura en «5. Executable package routes» con el rótulo «A6 / P6–00G matched-authority isolation».","https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","documento",""],["documento:sac-rel-dc7b38867f4698","sac-3875c8d505fa24","sac-643153979aed52","referencia de la fuente","La fuente enlaza esta lectura en «5. Executable package routes» con el rótulo «Complete symbolic suite router».","https://github.com/dakleyer/structural-awareness-contributions/blob/5e9f7d1b0ab3c0cb6470c65777e4822de08fc41f/research/ecosystem-awareness/baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md","documento",""],["documento:sac-rel-278a5e532d4e0f","sac-4e53f7d0f8643e","sac-3875c8d505fa24","referencia de la fuente","La fuente enlaza esta lectura en «00K-A05 — Bounded-Grid Hardening & P5 Repair Audit — v0.1» con el rótulo «00K-A04 — Six-Principle Symbolic Execution Summary».","https://github.com/dakleyer/structural-awareness-contributions/blob/c661bc80b88b59e076b3cca56960b5a6ad646e6f/research/ecosystem-awareness/baseline/00K_A05_BOUNDED_GRID_HARDENING_AND_P5_AUDIT_v0.1.md","documento",""],["documento:sac-rel-770b599ea66813","sac-f469946a28f863","sac-3875c8d505fa24","referencia de la fuente","La fuente enlaza esta lectura en «00K-A15 — Complete Six-Principle Ablation Testbook — v0.1» con el rótulo «00K-A04».","https://github.com/dakleyer/structural-awareness-contributions/blob/7e78d3e0e5625121c19ed82a0f4dd70bfa20d594/research/ecosystem-awareness/baseline/00K_A15_COMPLETE_SIX_PRINCIPLE_ABLATION_TESTBOOK_v0.1.md","documento",""],["documento:sac-rel-ac64ebd34f402c","sac-f74c667e74355c","sac-3875c8d505fa24","referencia de la fuente","La fuente enlaza esta lectura en «00K — Six-Principle Sufficiency & Adversarial Ablation Test — v0.1 Draft» con el rótulo «00K-A04 — six-principle symbolic execution summary».","https://github.com/dakleyer/structural-awareness-contributions/blob/3952402159065241482ae11b9a1a87b039af28d0/research/ecosystem-awareness/baseline/00K_SIX_PRINCIPLE_REQUIREMENTS_MAPPING_AND_ABLATION_TEST_v0.1_DRAFT.md","documento",""],["documento:sac-rel-9ef27665d34764","sac-2afd960fa37389","sac-3875c8d505fa24","referencia de la fuente","La fuente enlaza esta lectura en «A.5 Canonical universal test document and canonical working benchmark (outside the controlled release bas» con el rótulo «baseline/00K_A04_SIX_PRINCIPLE_SYMBOLIC_EXECUTION_SUMMARY_v0.1.md».","https://github.com/dakleyer/structural-awareness-contributions/blob/ee4e16965fa66b158fe41c081d494ef364a3980b/research/ecosystem-awareness/baseline/CANONICAL_CORPUS_MANIFEST.md","documento",""],["documento:sac-rel-8571576d3a4c66","sac-ae5cfdf16d6d42","sac-3875c8d505fa24","referencia de la fuente","La fuente enlaza esta lectura en «Archivo completo de enlaces del corte» con el rótulo «00K-A04 — Six-Principle Symbolic Execution Summary — v0.1».","https://github.com/dakleyer/structural-awareness-contributions/blob/4f4fb93a742d03e45a3b1b5f5a008c0bd00e8826/research/ecosystem-awareness/baseline/non-canonical/README.md","documento",""]]}