Graph Topology Cleanup (LAW 8 Violations)
Found during Ring-0 post-merge audit (see #2 comment).
Must Fix (P0)
-
Fix typo in phi_critical_edges (line 372):
triatt-sacredred → triatt-sacred
-
Add 7 AR spec declarations to architecture/graph.tri:
| Spec ID |
Path |
Tier |
triar-logic |
specs/ar/ternary_logic.t27 |
2 |
triar-proof-trace |
specs/ar/proof_trace.t27 |
2 |
triar-datalog |
specs/ar/datalog_engine.t27 |
2 |
triar-restraint |
specs/ar/restraint.t27 |
2 |
triar-explainability |
specs/ar/explainability.t27 |
2 |
triar-asp |
specs/ar/asp_solver.t27 |
2 |
triar-composition |
specs/ar/composition.t27 |
2 |
-
Add 8 GF numeric spec declarations:
gf4, gf8, gf12, gf20, gf24, gf32, goldenfloat_family, phi_ratio
Should Fix (P1)
-
Add 9 compiler tooling specs to graph.tri:
compiler/ast.t27, compiler/cli/gen.t27, compiler/cli/git.t27, compiler/cli/spec.t27, compiler/codegen/testgen.t27, compiler/codegen/zig/runtime.t27, compiler/runtime/commands.t27, compiler/runtime/validation.t27, compiler/skill/registry.t27
-
Add specs/compiler/parser.t27 to graph.tri
-
Reconcile docs/SEED-RINGS.md layer table with Constitutional LAW 3 ranges
Acceptance Test
# Every .t27 file in specs/ and compiler/ must have a matching spec{} block in graph.tri
# Every spec referenced in edges{} must have a spec{} declaration
# No dangling references in phi_critical_edges or sacred_core_edges
φ² + 1/φ² = 3 | TRINITY
Graph Topology Cleanup (LAW 8 Violations)
Found during Ring-0 post-merge audit (see #2 comment).
Must Fix (P0)
Fix typo in
phi_critical_edges(line 372):triatt-sacredred→triatt-sacredAdd 7 AR spec declarations to
architecture/graph.tri:triar-logicspecs/ar/ternary_logic.t27triar-proof-tracespecs/ar/proof_trace.t27triar-datalogspecs/ar/datalog_engine.t27triar-restraintspecs/ar/restraint.t27triar-explainabilityspecs/ar/explainability.t27triar-aspspecs/ar/asp_solver.t27triar-compositionspecs/ar/composition.t27Add 8 GF numeric spec declarations:
gf4,gf8,gf12,gf20,gf24,gf32,goldenfloat_family,phi_ratioShould Fix (P1)
Add 9 compiler tooling specs to graph.tri:
compiler/ast.t27,compiler/cli/gen.t27,compiler/cli/git.t27,compiler/cli/spec.t27,compiler/codegen/testgen.t27,compiler/codegen/zig/runtime.t27,compiler/runtime/commands.t27,compiler/runtime/validation.t27,compiler/skill/registry.t27Add
specs/compiler/parser.t27to graph.triReconcile
docs/SEED-RINGS.mdlayer table with Constitutional LAW 3 rangesAcceptance Test
φ² + 1/φ² = 3 | TRINITY