Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
67 changes: 41 additions & 26 deletions .verisimdb/compose.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,29 +2,44 @@
# Podman Compose file for the standards VeriSimDB instance.
# Usage: podman-compose -f .verisimdb/compose.yml up -d

version: "3.8"

services:
standards-verisimdb:
build:
context: ..
dockerfile: .verisimdb/Containerfile
image: standards-verisimdb:latest
container_name: standards-verisimdb
ports:
- "8097:8097"
volumes:
- standards-verisimdb-data:/app/data
environment:
VERISIMDB_LOG_LEVEL: info
VERISIMDB_INSTANCE: standards
restart: unless-stopped
healthcheck:
test: ["CMD", "wget", "-q", "--spider", "http://localhost:8097/health"]
interval: 30s
timeout: 5s
retries: 3

volumes:
standards-verisimdb-data:
name: standards-verisimdb-data
{
version: "3.8",
services: {
standards-verisimdb: {
build: {
context: "..",
dockerfile: ".verisimdb/Containerfile",
},
image: "standards-verisimdb:latest",
container_name: "standards-verisimdb",
ports: [
"8097:8097",
],
volumes: [
"standards-verisimdb-data:/app/data",
],
environment: {
VERISIMDB_LOG_LEVEL: "info",
VERISIMDB_INSTANCE: "standards",
},
restart: "unless-stopped",
healthcheck: {
test: [
"CMD",
"wget",
"-q",
"--spider",
"http://localhost:8097/health",
],
interval: "30s",
timeout: "5s",
retries: 3,
},
},
},
volumes: {
standards-verisimdb-data: {
name: "standards-verisimdb-data",
},
},
}
Original file line number Diff line number Diff line change
@@ -1,23 +1,25 @@
# SPDX-License-Identifier: MPL-2.0
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
# STUB: Session-management machine protocol contract
protocol:
family: "continuity"
name: "checkpoint-before-major-change"
canonical_command: "checkpoint change <path>"
status: "stub"

continuity_core:
- goal
- current_task
- last_completed_action
- next_intended_action
- repository
- branch
- head_commit
- files_of_interest
- known_blockers
- residual_risks
- recommended_next_protocol

outputs: []
{
protocol: {
family: "continuity",
name: "checkpoint-before-major-change",
canonical_command: "checkpoint change <path>",
status: "stub",
},
continuity_core: [
"goal",
"current_task",
"last_completed_action",
"next_intended_action",
"repository",
"branch",
"head_commit",
"files_of_interest",
"known_blockers",
"residual_risks",
"recommended_next_protocol",
],
outputs: [],
}
Original file line number Diff line number Diff line change
@@ -1,23 +1,25 @@
# SPDX-License-Identifier: MPL-2.0
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
# STUB: Session-management machine protocol contract
protocol:
family: "continuity"
name: "emergency-termination"
canonical_command: "close urgent <path>"
status: "stub"

continuity_core:
- goal
- current_task
- last_completed_action
- next_intended_action
- repository
- branch
- head_commit
- files_of_interest
- known_blockers
- residual_risks
- recommended_next_protocol

outputs: []
{
protocol: {
family: "continuity",
name: "emergency-termination",
canonical_command: "close urgent <path>",
status: "stub",
},
continuity_core: [
"goal",
"current_task",
"last_completed_action",
"next_intended_action",
"repository",
"branch",
"head_commit",
"files_of_interest",
"known_blockers",
"residual_risks",
"recommended_next_protocol",
],
outputs: [],
}
Original file line number Diff line number Diff line change
@@ -1,50 +1,55 @@
# Machine protocol contract for planned-session-close
# SPDX-License-Identifier: MPL-2.0
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
protocol:
family: "continuity"
name: "planned-session-close"
canonical_command: "close planned <path>"
status: "active"
version: "1.1.0"

continuity_core:
# Metadata
- protocol
- protocol_version
- session_id
- session_start
- session_end
- assistant
- author
- format_schema
- archival_convention
- cross_references
# Core Content
- goal
- current_task
- last_completed_action
- next_intended_action
- repository
- branch
- head_commit
- files_of_interest
- known_blockers
- residual_risks
- recommended_next_protocol
# Tables/Lists
- commits_made
- verifications_run
- decisions_made
- decisions_deferred
- open_invitations
- memory_entries
- risk_register_delta
- discipline_check

outputs:
- path: "SESSION-CLOSE-<ISO-DATE>-<TOPIC>.adoc"
format: "asciidoc"
schema: "session-close.v1.enriched"
grounding: "required"
archival: "append-only"
{
protocol: {
family: "continuity",
name: "planned-session-close",
canonical_command: "close planned <path>",
status: "active",
version: "1.1.0",
},
continuity_core: [
# Metadata
"protocol",
"protocol_version",
"session_id",
"session_start",
"session_end",
"assistant",
"author",
"format_schema",
"archival_convention",
"cross_references",
# Core Content
"goal",
"current_task",
"last_completed_action",
"next_intended_action",
"repository",
"branch",
"head_commit",
"files_of_interest",
"known_blockers",
"residual_risks",
"recommended_next_protocol",
# Tables/Lists
"commits_made",
"verifications_run",
"decisions_made",
"decisions_deferred",
"open_invitations",
"memory_entries",
"risk_register_delta",
"discipline_check",
],
outputs: [
{
path: "SESSION-CLOSE-<ISO-DATE>-<TOPIC>.adoc",
format: "asciidoc",
schema: "session-close.v1.enriched",
grounding: "required",
archival: "append-only",
},
],
}
Original file line number Diff line number Diff line change
@@ -1,23 +1,25 @@
# SPDX-License-Identifier: MPL-2.0
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
# STUB: Session-management machine protocol contract
protocol:
family: "continuity"
name: "recovery-operation"
canonical_command: "recover repo <path>"
status: "stub"

continuity_core:
- goal
- current_task
- last_completed_action
- next_intended_action
- repository
- branch
- head_commit
- files_of_interest
- known_blockers
- residual_risks
- recommended_next_protocol

outputs: []
{
protocol: {
family: "continuity",
name: "recovery-operation",
canonical_command: "recover repo <path>",
status: "stub",
},
continuity_core: [
"goal",
"current_task",
"last_completed_action",
"next_intended_action",
"repository",
"branch",
"head_commit",
"files_of_interest",
"known_blockers",
"residual_risks",
"recommended_next_protocol",
],
outputs: [],
}
Original file line number Diff line number Diff line change
@@ -1,23 +1,25 @@
# SPDX-License-Identifier: MPL-2.0
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
# STUB: Session-management machine protocol contract
protocol:
family: "continuity"
name: "repo-intake"
canonical_command: "intake repo <path>"
status: "stub"

continuity_core:
- goal
- current_task
- last_completed_action
- next_intended_action
- repository
- branch
- head_commit
- files_of_interest
- known_blockers
- residual_risks
- recommended_next_protocol

outputs: []
{
protocol: {
family: "continuity",
name: "repo-intake",
canonical_command: "intake repo <path>",
status: "stub",
},
continuity_core: [
"goal",
"current_task",
"last_completed_action",
"next_intended_action",
"repository",
"branch",
"head_commit",
"files_of_interest",
"known_blockers",
"residual_risks",
"recommended_next_protocol",
],
outputs: [],
}
Loading
Loading