docs: verify structured semantic contracts
This commit is contained in:
@@ -159,25 +159,29 @@ if [[ $project_state_status -eq 0 ]] || ! grep -Fq "contradictory active text" "
|
||||
exit 1
|
||||
fi
|
||||
|
||||
project_state_live_heading="$negative_root/project-state-live-heading.md"
|
||||
python3 - "$root/PROJECT_STATE.md" "$project_state_live_heading" <<'PY'
|
||||
for level in 1 2 3 4 5 6; do
|
||||
project_state_live_heading="$negative_root/project-state-live-heading-h$level.md"
|
||||
python3 - "$root/PROJECT_STATE.md" "$project_state_live_heading" "$level" <<'PY'
|
||||
import pathlib, sys
|
||||
source = pathlib.Path(sys.argv[1]).read_text()
|
||||
target = pathlib.Path(sys.argv[2])
|
||||
level = int(sys.argv[3])
|
||||
marker = source.index("## Historical snapshots")
|
||||
historical = source[marker:]
|
||||
historical = historical.replace("### Historical snapshot — Session summary redesign (2026-07-23)", "### Session summary redesign — LIVE 2026-07-23", 1)
|
||||
replacement = "#" * level + " Session summary redesign — LIVE 2026-07-23"
|
||||
historical = historical.replace("### Historical snapshot — Session summary redesign (2026-07-23)", replacement, 1)
|
||||
target.write_text(source[:marker] + historical)
|
||||
PY
|
||||
set +e
|
||||
verify_project_state_current_contract "$project_state_live_heading" historical-live-heading >"$project_state_output" 2>&1
|
||||
project_state_status=$?
|
||||
set -e
|
||||
if [[ $project_state_status -eq 0 ]] || ! grep -Fq "active/live heading markers" "$project_state_output"; then
|
||||
echo "historical LIVE-heading fixture was not rejected correctly" >&2
|
||||
cat "$project_state_output" >&2
|
||||
exit 1
|
||||
fi
|
||||
set +e
|
||||
verify_project_state_current_contract "$project_state_live_heading" "historical-live-heading-h$level" >"$project_state_output" 2>&1
|
||||
project_state_status=$?
|
||||
set -e
|
||||
if [[ $project_state_status -eq 0 ]] || ! grep -Fq "active/live heading markers" "$project_state_output"; then
|
||||
echo "historical LIVE-heading fixture was not rejected correctly for heading level $level" >&2
|
||||
cat "$project_state_output" >&2
|
||||
exit 1
|
||||
fi
|
||||
done
|
||||
|
||||
workspace_fixture="$negative_root/workspace-invalid.yaml"
|
||||
python3 - "$root/deploy/workspaces/example.yaml" "$workspace_fixture" <<'PY'
|
||||
@@ -225,13 +229,13 @@ import pathlib, sys
|
||||
path = pathlib.Path(sys.argv[1])
|
||||
text = path.read_text()
|
||||
text = text.replace(
|
||||
"One workspace owns one Qdrant collection; schema, Evidence, and Memory records share that collection and remain\nisolated by payload `kind`.",
|
||||
"Each workspace reserves a single Qdrant collection. Schema, Evidence, and Memory stay inside that same collection and are separated by payload `kind`.",
|
||||
"| Workspace semantic index | Each workspace reserves a single Qdrant collection. | Schema, Evidence, and Memory stay in that one collection and remain isolated by payload `kind`. |",
|
||||
"| Workspace semantic index | A workspace keeps exactly one Qdrant collection reserved for itself. | Schema, Evidence, and Memory remain together in that collection and are still separated by payload `kind`. |",
|
||||
)
|
||||
path.write_text(text)
|
||||
PY
|
||||
require_concept_tokens "$local_manual_paraphrase" "local manual paraphrase" "workspace" "qdrant" "collection" >/dev/null
|
||||
require_pattern "$local_manual_paraphrase" "local manual paraphrase" '(?is)(single|one|each).{0,120}(workspace|qdrant|collection).{0,120}(reserves|reserve|owns|single)' >/dev/null
|
||||
semantic_index_spec='{"rows":[{"scope":"workspace semantic index","ownership rule":"(each|one|single|exactly one).*(workspace).*(single|one|exactly one).*(Qdrant).*(collection)|(workspace keeps exactly one qdrant collection reserved for itself)","isolation rule":"schema.*evidence.*memory.*(one|that).*(collection).*(kind|payload)|schema.*evidence.*memory.*together.*collection.*(kind|payload)"}]}'
|
||||
verify_markdown_table_relationships "$local_manual_paraphrase" "local manual paraphrase" "Semantic index ownership contract" "$semantic_index_spec" >/dev/null
|
||||
|
||||
local_manual_missing="$negative_root/local-manual-missing.md"
|
||||
cp "$root/docs/install/local-workspace-registry.md" "$local_manual_missing"
|
||||
@@ -240,13 +244,13 @@ import pathlib, sys
|
||||
path = pathlib.Path(sys.argv[1])
|
||||
text = path.read_text()
|
||||
text = text.replace(
|
||||
"Schema-v3 is the only operational descriptor format. Schema-v1/v2 descriptors remain\n`migration_required` until an explicit reviewed migration writes schema version 3. One workspace owns one Qdrant collection; schema, Evidence, and Memory records share that collection and remain\nisolated by payload `kind`.\n",
|
||||
"Schema-v3 is the only operational descriptor format. Schema-v1/v2 descriptors remain `migration_required` until an explicit reviewed migration writes schema version 3.\n",
|
||||
"| Workspace semantic index | Each workspace reserves a single Qdrant collection. | Schema, Evidence, and Memory stay in that one collection and remain isolated by payload `kind`. |\n",
|
||||
"",
|
||||
)
|
||||
path.write_text(text)
|
||||
PY
|
||||
set +e
|
||||
require_pattern "$local_manual_missing" "local manual missing ownership" '(?is)(single|one|each).{0,120}(workspace|qdrant|collection).{0,120}(reserves|reserve|owns|single)' >"$workspace_output" 2>&1
|
||||
verify_markdown_table_relationships "$local_manual_missing" "local manual missing ownership" "Semantic index ownership contract" "$semantic_index_spec" >"$workspace_output" 2>&1
|
||||
workspace_status=$?
|
||||
set -e
|
||||
if [[ $workspace_status -eq 0 ]]; then
|
||||
@@ -255,27 +259,48 @@ if [[ $workspace_status -eq 0 ]]; then
|
||||
exit 1
|
||||
fi
|
||||
|
||||
local_manual_scattered="$negative_root/local-manual-scattered.md"
|
||||
cp "$root/docs/install/local-workspace-registry.md" "$local_manual_scattered"
|
||||
python3 - "$local_manual_scattered" <<'PY'
|
||||
import pathlib, sys
|
||||
path = pathlib.Path(sys.argv[1])
|
||||
text = path.read_text()
|
||||
text = text.replace(
|
||||
"| Workspace semantic index | Each workspace reserves a single Qdrant collection. | Schema, Evidence, and Memory stay in that one collection and remain isolated by payload `kind`. |\n",
|
||||
"",
|
||||
)
|
||||
text += "\nWorkspace. Qdrant. Collection. Schema. Evidence. Memory. Payload kind.\n"
|
||||
path.write_text(text)
|
||||
PY
|
||||
set +e
|
||||
verify_markdown_table_relationships "$local_manual_scattered" "local manual scattered ownership" "Semantic index ownership contract" "$semantic_index_spec" >"$workspace_output" 2>&1
|
||||
workspace_status=$?
|
||||
set -e
|
||||
if [[ $workspace_status -eq 0 ]]; then
|
||||
echo "scattered ownership tokens fixture was not rejected correctly" >&2
|
||||
cat "$workspace_output" >&2
|
||||
exit 1
|
||||
fi
|
||||
|
||||
compact_paraphrase="$negative_root/compact-paraphrase.md"
|
||||
cp "$root/docs/installazione-docker-4-contesti.md" "$compact_paraphrase"
|
||||
python3 - "$compact_paraphrase" <<'PY'
|
||||
import pathlib, sys
|
||||
path = pathlib.Path(sys.argv[1])
|
||||
text = path.read_text()
|
||||
text = text.replace(
|
||||
"Qdrant e Ollama embedding sono servizi interni obbligatori del progetto Compose. Restano esterni solo DWH e LLM.",
|
||||
"Nel Compose di ThothII Qdrant e l'embedding Ollama fanno parte dei servizi interni obbligatori; DWH e LLM restano invece gli unici servizi esterni.",
|
||||
)
|
||||
text = text.replace("| DWH | Esterno | Endpoint esterno configurato dall'installazione. |", "| DWH | Esterno | Endpoint esterno deciso dall'installazione. |")
|
||||
text = text.replace("| LLM | Esterno | Endpoint o policy esterna all'infrastruttura semantica interna. |", "| LLM | Esterno | Endpoint o policy che resta esterna all'infrastruttura semantica interna. |")
|
||||
text = text.replace("| Qdrant | Interno | Servizio Compose interno obbligatorio con volume persistente `qdrant-data`. |", "| Qdrant | Interno | Servizio Compose interno obbligatorio con il volume persistente `qdrant-data`. |")
|
||||
text = text.replace("| Ollama embedding | Interno | Servizio Compose interno obbligatorio per `qwen3-embedding:0.6b`. |", "| Ollama embedding | Interno | Servizio Compose interno obbligatorio dedicato a `qwen3-embedding:0.6b`. |")
|
||||
path.write_text(text)
|
||||
PY
|
||||
for pattern in \
|
||||
'Qdrant' \
|
||||
'Ollama' \
|
||||
'(interni obbligatori|servizi interni obbligatori|interni al progetto Compose)' \
|
||||
'DWH' \
|
||||
'LLM' \
|
||||
'(esterni solo|solo esterni|restano esterni|unici servizi esterni|unici esterni)'; do
|
||||
require_pattern "$compact_paraphrase" "compact manual paraphrase" "$pattern" >/dev/null
|
||||
done
|
||||
compact_spec='{"rows":[
|
||||
{"componente":"^DWH$","ownership":"^Esterno$","contratto operativo":"endpoint.*estern"},
|
||||
{"componente":"^LLM$","ownership":"^Esterno$","contratto operativo":"esterna|esterno"},
|
||||
{"componente":"^Qdrant$","ownership":"^Interno$","contratto operativo":"interno.*obbligatorio.*qdrant-data"},
|
||||
{"componente":"^Ollama embedding$","ownership":"^Interno$","contratto operativo":"interno.*obbligatorio.*qwen3-embedding:0\\.6b"}
|
||||
]}'
|
||||
verify_markdown_table_relationships "$compact_paraphrase" "compact manual paraphrase" "Contratto sintetico di ownership" "$compact_spec" >/dev/null
|
||||
|
||||
compact_inversion="$negative_root/compact-inversion.md"
|
||||
cp "$root/docs/installazione-docker-4-contesti.md" "$compact_inversion"
|
||||
@@ -283,14 +308,11 @@ python3 - "$compact_inversion" <<'PY'
|
||||
import pathlib, sys
|
||||
path = pathlib.Path(sys.argv[1])
|
||||
text = path.read_text()
|
||||
text = text.replace(
|
||||
"Qdrant e Ollama embedding sono servizi interni obbligatori del progetto Compose. Restano esterni solo DWH e LLM.",
|
||||
"Qdrant, Ollama, DWH e LLM restano tutti servizi esterni.",
|
||||
)
|
||||
text = text.replace("| Qdrant | Interno | Servizio Compose interno obbligatorio con volume persistente `qdrant-data`. |", "| Qdrant | Esterno | Servizio esterno condiviso. |")
|
||||
path.write_text(text)
|
||||
PY
|
||||
set +e
|
||||
require_pattern "$compact_inversion" "compact inversion" '(interni obbligatori|servizi interni obbligatori|interni al progetto Compose)' >"$workspace_output" 2>&1
|
||||
verify_markdown_table_relationships "$compact_inversion" "compact inversion" "Contratto sintetico di ownership" "$compact_spec" >"$workspace_output" 2>&1
|
||||
workspace_status=$?
|
||||
set -e
|
||||
if [[ $workspace_status -eq 0 ]]; then
|
||||
@@ -299,6 +321,27 @@ if [[ $workspace_status -eq 0 ]]; then
|
||||
exit 1
|
||||
fi
|
||||
|
||||
compact_scattered="$negative_root/compact-scattered.md"
|
||||
cp "$root/docs/installazione-docker-4-contesti.md" "$compact_scattered"
|
||||
python3 - "$compact_scattered" <<'PY'
|
||||
import pathlib, sys
|
||||
path = pathlib.Path(sys.argv[1])
|
||||
text = path.read_text()
|
||||
start = text.index("## Contratto sintetico di ownership")
|
||||
end = text.index("## Comando standard locale")
|
||||
text = text[:start] + "Qdrant Interno DWH Esterno LLM Esterno Ollama embedding Interno.\n\n" + text[end:]
|
||||
path.write_text(text)
|
||||
PY
|
||||
set +e
|
||||
verify_markdown_table_relationships "$compact_scattered" "compact scattered tokens" "Contratto sintetico di ownership" "$compact_spec" >"$workspace_output" 2>&1
|
||||
workspace_status=$?
|
||||
set -e
|
||||
if [[ $workspace_status -eq 0 ]]; then
|
||||
echo "compact scattered-token fixture was not rejected correctly" >&2
|
||||
cat "$workspace_output" >&2
|
||||
exit 1
|
||||
fi
|
||||
|
||||
adapted_reorder="$negative_root/caddy-adapted-reorder.json"
|
||||
adapted_bypass="$negative_root/caddy-adapted-bypass.json"
|
||||
node - "$adapted_reorder" "$adapted_bypass" <<'NODE'
|
||||
|
||||
Reference in New Issue
Block a user