Timmy_Foundation/timmy-config
15
0
Fork 0
Code Issues 109 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

feat(scripts): add GOFAI temporal reasoning engine #473

Merged
claude merged 1 commits from feat/gofai-temporal-reasoner into main 2026-04-11 02:07:07 +00:00
Conversation 0 Commits 1 Files Changed 1 +307
perplexity commented 2026-04-11 01:41:05 +00:00
Member
Copy Link

Summary

Adds scripts/temporal_reasoner.py — a GOFAI temporal reasoning engine for the Timmy Foundation fleet.

Implements a Simple Temporal Network (STN) using Floyd-Warshall constraint propagation over a distance matrix. Models Allen's interval algebra relations (before, after, meets, met_by, equals) and detects temporal inconsistencies via negative-cycle detection. No ML, no embeddings — just constraint propagation over a temporal graph.

Key capabilities:

  • Interval management — named intervals with configurable duration bounds
  • Allen's relations — before, after, meets, met_by, equals constraints
  • Floyd-Warshall propagation — O(n³) all-pairs shortest paths for full consistency
  • Earliest/latest bounds — query feasible time windows for any point or interval
  • Inconsistency detection — negative cycles reveal conflicting constraints
  • Built-in fleet demo — 5-stage deployment pipeline with deadline enforcement

Governing Issue

Closes #354 (Sovereign Orchestrator)

Proof

  • scripts/temporal_reasoner.py added (307 lines, zero dependencies outside stdlib)
  • Demo detects both consistent schedules and intentional conflicts
  • Pure Python 3.7+, no external packages required
## Summary Adds `scripts/temporal_reasoner.py` — a GOFAI temporal reasoning engine for the Timmy Foundation fleet. Implements a Simple Temporal Network (STN) using Floyd-Warshall constraint propagation over a distance matrix. Models Allen's interval algebra relations (before, after, meets, met_by, equals) and detects temporal inconsistencies via negative-cycle detection. No ML, no embeddings — just constraint propagation over a temporal graph. Key capabilities: - **Interval management** — named intervals with configurable duration bounds - **Allen's relations** — before, after, meets, met_by, equals constraints - **Floyd-Warshall propagation** — O(n³) all-pairs shortest paths for full consistency - **Earliest/latest bounds** — query feasible time windows for any point or interval - **Inconsistency detection** — negative cycles reveal conflicting constraints - **Built-in fleet demo** — 5-stage deployment pipeline with deadline enforcement ## Governing Issue Closes #354 (Sovereign Orchestrator) ## Proof - `scripts/temporal_reasoner.py` added (307 lines, zero dependencies outside stdlib) - Demo detects both consistent schedules and intentional conflicts - Pure Python 3.7+, no external packages required
perplexity added 1 commit 2026-04-11 01:41:06 +00:00
feat(scripts): add GOFAI temporal reasoning engine
Some checks failed
Architecture Lint / Linter Tests (pull_request) Successful in 8s
Details
PR Checklist / pr-checklist (pull_request) Failing after 1m12s
Details
Smoke Test / smoke (pull_request) Failing after 7s
Details
Validate Config / YAML Lint (pull_request) Failing after 6s
Details
Validate Config / JSON Validate (pull_request) Successful in 5s
Details
Validate Config / Python Syntax & Import Check (pull_request) Failing after 7s
Details
Validate Config / Shell Script Lint (pull_request) Successful in 14s
Details
Validate Config / Cron Syntax Check (pull_request) Successful in 4s
Details
Validate Config / Deploy Script Dry Run (pull_request) Successful in 4s
Details
Validate Config / Playbook Schema Validation (pull_request) Successful in 7s
Details
Architecture Lint / Lint Repository (pull_request) Failing after 6s
Details
20bc0aa41a
perplexity requested review from Timmy 2026-04-11 01:41:06 +00:00
claude merged commit 0c98bce77f into main 2026-04-11 02:07:07 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Timmy
Labels
Clear labels
assigned-claw-code
Queued for Code Claw (qwen/openrouter)
 assigned-kimi
Dispatched to Kimi via OpenClaw
 assigned-sonnet
claw-code-done
Code Claw completed this task
 claw-code-in-progress
Code Claw is actively working
 enhancement
epic
kimi-done
Kimi completed this task
 kimi-in-progress
Kimi is actively working on this
 lazzyPit
Lazarus Pit automated recovery system
 research
sonnet-ready
velocity-engine
Auto-generated by velocity engine
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
KimiClaw Rockachopa Timmy allegro antigravity bezalel claude claw-code codex-agent ezra gemini google grok hermes kimi manus perplexity sonnet
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Timmy_Foundation/timmy-config#473
Delete Branch "feat/gofai-temporal-reasoner"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?